比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

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

Author:

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

撰文:李畫

來源:碳鏈價值

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

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

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

01如何分片

1.把交易分配給分片

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

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

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

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

BNB Chain投資總監:經歷熊市和“迷你牛市”,我們正處于人人都在建設的階段:2月12日消息,BNB Chain投資總監Gwendolyn Regina在接受采訪時表示,盡管過去一年加密市場動蕩不安,但BNB的投資策略著眼于長遠,主要不受日常市場事件的影響。“我們的投資理念沒有變,但有時也會改變。我們都知道區塊鏈和加密貨幣的發展速度非常快,所以我們在某些領域更加精確,但基本上來說它并沒有改變。總而言之,經歷了熊市和‘迷你牛市’,我們正處于每個人都在建設的階段。我們希望在BNB Chain上啟用更多功能。”

Regina補充說,BNB Chain上的Web3游戲也“通過穩健性和更便宜的費用實現有機增長”,但區塊鏈團隊現在正在該領域“加倍努力”,以鼓勵更多游戲玩家和開發者在其鏈上玩游戲和構建游戲。Regina表示,在其100萬日活躍用戶中,約有40%是游戲玩家。(Techcrunch)[2023/2/12 12:01:40]

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

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

2.把驗證者分配給分片

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

人人礦場在Space race 1階段中單T有效存儲產量位居第一,高達11.53FIL每TB:北京時間9月15日06:00,Filecoin有獎測試競賽Space Race圓滿結束,此次競賽共解鎖275萬枚FIL。RRMine/人人礦場在此次競賽中獲得了頗為亮眼的成績,單T有效存儲產量為11.53FIL,RRM云算力產幣量計算公式如下:用戶每T分幣量 = 每T有效存儲使用率*當前FIL產量/T有效存儲。

按該次競賽有效存儲使用率與單T FIL產量來估算,當有效存儲使用率100%時,RRM用戶每萬元投入累計理論產量將超過75個FIL。詳細成績如下:

有獎測試期總封存:9308T;

有獎測試期總產出:107317FIL(最終結果以Filecoin官方為準);

有獎測試期RRMine/人人礦場每T有效封存產量;11.53FIL;

存儲使用率100%時,客戶每萬元算力投入產幣量大于75FIL。[2020/9/19]

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

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

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

加密評論員列舉人人都應購買比特幣的12個理由:比特幣領域的知名評論員和企業家Brandon Quittem最近在推特上列舉了每個人都應該購買比特幣的12個理由,其中提到比特幣是過去十年表現最好的資產。

Quittem解釋稱,比特幣擁有的這種“影響力”本身就應該吸引投資者,因為它有上升的潛力。其他理由包括:比特幣是在當前宏觀環境下“誕生”的、知名投資者正在購買比特幣、美元不會永遠堅挺下去、比特幣是“最公平的貨幣”等等。(CryptoSlate)[2020/6/19]

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

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

3.由中繼者存儲分片

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

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

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

行情 | 美股開盤:人人網下跌16.46%:美股開盤,三大股指全線高開,在美上市區塊鏈中概股跌多漲少。嘉楠科技上漲1.31%,人人網下跌16.46%,寺庫上漲1.80%,中網載線下跌1.49%,迅雷下跌0.82%,獵豹移動下跌1.08%,蘭亭集勢平盤。[2020/1/10]

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

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

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

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

02跨分片的交易

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

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

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

人人影視區塊鏈項目6月10日官網上線:人人影視官微今日宣布,人人影視區塊鏈項目CVN內容價值網絡正式啟動,于6月10日正式上線官網。[2018/6/1]

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

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

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

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

異步方式不會被連續狀態改變這種情況困擾,因為它的做法就是「等」,等你的狀態確定了,我再進行下一步;等漁村給甲把賬記完了,獵戶村看到甲是減了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:以太坊ETHFILAND以太坊官網公告EthereumVault為什么外國人不買fil幣CAND幣

Gate交易所
拋開橋水基金爆倉傳聞,瑞達力歐等全球股神們為何大都不認比特幣_HOO

文|互鏈脈搏·元尚 橋水基金因爆倉傳聞在公眾面前又火了。被稱為金融教父的瑞達力歐45年前創辦的橋水基金,截至去年年底管理資產超過1600億美元,成為有史以來規模最大的對沖基金,基金規模年復合增長.

1900/1/1 0:00:00
去年嘗鮮Staking的人現在是賺還是賠?_ING

分析師?|Carol編輯|畢彤彤出品|PANews去年此時,Staking風靡一時,諸多玩家“跑步”入場。過去一年,隨著越來越多PoS公鏈上線,Staking市場正變得越來越廣闊.

1900/1/1 0:00:00
從ProgPow爭議看以太坊的治理實踐_以太坊

前言:區塊鏈歷史上從來就不缺乏治理爭議,比特幣、以太坊都由此有過硬分叉。近期爭議較大的是以太坊的ProgPoW,還有前幾天的Steemit的投票事件.

1900/1/1 0:00:00
觀點 | 香港讓幣圈和鏈圈不必脫鉤,而是攜手共進_比特幣

本文來源:新浪財經,原題《舒時:對中國發展數字貨幣與區塊鏈的一點思考》 作者:舒時 區塊鏈和數字貨幣,本是一根繩上的兩只螞蚱,但是現在卻面臨兩頭各自發展的窘境.

1900/1/1 0:00:00
鏈上數據2月掃描:幣價過山車、提振鏈上數據,兩者有關聯嗎?_BTC

根據CoinDesk的數據,2020年2月比特幣價格一度延續1月的上漲勢頭,但是在月中開始進入調整狀態并在月末跳水快速下跌.

1900/1/1 0:00:00
用經濟帶寬理論分析去信任經濟的魔力象限及 ETH 價值捕獲能力_BTC

撰文:RyanSeanAdams,MythosCapital創始人;LucasCampbell.

1900/1/1 0:00:00
ads