關于 Optimistic Rollup，你需要知道的一切（上）_以太坊

以太坊生態的最大挑戰之一是如何在資源有限的前提下實現低延遲和高吞吐量。

系統的去中心化程度取決于網絡中最弱的節點驗證系統規則的能力。可以在低資源硬件上運行的高性能協議被稱為“可伸縮的”。

在本文中，我們將深入探究現代“Layer2方案”的原則，這些方案的安全模型，及其在解決以太坊可擴展性問題上采取的策略。

本文的預設讀者是那些對密碼學技術感興趣的人。如果你想要深入了解以太坊前沿可擴展性技術，以及如何設計并構建這類系統，千萬不要錯過這篇文章。

在本文中，重要的關鍵詞和概念都已加粗，因為這些都是你在了解密碼學貨幣技術時經常遇到的術語。本文涉及的概念比較復雜。如果你在閱讀中遇到困惑，請不要放棄，守得云開見月明。

區塊鏈資源要求

在比特幣和以太坊等去中心化網絡中，運行節點的資源要求主要有三種：

帶寬：下載并廣播區塊鏈相關數據的成本。

計算：在腳本或智能合約中運行計算的成本。

存儲：出于索引目的存儲事務數據的成本，以及為了繼續處理新的事務塊而存儲“狀態”的成本。

影響性能的因素有：

吞吐量：系統每秒可處理事務的數量

延遲：處理一筆事務所需的時間

ARK報告：6月份BTC的未變動供應量達到歷史新高:金色財經報道，資產管理公司Ark Invest的一份報告稱，6月份BTC的未變動供應量達到歷史新高，近70%的流通供應量已一年未變動。該公司表示，特別是長期持有者手中的流通比特幣供應量份額穩步上升，證實了持有者基礎正在增加。由于近70%的比特幣持有至少一年，長期持有者在比特幣市場中所占的份額現在無論是相對還是絕對都達到了歷史最高水平。[2023/7/8 22:24:55]

比特幣和以太坊等新興密碼學貨幣網絡的理想特性是去中心化。那么問題來了，網絡是如何實現去中心化的呢？

低信任：有了這個特性，任何人都能自主驗證比特幣的總供應量永遠不會超過2100萬個，及其持有的比特幣不是偽造的。運行節點軟件的人可以獨立計算最新狀態，并驗證出塊流程是否遵循所有規則。

低成本：如果節點軟件的運行成本很高，人們就會選擇依靠可信第三方來驗證狀態。成本高意味著信任要求也高，這是我們極力想要避免的。

另一個理想特性是可擴展性：吞吐量能夠隨運行節點的成本增加呈超線性增長。這個定義很棒，但是并未指明與“信任”慣性。因此，我們另外定義了“去中心化可擴展性”：在幾乎不會提高系統信任假設的情況下實現可擴展性。

以太坊的運行時環境是EVM。在EVM中，事務在執行不同操作時需要承擔的成本不同。事務的計算單位叫做“gas”。在以太坊系統中，每個區塊的gas上限被設為1250萬gas。平均每12.5秒可以挖出一個區塊。由此可得，以太坊的延遲是12.5秒，吞吐量是每秒100萬gas。

報告：四月份38%的鏈上交易與游戲有關:金色財經報道，數據公司DappRadar在一份四月份市場數據報告中表示，區塊鏈游戲繼續占所有鏈上交易的很大一部分，4月份38%的加密貨幣鏈上交易與游戲有關，盡管與上個月相比，每日活躍錢包減少了10%（約672,000個）。報告表示，Splinterlands和Alien Worlds所在的區塊鏈WAX繼續占據榜首，但以太坊側鏈網絡Polygon可能會爭奪它的寶座。根據報告，Polygon是第二受歡迎的游戲區塊鏈。DappRadar報告稱，以太坊擴展解決方案Arbitrum在4月份的用戶數量也出現激增，與上個月相比增長了118%以上，而Immutable X增長了約9%。[2023/5/12 14:58:21]

你可能會問一個問題：每秒100萬gas能做什么？

每秒可完成大約47筆“簡單轉賬”事務。所謂“簡單轉賬”事務，就是指“A向B轉了一筆ETH”這樣最基礎的事務。每筆事務需要2.1萬gas。

每秒可完成大約16筆ERC20代幣轉賬。這類事務相比ETH轉賬事務需要執行更多存儲操作，因此每筆事務需要約6萬gas。

每秒可完成大約10筆Uniswap資產交換操作。代幣對事務的平均成本約為10.2萬gas。

……選擇你感興趣的事務，用100萬gas除以其gas消耗量。

NFT Investments Q1加密資產持倉價值2780萬英鎊:金色財經報道，投資機構NFT Investments PLC發布了其2023年第一季度加密資產持倉的分類，披露截至4月2日，未經審計的資產價值為2780萬英鎊，或每股2.77便士。

