STI:為什么說 Optimistic Rollup 比 ZK Rollup 更能代表以太坊擴容的未來？

原文標題：《OptimisticRollups:thepresentandfutureofEthereumscaling》

編譯：James，鏈捕手

ZKRollups會是通用智能合約系統的未來嗎？關于這個問題的討論，我們似乎已聽到太多。但是，根據我們從運行數百個DApp、數十萬用戶、數百萬筆交易的開放、安全、與EVM?兼容的Layer?2中實踐經驗來看，ZK?Rollups?不會成為通用智能合約系統，至于原因，本文會做詳細解釋。

我們將Arbitrum構建為OptimisticRollup(OR)擴容解決方案，因為我們相信OptimisticRollup是滿足用戶對安全、去信任、與EVM兼容L2的現實需求最佳方式。我們選擇了OptimisticRollup而不是ZKRollups，因為OptimisticRollup系統具有固有可擴展性和成本優勢；時至今日，如果再讓我們做一次選擇，答案依然是OptimisticRollup，想知道為什么嗎？請繼續讀下去。

內容概要：

1、人們想要一條能夠提供安全性、有保證進度、可見性和快速確定性的去信任區塊鏈——他們希望這條區塊鏈上的交易成本更低且能與現有工具兼容。

2、在提供上述服務和功能的時候，與?ZKRollup?相比，我們深入研究了如何使用OptimisticRollup的具體細節。

3、OptimisticRollup可以以較低的成本提供用戶想要的功能，因為構建ZKRollup?證明的鏈下成本非常高。

4、由于?ZK證明非常昂貴，因此完全參與ZK協議可能需要專用硬件和/或大規模并行性，從而使網絡變得更加中心化。

5、ZKRollup所謂的“優勢”，要么?OptimisticRollup也可以支持，要么需要犧牲重要的安全性或可用性功能。

6、總之，OptimisticRollup在操作成本上占據優勢，因為執行代碼比計算復雜的密碼證明要“便宜”得多。

讓我們從頭開始

首先，肯定要先談以太坊。以太坊用戶創建交易以部署智能合約或與智能合約交互，你可以通過幾種不同的方式來考慮以太坊交易。一方面，您可以將其視為不透明的數據區塊，但如果你查看數據內容，就會發現一筆交易當然遠不止這些；所謂交易，其實應該是一個請求，要求智能合約做某事，比如：記錄一些信息，移動一些資產等。

當交易在以太坊區塊鏈上發布時，會發生兩件重要的事情——

第一件事：一旦某筆交易被包含在區塊鏈內，以太坊則會根據有序交易集達成共識。

烏克蘭經濟安全局：過去十年不受監管的加密交易所造成8100萬美元稅收損失:金色財經報道，烏克蘭經濟安全局在8月2日發布的報告稱，從2013年到2023年，不受監管的加密貨幣交易所給該國造成了至少30億格里夫納的稅收損失（約合8100萬美元）。該政府機構表示，它分析了烏克蘭居民在交易所的交易活動，同期比特幣交易量約為550億美元。

金色財經曾報道，烏克蘭總統澤連斯基于 2022年3月簽署了一項名為“虛擬資產”的立法，為該國的加密貨幣建立了監管框架。當時，政府表示正在努力修改烏克蘭的稅收和民法典以適應法律框架，但截至 2023年8月尚未實施對現有要求的修訂。[2023/8/3 16:14:44]

第二件事：以太坊執行這些交易并計算結果狀態更新。

Rollups：OptimisticRollup?和?ZK?Rollup都有什么共同點？

如果讓每個以太坊節點執行每筆交易，成本勢必會非常高，而Rollups其實是一類可以顯著減輕網絡負載的擴展解決方案，交易實際執行并不是在以太坊區塊鏈上完成的，而是轉移到Layer?2上。

但是等一下?–?Rollups應該由以太坊保護，不是嗎？的確，這些擴容解決方案的安全性離不開以太坊，這意味著即使交易發生在Layer?2上，我們仍然需要以太坊用某種方式來保證交易執行的正確性。那么，以太坊如何才能對?Rollups狀態給予批準呢？

答案就是：證明。Rollups使用專門的證明來向以太坊證明自己的正確性，即使不執行交易，以太坊也可以驗證其正確性。

