ZKValidator

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 将智能合约执行移至链下，以实现各种去中心化应用程序，这些应用程序既完全隐私又可以扩展到每秒数千笔交易。

zkSync 是 Matter Labs 开发的第 2 层扩展解决方案，通过利用最新一代简洁的零知识证明来保留底层区块链的安全属性。 zkSync 中的所有资金都由主链上的智能合约持有，而计算和存储则在链下执行。对于每个 Rollup 块，都会生成状态转换零知识证明 (SNARK)，并由主链合约进行验证。这个 SNARK 包括 Rollup 块中每笔交易的有效性证明。