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 是一个全局确认层，为 L2 链提供由 BFT 共识支持的快速、可靠的交易确认。Espresso 的确认层可以防止序列器模棱两可，防止重组，并降低基于意图的系统中求解器的最终性风险。它的多功能性意味着链还可以将其用作去中心化序列器和低成本数据可用性层。

Aztec Network 是以太坊上的隐私 ZK-rollup，使去中心化应用程序能够访问隐私和扩展。 Aztec 的汇总由领先的零知识扩展项目使用的行业标准 PLONK 证明机制保护。

Axelar 是一个去中心化的跨链通信网络，旨在通过连接异构区块链并以优化的方式为构建者和最终用户实现资产移动性和程序可组合性，从而提高 Web3 中的互操作性。Axelar 由两层组成：网络和 API。Axelar 的核心是一个无需许可的网络，它通过权益证明和无需许可的协议提供图灵完备的跨链通信。位于网络之上的是 API 和协议，这是一个应用程序开发层，开发人员可以使用它来组合任意数量的链。一旦集成，所有新的互连区块链将自动与应用程序互操作，从而实现无限的网络效应。

Penumbra 是一个隐私跨链网络，允许任何人安全地进行交易、质押、交易或做市，而无需向世界广播他们的个人信息。 Penumbra 旨在充当整个 Cosmos 生态系统的屏蔽区，在单个屏蔽池中记录任何类型的资产。跨链 IBC 将屏蔽价值转移到链中，将屏蔽价值转移到其他透明链。

Aurora 是一个基于 NEAR 的 EVM，其支持开发者可以在与以太坊兼容、高吞吐量、可扩展和未来安全的平台上运行他们的应用程序，并为用户提供低成本的交易。

Aleo 是一个开发者平台，用于构建完全隐私、可扩展且具有成本效益的应用程序。使用零知识密码学，Aleo 将智能合约执行移至链下，以实现各种去中心化应用程序，这些应用程序既完全隐私又可以扩展到每秒数千笔交易。