OP Rollup挑戰鮮少發生，「樂觀假設」是對的？

為啥 OP-Rollup 很少有挑戰案例發生？若不挑戰任由 Sequencer 作惡會發生啥？OP Stack 是另一種彌補舉措嗎？Arbitrum 的 BOLD 能發揮多大作用？讀完這篇，你或許會對 OP-Rollup 有更深刻的理解。

撰文：Haotain

都知道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 提交證據，包括過去每一步的狀態變更，函數調用，參數等執行細節；

4）若挑戰者不認同這次的證據，需要繼續質押資產，繼續挑戰，但每次都要消耗成本；

5）第三方Chain watcher 全程監控挑戰過程中提交的證據，給予一定的參考，判斷哪一個是誠實的一方，最後由edgeChallengeManage 合約決斷誰輸誰贏。

這個Bold 挑戰模式若真實應用的話，會是個不錯的方案，但大家側面思考一下，挑戰者為啥要燒錢挑戰，官方有說挑戰成功的激勵回報了嗎？激勵定的很大，定會有人不惜一切代價挑戰，激勵定的太小，賺得還不如罰款代價高，挑戰有啥意義。所以在我看來，即使將來BOLD 挑戰機製上線也如同一次次的軍事演練，實際影響也有限，大家看看就好。

試想，即使挑戰成功了又怎樣？ 7 天挑戰期內，若挑戰者成功，L2 悄悄執行一次硬分叉，誰能感知？又甚至，透過升級主網Rollup 合約來調整下網路狀態又何妨？

所以，OP-Rollup 的挑戰與否對layer2 選手們的影響並沒有那麼大，大的隻是OP-Rollup 在大家心目中的信任度和共識。

聯系郵箱：0xniumao@gmail.com