ZKValidator

Ligero成立於2018年，建構了簡化工具零知識證明在不影響安全性或合規性的情況下進行開發、部署和擴展。其核心產品Ligetron是一種零知識虛擬機器 (zkVM)，旨在跨瀏覽器和高階硬體實現高速效能。

Citrea 是一個比特幣的 ZK rollup，也是一個以比特幣為基礎的執行層。 Citrea 上發生的每筆交易均受到零知識證明的完全保護，並透過 BitVM 進行比特幣驗證。

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

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

Clique 正在建立一種身分預言機，將 web2 使用者行為資料與 web3 應用程式連接起來。 Clique 利用 ZKP、TEE 和 MPC 等先進的加密技術來開發具有可自訂隱私假設的模組化解決方案，其主要產品旨在幫助協議、創作者和品牌識別高價值用戶/粉絲，執行防女巫檢查並相應地分配激勵措施。

Ingonyama 是一家下一代半導體公司，為高階密碼設計加速器。 Ingonyama 加速器附帶的技術堆疊將使程式設計師能夠建立越來越複雜的應用程序，同時利用 ZKP 促進的隱私和可擴展性。

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

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

Axelar 是一個去中心化的跨鏈通訊網絡，旨在透過連接異質區塊鏈並以優化的方式為建構者和最終用戶實現資產移動性和程序可組合性，從而提高 Web3 中的互通性。 Axelar 由兩層組成：網路和 API。 Axelar 的核心是一個無需許可的網絡，它透過權益證明和無需許可的協議提供圖靈完整的跨鏈通訊。位於網路之上的是 API 和協議，這是一個應用程式開發層，開發人員可以使用它來組合任意數量的鏈。一旦集成，所有新的互連區塊鏈將自動與應用程式互通，從而實現無限的網路效應。

Penumbra 是一個隱私跨鍊網絡，允許任何人安全地進行交易、質押、交易或做市，而無需向世界廣播他們的個人資訊。 Penumbra 旨在充當整個 Cosmos 生態系統的屏蔽區，在單一屏蔽池中記錄任何類型的資產。跨鏈 IBC 將屏蔽價值轉移到鏈中，將屏蔽價值轉移到其他透明鏈。

Aurora 是一個基於 NEAR 的 EVM，其支援開發者可以在與以太坊兼容、高吞吐量、可擴展和未來安全的平台上運行他們的應用程序，並為用戶提供低成本的交易。

Aleo 是一個開發者平台，用於建立完全隱私、可擴展且具有成本效益的應用程式。使用零知識密碼學，Aleo 將智能合約執行移至鏈下，以實現各種去中心化應用程序，這些應用程式既完全隱私又可以擴展到每秒數千筆交易。