enricobottazzi / designated-verifier-proofLinks
Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot be verified by someonewho is not the designated verifier (identified by its ethereum public address)
☆41Updated 2 years ago
Alternatives and similar repositories for designated-verifier-proof
Users that are interested in designated-verifier-proof are comparing it to the libraries listed below
Sorting:
- Nova Verifier in Circom so it can be verified onChain☆59Updated 2 years ago
- ☆63Updated 3 weeks ago
- Verify a chain of x509 certificates in halo2☆31Updated 2 years ago
- A monorepo of reusable Noir circuits.☆47Updated 3 months ago
- In-browser ECDSA aggregation using Nova over secp/secq☆35Updated 2 years ago
- zero knowledge proof aggregator for general circuit☆73Updated last year
- barretenburg in rust (here we go)☆99Updated last year
- ☆24Updated 9 months ago
- ☆94Updated last year
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- Library and gadget to do regex string matches in halo2☆35Updated last year
- Noir library to verify JWT tokens, and prove claims.☆32Updated last week
- Honk Verifier in Solidity☆50Updated last year
- Solidity implementation of Nova proving system verifier☆66Updated last year
- Verify JWTs using SNARK circuits☆29Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- PoC of Revm execution in SGX☆79Updated 2 years ago
- ☆70Updated last year
- Export Circom verifier to Cairo☆49Updated 3 years ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆50Updated 2 years ago
- ☆22Updated 7 months ago
- Circuits, written in circom, for Proof Of Solvency☆26Updated 2 years ago
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
- ☆39Updated last year
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆114Updated last year
- Email verification circuit in halo2☆68Updated last year
- ☆50Updated last year
- A monorepo for vOPRF-based secure nullifiers☆19Updated 7 months ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 3 years ago
- Zero knowledge proofs of differential privacy mechanisms☆21Updated 2 years ago