ETH 2.0 本就是一種形式的 rollup

買賣虛擬貨幣

來源:以太坊愛好者


當我們向一種新的擴容正規化轉變時,回顧被拋棄的舊正規化是一種很好的做法。

這篇文章旨在讓讀者相信,“以 rollup 為中心” 的方法並不會背離分片,並且有望構建對整個(假設性)系統更直觀的理解。

optimistic rollup 的定義

出於本文的目的,我們先詳細說明最簡單的 optimistic rollup (oru)實現。

oru 需要具備以下幾個特性:

  1. 將所有交易資料提交到鏈上
  2. 將狀態根提交到鏈上
  3. 假設狀態根是正確的
  4. 一些節點負責驗證 oru 的狀態轉換
  5. 設有鏈上欺詐證明執行程式,可以撤銷無效狀態轉換

分片為什麼不可行

在證明 eth 2.0 分片只是一種複雜的 oru 系統之前,我們先來探究一下為什麼原生分片系統並非安全的可擴充套件性解決方案。其背後原因不是特別直觀。

從數學角度證明分片的安全性

假設一條區塊鏈上有 16384 個驗證者和 64 條分片鏈,每條分片鏈都由 128 名驗證者組成的委員會負責驗證。委員會成員選舉是不可預見的:每個 slot 結束後,所有委員會都會解散,並隨機從全體驗證者中重新選出 64 個委員會,因此每個驗證者都不知道其他驗證者所在的委員會。假設一個區塊需要獲得委員會中 2/3 成員(即,不少於 86 名成員)的認可才能被新增到分片鏈上,這就意味著在全體驗證者中包含 1/3 惡意驗證者的情況下,透過隨機的方式選出惡意委員會的概率是:

請注意,我們可以透過調整委員會的規模來按比例放大或縮小該引數,從而達到理想的安全級別。

由於選出惡意委員會的概率極低,以及對不作為驗證者的反向激勵,該分片系統理應繼承其非分片協調系統(it’s non-sharded coordinator)的安全性和活性保障。但是,就像現實世界中的大多數系統那樣,實現這一點並非易事。由於委員會成員是提前選好的,惡意參與者就有機會賄賂理性參與者。如果可以輕而易舉地建立從驗證者公鑰到 ip 地址的對映,就會出現更多行賄現象。此外,在免許可型系統中,可驗證投票從本質上來說無法防止行賄。綜上,分片的實際安全性相比理論上來說低至少一個數量級。

與 plasma 一樣,分片同樣存在資料可用性問題

雖然分片的安全性低於整體協議,但是我們依然能夠確保其安全性,即,採用欺詐證明來撤銷無效狀態轉換。但是,如果不為我們這個設想中的簡單分片鏈引入額外的設計,那麼惡意驗證者完全可以扣住資料、不放出來,使得他人沒有足夠的資料來生成欺詐證明。接下來,我們將講解如何實現這種攻擊。

假設有一條簡單分片的區塊鏈 b,上面有 x 和 y 兩條分片鏈。區塊鏈 b 在兩個委員會中執行傳統的拜占庭容錯共識演算法來幫助執行分片 x 和 y,分別是 c~x~ 和 c~y~。b 上的每個區塊都包含兩個門限簽名,即,c~x~ 和 c~y~ 兩個委員會中 2/3 的成員對各自分片鏈的當前區塊的狀態根的見證。

假設每條分片鏈的每秒資料和交易處理量與非分片系統相同,那麼引入分片鏈應該能提供大約兩倍的吞吐量。在樂觀情況下,事實確實如此。

現在,讓我們對 b 發起資料不可用攻擊。假設一個惡意實體能夠迫使 c~x~ 中 2/3 + 1 的成員簽署無效的狀態根,並且不公開對應區塊的輸入資料。之後,這個無效的狀態根會包含在下一個即將被新增到 b 上的區塊內。這時候,並沒有合理的機制可以讓 b 回到有效狀態,我們可以舉一些機制例子看看:

  1. c~x~ 中剩餘的 1/3 - 1 位成員可以在 b 上發出資料不可用警報。遺憾的是,這不是一個可明確歸屬方的錯誤(譯者注:即無法確定到底是攻擊方扣住了區塊,還是某些人網路不好沒收到,甚至收到了也咬他人一口),因此 b 無法確定是哪一方在作惡。(如果莽然懲罰某些成員)懷有惡意的少數派有可能會藉此發起零成本的 ddos 攻擊。

  2. 網路中的其它節點可以發出資料不可用警報。但他們很可能做不到,因為在錯誤發生期間,只有 c~x~ 的成員在密切關注這個時間。

  3. 由整個社羣來發現錯誤,並主動介入將 b 回滾到最新的有效狀態。這種處理模式顯然是糟糕的。

  4. 執行類似 plasma 的批次退出(mass exit)機制,從 x 批次退出到 b 上,會產生相關的負面影響。

