Optimism 資金提現到以太坊主網，為何需要 7 天挑戰期？_OPT:MIS

作者：@yyy

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

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

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

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

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

O(1) Labs和RISC Zero提出在Optimism上??添加兩項 zk-proofs 的提案:7月21日消息，O(1) Labs 和 RISC Zero 的兩項提案正在 Optimism 推進，以向 OP 鏈添加 zk-proofs。這些提交是為了響應旨在實現安全高效的跨鏈通信的提案請求。Optimism 基金會正在直接聯系 O(1) 實驗室和 RISC Zero，以“啟動該項目并更詳細地討論期望”。

據悉，Zk-proof 基礎設施和工具公司 RISC Zero 建議升級 Optimism 現有的故障協議，使用零知識證明來確保 Optimism 上狀態更改的正確性，減少實現最終確定的時間。孵化 Mina 協議的 O(1) Labs 提議使用 Kimchi（Mina 協議目前使用的 zk 證明系統）創建一種新的防錯解決方案，以有效地證明交易的正確執行。然后，這些證明用于通過智能合約更新以太坊網絡的狀態。[2023/7/22 15:51:32]

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

觀點：模因幣熱潮減弱導致Optimism網絡活動下降:金色財經報道，根據Artemis的數據，繼4月和5月的模因幣熱潮導致Optimism（OP）的每日活躍地址數量激增59%后，L2網絡的網絡活動自6月中旬以來開始下降。在OP主網上，自6月15日以來，每日發送鏈上交易的唯一錢包地址數量呈下降趨勢，7月2日記錄的每日活躍地址數量為81,480個，此后在過去19天內下降了45%，過去5天OP主網的每日交易量下降了22%。

此外，Optimism的去中心化交易所（DEX）完成的每日鏈上交易總量在6月30日有所下降，上周累計造成了59%的下跌。盡管過去7天DEX活動有所下降，但Optimism網絡中鎖定的資產總價值(TVL)同期卻大幅上漲，截至發稿時，該網絡的TVL自6月29日以來增長了10%。[2023/7/5 22:18:32]

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

Synapse Protocol在Optimism上推出 nUSD/USDC 穩定幣池:金色財經消息，跨鏈流動性協議 Synapse Protocol 在以太坊 Layer2 擴容方案 Optimism 上推出 nUSD/USDC 穩定幣池，旨在幫助用戶用戶將 USDC 連接進出 Optimism。[2022/4/21 14:37:52]

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

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

基于Solana的期權交易平臺PsyOptions已收購Tap Finance New:金色財經報道，基于 Solana 的期權交易平臺 PsyOptions 已收購 Tap Finance，以將結構化投資產品添加到其陣容中。核心貢獻者Tommy Johnson表示，PsyOptions 通過代幣和現金完成了收購，但他拒絕透露總金額。這筆交易將進一步推動 PsyOptions 成為提供全方位服務的加密期權平臺，它已經托管了“美式期權”（交易者可以在到期前執行），還將集成 Tap 的去中心化期權庫（Decentralized Options Vault：DOV），DOV 為用戶提供了復雜的期權交易策略，目前專注于 BTC、ETH、SOL 和少數其他代幣。根據交易條款，Tap Finance 將更名為 PsyFinance。(ambcrypto)[2022/2/2 9:26:45]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

因此，核心不同點是：

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

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

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

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

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

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

Tags：OPTOPTIPTIMISoptimus幣最新消息optimus幣總量UTEMIS

SOL