人人都能讀懂的「以太坊2.0分片設計」_HTT

撰文：李畫

來源：碳鏈價值

當我們在7-11買早餐的時候，如果只有一個收銀員，就要排很長的隊等待結帳；如果有兩個收銀員，立刻就會快一倍；假如有四個收銀員，也許就不用排隊了。這就是分片的基本邏輯，把一個人的工作分給多個人來完成以提升效率。

從以太坊分布式賬本的角度來看就是：分片前只有主鏈這一個賬本，每秒大約能處理12～45筆交易，當交易量大于這個數據時就需要排隊，也就是網絡會擁堵；分片就是把一個賬本變成64個賬本，讓它們同時來處理交易，相當于7-11開了64個收銀臺來收銀。

分片的邏輯很簡單，但為什么如此難以實現？因為把一個賬本分成64個賬本記賬，會面臨很多新的問題，分片技術要做的正是解決掉它們。本文將從這些問題出發，來弄清以太坊2.0的分片到底是怎么一回事。

01如何分片

1.把交易分配給分片

一個分片中包含交易和把交易打包進區塊的驗證者，完成分片的第一步就是要確定如何給某個分片分配交易和驗證者。先來看分配交易。

讓我們用三個村莊的故事來理解：有一個漁村、一個獵戶村、一個農夫村，村莊內和村莊間常常有交易，但沒有貨幣，大家記賬。以前是用一個賬本記三個村子的賬，速度有點慢，現在改成三個賬本記，那么由哪個賬本來記哪些帳了？

有一個方法是，三個賬本放在那兒，來了一筆交易后，看哪個賬本前沒人排隊就記在哪個賬本上；但這會帶來一個問題就是，每個賬本都必須有所有人的賬戶信息，不然我來你這里排隊，而你沒有我的賬戶。

正因為如此，該分片方式的一個主要問題就是不能減少單一賬本上存儲的數據量，而這種存儲需求對于想參與記賬的節點是很高的門檻；該方式還需要解決雙花問題，因為一個人可以同時在不同的分片中花費同一筆錢。

行情 | 區塊鏈中概股人人網上漲15.31%:美股開盤，三大股指漲跌互現，在美上市區塊鏈中概股跌多漲少。人人網上漲15.31%，寺庫下跌0.32%，中網載線下跌0.65%，迅雷下跌0.28%，獵豹移動下跌0.48%，蘭亭集勢平盤。[2019/4/30]

另一個方法是，漁村有一本賬，獵戶村有一本賬，農夫村有一本賬，賬本中都只有自己村莊的賬戶信息，也只記錄自己村莊內的交易。如此一來三個賬本就可以同時記賬，記賬效率高，存儲需求少。這正是以太坊采用的分片方法：狀態分片，每個分片存儲且只存儲屬于自己分片的賬戶狀態。在實現上，以太坊是由用戶自己選擇加入哪一個分片，而不是按自然村莊分片。

狀態分片最大的問題是，如果漁村的人要和獵戶村的人交易怎么辦？漁村的賬本里沒有獵戶村人的賬戶，獵戶村的賬本里也沒有漁村人的賬戶。實際上，這正是分片技術面臨的最大考驗，跨分片通信。徹底解決這一問題的時候，就是以太坊2.0可以被使用的時候。本文將在第二部分討論該問題的一些解決方法。

2.把驗證者分配給分片

在把交易安排到不同的分片后，下一個要解決的問題是如何為某個分片分配記賬的人，也就是分配驗證者。

以太坊有64個分片，每個分片有128位驗證者，如果分片的驗證者是固定的或者可預知的，那攻擊者控制分片，也就是收買128中的2/3是一件容易的事情，怎么辦？以太坊的解決辦法是隨機從所有驗證者中選出某個分片的驗證者，并且每6.4分鐘更換一次驗證者。如此一來，攻擊者就只有萬億分之一不到的幾率能控制一個分片中2/3的人。

信標鏈的主要工作之一就是為分片鏈分配驗證者，該工作最需要關注的是隨機性的實現。首先在于隨機性的重要程度，如果不能隨機分配驗證者，就無法保證賬本的安全；其次在于隨機性的難度，在區塊鏈上實現隨機是一件異常困難的事，可以認為到目前為此還沒有真正稱得上是工程實現了的經受了驗證的隨機算法。

