這是完整的 ZK 生態系統地圖。 你還記得 RWA 曾多次被拒絕進入主流，直到它在 2025 年成為每個人的現實嗎？ZK 也會這樣做。 將此帖子加入書籤。當 ZK 在 2026 年進入主流時，你會回來查看它。（有 125 個項目）

1. ZK Rollups 和 zkEVM L2s ZkSync @zksync: 兼容以太坊的 zkEVM rollup，使用基於 PLONK 的證明提供便宜、快速的交易，同時繼承以太坊的安全性。 Starknet @Starknet: 使用 STARK 證明和 Cairo VM 的通用有效性 rollup，實現以太坊上的可擴展、可證明計算。 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: 社區推出的 zkEVM rollup，基於 Polygon CDK 和 Celestia DA。 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: 一個基於 STARK 的 rollup 和 VM，來自 Polygon，使用客戶端隱私證明模型以實現可擴展執行。 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，旨在帶來 EVM 風格的執行，並將有效性證明錨定於 BTC。 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: 一個 L1，結合了基於 DAG 的共識和 ZK 隱私層，用於私密智能合約。 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 的機密智能合約的 Ethereum 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; 基金會 | @nil_foundation：ZK 技術實驗室，建造 zkLLVM、證明系統和針對數據密集型應用的證明市場。 Delphinus Lab @DelphinusLab：ZK 環境，用於證明 WebAssembly (ZKWASM) 程序的執行，以便現有代碼可以在電路中進行驗證。

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: 與 Starknet 集成的 ZKML 平台，允許開發者部署可驗證的 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: 用於 AI 工作負載的 FHE 重新質押 + 加密數據層。 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: 提供 rollup 基礎設施的供應商，能夠啟動帶有 ZK 或樂觀證明系統的自定義 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