Optimism資金提現到以太坊主網 為何要經歷7天挑戰期？_IMI

原文作者：yyy

昨晚 Coinbase 宣布入場做了一條基于 OP Stack 的 L2——@BuildOnBase, 一時間「Bullish on Optimism」的情緒又再度被點燃。借此契機，這條推文來聊一聊 Optimism 的挑戰期。

眾所周知的是，Optimism 二層資金提現到以太坊主網，要經歷 7 天的挑戰期。

那為什么偏偏是 7 天呢？ 3 天？ 5 天不行嗎？

回答這個問題之前，我們先來了解下為什么要設挑戰期。

Rollups 通過將執行層從以太坊分離的方式，提高以太坊主網的性能。也即意味著交易是在二層執行的，但為了繼承以太坊主網的安全性，二層發生的交易要在主網驗證。

Optimism：RetroPGF第2輪投票開始，將分配1000萬枚OP代幣:3月10日消息，以太坊L2網絡Optimism在社交媒體宣布，第二輪追溯性公共產品募資（RetroPGF 2）投票已開始，RetroPGF 2將分配1000萬枚OP代幣來資助支持OP Stack開源代碼庫開發和使用的公共產品，已被提名的項目將分為三類，包括：基礎設施、工具和實用程序、交易。Optimism還推出了RetroPGF 2 Discovery頁面，允許用戶了解有關本輪提名項目的更多信息。追溯性公共產品資金是Optimism生態系統和超級鏈發展的關鍵，通過投資可謂社區提供動力的公共產品，將Optimism打造成全球基礎設施。第二輪的投票將在接下來的兩周內由71名社區徽章持有者進行。獲獎者將于3月底投票結束后公布。

此前去年12月消息，Optimism宣布將在RetroPGF 2中分發1000萬枚OP代幣資助項目和開發者。[2023/3/10 12:53:47]

簡單來講，以太坊主網要確認定序器提交上來的交易的的確確在二層發生，即交易的有效性。

去中心化交易平臺 Clipper 現已擴展至 Optimism:2月15日消息，去中心化交易平臺 Clipper 官方宣布網絡現已擴展至 Optimism，Clipper 用戶可以更低的成本和更快的速度處理交易。為集成到Optimism，Clipper 編寫了使用壓縮調用數據的自定義方法，這將 Clipper 交易成本降低了約 50%。此外，Clipper 將為 Optimism 流動性提供者推出新的 CLP。[2022/2/15 9:52:33]

Rollup 因驗證交易有效性方式的不同分為 zk-Rollup 和 Optimistic Rollup.

驗證方式主要分類兩大類：零知識證明和欺詐證明。在零知識證明機制下，交易具有接近即時的最終性。

以太坊二層擴容解決方案Optimism完成EVM等效性升級:11月12日消息，以太坊二層擴容解決方案Optimism宣布完成EVM（以太坊虛擬機）等效性升級。EVM等效性會與EVM規范完全一致而不是僅僅兼容，可以簡化開發者的開發過程以及降低交易費用。

Optimism已于11月11日將OVM2.0更改合并至其主要分支中，其他OVM2.0版本重大改進包括：源代碼未經Etherscan驗證的合約將連同其存儲一起被清除，源代碼已被驗證的合約將用標準的Solidity編譯器重新編譯，EOA將不再是合約錢包等。[2021/11/12 6:48:00]

而基于欺詐證明的 ORUs, 交易的最終性取決于挑戰期的長短，這也就解釋了為什么 Optimism 資金從二層提現到主網需要 7 天。

以太坊域名服務ENS展示基于Optimism的二層MVP版本:以太坊域名服務ENS的首席開發者NickJohnson在ENS研討會上演示了由Layer2支持的第一個ENS的最小化可行產品（MVP），展示了如何在Optimism上解析ENS域名。這次端到端的演示是首次使用二層解決方案解析ENS名稱的實例，展示了一層的應用和不同的二層解決方案之間進行無信任通信的全新系統。該系統基于VitalikButerin的想法，使用戶能夠將記錄存至L2上，支持對ENS數據更新，而無需支付以太坊Gas。NickJohnson表示之后會繼續開發構建支持ENS和其他項目的標準版本。[2021/4/8 19:57:53]

