这是完整的 ZK 生态系统地图。 你还记得 RWA 曾多次被拒绝主流，直到它在 2025 年成为每个人的现实吗？ZK 也会这样做。 收藏此帖子。当 ZK 在 2026 年走向主流时，你会回来查看它。（共有 125 个项目）

1. ZK Rollups 和 zkEVM L2s ZkSync @zksync: 兼容以太坊的 zkEVM rollup，使用基于 PLONK 的证明提供便宜、快速的交易，同时继承以太坊的安全性。 Starknet @Starknet: 通用有效性 rollup，使用 STARK 证明和 Cairo VM 在以太坊上进行可扩展、可证明的计算。 Polygon zkEVM @0xPolygon: EVM 等效的 ZK rollup，执行现有以太坊合约，并在以太坊上进行 ZK 证明验证。 Scroll @Scroll_ZKP: 一种类型 3 的 zkEVM rollup，旨在实现高安全性和透明度，与以太坊的字节码级兼容。 Linea @LineaBuild: ConsenSys zkEVM rollup，集成到 MetaMask 和 Infura 堆栈中，以扩展以太坊 dapps。 Taiko @taikoxyz: 一种作为类型 1 zkEVM 构建的 zkRollup，具有无权限的提议者和证明者。 Manta Pacific @MantaNetwork: 模块化 L2，结合 ZK 证明与以太坊安全性，适用于隐私意识的 DeFi 和身份用例。 ZKFair @ZKFCommunity: 基于 Polygon CDK 和 Celestia DA 的社区发起的 zkEVM rollup。 Loopring @loopringorg: 基于 zk-rollup 的 2-3 层交易和支付层，专注于高吞吐量的订单簿交易和转账。 zkLink Nova @zkLink_Official: 使用 ZK 证明的聚合 rollup，统一多个 L2 和 L1 的流动性和账户。 Immutable zkEVM @Immutable: 以游戏为中心的 zkEVM，基于 Polygon 技术构建。 Kakarot @KakarotZkEvm: 基于 Starknet 技术构建的 zkEVM，在基于 Cairo 的环境中模拟 EVM。 Miden @0xMiden: 来自 Polygon 的基于 STARK 的 rollup 和 VM，使用客户端隐私证明模型进行可扩展执行。 Boba Network（开发中） @bobanetwork: 一个多链 L2 平台，探索 ZK 基于证明作为混合计算和扩展设计的一部分。

2. 应用特定的 ZK Rollups dYdX v3 @dYdX：基于 StarkEx ZK rollup 的永久性去中心化交易所，支持高杠杆交易，具有链外订单簿和链上结算。 Sorare @Sorare：使用 StarkEx ZK rollup 处理大规模 NFT 交易的幻想体育 NFT 游戏。 Myria @Myria：面向游戏的 L2，使用 StarkEx 风格的 ZK rollups 进行 NFT 铸造和游戏内经济。 zkLend @zkLend：原生于 Starknet 的货币市场协议，使用 ZK 扩展进行借贷。 Ekubo @ekuboProtocol：在 Starknet 上设计的集中流动性 AMM，旨在成为生态系统的核心流动性层。 zkNoid @ZkNoid：在 Mina Protocol 的递归 ZK 环境中构建可证明的链上游戏的游戏中心。

3. BTCFi ZK Rollups Citrea @citrea_xyz: 在比特币网络上的ZK Rollup，旨在带来与BTC锚定的有效性证明的EVM风格执行。 Intmax @intmaxIO: 无状态的ZK Rollup隐私L2设计，具有高可扩展性和效率，将证明发布到现有链上，如以太坊或比特币。

