ARK:入門指南：zkEVM、EVM 兼容性和 Rollup 最全解讀_以太坊交易平臺

ZKRollups長期以來一直被認為是以太坊擴容的終極目標。然而，盡管它們對以太坊擴展路線圖很重要，但幾個關鍵點仍然存在廣泛的不確定性：

ZKRollup到底是什么？

特定于應用程序的Rollup和通用Rollup之間有什么區別？

什么是zk-EVMRollup？像EVM等效和EVM兼容這樣的術語實際上是什么意思，它們如何應用于Rollup？

ZKRollup生態系統的現狀如何，這對生態項目意味著什么？

如果您是一名希望了解以太坊擴展的下一階段的開發人員，本文將有所幫助。

ZKRollup

ZKRollups可以通過一個簡單的觀察來實現：像STARK或SNARK這樣的證明系統允許使用亞線性處理來驗證線性數量的語句。我們可以使用此屬性來創建可大規模擴展的區塊鏈交易處理，如下所示：

用戶將他們的資產鎖定在L1上的ZKRollup智能合約中

用戶將涉及這些資產的交易提交給L2排序器，后者將它們收集到有序批次中，并為每個批次生成有效性證明和聚合狀態更新

這個狀態更新和證明被提交到我們的L1ZKRollup智能合約并被驗證，并用于更新我們的L1狀態

用戶可以使用這種L1狀態來檢索他們的資產，從而實現完全的自我托管和“以太坊安全”

簡化的ZKRollup架構

驗證證明的gas成本與被證明的交易數量呈次線性關系，與直接使用L1相比，可以實現更大的規模。為了更詳細地了解這個過程，我推薦Vitalik的《不完全Rollup指南》或Delphi新發布的《完整Rollup指南》。

特定于應用程序的Rollup

到目前為止，所有生產級ZKRollup都是我們所說的“特定于應用程序的Rollup”。在特定于應用程序的Rollup中，Rollup支持由Rollup運營方定義的固定數量的“狀態轉換”。這對于超優化常見用例非常有用，例如：

Loopring—支付和Swap

Immutable—NFT鑄幣和交易、游戲

dydx—永續交易

特定于應用程序的Rollup非常適合擴展特定的、易于理解的問題。如果您作為項目的需求可以通過特定于應用程序的Rollup來滿足，那么您可能會為您的用例獲得更好的性能、更好的用戶體驗和更好的定價，因為它們缺乏泛化性是一個巨大的優勢。例如，在Immutable，我們能夠通過補貼免費的NFT鑄造和通過NFT交易收費的轉賬來消除gas費用——這種權衡只有在rollup狀態轉換的可預測性質下才有可能。

但是，許多項目希望能夠創建自己的自定義邏輯和智能合約，獨立于rollup運營方，這在特定于應用程序的rollup中是不可能的。此外，許多DeFi項目需要“可組合性”，或與其他項目進行原子交互的能力。只有當您的rollup不僅支持自定義代碼，而且支持任何用戶可以部署的本機智能合約時，組合性才是可能的。為了實現這一點，我們需要修改ZKRollup的架構以概括我們的每個組件。

波場TRON區塊鏈訓練營應用開發入門課程將于明日正式開啟:據官方消息，波場TRON區塊鏈訓練營將于明晚8點在THUBA B站直播間正式開啟。該課程為波場TRON與清華大學學生區塊鏈協會THUBA合作推出。第一講主題為“波場TRON生態以及開發協議簡介” ，將詳細介紹波場TRON區塊的工作原理、共識機制、資源模型以及波場生態的創新發展。

該課程共分為4節，每雙周更新一次，將通過深入淺出地介紹波場生態，為學員深入了解波場公鏈的實際用例，培養個人編程開發技能提供優質的學習和實踐機會。未來，波場TRON還將與國內更多頂尖高校開展合作，為區塊鏈行業輸送更多新鮮血液。截至目前，波場公鏈用戶總數超過1.64億，交易筆數超57億，總鎖倉量（TVL）超121億美元。[2023/6/6 21:18:38]