NFT Investments計劃在每季度清算其加密貨幣資產之前披露其持倉情況，并預計2024年4月下一次比特幣減半后通過收購要約將價值返還給股東。

NFT Investments所持有資產的完整分類如下（數量、價值）：

- BTC：626；1430萬英鎊

- ETH：6794；100萬英鎊

- OP：732899；140萬英鎊

- LDO：396144；80萬英鎊

- ATOM：57902；50萬英鎊

- NEAR：225362；40萬英鎊

- FLOW：478554；30萬英鎊

- DOT：23133；10萬英鎊（Proactive Investors）[2023/4/3 13:42:13]

請注意，隨著事務的執行復雜度提高，系統的吞吐量急劇下降。還有很大的提升空間！

方案1：使用中間方

我們可以使用大家都信任的第三方來達成所有事務。這樣一來，我們就可以得到很高的吞吐量，并將延遲降至亞秒級。簡直太棒了！這樣也不會改變任何系統參數，但是我們需要參與一個由第三方單方面設置的信任模型。第三方可能會對我們進行審查，甚至奪走我們的資產，這就不妙了。

Celsius未向客戶報告8億美元虧損，其CEO曾套現超6800萬美元:1月31日消息，據一份法庭破產報告顯示，加密借貸機構Celsius未向客戶報告8億美元虧損，其CEO Alex Mashinsky曾套現超6800萬美元。

據破產審查員表示，到2021年6月，Celsius三分之一的機構貸款組合完全沒有抵押，超過一半的抵押品不足。報告還顯示，2021年，Celsius對Grayscale、KeyFi、Stakehound 和 Equities First Holdings的投資造成的8億美元虧損，但其沒有未在虧損發生之后向客戶報告此事。此外，報告還顯示Celsius創始人兼首席執行官Alex Mashinsky通過出售CEL代幣套現至少6800萬美元。（The Block）[2023/1/31 11:38:50]

方案2：擴大區塊容量并提高出塊頻率

我們可以通過減少出塊時間來降低時延，我們還可以通過提高區塊gas上限來提高吞吐量。這一改變可能會導致節點運營成本提高，從而阻礙人們運行節點。

方案1會提高對信任的需求，方案2會增加成本。因此，二者都不是理想的可擴展性方案。

重新認識OptimisticRollup

接下來會涉及一些關于哈希函數和默克爾樹的知識。

了解了這么多之后，我們來模擬一段蘇格拉底式對話，看看能否找到一個既能提高以太坊的實際吞吐量，又不會增加用戶和節點運營者負擔的協議。

區塊鏈軟件即服務初創公司MakerDojo.io完成150萬美元種子輪融資:10月11日消息，區塊鏈軟件即服務初創公司MakerDojo.io宣布完成150萬美元種子輪融資，Leo Capital領投，這也是Leo Capital旗下1.25億美元Fund III基金的首筆投資。MakerDojo.io由Vignesh Aigal、Ajay Chintala和前Google和Coursera技術負責人Priyank Chodisetti于2021年創立，主要提供Web3數據分析服務，旨在實現區塊鏈網絡數據提取自動化，讓Web3數據分析訪問變得更簡單、更快并降低入場門檻。（vccircle）[2022/10/11 10:30:55]

問

：我們想要提高以太坊的可擴展性，又不想改變其信任和成本假設。我們該怎么做？

答

：可以嘗試降低現有操作的成本。不過，說起來容易做起來難，我們先來看一下以太坊的架構：

以太坊網絡中的每個節點目前都存儲并執行來自用戶的每筆事務。事務是在EVM中執行的，并與EVM的狀態進行交互。常見的智能合約優化技術主要聚焦于在最大程度上減少與狀態交互的次數，但是它們起到的作用很有限。

問

：是否存在不與狀態交互就能達成交互的方法，以此降低資源成本？

答

：在極端情況下，我們是否可以將所有執行都轉移到鏈下，并將數據保存在鏈上？我們可以引入第三方，即，排序者，來做到這點。排序者負責在本地存儲并執行用戶提交的事務。為了保持系統的活性，排序者會定期將它們收到的事務的默克爾根以及狀態根提交到以太坊上。這個思路是正確的，因為O(N)筆鏈下事務只需在以太坊上存儲O(1)的狀態數據。

問

：通過使用排序者執行鏈下計算，只將默克爾根發布到鏈上，我們就能增強以太坊的可擴展性了是嗎？

答

：是的。

問

：也就是說，只要我們選擇了排序者，就能大幅降低轉賬成本。那用戶怎么存錢進去呢？

答

