原文作者:yyy
昨晚Coinbase宣布入場做了一條基于OPStack的L2——@BuildOnBase,一時間「BullishonOptimism」的情緒又再度被點燃。借此契機,這條推文來聊一聊Optimism的挑戰期。
眾所周知的是,Optimism二層資金提現到以太坊主網,要經歷7天的挑戰期。
那為什么偏偏是7天呢??3天??5天不行嗎?
回答這個問題之前,我們先來了解下為什么要設挑戰期。
Rollups通過將執行層從以太坊分離的方式,提高以太坊主網的性能。也即意味著交易是在二層執行的,但為了繼承以太坊主網的安全性,二層發生的交易要在主網驗證。
Optimism生態Layer2DAO遭遇攻擊,近5000萬枚Token被盜:10月23日消息,Optimism生態投資項目Layer2DAO遭遇黑客攻擊,黑客通過獲取了Layer2DAO的多重簽名權限盜走約4995萬枚L2DAO Token并將部分拋售,L2DAO價格一度下跌約90%。團隊目前能夠協商并回購黑客手中剩余的31,239,677枚L2DAO Token。[2022/10/23 16:36:17]
簡單來講,以太坊主網要確認定序器提交上來的交易的的確確在二層發生,即交易的有效性。
Rollup因驗證交易有效性方式的不同分為zk-Rollup和OptimisticRollup.
數據:Optimism橋接存儲總價值突破30萬枚ETH:8月23日消息,據Dune Analytics的數據顯示,以太坊Layer2擴容解決方案Optimism跨鏈橋接存儲總價值已突破30萬枚ETH,截至目前為306,151ETH(按照當前ETH價格計算超5億美元),參與橋接交易的用戶量為230,147個。[2022/8/23 12:43:44]
驗證方式主要分類兩大類:零知識證明和欺詐證明。在零知識證明機制下,交易具有接近即時的最終性。
而基于欺詐證明的ORUs,交易的最終性取決于挑戰期的長短,這也就解釋了為什么Optimism資金從二層提現到主網需要7天。
1inch集成至以太坊二層擴容方案Optimistic主網:DEX聚合器1inch集成至以太坊二層擴容方案Optimistic主網。據悉,這是Optimistic上集成的繼Uniswap之后的第二個項目。在快速提幣功能推出之前,盡管資產從以太坊主網轉移到Optimistic主網是即時的,但是從Optimistic到以太坊將經歷7天的挑戰期。
今年5月份,1inch也集成至了另一個擴容網絡Polygon,為用戶提供基于Polygon的多個流動性來源,包括Aave V2、Cometh、Curve、SushiSwap、QuickSwap等。1inch的發言人表示,該協議還在考慮其他區塊鏈,包括Solana、Avalanche、Tron、Near,以及Arbitrum、zkSync這樣的Layer2方案。(Coindesk)[2021/8/18 22:20:53]
ORUs機制下,樂觀地認為由定序器提交上來的Rollup交易都是有效的。然后在挑戰期內,驗證者如果發現無效交易,可以發起欺詐證明。
動態 | Fuel Labs推出基于Optimistic Rollups的以太坊側鏈:Fuel Labs 宣布推出首個基于Optimistic Rollups開發的無需信任的以太坊側鏈 Fuel ,Fuel側鏈專門針對以太坊大額支款設計,在伊斯坦布爾升級之前,保守估計能將以太坊 ERC-20 代幣交易成本降低 5 倍。[2019/10/23]
如果挑戰期過后都沒有人挑戰的話,就默認這筆交易是有效的,此時交易具有最終性。
但挑戰期真的需要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(分時級別)。
Tags:TIMOPTPTIIMIOptimus OPT3wOPT幣OptionRoom Governance TokenIMI價格
金色財經報道,比特幣礦企RiotPlatforms(RIOT)推遲向美國證券交易委員會提交其年度10-K報告,原因是其會計師事務所就該公司與其比特幣資產相關的減值計算提出了問題.
1900/1/1 0:00:00作者:Gitcoin籌資及合作負責人兼BanklessDAO研究員,AzeemKhan 編譯:DeFi之道 從商業模式的角度了解DAO還處于早期階段,仍需要不斷試驗.
1900/1/1 0:00:00近期,加密市場經歷了2023年以來的首次重大回調,同時還有美國的監管舉措和美國證券交易委員會SEC打擊行動的消息.
1900/1/1 0:00:00DeFi分析師MilesDeutscher剛剛采訪了DelphiLabs創始人和DelphiVentures創始合伙人JoséMariaMacedo.
1900/1/1 0:00:00香港證監會20萬字《虛擬資產交易平臺指引》咨詢文件精簡版速讀。香港證監會咨詢文件附錄A相見:《適用于虛擬資產交易平臺營運者的指引》隨著《2022年打擊洗錢及恐怖分子資金籌集條例草案》在2022年.
1900/1/1 0:00:00作者:李科 去年以來ZK賽道受到了大家的廣泛關注,特別是采用ZK-EVM技術的Starknet、zkSync、PolygonEVM、Scroll等明星項目成為大家談論最多的話題.
1900/1/1 0:00:00