CliqueOfficial / zk-dcap-verifier
A halo2 implementation of on-chain DCAP attestation verification
☆14Updated 5 months ago
Alternatives and similar repositories for zk-dcap-verifier:
Users that are interested in zk-dcap-verifier are comparing it to the libraries listed below
- ☆24Updated 5 months ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆27Updated last month
- Implementation of zero-knowledge proof circuits for Tendermint.☆79Updated 10 months ago
- ☆23Updated last year
- The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…☆19Updated 2 months ago
- Tendermint in Solidity☆60Updated 3 years ago
- ☆94Updated 6 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 6 months ago
- DPC with Universal Setup☆45Updated last year
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆23Updated 8 months ago
- The Ultimate ZK Fault/Validity Proof Software Suite for Securing Rollups☆34Updated this week
- A PoC repo for a HyperNova impl☆82Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- Reference implementation of the node for the Polygon Miden rollup☆58Updated this week
- Solidity implementation of Nova proving system verifier☆61Updated 11 months ago
- ☆26Updated last year
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆91Updated 3 months ago
- Rescue and Poseidon hash function implementations☆42Updated 6 months ago
- Consensus nodes performing in unison!☆32Updated 8 months ago
- Polynomials Identity Language☆68Updated last year
- Expander Compiler☆33Updated this week
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆140Updated this week
- ☆29Updated last week
- PoC of Revm execution in SGX☆79Updated last year
- AppliedZKP's zkEVM Documentation☆25Updated 7 months ago
- ☆33Updated this week