最近zkEVMRollup以及整個ZK生態的熱度確實非常高(DevconBogota基本是ZK+MEV+其他),以至于大多數以太坊研究者或多或少忽視了OptimisticRollup的發展,以及在第二代中這些有趣的設計細節。
為什么還需要看OptimisticRollup?
a)OP還是ZK?
盡管Vitalik早在幾年前就認定了zkEVMRollup是未來,同時各家zkEVM(Scroll,zkSync,Hermez,Consensys)也如雨后春筍一般冒出來,但OptimisticRollup仍是目前Rollup生態的絕對主力,擁有80%Layer2的市場占有率以及前十Layer2方案的半壁江山。
zkEVMRollup的終局性擴容方案的存在,會讓OptimisticRollup完全被淘汰嗎?
OptimisticRollup和zkEVMRollup并非水火不容的存在,而是在長期內(甚至永久性的時間內)會是互補的方案。
對于App-rollup來說,Optimistic機制在開發與部署上仍然是最簡潔易用的方案。
數據:Starknet橋接TVL突破35萬枚ETH:金色財經報道,Dune數據顯示,Starknet的橋接總鎖倉量(TVL)已突破35萬枚ETH,達351,650ETH,鏈上橋接總用戶量為820,641個。此外目前Arbitrum鏈上橋接TVL為2,829,305枚ETH、Optimism為592,582枚ETH、zkSync為1,482,008枚ETH、Base為156,790枚ETH。[2023/9/3 13:14:32]
b)OP和ZK未成熟
OptimisticRollup的開發進度領先zkEVMRollup兩年左右。但我們OptimisticRollup的標桿Arbitrum與Optimism都沒有在主網完全上線開放的正式版FraudProof。
據Vitalik所說,以太坊基金會PSE的zkEVM電路有34469行代碼。這龐大的代碼量需要非常漫長的開發和持續的測試來進行打磨。我們在幾年內都無法完全依賴ZK系統所帶來的安全性。
c)OP+ZK
早在半年以前,Optimism的Kelvin就開始在推特上頻繁地討論Optimism結合zkVM的可行性。
他說Optimism的Bedrock不會只是OptimisticRollup的客戶端,而是Rollup客戶端。為了完全保證Rollup的整體安全性,客戶端(或許和Arbitrum最近的收購有關系?)與證明的多樣性(ValidityProof與FraudProof)才是Rollup真正的未來。
Lido:當前協議緩沖區中有約44萬枚ETH可用:金色財經報道,據流動性質押協議 Lido 在社交媒體披露數據顯示,當前 Lido 協議緩沖區中有約 44 萬枚 ETH 可用。此外,Lido 提醒本周可能會有大量提款,如果大量提款如期發生,一些盈余可能會被吸收。[2023/5/16 15:06:51]
Vitalik則完善了Kelvin的方案,認為可以通過(OP+ZK)+Governance的2+1組合來實現可靠的Rollup。
在zkEVM完全穩定和成熟前,工作流程如下:
發布區塊
等待24小時
a)如果期間沒有欺詐挑戰,發布ZKP,完全Finalize區塊。b)如果有挑戰,則引入Governance通過2of3的模型來裁定最終結果。
在zkEVM穩定與成熟后:
發布區塊
定期發布ZKP。
a)如果ZKP在指定期間正常發布,則依其為準。b)如果ZKP并未在期間正常發布(Proverfailure或有bug),則先引入Optimistic機制,直到ZK機制恢復。
美國SEC提案可能禁止投資顧問在加密公司托管資產:2月15日消息,美國證券交易委員會(SEC)將提出一項規則,該規則將有效地要求注冊投資顧問在加密貨幣行業之外存儲數字資產。定于周三由美國SEC提出的規則將擴大該機構的現有規定,即投資顧問需要將客戶的資金和證券交給“合格的托管人”保管。新版本如果獲得批準,將增加對投資顧問委托的任何資產(包括加密貨幣)的保護要求。
目前,加密貨幣交易和借貸平臺通常會為加密貨幣客戶提供托管服務,但根據該規則,他們不是“合格托管人”。根據SEC的規定,適當的托管人通常是指特許銀行或信托公司、在SEC注冊的經紀自營商或在商品期貨交易委員會 (CFTC) 注冊的期貨傭金商。
SEC的提案還表示,合格的托管人將接受獨立審計、定期披露,并且需要將客戶資產隔離到客戶身份下的賬戶。(CoinDesk)[2023/2/15 12:09:01]
這兩種方案都需要Optimistic機制的存在,從而保證整個Rollup系統的liveness和safety。
因此Optimistic機制的發展仍然是Rollup宇宙版圖中的重頭戲。
1.第二代OptimisticRollup
第二代OptimisticRollup一詞源于ArbitrumNitro的白皮書標題。略早與Nitro發布的OptimismBedrock也算是第二代OptimisticRollup。
歐易NFT市場接入Optimism和Klaytn:據官方消息顯示,歐易NFT市場已正式接入了Optimism和Klaytn。此外,歐易NFT市場已完成Opensea所有EVM網絡掛單的拉取,包括BSC、Arbitrum、Avalanche、Optimism、Klaytn的所有合集掛單。
據悉,歐易NFT市場是支持公鏈數量最多的NFT交易聚合平臺,此前已支持Ethereum、Solana、OKC、BSC、Polygon、Avalanche C、IMX、Arbitrum以及Aptos。目前共支持11條主流公鏈。[2023/1/20 11:23:00]
兩者的整體差異其實不大(如果你讀Arbitrum和Optimism的blog,甚至會覺得是不是一樣的),本質上都是與自己的一個新的majorrelease。第二代與第一代的差別也無外乎是如下優化:
開發者體驗:更強的EVM等效性和兼容性,L1互操作性…
用戶體驗:更高的吞吐量,更低的gas…
但是在設計細節上仍然有取舍的不同,我們可以在這些差異上看到Arbitrum與Optimism在構建下一代OptimisticRollup上的推敲。
元宇宙AI動畫工具開發公司Any World完成750萬美元融資:11月9日消息,元宇宙AI動畫工具開發公司Any World宣布完成750萬美元融資,華納音樂、Acrew Capital、Alumni Ventures參投,該公司還透露其服務將于今年12月登陸Epic Games虛擬引擎。Anything World主要構建大規模創建開源、可用可混合的“3D資產”工具,降低人們進入Web3世界的門檻。(venturebeat)[2022/11/9 12:39:31]
第二代OptimisticRollup設計選型對比
Arbitrum與Optimism的開發人員分別對兩者的架構進行了比較和對比,這里我們就僅討論與用戶或應用開發者有關的點:
a)區塊時間
區塊時間設計的選擇主要是兩種:固定時間或者可變時間。可以理解成PoS和PoW的以太坊的區別。
Optimism:固定時間(2秒)
固定時間可以保證使用區塊(block.number)來作為時間戳的合約的穩定性,比如Sushiswap的Masterchef合約。這些合約不用時間戳可能是考慮到礦工對時間戳有控制權(算是Selfishmining或者MEV?)。
第一代的Optimism采用了可變時間+1tx/block的設計,因此由于時間計算的問題,Stargate的獎勵發放就出現了一些問題。
對于1tx/block的老設計,Optimism認為由于區塊頭的存在,存儲鏈的開銷太大了,除此之外狀態根也需要頻繁更新,成本過高。
Arbitrum:可變時間
可變時間設計主要是為了減小tx確認的延遲。目前一秒最多可以創建4個區塊,如果沒有tx則跳過,因此是可變時間。
對于以block。number進行計時的合約,Arbitrum上block。number會直接返回以太坊的區塊編號,因此不會有穩定性和適配上的問題。除此之外Arbitrum也提供了相應的預編譯來提供L2的區塊編號。
b)Geth的定位
Geth是以太坊的執行客戶端,占據了約80%的節點總量。
Optimism:作為獨立引擎
將Geth作為獨立執行引擎,而非庫處理。好處就是可以完全重用之前的基礎設施,同時可以無縫切換到其他執行客戶端。
Arbitrum:作為庫
由于Arbitrum有更多的L2特定狀態,例如L1和L2的gas定價,以及retryableticket,因此將Geth作為庫處理,使用hooks進行調用。
c)L1-L2消息inclusion延遲
Optimism:~2分鐘
Bedrock的延遲是幾個L1塊的長度,最壞的情況是延遲十分鐘。
Bedrock的架構更像一個L1,極端情況下可以通過reorg自己來應對L1的reorg。
超過10分鐘沒被L2包含的tx就直接被判定為無效了。
Arbitrum:10分鐘
Nitro延遲十分鐘處理,如果超過十分鐘,可以通過L1調用來強制包含tx。
Nitro的目標是為了用戶體驗,讓L2永遠不需要reorg。
兩者都是在不同角度對用戶體驗進行了取舍。
d)L1-L2消息重試機制
消息重試機制主要就是為了解決L1-L2跨鏈過程中,L1確認了,L2失敗的問題。
Optimism:合約中實現
開發者可以參考L1OptimismPortal的實現,或者在合約內定義自己的重試機制。
Arbitrum:節點中實現
重試機制在ArbOS節點中實現。
e)L2費用算法
L2的gas計算基本上就是L2executiongas+L1calldatacost。
Optimism:重用EIP-1559
好處就是錢包和其他基礎設施可以無縫接入。
Optimism對L2gas的計算基本上是將L2executiongas的成本壓到了最低(99%都是calldatacost)。
Arbitrum:使用定制系統
由于之前提到的可變區塊時間設計,因此gas定價更加復雜,所以沒有采用EIP-1559。
f)L1費用算法
Optimism:
L1gas水平到L2的傳輸幾乎是即時的。目前Sequencer的收益基本完全來源于L1gas費用的乘數,EIP-4844后,它們的收入會來自MEV。
未來會通過L1-L2的消息傳遞來傳輸這部分數據,從而保證安全性(成為協議一部分,且可被挑戰)。
Arbitrum:
Arbitrum的L1費用算法通過L1gas的平均值來收取費用,且通過自己的控制系統來從實際支付的費用中來獲取反饋,從而保證L1gas收取和支出的穩定。
整體策略中也包括,為了避免Sequencer過度收費,因此在gas價格低時才發布batch。
除此之外,兩者也探討了很多具體架構和技術細節上的區別,但內容過于domain-specific且與用戶和應用開發者無關,因此大家可以自行觀看。
3.Rollup的未來依然是Optimistic的
最近zkEVMRollup以及整個ZK生態的熱度確實非常高(DevconBogota基本是ZK+MEV+其他),以至于大多數以太坊研究者或多或少忽視了OptimisticRollup的發展,以及在第二代中這些有趣的設計細節。
Optimistic作為Rollup的領頭部隊,正在L2UX和DX上進行試驗性的開拓和開創性的創新。它們所做的可以為zkEVMRollup鋪好地基。
在未來兩到三年,甚至更長的時間內,zkEVMRollup完全可用之前,Rollup的主導地位仍會是由Optimistic占據,且80%的新Rollup(App-rollup)則會采用更為成熟和可用的Optimistic機制。
即使是在長期zkEVMRollup成熟后,為了Rollup的整體liveness和safety,Optimistic依舊會是整個系統中的重要基石。
1986年,早期的互聯網供應商QuantumLink和娛樂公司LucasfilmGames發布了第一款MMO游戲名為:《Habitat》基于虛擬角色的社交世界.
1900/1/1 0:00:00北京時間6月28日凌晨,紅豆發起了新一輪NFT的銷售。然而這場預售迎來的卻是整個社區劈天蓋地的譴責:預售時間過短、體驗卡頓、價格偏高,更糟糕的是銷售的NFT竟然是紅豆的仿版,有些圖甚至就是紅豆的.
1900/1/1 0:00:00摘要 StarkWare根據客戶優先事項的不同,提供了一系列數據可用性模式供客戶選擇。用于STARK證明的數據可用性有三種方式,在實際操作中可以按需選擇:—Rollup:賬本直接在區塊鏈上發布.
1900/1/1 0:00:00在2022年,如果不碰到“元宇宙”一詞,就很難行動。繼Facebook在2021年底更名之后,幾乎每個公司都渴望讓我們了解他們對數字世界的愿景,讓我們可以在一個虛擬平臺上工作、娛樂和社交.
1900/1/1 0:00:00Steem社區分叉出了新鏈,一切就萬事大吉了嗎?作者簡介:荊凱,Chintai、eos42中國區負責人.
1900/1/1 0:00:00隨著DeFi的快速增長,提供DeFi服務的平臺和產品也如雨后春筍般紛紛冒頭。作為衡量DeFi協議管理資金規模的標準之一,DeFi“總鎖倉量”在過去兩年一路從100億美元增長到超400億美元,期間.
1900/1/1 0:00:00