原文作者:yyy
昨晚Coinbase宣布入場做了一條基于OPStack的L2——@BuildOnBase,一時間「BullishonOptimism」的情緒又再度被點燃。借此契機,這條推文來聊一聊Optimism的挑戰期。
眾所周知的是,Optimism二層資金提現到以太坊主網,要經歷7天的挑戰期。
那為什么偏偏是7天呢??3天??5天不行嗎?
回答這個問題之前,我們先來了解下為什么要設挑戰期。
Rollups通過將執行層從以太坊分離的方式,提高以太坊主網的性能。也即意味著交易是在二層執行的,但為了繼承以太坊主網的安全性,二層發生的交易要在主網驗證。
Optimism第二輪追溯性公共產品募資已開放提名,將分配1000萬枚OP代幣給OP Stack相關公共產品:1月20日消息,以太坊二層擴容方案 Optimism 第二輪追溯性公共產品募資(RetroPGF 2)已開放提名,提名時間將截止至北京時間 2 月 1 日 03:00,投票將從 2 月 21 日截止至 3 月 7 日。RetroPGF 第 2 輪將向支持 OP Stack 開發和使用的公共產品分發 1000 萬枚 OP 代幣。被提名的類別可以包括基礎架構、工具和效用等。[2023/1/20 11:23:04]
簡單來講,以太坊主網要確認定序器提交上來的交易的的確確在二層發生,即交易的有效性。
Optimism社區發起向Curve流動池分配100萬枚OP代幣的提案:7月25日消息,以太坊二層擴容網絡Optimism社區成員發起提案,計劃向Curve的sUSD、sETH、sBTC池按比例分配100萬枚OP代幣,其中每周5萬枚,共分發20周。據悉,在每周分配的5萬枚OP中,25,000OP用于sUSD池,15,000OP用于sETH池,10,000OP用于sBTC池。[2022/7/25 2:35:28]
Rollup因驗證交易有效性方式的不同分為zk-Rollup和OptimisticRollup.
驗證方式主要分類兩大類:零知識證明和欺詐證明。在零知識證明機制下,交易具有接近即時的最終性。
隱私保護支付協議Umbra上線Optimism和Arbitrum:4月8日消息,據官方消息,以太坊區塊鏈上的隱私保護支付協議Umbra宣布已上線Optimism和Arbitrum。[2022/4/8 14:11:54]
而基于欺詐證明的ORUs,交易的最終性取決于挑戰期的長短,這也就解釋了為什么Optimism資金從二層提現到主網需要7天。
ORUs機制下,樂觀地認為由定序器提交上來的Rollup交易都是有效的。然后在挑戰期內,驗證者如果發現無效交易,可以發起欺詐證明。
如果挑戰期過后都沒有人挑戰的話,就默認這筆交易是有效的,此時交易具有最終性。
Nansen:9大主流網絡近7日總活躍地址約802萬,Optimism增長明顯:3月15日,多鏈數據分析平臺Nansen發布最新一周網絡7日活躍地址統計,據統計數據顯示,截止3月14日,7日活躍地址最多的網絡為BNB Chain(原 BSC),約344萬活躍地址,環比減少14.21%;7日活躍地址最少的網絡為Optimism,約1.24萬活躍地址,環比增加27.57%。完整排名如下:
BNB Chain:344 萬,環比減少 14.21%
Ethereum:229 萬,環比增加 4.57%
Polygon:97.7 萬,環比減少 3.27%
Ronin:78.4 萬,環比減少 37.78%
Avalanche:25.4 萬,環比減少 7.3%
Fantom :18.4 萬,環比減少 9.36%
Arbitrum:4.64 萬,環比減少 23.18%
Celo:3.25 萬,環比增加 2.85%
Optimism:1.24 萬,環比增加 27.57%[2022/3/15 13:57:22]
但挑戰期真的需要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.
@0x?Mantle,BitDAO孵化的一個ORU,可以將挑戰期縮短至1-2天。挑戰期的優化邏輯基于MPC方案。
簡單來講,就是定序器不直接把交易批次提交到以太坊,而是先提交給MPC網絡,由MPC節點共同簽署,確認交易有效后再提交給以太坊。
因此,核心不同點是:
Optimism把包含狀態根的batch作為執行結果提交到以太坊;
而Mantle把包含由MPC節點聯合簽署狀態根的batch作為執行結果提交到以太坊。
目的是為了降低Rollup執行結果的信任風險。
但MPC驗證歸根結底還是鏈下的驗證方案,聊勝于無,對用戶來講算多了一個心理安慰。
打個不太恰當的比喻,MPC驗證方案就像是偏中心化的zk方案,前者安全性基于經濟假設,后者基于密碼學驗證。
以上就是關于ORUs挑戰期的一些思考和探討,沒有太強的邏輯性,權當拋磚引玉。BTW,還是非常期待未來能看到挑戰期顯著縮短的ORUs(分時級別)。
作者:FrogsAnon 編譯:DeFi之道 毫無疑問,自Compound在2020年啟動DeFi夏季以來,DeFi已經取得了長足的進步.
1900/1/1 0:00:001.金色觀察|香港虛擬資產交易6月發牌:怎么獲取牌照誰能交易Coinbase首席執行官BrianArmstrong今日在推特轉發網友“香港將于今年6月正式對所有公民開放加密交易”消息.
1900/1/1 0:00:00原文:ACryptoFriendlyAsia:WhatItWillMeanForMarkets作者:ConorRyder,CFA由DeFi之道編譯香港釋放了打開加密交易大門的信號.
1900/1/1 0:00:00近期Beosin安全團隊研究發現,通縮代幣引起的安全事件依然頻發,造成眾多項目方資金的損失,因此,Beosin安全團隊準備了這篇詳解通縮代幣的文章,與大家分享.
1900/1/1 0:00:00文/MilesDeutscher,加密貨幣分析師;譯/金色財經xiaozou要在加密貨幣領域收獲最大收益,你需要將自己置于最強大的敘事中。本文所盤點的趨勢中有些仍然有可能產生50倍的機會.
1900/1/1 0:00:00如果您密切關注區塊鏈社區,那么一定會經常遇到術語Web3。在Web3越來越受歡迎的同時,很多人對其實際含義以及與區塊鏈的關系感到好奇.
1900/1/1 0:00:00