4. ZK-隐私 L1s Aleo @AleoHQ：以隐私为首的 L1，所有应用程序均使用 Leo 语言编写，并编译为零知识证明以进行私密执行。 Mina Protocol @MinaProtocol：超轻量 L1，整个链由固定大小的 zkSNARK 表示，因此每个用户都可以用手机进行验证。 Aztec Network @aztecnetwork：基于 ZK 的隐私汇总和可编程 L2，用于加密 DeFi。 Aleph Zero @Aleph__Zero：一个将基于 DAG 的共识与 ZK 隐私层结合的 L1，用于私密智能合约。 Anoma @anoma：基于意图的协议，使用先进的 ZK 技术进行私密交易、匹配和结算。 Namada @namada：权益证明链，提供多资产保护池，以便在多种不同代币之间共享隐私。 Penumbra @penumbrazone：基于 Cosmos 的隐私链，使用零知识证明实现私密质押和 DEX 交易。 Iron Fish @ironfishcrypto：以隐私为首的 L1，所有交易默认使用零知识证明进行保护。 Hyli @hyli_org：为可验证应用程序和模块化零知识基础设施构建的 ZK 区块链堆栈。 ZkCloud @thezkcloud：一个共享证明者网络 L1，提供 ZK 证明生成作为基础层服务。 Singularity @singularityzk：为机构 DeFi 设计的 ZK 驱动链，内置约束和风险检查在电路中验证。 Dusk Network @DuskFoundation：专注于受监管金融和安全代币的隐私 L1，提供基于零知识的合规工具。 Oasis Network @OasisProtocol：隐私启用的 L1，结合机密计算和 ZK 友好的工具，用于私密 DeFi 和数据市场。

5. ZK隐私项目 Zcash @Zcash：使用zkSNARKs的隐私币，能够实现隐蔽交易，金额和地址可以被隐藏但仍然可以验证。 Monero @monero：专注于隐私的项目，使用环签名、隐秘地址和保密交易来隐藏发送者和金额。 Railgun @RAILGUN_Project：隐私协议，具有在隐蔽余额中进行DeFi活动、ZK证明和无辜证明工具。 Beam @beamprivacy：基于Mimblewimble的隐私币，具有选择性审计和保密资产。 Firo @firoorg：以隐私为中心的货币，使用Lelantus和Lelantus Spark风格的ZK证明进行匿名交易。 Pirate Chain @PirateChain：一个以隐私为中心的项目，使用zkSNARKs进行每一笔交易的隐蔽。 Secret Network @SecretNetwork：基于Cosmos的链，建立在TEE加密技术上，以运行加密智能合约和私密DeFi。 Horizen @horizenglobal：一个应用链，通过ZK证明保护侧链，并支持隐私保护的应用程序。

6. ZK-FHE L2s Fhenix @fhenix: 基于 FHE 的以太坊 L2，用于机密智能合约，采用 fhEVM 风格的执行模型和 FHE 协处理器概念。 Inco Network @inconetwork: 使用 FHE 的通用机密性层，提供默认的私密执行和跨链隐私保障。 Mind Network @mindnetwork_xyz: 基于 FHE 的零信任层，结合了重质押、加密数据和 AI 工作负载。 Octra @octra: 原生 FHE 的 L1，旨在为基础层提供私密智能合约和机密数据处理。 PrivaSea @privasea: 用于加密 AI 推理的 FHEML / FHEDePIN 网络，基于 FHE 的身份 (FheID) 和机密数据馈送。 Zama @zama: FHE 公司，开发了 fhEVM（与 EVM 兼容的 FHE 执行）、FHE 库和工具。用于 Shibarium 的机密路线图和其他 EVM 堆栈。 Sunscreen @SunscreenTech: FHE 编译器和 SDK，允许开发者使用更高级的语言编写 FHE 应用并编译为电路。

7. ZK 协处理器 Brevis @brevis_zk: ZK 协处理器，读取跨链的历史链上数据，运行可编程查询，并向合约返回简洁的证明。 Axiom @axiom_xyz: 以太坊 ZK 协处理器，证明关于历史状态和日志的陈述，并将验证结果反馈给合约。 Lagrange @lagrangedev: 跨链 ZK 协处理器和轻客户端系统，采用混合 ZK 加乐观架构，实现可扩展的状态证明。 Herodotus @HerodotusDev: 数据访问层，提供 ZK 存储证明，使合约能够验证历史以太坊和汇总状态。 ORA @OraProtocol: 可编程 zkOracle 和 zkIndexing 网络，进行链下计算和 AI，然后将 ZK 验证的结果发送到链上。 Marlin @MarlinProtocol: 可验证计算协议，使用 TEE 和基于 ZK 的协处理器进行信任最小化的链下计算。 VLayer @vlayer_xyz: 无信任可验证数据基础设施，使用 ZK 证明来证明链下数据管道的正确性。 Space and Time @spaceandtime: 用于 SQL 的 ZK 协处理器，具有 SQL 证明，zk SNARK 证明查询和使用的数据都是正确的。