這種增加的靈活性有幾個妥協：性能大大降低，rollup參數的可定制性降低以及費用更高。然而，最大的妥協是根本沒有通用ZKRollups的實現，當然也沒有能夠生產級的實現。但這種情況開始改變：

StarkNet目前已經在主網上運行

3個獨立的項目都在ETHCC2022上宣布它們將成為第一個進入主網的“zkEVM”

這些最新的公告值得深入研究，因為這些團隊不僅宣布了通用Rollup，他們還宣布了“zkEVM”。隨之而來的是推特上許多圍繞“EVM兼容性”、“EVM等效性”、“真正的zkEVM”以及哪種方法更好的爭論。對于應用開發人員來說，這些對話通常是噪音——因此本博客的目的是分解這些術語、設計決策和理念，并解釋它們對開發人員的實際影響。

讓我們從頭開始：什么是EVM？

了解EVM

以太坊虛擬機是執行以太坊交易的運行時環境，最初在以太坊黃皮書中定義，后來被一系列以太坊改進提案修改。它由以下部分組成：

用于執行程序的標準“機器”，每個交易具有易失性“內存”，交易可以寫入的持久“存儲”和操作“堆棧”

在這臺機器中執行狀態轉換的約140個定價“操作碼”

我們的虛擬機的一些示例操作碼：

堆棧操作-PUSH1

算術運算-ADD，SUBTRACT

狀態操作——SSTORE，SLOAD

交易操作——CALLDATA、BLOCKNUMBER

一個EVM程序只是一系列這些操作碼和參數。當這些程序被表示為一個連續的代碼塊時，我們將結果稱為“字節碼”。

通過將大量這些操作碼組合成一個執行序列，我們可以創建任意程序。以太坊使用自定義虛擬機，而不是調整現有的VM，因為它有獨特的需求：

每個操作都必須有“成本”以防止濫用

每個操作都必須是確定性的

我們需要特定于區塊鏈的概念

一些復雜的操作必須是原語

交易必須是在沙盒里的，沒有I/O或外部狀態訪問

EVM是第一個圖靈完備的區塊鏈VM，于2015年發布。它有一些設計限制，但其巨大的先發優勢和隨后的廣泛采用為以太坊創造了巨大的差異化——它是迄今為止最久經考驗的區塊鏈虛擬機。它是整個領域的智能合約基礎設施。

金色算力云運營副總裁Maggie：降低Filecoin礦工準入門檻 專注云算力挖礦:IPFS100.com現場報道，8月3日，由IPFS100.com主辦，CapitalN節點咨詢承辦，金色算力云聯合主辦，深圳市先河系統技術有限公司金牌贊助，逆熵科技銀牌贊助，金色財經作為聯合主辦媒體的星際漫游指南·逐鹿中原·IPFS技術與應用研討論壇在鄭州舉行。

金色算力云運營副總裁Maggie做了主題為《從投資角度看Filecoin挖礦》的演講。Maggie表示，Filecoin主網還沒有上線，目前可以通過3種方式進行Filecoin的投資，包括購買礦機、購買云算力、二級市場進行期貨交易。作為Filecoin算力銷售平臺，金色算力云已與業內頂尖礦機廠商深度合作，實現一鍵購買，降低Filecoin的挖礦準入門檻。[2020/8/3]

由于以太坊的主導地位，很多后來的區塊鏈都直接采用了這種運行時環境。例如，Polygon和BNBChain是以太坊的直接分叉，因此使用EVM。值得注意的是，EVM并非一成不變，并且在EIP1559等升級中經常被修改。由于其他區塊鏈需要時間進行更新，或者在多個地方與以太坊有所不同，它們通常運行著稍微過時的EVM版本，并且難以跟上變化的步伐——這一事實可能會讓以太坊的核心開發人員感到沮喪。

以太坊兼容性

然而，人們所說的“EVM鏈”通常不僅僅只是鏡像這個運行時環境。有幾個主要規范始于以太坊并已成為事實上的全球標準：

Solidity

