# L2BEAT ZK catalog

> Zero-knowledge proving systems used by tracked projects, with their creators.

## Proving systems (/zk-catalog/{slug})

- [SP1 Turbo](https://l2beat.com/zk-catalog/sp1turbo): by Succinct. SP1 Turbo is a zk proving system for RISC-V programs built by Succinct, release v5.
- [SP1 Hypercube](https://l2beat.com/zk-catalog/sp1hypercube): by Succinct. SP1 Hypercube is a zk proving system for RISC-V programs built by Succinct, release v6.
- [Boojum](https://l2beat.com/zk-catalog/boojum): by Matter Labs. Boojum is a zk proving system for EraVM programs built by Matter Labs to prove ZKsync Era state transition.
- [Airbender](https://l2beat.com/zk-catalog/airbender): by Matter Labs. Airbender is the latest prover of Matter Labs, it proves RISC-V programs.
- [zkProver](https://l2beat.com/zk-catalog/zkprover): by Polygon Labs. zkProver prover originally built by Polygon Zero team to prove state transition of Polygon zkEVM chain.
- [Stone](https://l2beat.com/zk-catalog/stone): by Starkware. Stone is a proving system for programs written with Cairo language.
- [Linea](https://l2beat.com/zk-catalog/lineaprover): by Consensys. Linea proving system is designed for proving EVM code execution and mainly used for proving Linea L2 state transitions.
- [OpenVM](https://l2beat.com/zk-catalog/openvmprover): by Axiom. OpenVM prover is a zk proving system for customizable modular VM built by Axiom and used to prove Scroll L2 STF.
- [RISC Zero](https://l2beat.com/zk-catalog/risc0): by RISC Zero. Risc0 is a zkVM proving system for RISC-V programs.
- [Loopring](https://l2beat.com/zk-catalog/loopringprover): by Loopring. A Groth16-based proof system designed by Loopring for proving custom predefined state transitions of their L2.
- [ZKsync Lite](https://l2beat.com/zk-catalog/zksyncprover): by Matter Labs. Plonk proving system designed by Matter Labs to prove custom predefined state transitions of ZKsync Lite.
- [INTMAX](https://l2beat.com/zk-catalog/intmaxprover): by INTMAX. A zk proving system designed by INTMAX for client-side proving of private token transfers on INTMAX L2.
- [Aztec v1](https://l2beat.com/zk-catalog/aztecv1prover): by Aztec. A Plonk proof system designed by Aztec for client-side proving of private token transfers on zk.money L2.
- [Espresso](https://l2beat.com/zk-catalog/espressoprover): by Espresso Systems. Espresso Light Client prover generates a Plonk proof of the HotShot consenus of Espresso network.
- [Lighter](https://l2beat.com/zk-catalog/lighterprover): by Lighter. A ZK proving system designed by Lighter for proving their DEX L2 focused on trading perpetuals.
- [Stwo](https://l2beat.com/zk-catalog/stwo): by Starkware. Stwo is a circle STARK optimized for proving performance, representing the next generation of Starkware prover after Stone.
- [Barretenberg](https://l2beat.com/zk-catalog/barretenberg): by Aztec. Barretenberg includes several zk-SNARK proof systems built by Aztec, including UltraHonk and CHONK.
- [Zcash Orchard](https://l2beat.com/zk-catalog/zcash): by Electric Coin Company. Orchard is the shielded protocol of the Zcash PoW blockchain, with its latest pool called Ironwood, whose circuit is proven with Halo 2, a PLONKish proof system with a transparent IPA commitment over the Pasta curves, and verified by every Zcash full node.
- [Privacy Pools](https://l2beat.com/zk-catalog/privacy-pools): by 0xbow. A selective-disclosure privacy system for Ethereum that adds compliance-aware association sets.
- [Railgun](https://l2beat.com/zk-catalog/railgun): by Railgun. An onchain privacy system for Ethereum based on encrypted UTXO-style private balances and zk-proven DeFi interactions.
- [Tornado Cash](https://l2beat.com/zk-catalog/tornado-cash): by Tornado Cash. A classic Ethereum mixer design based on fixed-denomination pools and zk withdrawals.
- [Privacy Boost](https://l2beat.com/zk-catalog/privacy-boost): by Sunnyside Labs. A shielded pool for ERC-20 tokens on OP Mainnet, designed for institutional users.