8. 证明网络和硬件 Succinct @SuccinctLabs：高性能 zkVM 和去中心化证明网络，让开发者将 ZK 证明视为 API 调用。 Risc Zero @RiscZero：基于 RISC-V 的 zkVM 和 Bonsai 证明网络，可以证明通用 Rust 代码并在链上验证。 Cysic @cysic_zk：硬件加速的证明生成网络，构建针对 ZK 工作负载优化的 GPU 和 ASIC。 Ingonyama @Ingo_zk：以 ZK 硬件和软件公司而闻名，因 ICICLE 和其他基于 GPU 的 SNARK 和 STARK 证明系统加速而知名。 =Nil; Foundation | @nil_foundation：ZK 技术实验室，构建 zkLLVM、证明系统和用于数据密集型应用的证明市场。 Delphinus Lab @DelphinusLab：用于证明 WebAssembly (ZKWASM) 程序执行的 ZK 环境，以便现有代码可以在电路中进行验证。

9. ZK 虚拟机 (ZkVMs) Risc Zero zkVM @RiscZero：通用 zkVM，模拟 RISC-V 机器，以确保许多现有程序可以在没有自定义电路的情况下进行证明。 SP1 zkVM @SuccinctLabs：专注于速度和开发者易用性的高吞吐量 zkVM，适用于基于 Rust 的程序。 Powdr Labs @powdr_labs：用于创建自定义 zkVM 和证明系统的工具包和编译器栈。 zkWASM @DelphinusLab：用于 WebAssembly 的 zkVM，将 WASM 程序转换为 ZK 可验证的执行轨迹。 zkLLVM @nil_foundation：将 LLVM IR 转换为电路的编译器工具链，以便许多语言可以编译成 ZK 证明。

10. ZK 机器学习 (ZKML) 和可验证的 AI Modulus @ModulusZK: ZKML 实验室构建电路和基础设施，以便 ML 模型和交易机器人可以在链上被证明和验证。 Giza @gizatechxyz: ZKML 平台，与 Starknet 集成，允许开发者部署可验证的 AI 模型。 EZKL @ezklxyz: 一个工具包，将 PyTorch 模型转换为 ZK 电路，并生成链上 ML 验证的证明。 Sentient @SentientAGI: 一个社区构建的 AGI 经济，通过 Sentient GRID 协调模型、数据和代理。 Allora Network @AlloraNetwork: 一个 AI 网络，其中 ML 模型提供预测并相互评分。使用 zkML（通过 Polyhedra）。 Ritual @ritualnet: 一个去中心化的 AI 执行层 / L1，在链上运行工作负载，具有可验证的推理和加密原生激励。 OpenMind @openmind_agi: 一个智能机器人的操作系统和协调层。 Inference Labs @inference_labs: 构建一个零知识验证推理网络 (ZK-VIN) 和“推理证明”协议。 Gensyn @gensynai: 一个用于训练 ML 模型的计算网络，使用基于区块链的验证层来证明深度学习。 Mind Network @mindnetwork_xyz: FHE 重新质押 + 加密数据层，用于 AI 工作负载。 Chainlink @chainlink: 一个基于链外预言机的可验证计算，用于由预言机网络执行的任务。

11. ZK-身份与证明 Privado ID @PrivadoID：零知识身份平台，让用户在不透露基础数据的情况下证明关于自己的声明。 World @worldcoin：全球身份证明协议，使用ZK证明和Semaphore来证明唯一性，同时隐藏生物识别数据。 PSE @PrivacyEthereum：刚刚创建OpenAC以标准化零知识身份。 zkPass @zkPass：一个使用zkTLS的协议，帮助用户在不暴露密码或文件的情况下证明Web2数据源的信息。 zkMe @zkme_：ZK-KYC和凭证网络，用户私下向dapps和交易所证明合规属性。 zCloak Network @zcloaknetwork：身份和数据验证的ZK证明即服务平台。 Human Passport @HumnPassport：一个使用ZK系统进行Sybil抵抗和访问控制的身份和印章系统。

