以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads

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

Author:

Time:1900/1/1 0:00:00

撰文:李畫

來源:碳鏈價值

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

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

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

01如何分片

1.把交易分配給分片

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

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

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

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

CWV主鏈即將舉辦發布會 宣布戰略投資人人影視CVN:據官方消息,CWV主鏈將于2020年10月18日20:00舉辦線上發布會,宣布戰略投資人人影視CVN。據宣傳海報顯示,CWV基金會將與人人影視共同打造人人云快播平臺,將采用VRF可驗證隨機函數主鏈+PoST時空證明去中心化存儲+內容儲存分享和保護協議,實現去中心化內容的存儲、分享、發布、播放等功能。此平臺或將成為首個落地的大型去中心化視頻內容云平臺。[2020/10/18]

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

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

2.把驗證者分配給分片

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

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

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

人人礦場IPFS技術背景展露,同步發布兩大研究成果:7月18日,人人礦場作為冰河分布式存儲實驗室成員,聯合戴爾中國、上海儲迅、啟賦資本等機構舉行實驗室發布會。宣布兩大研究成果:雅典娜礦池和星矢礦機同步亮相。雅典娜礦池具有高性能、高并發、高擴展、高可靠、高安全的“五高”特點;單個星矢礦機測試網每日有效封存量達到了2TB。

人人礦場以星矢礦機為IPFS算力產品礦機原型,接入雅典娜礦池的測試網礦工號:t0118768(標簽RRM),目前有效存力排名位于全球前4,爆塊率保持前三。[2020/7/18]

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

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

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

3.由中繼者存儲分片

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

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

行情 | 區塊鏈中概股人人網下跌7.14%:美股開盤,三大股指漲跌互現,在美上市區塊鏈中概股漲多跌少。人人網下跌7.14%,寺庫上漲0.34%,中網載線上漲2.46%,迅雷上漲5.13%,獵豹移動上漲2.68%,蘭亭集勢平盤。[2019/11/19]

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

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

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

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

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

02跨分片的交易

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

金色財經現場報道 元道:“人人公鏈”狀態要實現“SPEAR”:金色財經現場報道,在世界區塊鏈大會·三點鐘峰會宏觀經濟探討部分,中關村區塊鏈產業聯盟理事長作了題為“區塊鏈技術下的未來金融與經濟新格局”中指出,未來是“人人公鏈”的時代,形成公鏈聯盟要素有:security、personal、edge、appliacations、revolution。[2018/4/24]

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

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

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

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

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

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

人人公司進軍區塊鏈:人人公司發布RRCoin白皮書。白皮書中顯示,人人公司將為社交網絡提供一個開源的區塊鏈平臺——人人坊,并會成立RRCoin基金會。RRCoin作為令牌,為平臺的智能合約和交易行為提供運作媒介,應用于直播、商業推廣、社交游戲、錢包應用等場景中。用戶、PGC、開發人員、廣告主、平臺方等均可在系統內獲得或支付RRCoin。[2018/1/3]

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

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

比如漁村給甲減了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:以太坊ETH區塊鏈HTT比特幣以太坊最新消息分析peth18c幣在哪里交易區塊鏈技術就業前景htt幣騙局

比特幣行情
比特幣:觀點 | 為什么比特幣不是避險資產?

來源:碳鏈價值 編輯:碳鏈價值編輯部 被圈內譽為「數字黃金」的比特幣究竟是不是避險資產?究竟能不能夠靠比特幣對沖全球金融危機帶來的風險?這是最近很多人都在關心的話題.

1900/1/1 0:00:00
APP:北京“監管沙箱”首批項目敲定后續,產品涉及區塊鏈等技術應用

記者:孟凡霞劉四紅 來源:北京商報 編者注:原標題為《“監管沙箱”首批項目敲定后續:相關細則正醞釀》在征求意見兩個月之后,首批進入北京金融科技“監管沙箱”的應用名單正式出爐.

1900/1/1 0:00:00
BAT:巴比特專欄丨為什么說區塊鏈浪潮將引發新一輪商業變革?

正如二十年前的互聯網一樣,區塊鏈正在悄然改變著我們的生活。著名物理學家張首晟教授說過:區塊鏈技術是互聯網世界新的分合轉折點.

1900/1/1 0:00:00
比特幣:大跌之后,比特幣的基本面并沒有改變

原文作者:SylvainSaurel 編譯:Masaka 經濟學家們預測的金融危機終于開始,正如我們所見,自2020年3月9日以來,在全世界蔓延的病成為金融市場急劇下跌的催化劑.

1900/1/1 0:00:00
數字貨幣:瑞士加密谷協會主席:央行數字貨幣是去中心化金融發展中的下一階段

作者:LiangCHE 來源:比推bitpush.news瑞士加密谷協會主席DanielHaudenschild表示,央行數字貨幣是去中心化金融發展中的下一階段.

1900/1/1 0:00:00
NFT:29小時大漲30%,比特幣拐點已至?

來源:小蔥區塊鏈 在5500美元附近糾纏了一周多的時間后,比特幣在昨天終于迎來了一波久違的大幅反彈,行情順利完成了對于6000整數關口的重新收復.

1900/1/1 0:00:00
ads