按：本文爲(For)以(By)太坊創始人(People)Vitalik近期發表的(Of)“以(By)太坊協議的(Of)未來發展”系列文章的(Of)第二部分“Possible futures for the Ethereum protocol, part 2: The Surge”，第一(One)部分見金色财經此前報道“以(By)太坊PoS還有哪些可以(By)改進”。由金色财經鄧通編譯，以(By)下爲(For)第二部分全文：

一(One)開始，以(By)太坊的(Of)路線圖中有兩種擴展策略。

其中之一(One)是(Yes)“分片（sharding）”：每個(Indivual)節點隻需要(Want)驗證和(And)存儲一(One)小部分交易，而不(No)是(Yes)驗證和(And)存儲鏈中的(Of)所有交易。這(This)也是(Yes)任何其他(He)點對點網絡（例如 BitTorrent）的(Of)工作(Do)原理，因此我們當然可以(By)使區塊鏈以(By)同樣的(Of)方式工作(Do)。

另一(One)個(Indivual)是(Yes) 2 層協議：網絡将位于(At)以(By)太坊之上(Superior)，使它們能夠充分受益于(At)其安全性，同時(Hour)使大(Big)多數數據和(And)計算遠離主鏈。 “2 層協議”指的(Of)是(Yes) 2015 年的(Of)狀态通道、2017 年的(Of) Plasma，以(By)及 2019 年的(Of) Rollups。Rollup 比狀态通道或 Plasma 更強大(Big)，但它們需要(Want)大(Big)量的(Of)鏈上(Superior)數據帶寬。

幸運的(Of)是(Yes)，到 2019 年，分片研究已經解決了(Got it)大(Big)規模驗證“數據可用(Use)性”的(Of)問題。結果，兩條路徑融合了(Got it)，我們得到了(Got it)以(By)Rollup爲(For)中心的(Of)路線圖，這(This)仍然是(Yes)以(By)太坊今天的(Of)擴展策略。

The Surge，2023 年路線圖版。

以(By)Rollup爲(For)中心的(Of)路線圖提出(Out)了(Got it)一(One)個(Indivual)簡單的(Of)分工：以(By)太坊 L1 專注于(At)成爲(For)一(One)個(Indivual)強大(Big)且去中心化的(Of)基礎層，而 L2 則承擔幫助生态系統擴展的(Of)任務。這(This)是(Yes)社會各處反複出(Out)現的(Of)模式：法院系統（L1）并不(No)是(Yes)爲(For)了(Got it)超快速和(And)高效，而是(Yes)爲(For)了(Got it)保護合同和(And)财産權，而企業家（L2）則需要(Want)在(Exist)此基礎上(Superior)進行構建堅固的(Of)基礎層并将人(People)類帶到（隐喻和(And)字面上(Superior)的(Of)）火星。

今年，以(By)Rollup爲(For)中心的(Of)路線圖取得了(Got it)重要(Want)成功：以(By)太坊 L1 數據帶寬通過 EIP-4844 blob 大(Big)幅增加，并且多個(Indivual) EVM Rollup現在(Exist)處于(At)第一(One)階段。分片的(Of)非常異構和(And)多元化的(Of)實現，其中每個(Indivual) L2 充當具有自己的(Of)内部規則和(And)邏輯的(Of)“碎片”現在(Exist)已成爲(For)現實。但正如我們所看到的(Of)，走這(This)條路有其自身的(Of)一(One)些獨特的(Of)挑戰。因此，現在(Exist)我們的(Of)任務是(Yes)完成以(By) Rollup 爲(For)中心的(Of)路線圖，并解決這(This)些問題，同時(Hour)保留使以(By)太坊 L1 與衆不(No)同的(Of)穩健性和(And)去中心化性。

Surge：關鍵目标

L1+L2 上(Superior) 100,000+ TPS

保持 L1 的(Of)去中心化和(And)穩健性

至少一(One)些 L2 完全繼承了(Got it)以(By)太坊的(Of)核心屬性（去信任、開放、抗審查）

L2 之間的(Of)最大(Big)互操作(Do)性。以(By)太坊應該感覺像是(Yes)一(One)個(Indivual)生态系統，而不(No)是(Yes) 34 個(Indivual)不(No)同的(Of)區塊鏈。

可擴展性的(Of)三難困境

可擴展性不(No)可能三角是(Yes) 2017 年提出(Out)的(Of)一(One)個(Indivual)想法，它認爲(For)區塊鏈的(Of)三個(Indivual)屬性之間存在(Exist)緊張關系：去中心化（更具體地說：運行節點的(Of)低成本）、可擴展性（更具體地說：處理大(Big)量交易）和(And)安全性（更具體地說：攻擊者需要(Want)破壞整個(Indivual)網絡中的(Of)大(Big)部分節點才能使單個(Indivual)交易失敗）。

值得注意的(Of)是(Yes)，三難困境不(No)是(Yes)定理，介紹三難困境的(Of)帖子沒有附帶數學證明。它給出(Out)了(Got it)一(One)個(Indivual)啓發式的(Of)數學論證：如果一(One)個(Indivual)去中心化友好的(Of)節點（例如消費者筆記本電腦）每秒可以(By)驗證 N 個(Indivual)交易，并且您有一(One)個(Indivual)每秒處理 k*N 個(Indivual)交易的(Of)鏈，那麽（i）每個(Indivual)交易隻能被看到1/k 的(Of)節點，這(This)意味着攻擊者隻需破壞幾個(Indivual)節點即可推動不(No)良交易，或者 (ii) 您的(Of)節點将變得強大(Big)并且您的(Of)鏈不(No)是(Yes)去中心化的(Of)。這(This)篇文章的(Of)目的(Of)從來不(No)是(Yes)爲(For)了(Got it)表明打破三難困境是(Yes)不(No)可能的(Of)；相反，它是(Yes)爲(For)了(Got it)表明打破三難困境是(Yes)困難的(Of)——它需要(Want)以(By)某種方式跳出(Out)論證所暗示的(Of)框框進行思考。

多年來，一(One)些高性能鏈經常聲稱他(He)們解決了(Got it)三難困境，而沒有在(Exist)基礎架構層面采取任何巧妙的(Of)措施，通常是(Yes)通過使用(Use)軟件工程技巧來優化節點。這(This)總是(Yes)具有誤導性，并且在(Exist)此類鏈中運行節點總是(Yes)比在(Exist)以(By)太坊中困難得多。這(This)篇文章探讨了(Got it)爲(For)什麽會出(Out)現這(This)種情況的(Of)許多微妙之處（以(By)及爲(For)什麽 L1 客戶端軟件工程無法單獨擴展以(By)太坊本身）。

然而，數據可用(Use)性采樣（DAS）和(And) SNARK 的(Of)結合确實解決了(Got it)三難困境：它允許客戶端驗證一(One)定數量的(Of)數據是(Yes)否可用(Use)，以(By)及是(Yes)否正确執行了(Got it)一(One)定數量的(Of)計算步驟，同時(Hour)僅下載該數據的(Of)一(One)小部分并且運行的(Of)計算量要(Want)小得多。 SNARK 是(Yes)不(No)可信的(Of)。數據可用(Use)性采樣具有微妙的(Of)少數 N 信任模型，但它保留了(Got it)不(No)可擴展鏈所具有的(Of)基本屬性，即使 51% 攻擊也無法迫使網絡接受壞塊。

解決三難困境的(Of)另一(One)種方法是(Yes) Plasma 架構，它使用(Use)巧妙的(Of)技術以(By)激勵兼容的(Of)方式将監視數據可用(Use)性的(Of)責任推給用(Use)戶。早在(Exist) 2017-2019 年，當我們擴展計算所需的(Of)隻是(Yes)欺詐證明時(Hour)，Plasma 的(Of)安全功能非常有限，但 SNARK 的(Of)主流化使得 Plasma 架構比以(By)前更适用(Use)于(At)更廣泛的(Of)用(Use)例。

DAS的(Of)進一(One)步進展

我們要(Want)解決什麽問題？

截至 2024 年 3 月 13 日，當 Dencun 升級上(Superior)線時(Hour)，以(By)太坊區塊鏈每 12 秒時(Hour)段有 3 個(Indivual)約 125 kB 的(Of)“blob”，或者每個(Indivual)時(Hour)段約 375 kB 的(Of)數據可用(Use)帶寬。假設交易數據直接發布到鏈上(Superior)，ERC20傳輸約爲(For)180字節，因此以(By)太坊上(Superior)rollups的(Of)最大(Big)TPS爲(For)：

375000 / 12 / 180 = 173.6 TPS

如果我們添加以(By)太坊的(Of) calldata（理論最大(Big)值：每個(Indivual)插槽 3000 萬個(Indivual) Gas / 每字節 16 個(Indivual) Gas = 每個(Indivual)插槽 1,875,000 字節），這(This)将變爲(For) 607 TPS。對于(At) PeerDAS，計劃将 blob 計數目标增加到 8-16，這(This)将爲(For)我們提供 463-926 TPS 的(Of) calldata。

這(This)相對于(At)以(By)太坊 L1 來說是(Yes)一(One)個(Indivual)重大(Big)的(Of)提升，但這(This)還不(No)夠。我們想要(Want)更多的(Of)可擴展性。我們的(Of)中期目标是(Yes)每個(Indivual)插槽 16 MB，如果與彙數據壓縮的(Of)改進相結合，将爲(For)我們提供約 58,000 TPS。

PeerDAS是(Yes)什麽以(By)及它是(Yes)如何工作(Do)的(Of)？

PeerDAS 是(Yes)“一(One)維采樣”的(Of)相對簡單的(Of)實現。以(By)太坊中的(Of)每個(Indivual) blob 都是(Yes) 253 位素數域上(Superior)的(Of) 4096 次多項式。我們廣播多項式的(Of)“份額”，其中每個(Indivual)份額由從總共 8192 個(Indivual)坐标集中獲取的(Of)相鄰 16 個(Indivual)坐标處的(Of) 16 個(Indivual)評估組成。 8192 次評估中的(Of)任意 4096 次（使用(Use)當前建議的(Of)參數：128 個(Indivual)可能樣本中的(Of)任意 64 個(Indivual)）都可以(By)恢複該 blob。

PeerDAS 的(Of)工作(Do)原理是(Yes)讓每個(Indivual)客戶端偵聽少量子網，其中第 i 個(Indivual)子網廣播任何 Blob 的(Of)第 i 個(Indivual)樣本，并另外通過詢問全球 p2p 網絡中的(Of)對等方來請求其他(He)子網上(Superior)所需的(Of) Blob （誰會監聽不(No)同的(Of)子網）。更保守的(Of)版本 SubnetDAS 僅使用(Use)子網機制，沒有額外的(Of)請求對等層。當前的(Of)建議是(Yes)參與權益證明的(Of)節點使用(Use) SubnetDAS，其他(He)節點（即“客戶端”）使用(Use) PeerDAS。

理論上(Superior)，我們可以(By)将 1D 采樣擴展得相當遠：如果我們将 blob 計數最大(Big)值增加到 256（因此，目标爲(For) 128），那麽我們将達到 16 MB 目标，而數據可用(Use)性采樣隻需每個(Indivual)節點花費 16 個(Indivual)樣本 * 128 blobs * 每個(Indivual) blob 每個(Indivual)樣本 512 字節 = 每個(Indivual)槽 1 MB 的(Of)數據帶寬。這(This)剛好在(Exist)我們的(Of)容忍範圍之内：它是(Yes)可行的(Of)，但這(This)意味着帶寬受限的(Of)客戶端無法采樣。我們可以(By)通過減少 blob 數量和(And)增加 blob 大(Big)小來對此進行優化，但這(This)會使重建更加昂貴。

因此最終我們想要(Want)更進一(One)步，進行 2D 采樣，它不(No)僅通過在(Exist)blob内進行随機采樣，而且還在(Exist)blob之間進行随機采樣。 KZG 承諾的(Of)線性屬性用(Use)于(At)通過對相同信息進行冗餘編碼的(Of)新“虛拟 blob”列表來“擴展”區塊中的(Of) blob 集。

2D sampling.來源：a16z 

至關重要(Want)的(Of)是(Yes)，計算承諾的(Of)擴展不(No)需要(Want) blob，因此該方案從根本上(Superior)對分布式塊構建是(Yes)友好的(Of)。實際構建區塊的(Of)節點隻需要(Want)有 Blob KZG 承諾，并且自己可以(By)依賴 DAS 來驗證 Blob 的(Of)可用(Use)性。 1D DAS 本質上(Superior)對分布式區塊構建也很友好。

與現有研究有哪些聯系？

介紹數據可用(Use)性的(Of)原始文章（2018）：https://github.com/ethereum/research/wiki/A-note-on-data-availability-and-erasure-coding

後續論文：https://arxiv.org/abs/1809.09044

DAS 的(Of)解釋者帖子，範式：https://www.paradigm.xyz/2022/08/das

KZG 承諾的(Of) 2D 可用(Use)性：https://ethresear.ch/t/2d-data-availability-with-kate-commitments/8081

ethresear.ch 上(Superior)的(Of) PeerDAS： https://ethresear.ch/t/peerdas-a-simpler-das-approach-using-battle-tested-p2p-components/16541 和(And)論文：https://eprint.iacr.org/2024/1362

EIP-7594：https://eips.ethereum.org/EIPS/eip-7594

ethresear.ch 上(Superior)的(Of) SubnetDAS：https://ethresear.ch/t/subnetdas-an-intermediate-das-approach/17169

2D 采樣中可恢複性的(Of)細微差别：https://ethresear.ch/t/nuances-of-data-recoverability-in-data-availability-sampling/16256

還需要(Want)做什麽，需要(Want)權衡什麽？

下一(One)步是(Yes)完成 PeerDAS 的(Of)實施和(And)推出(Out)。從那時(Hour)起，不(No)斷增加 PeerDAS 上(Superior)的(Of) blob 計數是(Yes)一(One)項漸進的(Of)工作(Do)，同時(Hour)仔細觀察網絡并改進軟件以(By)确保安全。與此同時(Hour)，我們希望開展更多關于(At) PeerDAS 和(And)其他(He)版本的(Of) DAS 形式化及其與分叉選擇規則安全性等問題的(Of)交互方面的(Of)學術工作(Do)。

展望未來，我們需要(Want)做更多的(Of)工作(Do)來找出(Out) 2D DAS 的(Of)理想版本并證明其安全特性。我們還希望最終從 KZG 遷移到抗量子、無需可信設置的(Of)替代方案。目前，我們不(No)知道有哪些候選者對分布式區塊構建友好。即使使用(Use)遞歸 STARK 來生成重建行和(And)列的(Of)有效性證明的(Of)昂貴“強力”技術也不(No)夠，因爲(For)從技術上(Superior)講，STARK 的(Of)哈希值大(Big)小爲(For) O(log(n) * log(log(n)) (與 STIR），實際上(Superior) STARK 幾乎和(And)整個(Indivual)斑點一(One)樣大(Big)。

從長遠來看，我認爲(For)現實的(Of)路徑是(Yes)：

• 理想的(Of) 2D DAS 工具；

• 堅持使用(Use) 1D DAS，爲(For)了(Got it)簡單性和(And)robustness而犧牲采樣帶寬效率并接受較低的(Of)數據上(Superior)限；

• （硬樞軸）放棄 DA，并完全擁抱 Plasma 作(Do)爲(For)我們關注的(Of)主要(Want)第 2 層架構。

我們可以(By)通過權衡範圍來看待這(This)些：

請注意，即使我們決定直接在(Exist) L1 上(Superior)擴展執行，這(This)種選擇仍然存在(Exist)。這(This)是(Yes)因爲(For)如果 L1 要(Want)處理大(Big)量 TPS，L1 塊将變得非常大(Big)，客戶将需要(Want)一(One)種有效的(Of)方法來驗證它們是(Yes)否正确，因此我們必須使用(Use)支持Rollup的(Of)相同技術（ZK-EVM 和(And)DAS）和(And) L1。

它如何與路線圖的(Of)其他(He)部分交互？

如果實施數據壓縮（見下文），對 2D DAS 的(Of)需求會有所減少，或者至少會延遲，如果 Plasma 得到廣泛使用(Use)，則對 2D DAS 的(Of)需求會進一(One)步減少。 DAS 也對分布式區塊構建協議和(And)機制提出(Out)了(Got it)挑戰：雖然 DAS 理論上(Superior)對分布式重構很友好，但在(Exist)實踐中需要(Want)與包含列表提案及其周圍的(Of)分叉選擇機制相結合。

數據壓縮（Data compression）

我們要(Want)解決什麽問題？

Rollup 中的(Of)每筆交易都會占用(Use)大(Big)量鏈上(Superior)數據空間：ERC20 傳輸大(Big)約需要(Want) 180 個(Indivual)字節。即使采用(Use)理想的(Of)數據可用(Use)性采樣，這(This)也會限制第 2 層協議的(Of)可擴展性。每個(Indivual)插槽 16 MB，我們得到：

16000000 / 12 / 180 = 7407 TPS

如果除了(Got it)解決分子之外，我們還可以(By)解決分母，并使Rollup中的(Of)每個(Indivual)交易在(Exist)鏈上(Superior)占用(Use)更少的(Of)字節怎麽辦？

它是(Yes)什麽以(By)及它是(Yes)如何工作(Do)的(Of)？

我認爲(For)最好的(Of)解釋是(Yes)兩年前的(Of)這(This)張圖：

最簡單的(Of)增益就是(Yes)零字節壓縮：用(Use)兩個(Indivual)表示零字節數量的(Of)字節替換每個(Indivual)長的(Of)零字節序列。更進一(One)步，我們利用(Use)交易的(Of)特定屬性：

• 簽名聚合 - 我們從 ECDSA 簽名切換到 BLS 簽名，BLS 簽名具有可以(By)将許多簽名組合在(Exist)一(One)起形成單個(Indivual)簽名的(Of)屬性，該簽名可以(By)證明所有原始簽名的(Of)有效性。 L1 沒有考慮這(This)一(One)點，因爲(For)驗證的(Of)計算成本（即使使用(Use)聚合）也更高，但在(Exist)像 L2 這(This)樣的(Of)數據稀缺環境中，它們可以(By)說是(Yes)有意義的(Of)。 ERC-4337 的(Of)聚合功能提供了(Got it)實現此目的(Of)的(Of)一(One)種途徑。

• 用(Use)指針替換地址 - 如果以(By)前使用(Use)過地址，我們可以(By)用(Use)指向曆史位置的(Of) 4 字節指針替換 20 字節地址。這(This)是(Yes)實現最大(Big)收益所必需的(Of)，盡管需要(Want)付出(Out)努力才能實現，因爲(For)它需要(Want)（至少一(One)部分）區塊鏈的(Of)曆史才能有效地成爲(For)國(Country)家的(Of)一(One)部分。

• 交易值的(Of)自定義序列化 - 大(Big)多數交易值隻有很少的(Of)數字，例如。 0.25 ETH 表示爲(For) 250,000,000,000,000,000 wei。 Gas max-basefees 和(And)優先級費用(Use)的(Of)工作(Do)原理類似。因此，我們可以(By)使用(Use)自定義十進制浮點格式，甚至是(Yes)特别常見值的(Of)字典，非常緊湊地表示大(Big)多數貨币值。

與現有研究有哪些聯系？

來自sequence.xyz的(Of)探索：https://sequence.xyz/blog/compressing-calldata

針對 L2 的(Of) Calldata 優化合約，來自 ScopeLift：https://github.com/ScopeLift/l2-optimizoooors

另一(One)種策略 - 基于(At)有效性證明的(Of)Rollup（又名 ZKRollup）發布狀态差異而不(No)是(Yes)交易：https://ethresear.ch/t/rollup-diff-compression-application-level-compression-strategies-to-reduce-the-l2-data-footprint-on-l1/9975 上(Superior)的(Of)-l2-數據足迹

BLS 錢包 - 通過 ERC-4337 實現 BLS 聚合：https://github.com/getwax/bls-wallet

還需要(Want)做什麽，需要(Want)權衡什麽？

剩下要(Want)做的(Of)主要(Want)工作(Do)就是(Yes)将上(Superior)述方案落到實處。主要(Want)的(Of)權衡是(Yes)：

• 切換到 BLS 簽名需要(Want)付出(Out)巨大(Big)的(Of)努力，并且會降低與可提高安全性的(Of)可信硬件芯片的(Of)兼容性。可以(By)使用(Use)其他(He)簽名方案的(Of) ZK-SNARK 包裝器來替代它。

• 動态壓縮（例如用(Use)指針替換地址）使客戶端代碼變得複雜。

• 将狀态差異發布到鏈而不(No)是(Yes)交易會降低可審計性，并使許多軟件（例如區塊浏覽器）無法工作(Do)。

它如何與路線圖的(Of)其他(He)部分交互？

ERC-4337 的(Of)采用(Use)，以(By)及最終将其部分内容納入 L2 EVM 中，可以(By)大(Big)大(Big)加快聚合技術的(Of)部署。将 ERC-4337 的(Of)部分内容納入 L1 可以(By)加速其在(Exist) L2 上(Superior)的(Of)部署。

廣義Plasma

我們要(Want)解決什麽問題？

即使使用(Use) 16 MB blob 和(And)數據壓縮，58,000 TPS 也不(No)一(One)定足以(By)完全接管消費者支付、去中心化社交或其他(He)高帶寬領域，如果我們開始考慮隐私，情況就尤其如此，這(This)可能會使可擴展性下降 3 -8x。對于(At)大(Big)容量、低價值的(Of)應用(Use)程序，當今的(Of)一(One)個(Indivual)選擇是(Yes) validium，它使數據處于(At)鏈下狀态，并具有有趣的(Of)安全模型，操作(Do)員無法竊取用(Use)戶的(Of)資金，但它們可以(By)消失并暫時(Hour)或永久凍結所有用(Use)戶的(Of)資金資金。但我們可以(By)做得更好。

它是(Yes)什麽以(By)及它是(Yes)如何工作(Do)的(Of)？

Plasma 是(Yes)一(One)種擴展解決方案，涉及運營商在(Exist)鏈外發布區塊，并将這(This)些區塊的(Of) Merkle 根放在(Exist)鏈上(Superior)（與 Rollups 不(No)同，rollups 是(Yes)将整個(Indivual)區塊放在(Exist)鏈上(Superior)）。對于(At)每個(Indivual)區塊，運營商向每個(Indivual)用(Use)戶發送一(One)個(Indivual) Merkle 分支，證明該用(Use)戶的(Of)資産發生了(Got it)什麽或沒有發生什麽。用(Use)戶可以(By)通過提供Merkle分支來提取資産。重要(Want)的(Of)是(Yes)，該分支不(No)必紮根于(At)最新狀态 - 因此，即使數據可用(Use)性失敗，用(Use)戶仍然可以(By)通過撤回可用(Use)的(Of)最新狀态來恢複其資産。如果用(Use)戶提交無效分支（例如，退出(Out)他(He)們已經發送給其他(He)人(People)的(Of)資産，或者運營商自己憑空創建資産），鏈上(Superior)挑戰機制可以(By)裁定該資産正确屬于(At)誰。

Plasma Cash 鏈圖。花費币 i 的(Of)交易被放入樹中的(Of)第 i 個(Indivual)位置。在(Exist)這(This)個(Indivual)例子中，假設所有之前的(Of)樹都是(Yes)有效的(Of)，我們知道 Eve 目前擁有硬币 1，David 擁有硬币 4，George 擁有硬币 6。

Plasma 的(Of)早期版本隻能處理支付用(Use)例，無法有效地進一(One)步推廣。然而，如果我們要(Want)求每個(Indivual)根都用(Use) SNARK 進行驗證，那麽 Plasma 就會變得更強大(Big)。每個(Indivual)挑戰遊戲都可以(By)大(Big)大(Big)簡化，因爲(For)我們消除了(Got it)操作(Do)員作(Do)弊的(Of)大(Big)多數可能路徑。新的(Of)路徑也開辟了(Got it)，使 Plasma 技術能夠擴展到更廣泛的(Of)資産類别。最後，在(Exist)運營商不(No)作(Do)弊的(Of)情況下，用(Use)戶可以(By)立即提取資金，無需等待一(One)周的(Of)挑戰期。

制作(Do) EVM Plasma鏈的(Of)一(One)種方法（不(No)是(Yes)唯一(One)方法）：使用(Use) ZK-SNARK 構建并行 UTXO 樹，反映 EVM 所做的(Of)餘額變化，并定義什麽是(Yes)“同币”的(Of)唯一(One)映射曆史上(Superior)的(Of)不(No)同點。然後可以(By)在(Exist)此基礎上(Superior)構建Plasma結構。

一(One)個(Indivual)重要(Want)的(Of)見解是(Yes) Plasma 系統不(No)需要(Want)完美。即使您隻能保護一(One)部分資産（例如，即使隻是(Yes)過去一(One)周沒有移動的(Of)代币），您也已經大(Big)大(Big)改善了(Got it)超可擴展 EVM 的(Of)現狀，這(This)是(Yes)一(One)個(Indivual)驗證。

另一(One)類結構是(Yes)混合Plasma/rollups結構，例如 Intmax。這(This)些結構将每個(Indivual)用(Use)戶的(Of)非常少量的(Of)數據放在(Exist)鏈上(Superior)（例如 5 字節），通過這(This)樣做，可以(By)獲得介于(At)Plasma和(And)Rollup之間的(Of)屬性：在(Exist) Intmax 情況下，您可以(By)獲得非常高水平的(Of)可擴展性和(And)隐私性，即使在(Exist) 16 MB 世界中，理論上(Superior)容量上(Superior)限也約爲(For) 16,000,000 / 12 / 5 = 266,667 TPS。

與現有研究有哪些聯系？

原始 Plasma 論文：static/file/plasma-deprecated.pdf

Plasma現金：https://ethresear.ch/t/plasma-cash-plasma-with-much-less-per-user-data-checking/1298

Plasma現金流： https://hackmd.io/DgzmJIRjSzCYvl4lUjZXNQ?view#-Exit

Intmax（2023）：https://eprint.iacr.org/2023/1082

還需要(Want)做什麽，需要(Want)權衡什麽？

剩下的(Of)主要(Want)任務是(Yes)将 Plasma 系統投入生産。如上(Superior)所述，“plasma 與 validium”不(No)是(Yes)二元對立：任何 validium 都可以(By)通過将 Plasma 功能添加到退出(Out)機制中來至少提高一(One)點點安全性能。研究部分是(Yes)爲(For)了(Got it)獲得 EVM 的(Of)最佳屬性（在(Exist)信任要(Want)求、最壞情況的(Of) L1 Gas 成本和(And) DoS 脆弱性方面）以(By)及替代的(Of)特定于(At)應用(Use)程序的(Of)結構。此外，Plasma 相對于(At) rollups 的(Of)概念複雜性更大(Big)，需要(Want)通過研究和(And)構建更好的(Of)通用(Use)框架來直接解決。

使用(Use) Plasma 設計的(Of)主要(Want)缺點是(Yes)它們更多地依賴于(At)操作(Do)員并且更難“基于(At)”，盡管混合 Plasma/rollup 設計通常可以(By)避免這(This)個(Indivual)弱點。

它如何與路線圖的(Of)其他(He)部分交互？

Plasma 解決方案越有效，L1 擁有高性能數據可用(Use)性功能的(Of)壓力就越小。将活動移至 L2 還可減少 L1 上(Superior)的(Of) MEV 壓力。

成熟的(Of)L2證明系統

我們要(Want)解決什麽問題？

如今，大(Big)多數Rollup實際上(Superior)還不(No)是(Yes)去信任的(Of)；有一(One)個(Indivual)安全理事會有能力推翻（樂觀或有效性）證明系統的(Of)行爲(For)。在(Exist)某些情況下，證明系統甚至根本不(No)存在(Exist)，或者即使存在(Exist)也僅具有“咨詢”功能。最領先的(Of)是(Yes) (i) 一(One)些特定于(At)應用(Use)程序的(Of)Rollup，例如 Fuel，它們是(Yes)去信任的(Of)，以(By)及 (ii) 截至撰寫本文時(Hour)，Optimism 和(And) Arbitrum，這(This)兩個(Indivual)完整的(Of) EVM Rolup已經實現了(Got it)部分去信任裏程碑稱爲(For)“第一(One)階段”。 Rollups 沒有進一(One)步發展的(Of)原因是(Yes)擔心代碼中的(Of) bug。我們需要(Want)去信任的(Of)Rollup，因此我們需要(Want)正面解決這(This)個(Indivual)問題。

它是(Yes)什麽以(By)及它是(Yes)如何工作(Do)的(Of)？

首先，讓我們回顧一(One)下本文最初介紹的(Of)“stage”系統。還有更詳細的(Of)要(Want)求，但總結如下：

• 第 0 階段：用(Use)戶必須能夠運行節點并同步鏈。如果驗證是(Yes)完全可信/集中的(Of)就可以(By)了(Got it)。

• 第一(One)階段：必須有一(One)個(Indivual)（去信任的(Of)）證明系統，确保隻接受有效的(Of)交易。允許存在(Exist)一(One)個(Indivual)可以(By)推翻證明系統的(Of)安全委員會，但隻有 75% 的(Of)投票門檻。此外，理事會的(Of)法定人(People)數阻止部分（即 26% 以(By)上(Superior)）必須位于(At)構建Rollup的(Of)主要(Want)公司之外。允許使用(Use)功能較弱的(Of)升級機制（例如 DAO），但必須有足夠長的(Of)延遲，以(By)便如果批準惡意升級，用(Use)戶可以(By)在(Exist)升級上(Superior)線之前退出(Out)資金。

• 第二階段：必須有一(One)個(Indivual)（不(No)信任的(Of)）證明系統來确保隻接受有效的(Of)交易。僅當代碼中存在(Exist)可證明的(Of)錯誤時(Hour)，才允許安理會進行幹預，例如。如果兩個(Indivual)冗餘證明系統彼此不(No)一(One)緻，或者如果一(One)個(Indivual)證明系統接受同一(One)塊的(Of)兩個(Indivual)不(No)同的(Of)後狀态根（或者在(Exist)足夠長的(Of)時(Hour)間内不(No)接受任何内容，例如一(One)周）。允許升級機制，但必須有很長的(Of)延遲。

我們的(Of)目标是(Yes)達到第二階段。達到第二階段的(Of)主要(Want)挑戰是(Yes)獲得足夠的(Of)信心，證明證明系統實際上(Superior)足夠值得信賴。有兩種主要(Want)方法可以(By)做到這(This)一(One)點：

• 形式驗證：我們可以(By)使用(Use)現代數學和(And)計算技術來證明（樂觀或有效性）證明系統隻接受通過 EVM 規範的(Of)區塊。這(This)些技術已經存在(Exist)了(Got it)幾十年，但最近的(Of)進步（例如精益 4）使它們更加實用(Use)，而人(People)工智能輔助證明的(Of)進步可能會進一(One)步加速這(This)一(One)趨勢。

• 多重證明者：制作(Do)多重證明系統，并将資金投入這(This)些證明系統和(And)安全委員會（和(And)/或其他(He)具有信任假設的(Of)小工具，例如 TEE）之間的(Of) 2-of-3（或更大(Big)）多重簽名。如果證明系統同意，則安理會沒有權力。如果他(He)們不(No)同意，安理會隻能選擇其中之一(One)，而不(No)能單方面強加自己的(Of)答案。

多證明者的(Of)程式化圖，結合了(Got it)一(One)個(Indivual)樂觀證明系統、一(One)個(Indivual)有效性證明系統和(And)一(One)個(Indivual)安全委員會。

與現有研究有哪些聯系？

EVM K Semantics（2017年起正式驗證工作(Do)）：https://github.com/runtimeverification/evm-semantics

關于(At)多證明者想法的(Of)演示（2022）： https://www.youtube.com/watch?v=6hfVzCWT6YI

Taiko 計劃使用(Use)多重證明：https://docs.taiko.xyz/core-concepts/multi-proofs/

還需要(Want)做什麽，需要(Want)權衡什麽？

對于(At)形式驗證來說，有很多。我們需要(Want)創建 EVM 的(Of)整個(Indivual) SNARK 證明者的(Of)正式驗證版本。這(This)是(Yes)一(One)個(Indivual)極其複雜的(Of)項目，盡管我們已經開始了(Got it)。有一(One)個(Indivual)技巧可以(By)顯著簡化任務：我們可以(By)爲(For)最小虛拟機制作(Do)一(One)個(Indivual)正式驗證的(Of) SNARK 證明者，例如。 RISC-V 或 Cairo，然後在(Exist)該最小 VM 中編寫 EVM 的(Of)實現（并正式證明其與其他(He)一(One)些 EVM 規範的(Of)等效性）。

對于(At)多重證明者來說，還有兩個(Indivual)主要(Want)的(Of)剩餘部分。首先，我們需要(Want)對至少兩個(Indivual)不(No)同的(Of)證明系統有足夠的(Of)信心，它們各自都相當安全，并且如果它們崩潰，它們會因不(No)同且不(No)相關的(Of)原因而崩潰（因此它們不(No)會同時(Hour)崩潰）。其次，我們需要(Want)在(Exist)合并證明系統的(Of)底層邏輯中獲得非常高水平的(Of)保證。這(This)是(Yes)一(One)小段代碼。有多種方法可以(By)使其變得非常小——隻需将資金存儲在(Exist)安全多重簽名合約中，其簽名者是(Yes)代表個(Indivual)人(People)證明系統的(Of)合約——但這(This)需要(Want)付出(Out)高昂的(Of)鏈上(Superior)Gas成本的(Of)代價。需要(Want)在(Exist)效率和(And)安全之間找到某種平衡。

它如何與路線圖的(Of)其他(He)部分交互？

将活動移至 L2 可減少 L1 上(Superior)的(Of) MEV 壓力。

跨L2互操作(Do)性改進

我們要(Want)解決什麽問題？

如今 L2 生态系統的(Of)一(One)大(Big)挑戰是(Yes)用(Use)戶難以(By)操縱。此外，最簡單的(Of)方法通常會重新引入信任假設：集中式橋、RPC 客戶端等等。如果我們認真對待 L2 是(Yes)以(By)太坊一(One)部分的(Of)想法，我們需要(Want)讓使用(Use) L2 生态系統感覺就像使用(Use)統一(One)的(Of)以(By)太坊生态系統一(One)樣。

一(One)個(Indivual)病态糟糕的(Of)例子（甚至是(Yes)危險的(Of)：我個(Indivual)人(People)因爲(For)這(This)裏的(Of)鏈選擇錯誤而損失了(Got it) 100 美元）跨 L2 UX - 雖然這(This)不(No)是(Yes) Polymarket 的(Of)錯，但跨 L2 互操作(Do)性應該是(Yes)錢包和(And)以(By)太坊标準的(Of)責任（ERC） ） 社區。在(Exist)運行良好的(Of)以(By)太坊生态系統中，從 L1 到 L2 或從一(One)個(Indivual) L2 到另一(One)個(Indivual) L2 發送代币應該就像在(Exist)同一(One)個(Indivual) L1 中發送代币一(One)樣。

它是(Yes)什麽以(By)及它是(Yes)如何工作(Do)的(Of)？

跨 L2 互操作(Do)性改進有很多類别。一(One)般來說，提出(Out)這(This)些問題的(Of)方法是(Yes)注意到理論上(Superior)，以(By)Rollup爲(For)中心的(Of)以(By)太坊與 L1 執行分片是(Yes)一(One)樣的(Of)，然後詢問當前的(Of)以(By)太坊 L2 版本在(Exist)實踐中在(Exist)哪些方面與理想的(Of)差距。以(By)下是(Yes)一(One)些：

• 鏈特定地址：鏈（L1、Optimism、Arbitrum...）應該是(Yes)地址的(Of)一(One)部分。一(One)旦實現，隻需将地址放入“發送”字段即可實現跨 L2 發送流程，此時(Hour)錢包可以(By)在(Exist)後台弄清楚如何進行發送（包括使用(Use)橋接協議）。

• 特定于(At)鏈的(Of)支付請求：制作(Do)“向我發送 Z 鏈上(Superior) Y 類型的(Of) X 代币”形式的(Of)消息應該是(Yes)簡單且标準化的(Of)。這(This)有兩個(Indivual)主要(Want)用(Use)例：（i）支付，無論是(Yes)個(Indivual)人(People)對個(Indivual)人(People)還是(Yes)個(Indivual)人(People)對商家的(Of)服務，以(By)及（ii）請求資金的(Of) dapp，例如。上(Superior)面的(Of) Polymarket 例子。

• 跨鏈交換和(And) Gas 支付：應該有一(One)個(Indivual)标準化的(Of)開放協議來表達跨鏈操作(Do)，例如“我在(Exist) Optimism 上(Superior)發送 1 ETH 給在(Exist) Arbitrum 上(Superior)發送 0.9999 ETH 的(Of)人(People)”，以(By)及“我在(Exist) Optimism 上(Superior)發送 0.0001 ETH”任何人(People)在(Exist) Arbitrum 上(Superior)包含此交易”。 ERC-7683 是(Yes)對前者的(Of)嘗試，而 RIP-7755 是(Yes)對後者的(Of)嘗試，盡管兩者都比這(This)些特定用(Use)例更通用(Use)。

• 輕客戶端：用(Use)戶應該能夠實際驗證他(He)們正在(Exist)交互的(Of)鏈，而不(No)僅僅是(Yes)信任 RPC 提供商。 A16z 加密貨币的(Of) Helios 爲(For)以(By)太坊本身做到了(Got it)這(This)一(One)點，但我們需要(Want)将這(This)種去信任性擴展到 L2。 ERC-3668（CCIP-read）是(Yes)實現此目的(Of)的(Of)一(One)種策略。

輕客戶端如何更新其以(By)太坊标頭鏈的(Of)視圖。一(One)旦有了(Got it)标頭鏈，您就可以(By)使用(Use) Merkle 證明來驗證任何狀态對象。一(One)旦你擁有了(Got it)正确的(Of) L1 狀态對象，你就可以(By)使用(Use) Merkle 證明（如果你想檢查預先确認，還可能使用(Use)簽名）來驗證 L2 上(Superior)的(Of)任何狀态對象。Helios 已經做到了(Got it)前者。擴展到後者是(Yes)标準化的(Of)挑戰。

• 密鑰庫錢包：如今，如果您想更新控制智能合約錢包的(Of)密鑰，則必須在(Exist)該錢包所在(Exist)的(Of)所有 N 個(Indivual)鏈上(Superior)執行此操作(Do)。密鑰庫錢包是(Yes)一(One)種技術，允許密鑰存在(Exist)于(At)一(One)個(Indivual)位置（無論是(Yes)在(Exist) L1 上(Superior)，還是(Yes)稍後可能在(Exist) L2 上(Superior)），然後從任何擁有錢包副本的(Of) L2 中讀取。這(This)意味着更新隻需要(Want)發生一(One)次。爲(For)了(Got it)提高效率，密鑰庫錢包要(Want)求 L2 有一(One)種标準化的(Of)方式來無成本地讀取 L1；對此的(Of)兩個(Indivual)建議是(Yes) L1SLOAD 和(And) REMOTESTATICCALL。

密鑰庫錢包如何工作(Do)的(Of)程式化圖表。

• 更激進的(Of)“共享代币橋”想法：想象一(One)個(Indivual)所有 L2 都是(Yes)有效性證明Rollup的(Of)世界，每個(Indivual)插槽都緻力于(At)以(By)太坊。即使在(Exist)這(This)個(Indivual)世界上(Superior)，“本地”将資産從一(One)個(Indivual) L2 轉移到另一(One)個(Indivual) L2 也需要(Want)提取和(And)存款，這(This)需要(Want)支付大(Big)量的(Of) L1 Gas。解決這(This)個(Indivual)問題的(Of)一(One)種方法是(Yes)創建一(One)個(Indivual)共享的(Of)最小Rollup，其唯一(One)功能是(Yes)維護哪個(Indivual) L2 擁有多少種類型的(Of)代币的(Of)餘額，并允許通過一(One)系列交叉來集體更新這(This)些餘額。由任意 L2 發起的(Of) L2 發送操作(Do)。這(This)将允許跨 L2 傳輸發生，而無需每次傳輸支付 L1 Gas，也不(No)需要(Want)基于(At)流動性提供者的(Of)技術（如 ERC-7683）。

• 同步可組合性：允許在(Exist)特定 L2 和(And) L1 之間或多個(Indivual) L2 之間發生同步調用(Use)。這(This)可能有助于(At)提高 defi 協議的(Of)财務效率。前者可以(By)在(Exist)沒有任何跨 L2 協調的(Of)情況下完成；後者需要(Want)共享測序。基于(At)Rollup自動對所有這(This)些技術友好。

與現有研究有哪些聯系？

鏈特定地址：ERC-3770：https://eips.ethereum.org/EIPS/eip-3770

ERC-7683：https://eips.ethereum.org/EIPS/eip-7683

RIP-7755：https://github.com/wilsoncusack/RIPs/blob/cross-l2-call-standard/RIPS/rip-7755.md

滾動密鑰庫錢包設計：https://hackmd.io/@haichen/keystore

Helios: https://github.com/a16z/helios

ERC-3668（有時(Hour)稱爲(For) CCIP-read）：https://eips.ethereum.org/EIPS/eip-3668

Justin Drake 提出(Out)的(Of)“基于(At)（共享）預确認”的(Of)提案：https://ethresear.ch/t/based-preconfirmations/17353

L1SLOAD (RIP-7728):  https://ethereum-magicians.org/t/rip-7728-l1sload-precompile/20388

樂觀中的(Of)遠程調用(Use)：https://github.com/ethereum-optimism/ecosystem-contributions/issues/76

AggLayer，其中包括共享令牌橋的(Of)想法：https://github.com/AggLayer

還需要(Want)做什麽，需要(Want)權衡什麽？

上(Superior)面的(Of)許多例子都面臨着何時(Hour)标準化以(By)及标準化哪些層的(Of)标準困境。如果标準化太早，您可能會面臨劣質解決方案的(Of)風險。如果标準化得太晚，就有可能造成不(No)必要(Want)的(Of)碎片化。在(Exist)某些情況下，既有性能較弱但更容易實施的(Of)短期解決方案，也有“最終正确”但需要(Want)相當長的(Of)時(Hour)間才能實現的(Of)長期解決方案。

本節的(Of)獨特之處在(Exist)于(At)，這(This)些任務不(No)僅僅是(Yes)技術問題：它們也是(Yes)（也許主要(Want)是(Yes)！）社會問題。他(He)們需要(Want) L2 和(And)錢包以(By)及 L1 進行合作(Do)。我們成功處理這(This)個(Indivual)問題的(Of)能力是(Yes)對我們作(Do)爲(For)一(One)個(Indivual)社區團結在(Exist)一(One)起的(Of)能力的(Of)考驗。

它如何與路線圖的(Of)其他(He)部分交互？

這(This)些建議中的(Of)大(Big)多數都是(Yes)“更高層”的(Of)結構，因此不(No)會對 L1 考慮産生太大(Big)影響。一(One)個(Indivual)例外是(Yes)共享排序，它對 MEV 影響很大(Big)。

擴展 L1 上(Superior)的(Of)執行

我們要(Want)解決什麽問題？

如果 L2 變得非常可擴展且成功，但 L1 仍然隻能處理非常少量的(Of)交易，那麽以(By)太坊可能會出(Out)現許多風險：

• ETH 資産的(Of)經濟狀況變得更加危險，進而影響網絡的(Of)長期安全。

• 許多L2受益于(At)與L1上(Superior)高度發達的(Of)金融生态系統的(Of)緊密聯系，如果這(This)個(Indivual)生态系統大(Big)大(Big)削弱，成爲(For)L2（而不(No)是(Yes)獨立的(Of)L1）的(Of)動力就會減弱。

• L2 需要(Want)很長時(Hour)間才能擁有與 L1 完全相同的(Of)安全保證。

• 如果 L2 發生故障（例如，由于(At)惡意操作(Do)或消失的(Of)運營商），用(Use)戶仍然需要(Want)通過 L1 才能恢複其資産。因此，L1 需要(Want)足夠強大(Big)，至少能夠偶爾真正處理 L2 的(Of)高度複雜和(And)混亂的(Of)結束。

出(Out)于(At)這(This)些原因，繼續擴展 L1 本身并确保它能夠繼續适應越來越多的(Of)用(Use)途是(Yes)很有價值的(Of)。

它是(Yes)什麽以(By)及它是(Yes)如何工作(Do)的(Of)？

最簡單的(Of)擴展方法就是(Yes)簡單地增加 Gas 限制。然而，這(This)存在(Exist)中心化 L1 的(Of)風險，從而削弱了(Got it)使以(By)太坊 L1 如此強大(Big)的(Of)另一(One)個(Indivual)重要(Want)屬性：其作(Do)爲(For)強大(Big)基礎層的(Of)可信度。關于(At)簡單 Gas 限制增加到什麽程度是(Yes)可持續的(Of)一(One)直存在(Exist)争論，并且這(This)也會根據其他(He)技術的(Of)實施而發生變化，以(By)使更大(Big)的(Of)區塊更容易驗證（例如曆史到期、無狀态、L1 EVM 有效性證明）。另一(One)個(Indivual)需要(Want)不(No)斷改進的(Of)重要(Want)事情就是(Yes)以(By)太坊客戶端軟件的(Of)效率，它今天比五年前更加優化。有效的(Of) L1 Gas 限制增加策略将涉及加速這(This)些驗證技術。

另一(One)種擴展策略涉及識别特定的(Of)功能和(And)計算類型，這(This)些功能和(And)計算類型可以(By)在(Exist)不(No)損害網絡分散性或其安全屬性的(Of)情況下變得更便宜。這(This)方面的(Of)例子包括：

• EOF - 一(One)種新的(Of) EVM 字節碼格式，對靜态分析更加友好，可以(By)實現更快的(Of)實現。考慮到這(This)些效率，可以(By)給予 EOF 字節碼較低的(Of) Gas 成本。

• 多維 Gas 定價 - 建立單獨的(Of)基本費用(Use)以(By)及計算、數據和(And)存儲的(Of)限制可以(By)增加以(By)太坊 L1 的(Of)平均容量，而不(No)增加其最大(Big)容量（從而産生新的(Of)安全風險）。

• 降低特定操作(Do)碼和(And)預編譯的(Of) Gas 成本 - 從曆史上(Superior)看，我們已經對某些定價過低的(Of)操作(Do)進行了(Got it)幾輪 Gas 成本的(Of)增加，以(By)避免拒絕服務攻擊。我們已經做得較少但可以(By)做更多的(Of)事情，那就是(Yes)降低價格過高的(Of)運營的(Of)Gas 成本。例如，加法比乘法便宜得多，但 ADD 和(And) MUL 操作(Do)碼的(Of)成本目前相同。我們可以(By)使 ADD 更便宜，甚至更簡單的(Of)操作(Do)碼（例如 PUSH）更便宜。 EOF整體來說比較多。

• EVM-MAX 和(And) SIMD：EVM-MAX（“模塊化算術擴展”）是(Yes)一(One)項提議，允許更高效的(Of)原生大(Big)數模塊化數學作(Do)爲(For) EVM 的(Of)單獨模塊。由 EVM-MAX 計算計算出(Out)的(Of)值隻能由其他(He) EVM-MAX 操作(Do)碼訪問，除非故意導出(Out)；這(This)允許有更大(Big)的(Of)空間以(By)優化的(Of)格式存儲這(This)些值。 SIMD（“單指令多數據”）是(Yes)一(One)種允許在(Exist)值數組上(Superior)高效執行相同指令的(Of)提議。兩者一(One)起可以(By)與 EVM 一(One)起創建一(One)個(Indivual)強大(Big)的(Of)協處理器，可用(Use)于(At)更有效地實現加密操作(Do)。這(This)對于(At)隐私協議和(And) L2 證明系統特别有用(Use)，因此它将有助于(At) L1 和(And) L2 擴展。

這(This)些改進将在(Exist)以(By)後關于(At) Splurge 的(Of)文章中更詳細地讨論。

最後，第三種策略是(Yes)原生Rollup（或“内置Rollup，enshrined rollups”）：本質上(Superior)，創建并行運行的(Of) EVM 的(Of)許多副本，從而形成一(One)個(Indivual)與Rollup可以(By)提供的(Of)模型等效的(Of)模型，但更原生地集成到協議中。

與現有研究有哪些聯系？

Polynya 的(Of)以(By)太坊 L1 擴容路線圖：https://polynya.mirror.xyz/epju72rsymfB-JK52_uYI7HuhJ-W_zM735NdP7alkAQ

多維Gas定價：https://vitalik.eth.limo/general/2024/05/09/multidim.html

EIP-7706：https://eips.ethereum.org/EIPS/eip-7706

EOF：https://evmobjectformat.org/

EVM-MAX：https://ethereum-magicians.org/t/eip-6601-evm-modular-arithmetic-extensions-evmmax/13168

SIMD：https://eips.ethereum.org/EIPS/eip-616

原生Rollup：https://mirror.xyz/ohotties.eth/P1qSCcwj2FZ9cqo3_6kYI4S2chW5K5tmEgogk6io1GE

采訪 Max Resnick 關于(At)擴展 L1 的(Of)價值：https://x.com/BanklessHQ/status/1831319419739361321

Justin Drake 關于(At)使用(Use) SNARK 和(And)原生Rollup進行擴展：https://www.reddit.com/r/ethereum/comments/1f81ntr/comment/llmfi28/

還需要(Want)做什麽，需要(Want)權衡什麽？

L1 擴展有三種策略，可以(By)單獨或并行執行：

• 改進技術（例如客戶端代碼、無狀态客戶端、曆史過期）使 L1 更容易驗證，然後提高 Gas 限制

• 降低特定操作(Do)的(Of)成本，在(Exist)不(No)增加最壞情況風險的(Of)情況下提高平均容量

• 原生Rollup（即“創建 EVM 的(Of) N 個(Indivual)并行副本”，盡管可能爲(For)開發人(People)員在(Exist)部署副本的(Of)參數方面提供了(Got it)很大(Big)的(Of)靈活性）

值得理解的(Of)是(Yes)，這(This)些是(Yes)具有不(No)同權衡的(Of)不(No)同技術。例如，原生Rollup在(Exist)可組合性方面與常規Rollup有許多相同的(Of)弱點：您無法發送單個(Indivual)事務來跨多個(Indivual)事務同步執行操作(Do)，就像您可以(By)在(Exist)同一(One) L1（或 L2）上(Superior)處理合約一(One)樣。提高 Gas 限制會剝奪通過使 L1 更易于(At)驗證而可以(By)實現的(Of)其他(He)好處，例如增加運行驗證節點的(Of)用(Use)戶比例以(By)及增加單獨的(Of)抵押者。使 EVM 中的(Of)特定操作(Do)更便宜（具體取決于(At)操作(Do)方式）可能會增加 EVM 的(Of)總體複雜性。

任何 L1 擴展路線圖都需要(Want)回答的(Of)一(One)個(Indivual)大(Big)問題是(Yes)：L1 和(And) L2 的(Of)最終願景是(Yes)什麽？顯然，所有事情都在(Exist) L1 上(Superior)進行是(Yes)荒謬的(Of)：潛在(Exist)的(Of)用(Use)例每秒有數十萬個(Indivual)事務，這(This)将使 L1 完全無法驗證（除非我們采用(Use)原生Rollup路線）。但我們确實需要(Want)一(One)些指導原則，這(This)樣我們才能确保我們不(No)會造成這(This)樣的(Of)情況：我們将 Gas 限制提高 10 倍，嚴重損害以(By)太坊 L1 的(Of)去中心化，并發現我們隻是(Yes)進入了(Got it)一(One)個(Indivual)世界，而不(No)是(Yes)99% 的(Of)活動都在(Exist) L2 上(Superior)，90% 的(Of)活動都在(Exist) L2 上(Superior)，因此結果看起來幾乎相同，除了(Got it)以(By)太坊 L1 的(Of)特殊性的(Of)大(Big)部分不(No)可逆轉的(Of)損失。

一(One)種關于(At) L1 和(And) L2 之間“分工”的(Of)提議觀點

它如何與路線圖的(Of)其他(He)部分交互？

讓更多用(Use)戶進入 L1 意味着不(No)僅要(Want)改善規模，還要(Want)改善 L1 的(Of)其他(He)方面。這(This)意味着更多的(Of) MEV 将保留在(Exist) L1 上(Superior)（而不(No)是(Yes)僅僅成爲(For) L2 的(Of)問題），因此更迫切需要(Want)明确地處理它。它極大(Big)地增加了(Got it) L1 上(Superior)快速時(Hour)隙時(Hour)間的(Of)價值。它還在(Exist)很大(Big)程度上(Superior)依賴于(At) L1（“The Verge”）的(Of)驗證是(Yes)否順利。