原文：《ForesightVentures:第二代OptimisticRollup》撰文：msfew@ForesightVentures
最近zkEVMRollup以及整个ZK生态的热度确实非常高(DevconBogota基本是ZK+MEV+其他),以至于大多数以太坊研究者或多或少忽视了OptimisticRollup的发展,以及在第二代中这些有趣的设计细节。
为什么还需要看OptimisticRollup?
a)OP还是ZK？
尽管Vitalik早在几年前就认定了zkEVMRollup是未来,同时各家zkEVM(Scroll,zkSync,Hermez,Consensys)也如雨后春笋一般冒出来,但OptimisticRollup仍是目前Rollup生态的绝对主力,拥有80%Layer2的市场占有率以及前十Layer2方案的半壁江山。
zkEVMRollup的终局性扩容方案的存在，会让OptimisticRollup完全被淘汰吗？
Grayscale首席法务官：SEC应批准所有现货比特币ETF申请:金色财经报道，Grayscale首席法务官Craig Salm发布公开信称，Grayscale法律团队向GBTC待决的19b-4申请以及其他七个现货比特币ETF文件提交了一封评论信，其中包括新的-拟议的监督共享协议（SSA），这是为了说明为何SEC应批准所有现货比特币ETF申请。
Craig Salm写道：我们仍然对现货比特币ETF申请的增长势头感到鼓舞。这不仅凸显了比特币现货市场的持续成熟，而且也强化了我们长期以来的信念，即美国投资者应该能够在美国购买现货比特币ETF。
评论信中有几个要点值得重点关注：首先， 正如在诉讼中所阐明的，SEC已经能够在之前批准比特币期货 ETF 的基础上批准现货比特币 ETF。比特币的现货和期货市场有着千丝万缕的联系（第三方研究表明相关性高达 99%）。这意味着对CME比特币期货市场的监管--一个受美国商品期货交易委员会 (CFTC) 监管的规模较大的市场，也是市场间监管集团 (Intermarket Surveillance Group) 的成员，该集团是一个共享市场监管的全球交易所网络，应足以防止基础现货比特币市场中潜在的欺诈或操纵。
其次，SEC与比特币ETF相关的行动应该以公平有序的方式进行。作为一个以信息披露为基础的监管机构，SEC 不应该挑选赢家和输家；相反，美国证券交易委员会应继续一致、公平地向发行人提供反馈或指导。
最终，这是为了确保美国投资者受到保护并能够选择他们喜欢的比特币投资工具。全美50个州有近100万投资者拥有GBTC，GBTC转换为ETF将为这些投资者带来数十亿美元的回报。当SEC准备好批准现货比特币ETF申请时，根本没有理由阻止GBTC投资者购买他们应得的现货比特币ETF，我们将继续代表投资者倡导这一提议。[2023/7/28 16:03:19]
OptimisticRollup和zkEVMRollup并非水火不容的存在,而是在长期内(甚至永久性的时间内)会是互补的方案。
Jason Yanowitz：对加密货币中心化金融巨头的持续攻击让他开始思考加密货币行业目前的角色:金色财经报道，Bell Curve 播客联合主持人Jason Yanowitz表示，对加密货币中心化金融巨头的持续攻击让他开始思考加密货币行业目前的角色，以及它们与传统金融的不一致之处。本质上，加密市场中存在三个群体，它们在某些方面与传统市场结构平行，但在目的和功能上混淆地混合在一起或重叠。在加密货币的中心化金融世界中，本身不存在经纪自营商，因为用户的资产直接存放在 Coinbase 等平台上。然后结算有时是在 Coinbase 上，但有时只是在L1上，比如在ETH上。[2023/6/12 21:30:31]
对于App-rollup来说,Optimistic机制在开发与部署上仍然是最简洁易用的方案。
b)OP和ZK未成熟
OptimisticRollup的开发进度领先zkEVMRollup两年左右。但我们OptimisticRollup的标杆Arbitrum与Optimism都没有在主网完全上线开放的正式版FraudProof。
据Vitalik所说,以太坊基金会PSE的zkEVM电路有34469行代码。这庞大的代码量需要非常漫长的开发和持续的测试来进行打磨。我们在几年内都无法完全依赖ZK系统所带来的安全性。
c)OP+ZK
早在半年以前，Optimism的Kelvin就开始在推特上频繁地讨论Optimism结合zkVM的可行性。
NFT市场Tabi完成1000万美元融资:5月29日消息，BNB Chain上NFT市场Tabi (过去名为Treasureland)完成1000万美元天使轮 融资，参投方包括Animoca Brands、Binance Labs、Draper Dragon、HashKey Capital、Infinity Crypto Ventures和YoubiCapital,个人投资者包括冯波(Dragonfly)、Riyad AD (Saudi Arabia) 以及Suji Yan (Mask Network)。本轮融资将用于开发Tabi的游戏生态系统和即将推出的链上身份协议。[2023/5/29 9:49:16]
他说Optimism的Bedrock不会只是OptimisticRollup的客户端,而是Rollup客户端。为了完全保证Rollup的整体安全性,客户端(或许和Arbitrum最近的收购有关系?)与证明的多样性(ValidityProof与FraudProof)才是Rollup真正的未来。
Vitalik则完善了Kelvin的方案,认为可以通过(OP+ZK)+Governance的2+1组合来实现可靠的Rollup。
美国SEC提案可能禁止投资顾问在加密公司托管资产:2月15日消息，美国证券交易委员会（SEC）将提出一项规则，该规则将有效地要求注册投资顾问在加密货币行业之外存储数字资产。定于周三由美国SEC提出的规则将扩大该机构的现有规定，即投资顾问需要将客户的资金和证券交给“合格的托管人”保管。新版本如果获得批准，将增加对投资顾问委托的任何资产（包括加密货币）的保护要求。
目前，加密货币交易和借贷平台通常会为加密货币客户提供托管服务，但根据该规则，他们不是“合格托管人”。根据SEC的规定，适当的托管人通常是指特许银行或信托公司、在SEC注册的经纪自营商或在商品期货交易委员会 (CFTC) 注册的期货佣金商。
SEC的提案还表示，合格的托管人将接受独立审计、定期披露，并且需要将客户资产隔离到客户身份下的账户。（CoinDesk）[2023/2/15 12:09:01]
在zkEVM完全稳定和成熟前,工作流程如下:
发布区块
等待24小时
a)如果期间没有欺诈挑战,发布ZKP,完全Finalize区块。b)如果有挑战,则引入Governance通过2of3的模型来裁定最终结果。
在zkEVM稳定与成熟后:
发布区块
定期发布ZKP。
a)如果ZKP在指定期间正常发布,则依其为准。b)如果ZKP并未在期间正常发布(Proverfailure或有bug),则先引入Optimistic机制,直到ZK机制恢复。
美前检察官：监管机构通过SBF被捕向加密行业“传递信息”:金色财经报道，美国司法部证券和商品欺诈部门前检察官Renato Mariotti表示，FTX前首席执行官SBF的被捕为美国政府监管机构提供了一种向加密行业“发送信息”的方式。Mariotti谈到SBF的一系列媒体露面时说“从司法部的角度来看，SBF正在传播错误信息，并导致监管机构对监管市场缺乏信心。”Mariotti表示，SBF很可能会被当作加密行业需要更多监管的原因。加密行业可能会在短期内面临来自美国证券交易委员会(SEC)的“大量执法行动”。（CoinDesk）[2022/12/16 21:47:48]
这两种方案都需要Optimistic机制的存在,从而保证整个Rollup系统的liveness和safety。
因此Optimistic机制的发展仍然是Rollup宇宙版图中的重头戏。
1.第二代OptimisticRollup
第二代OptimisticRollup一词源于ArbitrumNitro的白皮书标题。略早与Nitro发布的OptimismBedrock也算是第二代OptimisticRollup。
两者的整体差异其实不大(如果你读Arbitrum和Optimism的blog,甚至会觉得是不是一样的),本质上都是与自己的一个新的majorrelease。第二代与第一代的差别也无外乎是如下优化:
开发者体验:更强的EVM等效性和兼容性,L1互操作性…
用户体验:更高的吞吐量,更低的gas…
但是在设计细节上仍然有取舍的不同,我们可以在这些差异上看到Arbitrum与Optimism在构建下一代OptimisticRollup上的推敲。
第二代OptimisticRollup设计选型对比
Arbitrum与Optimism的开发人员分别对两者的架构进行了比较和对比,这里我们就仅讨论与用户或应用开发者有关的点:
a)区块时间
区块时间设计的选择主要是两种:固定时间或者可变时间。可以理解成PoS和PoW的以太坊的区别。
Optimism:固定时间(2秒)
固定时间可以保证使用区块(block.number)来作为时间戳的合约的稳定性,比如Sushiswap的Masterchef合约。这些合约不用时间戳可能是考虑到矿工对时间戳有控制权(算是Selfishmining或者MEV？)。
第一代的Optimism采用了可变时间+1tx/block的设计,因此由于时间计算的问题,Stargate的奖励发放就出现了一些问题。
对于1tx/block的老设计,Optimism认为由于区块头的存在,存储链的开销太大了,除此之外状态根也需要频繁更新,成本过高。
Arbitrum:可变时间
可变时间设计主要是为了减小tx确认的延迟。目前一秒最多可以创建4个区块,如果没有tx则跳过,因此是可变时间。
对于以block。number进行计时的合约,Arbitrum上block。number会直接返回以太坊的区块编号,因此不会有稳定性和适配上的问题。除此之外Arbitrum也提供了相应的预编译来提供L2的区块编号。
b)Geth的定位
Geth是以太坊的执行客户端,占据了约80%的节点总量。
Optimism:作为独立引擎
将Geth作为独立执行引擎,而非库处理。好处就是可以完全重用之前的基础设施,同时可以无缝切换到其他执行客户端。
Arbitrum:作为库
由于Arbitrum有更多的L2特定状态,例如L1和L2的gas定价,以及retryableticket,因此将Geth作为库处理,使用hooks进行调用。
c)L1-L2消息inclusion延迟
Optimism:~2分钟
Bedrock的延迟是几个L1块的长度,最坏的情况是延迟十分钟。
Bedrock的架构更像一个L1,极端情况下可以通过reorg自己来应对L1的reorg。
超过10分钟没被L2包含的tx就直接被判定为无效了。
Arbitrum:10分钟
Nitro延迟十分钟处理,如果超过十分钟,可以通过L1调用来强制包含tx。
Nitro的目标是为了用户体验,让L2永远不需要reorg。
两者都是在不同角度对用户体验进行了取舍。
d)L1-L2消息重试机制
消息重试机制主要就是为了解决L1-L2跨链过程中,L1确认了,L2失败的问题。
Optimism:合约中实现
开发者可以参考L1OptimismPortal的实现,或者在合约内定义自己的重试机制。
Arbitrum:节点中实现
重试机制在ArbOS节点中实现。
e)L2费用算法
L2的gas计算基本上就是L2executiongas+L1calldatacost。
Optimism:重用EIP-1559
好处就是钱包和其他基础设施可以无缝接入。
Optimism对L2gas的计算基本上是将L2executiongas的成本压到了最低(99%都是calldatacost)。
Arbitrum:使用定制系统
由于之前提到的可变区块时间设计,因此gas定价更加复杂,所以没有采用EIP-1559。
f)L1费用算法
Optimism:
L1gas水平到L2的传输几乎是即时的。目前Sequencer的收益基本完全来源于L1gas费用的乘数,EIP-4844后,它们的收入会来自MEV。
未来会通过L1-L2的消息传递来传输这部分数据,从而保证安全性(成为协议一部分,且可被挑战)。
Arbitrum:
Arbitrum的L1费用算法通过L1gas的平均值来收取费用,且通过自己的控制系统来从实际支付的费用中来获取反馈,从而保证L1gas收取和支出的稳定。
整体策略中也包括,为了避免Sequencer过度收费,因此在gas价格低时才发布batch。
除此之外,两者也探讨了很多具体架构和技术细节上的区别,但内容过于domain-specific且与用户和应用开发者无关,因此大家可以自行观看。
3.Rollup的未来依然是Optimistic的
最近zkEVMRollup以及整个ZK生态的热度确实非常高(DevconBogota基本是ZK+MEV+其他),以至于大多数以太坊研究者或多或少忽视了OptimisticRollup的发展,以及在第二代中这些有趣的设计细节。
Optimistic作为Rollup的领头部队,正在L2UX和DX上进行试验性的开拓和开创性的创新。它们所做的可以为zkEVMRollup铺好地基。
在未来两到三年,甚至更长的时间内,zkEVMRollup完全可用之前,Rollup的主导地位仍会是由Optimistic占据,且80%的新Rollup(App-rollup)则会采用更为成熟和可用的Optimistic机制。
即使是在长期zkEVMRollup成熟后,为了Rollup的整体liveness和safety,Optimistic依旧会是整个系统中的重要基石。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。