ORUs 機制下，樂觀地認為由定序器提交上來的 Rollup 交易都是有效的。然后在挑戰期內，驗證者如果發現無效交易，可以發起欺詐證明。

如果挑戰期過后都沒有人挑戰的話，就默認這筆交易是有效的，此時交易具有最終性。

但挑戰期真的需要 7 天這么長時間嗎？我們先把整個挑戰流程簡化：驗證者通過重構狀態根發現無效交易，于是發出欺詐證明。這一系列動作需要時間，也就意味著挑戰期不能是 0.

我們假設上述挑戰流程很迅速， 10 個區塊完成 ( 大概 2 分鐘 )。

當然不可能會有這么快的響應，那我們再把時間放慢 10 倍， 100 個區塊 ( 大概 20 分鐘 )，這個時間也要遠遠小于 50400 個區塊 ( 7 天 )。

上述探討是基于最理想的情況，那如果網絡中有人作惡呢？需要多長的時間才能發現作惡行為？

或者換種說法，至少需要延長多久的挑戰期才能杜絕作惡行為？這里所指的作惡行為是，通過發布大量的交易在一段時間內使 gas 飆升，從而阻止欺詐證明被驗證者接收。

這里我們再做一個假設，假設 Optimism 上有 20 億美元的風險敞口，作惡者每個區塊愿意拿出 100 萬美元的 gas 小費 (priority fees) 來「搶跑」包含欺詐證明的交易。

那么，最多可以「挾持」網絡的時間為 2000 個區塊 ( 6.67 小時 )。當然，前面所舉的例子都是基于一些非常簡單粗陋的假設。

似乎無論從什么層面上看，挑戰期也無需 7 天這么長的時間。很難能去想明白挑戰期的長短跟安全性到底存在著怎樣的非線性關系。

或許 7 對于 Optimism 創始人來講是個非常有意義的數字吧，就像比特幣 4 年減半周期大家猜想中本聰是個足球愛好者一樣。

所以，能否在不降低安全性的情況下把 ORUs 的挑戰期縮短至 3-5 天？可以，但對用戶體驗而言沒太大優化。

那挑戰期縮短至 1-2 天呢？能夠有效優化用戶體驗的說法似乎可以 make sense.

@0x Mantle, BitDAO 孵化的一個 ORU, 可以將挑戰期縮短至 1-2 天。挑戰期的優化邏輯基于 MPC 方案。

簡單來講，就是定序器不直接把交易批次提交到以太坊，而是先提交給 MPC 網絡，由 MPC 節點共同簽署，確認交易有效后再提交給以太坊。

因此，核心不同點是：

Optimism 把包含狀態根的 batch 作為執行結果提交到以太坊；

而 Mantle 把包含由 MPC 節點聯合簽署狀態根的 batch 作為執行結果提交到以太坊。

目的是為了降低 Rollup 執行結果的信任風險。

但 MPC 驗證歸根結底還是鏈下的驗證方案，聊勝于無，對用戶來講算多了一個心理安慰。

打個不太恰當的比喻，MPC 驗證方案就像是偏中心化的 zk 方案，前者安全性基于經濟假設，后者基于密碼學驗證。

以上就是關于 ORUs 挑戰期的一些思考和探討，沒有太強的邏輯性，權當拋磚引玉。BTW, 還是非常期待未來能看到挑戰期顯著縮短的 ORUs ( 分時級別 )。

yyy

個人專欄

閱讀更多

金色早8點

金色財經

Odaily星球日報

歐科云鏈

Arcane Labs

深潮TechFlow

MarsBit

澎湃新聞

BTCStudy

鏈得得

Tags：IMIOPTITIMPTINoLimitCoinOption PandatimeassetscoinOPTIG幣

酷幣交易所