This is the full ZK Ecosystem Map. Do you remember that RWA was denied mainstream several times, until it became everyone's reality this year, 2025? ZK will do the same. BOOKMARK This Post. You will come back to it when ZK goes mainstream in 2026. (There are 125 projects)

1. ZK Rollups and zkEVMs L2s ZkSync @zksync: Ethereum-compatible zkEVM rollup using PLONK-based proofs to give cheap, fast transactions while inheriting Ethereum security. Starknet @Starknet: General-purpose validity rollup using STARK proofs and the Cairo VM for scalable, provable computation on Ethereum. Polygon zkEVM @0xPolygon: EVM equivalent ZK rollup that executes existing Ethereum contracts with ZK proof verification on Ethereum. Scroll @Scroll_ZKP: A Type-3 zkEVM rollup built for high security and transparency with bytecode level compatibility with Ethereum. Linea @LineaBuild: ConsenSys zkEVM rollup, integrated into the MetaMask and Infura stack to scale Ethereum dapps. Taiko @taikoxyz: A zkRollup built as a Type-1 zkEVM with permissionless proposers and provers. Manta Pacific @MantaNetwork: Modular L2 that combines ZK proofs with Ethereum security for privacy-aware DeFi and identity use cases. ZKFair @ZKFCommunity: Community launched zkEVM rollup built on the Polygon CDK and Celestia DA. Loopring @loopringorg: A zk-rollup-based layer 2-3 exchange and payments layer focusing on high-throughput orderbook trading and transfers. zkLink Nova @zkLink_Official: An aggregated rollup using ZK proofs to unify liquidity and accounts across multiple L2s and L1s. Immutable zkEVM @Immutable: Gaming-focused zkEVM built with Polygon tech. Kakarot @KakarotZkEvm: A zkEVM built on top of Starknet technology emulating the EVM in a Cairo-based environment. Miden @0xMiden: A STARK-based rollup and VM from Polygon using a client-side privacy proving model for scalable execution. Boba Network (in development) @bobanetwork: A multichain L2 platform exploring ZK-based proving as part of a hybrid compute and scaling design.

2. App-specific ZK Rollups dYdX v3 @dYdX: Perpetual DEX built on StarkEx ZK rollup for high leverage trading with offchain orderbook and onchain settlement. Sorare @Sorare: Fantasy sports NFT game using StarkEx ZK rollup to handle large-scale NFT trading. Myria @Myria: Gaming-oriented L2 using StarkEx style ZK rollups for NFT mints and in-game economies. zkLend @zkLend: A money market protocol native to Starknet, using ZK scaling for lending and borrowing. Ekubo @ekuboProtocol: Concentrated liquidity AMM on Starknet designed to be a core liquidity layer for the ecosystem. zkNoid @ZkNoid: Game hub building provable onchain games on Mina Protocol’s recursive ZK environment.

3. BTCFi ZK Rollups Citrea @citrea_xyz: ZK rollup on Bitcoin network that aims to bring EVM-style execution with validity proofs anchored to BTC. Intmax @intmaxIO: Stateless ZK rollup privacy L2 design with high scalability and efficiency, posting proofs to existing chains like Ethereum or Bitcoin.

4. ZK-Privacy L1s Aleo @AleoHQ: Privacy-first L1 where all applications are written in the Leo language and compiled into zero-knowledge proofs for private execution. Mina Protocol @MinaProtocol: Ultra-light L1 where the entire chain is represented by a constant-size zkSNARK so every user can verify it with a phone. Aztec Network @aztecnetwork: ZK-based privacy rollup and compute programmable L2 for encrypted DeFi. Aleph Zero @Aleph__Zero: An L1 that combines a DAG based consensus with a ZK privacy layer for private smart contracts. Anoma @anoma: Intent-based protocol using advanced ZK techniques for private bartering, matching, and settlement. Namada @namada: Proof-of-stake chain offering a multi-asset shielded pool for shared privacy across many different tokens. Penumbra @penumbrazone: Cosmos-based privacy chain enabling private staking and DEX trading using zero-knowledge proofs. Iron Fish @ironfishcrypto: Privacy-first L1 where all transactions are shielded by default using zero-knowledge proofs. Hyli @hyli_org: ZK blockchain stack built for verifiable applications and modular zero-knowledge infrastructure. ZkCloud @thezkcloud: A shared prover network L1, offering ZK proof generation as a base layer service. Singularity @singularityzk: ZK-powered chain designed for institutional DeFi with built-in constraints and risk checks verified in circuits. Dusk Network @DuskFoundation: Privacy L1 focused on regulated finance and security tokens with zero-knowledge-based compliance tools. Oasis Network @OasisProtocol: Privacy-enabled L1 that combines confidential compute and ZK-friendly tooling for private DeFi and data markets.

