一文讀懂以太坊 Layer 2 解決方案：ZK Rollup、Optimistic rollup、Validium、Plasma_以太坊

區塊鏈領域中最具爭議的話題之一無疑是可擴展性。

具體而言，隨著以太坊越來越受歡迎，區塊中的交易請求也在增加，因此交易成本也在隨之增加。由于以太坊主網每秒處理大約15筆交易，因此提高吞吐量是有必要的。為了減輕以太坊節點的負擔，出現了許多L2解決方案，每個解決方案都有自己的優點和缺點。

為了提高以太坊網絡在其實際單鏈配置中的速度，多種替代擴展策略被應用：它們都旨在為以太坊主區塊鏈上的交易處理減負以提高可擴展性，但所采取的方式各有不同。

值得注意的是，這些擴展技術并非以太坊獨有，也可被用于其他網絡。

現有的主要擴展方案

實際上，已有多種新穎的共識算法和技術，例如分片，可以直接在基礎層解決可擴展性問題。

近幾個月來，只占當前區塊鏈一小部分的分片鏈獲得了大量關注。尤其是鏈游方面的發展，例如基于HarmonyOne的DeFiKingdoms和NearProtocol的EVM兼容鏈Aurora的推出。這些生態系統發展的主要驅動力是部署在其中的應用程序的實際價值，即更快的出塊時間和更低gas費所帶來的用戶體驗提高。

以太坊2.0可能就屬于分片家族。

此外，還有構建在例如rollup之上的側鏈和解決方案:這種技術繼承了來自主層的所有安全性和共識協議，與大多數其他擴展技術相比具有相當大的優勢。在這方面，這些解決方案可以被歸類為“非托管”側鏈。

美聯邦調查局指責朝鮮搶劫1億美元加密貨幣:金色財經報道，美國聯邦調查局指責與朝鮮政府有聯系的黑客去年六月從一家總部位于加利福尼亞的公司竊取了1億美元的加密貨幣。根據美國聯邦調查局的聲明，朝鮮特工本月清洗了6月份黑客攻擊中被盜的6000多萬美元。該局表示，6000萬美元中的“一部分”被凍結，但沒有具體說明凍結了多少。

這是美國官員擔心平壤將用來資助其非法核武器和彈道導彈計劃的一系列數字搶劫案之一。據聯合國稱，朝鮮黑客近年來通過突襲加密貨幣交易所竊取了相當于數十億美元的資金。美國機構公開警告說，除了黑客攻擊加密貨幣公司外，疑似朝鮮人還冒充其他國籍在這些公司申請工作并將錢匯回平壤。美國有線電視新聞網（CNN）的一項調查發現，至少有一名加密貨幣企業家在不知不覺中向一名朝鮮科技工作者支付了數萬美元。[2023/4/10 13:53:51]

從本質上講，rollup收集大量交易，在鏈下對其進行計算，然后將它們作為單個鏈上交易進行廣播。

目前在以太坊主網上活躍的rollup分為兩種類型:

ZkRollup，以有效性證明進行支持

Optimistic，由欺詐證明支持

零知識證明ZKP

從其純粹的定義開始，零知識證明(ZKP)是一組工具，可以在不揭示基本假設的情況下驗證信息。

DeFi策略協議Blueberry Protocol上線測試網:據官方消息，DeFi 策略協議 Blueberry Protocol 已上線測試網。

Blueberry Protocol 可為用戶的聚合、對沖、借貸等 DeFi 多步策略提供一鍵式操作。按計劃，該協議將首先上線以太坊主網，隨后上線 L2 網絡。根據官網介紹，該協議還將為早期用戶分配空投。[2023/1/17 11:16:20]

“零知識”一詞源于沒有提供任何(“零”)關于特定事實的信息的理念:這是由一組加密技術實現的，該技術使“證明者”能夠在不披露任何數據的情況下，以數據方式向“驗證者”表明一個計算斷言是有效的。

ZKP已被引入區塊鏈領域。零知識證明分為兩種類型：交互式和非交互式。

交互式ZKP要求證明者進行一系列的活動或操作，以說服驗證者他們擁有某些知識。交互式ZKP中所需的大部分活動都包含了數學概率思想。

非交互式ZKP不需要證明者和驗證者之間的交互，否則驗證可能會在之后進行。在這種情況下，此類ZKP需要額外的計算機或軟件。

所有ZKP必須滿足三個先決條件：

完整性：如果陳述為真，驗證者可以驗證被證明者持有的所有必要輸入。

