0.為什么還需要看OptimisticRollup?
a)OP還是ZK?
盡管Vitalik早在幾年前就認定了zkEVMRollup是未來,同時各家zkEVM(Scroll,zkSync,Hermez,Consensys)也如雨后春筍一般冒出來,但?OptimisticRollup仍是目前Rollup生態的絕對主力,擁有80%Layer2的市場占有率以及前十Layer2方案的半壁江山.
zkEVMRollup的終局性擴容方案的存在,會讓OptimisticRollup完全被淘汰嗎?
OptimisticRollup和zkEVMRollup并非水火不容的存在,而是在長期內(甚至永久性的時間內)會是互補的方案.對于App-rollup來說,Optimistic機制在開發與部署上仍然是最簡潔易用的方案.b)OP和ZK未成熟
OptimisticRollup的開發進度領先zkEVMRollup兩年左右.但我們OptimisticRollup的標桿Arbitrum與Optimism都沒有在主網完全上線開放的正式版FraudProof.
畢馬威推出的AI安全公司Cranium籌集700萬美元風險投資:金色財經報道,畢馬威(KPMG)合伙人Jonathan Dambrot和另外兩位聯合創始人Felix Knoll和Paul Spicer共同創立AI安全初創公司Cranium。到目前為止,已經從畢馬威(KPMG)和SYN Ventures籌集了700萬美元的風險投資。
Dambrot表示,開發Cranium是為了在客戶層面發現并提供人工智能系統的可見性,提供安全報告和監控,并創建合規和供應鏈可見性報告。核心產品更全面地考慮了人工智能安全和供應鏈風險。Cranium目前有大約30名全職員工。假設業務好轉,該公司預計將結束虧損[2023/4/5 13:46:22]
據Vitalik所說,以太坊基金會PSE的zkEVM電路有34469行代碼.這龐大的代碼量需要非常漫長的開發和持續的測試來進行打磨.?我們在幾年內都無法完全依賴ZK系統所帶來的安全性.
c)OP+ZK
早在半年以前,Optimism的Kelvin就開始在推特上頻繁地討論Optimism結合zkVM的可行性.
他說Optimism的Bedrock不會只是OptimisticRollup的客戶端,而是Rollup客戶端.?為了完全保證Rollup的整體安全性,客戶端(或許和Arbitrum最近的收購有關系?)與證明的多樣性(ValidityProof與FraudProof)才是Rollup真正的未來.
韓國檢方將尋求引渡Do Kwon:金色財經報道,韓國檢方將尋求引渡Terra幣創始人Do Kwon。今日凌晨,美國檢方對Do Kwon提起刑事欺詐指控,并尋求將Do Kwon引渡到美國。昨日Do Kwon在黑山被捕。[2023/3/24 13:23:45]
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機制恢復.這兩種方案都需要Optimistic機制的存在,從而保證整個Rollup系統的liveness和safety.
彭博社:美國對加密貨幣的打擊提升了對友好海外中心的吸引力:金色財經報道,美國的一系列加密調查促使備受打擊的數字資產公司轉向海外金融中心,這給該國作為行業基石的地位蒙上了陰影。根據對十幾位高管、前監管機構、投資者和分析師的采訪,新加坡、香港、歐洲和迪拜對加密貨幣公司更具吸引力,因為它們的監管努力、稅收優勢和更友好的政府。(彭博社)[2023/2/19 12:15:26]
因此Optimistic機制的發展仍然是Rollup宇宙版圖中的重頭戲.
1.第二代OptimisticRollup
第二代OptimisticRollup一詞源于ArbitrumNitro的白皮書標題.略早與Nitro發布的OptimismBedrock也算是第二代OptimisticRollup.
兩者的整體差異其實不大(如果你讀Arbitrum和Optimism的blog,甚至會覺得是不是一樣的),本質上都是與自己的一個新的majorrelease.第二代與第一代的差別也無外乎是如下優化:
開發者體驗:更強的EVM等效性和兼容性,L1互操作性…用戶體驗:更高的吞吐量,更低的gas…但是在設計細節上仍然有取舍的不同,我們可以在這些差異上看到Arbitrum與Optimism在構建下一代OptimisticRollup上的推敲.
密碼管理平臺LastPass部分源碼泄露,暫無安全風險:8月26日消息,密碼管理平臺LastPass發布公告,部分源代碼和一些專有的LastPass技術信息泄露,但表示用戶數據及保管庫中密碼無安全風險。目前已部署了遏制和緩解措施,并聘請了一家領先的網絡安全和取證公司。[2022/8/26 12:49:47]
2.第二代OptimisticRollup設計選型對比
Arbitrum與Optimism的開發人員分別對兩者的架構進行了比較和對比,這里我們就僅討論與用戶或應用開發者有關的點:
a)區塊時間
區塊時間設計的選擇主要是兩種:固定時間或者可變時間.可以理解成PoS和PoW的以太坊的區別.
Optimism:固定時間(2秒).固定時間可以保證使用區塊(block.number)來作為時間戳的合約的穩定性,比如Sushiswap的Masterchef合約.這些合約不用時間戳可能是考慮到礦工對時間戳有控制權(算是Selfishmining或者MEV?).
CoinShares首席戰略官:高通脹等宏觀環境可能會阻止新資本進入以太坊:金色財經報道,加密資產管理公司CoinShares的首席戰略官Meltem Demirors在接受采訪時表示,高通脹等宏觀環境可能會阻止新資本進入以太坊,雖然在內部,加密社區和以太坊社區對 Merge 充滿熱情,因為這一事件將大大減少供應,同時可能推動需求。現實之一是在宏觀方面,人們擔心利率,擔心宏觀。有很多事情發生。我認為在這些變化的基本面和技術上,不會有很多新的資本進來購買以太坊。還有一些風險需要與市場一起發揮作用。所以在我看來,合并一直是買謠言賣新聞的情況。(finbold)[2022/8/23 12:43:28]
第一代的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依舊會是整個系統中的重要基石.
責任編輯:MK
這是今年第二次來波哥大,也是第一次來devcon,可惜已經物是人非。同事大莊一直說今年devcon是三年來第一次辦,而19年大阪的devcon出現了comp、uni等defi項目,是defisu.
1900/1/1 0:00:00北京時間今天清晨,Solana??生態去中心化交易平臺Mango遭遇黑客攻擊,損失高達1.15億美元.
1900/1/1 0:00:00當被問到有名的Web3游戲時,最常被提及的是Illuvium、StarAtlas、BigTime或GalaGames。然而,令人驚訝的是,這些游戲沒有完全上鏈.
1900/1/1 0:00:00大家對以太坊充滿好感,并為核心開發者為合并做出的努力鼓掌。然而,除非你喜歡MEV-boost儀表盤,否則,自合并完成后,你很可能會感到無所適從.
1900/1/1 0:00:00熊市漫漫,熱點分散。在缺乏明確投資機會的當下,本著“寧可錯付gas,不能放過大毛”的原則,我將視線與精力投向了優質項目交互,說不定還能提前發現下一價值標的,是吧.
1900/1/1 0:00:00原文標題:《FansaretheNewCreators》?? 原文作者:Lijin 原文編譯:Shaun@DAOrayaki.
1900/1/1 0:00:00