Plonky3

Circom

iden3/circom

Popular

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

snarkjs

iden3/snarkjs

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

Noir

noir-lang/noir

Trending

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

SP1

succinctlabs/sp1

Trending

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

RISC Zero

risc0/risc0

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

Halo2

zcash/halo2

PLONKish proving system from Zcash with no trusted setup; widely forked for custom zkEVM circuits.

gnark

Consensys-Incorporated/gnark

Consensys' fast Go library for writing and proving zk-SNARK circuits; used in Linea's prover.

OpenVM

openvm-org/openvm

New

Modular, extensible zkVM framework from Axiom and Scroll for custom RISC-V proving with plug-in extensions.

Leo

aleo-labs-protocol/leo

The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications