Vitalik:以太坊L2和執行分片的真正區別是什么
發表於 2024-05-23 09:53 作者: 金色財經
Vitalik:以太坊L2和執行分片的真正區別是什么
作者:Vitalik,以太坊創始人;翻譯:0xjs@金色財經
兩年半前,我在關於“以太坊終局”的文章中指出,從技術角度來看,區塊鏈未來發展的不同路徑看起來非常相似。在這兩種情況下,鏈上都有大量的交易,並且處理這些交易需要(i)大量的計算和(ii)大量的數據帶寬。像我用來寫這篇文章的筆記本電腦上運行的2TB reth存檔節點這樣的常規以太坊節點,並不足以直接驗證如此巨大的數據和計算量,即使有偉大的軟件工程作品和Verkle樹。
在“L1分片”和以rollup爲中心的世界中,都使用ZK-SNARKs來驗證計算,並使用DAS(數據可用性採樣)來驗證數據可用性。這兩種情況下的DAS是相同的。兩種情況下的ZK-SNARKs技術也是相同的,區別在於一種是智能合約代碼,另一種是協議的一個嵌入特性。從技術角度來看,以太坊實際上正在進行分片,而rollup是分片的一部分。
這引出了一個自然的問題:這兩個世界之間的區別是什么?一個答案是代碼錯誤的後果不同:在rollup世界中,代幣會丟失,而在分片鏈世界中,會有共識失敗。但我預計隨着協議的固化和形式驗證技術的改進,錯誤的重要性會減少。那么,我們可以預期這兩種愿景的長期差異是什么呢?
執行環境的多樣性
2019年我們在以太坊上短暫嘗試過的一個想法是執行環境。本質上,以太坊會有不同的“區域(zone)”,這些區域可以有不同的账戶工作規則(包括完全不同的方法,如UTXO),虛擬機的工作方式以及其他特性。這將使在以太坊獨立完成所有工作的情況下難以實現的一些方法得以實現。
最終,我們放棄了一些更具雄心的計劃,只保留了EVM。然而,以太坊的L2(包括rollup、valdiums和Plasmas)在某種程度上充當了執行環境的角色。今天,我們通常專注於EVM等效的L2,但這忽略了許多替代方法的多樣性:
Arbitrum Stylus,除了EVM之外還增加了一個基於WASM的第二虛擬機。
Fuel,使用類似比特幣(但更完備)的UTXO架構。
Aztec,引入了一種新的語言和編程範式,旨在圍繞ZK-SNARKs的隱私保護智能合約進行設計。
Fuel的UTXO架構
我們可以嘗試將EVM變成一個覆蓋所有可能範式的超級虛擬機,但這將導致對每個概念的實現效果都遠不如讓像這些平台專注於各自的領域。
安全權衡:規模和速度
以太坊L1提供了非常強的安全保障。如果某些數據在L1上被確認的區塊中,這整個共識(包括在極端情況下的社會共識)都確保數據不會以違反應用程序規則的方式被編輯,任何由數據觸發的執行不會被撤銷,數據也將保持可訪問性。爲了實現這些保證,以太坊L1愿意接受高昂的成本。在撰寫本文時,交易費用相對較低:二層網絡每筆交易費用不到一美分,即使是L1上的基本ETH轉账費用也不到1美元。如果技術進步足夠快,以致於可用區塊空間增長能夠跟上需求,這些成本可能會保持低水平——但也可能不會。而且即使每筆交易0.01美元,對於許多非金融應用(例如社交媒體或遊戲)來說也是太高了。
但社交媒體和遊戲不需要L1相同的安全模型。如果有人花一百萬美元來撤銷他們輸掉的一場棋局的記錄,或使你的推文看起來像是在實際發布後三天發布的,這也是可以接受的。因此,這些應用不應該爲相同的安全成本付出代價。一個以L2爲中心的方法使這一點成爲可能,通過支持從rollup到plasma再到validiums的各種數據可用性方法。
不同用例,不同L2類型
另一個安全權衡出現在從L2到L2傳遞資產的問題上。預計在5-10年後,所有rollup都會是ZK rollup,超高效的證明系統如Binius和Circle STARKs結合查找和證明聚合層,將使L2能夠在每個slot提供最終狀態根。目前,我們有復雜的混合樂觀rollup和ZK rollup,各種證明時間窗口。如果我們在2021年實施了執行分片,保持分片誠實的安全模型將是樂觀rollup,而不是ZK——因此L1將不得不管理系統復雜的欺詐證明邏輯,並有資產從分片轉移到分片的一周等待期。但我認爲這個問題最終也是暫時的。
第三個也是同樣持久的安全權衡維度是交易速度。以太坊每12秒生成一個區塊,不愿意更快,因爲那樣會過度中心化網絡。然而,許多L2正在探索幾百毫秒的區塊時間。12秒已經不算太糟糕了:平均而言,用戶提交一筆交易需要等待約6-7秒才能被包含到區塊中(不僅僅是6秒,因爲有可能下一個區塊不會包含它們)。這與我用信用卡付款時的等待時間差不多。但許多應用需要更高的速度,L2提供了這一點。
爲了提供更高的速度,L2依賴預確認機制:L2自己的驗證者數字籤名承諾在特定時間包含交易,如果交易未被包含,他們可能會受到懲罰。一種稱爲StakeSure的機制進一步概括了這一點。
L2預確認
我們可以嘗試在L1上做所有這些。L1可以結合“快速預確認”和“慢速最終確認”系統。它可以結合不同安全級別的分片。然而,這會給協議增加很多復雜性。此外,全部在L1上進行會有過度超載共識的風險,因爲許多更高規模或更快吞吐量的方法有更高的中心化風險或需要更強形式的“治理”,如果在L1上進行,這些更強要求的影響會波及到協議的其他部分。通過L2提供這些權衡,以太坊可以大部分避免這些風險。
L2在組織和文化上的優勢
想象一個國家被分成兩半,一半變成資本主義,另一半變成高度政府主導的社會(與現實中的這種情況不同,假設在這個思想實驗中,它不是任何種類的創傷性战爭的結果;而是某一天一條邊界神奇地出現了,僅此而已)。在資本主義部分,餐館由各種去中心化所有權、連鎖店和特許經營運營。在政府主導的部分,它們都是政府的分支機構,比如警察局。第一天,不會有太大變化。人們大體上遵循現有的習慣,什么有效,什么無效取決於技術現實,如勞動技能和基礎設施。一年後,你會期望看到大的變化,因爲不同的激勵和控制結構導致行爲的大變化,影響到誰來,誰留下,誰離开,建什么,維護什么,以及什么被遺棄。
工業組織理論涵蓋了許多這些區別:它不僅談論政府運行的經濟與資本主義經濟之間的區別,還討論了由大型特許經營主導的經濟與例如每個超市由獨立企業家運營的經濟之間的區別。我認爲,以L1爲中心的生態系統和以L2爲中心的生態系統之間的區別也類似。
“核心人員運行一切”的架構會出很大問題
以太坊作爲一個二層網絡爲中心的生態系統的關鍵好處可以表述如下:
以太坊是一個以L2爲中心的生態系統,你可以自由獨立地構建一個屬於你的子生態系統,具有你獨特的特性,同時又是更大以太坊的一部分。
如果你只是在構建以太坊客戶端,你是更大以太坊的一部分,雖然你有一定的創造力空間,但比起L2要少得多。如果你在構建一個完全獨立的鏈,你有最大的創造力空間,但你失去了共享安全性和共享網絡效應的好處。L2形成了一個快樂的中間地帶。
L2不僅創造了一個技術機會,可以實驗新的執行環境和安全權衡以實現規模、靈活性和速度:它們還爲开發者構建和維護它、以及社區圍繞它形成和支持它創造了激勵。
事實是,每個L2是孤立的,這意味着部署新方法是無許可的:不需要說服所有核心开發者你的新方法對鏈的其余部分是“安全的”。如果你的L2失敗,那是你的責任。任何人都可以致力於完全奇怪的想法(例如Intmax對Plasma的方法),即使它們完全被以太坊核心开發者忽略,他們也可以繼續構建並最終部署。L1特性和預編譯不是這樣的,即使在以太坊,L1开發成功和失敗的決定往往取決於比我們希望的更多的政治因素。無論理論上可以構建什么,L1爲中心的生態系統和L2爲中心的生態系統創造的不同激勵最終會極大地影響實際構建的東西,其質量和順序。
以太坊以L2爲中心的生態系統面臨的挑战
1 層 + 2 層架構也會出問題
這種以L2爲中心的方法面臨一個關鍵挑战是協調,而L1爲中心的生態系統幾乎不需要面對這個問題。換句話說,盡管以太坊分支出去,挑战在於保持它仍然感覺像“以太坊”,並具有作爲以太坊而不是N個獨立鏈的網絡效應。今天的情況在很多方面並不理想:
將代幣從一個L2移動到另一個L2通常需要中心化的橋接平台,對於普通用戶來說很復雜。如果你在Optimism上有代幣,你不能只是將別人的Arbitrum地址粘貼到你的錢包中,然後發送資金。
跨鏈智能合約錢包支持不好——無論是個人智能合約錢包還是組織錢包(包括DAO)。如果你在一個L2上更改了你的密鑰,你還需要在每個其他L2上更改你的密鑰。
去中心化的驗證基礎設施往往缺乏。以太坊終於开始有像Helios這樣的優秀輕客戶端。然而,如果活動都發生在需要自己集中RPC的L2上,這沒有意義。原則上,一旦你有了以太坊頭鏈(header chain),爲L2制作輕客戶端並不難;實際上,強調它的人太少了。
有努力在改善所有這三方面。對於跨鏈代幣交換,ERC-7683標准是一個新興的選項,不像現有的“中心化橋”,它沒有任何固定的中心運營商、代幣或治理。對於跨鏈账戶,大多數錢包採取的方法是在短期內使用跨鏈可重放消息來更新密鑰(cross-chain replayable messages to update keys),長期則使用密鑰存儲rollup。L2的輕客戶端开始出現,如Beerus for Starknet。此外,通過下一代錢包,用戶體驗的最新改進已經解決了許多更基本的問題,如消除用戶手動切換到正確網絡訪問dapp的需求。
Rabby 展示了跨多條鏈的資產余額的綜合視圖。在不久前的黑暗時代,錢包還沒有做到這一點!
但需要認識到,以L2爲中心的生態系統在協調時確實在某種程度上逆流而上。單個L2沒有自然的經濟激勵來建立協調基礎設施:小的沒有,因爲它們只會看到其貢獻的小份額好處,而大的也沒有,因爲它們會從加強自己的本地網絡效應中受益更多。如果每個L2單獨優化其個別部分,沒有人考慮每個部分如何適應更大的整體,我們會得到上文幾段中的圖片所示的城市化反烏托邦。
我不聲稱對這個問題有神奇的完美解決方案。我所能說的最好的建議是,生態系統需要更充分地認識到跨L2基礎設施是一種以太坊基礎設施,應該像L1客戶端、开發工具和編程語言一樣被重視和資助。我們有Protocol Guild;也許我們還需要基礎設施公會。
結論
“L2”和“分片”常常被描述爲兩種相反的區塊鏈擴展策略。但當你看底層技術時,會讓人費解:實際的底層擴展方法完全相同。你有某種數據分片。你有欺詐證明者或ZK-SNARKs證明者。你有跨{rollup,分片}通信的解決方案。主要區別是:誰負責構建和更新這些部分,它們有多大的自主權?
從技術角度來說,以L2爲中心的生態系統就是分片,可以按照自己的規則創建自己的分片。這種分片功能強大,可以激發創造力和自主創新。但它也面臨關鍵挑战,特別是在協調方面。爲了使像以太坊這樣的L2爲中心的生態系統成功,它需要理解這些挑战,並直接面對它們,以盡可能多地獲得L1爲中心生態系統的好處,並盡可能接近擁有兩者的最佳狀態。
標題:Vitalik:以太坊L2和執行分片的真正區別是什么
地址:https://www.coinsdeep.com/article/126910.html
鄭重聲明:本文版權歸原作者所有,轉載文章僅為傳播信息之目的,不構成任何投資建議,如有侵權行為,請第一時間聯絡我們修改或刪除,多謝。
上一篇