35 Essential Tools for ZK Engineers

Domain-specific language for writing arithmetic circuits.

Rust-like language for ZK applications from Aztec.

Rust framework for writing PLONK-based circuits.

Programming language for Aleo's private applications.

Language for writing provable programs for StarkNet.

TypeScript library for writing Mina zkApps.

JavaScript implementation of zkSNARKs. Works with Circom.

Rust libraries for SNARKs including Groth16 and Marlin.

Recursive SNARK system from Polygon. Very fast.

Next-generation proving system. Modular and flexible.

ZK-VM based on RISC-V. Prove arbitrary computation.

High-performance zkVM from Succinct Labs.

Library of common Circom components.

Hardhat plugin for Circom development.

Package manager and CLI for Noir.

Build toolchain and package manager for Cairo.

Development framework for StarkNet contracts.

BN254 curve implementation. Most common for SNARKs.

ZK-friendly hash function implementations.

BLS12-381 implementation for BLS signatures and SNARKs.

Finite field arithmetic traits and implementations.

Anonymous signaling protocol. Foundation for many ZK apps.

Prove email ownership without revealing content.

Integration with World ID for proof of personhood.

ZK coprocessor for accessing historical blockchain data.

ZK coprocessor for cross-chain data and computation.

Community and learning platform for ZK developers.

Video series explaining ZK concepts.

Curated ZK learning resources.

Curated list of ZK resources and projects.