Hack VC 领投 2000 万美元融资，Aligned 如何打造 ZK 验证层?

原文作者： 1912212.eth

原文来源：Foresight News

ZK 基础设施仍不断得到风险资本的青睐，今年 4 月刚刚完成 260 万美元种子轮融资的 Aligned Layer，仅过不到两月，即完成 2000 万美元的 A 轮融资，其速度之快，相当罕见。其种子轮由 Lemniscap 领投，StarkWare、O(1)Labs 等机构参投，A 轮则由 Hack VC 领投，dao5 等参投。

Aligned 究竟有何特点吸引一众风投疯狂出手？

Aligned 简介

在 Aligned 看来，未来的「证明生成」不会是业内的最大瓶颈，而是链上的证明验证。而目前，因验证成本高昂，ZK 系的应用程序也还无法在以太坊上高效运转。

Aligned 是建立在 EigenLayer 之上的验证和聚合层，它通过利用以太坊验证器的安全性对任何 SNARK 证明进行经济高效的验证。Aligned 可以在以太坊之外拥有更多应用程序，并帮助其他链验证数据。Aligned Layer 由以太坊基础设施初创公司 Yet Another Company 创建开发，而后者在今年 1 月完成 100 万美元融资。

从概览图中可以看出，0 层是比特币、以太坊和 DA 层，Aligned 是 1 层验证层，2 级是其他层，例如：应用链、zkML、zkEVM Rollup 等。

Aligned 如何运行

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

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 测试网。