5. ZK-Privacy Projects Zcash @Zcash: Privacy coin using zkSNARKs to enable shielded transactions where amounts and addresses can be hidden but still verified. Monero @monero: Privacy-focused project using ring signatures, stealth addresses, and confidential transactions to hide senders and amounts. Railgun @RAILGUN_Project: Privacy protocol with DeFi activity in shielded balances, ZK proofs, and proof of innocence tooling. Beam @beamprivacy: Privacy coin based on Mimblewimble with opt-in auditability and confidential assets. Firo @firoorg: Privacy-centric currency using Lelantus and Lelantus Spark style ZK proofs for anonymous transactions. Pirate Chain @PirateChain: A shielded privacy-focused project using zkSNARKs for every transaction. Secret Network @SecretNetwork: Cosmos-based chain built on TEE cryptography to run encrypted smart contracts and private DeFi. Horizen @horizenglobal: An appchain that secures sidechains with ZK proofs and enables privacy-preserving applications.

6. ZK-FHE L2s Fhenix @fhenix: Ethereum L2 for confidential smart contracts using FHE, with an fhEVM-style execution model and FHE coprocessor concept. Inco Network @inconetwork: Universal confidentiality layer that uses FHE to give default private execution and cross-chain privacy guarantees. Mind Network @mindnetwork_xyz: FHE-based Zero Trust layer that combines restaking, encrypted data, and AI workloads. Octra @octra: FHE-native L1 aiming to give private smart contracts and confidential data processing at the base layer. PrivaSea @privasea: FHEML / FHEDePIN network for encrypted AI inference, FHE-based identity (FheID), and confidential data feeds. Zama @zama: FHE company behind fhEVM (EVM-compatible FHE execution), FHE libraries and tooling. Used for Shibarium’s confidential roadmap and other EVM stacks. Sunscreen @SunscreenTech: FHE compiler and SDK that lets developers write FHE apps in higher-level languages and compile to circuits.

7. ZK Coprocessors Brevis @brevis_zk: ZK coprocessor that reads historical onchain data across chains, runs programmable queries, and returns succinct proofs to contracts. Axiom @axiom_xyz: Ethereum ZK coprocessor that proves statements about historical state and logs and feeds verified results into contracts. Lagrange @lagrangedev: Crosschain ZK coprocessor and light client system with a hybrid ZK plus optimistic architecture for scalable state proofs. Herodotus @HerodotusDev: Data access layer providing ZK storage proofs, enabling contracts to verify historical Ethereum and rollup state. ORA @OraProtocol: Programmable zkOracle and zkIndexing network that runs offchain computation and AI, then sends ZK-verified results onchain. Marlin @MarlinProtocol: Verifiable computing protocol that uses TEEs and ZK-based coprocessors for trust-minimized offchain computation. VLayer @vlayer_xyz: Trustless verifiable data infrastructure that uses ZK proofs to attest the correctness of offchain data pipelines. Space and Time @spaceandtime: ZK coprocessor for SQL with Proof of SQL, a zk SNARK that proves both the query and the data used were correct.

8. Prover Networks and Hardware Succinct @SuccinctLabs: High-performance zkVM and decentralized prover network that lets developers treat ZK proving as an API call. Risc Zero @RiscZero: RISC-V-based zkVM and Bonsai proving network that can prove general Rust code and verify it onchain. Cysic @cysic_zk: Hardware-accelerated proof generation network building GPUs and ASICs optimized for ZK workloads. Ingonyama @Ingo_zk: ZK hardware and software company known for ICICLE and other GPU-based acceleration for SNARK and STARK proof systems. =Nil; Foundation | @nil_foundation: ZK technology lab building zkLLVM, proof systems, and a proof marketplace for data-heavy applications. Delphinus Lab @DelphinusLab: ZK environment for proving execution of WebAssembly (ZKWASM) programs so that existing code can be verified in circuits.

9. ZK Virtual Machines (ZkVMs) Risc Zero zkVM @RiscZero: General-purpose zkVM that models a RISC-V machine to ensure that many existing programs can be proved without custom circuits. SP1 zkVM @SuccinctLabs: High-throughput zkVM focused on speed and developer ergonomics for Rust-based programs. Powdr Labs @powdr_labs: Toolkit and compiler stack for creating custom zkVMs and proof systems. zkWASM @DelphinusLab: zkVM for WebAssembly that turns WASM programs into ZK verifiable execution traces. zkLLVM @nil_foundation: Compiler toolchain that converts LLVM IR into circuits so that many languages can be compiled into ZK proofs.

10. ZK Machine Learning (ZKML) & Verifiable AI Modulus @ModulusZK: ZKML lab building circuits and infra so ML models and trading bots can be proved and verified onchain. Giza @gizatechxyz: ZKML platform, integrated with Starknet, that allows developers to deploy verifiable AI models. EZKL @ezklxyz: A toolkit that turns PyTorch models into ZK circuits and generates proofs for onchain ML verification. Sentient @SentientAGI: A community-built AGI economy that coordinates models, data, and agents through the Sentient GRID. Allora Network @AlloraNetwork: An AI network where ML models provide predictions and score each other. Uses zkML (via Polyhedra). Ritual @ritualnet: A decentralized AI execution layer / L1 running workloads onchain, with verifiable inference and crypto-native incentives. OpenMind @openmind_agi: An OS and coordination layer for intelligent robots. Inference Labs @inference_labs: Building a Zero-Knowledge Verified Inference Network (ZK-VIN) and “Proof of Inference” protocol. Gensyn @gensynai: A compute network for training ML models, using a blockchain-based verification layer to prove deep learning. Mind Network @mindnetwork_xyz: FHE restaking + encrypted data layer for AI workloads. Chainlink @chainlink: An offchain oracle-based verifiable compute for tasks executed by oracle networks.