動態 | 人人影視 CVNT 將于 3 月正式上線版權眾籌平臺:經過人人影視 CVNT 團隊數月的努力，已打通影視與內容分發出海等渠道，將于 3 月正式上線版權眾籌平臺。平臺主要分為兩大板塊：一是聯合國內影視公司將國產優質內容出海；二是邀請國外明星中國行與粉絲線下互動。[2019/3/1]

以太坊的方案是使用RANDAO+VDF提供隨機數，以實現隨機性。把RANDAO拆解成RAN和DAO就很易理解，它是指一群人中的每個人都獨自提出一個隨機數，再把所有人的隨機數合在一起生成最后被使用的那個隨機數。因為任何人都難以知道其他人提供的數字，也就難以預知合起來的最終數字。

不過RANDAO模型有個缺陷，就是提供最后一個數字的人是有機會作弊的：他知曉前邊所有人提供的隨機數之和，也就能通過調整自己提供的數字使得最終結果對自已有利。

為解決這一問題，以太坊引入了VDF，它的作用很簡單，就是讓最后一個提供隨機數的人無法在自己提供數字之前算出之前所有人的隨機數之和，因而也就無法操縱隨機數。

3.由中繼者存儲分片

不知道你有沒有發現，輪換賬本的驗證者將帶來一個新問題：驗證者一會兒被分配去漁村記賬，一會兒被分配去獵戶村記賬，如果他手上沒有全部的賬戶信息，如何記賬？如果他有全部的賬戶信息，就又是拿著一個全賬本，沒有做到狀態分片。

為解決這個問題，以太坊提出了一個重要的新設計：無狀態客戶端。簡化理解就是，漁村的賬本就放在漁村，獵戶村的賬本就放在獵戶村，驗證者手中不拿賬本，只負責在不同村莊間跑來跑去記賬。

那么誰來保管不同村莊的賬本？以太坊引入了中繼者這個角色，由他們負責存儲不同分片的賬戶狀態，且可以只為某一分片服務。中繼者的工作易于理解，但怎么為他們的服務付費、如何保證他們的誠實……這些相關機制的設計是需要解決的全新問題，也是社區成員應該參與討論的治理問題。

動態 | 人人影視CVNT將在3月開啟挖礦3.0并公布2019年版權眾籌進度:據CVN內容價值網絡微博消息，人人影視現決定暫停CVNT挖礦2周以進行挖礦系統更新升級。暫停時間為2月22日至3月10日。屆時首批人人影視路由器將全部到貨，與此同時，官方將發布全新PC客戶端正式版，并公布CVNT挖礦3.0細則。另外，人人影視預計將在2019年正式通過CVNT發起版權眾籌，將優質資源出海。[2019/2/22]

無狀態客戶端的實際情況比上文描述的復雜很多。「交易」本身的構成與未分片時不同，它要附帶見證數據以證明自己是有效的。可以認為在1.0中，驗證者需要自己存儲舊賬，以驗證新交易；在2.0中，交易需要自己把舊賬帶上，交給驗證者作驗證。

但我們無法要求每個用戶都存儲全部的舊賬，以便在發起交易后能夠證明該交易，這時候就需要「中繼者」，它存儲了該分片的全部賬戶狀態，只要用戶提起需求，它就能夠幫助用戶向驗證者提供交易的見證數據。

VitalikButerin在3月11日發表文章提出用多項式承諾代替狀態根，該技術就是被用于此處，它是改用零知識證明的方法為交易提供證明，可以理解為是把數據的計算結果提供給驗證者做驗證，而不是直接把所有相關數據提供給驗證者做驗證，這種方法能大幅減少見證數據的大小，也就能有效降低各種開銷。

到這一步，就完成了把一個賬本分為多個賬本，也就是劃分分片的工作。

02跨分片的交易

如果漁村的人只和漁村的人交易，獵戶村的人只和獵戶村的人交易，那各個村莊把自己的賬記好就行，這并不需要什么新技術。可如果漁村的人要和獵戶村的人交易怎么辦，不同的賬本如何互通？這正是狀態分片面臨的最棘手的問題。

解決這一問題有兩種思路，一是同步，二是異步。