以太坊的JSON-RPC客戶端API

ERC20/ERC721

ethers.JS

以太坊的密碼學

從技術上講，您的鏈可以具有一個EVM運行時但不支持上述部分或全部標準。然而，遵守這些標準使得在你的新鏈上使用以太坊工具變得更加容易。一個很好的例子是Polygon，它除了使用上述所有工具外，還能夠運行Etherscan(Polygonscan)的分叉版本，使用Hardhat等以太坊開發工具，并支持Metamask等錢包。Nansen和Dune等工具最初都針對以太坊，因此添加對新EVM區塊鏈的支持。新錢包，新NFT市場——如果以太坊界面和你的鏈界面之間的唯一區別是鏈ID，那么你可能是第一個也是最容易添加的。話雖如此，這些工具是為以太坊構建的——一旦你開始修改你的區塊鏈，你就有破壞它們的風險。沒有完美的兼容性。

盡管如此，針對以太坊規范的工具和應用程序的數量為新的區塊鏈僅反映以太坊標準創造了巨大的動力。任何不支持上述規范的區塊鏈在開發人員工具方面都會自動落后，并且隨著EVM生態系統的發展，有進一步落后的風險。

我的信念是，“EVM兼容”一詞實際上不足以描述這里描述的網絡效應——我們實際描述的是“以太坊兼容性”，并且遠遠超出了智能合約執行環境，延伸到了整個以太坊生態系統和工具集。

為了解決這個問題，像Solana這樣的非EVM區塊鏈必須創建完全平行的生態系統，這會降低它們的速度，并且更難吸引現有的開發人員。然而，不需要遵守這些標準確實使非EVM區塊鏈能夠對以太坊工具集進行更根本的更改，從而更積極地與以太坊區分開來。創建EVM區塊鏈非常簡單——但為什么有人會使用你的區塊鏈而不是數百個其他“快速EVM區塊鏈”之一。如果你能克服需要建立一個成功的平行鏈和生態系統的困難，Solana已經證明：a）你可以吸引出色的原生應用程序和b）如果商業激勵足夠，源自EVM的項目仍將支持您。

動態 | Crypto投資集團發布比特幣現金入門介紹:密碼投資公司Grayscale剛剛發布了《比特幣現金介紹》，為那些可能還不熟悉BCH，或者只是想復習一下2017年8月1日從Bitcoin Core上分出來的比特幣的基礎知識。新發布的文件《比特幣現金介紹》(An Introduction to Bitcoin Cash)是一份14頁的比特幣現金代幣概述，內容包括比特幣的歷史、定義特征、BCH和BTC的區別、BTC的優勢和潛在劣勢等。報告導言指出：比特幣現金是比特幣最成功的硬叉之一，和它的前身一樣，比特幣現金是一種去中心化的點對點(P2P)數字貨幣和支付網絡，由開源的區塊鏈協議支持。Grayscale Investments是密碼領域的知名公司，創建并管理著數十億的加密貨幣投資信托基金。（news.bitcoin）[2019/10/7]

ZK-EVM

公共通用rollup都有一個共同目標：讓開發人員和用戶盡快生成網絡效應。這需要結合創造最高性能的rollup技術、擁有最好的BD團隊以及進行最早或最有效的營銷。但是，所有rollup團隊都非常關注：

將現有的以太坊合約遷移到他們的rollup中

受到現有EVM工具的支持

實現這兩個目標的最簡單方法是創建一個“zkEVM”：一個通用rollup，將EVM作為其智能合約引擎運行，并保持與以太坊生態系統通用接口的兼容性，如上所述。

然而，這并不像分叉Geth那樣容易，就像我們從頭開始創建新的L1區塊鏈時那樣容易。我們的目標是運行EVM字節碼——但ZK證明要求將它們證明的所有計算語句轉換為一種非常特定的格式——一種“代數電路”，然后可以將其編譯成STARK或SNARK。為了快速了解“電路”，這里有一個例子。在基于這個簡單電路的zkSNARK系統中，我們的證明者希望讓驗證者相信他們知道輸入，這些輸入會產生真實的輸出。這是一個非常簡單的電路，具有有限數量的邏輯門——我相信你可以想象需要多少門來編碼一個證明復雜智能合約交互的電路，尤其是那些涉及密碼學的！

