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

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

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

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

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

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

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

Espresso Systems 是一個與 EVM 相容的區塊鏈，為Web 3應用程式提供擴充和隱私系統。其共識協議 HotShot 可在幾秒鐘內確認交易，Rollups 可以選擇數百個節點對交易進行排序，而不是使用自己的中心化排序器。 Espresso 還為應用程式提供了比以太坊更便宜的 DA 替代方案。

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

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

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

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

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

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

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

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

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

Aligned Layer 是在 EigenLayer 之上開發的 ZK 驗證層。這將使任何 SNARK 證明的驗證具有成本效益，利用以太坊驗證器的安全性而不受以太坊的限制。作為 Eigen Layer AVS，它承諾為 L2 和橋提供經濟實惠的驗證和多功能證明系統，滿足區塊鏈生態系統中的關鍵需求。

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

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

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

Soundness是一個基於 Walrus 和 Sui 建構的去中心化驗證層。它利用零知識證明來增強資料安全性、隱私性和區塊鏈可擴展性。

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

Obscura 是基於 Solana 的隱私層，由 zk 提供支援。

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

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

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

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

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

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