假設漁村有個人叫甲，獵戶村有個人叫乙，甲要給乙100塊，同步是指：當甲發起轉賬后，漁村和獵戶村的記賬人都知道這筆交易及交易進展，漁村記賬人在賬本上給甲減了100，獵戶村記賬人在賬本上給乙加了100，交易完成，兩個村莊同步生成新區塊。

美股開盤 區塊鏈概念中概股僅人人公司開漲:今日美股開盤，區塊鏈概念中概股僅人人公司開漲。其中獵豹移動（CMCM）開跌0.78%，中網載線（CNET）開跌0.35%，人人公司（RENN）開漲0.34%，寺庫（SECO）今開與昨收持平，拍拍貸（PPDF）開跌1.6%，蘭亭集勢（LITB）開跌0.88%。[2018/5/18]

異步是指：當甲發起轉賬后，漁村的賬本給甲減了100，生成新區塊；獵戶村記賬的人在之后以某種方式收到了這個消息，確認甲的錢確實被減少后，就在自己的賬本上給乙加100，交易完成，但兩個村莊是異步生成新區塊的。

同步方式看上去友好，其交易執行過程的觀感如未分片一樣，但它隱藏著一大問題，就是難以應對「連續狀態改變」。這是什么意思？

如果甲只轉給乙100塊，漁村和獵戶村在聽到這筆交易后，很容易確認大家都是這么記賬的，漁村的賬本就給甲減了100，獵戶村給乙加了100，完成記賬。但如果甲轉給乙100，緊接著又轉給乙50，發生連續狀態改變，不過甲一共只有120塊，這時候兩個村莊就難以確認對方是怎么記賬的：

要是每個驗證者都自己去找對方的驗證者交流，通訊開銷會激增，達成某一結果也極其困難；要是通過雙方的村長交流，每個村莊內部就需要預先進行一輪共識，再由村長把一個確定的結果告訴對方，這除了增加開銷，還難以實現，因為以太坊的共識機制本身就是無法達成確定結果的。

異步方式不會被連續狀態改變這種情況困擾，因為它的做法就是「等」，等你的狀態確定了，我再進行下一步；等漁村給甲把賬記完了，獵戶村看到甲是減了100還是減了50后，再決定給B加上100或50。

異步方式自己的問題是原子性故障。交易本該具有原子性，要么執行，要么不執行，但在異步方式下，有可能出現交易的一部分確定了，但另一部分被拋棄了。

美股開盤 區塊鏈概念中概股人人跌幅最大:今日美股開盤一小時，區塊鏈概念中概股以跌為主。目前，迅雷（XNET）跌幅3.5%，獵豹移動（CMCM）漲幅0.3%，中網載線（CNET）跌幅2.77%，人人公司（RENN）跌幅3.73%，拍拍貸（PPDF）跌幅1.04%，寺庫（SECO）跌幅0.1%。[2018/4/25]

比如漁村給甲減了100的那個區塊最后在漁村主鏈上，被確定了，但獵戶村給乙加上100的那個區塊最后在獵戶村側鏈上，被拋棄了。原子性故障是一個問題，但可以通過設計解決，關于這一部分的詳細介紹可見文末參考資料5。

異步方式的另一個問題是時間開銷和通訊、存儲開銷，也就是完成一筆跨分片交易所需要等待的時間以及占用的資源。在不同分片間傳遞信息的方式決定了這些開銷的多少，不同類開銷有著相互關聯難以兩全的關系，設計時要追求的是平衡。以太坊2.0在未來的性能正是由信息傳遞方式主導的。

以太坊討論過一些異步架構模型，最新一種是由Vitalik在2019年10月的DevCon5大會上提出來的，其基本思路就是用信標鏈傳遞信息：在每一個slot，分片鏈產生區塊并與信標鏈區塊交叉鏈接，其連接方式如下圖，這樣一來，任何分片在打包自己的新交易時都能通過信標鏈知道之前所有其他分片的信息。不同分片間異步一個slot。

這種方法減少了跨分片交易的等待時間，但提高了對信標鏈的要求，信標鏈需要為所有分片存儲證明數據；這種方法還增加了交聯的鏈接數量，這必然增加各種相關開銷，也因為如此，以太坊的分片數量從1024片改為了64片，從另一個設計方向上減少總的鏈接數量。

