Aligned Layer 是什么?其如何以提升「验证」的效率改善零知识证明与以太坊的整合?又或者说这些问题为什么重要?本文将简单介绍 Aligned Layer 在产业中想解决的问题与定位。
(本文非投资建议)
内容目录
Toggle
Aligned Layer 想解决什么问题?
市场出现零知识证明的运算与验证需求
以太坊最初不为零知识证明所设计
生成有人做了,但是验证呢?
Aligned Layer 介绍
建构于 EigenLayer 之上
快速验证 SNARK 路径
Aligned Layer 不采用 EVM
Aligned Layer 潜在使用场景
各种 zk-rollups、zkEVM 与 zk 协处理器 (zk Coprocessor) 等应用不断冒出,确实有望可以提升以太坊网络的使用场景与效率,但却也因为区块链架构的限制让这些应用无法发挥到极致。计算与验证零知识证明的成本仍然不低。
广告 – 内文未完请往下捲动
推荐阅读:
ZK 协处理器介绍,如何让区块链产品借由数据提升使用体验?
推荐原因:该文章介绍协处理器如何解决区块链调用数据效率过低的问题,并介绍现有实作的项目与架构包含 Brevis、Axiom,可以借此理解 zk 协处理器这个全新应用,其提交证明背后的脉络。
以太坊于 2015 年推出时并不是为 ZK 而设计的,但是随着零知识证明技术对于 Web3 产业发展越来越重要,如何最有效率地提高以太坊纳入这些技术的手段越来越受到社群重视。
以太坊最初设计并没有考虑到零知识证明或有效性证明,因此现在要加入这些东西效率有限。
为了使用零知识证明,而不断将相关功能加入以太坊协议内以改善证明系统,本身就是一个缓慢且具有挑战性的过程。
这可能会让网络的安全风险增加。系统的安全性可能会因利用链中的任何验证者而受到损害,整个系统的安全性取决于其最薄弱的环节。例如如果涉及基于配对的证明系统,则维持量子抗性是不可行的。
(以太坊若发生量子攻击怎么办?Vitalik:不用担心)
市场上开始出现了许多尝试提升以太坊计算与验证零知识证明的基础设施。首先要知道,零知识证明分为生成与验证量件事情,其中 zk 证明聚合层 (又称为 zk 共享证明层) 尝试解决了生成零知识证明的计算成本,但是将证明提交到以太坊后的验证成本仍然缓慢,因此市场出现了代替以太坊验证的基础设施 —— zk 验证层。
零知识证明生成后会被提交给主网进行验证
(数据来源)
Aligned Layer 的目标是提供「提交零知识证明的个人或是专案」另一条更快验证的方式,把零知识证明领域的最后一哩路「验证」也做一条网络来扩容。
推荐阅读:
共享证明层介绍,为何成为模块化发展的重要基石?
推荐原因:该文章清楚说明何谓 zk 共享证明层、其如何解决生成零知识证明过高的成本,可以与本文搭配对照可以对此议题有更立体的认识。
Aligned Layer 将是建构在 EigenLayer 之上的 AVS,使用再抵押系统打造零知识证明的验证层。
推荐阅读:
再质押专案 EigenLayer 将如何改变 Web3 基础设施生态?
推荐原因:该文章全面地说明 EigenLayer 的设计理念、解决什么问题、发展现状,可以快速理解其创新的产品定位与设计架构,也可更加认识本文接下来的内容。
Aligned Layer 提供了一种减少时间与成本开销的验证解决方案,并允许开发人员选择是否要等待证明在以太坊上得到验证;或者可以选择将证明提交给 Aligned Layer,进行快速的软验证,当以太坊主网完成经过 Aligned Layer 打包后的单一零知识证明的验证,近一步获得最终性确认。
Aligned Layer 运作架构
(数据来源)
团队表示不赞成任何特定类型的 zk-SNARK 证明,将支持任何参与零知识技术的开发。Aligned Layer 的目标是使任何 SNARK 证明的验证具有最高的效益,未来利用以太坊验证器的安全性将不受到其技术限制。
Aligned Layer 团队目标是将把以太坊转变为一个高效且具成本效益的 SNARK 验证平台。
另外,Aligned Layer 也可以使用其他资料可用性层 (DA) 来进一步降低证明储存成本。
团队表示 EVM 不是为 ZK 验证而设计的,因此大多数验证都很昂贵。且另一方面,目前 EVM 也无法处理每个区块超过 30,000,000 Gas 的操作。
因此为了提升验证效率,Aligned Layer 将采用节点本地端的虚拟机而非 EVM。
Aligned Layer 团队认为因为效率提升,可以验证在以太坊中不可行的证明系统,例如过大的零知识证明。
团队认为借由打造新的结算层,Aligned Layer 可以做到快速最终性 (软验证),可以为基于零知识证明许多服务提升运作效率。例如应用链 (基于zk-rollups)、快速跨链 (基于 zk 证明通讯)、预言机 (基于 zk 证明通讯)、协处理器 (基于提供 zk 证明)。
(Near 与 EigenLayer 打造快速结算层 SFFL 实现 Layer2 快速通讯)
(本文非投资建议)
Aligned Layer
ZK Coprocessor
零知识证明
衍伸阅读
共享证明层介绍,为何成为模块化发展的重要基石?
ZK 协处理器介绍,如何让区块链产品借由数据提升使用体验?