昨晚Coinbase宣布入場做了一條基于OPStack的L2——@BuildOnBase,一時間"BullishonOptimism"的情緒又再度被點燃。借此契機,這條推文來聊一聊Optimism的挑戰期。
眾所周知的是,Optimism二層資金提現到以太坊主網,要經歷7天的挑戰期。
那為什么偏偏是7天呢?3天?5天不行嗎?
回答這個問題之前,我們先來了解下為什么要設挑戰期。
Rollups通過將執行層從以太坊分離的方式,提高以太坊主網的性能。也即意味著交易是在二層執行的,但為了繼承以太坊主網的安全性,二層發生的交易要在主網驗證。
以太坊開發人員考慮將驗證者限制從32ETH提高到2048ETH:6月19日消息,在周五舉行的最近一次以太坊核心開發者共識會議上,以太坊基金會研究員兼擬議變更的主要支持者 Michael Neuder 提出將每個驗證者的最大驗證者余額從 32 ETH 提高到 2,048 ETH。他說,雖然目前(32 ETH)的驗證者上限促進了去中心化,但它無意中導致了驗證者集規模的膨脹。Neuder 表示,提高上限可能會減緩活躍驗證者集的擴張——最終提高網絡在單個以太坊時隙內實現最終性方面的效率。提議的增加上限還將引入自動復合驗證器獎勵的可能性。[2023/6/19 21:47:47]
簡單來講,以太坊主網要確認定序器提交上來的交易的的確確在二層發生,即交易的有效性。
Lyra:新市場開放存款服務,用戶可添加USDC流動性以獲取收益:5月22日消息,期權協議Lyra發推稱,新市場現已開放存款服務,用戶可以添加USDC流動性,并在集成Synthetix的Optimism網絡上ETH、WBTC、OP和ARB期權做市商金庫中獲取收益。[2023/5/22 15:18:03]
Rollup因驗證交易有效性方式的不同分為zk-Rollup和OptimisticRollup.
驗證方式主要分類兩大類:零知識證明和欺詐證明。在零知識證明機制下,交易具有接近即時的最終性。
而基于欺詐證明的ORUs,交易的最終性取決于挑戰期的長短,這也就解釋了為什么Optimism資金從二層提現到主網需要7天。
Binance、Circle就加密監管框架向英國政府提交反饋意見:金色財經報道,加密貨幣交易所Binance和穩定幣發行商 Circle 向英國政府提交了反饋意見,該國正在考慮建立一個新的框架來管理數字資產的交易和借貸。
幣安表示需要特別關注消費者保護、市場完整性和金融穩定,但警告稱過度監管可能“無意中扼殺創新和增長,消除選擇和競爭,并可能將消費者推向不受監管的市場或運營商”。Circle 表示,該國應該讓數字資產公司的注冊過程“簡單透明,有明確的指示性時間表,以及監管機構對什么是好的或壞的做法的反饋。 該公司在一篇博文中表示。Circle 敦促英國財政部迅速披露其監管法幣支持支付穩定幣的計劃,進一步澄清‘加密資產’活動與涉及支付服務提供的支付穩定幣相關活動之間的區別。[2023/5/3 14:39:33]
ORUs機制下,樂觀地認為由定序器提交上來的Rollup交易都是有效的。然后在挑戰期內,驗證者如果發現無效交易,可以發起欺詐證明。
ETH虧損地址數創歷史新高:金色財經消息,據Glassnode數據顯示,當前ETH虧損地址數(七日均值)為40,440,063.815,創歷史新高。[2022/6/20 4:38:55]
如果挑戰期過后都沒有人挑戰的話,就默認這筆交易是有效的,此時交易具有最終性。
但挑戰期真的需要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(分時級別)。
責編:Lynn
Tags:以太坊PTIOPTIMIS比特幣以太坊行情分析OPTIMUSAIoptimus幣最新消息Optimism BOB
市場的輪動總是在不經意之間。在上個周末,資金從AI板塊流入了ZK板塊,"零知識"敘事正在開始,ZK代幣開始成為趨勢,逐漸繁榮.
1900/1/1 0:00:002月14日,香港持牌資產管理公司PandoFinance獲批管理最多包含100%虛擬資產的投資基金,正式成為香港唯一一家既能發行ETF公募也能管理虛擬資產的機構.
1900/1/1 0:00:00我們常常被流行的事物所吸引,并跟隨趨勢做出沖動的決定。但跟隨流行敘事的投資注定會失敗。跑贏市場的關鍵是領先于敘事,而不是跟隨敘事。否則,長期持有ETH和BTC會是一個更好的策略.
1900/1/1 0:00:00過去幾周最熱門的上升項目無疑是Canto——一個與EVM兼容的區塊鏈,內置DEX、借貸市場和穩定幣。以下是你需要了解的關于Canto的所有信息、從哪里開始以及為什么你應該了解這個新興的生態系統.
1900/1/1 0:00:00自去年年底,Blur三季空投一直是加密市場追逐的焦點。最近,Blur發展態勢呈指數增長,甚至牽連起了經歷短暫沉寂的NFT市場.
1900/1/1 0:00:00有些協議永遠不會停止擴展——從穩定幣交換開始,擴展到跨鏈橋,現在正在擴展成為第2層?Rollup?跨鏈的執行層.
1900/1/1 0:00:00