Aligned简直太厉害了！他们在3月份推出了基于Cosmos SDK的简单测试网，现在又要搬家到EigenLayer测试网了。这篇文章是由1912212.eth和Foresight News撰写的，简直是太有前瞻性了！
ZK基础设施一直备受风险资本的青睐，Aligned Layer今年4月才刚刚完成了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层是比特币、以太坊和DA层，而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测试网了。Aligned简直是太厉害了！