有效性：該判斷不能被駁斥，且當被證明者沒有提供必要的輸入時，驗證不會成立。

零知識：驗證者除判斷是真或假之外，不會看到其它信息。個人數據將始終保持匿名和加密狀態。

美國消費者金融保護局：沒有計劃擴大對加密貨幣領域執法力度:金色財經報道，美國消費者金融保護局(CFPB)局長今天表示，該局并不打算立即打擊加密貨幣，加密貨幣不是產品，某些電子消費交易是。此外，他稱沒有計劃擴大對加密貨幣領域執法力度，并認為國會應該優先考慮關于穩定幣監管框架的立法。

此前8月消息，CFPB要求聯邦法院強制Block遵守與其支付工具Cash App相關的兩項調查要求。(The Block)[2022/12/15 21:46:02]

相關閱讀：科普：什么是零知識證明，零知識證明的用例有哪些？

ZKRollup

ZkRollup將所有交易數據提交到主鏈，并使用Zk-Snark驗證交易。

VitalikButerin在2018提出了這個加密工具。

縮寫SNARK代表簡潔，知識的非交互論證：

“簡潔”意味著證明比底層數據更短。

知識論證表明，如果沒有適當的“證人”或證據來證明他們所提供的信息是真實的，一個證明者就不能構建被驗證的證明。

一旦這些驗證完成并發布到主鏈，其中包含的所有交易都被宣布為最終交易。因其使用加密活動，L2節點構建證明所需的處理能力非常高也更加快速。

百度馬杰：元宇宙到達發展起點還需要5年:金色財經報道，近日，百度副總裁馬杰在接受專訪時表示，現在的元宇宙還沒有到發展的起點。從技術發展的角度看，再過5年，元宇宙才是發展起點。技術限制是影響用戶對元宇宙產品觀感的重要原因。希壤接受批評的同時，也要盡快走過技術鴻溝。元宇宙跟現實世界一定是緊密相連的，二者相伴相生，互相結合，線上線下密切聯動。（澎湃新聞）[2022/9/5 13:08:24]

ZKrollup通過中繼器組合交易，然后由中繼器生成zkp來證明交易的真實性。之后，在主層上提交并發布證明。

相關閱讀：讀懂ZK-Rollups：如何帶來Crypto生態系統的范式轉變？

Optimisticrollup

Optimisticrollup的基本假設是，所有已處理的事務都是有效的。事實上，這個名字來源于節點鏈的樂觀狀態。

每當發現交易無效時，節點可以通過提供欺詐證據對發現不正確交易的整批交易提出質疑：一批交易將由支持optimisticrollup的底層系統在主鏈上重新運行。

總體而言，OVM允許L2上的交易完成，即使它們已被L1拒絕為無效：此外，如果交易被視為無效，則L2鏈將被重置為欺詐交易之前存在的狀態。由于欺詐交易，所有后續交易都處于無用狀態。

由于optimistic的方法建立在提交的交易總是真實的前提下，直到被證明是不同的，所以它在某種程度上被認為是“基于信任的”。

7月1日波卡解除質押251.76萬枚DOT:6月27日消息，據KingData監控，本周（6月27日-7月3日）波卡解除質押的DOT總量為313.33萬枚，解鎖峰值在7月1日，解鎖251.76萬枚DOT。[2022/6/27 1:34:07]

如果對生態系統中的參與者提供適當的激勵，那么假設可能成真。然而，為了防止出現最壞的情況，也需要采取額外的預防措施。例如，當把資產從L2轉移到L1時，Optimism規定了七天的擱置期，以為驗證者提供足夠的時間來發現和標記欺詐交易。

Validium

Validium運行方式類似于ZKrollup，不同之處在于數據被保存在鏈下。因為交易數據不是發布在區塊鏈上的，所以有必要采用額外的信任假設，用戶必須信任操作員，以便在需要時可以訪問數據。

Validium的鏈下數據存儲有很多好處，交易速度更快，并且因為公眾無法訪問交易，所以用戶隱私性也到了提高。

然而，由于數據是在鏈外保存的，因此用戶將無法隨時看到其在智能合約中的可用金額。

因此，用戶必須從中繼器那里獲取數據才能掌握自己的資金，并且他們必須信任中繼器。

為了解決這個問題，StarkWare這樣的解決方案提供了一個數據可用性委員會，其會存儲所有鏈下數據，并在緊急情況下變為公開可訪問，減少用戶對中繼器的依賴：由于其仍使用zkp，所以不存在廣播不正確狀態的危險；用戶現在必須信任的只是信息的及時性。

