An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.

cryptography crypto rust-lang zk nizk zkproof-prover blake3

• Updated Sep 4, 2023
• Rust

ZPrize 2022 - All qualified entries

zero-knowledge zksnarks zkp zkproof-prover zkproof

• Updated Sep 21, 2023
• Rust

A toolchain for interaction with the Proof Market protocol.

zkproof-prover proof-market

• Updated Jan 5, 2024
• C++

Performant post-quantum client-side ZK-SNARK

zero-knowledge post-quantum zkp zkproof-prover zkproof zkp-verifier zkps

• Updated Oct 22, 2026
• Rust

Docker Complete Guide - Run Nexus node as Prover Network.

nexus rust-lang supercomputer prover nexus-cli zkproof-prover zkproof zkvm zkevm node-runtime node-guide nexus-scripts testnet-node nexus-node nexuslabs

• Updated Aug 25, 2025
• Shell

ZK13: A Super Fast Zero-Knowledge Proof Protocol for Set Membership

golang algorithms proof zero-knowledge zero-knowledge-proofs zkp zkproof-prover zkproof

• Updated Apr 9, 2024
• Go

Implementation of Dusk Network privacy-oriented PoS protocol, aka Proof of Blind Bid

blockchain proof-of-stake privacy-enhancing-technologies zkp confidential-transactions zkproof-prover proof-of-blind-bid

• Updated Apr 8, 2020
• Rust

PrivateDAO The First Privacy Solutions For Org and Autonmaous Over BlockChains By The Kernel. $PDAO ca:9isGuumtaqvJeJeyLF44fvfskk2cv5mYsopexMBfpump

rust privacy crypto ethereum web3 stellar base zcash tempo base64-encoding treasury solana zkproof-prover zkp-verifier arbitrum bnb-chain zkproofs magicblock robinhood-chain colosseum-hackathon

• Updated Nov 11, 2026
• HTML

A complete ZK-SNARK development environment using gnark, LevelDB, and Katana for blazing-fast local iteration.

leveldb katana zkp zkproof-prover zkproof gnark zkproofs

• Updated Apr 7, 2026
• Go

nodejs nextjs solidity hardhat snarkjs circom etherjs zkproof-prover

• Updated Feb 5, 2026
• TypeScript

linear-regression linear-algebra base consensys utility-token zkp linea consensys-bootcamp-final-project zkproof-prover zkproof zkp-verifier zkevm defillama zkpdao consensys-zkevm polygon-zkevm zkevm-testnet zkp-aggregation layerzero-token linea-token

• Updated May 10, 2024
• Assembly

My First ZK Circuit in Noir

zk noir zkproof-prover zkproof noir-lang

• Updated Jan 22, 2026
• Noir

Noir proof verifier, boilerplate for adding privacy to dapps

noir zkproof-prover zkproof

• Updated Nov 11, 2026
• Solidity