Linea 是一種 zk-rollup，由ConsenSys R&D設計並由 ConsenSys營運。它允許開發者部署任何智慧合約，使用任何工具，並像在以太坊上建置一樣進行開發。對於用戶來說，這使得以太坊的體驗和安全保證成為可能，但交易成本更低。

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

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

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

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

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

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

RISC Zero 正在使用零知識證明技術和 RISC-V zkVM 來建立下一代可擴展區塊鏈。 RISC Zero 允許習慣使用 Rust、Go、C++ 和其他標準程式語言程式設計的開發人員編寫鏈上去中心化應用程式。

Ola 是一個由比特幣生態系統激勵的收益增強網絡，透過兩個核心產品，Onis 和 Massive，Ola 構建了一個全面的生態系統，在這個系統中，用戶可以成為 BitVM 挑戰者、ZK 橋接監督者、ZK 驗證節點、數據可用性採樣員以及多種監控角色，從而為比特幣生態系統賦能。

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

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

Automata Network 是一個模組化證明層，透過在機器性證明方法中利用樂觀匯總和零知識證明，將機器級信任擴展到以太坊。特定於應用程式的總和允許對協定外計算進行鏈上驗證，從而創建一條不間斷的信任鏈，向上延伸到整個 Web3 堆疊。

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

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

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

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

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

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

vlayer 是一個由零知識證明驅動的可信任可驗證資料基礎設施。

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

Fabric Cryptography 是一家專注於開發先進加密演算法硬件，特別是為零知識證明技術構建專用電腦晶片的新創公司。

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

Data Ownership Protocol（DOP）正在利用零知識證明，以便在以太坊 L1 之上實現靈活的透明度。 DOP 允許用戶和 DApp 隱私地儲存資產並進行交易，或選擇性地揭露代幣持有量和歷史資訊。

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

Opacity 是 ZKP 協議，用於在不透露細節的情況下證明任何內容。 Opacity 的零知識證明協議將證明者和驗證者連接起來，在幾分鐘內無需信任地共享和驗證資訊。

Reclaim Protocol 讓在運算上完全有效、安全且私密地產生出處證明 (PoP)，使用者可以將其分享給任何第三方的用戶端。 此外，使用者可以產生其資料特徵的零知識證明，以避免共享敏感資訊。 Reclaim 也致力於去中心化擴展，透過實施經濟機制來激勵誠實行為，從而消除了使用任何受信任方的需要。

ZK Email 有一個 ZK 套件，包括 ZK Email Verifier、Email Wallet、Email Wallet SDK 和 ZK Regex。 ZK Email 在 zk 證明中直接驗證電子郵件上的簽名，包括 zk 中的正規表示式解析。

Tusima是一個連接Web3.0與現實世界商業的基礎設施，致力於完全在Web3.0高效、低成本、去中心化的網路上建立RWB（現實世界商業）。 它旨在透過將 Web3.0 整合到業務營運中，利用變革性創新基礎設施來釋放現實世界商業的全部潛力。

Gasp 是一種 L2 跨 rollup 協議，其願景是使以太坊成為所有跨鏈交易的結算層。 Gasp 提供原生跨鏈交易，無需借助傳統跨鏈橋，透過逃生艙口的力量保證用戶資金隨時提取、ZK 證明和去中心化排序器。 Gasp 最初由 Polychain 孵化，於 2020 年在 Polkadot 生態系統中啟動。

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