Rollups：OptimisticRollup?和?ZK?Rollup都有什么不同點？

這些“證明”看起來很神奇：允許以太坊在不實際執行交易的情況下驗證Rollups?狀態。您可能想知道這些證明是什么樣子，以及它們在實踐中是如何實現的——而這，就是各種Rollups?風格與眾不同的地方。

ZKRollups使用?有效性證明，它依賴于某一方發布簡潔的密碼證明，這個“證明”可以確定該方知道以特定狀態結尾區塊鏈的有效性。也就是說，“提供證明的那一方”需要執行區塊鏈交易才能知道如何構造證明，然后通過一系列復雜的密碼操作來構造“證明”。這些“證明”將由Layer1鏈上合約進行檢查。ZKRollups的“證明”比較簡潔，而且驗證交易也相對比較便宜，因此可以直接通過以太坊交易來完成。

OptimisticRollups使用不同類型的證明：欺詐證明。顧名思義，OptimisticRollups是“積極、樂觀”的，因為當他們將更新的狀態發布到以太坊區塊鏈時，他們根本沒有發布任何“證明”。任何人都可以發布一個Rollup區塊，其中包含關于執行某個交易正確結果的聲明，其他節點執行相同交易時，只要不同意第一個節點的主張就可以提出挑戰。有效的爭議協議可以解決任何分歧，保證正確的一方將贏得挑戰。各方有強烈的動機只發布正確的主張，而不是質疑不正確的主張，因此在常見情況下，所有節點都會“簡單地”執行所有交易，并且永遠不需要調用證明代碼——整個過程都由Layer1合約負責管理。

火必成為香港虛擬資產評級機構HKVAC首位交易所成員:5月31日消息，火必宣布成為香港虛擬資產評級機構 HKVAC 首位交易所成員。火必表示，將為 HKVAC 提供交易所專業的安全技術及合規的標準化流程作為參考，共同為行業投資者提供更權威的風險管理指標，并制定嚴格的評級標準，對現有交易所進行信用評估。此外，火必加入 HKVAC 后將與其共同探索技術、數據、生態等多維度的合作及升級，加速 Web3 基礎設施落地。

HKVAC 由專業評級機構及業界發起成立，由虛擬資產業界利益相關者包括大數據公司、交易所、機構投資者等并同香港牌照評級機構組成，旨在創造安全的虛擬資產投資環境，以提高公眾投資者對虛擬資產的認可。[2023/5/31 11:49:48]

好的，那么哪種類型的Rollup?更好？在本文的其余部分，我們將在幾個維度上比較?ZKRollup?和OptimisticRollup，并解釋為什么我們認為未來是屬于OptimisticRollup的，而且本質上來看，像Arbitrum這樣的OptimisticRollup可擴展性顯然更好。

OptimisticRollup?vs.ZK?Rollup：成本

OptimisticRollup和?ZKRollup?之間最重要的一個區別可能就是成本。

OptimisticRollup要求節點簡單地執行合約，例如，如果合約執行添加操作，則節點執行該添加操作。

相比之下，ZKRollup?需要生成復雜的密碼證明，需要進行成百上千次橢圓曲線運算才能將加法運算包含在證明中，因此成本很高。更重要的是，ZKRollup會導致每個合約中的每條指令產生成本，由于需要對每條指令生成復雜的密碼證明，而不僅僅是執行指令，因此給?ZKRollup?帶來了一個固有成本劣勢——而且是一個很大的劣勢。

ZKRollup的支持者有時會爭辯說，該解決方案只需要一方創建“證明”，而OptimisticRollup則要求系統有許多節點。但是，如果你正在運行一個規模較大的區塊鏈，無論你使用哪種證明系統，它都會有很多節點。真正的區塊鏈需要很多節點來服務各類活動，比如非變異調用、搜索事件日志、向用戶顯示交易數據、為用戶提供將資金提取回Layer?1所需的數據等等。OptimisticRollup區塊鏈的安全性依賴于這些節點做他們已經需要做的事情——執行交易并追蹤區塊鏈的正確狀態。

