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 3 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Library and gadget to do regex string matches in halo2☆37Jul 25, 2024Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Aug 28, 2023Updated 2 years ago
- efficient modular multiplication research☆15Feb 8, 2023Updated 3 years ago
- A Noir's backend implementation using Gnark☆36Mar 8, 2024Updated 2 years ago
- ☆33Sep 22, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- ☆14Feb 7, 2023Updated 3 years ago
- ☆18Jul 11, 2025Updated last year
- Circuits, written in circom, for Proof Of Solvency☆25Feb 11, 2023Updated 3 years ago
- zero knowledge proof aggregator for general circuit☆72May 20, 2024Updated 2 years ago
- For practice to using halo2☆22Jun 7, 2023Updated 3 years ago
- Zero Knowledge Proof for RSA☆55Jun 19, 2023Updated 3 years ago
- Herodotus EVM contracts☆17Sep 1, 2025Updated 11 months ago
- Server for ZKML☆22Mar 5, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 4 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 4 years ago
- A collection of practical circom circuits☆14May 19, 2022Updated 4 years ago
- Danksharding Builder with GPU acceleration☆52Sep 10, 2023Updated 2 years ago
- Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.☆21Oct 28, 2024Updated last year
- JWT verification with zero knowledge proofs☆49Dec 2, 2023Updated 2 years ago
- 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆27Mar 4, 2023Updated 3 years ago
- A minimal KZG polynominal commitment library with a Solidity verifier☆72Aug 19, 2023Updated 2 years ago
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Jun 16, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated 11 months ago
- Circom Circuits Library for Machine Learning☆185Jun 19, 2024Updated 2 years ago
- MPC Ceremony Tool for Groth16 setup of zkBNB circuits☆19May 23, 2023Updated 3 years ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆79Oct 10, 2024Updated last year
- ☆31Nov 22, 2022Updated 3 years ago
- Benchmark of multiple zk implementations.☆83Aug 3, 2023Updated 3 years ago
- ☆19Dec 19, 2023Updated 2 years ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- Client side zero-knowledge proving.☆112Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- compiler tooling for Stark-based zkVMs☆16Feb 6, 2023Updated 3 years ago
- Rust library for accumulation schemes☆25Jan 24, 2023Updated 3 years ago
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Apr 16, 2024Updated 2 years ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆133Jun 16, 2023Updated 3 years ago
- Client library for generating and using RLN ZK proofs☆31Oct 4, 2023Updated 2 years ago
- A collection of technical notes from the Geometry research team.☆46Apr 17, 2023Updated 3 years ago
- Circuit components definition library for zkLLVM circuit compiler☆42Sep 7, 2024Updated last year