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