：你在以太坊區塊鏈上把錢存進某個合約，就能加入這樣的系統了。排序者會將相應的存款記在你的名下。用戶只需要發送一筆事務稱“我想要取出3ETH，我當前的賬戶余額大于3ETH，這是證明”，就可以取出資金。即使L1上沒有該用戶的實際狀態，該用戶也可以提供默克爾證明并引用排序者發布的狀態根來證明自己在當前狀態下擁有足夠多的資金。

問

：我們已經確定用戶需要提供默克爾證明才能取出資金。用戶如何獲得構建默克爾證明所需的數據？

答

：用戶可以要求排序者來提供數據！

問

：如果總是聯系不上排序者，該怎么辦？

答

：這種情況可能是因為排序者作惡，或因技術問題掉線，這會導致性能退化。因此，我們必須要求排序者將完整的事務數據提交到鏈上，只用于存儲，不用于執行。這里的目的是實現數據可得性。由于所有數據都永久存儲在以太坊上，即使一個排序者倒下了，新的排序者也可以從以太坊上重新找回所有與Layer2相關的數據，重新構建最新的L2狀態，并接替上一個排序者的工作。

問

：如果排序者在線卻拒絕向我提供默克爾證明數據，我可以從以太坊上下載這些數據對嗎？

答

：對的，你可以自己同步一個以太坊節點，也可以從眾多節點托管服務提供商中選擇一家。

問

：我還有個不明白的地方……如何將數據存儲在以太坊上卻不執行它？難道不是每筆事務都要經過EVM執行的嗎？

答

：假設你提交了10筆A向B轉ETH的事務。執行每筆事務需要執行以下操作：增加A的nonce，減少A的余額，并增加B的余額。這需要多次寫入和讀取世界狀態。你可以將所有事務的編碼發送至智能合約的

publish(bytes_transactions)public{}

函數。請注意，這個函數的函數體是空的！也就是說，如此發布的事務數據是不會被解釋、執行或訪問的。它只存儲在區塊鏈的歷史日志中。

問

：我們能信任排序者嗎？如果排序者發布非法的狀態轉換怎么辦？

答

：無論排序者何時發布一批狀態轉換，都會有“爭議期”。在“爭議期”內，任何人都可以發布“欺詐證明”來證明其中某個狀態轉換是無效的。欺詐證明就是通過重放導致鏈上發生狀態轉換的事務，并將得到的狀態根與排序者發布的狀態根進行對比。如果兩個狀態根不同，則欺詐證明成功，狀態轉換被取消。跟在該無效狀態轉換后面的狀態轉換也會被取消。爭議期一過，就無法再對事務提出爭議，即，事務被敲定。

問

：等等！你之前明明說過，只要會增加成本，或引入新的信任假設，就是不可行的可擴展性方案。你這里提到的方案不是要假設時刻有人會報告欺詐嗎？

答

：沒錯。我們假設有一組被稱為“驗證者”的實體負責監控欺詐行為。如果Layer1和Layer2之間出現狀態不匹配的情況，驗證者就會發布欺詐證明。我們還假設驗證者能夠在爭議期內將其欺詐證明發布到以太坊區塊鏈上。我們認為，驗證者的存在是一個弱假設。想象一下，如果有數萬名用戶采用該方案，你只需要1個人來擔任驗證者的角色。聽起來不是那么不切實際吧！另外，改變以太坊的信任模型，或增加運行以太坊節點的成本是一個強假設，會做出我們不想要的改變。這就是我們的中心化可擴展性定義中的“幾乎不會改變底層系統的設想”的意思。

問

：我同意會有人擔任驗證者的角色，因為這個新的解決方案牽涉到很多人的利益。但是，具體怎樣還得取決于實際成本。那么，運行驗證者和排序者需要消耗多少資源？

答

：排序者和驗證者必須運行一個以太坊全節點，以及一個L2全節點來生成L2狀態。驗證者運行創建欺詐證明的軟件，排序者運行打包并發布用戶事務的軟件。

問

：就這些嗎？

答

：沒錯！恭喜！你已經重新發現了OptimisticRollup，這個2019至2021年最有前景的可擴展性方案。我可沒有在說大話，這是以太坊社區經過多年研究得出的成果。也就是你在這段簡短的對話中聽到的。

注：

：我們建議讀者閱讀Vitalik的雄文《區塊鏈資源定價》。

：請注意，存儲“狀態”的成本比存儲原始事務數據的更高。

：OptimisticRollup就是“optimisticcontract”和“onchaindataavailability”的合體。

原文鏈接:

https://research.paradigm.xyz/rollups

作者:GeorgiosKonstantopoulos

翻譯&校對:

閔敏&

阿劍

Tags：以太坊區塊鏈GAS比特幣怎么得到以太坊幣有人靠區塊鏈4天就掙了30萬嗎UGAS價格買賣比特幣會坐牢嗎杭州

Coinw