Zero-knowledge proof
Zero-knowledge proof (ZKP) is a cryptographic protocol where one party can prove to another party that a statement is true without revealing any information beyond the fact of the statement’s truth.
- GitHub: https://github.com/topics/zkp
- Wikipedia: https://en.wikipedia.org/wiki/Zero-knowledge_proof
- Related Topics: cryptography, zk,
- Aliases: zkps, zkproof, zero-knowledge-proofs,
- Last updated: 2026-06-03 00:35:06 UTC
- JSON Representation
https://github.com/sismo-core/sismo-badges
Contracts of the Sismo Badge Minting Protocol
attestations did ethereum smart-contracts zkp
Last synced: 13 May 2025
https://github.com/namada-net/namada
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
Last synced: 15 Jan 2026
https://github.com/wtfacademy/wtf-zk
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
abstract-algebra bitcoin blockchain cryptography elliptic-curve-cryptography elliptic-curves ethereum group-theory number-theory snark stark zero-knowledge zero-knowledge-proofs zk zkp zkproof zksnarks
Last synced: 10 Apr 2025
https://github.com/WTFAcademy/WTF-zk
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
abstract-algebra bitcoin blockchain cryptography elliptic-curve-cryptography elliptic-curves ethereum group-theory number-theory snark stark zero-knowledge zero-knowledge-proofs zk zkp zkproof zksnarks
Last synced: 05 Apr 2025
https://github.com/starkware-libs/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
cairo computational-integrity starknet zero-knowledge-proofs zkp
Last synced: 17 Feb 2026
https://github.com/firoorg/firo
The privacy-focused cryptocurrency
asic-resistant blockchain cryptocurrency cryptography lelantus merkle-tree merkle-tree-proof-of-work p2p privacy sigma zcoin zero-knowledge zero-knowledge-proofs zerocoin zkp
Last synced: 17 Jan 2026
https://github.com/consensys/gnark-crypto
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.
biginteger bls12-377 bls12-381 bn254 crypto cryptography ecc eddsa elliptic-curves finite-field-arithmetic fri go golang hash-to-curve mimc pairing snark zkp zksnark
Last synced: 13 May 2025
https://github.com/lambdaclass/cleopatra_cairo
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
blockchain compiler cryptography programming-language rust stark zkp
Last synced: 20 Mar 2025
https://github.com/lambdaclass/cairo-vm
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
blockchain compiler cryptography programming-language rust stark zkp
Last synced: 13 Apr 2025
https://github.com/Consensys/gnark-crypto
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.
biginteger bls12-377 bls12-381 bn254 crypto cryptography ecc eddsa elliptic-curves finite-field-arithmetic fri go golang hash-to-curve mimc pairing snark zkp zksnark
Last synced: 17 Apr 2025
https://github.com/a16z/jolt
The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto. ⚡ 💌
arkworks crypto cryptography snark zk zk-snarks zkp zkvm
Last synced: 19 Apr 2025
https://github.com/namada-net/namada-trusted-setup-claimer
Sign arbitrary messages with keys obtained from Namada's trusted setup
Last synced: 21 Jul 2025
https://github.com/zkemail/zk-email-verify
Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.
dkim dkim-verifier email ethereum solidity zk zk-snarks zkp
Last synced: 06 Apr 2025
https://github.com/mystenlabs/fastcrypto
Common cryptographic library used in software at Mysten Labs.
benchmark blockchain bls crypto cryptography ed25519 zkp
Last synced: 26 Jun 2025
https://github.com/MystenLabs/fastcrypto
Common cryptographic library used in software at Mysten Labs.
benchmark blockchain bls crypto cryptography ed25519 zkp
Last synced: 18 Apr 2025
https://github.com/mratsim/constantine
Constantine: modular, high-performance, zero-dependency cryptography stack for proof systems and blockchain protocols.
barreto-naehrig bigint bignum bls bls-signature bls12-381 constant-time cryptography digital-signature elliptic-curve-arithmetic elliptic-curve-cryptography elliptic-curves finite-fields galois-field hash-to-curve pairing pairing-cryptography public-key-cryptography side-channels zkp
Last synced: 07 Apr 2025
https://github.com/keep-starknet-strange/alexandria
Community maintained Cairo libraries and set of well maintained, optimised and secure components.
Last synced: 28 Jan 2026
https://github.com/quillhash/zero-knowledge-mastery
This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the project.
ethereum zero-knowledge-proofs zk-snarks zkp zksync
Last synced: 08 Apr 2025
https://github.com/privacy-scaling-explorations/zkp-app-boilerplate
Build your zkp app with typescript, hardhat, circom, and snarkjs!
circom ethereum hardhat react snarkjs typescript zkp
Last synced: 24 Aug 2025
https://github.com/ringsnetwork/rings
Rings is a structured peer-to-peer network implementation using WebRTC, Chord DHT, and full WebAssembly (WASM) support.
dht dht-network end-to-end-encryption nova p2p p2p-network peer-to-peer snark webrtc zkp
Last synced: 11 Jun 2025
https://github.com/RingsNetwork/rings
Rings is a structured peer-to-peer network implementation using WebRTC, Chord DHT, and full WebAssembly (WASM) support.
dht dht-network end-to-end-encryption nova p2p p2p-network peer-to-peer snark webrtc zkp
Last synced: 02 May 2025
https://github.com/dl-solarity/solidity-lib
Solarity Solidity Library
cryptography ethereum library smart-contracts solarity solidity zkp
Last synced: 15 May 2025
https://github.com/keep-starknet-strange/garaga
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
cairo-lang elliptic-curve-cryptography elliptic-curves pairing snarks starknet starks zero-knowledge zero-knowledge-proofs zk-snarks zkp
Last synced: 05 Mar 2026
https://github.com/snarkify/sirius
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
cryptography ivc nova proof-system protostar zero-knowledge-proofs zkp
Last synced: 18 Apr 2025
https://github.com/webankblockchain/wedpr-lab-core
Core libraries of WeDPR instant scenario-focused solutions for privacy-inspired business; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件
blockchain crypto cryptography homomorphic-encryption mpc multiparty-computation privacy rust sdk-rust wedpr zkp
Last synced: 29 Jun 2025
https://github.com/matter-labs/bellman
Bellman zkSNARK library for community with Ethereum's BN256 support
bellman rust team-crypto zero-knowledge zero-knowledge-proofs zkp zksnark zksnarks
Last synced: 30 Dec 2025
https://github.com/anoma/vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
blockchain cryptography zero-knowledge zkp
Last synced: 22 Jul 2025
https://github.com/andrewmilson/sandstorm
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
cairo cairo-lang computational-integrity ministark stark starknet zkp
Last synced: 17 Jan 2026
https://github.com/baro77/ZKbasicsCS
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
argument completeness fiat-shamir nizk proof proof-of-knowledge prover simulator soundness verifier zero-knowledge zkp
Last synced: 11 May 2025
https://github.com/anoma/zkp-compiler-shootout
Evaluating & benchmarking ZKP compilation strategies.
benchmarking zero-knowledge zkp
Last synced: 22 Jul 2025
https://github.com/ProjectZKM/zkm
The universal zkVM empowering Ethereum as the Global Settlement Layer
mips verifiable-computing zkp zkvm
Last synced: 19 Jul 2025
https://github.com/minaprotocol/docs2
Docs website for the Mina Protocol.
blockchain cryptocurrency mina zero-knowledge zk zkapps zkp
Last synced: 16 May 2025
https://github.com/Manta-Network/manta-signer
Manta Client to turbo-charge ZKP Generation
Last synced: 23 Apr 2025
https://github.com/dl-solarity/hardhat-zkit
The ultimate TypeScript environment for Circom development
circom environment hardhat hardhat-plugin snarkjs solarity typescript zk zkit zkp
Last synced: 05 Apr 2025
https://github.com/jeong0982/gkr
zero knowledge proof aggregator for general circuit
aggregator circom cryptography zkp
Last synced: 17 Aug 2025
https://github.com/vplasencia/zkgames
zkGames is a platform that allows users to play zk (zero knowledge) games and mint an NFT as proof that they have won.
blockchain circom circuit snarkjs solidity zero-knowledge zkp
Last synced: 10 Aug 2025
https://github.com/MinaProtocol/docs2
Docs website for the Mina Protocol.
blockchain cryptocurrency mina zero-knowledge zk zkapps zkp
Last synced: 16 Sep 2025
https://github.com/wtfacademy/wtf-starknet
Education Platform to onboard developers to Starknet.
blockchain cairo crypto cryptocurrency ethereum layer2 starknet tutorial tutorials zk zkp
Last synced: 27 Apr 2025
https://github.com/WTFAcademy/WTF-Starknet
Education Platform to onboard developers to Starknet.
blockchain cairo crypto cryptocurrency ethereum layer2 starknet tutorial tutorials zk zkp
Last synced: 13 May 2025
https://github.com/orochi-network/zkdatabase
zkDatabase, a distributed off-chain database with ZK prover
blockchain database ipfs zkdatabase zkp
Last synced: 05 Apr 2025
https://github.com/vplasencia/zksudoku
zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.
blockchain circom circuits snarkjs solidity zero-knowledge zkp
Last synced: 03 Jul 2025
https://github.com/0xeigenlabs/eigen-secret
Confidential Transaction with Collaborative Traceability, zk-zkRollup
blockchain layer2 privacy snark zkp zkrollup
Last synced: 29 Jul 2025
https://github.com/actuallyachraf/zkstarks
A :pencil: literate and test-driven :bug: implementation of ZK-STARKs
Last synced: 12 Mar 2026
https://github.com/a16z/zkvm-benchmarks
Benchmarks of popular zkVMs including Jolt
arkworks crypto cryptography snark zk zk-snarks zkp zkvm
Last synced: 19 Jul 2025
https://github.com/uncomputable/zkp-workshop
Explore the world of zero-knowledge proofs from first principles.
cryptography elliptic-curves jupyter jupyter-notebook learning math mathematics python snarks workshop zero-knowledge zkp
Last synced: 13 Apr 2025
https://github.com/cryptkeeperzk/crypt-keeper-extension
🌐 🔌 💀 CryptKeeper browser extension is a zero knowledge identity management and proof generation tool.
browser-extension chrome-extension firefox-extension identity-management react typescript wallet zero-knowledge zkp
Last synced: 03 May 2025
https://github.com/webankblockchain/wedpr-lab-crypto
Cryptography libraries of WeDPR instant scenario-focused solutions for privacy-inspired business; WeDPR即时可用场景式隐私保护高效解决方案密码学算法组件
blockchain crypto cryptography homomorphic-encryption privacy rust wedpr zkp
Last synced: 24 Oct 2025
https://github.com/distributed-lab/bp-pp
Bulletproofs++ implementation on Rust
bulletproofs range-proofs rust zkp
Last synced: 06 May 2025
https://github.com/zenineasa/hexhoot
An Opensource Peer-to-peer communication platform with Zero-Knowledge-Proof based authentication.
chat communication crypto decentralized decentralized-application desktop-app electron hypercore hypercore-protocol hyperswarm intranet-chat javascript keyexchange nodejs p2p peer-to-peer server-less zero-knowledge zero-knowledge-proof zkp
Last synced: 14 Apr 2025
https://github.com/koukyosyumei/myzkp
Building Zero Knowledge Proof from Scratch in Rust
cryptocurrency cryptography rust zero-knowledge zero-knowledge-proof zkp zksnark zksnarks
Last synced: 18 Sep 2025
https://github.com/pinsavedao/pinsave
Decentralized Social Media on Mina
dspyt ipfs javascript mina mina-navigators minanavigators nextjs nfts nftstorage pinsave react react-query reactjs typescript zero-knowledge zkp
Last synced: 27 Jul 2025
https://github.com/webankblockchain/wedpr-lab-java-sdk
Java SDK of WeDPR-Lab-Core; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件通用Java SDK
blockchain crypto cryptography homomorphic-encryption mpc privacy sdk-java wedpr zkp
Last synced: 06 Jul 2025
https://github.com/cypherpunk-symposium/decentralized-protocols-toolkit
👾 notes and resources on protocols (e.g., consensus, mechanism design, incentives, game theory, da)
blockchain cypherpunk eip1559 ethereum game-theory incentives mev pbs protocols rust zero-knowledge zkp
Last synced: 30 Apr 2026
https://github.com/anoma/alucard
A common lisp DSL for writing zero knowledge circuits
Last synced: 05 Feb 2026
https://github.com/software-mansion/cairo-lint
A collection of lints to catch common mistakes and improve your Cairo code.
cairo cairo-lang starknet zk zkp
Last synced: 11 Jul 2025
https://github.com/alxkzmn/zk-wordle
The Wordle you know, but with Zero-Knowledge Proofs
blockchain circom circomlib ethereum snarkjs wordle wordle-game zk zk-snarks zk-wordle zkp zkproof zksnark zksnarks
Last synced: 07 Mar 2026
https://github.com/mhchia/peek-a-book
PeekABook, a private order matching system. https://ethresear.ch/t/peekabook-private-order-matching/6987
Last synced: 01 Aug 2025
https://github.com/vplasencia/zksudoku-plonk
zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.
blockchain circom circuit snarkjs solidity zero-knowledge zkp
Last synced: 02 Jul 2025
https://github.com/webankblockchain/wedpr-lab-android-sdk
Android SDK of WeDPR-Lab-Core; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件Android SDK
blockchain crypto cryptography homomorphic-encryption mpc privacy sdk-android wedpr zkp
Last synced: 06 Oct 2025
https://github.com/10d9e/fiat-shamir.sol
Zero Knowledge Proofs with Fiat-Shamir Heuristic in Solidity
cryptography solidity zero-knowledge zkp
Last synced: 23 Jul 2025
https://github.com/unitychain/zkvote-node
Using ZK-SNARK to Implement Decentralized Anonymous Voting on p2p Network
dht golang kademlia libp2p p2p zero-knowledge-proofs zkp
Last synced: 05 Mar 2026
https://github.com/alxkzmn/zk-atlas
A(n almost) complete atlas of contemporary Zero-Knowledge Proof technologies
cryptography zero-knowledge zero-knowledge-proof zero-knowledge-proofs zkp zkproof
Last synced: 05 Mar 2026
https://github.com/webankblockchain/wedpr-lab-ios-sdk
iOS SDK of WeDPR-Lab-Core; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件iOS SDK
blockchain crypto cryptography homomorphic-encryption mpc privacy sdk-ios wedpr zkp
Last synced: 13 Feb 2026
https://github.com/dl-solarity/circom-lib
Circom circuits library for magnificent ZK applications
circom solarity solidity zero-knowledge zkp
Last synced: 29 Jul 2025
https://github.com/seiyakobayashi/zkml-optimization
Optimization for on-chain private machine learning.
blockchain ethereum machine-learning merkle-proof merkle-tree neural-network optimization-algorithms zk zk-snarks zkml zkp
Last synced: 19 Mar 2025
https://github.com/mystenlabs/solvency-proofs
Cryptographic Solvency Proofs (schemes, standards, links, edu material)
cryptocurrency cryptography exchanges solvency zkp
Last synced: 03 Feb 2026
https://github.com/ing-bank/zkflow
The ZKFlow consensus protocol enables private transactions on Corda for arbitrary smart contracts using Zero Knowledge Proofs
corda privacy-enhancing-technologies zkp
Last synced: 14 Apr 2025
https://github.com/giri-aayush/zkp-authentication
Implementing robust authentication via a gRPC interface utilizing Zero-Knowledge Proof (ZKP) protocols in Rust.
Last synced: 26 Apr 2025
https://github.com/distributed-lab/noir-verkle
Verkle Tries in Noir
distributed-lab noir verkle zkp
Last synced: 06 May 2025
https://github.com/bytemare/voprf
Go implementation of RFC9497, Oblivious Pseudorandom Functions and Verifiable variants.
dleq go oprf poprf ristretto255 voprf zkp
Last synced: 10 Apr 2025
https://github.com/noway/nzcp-circom
ZK proof of NZ COVID Pass identity written in Circom
cbor circom circuit covid-19 cwt newzealand nzcp vaccine vaccine-passports zk zk-snarks zkp
Last synced: 02 Sep 2025
https://github.com/distributed-lab/noir-plume
Implementation of the PLUME protocol in Noir.
Last synced: 02 Mar 2025
https://github.com/kevincharm/broth16
Groth16 using BLS12-381 pairings
cryptography groth16 zk-snarks zkp
Last synced: 15 Apr 2025
https://github.com/advaita-saha/grpc-chaum-pederson-zkp
gRPC client/server for zero-knowledge proof authentication Chaum Pederson Zero-Knowledge Proof in Rust
cryptography grpc grpc-server rust zero-knowledge zkp
Last synced: 29 Apr 2025
https://github.com/rarimo/passport-zk-circuits-noir
noir noir-lang passport registration zkp
Last synced: 22 Oct 2025
https://github.com/argumentcomputer/ZKSnark.lean
https://yatima-inc.github.io/ZKSnark.lean/
Last synced: 22 Jul 2025
https://github.com/luzzif/rails
A DxDAO product to empower users through fast, cheap and painless L2 crypto micropayments.
blockchain ethereum l2 micropayments rails zkp
Last synced: 08 Mar 2026
https://github.com/privacy-ethereum/sol-spartan-whir
Solidity verifier for the Spartan-WHIR SNARK over the KoalaBear field
solidity-contracts zk zk-snarks zkp zkp-verifier zkproof-prover zksnarks
Last synced: 29 May 2026
https://github.com/vivianjeng/anon-transfer
Transfer X ETH with A account, withdraw Y ETH with B account.
anonymous blockchain ethereum transfer unirep zk-snarks zkp
Last synced: 23 Mar 2025
https://github.com/kimiwu123/zkvote
Zero-knowledge voting based on Semaphore
Last synced: 01 Mar 2025
