Zero Dao

ZkCloud 是 ZK 的通用證明層，可聚合證明需求，使利用可證明計算的新應用程式透過將成本降低到 AWS 和 GCP 等標準證明外包成本的一小部分而變得經濟可行。它還透過聚合整個產業的工作負載來確保證明者節點能夠實現最高的資源效率，以滿足擴展和隱私用例以及未來的更多需求。

Octra 是一個支援隔離執行環境的 FHE 區塊鏈網路。大部分的程式碼庫都是用 OCaml、AST、ReasonML（用於與 Octra 區塊鏈網路互動的智慧合約和應用程式語言）和 C++ 等語言開發的。

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

Holonym 是 Web3 的隱私權保護護照。它允許用戶進行匿名“KYC”並防止女巫攻擊。它還正在為去中心化錢包恢復建造必要的基礎設施。

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

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