ARK:指南：清晰理解zkEVM、EVM 兼容性和Rollup

ZK-Rollup一直被認為是以太坊擴展的終極目標。然而，盡管它對以太坊的擴展路線圖來說是很重要，但在幾個關鍵點上仍然存在不確定性：

ZK-Rollup到底是什么?

特定于應用程序的Rollup和通用Rollup之間有什么不同?

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

ZK-Rollup生態系統的當前狀態是怎樣的，這對項目意味著什么?

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

ZK -Rollup是這樣實現的：像STARK或SNARK這樣的證明系統允許用亞線性處理來驗證線性數量的語句(例如，1000個語句→10個驗證者檢查，10,000個語句→11個驗證者檢查)。我們可以使用這個屬性來創建可大規模擴展的區塊鏈交易處理上，如下所示：

用戶將他們的資產鎖定在L1上的ZK-Rollup智能合約中；

用戶將涉及這些資產的交易提交給L2的sequencer，L2的sequencer將它們收集成有序的批次，并為每個批次生成有效性證明（例如 STARK/SNARK）和聚合狀態更新；

這個狀態更新和證明會提交給我們的L1的ZK-Rollup智能合約并進行驗證，它會用于更新我們的L1狀態；

用戶可以使用這種L1狀態(根據不同的數據可用性機制)來檢索他們的資產，從而實現完全的自我托管和“以太坊安全”。

驗證證明的gas成本與被驗證交易的數量呈次線性關系，與直接使用L1相比，它可以呈現更大的規模。

到目前為止，所有生產級ZK-Rollup都是我們所說的“特定于應用程序的Rollup”。在特定于應用程序的Rollup中，Rollup支持由Rollup運算符定義的固定數量的“狀態轉換”(例如交易)。例如：

Loopring—支付和交易

Immutable —NFT鑄造，交易，游戲

dydx—永續合約交易

如果你需要解決的是一個項目的需求，那么就可以通過特定于應用程序的Rollup來滿足，你的用例可能會獲得更好的性能、更好的用戶體驗和更好的價格，因為它們缺乏通用性是一個巨大的優勢。例如，在Immutable，我們可以通過補貼免費的NFT鑄造，在NFT交易中收取一定的費用來取消gas費用——這種權衡之所以可能是因為Rollup狀態轉換的可預測性。

然而，許多項目希望能夠創建自己的自定義邏輯和智能合約，獨立于Rollup的運營商，這在特定于應用程序的Rollup中是不可能的。此外，許多DeFi項目需要“可組合性”，或需要有與其他項目交互的能力(例如，許多DeFi項目使用Uniswap作為價格預言機)。只有當你的Rollup不僅支持自定義代碼，而且支持任何用戶都可以部署的原生智能合約時，可組合性才有可能實現。為了實現這一點，我們需要修改ZK-Rollup的體系結構，以囊括每個組件。

大咖零距離 | 投資指南之牛市什么時候來:3月17日18:00，金色盤面邀請實盤大V幣圈棟哥做客金色財經《大咖零距離》直播間，將分享《投資指南之牛市什么時候來》，敬請關注，欲進群觀看直播掃描海報二維碼報名即可！[2020/3/17]

為了提高靈活性，需要做一些考慮和權衡：性能大幅下降、Rollup參數的可自定義性降低和費用增加。然而，其最大的缺點是沒有實現通用ZK-Rollup。但這種情況已經開始改變：

StarkNet目前在主網上（盡管處于Alpha 階段）。

3個獨立的項目（zkSync, Polygon Hermez/zkEVM和Scroll）都在ETH CC 2022上宣布，它們將成為第一個到達主網的“zkEVM”。

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

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

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

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

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

堆棧操作：PUSH1(向堆棧中添加內容)

算術操作：ADD（加數字），SUBTRACT

狀態操作：SSTORE(存儲數據)，SLOAD(加載數據)

交易操作：CALLDATA， BLOCKNUMBER(返回當前執行交易的信息)

一個EVM程序就是一系列操作碼和參數。當這些程序被表示為一個連續的代碼塊時，我們稱其結果為“字節碼”(通常表示為十六進制字符串)。

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

每個操作都必須有防止濫用的“成本”(因為所有節點都運行所有交易)。