11. ZK-Identity and Attestations Privado ID @PrivadoID: Zero-knowledge identity platform that lets users prove claims about themselves without revealing the underlying data. World @worldcoin: Global proof of personhood protocol that uses ZK proofs and Semaphore to prove uniqueness while hiding biometric data. PSE @PrivacyEthereum: Just created OpenAC to standardize zero-knowledge identity. zkPass @zkPass: A protocol that uses zkTLS to help users prove things about Web2 data sources without exposing passwords or documents. zkMe @zkme_: ZK-KYC and credential network where users privately prove compliance attributes to dapps and exchanges. zCloak Network @zcloaknetwork: ZK proof as a service platform for identity and data verification. Human Passport @HumnPassport: An identity and stamp system that uses ZK systems for sybil resistance and access control.

12. ZK DeFi Mixers Railgun @RAILGUN_Project: Privacy protocol with DeFi activity in shielded balances, ZK proofs, and proof of innocence tooling. DarkFi Squad @DarkFiSquad: Anonymous DeFi platform using ZK cryptography for private contracts and coordination. Shade Protocol @Shade_Protocol: Private DeFi suite built for private swaps, lending, and stablecoins. Hinkal @hinkal_protocol: Privacy engine routing DeFi activity through ZK-protected smart contracts.

13. ZK Interoperability Polyhedra @PolyhedraZK: ZK-based bridge and state proof system that verifies crosschain messages and asset transfers with succinct proofs. Orbiter Finance @Orbiter_Finance: Cross-rollup bridge optimized for fast L2 to L2 transfers with security inherited from underlying rollups. Union @union_build: ZK-backed IBC-style protocol that unifies networks and enables trust-minimized crosschain messaging. Polymer Labs @Polymer_Labs: IBC router that uses ZK and a light-client-style verification for crosschain connections. ChainSafe @ChainSafeth: Infra provider implementing ZK-aware bridges and light clients as services. Owlto Finance @Owlto_Finance: Cross-rollup bridge that connects multiple ZK and optimistic rollups.

14. ZK Wallets Ready @ready_co: Smart contract wallet deeply integrated on Starknet and zkSync, hiding complexity while giving self-custody. Braavos @myBraavos: Smart contract wallet for Starknet with account abstraction features. Zashi @zashi_app: Shielded wallet for Zcash with easy use of private transactions and mobile UX. Loopring @loopringorg: Wallet for the zk-rollup-based payments layer.

15. Circuit Languages and Libraries Noir @NoirLang: Rust-like high-level language for writing portable zero-knowledge circuits. It is used by @aztecnetwork, among others. Cairo @CairoLang: STARK-friendly language and VM used for writing provable programs for Starknet. Halo2 @Zcash: Plonkish proving system and library that supports custom gates and lookups for efficient circuit design. Plonky2 @0xPolygon: Recursive friendly proof system that combines PLONK-style arithmetic with FRI-style commitments. gnark @Consensys: Go library for building and verifying zkSNARK circuits with multiple supported schemes. snarkjs @identhree: JavaScript toolchain for generating and verifying zkSNARK proofs in the browser and Node. Circomlib @identhree: Standard library of reusable Circom circuits for hashes, signatures, and common primitives. iden3 @identhree: Domain-specific language for building arithmetic circuits and R1CS constraints for zkSNARKs.

17. ZK Modularity Celestia @celestia: Modular data availability layer used by many rollups, including ZK rollups, for scalable data posting. EigenDA @eigenlayer: Data availability service built on EigenCloud used by ZK rollup teams. Avail @AvailProject: Standalone data availability chain used by ZK rollups. EthStorage @EthStorage: A storage L2 that can host rollup data and proofs. AltLayer @alt_layer: A rollup-as-a-service platform. Caldera @Calderaxyz: Rollup infra provider that enables launching custom rollups with ZK or optimistic proof systems. Zeeve @0xZeeve: Enterprise blockchain infra platform that can host and manage ZK rollup deployments. Gateway FM @gateway_eth: Rollup infra service for launching application-specific rollups, including ZK variants. Stackr @0xStackr: Micro-rollup framework often combined with ZK proving for lightweight app-specific chains. Nym @nym: Mixnet and a credential system built for advanced privacy and ZK identity. Origin @origin_trail: A knowledge Graph for verifiable data provenance and AI-ready knowledge assets, feeding inputs into ZK circuits or ZKML.

Tagging Chads to check this out: @thesaint_ @andrewmoh @0xCheeezzyyyy @satyaki44 @cryptorinweb3 @poopmandefi @Eli5defi @cchungccc @DOLAK1NG @chilla_ct @thelearningpill @twindoges @YashasEdu @Only1temmy @Adebiyi_Diamond @rektdiomedes @splinter0n @belizardd @MercyDeGreat @Defi_Warhol