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)
☆40Updated 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:
- ☆2Updated last year
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year
- Circuits, written in circom, for Proof Of Solvency☆26Updated 2 years ago
- ☆61Updated last year
- Provides tools for testing circom circuits.☆59Updated last week
- Export Circom verifier to Cairo☆49Updated 3 years ago
- Verify a chain of x509 certificates in halo2☆31Updated last year
- ☆21Updated 3 months ago
- Poseidon hash function implemented in Solidity☆50Updated 9 months ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆48Updated last year
- Honk Verifier in Solidity☆50Updated 7 months ago
- Solidity implementation of Nova proving system verifier☆63Updated last year
- ☆38Updated last year
- Email verification circuit in halo2☆68Updated 11 months ago
- Job matching Multi-Party FHE application, built with Gauss Labs's phantom-zone☆9Updated 9 months ago
- A monorepo of reusable Noir circuits.☆43Updated last month
- zero knowledge proof aggregator for general circuit☆72Updated last year
- ☆50Updated last year
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year
- My personal notebook for various zk-related topics☆48Updated 4 months ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- ☆45Updated 3 weeks ago
- BigInt library for Aztec's noir language☆32Updated last year
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Circuits library for matrix operations in circom☆33Updated 11 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 2 months ago
- PoC of Revm execution in SGX☆80Updated last year
- Frobenius sumcheck for vectorized boolean ops☆53Updated last month
- ☆68Updated 10 months ago
- A monorepo for vOPRF-based secure nullifiers generation☆15Updated last month