automata-network / sgx-proverLinks
SGX implementation of the TEE prover used in the Automata Multi-Prover AVS
☆28Updated last month
Alternatives and similar repositories for sgx-prover
Users that are interested in sgx-prover are comparing it to the libraries listed below
Sorting:
- Circom interpreter to arithmetic circuit description☆55Updated 11 months ago
- A PoC repo for a HyperNova impl☆83Updated 2 years ago
- Benchmarks of popular zkVMs including Jolt☆61Updated last year
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
- Benchmark of multiple zk implementations.☆83Updated 2 years ago
- Kate commitment based PLONK recursive aggregation circuit☆41Updated last year
- zero knowledge proof aggregator for general circuit☆72Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- ☆60Updated last year
- ☆94Updated last year
- ☆26Updated last year
- ☆40Updated 3 months ago
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- A curated list of awesome things related to learning Circle STARK.☆30Updated 6 months ago
- BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust☆45Updated last year
- Old, obsolete version of the Valida compiler; its replacement will become public later☆51Updated last year
- A lattice-based non-interactive folding scheme written in Rust☆101Updated this week
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆49Updated 2 years ago
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Write-ups submitted by CTF participants☆35Updated 2 years ago
- Client side zero-knowledge proving.☆77Updated this week
- ☆102Updated last year
- Solidity implementation of Nova proving system verifier☆64Updated last year
- Rescue and Poseidon hash function implementations☆43Updated last year
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆49Updated this week
- Include halo2 example circuits☆91Updated last year
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Updated 2 years ago
- Email verification circuit in halo2☆68Updated last year
- ☆59Updated this week