為了理解這個編譯過程的每一步，我推薦你閱讀Vitalik的《從入門到精通SNARKs》，以及EliBen-Sasson對不同證明系統的討論。然而，對于我們的目的來說，這種更深入的理解并不是必需的——請記住，為了支持EVM計算，我們必須將所有EVM程序轉換為這些電路，以便以后可以證明它們。

從廣義上講，有幾種方法可以做到這一點：

通過將其轉換為可驗證的電路來直接證明EVM執行痕跡

創建一個自定義VM，將EVM操作碼映射到該VM的操作碼，然后證明該自定義環境中跟蹤的正確性

創建自定義VM，將Solidity轉換為自定義VM的字節碼，并在自定義環境中進行驗證

選項1：證明EVM執行痕跡

Scroll

讓我們從最直觀的開始：證明EVM執行痕跡本身，這是Scroll團隊目前正在研究的一種方法。為了完成這項工作，我們需要：

動態 | 《幼兒區塊鏈入門》在亞馬遜兒童新書榜中排名第一:CNN編輯Alex Koppelman在推特上曬出一本名為《幼兒區塊鏈入門》（《Blockchain for Babies》）的圖書。據悉，此書在兒童實用書類新書榜中排名第一。[2019/1/8]

為一些密碼積累器設計一個電路

設計一個電路來鏈接字節碼和真實的執行痕跡

為每個操作碼設計一個電路

直接在電路中實現每個EVM操作碼具有挑戰性，但由于這種方法準確地反映了EVM，因此它在可維護性和工具支持方面具有顯著優勢。下圖顯示了Scroll和以太坊之間唯一的理論區別是實際的運行環境。然而，值得注意的是，Scroll目前并不通過這種機制支持所有EVM操作碼，盡管他們打算隨著時間的推移達到對等。

Optimism團隊對此進行了精彩的討論，盡管是在OptimisticRollup的背景下進行的。Optimism最初創建了一個自定義的OptimisticVirtualMachine(OVM)作為其Rollup的執行環境。OVM是“與以太坊兼容的”，這意味著它可以運行修改后的Solidity代碼，但幾個低級不匹配的領域意味著以太坊工具和復雜的代碼經常需要重寫。因此，Optimism切換到“EVM等效”，直接使用確切的EVM規范，并正在開發第一個等效于EVM的欺詐證明系統。然而，OptimisticRollup不需要擔心電路或證明者的效率——Optimism的正確選擇可能不是我們Rollup的正確選擇。

不幸的是，EVM的核心基礎設施并不適合ZKRollups。Rollup性能的核心衡量標準是我們需要將特定計算編碼到電路中的“約束”的數量。在許多情況下，鏡像EVM會直接引入大量開銷。例如，EVM使用256位整數，而zk證明在素數域上最自然地工作。引入范圍檢查以對抗不匹配的字段算術為每個EVM步驟增加了約100個約束。以太坊的存儲布局嚴重依賴keccak256，其電路形式比STARK友好的哈希函數大1000倍——但替換keccak將對現有的以太坊基礎設施造成巨大的兼容性問題。此外，與SNARK/STARK友好的橢圓曲線相比，標準以太坊橢圓曲線上的簽名在證明和驗證方面非常昂貴。簡而言之，直接證明EVM會帶來巨大的計算開銷。雖然這里有一些最近的進展，但證明EVM痕跡總是比在定制設計的VM中證明效率低得多，至少在EVM本身做出改變以變得更高效之前對SNARK友好。

選項2：自定義VM+操作碼支持

這種認識促使團隊采用上述“與EVM兼容”的方法：創建具有優化性能的自定義VM，然后將EVM字節碼直接轉換為VM的字節碼。

Polygon

