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)
☆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
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year
- ☆2Updated last year
- ☆61Updated last year
- ☆21Updated 3 weeks ago
- Poseidon hash function implemented in Solidity☆48Updated 7 months ago
- zero knowledge proof aggregator for general circuit☆72Updated 10 months ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- Export Circom verifier to Cairo☆49Updated 2 years ago
- Job matching Multi-Party FHE application, built with Gauss Labs's phantom-zone☆9Updated 7 months ago
- Provides tools for testing circom circuits.☆59Updated last week
- ☆49Updated last year
- Circuits, written in circom, for Proof Of Solvency☆26Updated 2 years ago
- Solidity implementation of Nova proving system verifier☆60Updated last year
- Email verification circuit in halo2☆68Updated 8 months ago
- ☆38Updated last year
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆38Updated last year
- Zero knowledge proofs of differential privacy mechanisms☆22Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 7 months ago
- Honk Verifier in Solidity☆50Updated 5 months ago
- PoC of Revm execution in SGX☆79Updated last year
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year
- ☆20Updated last year
- ☆43Updated this week
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Updated last year
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆47Updated last year
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆111Updated last year
- Library and gadget to do regex string matches in halo2☆35Updated 8 months ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆28Updated 5 months ago