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☆58Updated 2 years ago
- ☆60Updated last year
- A monorepo of reusable Noir circuits.☆43Updated 2 weeks ago
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Circuits, written in circom, for Proof Of Solvency☆26Updated 2 years ago
- Honk Verifier in Solidity☆50Updated 10 months ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- In-browser ECDSA aggregation using Nova over secp/secq☆35Updated last year
- ☆25Updated 5 months ago
- Export Circom verifier to Cairo☆49Updated 3 years ago
- BigInt library for Aztec's noir language☆32Updated last year
- ☆26Updated last year
- A monorepo for vOPRF-based secure nullifiers generation☆17Updated 4 months ago
- barretenburg in rust (here we go)☆98Updated last year
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Updated 2 years ago
- Library and gadget to do regex string matches in halo2☆35Updated last year
- 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 2 months ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- zero knowledge proof aggregator for general circuit☆72Updated last year
- Solidity implementation of Nova proving system verifier☆64Updated last year
- A Noir's backend implementation using Gnark☆35Updated last year
- Behold the almighty 🗿totem🗿☆18Updated 11 months ago
- Noir implementation of RSA-verify☆43Updated last year
- Zero knowledge proofs of differential privacy mechanisms☆22Updated 2 years ago
- ☆38Updated last year
- ☆30Updated last year
- ☆94Updated last year
- ☆70Updated last year
- ☆50Updated last year