automata-network / sgx-proverLinks
SGX implementation of the TEE prover used in the Automata Multi-Prover AVS
☆27Updated 3 months ago
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 9 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆61Updated last year
- RLN circuits in Circom☆30Updated 11 months ago
- Frobenius sumcheck for vectorized boolean ops☆54Updated 2 months ago
- ☆38Updated last month
- Nova Verifier in Circom so it can be verified onChain☆58Updated 2 years ago
- Email verification circuit in halo2☆68Updated 11 months ago
- Rescue and Poseidon hash function implementations☆43Updated 10 months ago
- Solidity implementation of Nova proving system verifier☆63Updated last year
- Honk Verifier in Solidity☆50Updated 8 months ago
- ☆2Updated last year
- Verify a chain of x509 certificates in halo2☆31Updated last year
- ☆50Updated last year
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year
- ☆38Updated last year
- A collection of the Notes on the Nova folding scheme explained from scratch☆28Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- Kate commitment based PLONK recursive aggregation circuit☆40Updated last year
- ☆50Updated 2 weeks ago
- A PoC repo for a HyperNova impl☆83Updated last year
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 3 months ago
- zero knowledge proof aggregator for general circuit☆72Updated last year
- OS for next iteration of the world computer☆43Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆98Updated 10 months ago
- ☆40Updated 8 months ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆48Updated last year
- ☆27Updated 9 months ago
- A monorepo of reusable Circom circuits.☆26Updated 2 weeks ago