• 元宇宙:本站分享元宇宙相关资讯,资讯仅代表作者观点与平台立场无关,仅供参考.

OP Stack的进阶之路:OP Succinct解锁ZK Rollup潜力

  • 2024年9月27日 02:29

作者:Ac-Core,YBBCapitalResearcherTL;DR

●OPSuccinct提供的主要功能是将ZKP融入OPStack的模块化架构中以完成将OPStackRollup转换为完全验证的ZKRollup;

●如果Ethereum未来扩展的终局是将每个Rollup都转化为ZKRollup,OPSuccinct的目的是结合Rust和SP1实现OPStack的Type-1zkEVM(完全Ethereum等效)的部署;

●OPSuccinctProposer主要完成了并行生成证明和证明聚合与验证;

●OPStack现有系统依赖于"7天防欺诈窗口",如产生争议会延期一周的交易验证,OPSuccinct利用ZK证明来缩短交易完成所需的时间,消除了对扩展防欺诈窗口的需求;

●OPSuccinct可极大降低交易成本。一、近期回顾:OPMainnet近况以及OPStack与OPLabs

图源:Succinct博客2.1OPSuccinct架构组成

结合上文1.2章节末尾内容「OPStack的四个主要组成部分」,OPSuccinct是OPStack的轻量级升级,允许链只使用经ZK验证的区块,而保持其他三个组件不变(op-geth、op-batcher和op-node),OPSuccinct主要由以下四个组成:

● 范围程序(RangeProgram):这是一个执行批次区块的程序,该程序由Rust编写,设计用于在zkVM中执行;

● 聚合程序(AggregationProgram.):聚合范围程序的证明,以降低链上验证成本,该程序也是用Rust编写的,设计用于在zkVM中执行;

● OPSuccinctL2OutputOracle.:一个包含L2状态输出数组的Solidity智能合约,其中每个输出都是对L2链状态的提交。该合约已存在于Optimism的原始系统中,但经过修改将验证证明作为身份验证机制;

● OPSuccinctProposer:观察L1上发布的交易批次,并控制范围程序和聚合程序的证明。2.2OPSuccinct讲述了一个怎样的Ethereum扩容叙事?

zkEVMRollup因深厚的密码学专业知识阻碍非常难以构建,OPLabs团队构建模块化的OPStack时已考虑到支持各种有效性机制的证明,并开源开发了Kona(见扩展链接1)以通过Rust来实现OPStackRollup下的状态转换函数STF(交易状态转换的函数逻辑),并最终借助Kona和SP1程序来生成OPStack的零知识证明(ZKP),即理论上可将OPStack的所有链升级并可使用ZKP。

SP1(SuccinctProcessor1)的目标是使任何开发者都能无缝地使用标准Rust代码集成Type-1zkEVMrollup,并通过OPSuccinct完成仅在

1小时内无缝将任何现有的OPStack链升级为Type-1zkEVMrollup,并提供应用所需的高性能。以此获得以下优势:

● ZKP的快速确认:让证明延迟缩短至几十分钟,以「替换」长达7天的欺诈证明质疑期;

● 降本增效:每笔交易平均成本低至几分钱;

● 将OPStack切换至ZK:只需部署一个智能合约并启动一个轻量级的OPSuccinct提议服务(见下文)即可通过API调用生成证明(包括批处理器/排序器、op-node、索引器等内容);

● Type-1zkEVM:所有与OPStackRollup兼容的工具和智能合约都适用OPSuccinctRollup;

● 提升可扩展性:采用可定制的OPSuccinctrollup,可添加新的预编译并修改Rollup逻辑。

据官方GitHub介绍其过程只需安装Rust、Foundry和Docker,即可将现有任何的OPStackrollup升级到Type-1zkEVMrollup,并且流程仅简化为两步:1.部署ZKL2OutputOracle.sol合约;2.启动OPSuccinct提议服务(流程见GitHub扩展链接2)。

图源:Succinct博客,见扩展链接4附录说明三、OPSuccinct能否成为OPStack对抗ZKStack的杀手锏?

图源作者:@jtguibas

如果Ethereum的扩展方案短期看OP长期看ZK,在我们假设OPSuccinct能够成功的前提下它将被视为Ethereum发展路线的一个重要里程碑。OPSuccinct为ETHRollups从乐观验证转换为零知识证明提供了可升级路径,这不仅降低了交易成本,更提高了交易速度,还保留了ZKrollups安全性和匿名性的属性,为将来应用层的爆发带来了新的可能性。

在公认的Layer2四大天王中,现阶段从项目生态发展看来OPStack已略优于ZKStack,未来马太效应可能会进一步显现,随着OPSuccinct的加入,一定程度上也虹吸了ZKStack的流量和潜力,如果OPSuccinct未来能得以实现,也可能会对传统的zkEVM的Rollup造成一定冲击。

但据现阶段公开表述的内容,我们从OPSuccinct的运行逻辑中不难发现,如何确保开发者在修改STF函数或添加新的预编译函数时及时发现未知漏洞所引发的系统性风险,这需要我们保持长期关注。

Copyright © 2021.Company 元宇宙YITB.COM All rights reserved.元宇宙YITB.COM