Cysic是一個全端運算網絡，旨在將 GPU、ASIC 和運算資源轉化為具有流動性和收益性的資產。其產品包含ZK 證明層Cysic Network、Cysic 硬體（GPU、ZK Air 和 ZK Pro）、Cysic AI。

zkPass 是一種利用 3P-TLS 和混合 ZK 技術的隱私資料協議，提供工具和應用程序，用於從任何無需 Oauth API 的 HTTPS 網站進行安全、可驗證的資料共享，並提供隱私和完整性保證。

zkSync 是 Matter Labs 開發的第 2 層擴展解決方案，透過利用最新一代簡潔的零知識證明來保留底層區塊鏈的安全屬性。 zkSync 中的所有資金都由主鏈上的智能合約持有，而計算和儲存則在鏈下執行。對於每個 Rollup 區塊，都會產生狀態轉換零知識證明 (SNARK)，並由主鏈合約進行驗證。這個 SNARK 包括 Rollup 區塊中每筆交易的有效性證明。

Midnight Network 是一種新型區塊鏈，可用於建立保護敏感資料的去中心化應用程序，而不會犧牲效能和監管要求。開發人員可以在 Midnight 上建立基於 Typescript 和零知識 (ZK) 證明的新穎且易於使用的程式設計模型。

Sophon 是一個以娛樂為中心的生態系統，利用 zkSync 的 ZK Stack 技術建構成模組化總和。作為利用 ZK Stack 的 ZK 鏈，Sophon 旨在為任何高吞吐量應用程式（如人工智慧和遊戲）量身定制。

Brevis 是一個零知識 (ZK) 全鏈資料證明平台，它使 dApp 能夠以完全無信任的方式跨多個區塊鏈存取、計算和利用任意資料。 Brevis 擁有廣泛的用例，例如數據驅動的 DeFi、zkBridges、鏈上用戶獲取、zkDID、社交帳戶抽像等等。

透過利用零知識證明，Boundless 使區塊鏈能夠驗證計算的正確性，而無需重新執行。這種功能稱為可驗證計算，它允許網路中單一節點執行的操作可以由每個節點以低廉的成本進行驗證。

StarkNet 是一種無需許可的去中心化 Validity-Rollup（也稱為“ZK-Rollup”）。它作為以太坊上的 L2 網路運行，使任何 dApp 能夠實現其計算的無限規模 - 而不會影響以太坊的可組合性和安全性，這要歸功於 StarkNet 對最安全和最具可擴展性的加密證明系統 STARK 的依賴。

Orochi Network 是一種尖端的 ZKO（應用零知識證明的作業系統），旨在應對 Web3 行業中計算限制，數據正確性和數據可用性的挑戰。 Orochi Network 使用 MPC 和 ECVRF 為所有類型的Web3應用程式建立了無信任隨機性的分散式來源，為EVM和FVM上的智慧合約提供可驗證的隨機性。

Citrea 是一個比特幣的 ZK rollup，也是一個以比特幣為基礎的執行層。 Citrea 上發生的每筆交易均受到零知識證明的完全保護，並透過 BitVM 進行比特幣驗證。

ZEROBASE 是一個即時 ZK 證明器網絡，專為速度、去中心化和法規遵從性而設計。它在數百毫秒內產生 ZK 證明，並透過其 HUB 環喚醒機制確保去中心化、快速達成共識，從而實現大規模商業使用。

ZkCloud 是 ZK 的通用證明層，可聚合證明需求，使利用可證明計算的新應用程式透過將成本降低到 AWS 和 GCP 等標準證明外包成本的一小部分而變得經濟可行。它還透過聚合整個產業的工作負載來確保證明者節點能夠實現最高的資源效率，以滿足擴展和隱私用例以及未來的更多需求。

QED是比特幣的zk原生執行層，旨在應對Web3開發的挑戰。這個橫向可擴展、安全且用戶友好的平台是為開發者和用戶構建的，支援從DeFi到NFT等廣泛的應用程式。基於 QED 構建的去中心化應用程式可以在本地證明交易，為用戶提供固定 Gas 費用的無限計算。這種創新方法確保每個用戶的公鑰都充當自訂 ZK 電路，具有可從狀態讀取的“智慧簽名”，類似於智慧合約。

Scroll 是以太坊的原生 zkEVM 第 2 層解決方案。可實現對現有以太坊應用程式和工具的原生相容。 Scroll 處理鏈下交易，並在鏈上發布簡潔的正確性證明。與以太坊基礎層相比，這導致更高的吞吐量和更低的成本。

Lagrange 是一種零知識協處理協議，支援跨各種區塊鏈的大數據規模的可驗證計算。其獨特的 ZK 協處理方法涉及一個去中心化的節點網絡，該網絡在鏈外執行計算，並以超並行的方式生成結果的 ZK 證明以在鏈上提交，從而釋放顯著的效率和成本收益。透過提供超可擴展的證明，Lagrange 為跨鏈互通性和需要大數據複雜計算的應用程式的創新打開了大門。

