Side-by-side comparison

General-purpose RISC-V zkVM for proving Rust programs, with the Boundless decentralized proving market.

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.