比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

Optimism 資金提現到以太坊主網,為何需要 7 天挑戰期?_OPTI

Author:

Time:1900/1/1 0:00:00

作者:@yyy

Coinbase宣布入場做了一條基于OPStack的L2——@BuildOnBase,一時間「BullishonOptimism」的情緒又再度被點燃。借此契機,這條推文來聊一聊Optimism的挑戰期。

眾所周知的是,Optimism二層資金提現到以太坊主網,要經歷7天的挑戰期。

那為什么偏偏是7天呢?3天?5天不行嗎?

回答這個問題之前,我們先來了解下為什么要設挑戰期。

Rollups通過將執行層從以太坊分離的方式,提高以太坊主網的性能。也即意味著交易是在二層執行的,但為了繼承以太坊主網的安全性,二層發生的交易要在主網驗證。

Messari:Optimism完成主網Bedrock升級后,每筆交易gas費用下降約70%:6月25日消息,Messari發推稱,Optimism完成主網Bedrock升級后,降低了約47%的費用并縮短了存款時間。每筆交易的gas費用下降了大約70%,使Optimism主網成為代幣兌換中最便宜的以太坊L2網絡。Bedrock讓Optimism更加接近“超級鏈”。

此前消息,Optimism已于6月7日凌晨完成主網Bedrock升級。據悉,Bedrock是由OP Labs開發的新一代去中心化Rollup基礎架構,旨在為Layer2網絡提供模塊化、簡單性和以太坊等效性。本次升級旨在提升區塊鏈性能,將存款確認時間從10分鐘減少到1分鐘,并將gas費用降低40%。[2023/6/25 21:58:51]

簡單來講,以太坊主網要確認定序器提交上來的交易的的確確在二層發生,即交易的有效性。

Dopex上線Option Scalps V2,允許制定短期期權交易策略:6月20日消息,去中心化期權協議Dopex宣布上線交易產品Option Scalps V2,允許制定短期交易策略,即,購買1到240分鐘的短期期權。Option Scalps V2還引入了V3限價訂單頭寸來降低兌換費用,當前,交易者現在不會因為兌換而產生費用,而是會因根據其存入的流動性完成訂單而獲得獎勵。[2023/6/20 21:50:01]

Rollup因驗證交易有效性方式的不同分為zk-Rollup和OptimisticRollup。

驗證方式主要分類兩大類:零知識證明和欺詐證明。在零知識證明機制下,交易具有接近即時的最終性。

數據研究員J.Hackworth:以太坊仍占據主導地位,空投投機者推動Arbitrum和Optimism增長:1月24日消息,數據研究員J.Hackworth發布了一個Dune儀表盤,對推動以太坊、Arbitrum和Optimism等發展的指標進行了解析,包括Layer2整體與以太坊的對比、錢包、參與度及推動增長的協議等。發現雖然Optimism和Arbitrum的交易組合產生了更多交易,但以太坊仍擁有5倍獨立用戶;過去一年內,93%的以太坊活躍地址從未離開過以太坊,而Optimism和Arbitrum地址中存在63%及59%的地址用戶是多鏈的;相較于Arbitrum,Optimism擁有更多的余額超50萬美元的錢包地址[2023/1/24 11:28:50]

而基于欺詐證明的ORUs,交易的最終性取決于挑戰期的長短,這也就解釋了為什么Optimism資金從二層提現到主網需要7天。

Mirror.xyz 或因 Optimism 發布代幣公告招致攻擊:4月27日消息,去中心化內容發布平臺 Mirror 今日網站出現故障,導致網絡部分功能癱瘓。Mirror.xyz 首席技術官 Graeme 在官方 Discord 社群回應:抱歉,我們正在解決這個問題。 今天,我們為 Optimism 發布公告啟用了一項新功能,該功能允許在 Optimism 上進行 NFT Mint,而且我們的基礎設施似乎受到了攻擊,因此某些人可以mint,而將其他人排除在外。 目前我們正在嘗試阻止攻擊,并將努力盡快解決問題。[2022/4/27 2:33:59]

ORUs機制下,樂觀地認為由定序器提交上來的Rollup交易都是有效的。然后在挑戰期內,驗證者如果發現無效交易,可以發起欺詐證明。

如果挑戰期過后都沒有人挑戰的話,就默認這筆交易是有效的,此時交易具有最終性。

但挑戰期真的需要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(分時級別)。

Tags:OPTOPTIPTIMISOPTIMUSAIoptimus幣發行量OPTIGMission

幣安app下載
ZBC 代幣成 Solana 生態中交易量最大的代幣_COIN

根據Coinmarketcap統計的Solana上最大的DEXRaydium數據顯示,ZBC/USDT是該協議中交易量最大的資產交易對.

1900/1/1 0:00:00
五分鐘讀懂 NFT 借貸新秀 ParaSpace_ARA

原文標題:《ParaSpace:Blur之后必須關注的NFT平臺》作者:Fishery,Biteye核心貢獻者本月NFT圈發生最引人注目的兩件事一件是Blur慷慨空投.

1900/1/1 0:00:00
Arbitrum 公布空投治理代幣的反女巫規則_ARB

Arbitrum正式宣布將發行原生TokenARB并公布Token經濟學。據悉,ARB初始總供應量為100億枚,總供應量將以每年至多2%的速度膨脹.

1900/1/1 0:00:00
一文速覽建立在 GMX 上的 28 個項目_GMX

文章來源:TokenInsight可組合性是?DeFi?的核心功能,使開發人員通過集成現有協議來快速創建新項目。一個現有協議便是?GMX,它在2022年取得了輝煌的成績.

1900/1/1 0:00:00
Web3.0 跨鏈基礎設施協議 Golden Gate (GGX) 發布全新路線圖,揭示了具備 Layer0 特性且可編程的跨鏈基建生態_WEB

來源:彭博社 據彭博社報道,具備跨鏈通信且可編程的Layer0基礎設施協議GoldenGate(GGX)已進行了兩年的線下開發,于近日公開發布了最新的路線圖.

1900/1/1 0:00:00
深度解讀 EIP-4844:如何降低 Layer2 費用100倍?_以太坊

原文作者:ChuanLin原文來源:A&TCapital 01、引子 Vitalik?于?2022?年?11?月?5?日發布了更新后的以太坊路線圖.

1900/1/1 0:00:00
ads