Side-by-side comparison

Modular toolkit of STARK primitives from Polygon used as the backend of several leading zkVMs.

Circuit language and compiler for R1CS-based zk-SNARKs; the long-time default for app-level ZK proofs.

JavaScript/WASM implementation of Groth16, PLONK and FFLONK for proving and verifying Circom circuits.

Rust-like, backend-agnostic ZK language from Aztec that makes writing circuits feel like normal code.