另一方面，使用?ZKRollup，就會導出出現昂貴的、基于橢圓曲線的證明，而這會造成非常大的附加成本。為了希望大規模證明ZKRollup，要么需要專用硬件設備，要么需要支持大規模并行——或者兩者兼而有之，這些都是非常昂貴的。

杜均擔任新火科技CEO，原CEO吳樹鵬已辭任:11月30日消息，香港上市的新火科技控股有限公司宣布吳樹鵬辭任執行董事及首席執行官。杜均獲委任為公司執行董事及首席執行官。杜均先生作為區塊鏈及數字資產行業的早期布道者、連續創業者和投資人，擁有近10年的行業經驗，涵蓋企業管理、戰略規劃、市場拓展、投資并購等多個方面。加入新火科技之前，其曾在2013年與公司董事會主席李林先生共同創立全球領先加密貨幣交易平臺火幣集團（Huobi Group）。[2022/11/30 21:12:53]

結論：OptimisticRollup系統具有巨大的固有成本優勢。

OptimisticRollup?vs.ZK?Rollup：EVM兼容性

我們在構建Arbitrum時的一個重要考慮因素，就是與以太坊虛擬機的兼容性。Arbitrum完全兼容EVM，而且具有相同的RPC接口并接受與EVM相同的字節碼，這意味著為以太坊編寫的任何代碼都可以在Arbitrum上“即插即用”。

OptimisticRollup已經運行開放的、與?EVM兼容的區塊鏈一年多了，我們了解到真正兼容以太坊非常具有挑戰性。最初階段?95%的兼容性并不太難，但在實踐中還不夠好，只有付出大量努力和構建不會妨礙產品的架構才能讓兼容性表現的更好。

在兼容性方面，ZKRollup?系統運行的范圍很廣。但有些人認為?ZKRollup?是個“老派”工具，因為他們還在鼓勵人們學習他們的自定義語言。此外，一些?ZKRollup?系統并不試圖兼容以太坊，當然，對于那些不關心以太坊兼容性的開發人員和用戶來說，也不錯。

客觀上來說，EVM算是有史以來最好的鏈上工具。我們認為，考慮到已經與EVM配合使用的開發人員、代碼和開發人員工具的數量，EVM本身具有非常大的實際優勢。考慮一個部署在以太坊上的項目，如果該項目想要擴展到?Rollup，那么開發人員就必須用新語言重寫他們的代碼、委托新的安全審計、并且維護多個代碼庫，這些工作不僅繁瑣且容易出錯。但即使對于尚未編寫任何代碼的新項目，EVM兼容性也是非常重要，因為兼容EVM?意味著這些項目可以充分利用圍繞EVM存在的代碼、工具和人才庫。

也一些?ZKRollup?項目正在努力實現EVM兼容版本，但聲明含糊不清，我們也不知道迄今為止發布的代碼是否允許在ZKRollup上運行EVM合約，一些系統仍然不具備EVM?兼容性。舉個例子，一個聲稱與EVM兼容的ZKRollup?系統真實兼容性并不太好，該系統——

未能實現ADDMOD、SMOD、MULMOD、EXP、SELFDESTRUCT和CREATE2操作碼兼容；正在考慮取消對XOR、AND和OR的支持；不支持標準交易格式；不支持任何預編譯；可能會限制交易中的合約調用次數。似乎看起來?ZKRollup?模式從根本上就不兼容EVM，這顯然與OptimisticRollups實現的完全兼容性有很大差距。

Scroll高級研究員：Scroll正在測試L1、L2之間的資產跨鏈功能:7月28日消息，Scroll高級研究員Toghrul Maharramov在推特發布一張類似Hop Protocol的UI，正在進行從以太坊到Scroll進行USDC跨鏈的圖片。

Scroll團隊表示目前其正在測試L1、L2之間的資產跨鏈功能，該測試跨鏈橋僅僅使用Hop Protocol的UI，代碼則是由團隊自主研發。[2022/7/28 2:43:34]

需要澄清的是，目前依然存在多個特定于應用程序的?ZKRollup?系統示例。事實上，這些系統運行良好，但核心區別在于，它們針對非常適合ZKRollup實現的特定應用程序進行了微調和專門優化。雖然有團隊聲稱在研究一種通用編譯器，允許以兼容方式“打通”?EVM到ZKRollup，但并沒有可用公共代碼或基準來說明用戶定義的ZK-EVM合約的證明成本，根據現有掌握的知識和所有公開可用的數據，我們認為這個成本會非常高。

