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
- ☆2Updated last year
- ☆23Updated 3 months ago
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year
- Circuits, written in circom, for Proof Of Solvency☆26Updated 2 years ago
- Circom interpreter to arithmetic circuit description☆55Updated 9 months ago
- ☆61Updated last year
- Verify a chain of x509 certificates in halo2☆31Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- A monorepo of reusable Noir circuits.☆43Updated last week
- Solidity implementation of Nova proving system verifier☆63Updated last year
- Honk Verifier in Solidity☆50Updated 8 months ago
- ☆50Updated last year
- RLN circuits in Circom☆30Updated 11 months ago
- Provides tools for testing circom circuits.☆61Updated 2 weeks ago
- Gas-efficient and blazing fast proving for private signaling☆82Updated last year
- ☆50Updated 2 weeks ago
- zero knowledge proof aggregator for general circuit☆72Updated last year
- ☆38Updated last year
- A monorepo of reusable Circom circuits.☆26Updated 2 weeks ago
- ☆26Updated last year
- Export Circom verifier to Cairo☆49Updated 3 years ago
- Library and gadget to do regex string matches in halo2☆35Updated 11 months ago
- neural network inference standard for zero-knowledge-proof systems☆34Updated last year
- Zero knowledge proofs of differential privacy mechanisms☆22Updated last year
- Job matching Multi-Party FHE application, built with Gauss Labs's phantom-zone☆9Updated 10 months ago
- Email verification circuit in halo2☆68Updated 11 months ago
- PoC of Revm execution in SGX☆80Updated last year
- Noir implementation of BattleZips circuits☆27Updated 2 years ago
- Poseidon hash function implemented in Solidity☆50Updated 10 months ago