從目前的一些分片設計方案看，同步模型更傾向于分片與分片自己溝通，異步模型更傾向于分片與分片互不往來，通過某個第三者溝通；前者面臨通訊量的問題，后者面臨多種開銷的平衡問題。跨分片交易的設計與實現尚在進行之中，暫不能確定以太坊2.0最終采用哪種架構。

03跨分片的智能合約

在介紹完分片和跨分片的交易后，以太坊2.0開發之路上的終極大BOSS來了，它就是跨分片的智能合約。跨分片交易和跨分片智能合約的區別在于交易只有全局變量，而智能合約有局部變量。局部變量會帶來什么麻煩？

以太坊在分片之后，從物理角度來看有64個賬本，但從抽象角度來看只有一個賬本：可以把賬本想象成一棵大樹，樹的每一片葉子存儲著一個賬戶狀態數據，64個賬本就是64棵樹，再把這些樹的樹根給到信標鏈，就會形成一棵新的大樹，64個賬本也就合成了一個賬本。

在跨分片的交易中，當一個分片需要知道另一個分片的賬戶狀態時，不管以何種方式，它總能順著這棵樹找到那片存儲狀態的葉子，然后改變自己分片的賬戶狀態，完成交易。可以認為通過這棵樹，不同分片完成了信息的互通。

但對于跨分片的智能合約，問題來了，這棵樹葉子上保存的數據都是全局變量，沒有局部變量，如果一個分片的智能合約調用另一個分片的智能合約時，兩者如何傳遞局部變量的信息？這棵樹無法為它們提供服務。

也可以這么理解，交易跨分片只需要看全局變量，就是看一級狀態，智能合約跨分片需要看局部變量，就是還需要看二級狀態。交易跨分片和智能合約跨分片的設計難度不在一個數量級上。

目前還沒有看到成體系的智能合約跨分片的設計方案，但有看到兩種提議，一種是提議把相關聯的智能合約放入同一個分片執行，也就是消滅智能合約跨分片的需求；一種是提議采用SIMD技術，讓智能合約本身能夠并行執行。

以太坊2.0會在Phase2引入智能合約，這代表著要到Phase2才實現智能合約的跨分片，而只有邁過這一步，才可以真正宣告以太坊進入到2.0時代。

以上即是對以太坊分片設計及設計中難點的介紹。當前還處在以太坊2.0實現的初級時期，如下幾個關鍵詞是現階段值得重點關注的：狀態分片、無狀態客戶端、隨機數。

參考資料：

1.《MinimumCommitteeSizeExplained》；作者，Chih-ChengLiang；https://medium.com/@chihchengliang/minimum-committee-size-explained-67047111fa20

2.《以太坊2.0：隨機性》；作者，Bruno?kvorc；翻譯，Jhonny、阿劍；https://ethfans.org/posts/two-point-oh-randomness

3.《Usingpolynomialcommitmentstoreplacestateroots》；作者，VitalikButerin；https://ethresear.ch/t/using-polynomial-commitments-to-replace-state-roots/7095

4.《Eth2.0的中繼者網絡與手續費機制》；作者，JohnAdler；翻譯，IANLIU、阿劍；https://ethfans.org/posts/relay-networks-and-fee-markets-in-eth-2

5.《區塊鏈分片的理念與挑戰》；作者，AlexanderSkidanov；翻譯，Jhonny、Echo、阿劍；https://ethfans.org/posts/the-authoritative-guide-to-blockchain-sharding-part-1

6.《Eth2shardchainsimplificationproposal》；作者，VitalikButerin；https://notes.ethereum.org/@vbuterin/HkiULaluS

7.《給工程師的ETH2.0指南》；作者，JamesPrestwich；翻譯，Aisling、奇奇、stormpang、阿劍；https://ethfans.org/posts/what-to-expect-when-eths-expecting

8.《Mergeblocksandsynchronouscross-shardstateexecution》；作者，VitalikButerin；https://ethresear.ch/t/merge-blocks-and-synchronous-cross-shard-state-execution/1240

Tags：以太坊ETHHTT區塊鏈幸運以太坊幣值多少錢ETH2SOCKS幣BHTT區塊鏈游戲幣拍賣

FTX