12. ZK DeFi 混合器 Railgun @RAILGUN_Project：隐私协议，具有保护余额的 DeFi 活动、ZK 证明和无辜证明工具。 DarkFi Squad @DarkFiSquad：使用 ZK 加密技术的匿名 DeFi 平台，用于私密合同和协调。 Shade Protocol @Shade_Protocol：为私密交换、借贷和稳定币构建的私密 DeFi 套件。 Hinkal @hinkal_protocol：隐私引擎，通过 ZK 保护的智能合约路由 DeFi 活动。

13. ZK 互操作性 Polyhedra @PolyhedraZK：基于 ZK 的桥接和状态证明系统，验证跨链消息和资产转移，提供简洁的证明。 Orbiter Finance @Orbiter_Finance：优化快速 L2 到 L2 转移的跨卷桥，安全性源自底层卷。 Union @union_build：基于 ZK 的 IBC 风格协议，统一网络并实现信任最小化的跨链消息传递。 Polymer Labs @Polymer_Labs：使用 ZK 和轻客户端风格验证的 IBC 路由器，用于跨链连接。 ChainSafe @ChainSafeth：基础设施提供商，实施 ZK 感知的桥接和轻客户端服务。 Owlto Finance @Owlto_Finance：连接多个 ZK 和乐观卷的跨卷桥。

14. ZK 钱包 Ready @ready_co: 深度集成于 Starknet 和 zkSync 的智能合约钱包，隐藏复杂性，同时提供自我保管。 Braavos @myBraavos: 具有账户抽象功能的 Starknet 智能合约钱包。 Zashi @zashi_app: 适用于 Zcash 的隐私钱包，便于使用私人交易和移动用户体验。 Loopring @loopringorg: 基于 zk-rollup 的支付层钱包。

15. 电路语言和库 Noir @NoirLang：类似Rust的高级语言，用于编写可移植的零知识电路。它被@aztecnetwork等使用。 Cairo @CairoLang：STARK友好的语言和虚拟机，用于编写可证明的程序，适用于Starknet。 Halo2 @Zcash：Plonkish证明系统和库，支持自定义门和查找，以实现高效的电路设计。 Plonky2 @0xPolygon：递归友好的证明系统，将PLONK风格的算术与FRI风格的承诺结合在一起。 gnark @Consensys：用于构建和验证zkSNARK电路的Go库，支持多种方案。 snarkjs @identhree：用于在浏览器和Node中生成和验证zkSNARK证明的JavaScript工具链。 Circomlib @identhree：可重用Circom电路的标准库，用于哈希、签名和常见原语。 iden3 @identhree：用于构建算术电路和zkSNARK的R1CS约束的领域特定语言。

17. ZK 模块化 Celestia @celestia: 用于许多 rollup 的模块化数据可用性层，包括 ZK rollup，以实现可扩展的数据发布。 EigenDA @eigenlayer: 基于 EigenCloud 的数据可用性服务，供 ZK rollup 团队使用。 Avail @AvailProject: 用于 ZK rollup 的独立数据可用性链。 EthStorage @EthStorage: 可以托管 rollup 数据和证明的存储 L2。 AltLayer @alt_layer: 一种 rollup 即服务平台。 Caldera @Calderaxyz: 允许使用 ZK 或乐观证明系统启动自定义 rollup 的 rollup 基础设施提供商。 Zeeve @0xZeeve: 可以托管和管理 ZK rollup 部署的企业区块链基础设施平台。 Gateway FM @gateway_eth: 用于启动特定应用的 rollup 的基础设施服务，包括 ZK 变体。 Stackr @0xStackr: 微型 rollup 框架，通常与 ZK 证明结合使用，以实现轻量级的特定应用链。 Nym @nym: 为高级隐私和 ZK 身份构建的混合网络和凭证系统。 Origin @origin_trail: 用于可验证数据来源和 AI 准备知识资产的知识图谱，将输入提供给 ZK 电路或 ZKML。

标记 Chads 来查看这个： @thesaint_ @andrewmoh @0xCheeezzyyyy @satyaki44 @cryptorinweb3 @poopmandefi @Eli5defi @cchungccc @DOLAK1NG @chilla_ct @thelearningpill @twindoges @YashasEdu @Only1temmy @Adebiyi_Diamond @rektdiomedes @splinter0n @belizardd @MercyDeGreat @Defi_Warhol