Chapter 11

Tools and Ecosystem

ZK development once required cryptography PhDs. Modern tooling lowers the barrier — though circuit security review remains essential before mainnet deployment.

Circuit languages, rollup platforms, and proving infrastructure form three layers most builders touch when shipping ZK features.

The ZK developer stack

Layer	Examples	Role
Circuit languages	Circom, Noir, Cairo	Express logic as provable constraints
Rollup platforms	zkSync, Starknet, Scroll	Deploy apps with built-in validity proofs
Proving infra	Bonsai, RISC Zero, GPU farms	Generate proofs on demand for apps

Decentralizing provers is active research — centralized provers are a liveness and censorship risk today.

Circom pairs with snarkjs for Ethereum SNARK circuits. Noir offers Rust-like syntax from Aztec with a growing ecosystem. Cairo is Starknet's native language for STARK proofs.

Prover networks and services run proofs on demand — apps submit witness data and receive proof bytes for on-chain submission. zkSync Era, Starknet, and Polygon zkEVM each bundle different proving stacks with varying EVM compatibility.