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 last month
- Verify a chain of x509 certificates in halo2☆31Updated last year
- In-browser ECDSA aggregation using Nova over secp/secq☆35Updated 2 years ago
- Honk Verifier in Solidity☆50Updated last year
- Library and gadget to do regex string matches in halo2☆35Updated last year
- barretenburg in rust (here we go)☆99Updated last year
- zero knowledge proof aggregator for general circuit☆72Updated last year
- ☆25Updated 7 months ago
- Solidity implementation of Nova proving system verifier☆64Updated last year
- ☆38Updated last year
- Noir library to verify JWT tokens, and prove claims.☆31Updated last month
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆49Updated 2 years ago
- Nova-based SHA256 benchmarks☆31Updated 4 months ago
- ☆26Updated last year
- ☆30Updated last year
- A monorepo of reusable Noir circuits.☆45Updated last month
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- ☆94Updated last year
- ☆50Updated last year
- Zero knowledge proofs of differential privacy mechanisms☆22Updated 2 years ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 3 years ago
- ☆24Updated 2 years ago
- A monorepo for vOPRF-based secure nullifiers☆18Updated 6 months ago
- RSA verification circuit using halo2 library.☆57Updated 2 years ago
- RLN circuits in Circom☆32Updated last year
- A Noir's backend implementation using Gnark☆35Updated last year
- Verify JWTs using SNARK circuits☆29Updated last year
- Behold the almighty 🗿totem🗿☆19Updated last year