Side-by-side comparison

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

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.

Succinct's RISC-V zkVM that proves ordinary Rust programs; a leader in real-time Ethereum block proving.