一個專注于這種方法的團隊是PolygonHermez。Polygon的方法是構建一個zkEVM是“操作碼級別的等效性”，這聽起來最初類似于Scroll采用的方法。然而，與Scroll不同的是，Polygon的替代runtime運行定制的“zkASM”操作碼而不是EVM操作碼來優化EVM解釋。Hermez團隊將此描述為“基于操作碼的方法”，因為核心挑戰是在他們的自定義VM中重新創建每個EVM操作碼，以便他們可以快速從EVM字節碼轉換為可驗證的格式。

金色講堂第二期正式開講 EOS引力區創始人廖洋陽將對EOS入門及價值展望進行探討:5月10日晚八點，《金色講堂》第二期正式開講，全球最大EOS社群-EOS引力區創始人廖洋陽前來授課演講。針對當前火爆的EOS廖洋陽將對EOS入門及價值展望進行探討。本次課程將針對EOS是什么、EOS代幣有什么用、EOS的未來等方面，由淺至深對EOS進行全面解讀，讓學員全方面了解的EOS的來龍去脈。[2018/5/10]

這些中間步驟增加了用于維護和潛在錯誤的表面積，但對于啟用性能證明是必要的。最終，重要的是要清楚，您的程序不是在反映電路中EVM的zkEVM中運行，而是在替代的“zkExecutor”運行時中運行，這與EVM本身相似但不同。令人困惑的是，該團隊將其作為“zkEVM”和“EVM等效”進行營銷——然而，由于這個自定義的zkASM解釋器，根據上面的Optimism定義，這個Rollup實際上是“EVM兼容”。

因此，盡管大多數Solidity代碼可能能夠按原樣運行，但可能與在該系統上運行的現有L1應用程序和工具存在一些不兼容。Polygon已聲明“與100%的現有以太坊工具”兼容，并致力于JSON-RPC合規性，他們在文檔中引用并在此處提供了實現。在實踐中，這種說法可能是有抱負的，并且依賴于以太坊本身的東西變得對SNARK更加友好。

Polygon的方法產生了比Scroll更高性能的Rollup，但具有：

大量自定義代碼，因為我們需要創建zkASM

開發人員可能需要修改其L1代碼或工具框架

隨著時間的推移，與以太坊的偏離可能會增加

選項3：自定義VM+轉譯器

上述解決方案在“使EVM為ZKRollups工作”方面投入了大量的開發時間，將兼容性優先于長期性能和可擴展性。還有另一種選擇：創建一個全新的、專門構建的VM，然后添加對以太坊工具的支持作為頂部的附加層。

StarkNet

這是StarkWare對StarkNet采用的方法，這是目前最先進的通用rollup。StarkNet使用自己的低級語言(Cairo)運行自定義智能合約VM(CairoVM)，兩者都是為智能合約rollup而構建的。這意味著StarkNet沒有開箱即用以太坊兼容性——正如我們之前看到的，即使是操作碼級別的VM級別的兼容性也是對Rollup性能的潛在限制。

然而，Nethermind團隊創建了Warp轉譯器，它能夠將任意Solidity代碼轉換為CairoVM字節碼。Warp的目標是使常見的Solidity合約可移植到StarkNet——實現許多以太坊開發人員在“EVM兼容性”方面的主要目標。然而，在實踐中，Warp不支持一些Solidity功能，包括低級調用。

這種構建智能合約Rollup的方法是保持“Solidity兼容性”：你不是在EVM內執行程序，也不是保持與任何其他以太坊接口的兼容性，但Solidity開發人員將能夠編寫可用于你的Rollup的代碼。因此，您可以保持與以太坊類似的開發人員體驗，而不必損害Rollup的基本層。

然而，這種方法還有一些額外的妥協。首先是構建自己的VM具有挑戰性——以太坊團隊已經花了超過五年的時間來解決EVM的問題，并且仍然經常進行升級和修復。更自定義的Rollup將帶來更好的性能，但您將失去所有其他鏈和Rollup對EVM所做的集體改進的好處。

