撰文:1912212.eth,Foresight News
ZK 基础设施仍不断得到风险资本的青睐,今年 4 月刚刚完成 260 万美元种子轮融资的 Aligned Layer,仅过不到两月,即完成 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 等。
模块化设计的浪潮中,将多个流程拆分为多个专用层是普遍做法。从单一层负责执行验证、结算、共识到 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 测试网。
正加财富网内容推荐 | ||
OK交易所下载 | USDT钱包下载 | 比特币平台下载 |
新手交易教程 | 平台提币指南 | 挖矿方法讲解 |