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:
- Circuits, written in circom, for Proof Of Solvency☆25Feb 11, 2023Updated 3 years ago
- A comprehensive transaction MPT proofs handler for Ethereum / Starknet☆12Oct 14, 2025Updated last year
- Library and gadget to do regex string matches in halo2☆37Jul 25, 2024Updated 2 years ago
- Zero-Knowledge dApp Boilerplate☆24Mar 8, 2023Updated 3 years ago
- ☆33Sep 22, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- zkSNARK circuits for the Telepathy protocol☆53Aug 28, 2023Updated 3 years ago
- ☆10Apr 23, 2026Updated 6 months ago
- efficient modular multiplication research☆15Feb 8, 2023Updated 3 years ago
- Benchmark of multiple zk implementations.☆83Aug 3, 2023Updated 3 years ago
- ☆14Feb 7, 2023Updated 3 years ago
- A Noir's backend implementation using Gnark☆36Mar 8, 2024Updated 2 years ago
- Library to issue zero knowledge soul bound tokens (ZK SBTs)☆155Oct 1, 2023Updated 3 years ago
- Herodotus EVM contracts☆17Sep 1, 2025Updated last year
- A minimal KZG polynominal commitment library with a Solidity verifier☆72Aug 19, 2023Updated 3 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.
- For practice to using halo2☆22Jun 7, 2023Updated 3 years ago
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated 2 years ago
- Zero Knowledge Proof for RSA☆54Jun 19, 2023Updated 3 years ago
- Server for ZKML☆22Mar 5, 2023Updated 3 years ago
- MPC Ceremony Tool for Groth16 setup of zkBNB circuits☆19May 23, 2023Updated 3 years ago
- An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…☆118May 6, 2024Updated 2 years ago
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 4 years ago
- Honk Verifier in Solidity☆50Feb 21, 2026Updated 8 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Danksharding Builder with GPU acceleration☆50Sep 10, 2023Updated 3 years ago
- Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.☆21Oct 28, 2024Updated 2 years ago
- ☆18Jul 11, 2025Updated last year
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 4 years ago
- ☆15Dec 15, 2022Updated 3 years ago
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 3 years ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆79Oct 10, 2024Updated 2 years ago
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆48Jun 16, 2023Updated 3 years ago
- compiler tooling for Stark-based zkVMs☆16Feb 6, 2023Updated 3 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.
- 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆27Mar 4, 2023Updated 3 years ago
- Circom Circuits Library for Machine Learning☆186Jun 19, 2024Updated 2 years ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Apr 16, 2024Updated 2 years ago
- Rust library for accumulation schemes☆26Jan 24, 2023Updated 3 years ago
- Implementation of the paper "Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing"☆12Feb 8, 2024Updated 2 years ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆134Jun 16, 2023Updated 3 years ago