ZisK 是一個開源的零知識證明工具包，其特點是配備了一個 zkVM，可驗證以 Rust 等高階語言編寫的程式的執行。

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

Privacy Pool 是一種在以太坊上實現匿名交易的協議。它使用零知識證明來分離非法資金，讓使用者無需透露身分即可證明合規性。

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

Ethproofs 是以太坊的區塊證明資源管理器。它匯總來自不同 zkVM 團隊的數據，提供已證明區塊的全面概覽，包括成本、延遲和證明時間等關鍵指標。用戶可以按區塊比較證明、下載證明並探索各種證明元資料（大小、時鐘週期、類型），以便更好地了解單個 zkVM 及其證明生成過程。

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

Self Labs 正在為網路建立一個可擴展的信任層，將隱私放在首位。該公司的開源平台 Self Pass & Connect 專注於在不洩露個人資料的情況下證明用戶的身份和獨特屬性，透過利用零知識證明和電子護照 NFC 技術為數百萬用戶提供安全、去中心化的驗證。 Self Protocol 支援全球護照（174 多個國家）和蓬勃發展的數位經濟所需的合規標準。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Zypher Network 是一個服務於無需信任的 AI 代理的 ZK 計算層，透過中間件解決方案（Prompt 證明，推理證明）確保了 AI 代理資料的一致性和完整性，同時不公開資料內容。透過 ZK 驅動的應用基礎設施，Zypher 正在為人類和 AI 代理提供安全、自主的關鍵任務和金融敏感的​​鏈上操作。

zkMe 是一個去中心化的 Web3 憑證網絡，它利用零知識證明的力量來實現安全和隱私的憑證發布和驗證。 ZkMe 使用戶能夠選擇性地向授權方揭露他們的憑證，而不會損害他們的隱私，從而授予他們對其數位身分的完全控制權。用戶可以創建和管理他們的數位身份，而不必擔心他們的個人資訊被洩露。該協議在各個行業都有潛在的用例，包括公平空投的反女巫保護、GameFi 集成的匿名網路數據證明以及 DeFi 的私人 KYC 合規性。

DeepSafe 是一種加密隨機驗證代理解決方案，利用 MPC、ZKP、TEE 和 RingVRF，為區塊鏈和人工智慧創建一個安全的驗證網路。

Fermah 是一個通用的零知識證明生成層。它充當市場，供應方包括 GPU 和 FPGA。在需求方面，Fermah 可以為任何使用 ZK 的實例產生證明。

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

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

Fiamma 是一個專門從事零知識 (ZK) 證明的驗證網絡，致力於為通用區塊鏈整合提供安全、去中心化且經濟高效的解決方案。從本質上講，Fiamma 旨在透過與 Babylon 的整合和 BitVM2 的實施來利用比特幣強大的加密經濟和網路安全價值。這種組合使 Fiamma 能夠將 ZK 功能引入比特幣生態系統，並在以太坊及其他地區保護 ZK 用例，從而增強 ZK 技術的範圍和有效性。

PolyHedra 是Web3 互通性的基礎設施，使用尖端的零知識證明系統擴展 Web3 互通性。在 Polyhedra Network 使用 deVirgo 實作 zkBridge，為跨鏈橋和各種 Web2 和 Web3 系統之間的資料互通性提供去信任和高效的基礎架構。 Polyhedra Network 透過高度可擴展的中間件（包括 ZK-NFT 容器、DAO/DAC 系統和去中心化 Web3 身分）為 Web3 開闢了設計空間。