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++ 和其他标准编程语言编程的开发人员编写链上去中心化应用程序。