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

zk 基础设施仍在不断吸引风险资本的关注。今年4月，Aligned Layer刚刚完成260万美元的种子轮融资，仅仅两个月后，就完成了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接收验证结果，但由于成本较高，以太坊本身无法验证证明。取而代之的是，一般的Rust证明器会为给定时间段内包含的所有证明生成验证证明。

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

应用案例

Aligned表示其可能应用的方向包括多种类别，例如：Rollups和应用链的软最终性、快速桥接、基于SNARK的P2P协议（如支付系统和社交网络）、与以太坊互操作的公链、机器学习、ZK预言机、验证身份协议、链上游戏等等。目前，Aligned支持Cairo STARK的Platinum Prover、gnark的Plonk、Mina的Kimchi、SuccintLabs的SP1和a16z的Jolt。验证成本取决于证明的类型及其大小。此外，Aligned已于3月上线基于Cosmos SDK的简单测试网，并将迁移到EigenLayer测试网。