每個操作都必須是確定性的(因為所有節點必須對交易執行后的狀態達成一致)。

我們需要區塊鏈特定的概念(例如智能合約、交易)。

一些復雜的操作必須是原語(例如密碼學)。

交易必須沙箱化，沒有I/O或外部狀態訪問。

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

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

聲音 | 印度IAMAI律師：FATF指南不能用于實施加密禁令:據AMBCrypto消息，1月16日是印度最高法院(Supreme Court of India)審理“Crypto v. RBI”案的最后一天。印度互聯網和移動協會(IAMAI) 律師Ashim Sood發表辯論稱，任何法律活動都只能通過一項特定政策來停止 。監管的權力可能并不總是包括絕對禁止。而銀行禁令影響了印度的加密交易所。甚至外國銀行也被印度儲備銀行（RBI）管轄，交易所因此受到限制。Ashim Sood還補充說，金融行動特別工作組（FATF）提供的指南不能用于實施禁令，而需要采取侵入性較小的措施。交易所沒有責任為監管者設計一套監管措施。監管者不能僅僅以我認為所建議的措施不足為理由來為禁令辯護。這種轉移負擔的做法是不公平的。[2020/1/16]

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

Solidity（可編譯為EVM字節碼的高級語言）

以太坊的JSON-RPC客戶端API（與以太坊節點交互的規范）

ERC20/ERC721（以太坊代幣標準）

ethers . js（以太坊接口的web庫）

以太坊的密碼學（例如keccak256作為哈希函數，secp256k1上的ECDSA簽名）

從技術上講，你的鏈可能有一個EVM 運行環境，卻不支持上述部分或全部。然而，遵守這些標準會使你在新鏈上使用以太坊工具變得更加容易。一個很好的例子就是Polygon，它除了使用上述所有工具之外，還能夠運行一個分叉版本的Etherscan (Polygonscan)，使用像Hardhat這樣的以太坊開發工具，并在像Metamask這樣的錢包中作為不同的以太坊“網絡”被支持。像Nansen和Dune這樣的工具最初都是針對以太坊的，因此添加對新的EVM區塊鏈的支持很簡單。新的錢包，新的NFT市場——如果以太坊的接口和你的鏈的接口之間的唯一區別是鏈ID，那么你有可能是第一個，并且是以最輕松的方式進行添加的人。也就是說，這些工具是為以太坊構建的。一旦你開始修改自己的區塊鏈(例如，更大的區塊，更快的區塊時間)，你就需要冒著破壞它們的風險。這里沒有所謂的完美匹配。

當涉及到開發人員工具時，任何不支持上述規范的區塊鏈都會被自動落下，并且隨著EVM生態系統的發展有進一步落后的風險。

我認為，“EVM兼容”這個術語實際上不足以描述這里所說的網絡效應，我們實際上描述的是“以太坊兼容”，它遠遠超出了智能合約執行環境，已經擴展到了整個以太坊生態系統和工具集。

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

政策 | G20支持FATF提出的加密貨幣監管指南 并稱要“有效且迅速的執行”:據coinpost消息，在日本大阪舉行的二十國集團(G20)峰會于6月29日閉幕，在此次會議上，FATF的新“加密資產監督指導”在G20得到批準，并稱有可能會加強為國際標準，但也有必要采取適當的規制。對于有關虛擬貨幣的問題，峰會宣言中有以下聲明：“目前，加密資產并未對全球金融系統的穩定性帶來威脅，但我們將密切監視進展，同時警惕現有和可能發生的風險。”另外，還有聲明表示“歡迎使用FATF的聲明和指導”。據悉，此前FATF官網正式發布《基于風險的角度：監管數字資產和數字資產服務商的章程指南》。同時FATF向大阪峰會提議“閑置資產及相關公司新的洗錢和恐怖主義融資措施標準”的被批準申請。此外，G20對FATF制定的“預防洗錢、恐怖活動資金的提供及擴散金融作斗爭、防止這一行為”的國際標準表示支持。“將要求FATF標準要完全、有效且迅速的履行。” FATF制定的新指導方針很有可能被強化為國際基準，而不是單純的指南。[2019/7/1]

