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

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

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

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

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

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

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

EIP-7503 是 Nobitex Labs 建構的零知識蟲洞。 EIP 可以鑄造隱密銷毀的 ETH，作為以太坊的原生隱私解決方案。

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

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

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

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

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

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

ZERA 是一個安全、私密的統一 ZK 層，用於從貨幣和身分到市場、協調和創造力的一切。 ZERA 錢包為日常加密貨幣帶來隱私保護：提供屏蔽餘額、私密離線 P2P 轉帳以及 Jupiter/Raydium 上的私人兌換功能，可直接與用戶的屏蔽餘額進行兌換。

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

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

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

Strobe 是一個 ZK 證明生成網絡，為 cosmos-sdk 建立一個模組，允許新的和現有的 L1、rollup 和應用程式建立和執行 Move 智能合約，然後幫助它們透過 IBC 互動。

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

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

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

QEDIT 是一家區塊鏈隱私公司，使用零知識證明和應用密碼學為區塊鏈基礎設施增加企業級的安全性、隱私性。

Prxvt 是一個區塊鏈協議，可在公共網路上實現私人交易。它使用零知識證明來隱藏交易細節，同時保持可驗證性。該項目與現有區塊鏈集成，為用戶和資產提供保密性，而不改變核心共識機制。

ZKForge 是一個為區塊鏈生態系統提供零知識證明開發和部署工具的平台。它支援電路設計、證明生成以及與 Layer 2 解決方案的集成，從而在不改變核心區塊鏈協議的情況下，實現隱私和可擴展性的提升。

ZK Sea Level 是一個在 Solana 區塊鏈上實現零知識壓縮的協定。它透過 ZK 證明實現可擴展的狀態管理和資料可用性，從而降低成本並提升高吞吐量應用的效率，而不改變核心共識機制。

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

Bonsol 是一個 Solana 原生的可驗證計算框架，它使開發人員能夠將複雜的計算卸載到鏈下，同時保持鏈上可驗證性，並通過可在 Solana 上有效驗證的零知識證明來維護安全性和信任。

Coset_io 是一個專注於 Web3 開發的社群組織，致力於推動零知識證明（Zero-Knowledge Proofs, ZK）與區塊鏈技術的創新。