結論：只有?OptimisticRollups以最低的成本支持完全的EVM兼容性。

OptimisticRollup?vs.ZK?Rollup：去信任可見性和壓縮

在設計交易套利時，OptimisticRollups的關鍵屬性之一是去信任可見性。簡而言之，去信任可見性意味著任何人都可以在沒有中心化組織幫助的情況下查看或獲取區塊鏈的內容。更重要的是，這不僅意味著每個人都可以偶爾看到狀態快照——也意味著每個人都可以看到鏈的完整歷史——它是如何達到當前狀態的。一個實用的區塊鏈讓任何人都可以運行一個節點，同時節點也可以支持非變異調用、搜索事件歷史記錄并查看每筆交易——無需依賴中心化的數據提供者，而無信任的可見性使這成為可能。

坦率地說，一些?ZKRollup?系統在可見性方面似乎走了捷徑，并試圖談論他們沒有提供完整的區塊鏈功能的事實。當您聽到談論“壓縮”時，請仔細想想看——他們是不是說他們正在更有效地編碼鏈的內容？或者他們是說區塊鏈歷史的某些部分根本不可用，除非中心化數據提供者愿意稍后與您共享？

回想一下，ZKRollup?證明其實只證明了“證明者”知道的有效鏈，但“證明”本身不會告訴你那個鏈是什么，即使你有足夠的數據來驗證“證明”，可能也沒有足夠的數據來重建區塊鏈的歷史數據。

舉個例子，假設?Alice提交了一筆支付給?Bob的1ETH交易，很快又出現了Bob提交了一筆支付給?Charlie的1ETH連續交易。接下來，你需要驗證一個證明，即：Alice比以前少了1ETH，Bob的余額沒有改變，而Charlie比以前多了1ETH。

伊朗央行將在2個月內推出加密里亞爾的試點:金色財經報道，伊朗中央銀行（CBI）行長Ali Salehabadi表示，伊朗當局正在采取必要措施，從波斯歷8月23日開始的Shahrivar月開始，啟動加密里亞爾的試點。該試點項目最初將只覆蓋該國的一個地區。已經開發了一段時間的加密里亞爾，最終將被引入伊斯蘭共和國的其他地區，具體時間未定。新的加密里亞爾將根據管理紙幣和硬幣發行的規定發行，并將專門用于國內的交易。CBI將負責監測數字現金的金融和經濟影響，確保它不會對其貨幣政策產生負面影響。

CBI在4月宣布，它正在為即將推出的央行數字貨幣（CBDC）做準備，貨幣當局將是加密里亞爾的唯一發行者，并將決定其最大供應量。根據早前的報道，該幣基于一個分布式賬本系統，將由授權的金融機構維護，并能夠支持智能合約。（bitcoin.com）[2022/6/27 1:32:47]

但是發生了什么？Alice付錢給Bob?了嗎？Bob?付錢給Charlie?了嗎？也許是Alice直接付錢給Charlie，也許是?Alice銷毀了一個ETH，而Charlie所獲得的1?ETH?是由其他人支付的，也許這個“其他人”名叫Diana，而不是?Bob。如果我們從區塊鏈中尋找?Bob的支付證據，但對于一些不提供區塊鏈可見性的ZKRollup?來說，根本無法區分并找到Bob?支付交易。

許多智能合約應用程序所需要的不是僅僅知道幾個檢查點，而是需要了解整個鏈條——了解發生了什么以及如何達到最終狀態。?ZKRollups有時吹噓比OptimisticRollups更好的“壓縮”，但它們隱藏了區塊鏈的數據，這意味著只有“證明者”知道數據不是壓縮，它們甚至有可能刪除依稀重要數據。如果ZK提供者說他們“不需要”發布整條區塊鏈的歷史，其實他們真正的意思是他們無法保證區塊鏈的可見性，而放棄區塊鏈可見性保證并不是?Optimistic?Rollup?愿意做出的妥協。

結論：OptimisticRollup?系統能以最低成本提供去信任的可見性。