Validium解決方案是較新的，建立在ZKR基礎之上，如果擴展解決方案的有效性證明套件越來越受歡迎，其勢頭會不斷提高。

使用Validium解決方案的項目包括DeversiFi、ZKSwap、Sorare和ImmutableX。

相關閱讀：一文讀懂StarkWare：dYdX和Immutable背后的L2方案?

Plasma

在Plasma的家族中，可以找到幾個基本上是以太坊復制版的區塊鏈，它們通過信任最小化的網橋體系結構連接到以太坊。每個Plasmachain都可以采用自己的交易驗證流程，但以太坊區塊鏈仍具有最終交易真實性的權威。

Plasma不需要用戶對運營商抱有絕對信任，即使是在不誠實或妨礙操作的情況下，用戶始終有機會收回資金。雖然Plasma的推出引起了以太坊社區的極大興趣，但也帶來了許多挑戰：新的數據可用性網絡攻擊、要求用戶監控交易以檢測惡意活動，以及在大量用戶試圖同時退出Plasma鏈的情況下對主鏈上數據容量的擔憂，減緩了基于Plasma系統的采用。

此外，許多Plasma設計被一系列的用戶體驗和安全問題所困擾，而且它們并沒有為智能合約的開發提供原生的便利性。OMG和Polygon現在已經放棄了Plasma，導致一些人認為它實際上已經不存在了。

技術比較

迄今為止，Optimisticrollup受到了最大的關注和采用，這要歸功于其使開發人員能夠將其以太坊應用程序“復制和粘貼”到L2平臺的性質。

Uniswap和Synthetix等以太坊主網頭部應用程序已經開始使用基于概率rollup解決方案的Optimisticrollup解決方案部署其應用程序。同樣，ZKrollups和Validium解決方案雖然目前對通用智能合約的支持非常有限，但仍在積極部署中。

ZKR相對于OptimisticRollup的一個主要優勢是沒有爭議期。由于使用zkp來建立交易真實性，中繼器將無法欺騙系統。另一個需要考慮的因素是ZKR用戶始終能夠移動其資產，因為數據始終保存在鏈上。

相關閱讀：

為什么說OptimisticRollup比ZKRollup更能代表以太坊擴容的未來？

Polygon駁OffchainLabs：ZKRollup才是以太坊擴容的未來

總的來說，這些舉措的發展高度依賴于他們能夠提供什么。零知識證明EVM兼容性的未來為基于有效性證明的L2解決方案組合的發展提供了良好的前景。

隨著MatterLabs和StarkWare開創性地選擇數據可用性來使用這些證明的可訪問性，其可能會超越optimisticrollup的普及度。零知識證明所提供的安全性，以及中繼器發布惡意活動的難度，使得L2系統采用其力量的未來看起來更加光明。

截至2月20日，整個L2生態的TVL約為60億美元。

根據下圖L2Beat數據顯示，optimisticrollup占總市值的70%，Arbitrum以31億美元排名第一。dYdX是采用ZK-Rollup的L2，以9.95億美元緊隨其后。到目前為止，Validium相關TVL較低，但隨著IMX和Sorare的出現，也很有增長潛力。

結論

預計rollup的使用將是未來最常見的擴展方式。其中很多是近期首次部署的，這是一個重要的里程碑。考慮到以太坊2.0的發布還有很長一段時間，所以rollup可能會存在很長一段時間。

可組合性是以太坊的一個關鍵元素，它使網絡中的任何人都可以輕松地在現有資產之上和周圍構建新的用例。

如果你是以太坊網絡的用戶，這實際上給了你很大的自由度：你可以在同一個安全框架下，同一條鏈上，通過一些用戶友好活動進行相對復雜的交易。

雖然L2解決方案通過降低gas費明顯改善了用戶體驗，但也提供了獨立執行環境的選項。

最近，應用開發者在選擇在哪個平臺上部署之前，開始變得猶豫不決，因為他們一直在觀望哪個L2解決方案更受歡迎。

一個或多個L2之間的集成將是未來發展的一個關鍵。不僅對整個以太坊生態系統的網絡效應有影響，而且對更廣泛的智能合約平臺環境也影響巨大。

作者：DaolecticResearch

原文標題：《HowtoscaleEthereum?—AcomprehensiveanalysisofalltheactualLayer2environment》

編譯：麟奇，鏈捕手

Tags：ROLLROL以太坊OPTTROLLBNB幣BenjiRolls比特幣以太坊Optimus AI

XMR