30 Essential Tools for ZK Engineers

Domain-specific language for writing arithmetic circuits. Free and open-source.

Rust-like language for ZK applications from Aztec. Free and open-source.

Rust framework for writing PLONK-based circuits. Free and open-source.

Programming language for Aleo's private applications. Free and open-source.

Language for writing provable programs for StarkNet. Free and open-source.

TypeScript library for writing Mina zkApps. Free and open-source.

JavaScript implementation of zkSNARKs. Works with Circom. Free and open-source. Active open-source project on GitHub.

Rust libraries for SNARKs including Groth16 and Marlin. Free and open-source.

Recursive SNARK system from Polygon. Very fast. Check the GitHub repo for documentation and examples.

modern proving system. Modular and flexible. Check the GitHub repo for documentation and examples.

ZK-VM based on RISC-V. Prove arbitrary computation. Free and open-source.

High-performance zkVM from Succinct Labs. Check the GitHub repo for documentation and examples.

Library of common Circom components. Check the GitHub repo for documentation and examples.

Hardhat plugin for Circom development. Check the GitHub repo for documentation and examples.

Package manager and CLI for Noir. Worth evaluating for your workflow.

Build toolchain and package manager for Cairo. Free and open-source.

Development framework for StarkNet contracts. Free and open-source.

BN254 curve implementation. Most common for SNARKs. Free and open-source. Active open-source project on GitHub.

ZK-friendly hash function implementations. Check the GitHub repo for documentation and examples.

BLS12-381 implementation for BLS signatures and SNARKs. Free and open-source. Active open-source project on GitHub.

Finite field arithmetic traits and implementations. Free and open-source. Active open-source project on GitHub.

Anonymous signaling protocol. Foundation for many ZK apps. Free and open-source.

Prove email ownership without revealing content. Free and open-source.

Integration with World ID for proof of personhood. Free and open-source.

ZK coprocessor for accessing historical blockchain data. Used by production teams across the ecosystem.

ZK coprocessor for cross-chain data and computation. Used by production teams across the ecosystem.

Community and learning platform for ZK developers. Free and open-source.

Video series explaining ZK concepts. Worth evaluating for your workflow.

Curated ZK learning resources. Worth evaluating for your workflow.

Curated list of ZK resources and projects. Check the GitHub repo for documentation and examples.