接下來，通過轉譯器支持Solidity可能會導致可組合性的損失——如果開發人員同時在CAIRO和Solidity中編寫合約，那么支持兩者之間接口的工具很可能會很脆弱。到目前為止，絕大多數StarkNet項目都直接使用了CAIRO，它們可能不容易與未來的Solidity項目組合。最后，可能也是最重要的一點，StarkNet團隊目前的目標不是與其他以太坊組件兼容——他們正在推出自己的客戶端API、JavaScript庫和錢包系統，這將迫使與以太坊兼容的工具手動添加對StarkNet的支持。這是極具挑戰性的，但并非不可能——如上所述，Solana已經足夠成功，其自定義標準得到了一些以太坊工具的尊重，但將依賴StarkWare團隊吸引不介意重建的開發人員的能力。

然而，如果他們能夠成功地做到這一點，StarkWare團隊將尋求復制EVM的先發優勢，并使用第一個針對ZKRollups優化的智能合約VM。

zkSync

另一個采用這種策略的團隊是zkSync。zkSync創建了自己的VM(SyncVM)，它基于寄存器并定義了自己的代數中間表示(AIR)。然后他們構建了一個專門的編譯器來將Yul編譯成LLVM-IR，然后他們將其編譯成自定義VM的指令。這類似于StarkWare采用的方法，但理論上提供了圍繞基礎語言的更大靈活性。zkSync團隊最初創建了他們自己的類CAIRO語言(Zinc)，但他們將大部分精力集中在Solidity編譯器上，以便為L1開發人員提供更簡單的遷移。一般來說，他們的策略是重用以太坊工具集而不是StarkNet——我希望他們的客戶端API等也更加“與以太坊兼容”。

zkSync利用這個自定義VM來提供非EVM兼容的功能，例如賬戶抽象，這一直是核心以太坊協議的目標。這是自定義VM提供的好處的一個很好的例子——你不必等待以太坊構建新功能！

將所有內容放在一起，您可以清楚地看到每個團隊遵循的不同策略：

Vitalik的zkEVM類型

VitalikButerin關于zkEVM的博客強調了Rollup團隊目前面臨的基本困境：EVM不是為“可驗證”程序構建的。事實上，正如我們通過上面的分析所表明的那樣，你尋求與以太坊的兼容性越強，你的“可驗證格式”程序的性能就會越差。Vitalik根據與現有EVM基礎架構的兼容性程度，確定了通用Rollup的幾個大類：

我對他的論文的唯一擴展是指出，即使在每個“類型”中也存在很大程度的可變性——我們正在處理一個范圍，而不是完全細分的類別。從開發人員體驗的角度來看，對應用程序層進行單一、小的更改的Type3rollup比Type3rollup更常見，后者對應用程序層進行了大規模更改，但在技術上沒有引入新的VM并成為Type4。

智能合約Rollup的現狀

鑒于理解上述內容所需的細節，難怪我們圍繞以太坊兼容性發明了一堆令人困惑的語言。事實上，沒有zk-rollup在所有情況下都完美地反映了EVM的行為——這只是程度問題，每個團隊做出的詳細選擇最終將最重要的是可維護性和性能，而不是僅兼容性。我的觀點是以下定義是最清晰和最一致的：

至關重要的是要理解，上述方法都不是天生優越的——它是一種分類，而不是等級。它們都做出了不同的妥協：更容易構建、維護和升級，更高效，更容易與現有工具兼容。最終，領先的Rollup也將取決于更好的分銷和營銷，而不是純粹的技術能力。話雖如此，做出正確的基本技術決策無疑具有重大優勢。Scroll對EVM規范的熱心承諾是否能讓他們輕松響應任何EVM升級？另一個團隊更務實的方法會幫助他們更快地進入市場嗎？StarkWare的定制VM+轉譯器方法是否會為長期擴展提供更堅實的基礎？另一支玩家最終會從這個領域的先行者無疑會犯的錯誤中吸取教訓并擊敗他們嗎？歸根結底，以太坊開發當前時刻的美妙之處在于，我們有不同的團隊以截然不同的方法朝著一個共同的目標前進。

