ZK验证层Aligned获Hack VC 2000万美元A轮融资

zk 基础设施继续受到风险资本的热捧，Aligned Layer 就是一个很好的例子。就在今年 4 月，Aligned Layer 刚刚完成了一轮 260 万美元的种子轮融资，不到两个月的时间里，他们又完成了 2000 万美元的 A 轮融资，这样的速度实在是让人惊讶。种子轮由 Lemniscap 领投，StarkWare 和 O(1) Labs 等机构跟投，而 A 轮融资则由 Hack VC 领投，DAO5 等参投。

Aligned 究竟有什么特别之处让投资者如此青睐？

Aligned 认为，未来的“证明生成”不会是行业的最大瓶颈，而是链上的证明验证。由于目前验证成本高昂，基于 ZK 的应用程序还无法在以太坊上高效运行。Aligned 构建在 EigenLayer 之上，作为一个验证和聚合层，它利用以太坊验证器的安全性来对任何 SNARK 证明进行经济高效的验证。这样，Aligned 可以在以太坊之外支持更多应用程序，并帮助其他链验证数据。Aligned Layer 是由以太坊基础设施初创公司 Yet Another Company 创建和开发的，后者在今年 1 月完成了 100 万美元的融资。

从这张概览图中可以看出，0 层包括比特币、以太坊和数据可用性层，而 Aligned 位于 1 层，作为验证层，2 层则包括其他层，比如应用链、zkML、zkEVM Rollup 等。

Aligned 如何运作？

在模块化设计的浪潮中，将多个流程拆分为多个专用层是普遍做法。从单一层负责执行验证、结算、共识到数据可用性，拆分后的模块化设计提高了效率并降低了成本。

Aligned 主要包含四个核心要素，它主要接收来自不同证明系统的证明，并对其进行验证。这些证明可以使用不同的证明系统生成，具有不同的证明大小、验证时间和验证逻辑。但所有的证明都有一个共同点：它们的验证速度很快。

Aligned 有专门的验证器，用于检查每个验证器的有效性并将结果发布到以太坊。校样存储在数据可用性层中，该层提供了一种经济高效的存储策略。Aligned 中的运算符从该层获取证明的数据。

以太坊从 Aligned 接收验证结果。但由于验证成本高昂，以太坊本身无法验证这些证明。取而代之的是，一般的 Rust 证明器会为给定时间段内包含的所有证明生成验证证明。

为了聚合所有证明，第一步是将所有证明转换为虚拟机执行的证明，从而实现证明的统一性。然后，我们可以通过递归证明来缩小证明大小，如树形图所示：

应用案例

Aligned 表示其可能的应用方向包括多种类别，例如：Rollups 和应用链的软最终性、快速桥接、基于 SNARK 的 P2P 协议（比如支付系统和社交网络）、与以太坊互操作的公链、机器学习、ZK 预言机、验证身份协议、链上游戏等等。

目前，Aligned 支持 Cairo STARK 的 Platinum Prover、gnark 的 Plonk、Mina 的 Kimchi、SuccintLabs 的 SP1 和 a16z 的 Jolt。验证成本取决于证明的类型及其大小。

此外，Aligned 已于 3 月上线基于 Cosmos SDK 的简单测试网，并计划迁移到 EigenLayer 测试网。