OP Rollup挑战很少见,这个“乐观假设”是否正确?

'OP Rollup挑战罕见,乐观假设正确吗?'

了解OP-Rollup:挑战与信任的平衡

撰文:Haotain

众所周知,OP-Rollup有7天的挑战期。问题是,至今还没有发生过有效的“战斗测试”,我们只是假设乐观,但没想到它却真的“乐观”了?

为什么OP-Rollup很少有挑战案例发生?如果不发生挑战,允许Sequencer作恶会有什么后果?OP Stack是否能够弥补这个问题?Arbitrum的BOLD能发挥怎样的作用?通过阅读本文,你或许对OP-Rollup会有更深刻的理解。

简单来说,Layer2链会将大量交易批量提交到主网,在经过验证阶段时,主网才会改变状态。目前OP-Rollup采用的验证方式是欺诈证明,即Layer2链的任何验证节点都可以发起挑战并提出质疑。在7天的时间内,如果挑战成功,主网将拒绝上一次状态的改变,Layer2链需要重新打包并提交新的状态声明。如果挑战失败,挑战者所质押的资产将被罚没。

这种先提交后挑战的模式非常合理,毕竟Layer2的目标是提高效率。然而,挑战不太可能总是发生,即使发生较少也说得过去,但如果没有挑战,让人百分百相信Layer2链不会作恶就有点不合常理了。

目前,Optimism并没有引入挑战机制。如果你问,他们会告诉你这一功能正在开发中,目前是否真的在开发中我们不得而知。但如果他们的Sequencer是中心化的,当前确实没有太大的必要引入挑战机制。难道他们要自扇耳光以表示对主网的忠诚吗?Arbitrum则通过自己的内测挑战机制BOLD,尝试将挑战的对象从受许可变为无需许可,为Sequencer的去中心化铺路。

因为挑战机制实际上是自我纠错机制,一旦发生挑战,轻则延迟网络运转,重则引发宕机。因此,不会主动鼓励产生挑战。如果挑战激励机制设计不合理,可能会面临一些恶意节点不惜重金发起挑战,其目的就是让网络宕机。在挑战机制的设计问题上,OP-Rollup的参赛选手们都非常谨慎。

那么,如果没有挑战会发生什么?举个简单例子:Layer2可以在Sequencer中构造一笔虚假转账交易,然后由验证节点通过,主网确认后,这笔虚假的转账就会在主网上合法提取。可以想象,这对Layer2网络是多么的打击。

现在,中心化的Sequencer就不用担心这个问题了,很简单,左手倒右手把自己的资产转走是没有意义的。但万一Sequencer去中心化呢?只要出现一个节点窃贼,这个问题就无法避免。

Optimism的剧情是:由于担心遭受恶意挑战,Sequencer必须是中心化的;因为Sequencer是中心化的,所以不需要挑战。嗯,这个解释似乎说得很有道理。

但这个故事显然不够吸引人。因此,Optimism选择了OP Stack的软分布式方式来解决Sequencer的中心化问题。因为假设有一天,SuperChain大家庭组建起来了,OP Stack大家庭在Sequencer的治理决策中各占一席,共同参与治理和决策。这岂不也是一种对单点中心化风险的制衡?目前来看,Optimism在推进OP Stack的速度相当快,至少比那些仍处于开发中的挑战机制要快…

相比之下,Arbitrum的剧本则相对实诚一些。既然大家都希望看到挑战模式的发生,Arbitrum就设计了一种挑战模式,正在内测中的BOLD就是在做这个事情。我研究清楚了BOLD的复杂运作机制,摘取了其中的精髓并加以简化,下面与大家分享一下:

  1. Layer2向主网Rollup合约发布状态声明;
  2. Challenge Manager质疑这个声明并发起挑战;
  3. 每次发起挑战需要质押一笔资产,然后被挑战者可以向Edge Tracker提交证据,包括过去的每一步状态变更、函数调用、参数等执行细节;
  4. 如果挑战者不认同这些证据,需要继续质押资产并继续挑战,但每次挑战都需要付出成本;
  5. 第三方的Chain Watcher会全程监控挑战过程中提交的证据,并提供一定的参考,判断哪一方是诚实的。最后,由EdgeChallengeManager合约决定谁输谁赢。

如果这种BOLD挑战模式真正应用,会是一个不错的方案。但大家不妨从另一个角度思考,为什么挑战者要花钱去挑战?官方有提到成功挑战的激励回报吗?激励设定得很高,一定会有人不惜一切代价去挑战;激励设定得太低,挣的钱甚至比罚款还少,那挑战还有什么意义呢?因此,在我看来,即使将来BOLD挑战机制上线,也只是象征性的军事演习,实际影响有限,大家看看就好。

试想一下,即使挑战成功了又怎样?在7天的挑战期内,如果挑战者成功,Layer2悄悄地进行一次硬分叉,谁会察觉到?又或者,通过升级主网Rollup合约来调整网络状态,又有什么关系呢?

因此,OP-Rollup的挑战与否对Layer2选手们的影响并不是很大,真正重要的是OP-Rollup在大家心目中的信任度和共识。

image