SGX implementation of the TEE prover used in the Automata Multi-Prover AVS
☆28Jun 23, 2026Updated 4 months ago
Alternatives and similar repositories for sgx-prover
Users that are interested in sgx-prover are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automata Multi-Prover AVS☆12Jun 23, 2026Updated 4 months ago
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆20Updated this week
- The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…☆29Dec 20, 2024Updated last year
- EraVM implementation☆19Sep 5, 2024Updated 2 years ago
- ☆14Sep 28, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆12Oct 4, 2023Updated 3 years ago
- An SDK for building trust infrastructure☆14Nov 15, 2024Updated last year
- Composable rust types and interfaces specific to the OP Stack. Built on Alloy.☆16Feb 21, 2025Updated last year
- Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust☆14Feb 16, 2025Updated last year
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆66Feb 17, 2025Updated last year
- The Automata AMD SEV-SNP Attestation SDK is a software development kit designed to help users generate the AMD SEV-SNP Attestation Report…☆20Oct 13, 2026Updated 3 weeks ago
- A suite of portable, extensible `std` components for the superchain.☆21Jan 20, 2025Updated last year
- ☆30Sep 18, 2024Updated 2 years ago
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Connect with ZK Summit 11 attendees by tapping NFC cards to share digital signatures☆21May 16, 2024Updated 2 years ago
- The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across diff…☆35Aug 14, 2026Updated 2 months ago
- TUI for tailing chain data☆11May 28, 2025Updated last year
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆61Updated this week
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆156Sep 17, 2026Updated last month
- ☆17Oct 31, 2026Updated last week
- ☆20May 31, 2024Updated 2 years ago
- compress library implements a lightweight, deflate-like compression algorithm designed to have a simple, zk-friendly decompression algori…☆14Sep 1, 2026Updated 2 months ago
- Hyper-parallel ZK coprocessing.☆18Aug 29, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆12May 8, 2024Updated 2 years ago
- Spire Labs' litepaper (it's pretty based bro)☆16Oct 31, 2024Updated 2 years ago
- Client-side proving benchmarks☆23Oct 31, 2026Updated last week
- zkSNARKs as a service using secure multi-party computation.☆30Jan 19, 2024Updated 2 years ago
- implentation of Ligerito☆20Apr 16, 2026Updated 6 months ago
- Sidecar to Enable Rollup Extensions☆166Jul 16, 2026Updated 3 months ago
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆35Oct 10, 2024Updated 2 years ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- ☆18Oct 27, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Verifiable FHE prototype☆27Aug 12, 2024Updated 2 years ago
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆34Dec 19, 2024Updated last year
- Rust implementation of ElGamal encryption☆13Feb 2, 2024Updated 2 years ago
- Bolt: permissionless proposer commitments on Ethereum☆93May 5, 2025Updated last year
- Connect any chain to the Agglayer☆14Updated this week
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆51Jul 5, 2023Updated 3 years ago
- On-chain Ethereum light client built with SP1☆83Oct 28, 2026Updated last week