昨晚Coinbase宣布入場做了一條基于OPStack的L2——@BuildOnBase,一時間"BullishonOptimism"的情緒又再度被點燃。借此契機,這條文章來聊一聊Optimism的挑戰期。
眾所周知的是,Optimism二層資金提現到以太坊主網,要經歷7天的挑戰期。
那為什么偏偏是7天呢?3天?5天不行嗎?
回答這個問題之前,我們先來了解下為什么要設挑戰期。
Rollups通過將執行層從以太坊分離的方式,提高以太坊主網的性能。也即意味著交易是在二層執行的,但為了繼承以太坊主網的安全性,二層發生的交易要在主網驗證。
加密捐贈平臺Giveth新增支持Optimism作為捐款選項:5月20日消息,零費用加密捐贈平臺Giveth發推稱,該平臺已支持Optimism作為捐款選項。Optimism生態系統通過其Retro PGF激勵公共產品的開發,將20%的資金用于支持像Giveth這樣的項目。[2023/5/20 15:15:29]
簡單來講,以太坊主網要確認定序器提交上來的交易的的確確在二層發生,即交易的有效性。
Rollup因驗證交易有效性方式的不同分為zk-Rollup和OptimisticRollup.
驗證方式主要分類兩大類:零知識證明和欺詐證明。在零知識證明機制下,交易具有接近即時的最終性。
Optimism生態DEX Velodrome TVL超過2.3億美元:金色財經報道,基于Optimism的交易和流動性市場Velodrome發推稱,其TVL已經超過2.3億美元,成為DeFi領域第九大DEX。其TVL 7日增幅為19.32%,30日增幅為118.13%,90日增幅為242.72%。[2023/2/20 12:16:35]
而基于欺詐證明的ORUs,交易的最終性取決于挑戰期的長短,這也就解釋了為什么Optimism資金從二層提現到主網需要7天。
ORUs機制下,樂觀地認為由定序器提交上來的Rollup交易都是有效的。然后在挑戰期內,驗證者如果發現無效交易,可以發起欺詐證明。
Optimsim回應巨額轉賬:僅是按計劃向投資者的Coinbase托管錢包進行轉賬:8月18日消息,Optimsim基金會多簽錢包于北京時間8月18日凌晨陸續向Coinbase托管錢包轉賬共計約4.5億枚OP。Optimsim基金會解釋稱該轉賬行為并非Token解鎖也不會導致當前Token供應量的變化,僅向OP Labs PBC的各種投資者的Coinbase托管錢包執行了一系列計劃中的標準轉賬。
Optimsim還表示,以后將提前宣布計劃中的巨額轉移,以避免對社區造成困惑。[2022/8/18 12:32:57]
如果挑戰期過后都沒有人挑戰的話,就默認這筆交易是有效的,此時交易具有最終性。
Optimism已完成100萬美元RetroPGF基金分配:11月3日消息,以太坊擴容方案Optimism宣布此前創建的,用以支持非營利和開源軟件項目的追溯性公共產品基金實驗RetroPGF(Retroactive Public Goods Funding)已將100萬美元捐款分配完畢,共有58個項目獲得捐贈。獲得捐贈的項目其包括Ethers.js、go-ethereum、EthGlobal、Hardhat、WalletConnect、Solidity等。[2021/11/3 21:21:51]
但挑戰期真的需要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(分時級別)。
公眾號:Crypto馬少
Tags:PTITIMOPTOPTIOptionRoomAntimony coinOptionRoom Governance TokenOptimus
金色財經報道,加密貨幣交易所CoinFLEX要求Blockchain.com歸還其價值430萬美元的FLEX代幣,否則將面臨法律訴訟,并聲稱他們去年借給這家總部位于盧森堡的金融服務公司總共3.
1900/1/1 0:00:00根據CoinShares最新的數字資產資金周報,做空比特幣投資產品上周流入近1000萬美元。這使本月迄今的資金流入達到1400萬美元.
1900/1/1 0:00:00人工智能和全球碳中和 商標交易、碳中和又來了!大網區塊鏈誕生已14年,經歷了13個春、夏、秋、冬,她已邁入堅強的青壯之列,疫情過后大網會更加穩健和努力.
1900/1/1 0:00:00金色財經報道,GrayscaleInvestments首席執行官MichaelSonnenshein在最近的一次播客采訪中表示“無法想象”為什么美國證券交易委員會“不想”保護Grayscale投.
1900/1/1 0:00:00當我們到達2023年2月的最后一天時,加密貨幣市場謹慎樂觀。熊市會繼續在加密貨幣領域抬頭嗎?或者,多頭會扭轉局面并占據主導地位嗎?快速瀏覽一下加密貨幣市場追蹤器Coingecko和CoinMar.
1900/1/1 0:00:00尊敬的XT.COM用戶:XT.COM交易所於2023年02月22日07:00舉辦的「CMP?AMA」活動已圓滿結束.
1900/1/1 0:00:00