作者:@yyy
Coinbase宣布入場做了一條基于OPStack的L2——@BuildOnBase,一時間「BullishonOptimism」的情緒又再度被點燃。借此契機,這條推文來聊一聊Optimism的挑戰期。
眾所周知的是,Optimism二層資金提現到以太坊主網,要經歷7天的挑戰期。
那為什么偏偏是7天呢?3天?5天不行嗎?
回答這個問題之前,我們先來了解下為什么要設挑戰期。
Rollups通過將執行層從以太坊分離的方式,提高以太坊主網的性能。也即意味著交易是在二層執行的,但為了繼承以太坊主網的安全性,二層發生的交易要在主網驗證。
Infura:昨日發生網絡中斷影響Optimism、Arbitrum和Base 等網絡,目前已解決該問題:8月3日消息,ConsenSys 旗下區塊鏈開發平臺 Infura 在社交平臺上表示,昨日 Infura 經歷了網絡中斷和更高的延遲,影響了所有網絡,其中 Optimism、Arbitrum 和 Base 都經歷過服務中斷,目前團隊已確定并解決了該問題。[2023/8/3 16:15:50]
簡單來講,以太坊主網要確認定序器提交上來的交易的的確確在二層發生,即交易的有效性。
Rollup因驗證交易有效性方式的不同分為zk-Rollup和OptimisticRollup。
OP Labs:Bedrock升級將為Optimism主網橋引入新的兩步取款流程,可提高安全性:3月23日消息,OP Labs在推特上表示,Bedrock升級將為Optimism主網橋引入一個新的兩步取款流程,這將提高其安全性并使攻擊更加困難。
L1 的新提款流程分為兩部分:證明和最終確定。要從Optimism主網提取資金,用戶必須在包含提款交易的L2區塊的輸出出現在L1上時立即提交取款證明。平均而言,此輸出需要大約一個小時才能出現在以太坊上。一旦提交了提現證明,用戶等待標準的7天結束窗口,然后用戶才能在L1上完成提現。[2023/3/23 13:22:03]
驗證方式主要分類兩大類:零知識證明和欺詐證明。在零知識證明機制下,交易具有接近即時的最終性。
ACCOINTING推出交易稅優化器Trading Tax Optimizer:12月24日消息,ACCOINTING宣布推出交易稅優化器Trading Tax Optimizer,用戶只需通過API或錢包地址連接至錢包和交易所,選擇納稅方式,定義想要使用的稅庫類型,最后使用時間軸預覽未來產生的應稅收益,達到優化人們稅收的目的。(globenewswire)[2021/12/24 8:01:19]
而基于欺詐證明的ORUs,交易的最終性取決于挑戰期的長短,這也就解釋了為什么Optimism資金從二層提現到主網需要7天。
ORUs機制下,樂觀地認為由定序器提交上來的Rollup交易都是有效的。然后在挑戰期內,驗證者如果發現無效交易,可以發起欺詐證明。
The Graph 與以太坊擴容方案 Optimistic 達成合作,將為開發者提供索引和查詢服務:官方消息,區塊鏈數據索引項目 The Graph 與以太坊擴容方案 Optimistic 達成合作,將為在 Optimistic 上開發應用的開發者提供以太坊連上數據索引和查詢服務,此外,開發者還將有機會通過 The Graph Foundation 獲得資助。The Graph 目前已支持超過 19 個基于 EVM 的以太坊擴容方案,包括 Polygon、Arbitrum 等。[2021/6/19 23:49:32]
如果挑戰期過后都沒有人挑戰的話,就默認這筆交易是有效的,此時交易具有最終性。
但挑戰期真的需要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(分時級別)。
Uniswap創始人HaydenAdams發推稱,“Polygon需要公開采取行動來解決其重組問題。昨天157個區塊重組和12月的120個區塊重組很糟糕,會破壞跨鏈橋、CEX等.
1900/1/1 0:00:00Reddit聯合創始人、SevenSevenSix領導者AlexisOhanian在接受福布斯采訪時表示,2022年在獲得RIA許可證后.
1900/1/1 0:00:00作者:Tiga,W3.HitchhikerTheBeacon游戲簡介 燈塔游戲玩法簡介 燈塔游戲是一款PVE游戲,玩家可以使用上下左右四個按鍵對角色進行異動,使用鼠標左右鍵進行普通攻擊和重擊.
1900/1/1 0:00:00撰文:雨中狂睡,深潮TechFlow研究院一個共識,今年加密市場的核心敘事是LSD。于是,我們可以看到,很多協議產品都開始向LSD靠攏,比如FraxFinance推出了frxETH,MakerD.
1900/1/1 0:00:00據TheBlock報道,美國證券交易委員會主席GaryGensler周三向記者表示,根據美國法律,權益證明代幣應被視為證券.
1900/1/1 0:00:00作者:Kaiko 編譯:PengSUN,ForesightNews3月11日,在硅谷銀行倒閉后的幾個小時內,穩定幣USDC發行方Circle宣稱33億美元的儲備存放在硅谷銀行,引發市場恐慌.
1900/1/1 0:00:00