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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Iron Fish 是第 1 層區塊鏈，旨在成為所有 Web3 的通用隱私層。 Iron Fish 使用零知識證明 (zk-SNARK) 和最高的行業加密標準，使用戶能夠進行完全私密的交易——所有區塊鏈的真正 SSL 層。

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

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

X Layer 是一個 ZK 支援的 Layer2 網絡，連接 OKX 和以太坊社區，讓任何人參與真正的全球鏈上生態系統。

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

Taiko 是一個去中心化的以太坊等效 (Type-1) ZK-VM 和通用 ZK-Rollup 二層網路。其目的是讓以太坊 L1 的 dApp 開發者和用戶無需任何更改和摩擦，即可在 Taiko 上部署和使用，在最大化繼承以太坊安全性的同時，提供比 L1 更快的速度和更低的交易費用。

Primus Labs 是 Privacy-Preserving Attestation Data Operator 的縮寫，在尖端密碼學的研究前沿。 Primus Labs 將利用密碼演算法，透過互動式零知識證明（IZK）和安全多方運算（MPC）等技術，率先將鏈下資料整合到鏈上世界。確保了合規、安全、私密和可驗證的鏈接，促進互連和可組合的用戶信用憑證的創建。 Primus Labs 的願景是建立一個以使用者為核心的完全去中心化的信用協議。

Alpen 是一個零知識擴展比特幣技術解決方案。該平台構建基礎設施旨在實現比特幣的更廣泛採用，並開創無需信任、可驗證的計算的新時代。

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

Chakra 是一種基於 ZK 證明的比特幣再質押協議。它利用 STARK 來證明比特幣上的質押事件，並驗證第 2 層鏈上的證明。

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

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

Orbiter Finance 是一個去中心化的跨 rollup 橋，用於轉移以太坊的原生資產。在 Orbiter Finance 中，有 Sender 和 Maker 兩個角色 。當 Sender 發起轉帳時，Maker 為其提供流動性。智能合約保證了這個過程的安全性。如果 Maker 有不良行為導致轉帳失敗，Sender 可以用 Maker 的保證金向合約發起仲裁請求，然後獲得超額補償。