通用Rollup都有一個共同的目標：讓開發人員和用戶以盡可能快的速度產生網絡效果。這就需要創造性能最好的Rollup技術，擁有最好的BD團隊和最有效的營銷，三者缺一不可。然而，所有Rollup團隊(基于上述原因)都深切關注：

將現有的以太坊合約(和開發人員)遷移到他們的Rollup中。

支持現有的EVM工具(例如庫、錢包、市場等)。

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

然而，這并不像分叉 Geth，或創建一個新的L1區塊鏈那樣容易。我們的目標是運行EVM字節碼——但是ZK證明需要將它們要證明的所有計算語句轉換成一種非常特定的格式——一種“代數電路”，然后再將它們編譯成STARK或SNARK。

這種更深層次的理解對于我們的目的來說并不是必要的——只要記住，為了支持EVM計算，我們必須將所有的EVM程序轉換成這些電路，以便稍后驗證它們。

一般來說，有以下幾種方法：

通過將其轉換成可驗證的電路，直接證明EVM的執行跟蹤。

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

創建一個自定義VM，將Solidity轉換為自定義VM的字節碼(直接，或者通過自定義高級語言)，并在自定義環境中進行驗證。

Scroll

讓我們從最直觀的開始：證明EVM執行跟蹤本身，這是目前由Scroll團隊研究的一種方法。為了實現這一目標，我們需要:

為一些密碼累加器設計一個電路(允許驗證我們正在準確讀取存儲并加載正確的字節碼)。

設計一個電路來連接字節碼和實際的執行跟蹤。

為每個操作碼設計一個電路(允許我們證明每個操作碼讀寫和計算的正確性)。

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

動態 | 美國國稅局將很快發布加密貨幣稅務指南:據Coindesk報道，美國國稅局（IRS）專員Charles P. Rettig在發送給美國國會議員Tom Emmer的回信中稱，該機構正制定自2014年以來的第一份加密貨幣稅務指南。專員指出，指南將很快公布。據悉，IRS于2014年就加密貨幣發布了指導意見，但尚未更新其指導。[2019/5/21]

Optimism團隊曾對此進行了精彩的討論，雖然他們的討論是在Optimistic Rollup的背景下展開的。Optimism最初創建了一個自定義的Optimistic虛擬機(OVM)作為它們Rollup的執行環境。OVM是“兼容以太坊”的，這意味著它可以運行修改過的Solidity代碼，但一些不匹配的領域的存在，使得以太坊工具和復雜的代碼經常需要被重新編寫。因此，Optimism轉向了“EVM等效”，直接使用確切的EVM規范，并正在開發第一個與EVM等效的欺詐證明系統。然而，Optimistic Rollup不需要擔心電路或驗證者效率。

但是，EVM的核心基礎設施不太適合ZK-Rollup。Rollup性能的一個核心衡量標準是我們需要將特定計算編碼到電路中所需的“約束”數量。在許多情況下，鏡像EVM會直接帶來巨大的開銷。例如，EVM使用256位整數，而ZK證明在素數字段上才會最自然地工作。引入范圍檢查以對抗不匹配的字段算術為每個 EVM 步驟增加了約 100 個約束。以太坊的存儲布局嚴重依賴于keccak256，它的電路形式比對STARK友好的哈希函數(如Poseidon, Pedersen)大1000倍——但替換keccak將會對現有的以太坊基礎設施造成巨大的兼容性問題。此外，與SNARK/STARK友好限額橢圓曲線相比，標準以太坊橢圓曲線上的簽名在證明和驗證上都非常昂貴。簡單地說，直接證明EVM會帶來巨大的計算開銷。雖然最近在這方面有了一些進展(例如多項式承諾、遞歸證明、硬件加速)，但證明EVM跟蹤的效率要遠遠低于在自定義設計的VM中進行的證明，至少在EVM本身做出改變變得對SNARK更友好之前(可能需要幾年時間)。

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

Polygon

Polygon Hermez(最近更名為Polygon zkEVM)便是一個專注于此方法的團隊。Polygon的方法是構建一個zkEVM（操作碼級別的等效），這聽起來與Scroll所采取的方法很相似。然而，與Scroll不同的是，Polygon的備用運行環境(“ZKExecutor”)運行自定義的“zkASM”操作碼而不是EVM操作碼，以試圖優化EVM解析(即減少約束的數量和直接證明EVM)。Hermez團隊將其描述為“基于操作碼的方法”，其核心挑戰是在他們的自定義VM中重新創建每個EVM操作碼，這樣他們就可以快速地從EVM字節碼轉換為可驗證的格式。

