Layer2：Rollups詳細解讀-ODAILY_ROLL:TROLL幣

背景介紹

從比特幣創世開始，一直到以太坊網絡中CryptoKitties游戲的出現。主流公鏈項目最被人詬病的地方就是低下的TPS。以太坊15左右的TPS完全無法給大多數應用提供實時穩定的支持，這與當前互聯網行業動輒上萬TPS的業務形成了鮮明的對比。甚至有很多人因此覺得公鏈將長期處于“不可用”狀態。然而，公鏈愛好者不會因為困難而停下腳步。

主流方案對比

對于以太坊而言，過去幾年內關于以太坊擴容的方案如雨后春筍般涌出，形成了百家爭鳴的態勢。其主流的方案如下所示:

1.鏈上擴容：

分片技術：分片一詞本來源于數據庫的術語，表示將大型數據庫分割為很多更小的、更易管理的部分，從而能夠實現更加高效的交互。

區塊鏈分片是指對區塊鏈網絡進行分片，從而增加其擴展性。根據最新的以太坊2.0規范，以太坊區塊鏈會被分為1024個分片鏈，這也意味著以太坊的TPS將提高1000倍以上。但目前Sharding方案仍然在跨分片通信、欺詐識別、隨機分配與選舉安全性等方面存在不足。

Layer1區塊鏈LUKSO主網正式上線:5月24日消息，以太坊 ERC-20 標準提出者之一 Fabian Vogelstelle 等人推出的 Layer 1 區塊鏈 LUKSO 宣布主網已正式上線。LUKSO 是基于 Casper PoS 的 EVM 區塊鏈，于 2021 年 2 月通過可逆 ICO 籌集到 1800 萬美元資金。LUKSO 使用 Casper FFG 權益證明，LYXe 驗證者來提議、驗證和擔保區塊的有效性。主網上線后，LYXe 將轉換為 LYX（LUKSO 的原生代幣）。[2023/5/24 15:22:10]

2.鏈下擴容：

狀態通道：指代用于執行交易和其他狀態更新的“鏈下”技術。

但是，一個狀態通道內發生的事務仍保持了很高的安全性和不可更改性。如果出現任何問題，我們仍然可以回溯到鏈上交易中確定的穩定版本。

數據：以太坊Layer2上單日交易筆數首次超越主網:11月11日消息，據Layer2跨Rollup橋Orbiter Finance上L2 Data數據顯示，2022年11月8日，以太坊Layer2上單日交易筆數首次超越主網。當日Layer2上交易筆數為1,202,405筆，而主網上交易筆數為1,132,319筆。[2022/11/11 12:51:02]

側鏈技術：側鏈是平行于主鏈的一條鏈，由側鏈上的驗證者把一條鏈的最新狀態提交給主鏈上的智能合約，這樣持續推進的一類系統。側鏈通常使用PoA(Proof-of-Authority)、PoS(ProofofStake)等高效的共識算法。它的優勢在于代碼和數據與主鏈獨立，不會增加主鏈的負擔，缺陷在于它的安全性弱、不夠中心化，無法提供審查抗性、終局性和資金所有權保證。

Rollup技術：顧名思義，就是把一堆交易卷起來匯總成一個交易，所有接收到這個交易的節點只去驗證執行結果，而不會驗證邏輯。因此Rollup交易所需Gas費會遠小于交易Gas費總和，TPS也增加了。

Art Blocks Playground系列NFT近24小時交易額激增超5000%:金色財經消息，據OpenSea數據顯示，Art Blocks Playground系列NFT近24小時交易額為568.31ETH，24小時交易額增漲幅度為5112.36%，交易額排名位列OpenSea第一。[2022/8/3 2:54:41]

主流的Rollup技術可以分為兩類：

ZkRollup：基于零知識證明的Layer2擴容方案，采用有效性驗證方法(VP)，默認所有交易都是不誠實的，只有通過有效性驗證才會被接受。ZkRollup在鏈下進行復雜的計算和證明的生成，鏈上進行證明的校驗并存儲部分數據保證數據可用性。

OptimisticRollup：樂觀的Rollup協議，采用欺詐證明方法，即對鏈上發布的所有Rollup區塊都保持樂觀態度并假設其有效，它僅在欺詐發生的情況下提供證據。

樂觀Rollup的優勢在于能使得原生Layer1上的solidity合約可以無縫移植到Layer2，從而最大程度提升了技術人員的研發體驗，目前主流方案包括Optimism和Arbitrum。

元宇宙社交應用Flickplay完成500萬美元融資 Lightspeed Ventures等參投:11月2日消息，元宇宙社交應用Flickplay完成500萬美元融資，Lightspeed Ventures、Abstract VC、Long Journey VC、華納聯合創始人Vivi Nevo和King聯合創始人Sebastian Knutsson等參投。Flickplay是一款社交錢包應用程序，旨在處理不同類型的數字藝術和藏品。用戶能通過交互式AR地圖獲取藏品，然后使用一套內容創建工具向其他用戶展示它們。Flickplay創始人Pierina Merino稱之為《精靈寶可夢》的地圖游戲與抖音社交功能的結合。（VentureBeat）[2021/11/2 6:26:58]

Plasma方案：通過智能合約和Merkel樹建立子鏈，每個子鏈都是一個可定制的智能合約，子鏈共存并獨立運行，從而大幅降低主鏈的TPS壓力。