但在我們得意忘形之前，對當前智能合約Rollup的準備情況保持清醒也是適當的。每個團隊都有強烈的動機將自己推銷為“即將接管世界”——但最早要到2022年底，以太坊上才會有“生產級”智能合約匯總，其中許多團隊將直到2023年才準備好。根據StarkNet的發展歷程，我們應該預計從rollup到達測試網開始至少需要一年的迭代，然后rollup才能準備好支持主網上一致的生產級數量。

由于這種不成熟的狀態，對于需要在不影響以太坊安全性的情況下進行擴展的開發人員來說，特定于應用程序的Rollup仍然是最強大的選擇。事實上，即使通用Rollup可用并得到更廣泛的集成，我預計在可預見的未來，應用特定Rollup的性能、定制和可靠性對于某些用例仍將保持優勢。

其他Rollup因素

盡管本文的主要關注點，但這并不是關于以太坊生態系統兼容性與性能的全部內容！還有許多其他因素會影響您是否應該在特定的通用Rollup上進行構建。我將建議幾個主要的附加標準：

費用：這些Rollup是否會以原生代幣、ETH或兩者的某種復雜組合收取費用？費用結構對用戶和開發人員的體驗有巨大的影響，因為Rollup通常需要擁有費用代幣來支付計算費用。

證明和排序：所有Rollup都需要一個實體，該實體負責對交易進行排序和生成證明。今天大多數特定于應用程序的Rollup都是“單排序器”，它以彈性為代價產生更高的吞吐量。大多數通用Rollup最初是作為單個排序器Rollup開始的，但他們通常計劃隨著時間的推移分散這個排序器。

自托管：ZKRollup的核心承諾是能夠在保持以太坊安全的同時解鎖擴展。然而，許多通用Rollup目前沒有明確的機制來在發生惡意或不可用的排序器時恢復用戶資產。

數據可用性：如介紹中所述，自托管保證取決于故障情況下狀態數據的可用性。然而，完整的數據可用性為用戶帶來了額外的成本，從而導致了一系列數據可用性模式。這已經在特定于應用程序的Rollup世界中廣泛使用，但是每個通用Rollup都需要單獨添加此功能。

概括

智能合約Rollup是以太坊擴展路線圖中令人難以置信的部分。這些Rollup在與現有以太坊工具集的關系中做出的不同妥協是對以太坊開發者生態系統多樣性的驚人證明。

然而，目前關于EVM兼容性的討論通常沒有抓住重點。從開發人員的角度來看，所有這些Rollup都將支持Solidity代碼。真正的以太坊兼容性是一個更大的挑戰，但實際上需要權衡取舍，開發人員在進行Rollup之前應該意識到這一點。目前，大多數Rollup項目都是大規模的“超前銷售”——銷售其能力的3年以上愿景，而不是今天可能實現的目標，這可能會使情況變得非常混亂。

為了透明起見，我希望每個主要的Rollup團隊都能對以下問題提供更清晰的答案：

L1和L2在runtime的確切差異是什么？L2將修改哪些操作碼？與L1相比，其他任何VM特征是否會有所不同？

您的自定義VM的正式規范在哪里，它在哪里比其他選項性能更高/性能更低？

此rollup將對其他以太坊接口進行多少更改，這是否將破壞以太坊工具？

此rollup何時在測試網上上線？在主網上？能夠支持1000+定制合約tps的持續生產吞吐量嗎？

您預計何時支持對用戶資產的完全自我托管，在通用rollup的背景下會是什么樣子？

一旦這些rollup在測試網上發布，這些問題應該更容易回答。在那之前，我很樂意看到團隊繼續發布更多關于他們的解決方案將做出的確切權衡的技術細節，以及這將如何影響智能合約和工具開發人員等。

隨著合并即將到來，經過實戰考驗的特定應用程序rollup在生產中，以及通用rollup在明年進入主網，以太坊擴展的未來就是現在。

Tags：ROLROLL以太坊ARKTROLLTROLLER以太坊交易平臺XMARK

以太坊最新價格