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)
☆41Mar 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☆36Jul 25, 2024Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Aug 28, 2023Updated 2 years ago
- efficient modular multiplication research☆15Feb 8, 2023Updated 3 years ago
- ☆33Sep 22, 2023Updated 2 years ago
- A Noir's backend implementation using Gnark☆35Mar 8, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- ☆14Feb 7, 2023Updated 3 years ago
- For practice to using halo2☆22Jun 7, 2023Updated 2 years ago
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- Zero Knowledge Proof for RSA☆54Jun 19, 2023Updated 2 years ago
- Herodotus EVM contracts☆17Sep 1, 2025Updated 8 months ago
- ☆18Jul 11, 2025Updated 9 months ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆29Updated this week
- Server for ZKML☆22Mar 5, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Circuits, written in circom, for Proof Of Solvency☆26Feb 11, 2023Updated 3 years ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 3 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- A collection of practical circom circuits☆14May 19, 2022Updated 3 years ago
- JWT verification with zero knowledge proofs☆49Dec 2, 2023Updated 2 years ago
- Library to issue zero knowledge soul bound tokens (ZK SBTs)☆153Oct 1, 2023Updated 2 years ago
- Client side zero-knowledge proving.☆106Updated this week
- 🏆 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated 8 months ago
- Circom Circuits Library for Machine Learning☆182Jun 19, 2024Updated last year
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆79Oct 10, 2024Updated last year
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Jun 16, 2023Updated 2 years ago
- ☆19Dec 19, 2023Updated 2 years ago
- ☆31Nov 22, 2022Updated 3 years ago
- Benchmark of multiple zk implementations.☆83Aug 3, 2023Updated 2 years ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- A repository for the Leela VS the World project for On-Chain machine learning☆19Sep 26, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Rust library for accumulation schemes☆25Jan 24, 2023Updated 3 years ago
- compiler tooling for Stark-based zkVMs☆16Feb 6, 2023Updated 3 years ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆133Jun 16, 2023Updated 2 years ago
- MPC Ceremony Tool for Groth16 setup of zkBNB circuits☆19May 23, 2023Updated 2 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.☆47Apr 17, 2023Updated 3 years ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆112Jan 2, 2024Updated 2 years ago