我們對解決方案進行比較，結果如下：

動態 | 福布斯法律專家Joshua Ashley Klayman表示美國可能會很快考慮加密監管法案:據Todaysgazette4月14日報道，福布斯法律專家，撰稿人和高級密碼空間律師Joshua Ashley Klayman最近提出美國可能會考慮通過該法案來規范該國數字貨幣交易的活動。沒有人希望美國有嚴格的加密貨幣監管，但這位著名的法律專家認為，美國加密監管機構正在以雄心勃勃的步驟朝著正確的方向努力。“對立法完善的追求令人欽佩，傾聽區塊鏈社區的聲音并采取行動回應也是如此。在區塊鏈問題上需要合作，改變現有法律也需要協作。法律本身也在發展。”克萊曼說。[2019/4/14]

Rollup機制目前被普遍認為是最有前景的擴容方式，在兩種主流的Rollup方案中，最核心的問題便是如何驗證Rollup交易中的真實性。

OptimisticRollups和ZKRollups運用了不同的思維邏輯，前者樂觀地相信交易的真實性，而后者悲觀地不相信，因此生成零知識證明來自證清白。

相比之下，兩者的優劣如下：

OptimisticRollup的優勢是能夠更好地支持EVM合約，劣勢在于驗證效率低，安全性較低；

ZkRollup的優勢在于高度去中心化，驗證效率高，劣勢在于生成零知識證明并打包的過程非常復雜，較難兼容EVM，也較難落地。

下面主要對OptimisticRollup的兩大方案Optimism和Arbitrum進行介紹。

Optimism和Arbitrum

首先我們來看看OptimisticRollup方案的流程：

Optimism和Arbitrum在基本流程上跟上述描述一樣，直截了當來說：Optimism的爭議解決方案比Arbitrum更依賴于以太坊虛擬機(EVM)。當有人提交關于Optimism的挑戰時，存在問題的交易都會通過EVM再運行一遍。

相比之下，Arbitrum使用鏈下爭議解決流程將爭議二分減少到一筆交易中的一個步驟。然后，協議將這個一步的斷言發送到EVM進行最終驗證。

因此，從概念上講，Optimism的爭議解決過程比Arbitrum簡單得多。但Arbitrum大大減少了鏈上的驗證壓力。

Arbitrum的整體架構如下所示：

由于Arbitrum是針對以太坊的擴容方案，因此Arbitrum架構自然部分存在于Layer1上，部分存在于Layer2上；

存在于Layer1上的Arbitrum組件為EthBridge，它是一組以太坊合約；

EthBridge負責仲裁ArbitrumRollup協議，以及維護鏈的inbox和outbox；

鏈的inbox和outbox允許用戶、Layer1合約和完整節點將他們的交易發送到鏈并觀察這些交易的結果；

Arbitrum虛擬機是Layer1和Layer2之間的網關，這也由EthBridge產生；

AVM能夠讀取輸入，并對這些輸入執行計算以產生輸出；

ArbOS運行在Arbitrum虛擬機之上，負責保證Arbitrum鏈上智能合約的執行；

ArbOS完全存在于Layer2上，并像在以太坊上運行一樣運行EVM合約。

Arbitrum的爭議解決過程主要依賴鏈下的遞歸二分算法。該算法通過不斷二分差異點來迫使”斷言者“和”挑戰者“縮小分歧，最終在Layer1上解決分歧。解決的具體方案如下所示：

而Optimism則直接讓EVM執行整個交易，因此它只需要一輪交互即可完成。出于這個原因，OptimismRollup通常被稱為“單輪”，而ArbitrumRollup是“多輪”。兩者最大的區別在于：Arbitrum解決爭議時間長，因此確認時間較長。Optimism需要執行整個交易，Gas費更高。

Eigen——Layer2Rollup的隱私計算方案

對于隱私計算而言，通常結果是樂觀主義的。在隱私計算領域，一筆交易極其復雜，在Layer1執行完這筆交易非常困難，因此，Arbitrum是隱私計算領域中較優的選擇，這也是Eigen基于Arbitrum進行開發的原因。

EigenRollup是一套EVM兼容、支持樂觀執行和可驗證性聲明的混合Rollup方案。

樂觀執行：類似于CPU的分支預測(BranchPrediction),交易會被預執行，驗證者驗證交易的合法性；通過挑戰協議對有爭議的交易進行裁決；

可驗證性聲明：采用TEE簽名和零知識證明技術對計算過程的正確性和結果完整性提供非交互式證明。

EigenRollup基于Arbitrum提供如下技術：

隱私可驗證性證明：EigenRollup在Arbitrum的交互式證明方案的基礎上，采用TEE進行關鍵隱私操作指令的執行，從而降低交互式證明消耗，提供交互式證明的隱私保護；

公平定序器：現有的定序器存在中心化程度太高，以及跟驗證節點聯合作惡的風險。EigenRollup采用一種公平算法來實現定序器，實現了低手續費的同時，也防止了MEV等攻擊的可能性。

分布式任務執行引擎：EGVM作為隱私合約的執行虛擬機，支持分布式任務管理。EGVM會將分布式任務調度到EigenCC計算集群進行并行計算,并且生成對應的可驗證證明。

Tags：ROLLROLARBRBITROLL幣ROL幣JustCarbon Removalarbitrum幣中文名稱

Coinw