enricobottazzi / designated-verifier-proofView external linksLinks
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)
☆42Mar 8, 2023Updated 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:
- Library and gadget to do regex string matches in halo2☆35Jul 25, 2024Updated last year
- efficient modular multiplication research☆15Feb 8, 2023Updated 3 years ago
- zkSNARK circuits for the Telepathy protocol☆53Aug 28, 2023Updated 2 years ago
- ☆33Sep 22, 2023Updated 2 years ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- Zero Knowledge Proof for RSA☆55Jun 19, 2023Updated 2 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated 5 months ago
- A Noir's backend implementation using Gnark☆35Mar 8, 2024Updated last year
- Rust library for accumulation schemes☆25Jan 24, 2023Updated 3 years ago
- A minimal KZG polynominal commitment library with a Solidity verifier☆72Aug 19, 2023Updated 2 years ago
- compiler tooling for Stark-based zkVMs☆16Feb 6, 2023Updated 3 years ago
- A repository for the Leela VS the World project for On-Chain machine learning☆20Sep 26, 2024Updated last year
- 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆27Mar 4, 2023Updated 2 years ago
- For practice to using halo2☆23Jun 7, 2023Updated 2 years ago
- Benchmark of multiple zk implementations.☆83Aug 3, 2023Updated 2 years ago
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- Client side zero-knowledge proving.☆101Updated this week
- Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations o…☆16Oct 30, 2023Updated 2 years ago
- To bring zero knowledge privacy primitives to all web3 developers.☆13Oct 20, 2023Updated 2 years ago
- ☆14Feb 7, 2023Updated 3 years ago
- Circuits, written in circom, for Proof Of Solvency☆26Feb 11, 2023Updated 3 years ago
- Circom Circuits Library for Machine Learning☆181Jun 19, 2024Updated last year
- JWT verification with zero knowledge proofs☆49Dec 2, 2023Updated 2 years ago
- Rust based Virtual Machine on Avalanche that implements Bulletproof ZK Proofs.☆15Dec 29, 2022Updated 3 years ago
- ☆17Jul 11, 2025Updated 7 months ago
- ☆21Feb 9, 2026Updated last week
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Jun 16, 2023Updated 2 years ago
- ☆31Nov 22, 2022Updated 3 years ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 3 years ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 2 years ago
- ☆133Apr 23, 2022Updated 3 years ago
- Client library for generating and using RLN ZK proofs☆32Oct 4, 2023Updated 2 years ago
- neural network inference standard for zero-knowledge-proof systems☆34Oct 9, 2023Updated 2 years ago
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover☆78Updated this week
- Cairo Merkle Mountain Range☆37Nov 8, 2023Updated 2 years ago
- A FRI verifier circuit for the Halo2 proof system☆77Feb 22, 2023Updated 2 years ago