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

OP Stack 的演进:OP Succinct 释放 ZK Rollup 潜力

  • 2024年9月26日 18:24

作者:YBBCapital研究员Ac-CoreTLDR

OPSuccinct的主要功能是将ZKP集成到OPStack的模块化架构中,将OPStackRollups转换为经过完全验证的ZKRollups。

如果Ethereum未来的扩展解决方案是将所有Rollups转换为ZKRollups,那么OPSuccinct旨在利用Rust和SP1在OPStack中部署Type-1zkEVM(完全与Ethereum等效)。

OPSuccinctProposer并行实现证明生成,以及证明聚合和验证。

现有的OPStack系统依赖于“7天防欺诈窗口”,如果发生争议,会导致交易延迟。OPSuccinct通过使用ZK证明缩短了交易完成时间,从而无需延长防欺诈窗口。

OPSuccinct可以大大降低交易成本。1、近期回顾:OP主网更新以及OPStack与OPLabs之间的关系

UJaKbG6C4SoygLC5ZlPcOlAf26KuHBw3dI6G2HaN.png

2.1OPSuccinct架构组件

OPSuccinct是基于1.2节中概述的OPStack组件构建的,是对OPStack的轻量级升级,允许链使用ZK验证的区块,同时保持其他组件(op-geth、op-batcher和op-node)不变。OPSuccinct由以下四个主要组件组成:

Range程序:处理批处理块的程序,用Rust编写,设计用于在zkVM内运行。

Aggregation程序:聚合来自Range程序的证明以降低链上验证成本,也是用Rust编写的,设计用于在zkVM中运行。

OPSuccinctL2输出预言机:一个Solidity智能合约,包含一个L2状态输出数组,每个输出都提交到L2链的状态。此合约存在于原始Optimism系统中,但已被修改为使用证明验证作为身份验证机制。

OPSuccinct提议者:观察在L1上发布的交易批次并管理Range和聚合程序的证明生成。2.2OPSuccinct如何融入Ethereum扩展叙事?

由于需要大量的密码学专业知识,构建zkEVMRollups一直具有挑战性。当OPLabs开发模块化OPStack时,他们预计会支持各种证明机制。为此,他们开源了Kona的开发,使用Rust实现OPStackRollups的STF,最终通过Kona和SP1程序为OPStack生成零知识证明(ZKP)。这意味着,理论上,任何OPStack链都可以升级为使用ZKP。

SP1(SuccinctProcessor1)的目标是让开发者能够使用标准Rust代码无缝集成Type-1zkEVMrollup。借助OPSuccinct,任何现有OPStack链升级到Type-1zkEVMrollup的过程可以在一小时内完成,具有以下优势:

快速ZKP确认:将证明延迟减少到几分钟,取代7天的防欺诈争议窗口。

成本效率:平均交易成本降低至仅几美分。

切换OPStack为ZK:通过部署智能合约,启动轻量级OPSuccinct提案服务,可通过API调用生成证明(包括批处理/序列器、op-node、索引器等)。

Type-1zkEVM:所有与OPStackRollups兼容的工具和智能合约都与OPSuccinctRollups兼容。

提高了可扩展性:可定制的OPSuccinctRollup可以根据需要添加新的预编译并修改Rollup逻辑。

根据GitHub官方文档,该过程仅需要安装Rust、Foundry和Docker,即可将任何现有的OPStackrollup升级为Type-1zkEVMrollup。简化的流程涉及两个步骤:

部署ZKL2OutputOracle.sol合约。

启动OPSuccinct提议服务(详细步骤参考GitHub扩展链接2)。

KzjLKcOwCzb8tIXHJsOOg95hjYe8rY5xtzVtiAEW.png

3、OPSuccinct能否成为OPStack对抗ZKStack的王牌?

图片来源:@jtguibas

如果Ethereum的扩容方案短期看是OP,长期看是ZK,那么OPSuccinct的潜在成功可能标志着Ethereum发展道路上的一个重要里程碑。OPSuccinct为ETHRollups从乐观验证过渡到零知识证明(ZKP)提供了一条可升级的途径。这种转变不仅降低了交易成本,还提高了交易速度,同时保留了ZKRollups的安全和隐私属性,为未来的应用层扩展开辟了新的可能性。

在公认的四大Layer2方案中,目前看来OPStack在生态建设上略胜ZKStack,未来马太效应或许会更加明显,OPSuccinct的加入可能会分走ZKStack的部分流量和潜力,如果OPSuccinct成功,甚至可能对传统的基于zkEVM的Rollups构成挑战。

然而,从目前提出的操作逻辑来看,一个关键问题浮现出来:开发人员如何确保及时检测到由修改状态转换函数(STF)或添加新的预编译时未知漏洞引起的系统范围风险?这是一个值得长期关注的领域。

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