Zero-Knowledge Proof Development Libraries
For a zero-knowledge proof toolkit, the strongest matches are kroma-network/tachyon (Tachyon is a hardware-accelerated ZK proof engine and modular), spaceandtimefdn/blitzar (Blitzar is a specialized zero‑knowledge proof library focused on) and consensys/gnark (gnark is a comprehensive zero-knowledge proof library written in). scipr-lab/libsnark and dalek-cryptography/bulletproofs round out the shortlist. Each is ranked by relevance to your query, popularity and recent activity.
Frameworks and cryptographic toolkits for building, verifying, and integrating zero-knowledge proofs into software applications.
Zero-Knowledge Proof Development Libraries
Find the best repos with AI.We'll search the best matching repositories with AI.
- kroma-network/tachyon
kroma-network/tachyon
7,666View on GitHubTachyon is a suite of hardware-accelerated engines and modular infrastructure for generating succinct non-interactive arguments of knowledge and polynomial commitments. It provides a GPU-accelerated zero-knowledge proof backend and a prover system designed to construct proofs from high-level circuit descriptions. The project distinguishes itself through a GPU cryptographic accelerator that offloads elliptic curve operations, field arithmetic, and cryptographic hashes to graphics hardware. This infrastructure includes a specialized polynomial commitment engine and modular components that allow
Tachyon is a hardware-accelerated ZK proof engine and modular infrastructure that provides a prover system for constructing succinct arguments, making it a fitting SDK for integrating ZK proof generation into applications, though it focuses on GPU acceleration rather than offering multiple proving systems or a domain-specific language out of the box.
C++ProversSNARK ProversZero-Knowledge Proof Generation - spaceandtimefdn/blitzar
spaceandtimefdn/blitzar
4,884View on GitHubBlitzar is a verifiable SQL proof engine and cryptographic library designed for verifiable SQL computation. It enables the execution of database queries off-chain while generating zero-knowledge proofs that certify the correctness of the results for on-chain verification. The project distinguishes itself through a GPU-accelerated proof accelerator that offloads heavy cryptographic workloads to graphics processors, reducing the time required for succinct proof generation. It provides high-performance cryptographic primitives for C++ and Rust applications, focusing on elliptic curve operations
Blitzar is a specialized zero‑knowledge proof library focused on verifiable SQL computation, providing a prover and verifier for database query results with GPU acceleration; it fits the search for a ZK toolkit but is narrower than a general‑purpose SDK covering multiple proving systems or a custom circuit DSL.
C++Zero-Knowledge Proof GenerationOff-Chain VerifiersOn-Chain Verifiers - consensys/gnark
ConsenSys/gnark
gnark is a comprehensive zero-knowledge proof library written in Go that provides a domain-specific language (frontend), supports multiple proving systems (Groth16, PLONK, etc.), and includes prover and verifier implementations, with the ability to compile to WASM for client-side use, making it a strong fit for integrating ZK proofs into applications.
Proof System Implementations - scipr-lab/libsnark
scipr-lab/libsnark
1,927View on GitHubC++ library for zkSNARKs
Libsnark is a C++ library for building and verifying zkSNARKs, making it a genuine zero-knowledge proof SDK, though its C++-only focus and lack of WASM or language bindings limit its suitability for modern web-based integration.
C++Proof System ImplementationsSecurity and Analysis - dalek-cryptography/bulletproofs
dalek-cryptography/bulletproofs
1,129View on GitHubA pure-Rust implementation of Bulletproofs using Ristretto.
This is a pure-Rust implementation of the Bulletproofs zero-knowledge proof system, providing both prover and verifier components directly usable in applications; it fits your search for a ZK library, though it focuses on a single proof system and does not include a domain-specific language for circuits.
RustProof System Implementations - zkcrypto/bellman
zkcrypto/bellman
1,121View on GitHubzk-SNARK library.
Bellman is a Rust library for building and verifying zk-SNARK proofs (specifically Groth16), making it a valid ZK proving system SDK, but its single-scheme focus and lack of a high-level domain-specific language mean it covers only part of what you're looking for.
RustProof System Implementations - noir-lang/noir
noir-lang/noir
1,363View on GitHubNoir is a domain-specific language and development framework designed for writing and compiling cryptographic circuits. It functions as a compiler that translates high-level code into intermediate representations, enabling the creation of zero-knowledge proofs that verify the validity of private data without revealing the underlying information. The framework distinguishes itself through a backend-agnostic architecture that decouples circuit logic from specific cryptographic proving systems. By providing a modular interface and abstraction layer, it allows developers to generate verifiable co
Noir is a domain-specific language and proving system for zero-knowledge proofs, providing a full toolchain for circuit construction, proving, and verification—perfectly matching the search for a ZKP toolkit, though it focuses on its own DSL rather than being a general-purpose library.
RustZero-Knowledge Proof FrameworksZK Circuit CompilationAI Backend Abstractions - o1-labs/snarkyjs
o1-labs/snarkyjs
snarkyjs is a zero-knowledge proof library for JavaScript/TypeScript that lets you write circuits and generate/verify proofs directly in the browser or on the server, matching your request for a ZK proof toolkit.
Proof System Implementations - spaceandtimefdn/sxt-proof-of-sql
spaceandtimefdn/sxt-proof-of-sql
5,423View on GitHubThis project is a verifiable database engine that provides a SQL cryptographic proof system to ensure the integrity of stored information and its retrieval. It functions as a proof-carrying data store that utilizes cryptographic commitments to prevent data tampering and guarantee that query results are accurate. The system generates zero-knowledge proofs to provide mathematical evidence that a SQL query was executed correctly without requiring a full re-run of the process. These cryptographic proofs can be exported for on-chain validation, allowing smart contracts or third parties to verify d
This is a verifiable database engine that uses zero-knowledge proofs specifically for SQL query integrity, rather than a general-purpose ZK library or proving system SDK you would integrate into your own applications.
RustZero-Knowledge Proof GenerationOn-Chain Verifiers - zcash/zcash
zcash/zcash
5,370View on GitHubZcash is a privacy-preserving cryptocurrency that operates a blockchain where transactions can be shielded using zero-knowledge proofs. Its reference full node, zcashd, stores the complete transaction history and validates both transparent and shielded transactions, preserving confidentiality for sender, receiver, and amount. The node implements the Sapling and Orchard shielded protocols, with Orchard using the Halo2 proving scheme to eliminate the need for a trusted setup. It offers a dual-address model that lets users choose per transaction between transparent (fully public) and shielded (p
Zcash is a full blockchain node and cryptocurrency client that internally uses zero-knowledge proofs for shielded transactions, not a library or SDK designed for integrating proof construction and verification into other applications.
C++Halo2 Proving Schemes - remix-project-org/remix-project
remix-project-org/remix-project
3,003View on GitHubRemix is a comprehensive blockchain development environment and Ethereum smart contract IDE. It provides a complete workspace for writing, compiling, deploying, and debugging smart contracts across simulated and public blockchain networks. The project distinguishes itself as a specialized toolchain for EVM debugging and analysis, offering opcode-level transaction stepping and state memory analysis. It also includes a dedicated zero-knowledge proof toolchain for compiling ZK circuits and generating cryptographic proofs, alongside an AI-powered coding assistant for code generation and explanati
Remix is a blockchain IDE that includes a zero-knowledge proof toolchain for compiling circuits and generating proofs, but it is a full development environment rather than a standalone library or SDK you can integrate into your own application, which is what this search targets.
TypeScriptZero-Knowledge Proof GenerationZK Circuit - paritytech/substrate
paritytech/substrate
8,409View on GitHubSubstrate is a modular blockchain development framework used to build customized blockchain networks with programmable state transitions and consensus mechanisms. It functions as a toolkit for constructing bespoke network protocols and deploying nodes to local environments or global testnets. The framework utilizes a WebAssembly runtime environment to execute state transition logic, ensuring deterministic behavior across all network nodes. It enables the composition of modular logic components and runtime palettes to define the specific rules and behavior of a blockchain. The system covers c
Substrate is a modular blockchain development framework, not a dedicated zero-knowledge proof library or proving system SDK, so it lacks the core prover/verifier implementations and circuit DSL this search targets.
RustWebAssembly
