automata-network / automata-dcap-v3-attestationLinks
☆28Updated last year
Alternatives and similar repositories for automata-dcap-v3-attestation
Users that are interested in automata-dcap-v3-attestation are comparing it to the libraries listed below
Sorting:
- Geth-in-SGX provides an example of running go-ethereum in SGX☆76Updated last year
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆29Updated 5 months ago
- ☆45Updated 8 months ago
- Email verification circuit in halo2☆68Updated last year
- Kate commitment based PLONK recursive aggregation circuit☆42Updated 2 years ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆103Updated 4 years ago
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
- PoC of Revm execution in SGX☆79Updated 2 years ago
- yellow paper for roll_up token☆67Updated 6 years ago
- Cross-zk-rollup aggregation☆61Updated 2 years ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- Batch ECDSA in circom☆35Updated 3 years ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆67Updated last year
- Implementation of Plonk by Hand in rust☆62Updated last year
- fast zksnark prover☆118Updated 2 years ago
- ED25519 implementation in Circom☆119Updated 2 years ago
- JWT verification with zero knowledge proofs☆50Updated 2 years ago
- Lowering client-side proving cost for private ZK signatures in circom☆112Updated 2 years ago
- Arkworks circuits for verifiable time-lock encryption☆91Updated 3 years ago
- Benchmarks of popular zkVMs including Jolt☆63Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- DPC with Universal Setup☆46Updated 2 years ago
- Poseidon hash function☆78Updated 2 years ago
- Simple implementation of KZG commitments in C☆36Updated 3 years ago
- neural network inference standard for zero-knowledge-proof systems☆34Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- ZK-based engine for self-sovereign SQL queries☆90Updated 3 years ago
- ☆26Updated 2 years ago
- ☆81Updated 5 years ago
- ☆36Updated 4 years ago