ZK Tools

A domain-specific language and compiler for writing arithmetic circuits used in zk-SNARK proof systems.

JavaScript/WASM implementation of zk-SNARK proving and verification, including Groth16 and PLONK, with trusted setup ceremony tooling.

The standard library of audited circom circuit templates: hashes, signatures, comparators, Merkle trees, and more.

Zcash's Rust proving system implementing PLONKish arithmetization with no trusted setup, widely forked across the ZK ecosystem.

Aztec's Rust-like language for writing zero-knowledge circuits with a backend-agnostic intermediate representation (ACIR).

Aztec's C++ cryptography backend implementing PLONK-family proving systems, used as the default prover for Noir.

Consensys' fast zk-SNARK library in Go with a high-level circuit API, implementing Groth16 and PLONK.

A modular Rust ecosystem of libraries for zk-SNARK development: finite fields, elliptic curves, R1CS, and proof systems.

LambdaClass's Rust library of SNARK and STARK primitives focused on performance and usability for prover development.

Polygon Zero's recursive SNARK framework combining PLONK with FRI for fast recursion over the Goldilocks field.

A modular toolkit of STARK proving components (fields, hashes, PCS, AIR) that serves as the proving backbone for zkVMs like SP1.

A Rust STARK prover and verifier originally developed at Facebook/Meta, designed for AIR-based computations.

StarkWare's provable programming language for writing STARK-verifiable programs, the native language of Starknet.

FuzzingLabs' coverage-guided fuzzer for Cairo and Starknet smart contracts.

A statically-typed programming language for private applications on Aleo, compiling to Aleo instructions proven with zk-SNARKs.

Succinct's open-source zkVM that proves execution of ordinary Rust programs using a Plonky3-based STARK stack.

A general-purpose zkVM proving RISC-V execution, with the Bonsai proving service and an on-chain verifier ecosystem.

A toolbox for zk-SNARKs on Ethereum: a high-level language, compiler, and proof pipeline with Solidity verifier export.

Trail of Bits' static analyzer and linter for circom, detecting under-constrained signals and other circuit anti-patterns.

Veridise's automated verifier that detects under-constrained circuits by checking uniqueness of witness outputs.

Quantstamp's analysis tool for detecting under-constrained halo2 circuits.

An R1CS constraint verification tool that checks circom circuits for under-constrained outputs, originating from the 0xPARC community.

0xPARC's community-maintained catalog of real ZK vulnerabilities found in the wild and in audits, organized by bug class.

Matter Labs' EVM-compatible ZK rollup, with its zkEVM circuits, prover (Boojum), and node software fully open source.

An EVM-equivalent ZK rollup whose zkEVM circuits are built on the halo2 proving stack, with open-source node and circuit code.