原文作者:yyy
昨晚 Coinbase 宣布入場做了一條基于 OP Stack 的 L2——@BuildOnBase, 一時間「Bullish on Optimism」的情緒又再度被點燃。借此契機,這條推文來聊一聊 Optimism 的挑戰期。
眾所周知的是,Optimism 二層資金提現到以太坊主網,要經歷 7 天的挑戰期。
那為什么偏偏是 7 天呢? 3 天? 5 天不行嗎?
回答這個問題之前,我們先來了解下為什么要設挑戰期。
Rollups 通過將執行層從以太坊分離的方式,提高以太坊主網的性能。也即意味著交易是在二層執行的,但為了繼承以太坊主網的安全性,二層發生的交易要在主網驗證。
多鏈期權協議Optix完成180萬美元融資:2月22日消息,多鏈期權協議 Optix 宣布完成 180 萬美元融資,Skynet Trading 領投,Ascensive Assets、Arrington Capital、LVT Capital、Morningstar Ventures、SkyVision Capital、Huobi Global 和 Phemex 參投。
Optix 協議已在多個鏈上推出,具有 Token 期權、無許可結構化產品、DeFi 和大宗交易等功能。其原生 Token OPTIX 將于 2023 年 Q2 推出。[2023/2/22 12:22:52]
簡單來講,以太坊主網要確認定序器提交上來的交易的的確確在二層發生,即交易的有效性。
Optimism擬于3月16日執行Bedrock主網升級:金色財經報道,Optimism發起新去中心化Rollup基礎架構Bedrock主網升級提案,如果提案投票通過,升級將在北京時間3月16日1:00執行,升級期間存款和交易會暫停,但大多數用戶不會受到升級的影響,預計升級持續4個小時,升級后仍然可以訪問歷史鏈數據。[2023/2/2 11:42:49]
Rollup 因驗證交易有效性方式的不同分為 zk-Rollup 和 Optimistic Rollup.
驗證方式主要分類兩大類:零知識證明和欺詐證明。在零知識證明機制下,交易具有接近即時的最終性。
而基于欺詐證明的 ORUs, 交易的最終性取決于挑戰期的長短,這也就解釋了為什么 Optimism 資金從二層提現到主網需要 7 天。
數據:9月Optimism鏈上交易筆數突破500萬筆,創下歷史新高:10月2日消息, Dune數據顯示,9 月Optimism上的交易筆數約為510萬筆,該數據環比增長 18.6%,創下歷史新高。[2022/10/2 18:37:44]
ORUs 機制下,樂觀地認為由定序器提交上來的 Rollup 交易都是有效的。然后在挑戰期內,驗證者如果發現無效交易,可以發起欺詐證明。
如果挑戰期過后都沒有人挑戰的話,就默認這筆交易是有效的,此時交易具有最終性。
但挑戰期真的需要 7 天這么長時間嗎?我們先把整個挑戰流程簡化:驗證者通過重構狀態根發現無效交易,于是發出欺詐證明。這一系列動作需要時間,也就意味著挑戰期不能是 0.
我們假設上述挑戰流程很迅速, 10 個區塊完成 ( 大概 2 分鐘 )。
Velodrome 在Optimism網絡上的TVL已突破 1 億美元大關:金色財經報道,去中心化交易所 Velodrome 在Optimism網絡上鎖定的總價值(TVL)已突破 1 億美元大關。周四,該交易所鎖定的總價值達到 1.06 億美元,這表明 DeFi 用戶的需求正在快速增長。
這使其與網絡上的 Uniswap 等占主導地位的競爭對手交易所展開競爭。雖然 Uniswap 在 Optimism 上的交易量大約是Velodrome的兩倍,但Velodrome的交易量是后者的兩倍多,現在擁有更大的 TVL。[2022/7/29 2:44:48]
當然不可能會有這么快的響應,那我們再把時間放慢 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:OPTPTIOPTITIMOptimus InuOptimus AIoptimus幣總量time幣現在多少錢一枚
“Alpha”來自于“知情者”。如果你不夠“知情”,那么跟隨“知情者”的腳步,當然也是一種在加密領域大有所獲的方法.
1900/1/1 0:00:00撰文:AVX 過去幾年,Token經濟學(Tokenomics),逐漸稱為一個流行的術語。Token經濟學由 Token 和經濟學(Economics)兩個詞構成,顧名思義則是關于 T.
1900/1/1 0:00:00文章作者:CollinSellers幾個月前,JPMC進行了他們所謂的 “ DeFi 機構 ” 交易。讓我們來分析一下發生了什么,為什么它很重要,以及它對資本市場的未來可能意味著什么.
1900/1/1 0:00:002023年2月22日,Blur創始人公開自己身份,其名為Tieshun Roquerre,并曝光履歷:16歲從波斯頓搬至舊金山并在Teespring從事全職工程師;17歲(2015年)從高中輟學.
1900/1/1 0:00:00chatGPT或許是大型互聯網企業對抗web3的終極利器。web3也是全球自由意識公民對抗中心化壟斷的終極殺器。以前很長一段時間我都有計劃把編程學會,但始終都沒有達成目標.
1900/1/1 0:00:00來源:Aaron推文 編譯:念青,ChainCatcher由于空投預期,Blur 的熱度一直在持續.
1900/1/1 0:00:00