作者:NingNing,獨立研究員 來源:X,@0xNing0x
近日,Metis社區(qū)的MIP-4提案通過,這是所有L2中第一家開啟去中心化序列器測試的,這也意味著Metis開始拆掉Rollup輔助輪的特別行動。
Rollup輔助輪的概念來自Vitalik。22年11月,Vitalik在以太坊社區(qū)論壇上發(fā)帖討論Rollup L2發(fā)展中的里程碑。他提議設定3個里程碑,這3個里程碑分別是:
-- 階段0 :完全輔助輪階段
處于階段0的Rollup L2,允許采用中心化的序列器將L2的全部狀態(tài)數(shù)據(jù)打包提交到L1(以太坊主網(wǎng)),同時在L1部署一組驗證智能合約(例如Optimism部署在以太坊主網(wǎng)的Optimism Gateway)保障數(shù)據(jù)可用性和確保用戶可以免許可地自由轉移資產。
-- 階段1:有限輔助輪階段
處于階段1的Rollup L2,OP-Rollup需要在L1部署欺詐證明,ZK-Rollup需要在L1部署有效性證明。
需要設有一個擁有覆寫欺詐證明和有效性證明錯誤輸出權限的多簽“安全委員會”
允許存在升級機制,但時間鎖至少有7天的延遲。
--階段2:無輔助輪階段
必須有兩個獨立的互為備份的欺詐證明合約或者有效性證明合約,當發(fā)生狀態(tài)數(shù)據(jù)沖突時,“安全委員會”根據(jù)情況調整
允許存在升級機制,但時間鎖至少有30天的延遲。
在發(fā)表這篇貼文之后,Vitalik非常Bullish Rollup 這3個里程碑,他在當時樂觀地預期在坎昆升級之后L2將至少達到階段1里程碑。
但由于坎昆升級從上海升級中拆解為獨立重大升級,且部署時間一再延期,目前所有的Rollup L2仍然處在階段0。
造成這一現(xiàn)象的原因有兩個方面:
--實現(xiàn)欺詐證明機制的智能合約結構復雜,需要消耗大量的鏈上計算和驗證資源,運營成本非常高昂。而需要進行欺詐挑戰(zhàn)的事件發(fā)生的概率非常低,至少到目前為止,眾多OP-Rollup L2中尚未發(fā)生1例狀態(tài)沖突事件。
為了小概率事件而投入高昂成本,不經(jīng)濟。即使不考慮經(jīng)濟因素而只為了增強安全性,L2開發(fā)團隊也希望在坎昆升級讓L2運營成本大幅下降之后再部署。
--某些L2是階段0 的既得利益者??恐鳯2擼毛熱潮和中心化序列器,每月能從用戶身上MEV千萬以上美元的經(jīng)營收入。他們缺乏進入階段1或者階段2的動力。
面對L2這種顢頇不前沉迷階段0現(xiàn)狀,市場和用戶的耐心都已經(jīng)逐漸耗盡。
最近對L2的批評聲音越來越多,集中在遲遲不開展欺詐證明測試網(wǎng)驗證、序列器中心化、無盡的任務MEV用戶Gas費等。
面對這些批評,有的L2把以太坊Maxi的意識形態(tài)當作盾牌,認為去中心化序列器建立獨立/半獨立共識是在跟以太坊解耦。
有的L2則認為L2與以太坊之間是分形關系。去中心化序列器,在某種程度上,是以太坊PoS共識機制在L2層面的分形。
持有這種態(tài)度的L2有Starknet和Metis。其中Starknet為了平衡,選擇1/3的Gas費用協(xié)議代幣STRK支付,可謂是1/3的主權Rollup。而Metis作為“Vitalik他媽的L2”,則在主權Rollup的道路選擇上更加堅定,果斷在本月開啟去中心化序列器測試。
中心化序列器,還是去中心化序列器,這對每條L2都是一個巨大的問題。
這里先拋開以太坊正統(tǒng)性的政治正確不談,而只分析一下L2構建的方法論。
目前L2構建的方法論隱約分出兩派陣容。一派堅持以太坊正統(tǒng)性至上和堅持開發(fā)者至上,以欺詐證明/有效性證明技術方案,實現(xiàn)L2的最小信任化和去中心化。另一派則認同社區(qū)最大和用戶為王,以去中心化序列器+主權Rollup的架構,實現(xiàn)L2的去中心化。
我們無意介入這場紛爭,而只想陳述一個基本事實:web3的協(xié)議不是web2的產品,構建web3協(xié)議的過程更類似構建一個生物圈生態(tài),而不像web2產品那樣是構建一個工業(yè)品。
這就是為什么Metis社區(qū)強調多元、包容、共享的原則,這也是為什么Metis冒著一些以太坊Maxi的質疑依然推動序列器的去中心化。
經(jīng)濟權利下放和社區(qū)共同治理,或許會是L2去中心化道路的那個通關密碼。
最后,在比特幣生態(tài)、模塊化公鏈崛起與以太坊生態(tài)爭奪未來Web3范式定義權之時,以太坊生態(tài)需要克制e/acc沖動,要比以往更加傾聽來自社區(qū)的聲音。