這些中間步驟增加了維護和潛在bug的“表面積”。最后，重要的是要清楚，你的程序不是運行在電路中鏡像EVM的zkEVM中，它們在備用的“ZKExecutor”運行，這與EVM本身類似但又不同。

動態 | 非洲數字資產框架發布ICO指南草案:據cointelegraph消息，非洲數字資產框架(ADAF)是一個旨在為非洲大陸建立以合規為重點的跨境區塊鏈標準的項目，ADAF于3月25日發布了ICO指南第一版。官方信息顯示，這一新指南草案是由17家公司的開源社區編寫的，代表了14個不同國家。草案建議使用“代幣生成項目”（token generation events）一詞，而不是更常用的“ICO”，因為這個詞更準確地反映了ICO項目的目標，即資助和構建“分布式生態系統，使社區能夠為分布式賬本技術構建核心基礎設施”。據此前報道，ADAF是一個非盈利組織和開源項目，成立于2018年11月，旨在鼓勵和促進非洲大陸的加密貨幣貿易。[2019/3/26]

因此，雖然大多數Solidity代碼可以正常運行，但會有一些不兼容運行在該系統上的現有L1應用程序和工具的情況。Polygon宣稱“與現有的以太坊工具100%兼容”，并承諾遵守JSON-RPC。在實踐中，這種說法可能是比較理想化的，依賴于以太坊本身的東西將變得對 SNARK 更加友好。

Polygon的方法比Scroll的Rollup性能更好(至少在短期內是這樣)，但有:

更多的自定義代碼，因為我們需要創建zkASM。

開發人員可能需要修改他們的L1代碼或工具框架。

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

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

StarkNet

這就是StarkWare在StarkNet上所采取的方法，StarkNet是目前進展最快的通用Rollup。StarkNet運行一個自定義的智能合約VM (Cairo VM)，帶有自己的底層語言(Cairo)，兩者都是為智能合約Rollup而構建的。這意味著StarkNet沒有現成的以太坊兼容性——正如我們之前看到的，即使是操作碼級別的VM級別兼容性也是Rollup性能的潛在“手剎”。

然而，Nethermind團隊(與StarkWare合作)已經創建了Warp轉譯器，它能夠將任意的Solidity代碼轉換為Cairo VM字節碼。Warp的目標是將普通的Solidity合約移植到StarkNet上——這會實現許多以太坊開發者在“EVM兼容性”方面的主要目標。然而，在實踐中，Warp 不支持一些 Solidity 功能，包括低級調用。

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

然而，這種方法還有幾個需要考慮的方面。首先，構建自己的VM是具有挑戰性的——以太坊團隊已經有超過五年的時間來解決EVM的問題，并且仍然經常進行升級和修復。更自定義的Rollup可以獲得更好的性能，但同時也將失去其他所有鏈和Rollup對EVM所做的集體改進帶來的好處。

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

然而，如果他們能成功做到這一點，StarkWare團隊將著眼于復制EVM的先發優勢，并使用首個針對ZK-Rollup進行優化的智能合約VM。

zkSync

另一個采用這種策略的團隊是zkSync。zkSync創建了自己的VM (SyncVM)，它是基于寄存器的，并定義了自己的代數中間表示(AIR)。然后，他們構建了一個專門的編譯器，將Yul(一種中間語言，可以編譯成針對不同EVM版本的字節碼，比如較低級別的Solidity)編譯成LLVM-IR，然后再將LLVM-IR編譯成用于自定義VM的指令。這類似于StarkWare所采取的方法，但它們在基礎語言上提供了更多的靈活性（盡管目前僅支持 Solidity 0.8.x）。zkSync團隊最初創建了他們自己的類似于Cairo的語言(Zinc)，但是他們將主要精力集中在了Solidity編譯器上，以便L1開發人員能夠更簡單地進行遷移。

zkSync利用這個自定義VM來提供非EVM兼容的功能，比如帳戶抽象(Account Abstraction)，這一直是以太坊核心協議的一個目標。

綜上所述，你可以清楚地看到每個團隊遵循的不同策略:

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