就像 plasma 一樣,這裡真正的問題是資料可用性。

安全地提高資料可用性

希望上述分析能讓你明白一個道理:我們首先應該將關注點放在擴充套件基礎層的資料可用性上。否則,系統仍將遭受資料不可用攻擊。

從傳統上來說,提高區塊鏈上的資料吞吐量需要就係統所支援的最低硬體/頻寬要求達成社會共識 —— 得出一個可以接受的區塊大小。mustafa al-bassam 和 vitalik buterin 最近的研究提供了一種概率性機制來確保資料可用性。m. yu 等人進一步擴充套件了該研究,提出了coded merkle tree 累加器這一概念,給出了最優階數的指標(order-optimal metrics)。

上述機制主要放寬了網路中參與者下載所有資料的要求。vitalik 的提議是,讓網路中的參與者隨機選取區塊中的小部分資料進行驗證,以確保區塊提議者公開了資料。風險在於,區塊提議者只需要隱藏少量資料即可發動資料不可用性攻擊。因此,參與者必須多次對區塊進行抽樣驗證,才能對區塊的可用性建立起足夠的信心。為了減少抽樣次數,vitalik 提議採用二維 reed-solomon 編碼來對區塊資料進行編碼。

在這個結構中,區塊被分割成 n 個份額,然後進行編碼,生成 m 個份額,只要擁有 m 中任意 n 個份額即可重新構建區塊。假設 2n=m,區塊提議者需要影響 1/2 的區塊資料,才能成功發動資料不可用攻擊。coded merkle tree 採用類似的結構,只不過使用 o(b) 的解碼成本和 o(1) 的雜湊承諾來代替二維 reed-solomon 編碼所提供的 o(b^1.5^) 解碼成本和 o(b√b)雜湊承諾(其中 b 指的是區塊的位元組大小)。

關於該技術的詳解,可以參見這篇分片就是 rollup

eth 2.0 的分片設計模糊了它們是信標鏈的 oru 這樣一個事實。如果將重點從分散式處理轉向有序的資料可用性層,就變得一目瞭然了。

如上圖所示,驗證者集起到以下 4 種作用:

  1. 驗證並執行信標鏈
  2. 對分片所提供的資料進行抽樣驗證
  3. 組成分片委員會
  4. 提交關於無效狀態轉換的欺詐證明

我們已經作了兩個假設:i) 資料具有可用性,ii)區塊鏈會從最近一個具有資料可用性的區塊開始進行分叉。則要麼人們可以構建欺詐證明,要麼系統將缺乏資料可用性歸咎於簽署該區塊的分片委員會,並回滾狀態轉換。

從定義上來說,eth 2.0 是一種 oru

這時,考慮到我們之前對 oru 的定義,我們應該能夠證明分片實際上就是 rollup:

1. 所有交易資料都提交到鏈上

分片區塊資料被集中到資料可用性層上,在一定概率上會由全網進行驗證。

2. 狀態根被提交到鏈上

分片委員會為包含在信標鏈區塊中的分片狀態根提供證明。

3. 狀態根被假定為有效的

信標鏈在沒有進行額外驗證的情況下,假定分片委員會的證明是有效的

4. 一些節點負責驗證 oru 的狀態轉換

分片委員會驗證分片的狀態轉換。

5. 有一個可以撤銷無效狀態轉換的鏈上欺詐證明執行器

信標鏈支援分片狀態轉換欺詐證明。

解構 eth 2.0

既然我們已經解釋了 eth 2.0 和 oru 系統之間不可思議的相似性,我們能夠如何利用這一資訊來更好地理解整個系統的設計?讓我們透過 oru 系統的角度來探索 eth 2.0 的一些設計決定:

資料吞吐量

在當前設計中,系統的資料吞吐量與分片機制緊密耦合。

這裡可以採用的一種方法是,將資料可用性檢查視為協議中的頭等公民。這樣可以對資料層進行獨立最佳化,執行層也可以更細的粒度控制(參與協議的)硬體要求。

例如,eth 2.0 可以提供 64 個資料中心和一個在信標鏈上的 oru 合約,以此代替分片鏈。oru 合約可以讓 rollup 決定領導者選舉機制,它們想要將資料傳送到多少個資料中心上,以及它們是否想與其它 rollup 繫結(例如,如果一個 rollup 發生回滾,與之繫結的 rollup 也會發生回滾)。使用的資料中心越多,驗證 rollup 所需的硬體要求就越高。

嚴格來說,上述系統是當前分片設計的超集。除了由協議定義的 64 個分片之外,還會有其它具有自己特徵的 rollup 構建在安全資料層上,並且獨立於協議分片。

回滾最小化

在簡單的 oru 中,當選的領導者有權提交無效狀態轉換。雖然這不會影響系統的安全性,因為無效狀態轉換是可以透過欺詐證明撤銷的,但這確實會破壞 rollup 的程序。單獨來看,這種破壞對作惡者來說通常是不划算的。然而,在 eth 2.0 中,跨分片通訊讓這個問題變得特別棘手。處於 slot n 的分片預期自己可以獲得其它分片在 slot n-1 時的狀態。假設分片 s~i~ 提交了一個無效的狀態轉換,除了單方面發起回滾之外沒有其它合理的方法來撤銷該狀態對分片 s~j~(0≤j≤64;i≠j)的負面影響。

為避免災難性事件,必須有適當的機制來防止這類回滾。其中最明顯的兩個機制是分片委員會和託管位元檢查(custody bit check)。正如 “從數學角度證明分片的安全性” 一節中所述,即使考慮到各種攻擊向量,賄賂分片委員會中 2/3 以上成員的概率也很低。託管位元可以確保誠實的驗證者不會因為懶惰而被騙簽署無效的狀態轉換。

如果我們認為這些機制的目的是防止無效狀態轉換,而非維護系統安全,就能選擇既有實用價值,又能實現相同效果的引數。例如,將分片委員會的規模減少到 64 人,隨機組成惡意委員會的概率依然低至 3.1×10-8。但是從網路和簽名聚合的角度來看,這樣能夠極大減輕負擔。

以 rollup 為中心的以太坊路線圖

本文最初撰寫於斯坦福區塊鏈大會 2020(sbc20)期間。那時,我開始充分領會到 eth 2.0 和 oru 之間的相似性。在看過 vitalik 的文章後,我決定釋出這篇文章,來表示對以太坊將來採用以 rollup 為中心的擴容方案的支援。但是,如本文所述,“以 rollup 為中心” 的擴容方案沒有讓我們偏離方向,而是一個超集。我們在分片設計中遇到的問題與我們在整合跨 rollup 通訊時遇到的問題是同構的。這就意味著,已經開展的大部分工作都可以繼續進行,不會被中斷。

以 rollup 為中心的路線圖會降低分片執行所必需的協議複雜性。這使得我們能夠不斷迭代類似分片的複雜的 rollup 機制。這樣可以讓更多開發者為不同的 rollup 格式做貢獻,讓現有核心開發者和研究者可以專注於構建一個健壯的資料可用性層。

可以說,通往功能完善的 eth 2.0 的道路從未如此清晰。

如果你對文中所述內容感興趣,想要進行深入討論,請在推特上聯絡我 @lightclients。我也在將幫助各種有影響力的專案尋找優秀的研究者和工程師。如果你需要幫助,請私信我。

(完)

原文連結: https://lightclient.io/blog/eth2-is-a-rollup/
作者: lightclient
翻譯&校對: 閔敏 & 阿劍

免責聲明:

  1. 本文版權歸原作者所有,僅代表作者本人觀點,不代表鏈報觀點或立場。
  2. 如發現文章、圖片等侵權行爲,侵權責任將由作者本人承擔。
  3. 鏈報僅提供相關項目信息,不構成任何投資建議

推荐阅读

;