OptimisticRollup?vs.ZK?Rollup：去信任，及時終結

在評估Rollup時，我們需要確定一個關鍵要求，即：Rollup是否需要提供去信任的、及時的終結。簡單來說，這意味著在您提交交易后，你和其他所有人都應該及時且確定地知道該交易的結果，并且沒有人能夠更改或撤消這個交易。

在我們看來，實現及時終結的最佳方法是將交易的順序與交易執行分開。排序產生一個最終的提議交易序列，并且嘗試按該序列執行交易。如果交易的執行是確定性的，因為它是基于Arbitrum的，那么確定交易的順序就足以確定結果，因為結果是交易順序的確定性函數。如果每個人都知道交易的順序，那么每個人都可以輕松確定結果。

完成一個序列需要將序列發布到?Layer?1鏈，并包含足夠的信息以允許任何人自己執行交易，以便無需信任地了解結果。理想的匯總是盡可能頻繁地將排序的交易數據發布到Layer?1鏈。

在Optimistic?Rollup?系統中，發布到?Layer?1鏈的成本最低，實際上Arbitrum通常會在每一分鐘左右將排序的交易數據發布到Layer?1鏈，為用戶提供快速確定性并保證沒有人可以撤消他們的交易。此外，Arbitrum?還會每隔一小時左右就產生一個新的Optimistic?Rollup?結果主張，但由于序列已經最終確定并且執行是確定性的，因此完全不會減慢最終確定的速度。

原則上，ZKRollup?系統也可以按照類似的方式運行；即，將交易的順序與稍后進行的驗證與偶爾的有效性證明分開。然而，與?Optimistic?Rollup?系統發布數據一樣，以這種方式運行的ZKRollup需要將基本相同的數據發布到Layer?1鏈上，但對于上文中討論的“壓縮”技術并不支持這么做。ZK?Rollup?為了讓“壓縮”技術起作用，必須實時證明一系列Layer?2交易的有效性，在同一個Layer?1交易中，而且每次發布一批Layer?2交易時都必須這么做。

因此，雖然所謂的“壓縮”技術備受ZK?Rollup?吹捧，但在遇到上述情況時，他們不得不做兩個選擇：

1)每分鐘左右發布排序交易以及執行證明：這可以保持快速確定性，但需要每分鐘在情況鏈外生成ZK證明并在Layer?1鏈上進行驗證。根據實施情況，在區塊鏈鏈上發布ZK證明的成本估計在500,000到500萬?gas?之間。

2)每小時發布排序交易和證明：這種做法雖然可以使ZK證明檢查成本變得略微合理，但將最終確定時間會延長到一個小時。在用戶向ZKRollup?運營者提交交易和其發布到情況鏈上之間的時間里，用戶無法保證他們的交易是否會被包括在內，而且只能相信?ZK?Rollup?的運營者。

如果你正在構建一個?ZKRollup?系統，會發現上述兩個選項其實都是不可接受的——第一個成本太昂貴，第二個無法提供及時的終結。因此，如果最終會使用相同類型的序列器，就需要在Arbitrum的ZKRollup?版本中發布與我們的?Optimistic?Rollup?版本基本相同的數據。

如果您聽到有人吹捧?ZKRollup?可以將數小時的數據壓縮為一個點，請不要擔心。如果他們只在很長一段時間結束時發布單點數據，那么這意味著他們在這段時間內沒有提供最終確定性。

結論：出于實際考慮，ZK?Rollup?系統不得不以Optimistic?Rollup?相同的方式處理實時終結。

OptimisticRollup?vs.ZK?Rollup：去信任活性

去信任活性意味著任何人都可以迫使系統取得進步。

Optimistic?Rollup?允許任何節點聲明正確執行交易，提出該聲明只需要節點執行鏈的交易，然后存入一筆可以在協議確認聲明后退還的質押即可。

在?ZKRollup?系統上，進程要求任何節點都可以創建并發布推進區塊鏈狀態所需的ZK證明，但并不是每個人都可以使用普通硬件和軟件就能實現的。因此，如果要完成ZK?證明就必須構建或購買特定的專用硬件而且還要進行大規模并行計算。即便是在普通設備上，也需要構建合適的ZK證明的路徑，不提供此功能或未發布為其系統生成證明的代碼的ZK提供者就無法提供去信任進程，系統也就沒有任何活性保證。也就是說，ZK?Rollup?的系統是中心化的，因為只有擁有特殊設備的證明者才能推動進程。

