# ZK catalog on ETHBEAT (formerly L2BEAT) > Zero-knowledge proving systems used by tracked projects, with their creators, trusted setups and onchain verifiers. ZK Catalog by ETHBEAT is a community-driven resource offering detailed insights into the ZK technology utilized by various blockchain projects. It aims to enhance transparency and understanding of ZK tech implementations across the industry. Trusted setup risks (green, yellow, red) follow the [Trusted Setups Risk Framework](https://forum.l2beat.com/t/the-trusted-setups-framework-for-zk-catalog/381). ## Proving systems (/zk-catalog/{slug}) - [SP1 Turbo](https://ethbeat.org/zk-catalog/sp1turbo): by Succinct, trusted setups: Aztec Ignition (green) / SP1 Turbo Groth16 circuit-specific setup (red), 2 onchain verifiers (1 successful / 1 unsuccessful). SP1 Turbo is a zk proving system for RISC-V programs built by Succinct, release v5. - [SP1 Hypercube](https://ethbeat.org/zk-catalog/sp1hypercube): by Succinct, trusted setups: Aztec Ignition (green) / SP1 Hypercube v6.1.0 Groth16 circuit-specific setup (red), 2 onchain verifiers (2 successful). SP1 Hypercube is a zk proving system for RISC-V programs built by Succinct, release v6. - [Boojum](https://ethbeat.org/zk-catalog/boojum): by Matter Labs, trusted setups: Aztec Ignition (green), 3 onchain verifiers (3 not verified). Boojum is a zk proving system for EraVM programs built by Matter Labs to prove ZKsync Era state transition. - [Airbender](https://ethbeat.org/zk-catalog/airbender): by Matter Labs, trusted setups: Aztec Ignition (green), 1 onchain verifier (1 not verified). Airbender is the latest prover by Matter Labs. - [Stone](https://ethbeat.org/zk-catalog/stone): by Starkware, quantum resistant, trusted setups: Transparent setup (N/A), 1 onchain verifier (1 successful). Stone is a proving system for programs written in the Cairo language. - [Linea](https://ethbeat.org/zk-catalog/lineaprover): by Consensys, trusted setups: Aztec Ignition (green) / Aleo stage I trusted setup (yellow) / Celo Plumo (yellow), 2 onchain verifiers (2 successful). Linea proving system is designed for proving EVM code execution and mainly used for proving Linea L2 state transitions. - [OpenVM](https://ethbeat.org/zk-catalog/openvmprover): by Axiom, trusted setups: Halo2 KZG over BN254 (yellow), 3 onchain verifiers (3 successful). OpenVM prover is a zk proving system for customizable modular VM built by Axiom and used to prove Scroll L2 STF. - [RISC Zero](https://ethbeat.org/zk-catalog/risc0): by RISC Zero, trusted setups: Risc0 Groth16 (yellow), 7 onchain verifiers (5 successful / 2 not verified). RISC Zero (Risc0) is a zkVM proving system for RISC-V programs. - [ZKsync Lite](https://ethbeat.org/zk-catalog/zksyncprover): by Matter Labs, trusted setups: Aztec Ignition (green), 4 onchain verifiers (4 not verified). A Plonk proving system designed by Matter Labs to prove custom predefined state transitions of ZKsync Lite. - [INTMAX](https://ethbeat.org/zk-catalog/intmaxprover): by INTMAX, trusted setups: Aztec Ignition (green), 1 onchain verifier (1 not verified). A zk proving system designed by INTMAX for client-side proving of private token transfers on INTMAX L2. - [Lighter](https://ethbeat.org/zk-catalog/lighterprover): by Lighter, trusted setups: Aztec Ignition (green), 5 onchain verifiers (5 not verified). A ZK proving system designed by Lighter for proving their DEX L2 focused on trading perpetuals. - [Stwo](https://ethbeat.org/zk-catalog/stwo): by Starkware, quantum resistant, trusted setups: Transparent setup (N/A), 1 onchain verifier (1 successful). Stwo is a circle STARK optimized for proving performance, representing the next generation of Starkware prover after Stone. - [Barretenberg](https://ethbeat.org/zk-catalog/barretenberg): by Aztec, trusted setups: Aztec Ignition (green), 10 onchain verifiers (10 successful). Barretenberg includes several zk-SNARK proof systems built by Aztec, including UltraHonk and CHONK. - [Zcash Orchard](https://ethbeat.org/zk-catalog/zcash): by Electric Coin Company, trusted setups: Transparent setup (N/A), 0 onchain verifiers. Orchard is the shielded protocol of the Zcash PoW blockchain, with its latest pool called Ironwood. - [Privacy Pools v1](https://ethbeat.org/zk-catalog/privacy-pools): by 0xbow, trusted setups: Privacy Pools v1 (yellow), 1 onchain verifier (1 successful). A privacy pool system for any amount, where only centrally approved deposits can be withdrawn privately. - [Privacy Pools v2](https://ethbeat.org/zk-catalog/privacy-pools-v2): by 0xbow, trusted setups: Privacy Pools v2 (yellow), 1 onchain verifier (1 successful). A shielded ledger with private transfers, swaps and Aave yield inside the pool, where only deposits the ASP approves can be spent privately. - [Railgun](https://ethbeat.org/zk-catalog/railgun): by Railgun, trusted setups: Railgun (yellow), 1 onchain verifier (1 successful). A shielded ledger on Ethereum for ERC-20 tokens, with private transfers and DeFi calls, run by no operator and governed by RAIL stakers. - [Tornado Cash](https://ethbeat.org/zk-catalog/tornado-cash): by Tornado Cash, trusted setups: Tornado Cash (yellow), 1 onchain verifier (1 successful). An unconditional privacy pool of fixed amounts with immutable contracts, and an app pinned on ENS by token governance. - [Privacy Boost](https://ethbeat.org/zk-catalog/privacy-boost): by Sunnyside Labs, trusted setups: Privacy Boost v3 (red), 5 onchain verifiers (5 successful). A shielded ledger for ERC-20 tokens on Base, aimed at institutional users, whose privacy rests on the operator's TEE. - [zkAPI](https://ethbeat.org/zk-catalog/zkapi): by Open Anonymity, trusted setups: zkapi-v2-note-bound-v1 single-party setup (red), 1 onchain verifier (1 not verified). Anonymous access to AI models, prepaid with ETH, that hides which deposit pays for which request. ## Archived proving systems (/zk-catalog/{slug}) - [zkProver](https://ethbeat.org/zk-catalog/zkprover): by Polygon Labs, trusted setups: Polygon zkEVM (yellow), 2 onchain verifiers (1 successful / 1 not verified). zkProver is a prover originally built by the Polygon Zero team at Polygon Labs to prove state transitions of the Polygon zkEVM chain. - [Loopring](https://ethbeat.org/zk-catalog/loopringprover): by Loopring, trusted setups: Loopring Stack (red), 5 onchain verifiers (5 not verified). A Groth16-based proof system designed by Loopring for proving custom predefined state transitions of their L2. - [Aztec v1](https://ethbeat.org/zk-catalog/aztecv1prover): by Aztec, trusted setups: Aztec Ignition (green), 1 onchain verifier (1 not verified). A Plonk proof system designed by Aztec for client-side proving of private token transfers on zk.money L2. - [Espresso](https://ethbeat.org/zk-catalog/espressoprover): by Espresso Systems, trusted setups: Aztec Ignition (green), 1 onchain verifier (1 not verified). Espresso Light Client prover generates a Plonk proof of the HotShot consensus of the Espresso network.