昨晚Coinbase宣布入場做了一條基于OPStack的L2——@BuildOnBase,一時間"BullishonOptimism"的情緒又再度被點燃。借此契機,這條推文來聊一聊Optimism的挑戰期。
眾所周知的是,Optimism二層資金提現到以太坊主網,要經歷7天的挑戰期。
那為什么偏偏是7天呢?3天?5天不行嗎?
回答這個問題之前,我們先來了解下為什么要設挑戰期。
Rollups通過將執行層從以太坊分離的方式,提高以太坊主網的性能。也即意味著交易是在二層執行的,但為了繼承以太坊主網的安全性,二層發生的交易要在主網驗證。
Funko將推出數字流行音樂NFT:金色財經報道,Funko將發布一個迷人的新數字流行音樂系列NFT,其中包括《怪奇物語》中的受人喜愛的角色。[2023/7/2 22:12:42]
簡單來講,以太坊主網要確認定序器提交上來的交易的的確確在二層發生,即交易的有效性。
Rollup因驗證交易有效性方式的不同分為zk-Rollup和OptimisticRollup.
驗證方式主要分類兩大類:零知識證明和欺詐證明。在零知識證明機制下,交易具有接近即時的最終性。
而基于欺詐證明的ORUs,交易的最終性取決于挑戰期的長短,這也就解釋了為什么Optimism資金從二層提現到主網需要7天。
過去30天內有超過24億枚穩定幣被贖回,3大穩定幣供應量下降4%-19%不等:6月15日消息,據統計數據,在2022年5月15日至6月15日期間的30天內,超過24億枚穩定幣被贖回。在此期間,三大主要的穩定幣USDC、BUSD、DAI供應量較上個月分別下降了5.7%、19%、4%。(Bitcoin.com)[2023/6/15 21:40:07]
ORUs機制下,樂觀地認為由定序器提交上來的Rollup交易都是有效的。然后在挑戰期內,驗證者如果發現無效交易,可以發起欺詐證明。
如果挑戰期過后都沒有人挑戰的話,就默認這筆交易是有效的,此時交易具有最終性。
Voyager Digital為暫停交易前提交的交易開放提款:7月5日消息,據Voyager Digital近日向用戶發送的電子郵件顯示,目前平臺正在處理暫停交易之前的提款,并表示,在暫停之前申請的任何資金現在都在通過“包括安全和反欺詐審查以及我們的銀行合作伙伴處理在內的常規程序”。
Voyager于6月30日停止了存款、取款、交易和獎勵,此后該業務幾乎沒有發出任何溝通。7月3日,該交易所在Twitter上發布公告,確認了其資產的價值,并向用戶保證Voyager正在盡最大努力解決該問題。Voyager證實在銀行持有13億美元的加密資產和35美元的現金。(Cryptoslate)[2022/7/5 1:51:24]
但挑戰期真的需要7天這么長時間嗎?我們先把整個挑戰流程簡化:驗證者通過重構狀態根發現無效交易,于是發出欺詐證明。這一系列動作需要時間,也就意味著挑戰期不能是0.
《經濟學人》調查:37%受訪者希望比特幣在本國合法化:6月6日消息,根據《經濟學人》(The Economist)最近進行的一項研究,37%的受訪者希望他們的政府宣布比特幣或其他加密貨幣為用于內部交易的法定貨幣。43%的受訪者對此持中立態度,只有18%的受訪者表示不同意此舉。央行數字貨幣(CBDC)也受到青睞,37%的人表示同意其國家當局發行此類金融產品。而約19%的人認為這是一個錯誤。受訪者還主要看好DeFi,34%的受訪者表示有意將這類應用用于個人或專業金融交易。相比之下,17%的人表示他們不打算與之互動。
據悉,該研究調查了來自以下發達經濟體(美國、英國、法國、韓國、澳大利亞和新加坡)和發展中國家(巴西、土耳其、越南、南非和菲律賓)的3000人,以確定他們對加密行業的當前立場。(Crypto Potato)[2022/6/6 4:05:00]
我們假設上述挑戰流程很迅速,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
SEC正在打擊中心化穩定幣。所以是時候尋找去中心化的替代方案了。在這篇文章中你將能夠了解有關去中心化穩定幣的所有信息。 SEC近日宣布起訴穩定幣BUSD發行人Paxos.
1900/1/1 0:00:00繼GMX后,Arbitrum生態又迎來了一個大熱DEX協議Camelot。與GMX不同,Camelot更加側重為新項目引導流動性,展現出更大的想象空間,也為Arbitrum生態的蓬勃發展搭建了一.
1900/1/1 0:00:00今天,有關「SEC?禁止加密質押服務」的傳聞得到證實,美國加密交易所?Kraken?成為第一個「制裁對象」.
1900/1/1 0:00:00注:本文來自@0xShinChannn推特,MarsBit整理如下:1/在推特上,我們經常看到這樣的話:「如果購買國庫券可以獲得4-5%的年化收益.
1900/1/1 0:00:00盡管交易量和用戶數量大幅下降,但區塊鏈游戲仍占所有區塊鏈使用量的一半,這表明區塊鏈游戲的需求仍在持續。設計一個可持續的經濟系統已經成為GameFi項目的關鍵問題.
1900/1/1 0:00:00注:本文來自@V1JeromeLoo推特,MarsBit整理如下:作為一個NFT愛好者,在$Blur即將上線之際.
1900/1/1 0:00:00