結論：在Optimistic?Rollup?系統中更容易提供去信任進程。

OptimisticRollup?vs.ZK?Rollup：橋接

當然，ZKRollup?并非一無是處，它在一個領域里具有較大優勢，即：以太坊跨鏈連接。在資金轉移到Layer?1時，Optimistic?Rollup?系統會比預期延遲一周，而ZKRollup?允許在ZK證明發布到Layer?1后立即建立橋接。但從本質上來看，這兩種方式其實并沒有太大的區別，因為?Optimistic?Rollup?也可以讓用戶快速利用橋接服務，以低延遲將Layer?2資金交換為Layer?1資金。所以ZK的優勢主要是用戶可以避免支付跨鏈橋接服務所收取的小額費用。但在實際應用中，Optimistic?Rollup?的表現其實也不錯，因為目前已經有許多實時快速跨鏈橋提供從Arbitrum的即時提款服務。

需要強調的是，ZKRollups的橋接優勢其實并不是非常大：因為它只能用于從Layer?2橋接回以太坊。曾幾何時，許多人認為以太坊擴容解決方案不會那么快出現，也許只會有一兩個DApp?緩慢推出。但在實際應用中，Rollup?用戶會發現自己需要在Layer?1和Layer?2?之間來回切換，而這其實是ZK?Rollup?無法支持的，相比之下，Arbitrum擁有一個蓬勃發展的生態系統，數百個DApp遍布在?DeFi領域里的每個角落，許多用戶正在連接到Arbitrum并長期留在那里。此外，在為用戶提供跨鏈支持方面，Arbitrum?不僅僅支持以太坊，也會和其他Lauer?1和側鏈對接，對于這種直接橋接，ZKRollups的優勢就沒有?OptimisticRollups那么大了。

結論：ZK?Rollup?系統在橋接到Layer?1方面略有優勢，但在快速橋接和多鏈使用模式下，ZK?Rollup?的實際應用并沒有預期的那么好。

總結

在全面比較Optimistic?Rollup?與?ZKRollup?系統之后，我們認為?Optimistic?Rollup?系統顯然是贏家。Optimistic?Rollup?成本更低，與EVM和現有工具完全兼容，實踐中唯一真正的缺點是在沒有快速跨鏈橋接服務的情況下，Layer?1的橋接速度較慢。ZKRollup?的許多假定優勢需要犧牲區塊鏈可見性或終結時間，我們認為這不是用戶想要的。

不僅如此，ZK?Rollup?想要做出改變似乎也不太可能。與?EVM兼容的合約執行的ZK證明仍將比?Optimistic?Rollup?執行要昂貴得多，并且?ZK?Rollup?也很難實現有保證的進度、區塊鏈可見性和去中心化的要求。如果情況發生變化，我們愿意將Arbitrum切換到基于ZKRollup?的交易執行，但我們認為它們不會做出優化改變。

最后要說的是，人們傾向于將Arbitrum當前提供的內容與ZK系統聲稱他們將在未來提供的內容進行比較，但這種比較其實毫無意義，因為我們要比，就拿現有系統作對比。像Arbitrum這樣的OptimisticRollup擴容解決方案是唯一支持通用智能合約的開放部署系統。或者，如果要比較未來的系統，那么我們就應該將未來的Arbitrum與未來的ZK系統進行比較。

我們正在不斷改進Arbitrum，舉個例子，在我們即將發布的Nitro版本里，將會為用戶提供更低的交易成本和更好的鏈上優化無損壓縮數據，不僅如此，我們正在不知疲倦地工作以改進交易套利并將成本降低到理論極限。正如我們在這篇文章中所分析的那樣，我們相信，當考慮到目前存在的兩個系統以及它們各自的理論限制時，OptimisticRollups顯然是真正的贏家。

Tags：ROLLROLSTIOPTroll幣出獠牙肩幾率TROLL BNBSTI幣optimus幣發行量

火必下載