enricobottazzi / designated-verifier-proof
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)
☆39Updated last year
Alternatives and similar repositories for designated-verifier-proof:
Users that are interested in designated-verifier-proof are comparing it to the libraries listed below
- ☆2Updated 10 months ago
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year
- ☆61Updated 10 months ago
- Honk Verifier in Solidity☆49Updated 3 months ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆46Updated last year
- Provides tools for testing circom circuits.☆56Updated 7 months ago
- ☆48Updated this week
- My personal notebook for various zk-related topics☆47Updated 3 weeks ago
- Verify a chain of x509 certificates in halo2☆31Updated last year
- BigInt library for Aztec's noir language☆31Updated 10 months ago
- Zero knowledge proofs of differential privacy mechanisms☆22Updated last year
- Noir implementation of BattleZips circuits☆27Updated last year
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆16Updated 9 months ago
- Poseidon hash function implemented in Solidity☆44Updated 5 months ago
- Circuits, written in circom, for Proof Of Solvency☆26Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- Email verification circuit in halo2☆66Updated 6 months ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated 11 months ago
- neural network inference standard for zero-knowledge-proof systems☆34Updated last year
- ☆48Updated 10 months ago
- Export Circom verifier to Cairo☆49Updated 2 years ago
- ☆26Updated 11 months ago
- Benchmarking Polynomial Commitments☆47Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 4 months ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- Zero Knowledge Proof for RSA☆55Updated last year
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- RLN circuits in Circom☆29Updated 6 months ago
- Polynomial Expression Engine☆34Updated 11 months ago