ENI 是基於零知識證明 (ZKP) 技術建立的高效能企業級 Web3 區塊鏈。其模組化和多鏈架構可實現主網和應用鏈之間的無縫協作，為企業和開發者提供高度可擴展的基礎架構。

Succinct 正在建立一個去中心化的證明者網絡，以便任何人都可以建立由加密事實（而不是信任）保護的區塊鏈應用程式和基礎設施。 Succinct 統一了證明供應鏈，為使用零知識證明的 rollup、協處理器和其他應用程式提供了高度可用的證明來產生基礎設施和一流的定價。

Manta Network 是零知識應用程式的多模組生態系統。 Manta Atlantic 是最快的 ZK L1 鏈，透過合規的鏈上隱私和身分為 web3 帶來了可程式隱私。 Manta Pacific 是 EVM 原生 ZK 應用程式的獨特 L2 生態系統，為 ZK 應用程式提供了一個可擴展且廉價的 Gas 費環境，以便僅使用 Solidity 進行部署。 Manta Atlantic 和 Manta Pacific 共同透過零知識加密技術的應用，為下一代 Web3 應用程式開發和採用提供無與倫比的體驗。

OpenVM 是一個用於客製化和擴展性的效能和模組化 ZKVM 框架。 OpenVM 透過新穎的模組化設計實現這一點，讓開發人員在統一的框架內擴展 ISA、ZK 電路和證明系統。

zkVerify 是一個專為結算最佳化而設計的專用零知識證明驗證網路。 zkVerify 專為與現有區塊鏈網路無縫整合而設計，可最大限度地減少技術開銷，並為跨各種 zk-rollups 和結算層的證明驗證提供開發人員友好的環境。 zkVerify 由 Horizen Labs（相容於 EVM 的 Horizen 網路背後的開發工作室）建構。

DeGate 是一種基於零知識（ZK）技術的去中心化交易協議。作為 ZK Rollup，DeGate 透過在以太坊生態系統內提供現貨訂單簿交易和網格交易來填補市場的關鍵空白，提供類似於中心化交易所（CEX）的體驗。 DeGate 是一個以 DAO 為中心的協議，DAO 完全控制其資金。

Morph 是一種完全無需許可的 EVM L2，它結合了 optimistic 和 zk rollup 技術，為需要在其上建立金融、遊戲、社交媒體和娛樂應用程式的鏈的開發人員提供了用戶友好的選項。

Aztec Network 是以太坊上的隱私 ZK-rollup，使去中心化應用程式能夠存取隱私和擴展。 Aztec 的匯總由領先的零知識擴展項目使用的行業標準 PLONK 證明機制保護。

Union 是一個高效的互通協議，連接了任何生態系統中的所有區塊鏈和 rollup。它基於共識驗證，不依賴受信任的第三方、預言機、多重簽名或 MPC。

Nockchain 是一個基於 ZKVM 的實用工作證明區塊鏈。 利用 Nock 的美麗簡單性，它構建了第一個基於組合器的虛擬機，可以有效地與零知識證明一起使用。 Nockchain 是一條高吞吐量鏈，提供運算、儲存和新網域空間的證明。

Pi Squared 使用零知識證明（ZK）技術來驗證任何程式的執行正確性，無需依賴特定的程式語言（PL）或虛擬機器（VM）。其基於K框架和匹配邏輯，提供一種通用且高效的驗證方法，旨在實現區塊鏈、語言和應用程式的無縫互通性。

Nexus Network是一個大規模並行化的證明挖礦網路。它是 Nexus zkVM 的世界級實例化，旨在以每秒一兆個 CPU 週期的速度運行，前提是它連接了足夠的運算能力。 Nexus zkVM（零知識虛擬機）是一個模組化、可擴展、開源、高度並行化、驗證最佳化、貢獻者友善的 zkVM，以 Rust 編寫，專注於效能和安全性。

Delphinus Lab 提供基於 ZKWasm 虛擬機器的去信任計算解決方案和應用 SDK。 ZKWASM（支援 Web Assembly 的 ZKSNARK 虛擬機器）充當 WASM 運行時上運行的應用程式與鏈上智慧合約之間的去信任層。其使命是建立一個zkWASM 雲端套件，使用匯總作為應用程式的方法，簡化將更通用的web應用程式整合到web3環境中的過程。

Billions.Network 是一個數位身分驗證平台，旨在為現有驗證系統提供非生物辨識和注重隱私的替代方案。 該平台採用零知識證明技術，旨在提供一種可擴展且安全的方法來驗證人類和人工智慧的身份。

Inference Labs 專注於開發 web3 上的 AI 基礎設施和產品，並專注於區塊鏈上的 AI 推理互通。零知識證明在不影響速度或效率的情況下確保隱私和安全。使用者可以驗證鏈下人工智慧輸出的正確性，而無需自己計算。