我想對他的論點做的唯一擴展是，在每個“類型”中也存在著顯著程度的可變性——我們處理的是一個范圍，而不是完全細分的類別。從開發人員的經驗來看，對應用層進行單個小更改的Type 3 Rollup比對應用層進行大規模更改的Type 2 Rollup更常見，但在技術上沒有引入新的 VM并成為Type 4。

沒有ZK-Rollup能完美地反映EVM在所有情況下的行為——這完全是程度的問題，當涉及可維護性和性能(而不僅僅是兼容性)時，每個團隊所做的具體選擇將是最重要的。我認為以下定義是最清晰、最一致的：

重要的是要明白，以上這些方法都不是“天生王者”——它是一種分類，而不是一種等級。它們都做出了不同的權衡：更容易構建、維護和升級，性能更高，更容易與現有工具兼容。最終，領先地位也將由更好的分銷和營銷決定，而不是純粹的技術能力。話雖如此，做出正確的基本技術決策無疑具有很大的優勢。Scroll對EVM規范的熱忱承諾是否能讓他們輕松應對EVM的任何升級?另一個團隊更務實的方法會幫助他們更快地進入市場嗎?StarkWare的自定義VM + 轉譯器方法會為長期發展奠定更堅實的基礎嗎?另一個團隊是否會從這個領域的先行者犯的錯誤中吸取教訓，并擊敗他們? 以太坊當前發展的美妙之處在于，我們有不同的團隊，用本質上不同的方法朝著一個共同的目標前進。

但在我們忘乎所以之前，我們也應該清醒地認識到智能合約Rollup的當前情況。每個團隊都有強烈的欲望將自己推銷為“即將接管世界”的項目——但最早要到2022年底，才會有“生產級”智能合約rollup在以太坊上，而其中許多團隊要到2023年才會準備好。

由于這種尚不成熟的狀態，特定于應用程序的Rollup仍然是開發人員在不影響以太坊安全性的前提下進行擴展的最佳選擇。我預計在可預見的未來，特定于應用程序Rollup的性能、自定義和可靠性仍將在某些用例(例如，交易所、NFT鑄造/交易)中保持卓越表現。

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

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

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

自我托管：ZK-Rollup的核心承諾是在保持以太坊安全性的同時擴大規模。然而，許多通用Rollup目前沒有明確的機制在發生惡意或出現不可用的sequencer時恢復用戶資產。

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

智能合約Rollup是以太坊擴展路線圖中一個非常重要的部分。這些Rollup在與現有以太坊工具集的關系中做出了不同的權衡，這也證明了以太坊開發人員生態系統的多樣性。

然而，目前關于EVM兼容性的討論通常沒有抓住要點。從開發人員的角度來看，所有這些Rollup都將支持Solidity代碼。真正的以太坊兼容性是一個更大的挑戰，需要進行大量的考慮和權衡，開發人員在提交Rollup之前應該意識到這一點。目前，大多數Rollup項目都是大規模的“遠期銷售”，即銷售3年以上的愿景，而不是今天(甚至是12個月)可能實現的目標，這可能會造成一定程度上的混亂。

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

在L1和L2運行時，它們的區別是什么?哪些操作碼會在L2上被修改嗎?VM的其他特征(例如費用結構)與L1有什么不同嗎?

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

這次Rollup將對其他以太坊接口(例如客戶端API、庫)做出多少更改，這將破壞以太坊工具嗎?

這個Rollup什么時候會在測試網上上線?在主網上嗎?能夠支持1000+客戶合約TPS的持續吞吐嗎?

你希望什么時候支持用戶資產的完全自我托管?在通用Rollup的背景下，它將是什么樣子的?

隨著合并即將到來，經過檢驗的特定于應用程序的Rollup在生產中，而通用Rollup將在明年沖擊主網，以太坊擴展的未來就在當下。

Source：https://immutablex.medium.com/ground-up-guide-zkevm-evm-compatibility-rollups-787b6e88108e

去中心化金融社區

個人專欄

閱讀更多

金色早8點

Bress

鏈捕手

財經法學

PANews

成都鏈安

Odaily星球日報

Tags：ROLLROL以太坊ARKThe Troller CoinROL價格比特幣以太坊行情分析arkm幣未來價值

TRX