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

1912212.eth热度: 10968

Aligned Layer是基于EigenLayer的验证和聚合层,利用以太坊验证器的安全性对SNARK证明进行经济高效的验证。它可以在以太坊之外应用,并帮助其他链验证数据。Aligned有四个核心要素,支持Rollups、快速桥接、基于SNARK的P2P协议等多种应用。已上线基于Cosmos SDK的测试网,并将迁移到EigenLayer测试网。

原文作者: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 测试网。

声明:本文为入驻“MarsBit 专栏”作者作品,不代表MarsBit官方立场。
转载请联系网页底部:内容合作栏目,邮件进行授权。授权后转载时请注明出处、作者和本文链接。未经许可擅自转载本站文章,将追究相关法律责任,侵权必究。
提示:投资有风险,入市须谨慎,本资讯不作为投资理财建议。
免责声明:本文不构成投资建议,用户应考虑本文中的任何意见、观点或结论是否符合其特定状况,及遵守所在国家和地区的相关法律法规。