为什么OP Rollup很少有挑战发生?

简单来说,layer2 链会把大量交易 Batch 给主网,主网确定 L2 的交易经过 Validation 验证阶段后才会变更状态,目前 OP-Rollup 的验证方式 fraud-proof 欺诈证明,即 L2 链的任何 validators 可以发起挑战提出质疑,7 天时间内,若挑战者成功,主网会拒绝上一次状态变更,L2 需重新打包提交新 state 声明,若挑战者失败,则其质押的资产会被罚没。

都知道 OP-Rollup 有 7 天的 chanllege 挑战期,问题是至今都没有有效的 Battle-tested 发生,原先只是假定乐观,没想到它却真「乐观」了?

为啥 OP-Rollup 很少有挑战案例发生?若不挑战任由 Sequencer 作恶会发生啥?OP Stack 是另一种弥补举措吗?Arbitrum 的 BOLD 能发挥多大作用?读完这篇,你或许会对 OP-Rollup 有更深刻的理解。

简单来说,layer2 链会把大量交易 Batch 给主网,主网确定 L2 的交易经过 Validation 验证阶段后才会变更状态,目前 OP-Rollup 的验证方式 fraud-proof 欺诈证明,即 L2 链的任何 validators 可以发起挑战提出质疑,7 天时间内,若挑战者成功,主网会拒绝上一次状态变更,L2 需重新打包提交新 state 声明,若挑战者失败,则其质押的资产会被罚没。

这种先提交后挑战的模式很 Make Sense,毕竟 layer2 做扩展层的意义就是效率先行。然而,你总得真有「挑战」发生吧?哪怕挑战很少也说得过去,没有挑战,却让大家相信 L2 链百分百不会作恶着实有点不合常理。

现阶段,Optimism 并没有挑战机制,你去问的话,会告诉你 In Development,有没有真开发未可知,但若其 Sequencer 是中心化的,现阶段挑战确实没多大必要,难道要自扇耳光向主网表忠诚吗。Arbitrum 有自己的内测挑战机制 BOLD,在尝试将挑战对象从受许可变成 Permissionless 无许可,进而为 Sequencer 的去中心化铺路。

因为挑战机制其实是自我纠错机制,一次挑战发生轻则 delay 网络运转,重则诱发宕机,非万不得已是不会主动鼓励有挑战发生的。假使挑战激励机制设计的不合理,遇到一些恶意的节点不惜重金去挑战,目标就是让作恶让网络宕机,也完全有可能。所以,在挑战机制的设计问题上,OP-Rollup 赛道的 layer2 选手都会非常谨慎。

那么,若不挑战会发生啥?一个简单的例子:layer2 可以在 Sequencer 构造一笔虚假转账交易,然后 Validator 验证通过,主网确认后,这笔凭空产生的转账会在主网被合法提取,这对 layer2 网络的打击可想而知。

现在中心化 Sequencer 反倒不用担心这个问题,很简单,左手倒右手倒腾自己的资产没意义,但万一 Sequencer 去中心化后呢?其中任何一个节点窃贼出现,这个问题就再所难免。

某种程度上 Optimism 的剧本是,因为怕被恶意挑战所以 Sequencer 要中心化,因为 Sequencer 中心化所以不需要挑战,嗯,很有道理。

但这个故事显然不够 Pitching 吸引人。所以 Optimism 选择了 OP Stack 的软分布式方式来为其 Sequencer 中心化的问题圆场。因为若有一天,SuperChain 大家庭组建起来了,OP Stack 的大家庭在 Sequencer 治理决策席位各占一席,共同治理和决策,这不也是一种对单点中心化风险的制约吗?目前来看,Optimism 在推进 OP Stack 的速度蛮快的,至少比 in development 中的挑战者机制落地要快…

而 Arbitrum 的剧本就相对实诚一点了,既然大家都希望看到挑战模式发生,那 Arbitrum 就构造一套模式来,内测中的 Bold 就在做这个事情,我研究清楚了 Bold 的复杂运作机制,取其精髓简化分享下:

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

这个 Bold 挑战模式若真实应用的话,会是个不错的方案,但大家侧面思考一下,挑战者为啥要烧钱挑战,官方有说挑战成功的激励回报了吗?激励定的很大,定会有人不惜一切代价挑战,激励定的太小,赚得还不如罚款代价高,挑战有啥意义。所以在我看来,即使将来 BOLD 挑战机制上线也如同一次次的军事演练,实际影响也有限,大家看看就好。

试想,即使挑战成功了又怎样?7 天挑战期内,若挑战者成功,L2 悄悄执行一次硬分叉,谁能感知到?又甚至,通过升级主网 Rollup 合约来调整下网络状态又何妨?

所以,OP-Rollup 的挑战与否对 layer2 选手们的影响并没有那么大,大的只是 OP-Rollup 在大家心目中的信任度和共识。

为什么OP Rollup很少有挑战发生?

(声明:请读者严格遵守所在地法律法规,本文不代表任何投资建议)

(0)
上一篇 2023年9月21日 下午3:18
下一篇 2023年9月21日 下午3:59

相关推荐

  • Crypto交易所2022年度报告

    TokenInsight 作为 Crypto 行业中的评级和研究公司,我们也一直在追踪着币种和交易所的数据。我们总结了这一年以来交易所行业的数据表现情况,挑选了前十名的中心化交易所和去中心化交易所,希望通过数据的变化来了解清楚这一年的变化以及交易所市场竞争情况。

    2023年1月17日
    896
  • 深度解析AI + 区块链如何重新定义Web3?

    在Web2中,用户可以创建自己的内容,但这些数据和资产仍由平台掌控,Web3则将数据和资产归还给普通用户,普通用户可以创建、控制和交易他们自己的数据和资产,而不必依赖于中介机构或第三方机构。

    2023年3月4日
    578
  • Get stoned,Runestone暴涨是否标志着符文时代的开端?

    Ordinals OG、Ord.io 创始人 Leonidas,在 RSIC 的启发下,为了庆祝 Ordinals 技术的推出,通过对超过 112,383 个比特币地址进行空投,成为了迄今为止规模最大的 Bitcoin Ordinals 空投项目之一。

    2024年3月19日
    204

发表回复

登录后才能评论
微信

联系我们
邮箱:whylweb3@163.com
微信:gaoshuang613