買以太坊 買以太坊
Ctrl+D 買以太坊
ads
首頁 > MANA > Info

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

Author:

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

編者按:本文來自碳鏈價值,討論:吳為龍、李畫,作者:李畫,Odaily星球日報經授權轉載。當我們在7-11買早餐的時候,如果只有一個收銀員,就要排很長的隊等待結帳;如果有兩個收銀員,立刻就會快一倍;假如有四個收銀員,也許就不用排隊了。這就是分片的基本邏輯,把一個人的工作分給多個人來完成以提升效率。從以太坊分布式賬本的角度來看就是:分片前只有主鏈這一個賬本,每秒大約能處理12~45筆交易,當交易量大于這個數據時就需要排隊,也就是網絡會擁堵;分片就是把一個賬本變成64個賬本,讓它們同時來處理交易,相當于7-11開了64個收銀臺來收銀。分片的邏輯很簡單,但為什么如此難以實現?因為把一個賬本分成64個賬本記賬,會面臨很多新的問題,分片技術要做的正是解決掉它們。本文將從這些問題出發,來弄清以太坊2.0的分片到底是怎么一回事。如何分片

1.把交易分配給分片一個分片中包含交易和把交易打包進區塊的驗證者,完成分片的第一步就是要確定如何給某個分片分配交易和驗證者。先來看分配交易。讓我們用三個村莊的故事來理解:有一個漁村、一個獵戶村、一個農夫村,村莊內和村莊間常常有交易,但沒有貨幣,大家記賬。以前是用一個賬本記三個村子的賬,速度有點慢,現在改成三個賬本記,那么由哪個賬本來記哪些帳了?有一個方法是,三個賬本放在那兒,來了一筆交易后,看哪個賬本前沒人排隊就記在哪個賬本上;但這會帶來一個問題就是,每個賬本都必須有所有人的賬戶信息,不然我來你這里排隊,而你沒有我的賬戶。正因為如此,該分片方式的一個主要問題就是不能減少單一賬本上存儲的數據量,而這種存儲需求對于想參與記賬的節點是很高的門檻;該方式還需要解決雙花問題,因為一個人可以同時在不同的分片中花費同一筆錢。另一個方法是,漁村有一本賬,獵戶村有一本賬,農夫村有一本賬,賬本中都只有自己村莊的賬戶信息,也只記錄自己村莊內的交易。如此一來三個賬本就可以同時記賬,記賬效率高,存儲需求少。這正是以太坊采用的分片方法:狀態分片,每個分片存儲且只存儲屬于自己分片的賬戶狀態。在實現上,以太坊是由用戶自己選擇加入哪一個分片,而不是按自然村莊分片。狀態分片最大的問題是,如果漁村的人要和獵戶村的人交易怎么辦?漁村的賬本里沒有獵戶村人的賬戶,獵戶村的賬本里也沒有漁村人的賬戶。實際上,這正是分片技術面臨的最大考驗,跨分片通信。徹底解決這一問題的時候,就是以太坊2.0可以被使用的時候。本文將在第二部分討論該問題的一些解決方法。2.把驗證者分配給分片在把交易安排到不同的分片后,下一個要解決的問題是如何為某個分片分配記賬的人,也就是分配驗證者。以太坊有64個分片,每個分片有128位驗證者,如果分片的驗證者是固定的或者可預知的,那攻擊者控制分片,也就是收買128中的2/3是一件容易的事情,怎么辦?以太坊的解決辦法是隨機從所有驗證者中選出某個分片的驗證者,并且每6.4分鐘更換一次驗證者。如此一來,攻擊者就只有萬億分之一不到的幾率能控制一個分片中2/3的人。信標鏈的主要工作之一就是為分片鏈分配驗證者,該工作最需要關注的是隨機性的實現。首先在于隨機性的重要程度,如果不能隨機分配驗證者,就無法保證賬本的安全;其次在于隨機性的難度,在區塊鏈上實現隨機是一件異常困難的事,可以認為到目前為此還沒有真正稱得上是工程實現了的經受了驗證的隨機算法。以太坊的方案是使用RANDAO+VDF提供隨機數,以實現隨機性。把RANDAO拆解成RAN和DAO就很易理解,它是指一群人中的每個人都獨自提出一個隨機數,再把所有人的隨機數合在一起生成最后被使用的那個隨機數。因為任何人都難以知道其他人提供的數字,也就難以預知合起來的最終數字。

以太坊社區討論新方案以在ETH 1.x上減少見證人人數:V神剛剛發布社區關于是否使用“Kate承諾”方案的討論。內容顯示,V神提議使用“Kate承諾”(Kate commitments)方案,在ETH 1.x上提交以太坊合約代碼時減少見證人人數。具體而言,在無狀態的以太坊中,礦工需要為見證人添加所有已執行代碼的證明。而證明的大小相對合約代碼的大小是線性的,必須包括整個代碼段。針對此現有方案提議進行代碼合并,證明大小隨合約代碼大小呈對數增長。而“Kate承諾”方案則更進一步,其承諾將提供大小不變的證明。與此同時,見證人人數是決定是否可以使用無狀態以太坊的關鍵,至此,“Kate承諾”方案非常有吸引力。但該方案也有很大的缺點,即需要一個受信任的設置。[2020/10/22]

不過RANDAO模型有個缺陷,就是提供最后一個數字的人是有機會作弊的:他知曉前邊所有人提供的隨機數之和,也就能通過調整自己提供的數字使得最終結果對自已有利。為解決這一問題,以太坊引入了VDF,它的作用很簡單,就是讓最后一個提供隨機數的人無法在自己提供數字之前算出之前所有人的隨機數之和,因而也就無法操縱隨機數。3.由中繼者存儲分片不知道你有沒有發現,輪換賬本的驗證者將帶來一個新問題:驗證者一會兒被分配去漁村記賬,一會兒被分配去獵戶村記賬,如果他手上沒有全部的賬戶信息,如何記賬?如果他有全部的賬戶信息,就又是拿著一個全賬本,沒有做到狀態分片。為解決這個問題,以太坊提出了一個重要的新設計:無狀態客戶端。簡化理解就是,漁村的賬本就放在漁村,獵戶村的賬本就放在獵戶村,驗證者手中不拿賬本,只負責在不同村莊間跑來跑去記賬。那么誰來保管不同村莊的賬本?以太坊引入了中繼者這個角色,由他們負責存儲不同分片的賬戶狀態,且可以只為某一分片服務。中繼者的工作易于理解,但怎么為他們的服務付費、如何保證他們的誠實……這些相關機制的設計是需要解決的全新問題,也是社區成員應該參與討論的治理問題。無狀態客戶端的實際情況比上文描述的復雜很多。「交易」本身的構成與未分片時不同,它要附帶見證數據以證明自己是有效的。可以認為在1.0中,驗證者需要自己存儲舊賬,以驗證新交易;在2.0中,交易需要自己把舊賬帶上,交給驗證者作驗證。但我們無法要求每個用戶都存儲全部的舊賬,以便在發起交易后能夠證明該交易,這時候就需要「中繼者」,它存儲了該分片的全部賬戶狀態,只要用戶提起需求,它就能夠幫助用戶向驗證者提供交易的見證數據。VitalikButerin在3月11日發表文章提出用多項式承諾代替狀態根,該技術就是被用于此處,它是改用零知識證明的方法為交易提供證明,可以理解為是把數據的計算結果提供給驗證者做驗證,而不是直接把所有相關數據提供給驗證者做驗證,這種方法能大幅減少見證數據的大小,也就能有效降低各種開銷。到這一步,就完成了把一個賬本分為多個賬本,也就是劃分分片的工作。跨分片的交易

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

如果漁村的人只和漁村的人交易,獵戶村的人只和獵戶村的人交易,那各個村莊把自己的賬記好就行,這并不需要什么新技術。可如果漁村的人要和獵戶村的人交易怎么辦,不同的賬本如何互通?這正是狀態分片面臨的最棘手的問題。解決這一問題有兩種思路,一是同步,二是異步。假設漁村有個人叫甲,獵戶村有個人叫乙,甲要給乙100塊,同步是指:當甲發起轉賬后,漁村和獵戶村的記賬人都知道這筆交易及交易進展,漁村記賬人在賬本上給甲減了100,獵戶村記賬人在賬本上給乙加了100,交易完成,兩個村莊同步生成新區塊。異步是指:當甲發起轉賬后,漁村的賬本給甲減了100,生成新區塊;獵戶村記賬的人在之后以某種方式收到了這個消息,確認甲的錢確實被減少后,就在自己的賬本上給乙加100,交易完成,但兩個村莊是異步生成新區塊的。同步方式看上去友好,其交易執行過程的觀感如未分片一樣,但它隱藏著一大問題,就是難以應對「連續狀態改變」。這是什么意思?如果甲只轉給乙100塊,漁村和獵戶村在聽到這筆交易后,很容易確認大家都是這么記賬的,漁村的賬本就給甲減了100,獵戶村給乙加了100,完成記賬。但如果甲轉給乙100,緊接著又轉給乙50,發生連續狀態改變,不過甲一共只有120塊,這時候兩個村莊就難以確認對方是怎么記賬的:要是每個驗證者都自己去找對方的驗證者交流,通訊開銷會激增,達成某一結果也極其困難;要是通過雙方的村長交流,每個村莊內部就需要預先進行一輪共識,再由村長把一個確定的結果告訴對方,這除了增加開銷,還難以實現,因為以太坊的共識機制本身就是無法達成確定結果的。異步方式不會被連續狀態改變這種情況困擾,因為它的做法就是「等」,等你的狀態確定了,我再進行下一步;等漁村給甲把賬記完了,獵戶村看到甲是減了100還是減了50后,再決定給B加上100或50。異步方式自己的問題是原子性故障。交易本該具有原子性,要么執行,要么不執行,但在異步方式下,有可能出現交易的一部分確定了,但另一部分被拋棄了。比如漁村給甲減了100的那個區塊最后在漁村主鏈上,被確定了,但獵戶村給乙加上100的那個區塊最后在獵戶村側鏈上,被拋棄了。原子性故障是一個問題,但可以通過設計解決,關于這一部分的詳細介紹可見文末參考資料5。異步方式的另一個問題是時間開銷和通訊、存儲開銷,也就是完成一筆跨分片交易所需要等待的時間以及占用的資源。在不同分片間傳遞信息的方式決定了這些開銷的多少,不同類開銷有著相互關聯難以兩全的關系,設計時要追求的是平衡。以太坊2.0在未來的性能正是由信息傳遞方式主導的。以太坊討論過一些異步架構模型,最新一種是由Vitalik在2019年10月的DevCon5大會上提出來的,其基本思路就是用信標鏈傳遞信息:在每一個slot,分片鏈產生區塊并與信標鏈區塊交叉鏈接,其連接方式如下圖,這樣一來,任何分片在打包自己的新交易時都能通過信標鏈知道之前所有其他分片的信息。不同分片間異步一個slot。

行情 | 區塊鏈中概股人人網上漲10.77%:美股行情,三大股指漲跌互現,在美上市區塊鏈中概股無一下跌。人人網上漲10.77%,寺庫上漲0.53%,中網載線平盤,迅雷上漲0.21%,獵豹移動平盤,蘭亭集勢上漲4.65%。[2019/11/20]

這種方法減少了跨分片交易的等待時間,但提高了對信標鏈的要求,信標鏈需要為所有分片存儲證明數據;這種方法還增加了交聯的鏈接數量,這必然增加各種相關開銷,也因為如此,以太坊的分片數量從1024片改為了64片,從另一個設計方向上減少總的鏈接數量。從目前的一些分片設計方案看,同步模型更傾向于分片與分片自己溝通,異步模型更傾向于分片與分片互不往來,通過某個第三者溝通;前者面臨通訊量的問題,后者面臨多種開銷的平衡問題。跨分片交易的設計與實現尚在進行之中,暫不能確定以太坊2.0最終采用哪種架構。跨分片的智能合約

在介紹完分片和跨分片的交易后,以太坊2.0開發之路上的終極大BOSS來了,它就是跨分片的智能合約。跨分片交易和跨分片智能合約的區別在于交易只有全局變量,而智能合約有局部變量。局部變量會帶來什么麻煩?以太坊在分片之后,從物理角度來看有64個賬本,但從抽象角度來看只有一個賬本:可以把賬本想象成一棵大樹,樹的每一片葉子存儲著一個賬戶狀態數據,64個賬本就是64棵樹,再把這些樹的樹根給到信標鏈,就會形成一棵新的大樹,64個賬本也就合成了一個賬本。

人人股價今日開盤后再次大漲19.63%:昨日人人公司發布RRCoin白皮書后股票價格大漲,昨日收于12.43元,今日開盤后再次大漲19.63%,目前價格為14.87元。[2018/1/4]

在跨分片的交易中,當一個分片需要知道另一個分片的賬戶狀態時,不管以何種方式,它總能順著這棵樹找到那片存儲狀態的葉子,然后改變自己分片的賬戶狀態,完成交易。可以認為通過這棵樹,不同分片完成了信息的互通。但對于跨分片的智能合約,問題來了,這棵樹葉子上保存的數據都是全局變量,沒有局部變量,如果一個分片的智能合約調用另一個分片的智能合約時,兩者如何傳遞局部變量的信息?這棵樹無法為它們提供服務。也可以這么理解,交易跨分片只需要看全局變量,就是看一級狀態,智能合約跨分片需要看局部變量,就是還需要看二級狀態。交易跨分片和智能合約跨分片的設計難度不在一個數量級上。目前還沒有看到成體系的智能合約跨分片的設計方案,但有看到兩種提議,一種是提議把相關聯的智能合約放入同一個分片執行,也就是消滅智能合約跨分片的需求;一種是提議采用SIMD技術,讓智能合約本身能夠并行執行。以太坊2.0會在Phase2引入智能合約,這代表著要到Phase2才實現智能合約的跨分片,而只有邁過這一步,才可以真正宣告以太坊進入到2.0時代。以上即是對以太坊分片設計及設計中難點的介紹。當前還處在以太坊2.0實現的初級時期,如下幾個關鍵詞是現階段值得重點關注的:狀態分片、無狀態客戶端、隨機數。參考資料:1.《MinimumCommitteeSizeExplained》;作者,Chih-ChengLiang;2.《以太坊2.0:隨機性》;作者,Bruno?kvorc;翻譯,Jhonny、阿劍;3.《Usingpolynomialcommitmentstoreplacestateroots》;作者,VitalikButerin;4.《Eth2.0的中繼者網絡與手續費機制》;作者,JohnAdler;翻譯,IANLIU、阿劍;5.《區塊鏈分片的理念與挑戰》;作者,AlexanderSkidanov;翻譯,Jhonny、Echo、阿劍;6.《Eth2shardchainsimplificationproposal》;作者,VitalikButerin;7.《給工程師的ETH2.0指南》;作者,JamesPrestwich;翻譯,Aisling、奇奇、stormpang、阿劍;8.《Mergeblocksandsynchronouscross-shardstateexecution》;作者,VitalikButerin;

人人網董事長陳一舟:十分看好區塊鏈技術的落地應用:人人網董事長陳一舟發言表示,四年前就想投資比特幣,打算買幾百萬放著不動,但是最后沒行動。不過,今年他又開始行動,投資了幾家美國、日本的區塊鏈公司,用區塊鏈改變房屋租賃、交通物流領域。他表示,自己十分看好區塊鏈技術的落地應用。[2017/12/23]

Tags:以太坊區塊鏈TALIALIpeople幣對標以太坊如何做區塊鏈Social CapitalismAlibabacoin

MANA
區塊鏈:BApp的崛起之路_區塊鏈技術適合女生嗎

在區塊鏈技術面世之際,去中心化應用dApp——即在去中心化點對點網絡運行后臺代碼的應用,成為了一個耳熟能詳的名詞.

1900/1/1 0:00:00
COI:區塊客周刊:比特幣正處于筑底階段;穩定幣或屬證券_加密貨幣

2020.3.30第14期本期關鍵字:比特幣見底、N號房事件、Telegram遭禁令、穩定幣或受監管、DeFi自動化做市商、吳忌寒不再狂熱、比特幣網絡狀態研究、俄羅斯加密貨幣合法化.

1900/1/1 0:00:00
MXC:交易所周報 | 比特幣期權交易增長迅速;頭部平臺幣走勢強勢(3.30-4.6)_比特幣

作者|康康編輯|郝方舟Odaily星球日報出品交易所流量下降有所放緩;虛擬資產衍生品市場仍然是主戰場。交易所一周動向4月6日,加密禁令解除后,印度多家交易所降低交易手續費以吸引用戶.

1900/1/1 0:00:00
OIN:會砸盤嗎?我們與門頭溝債權人聊了聊_Center Coin

編者按:本文來自區塊律動BlockBeats,作者:0x29、0x66,Odaily星球日報經授權轉載.

1900/1/1 0:00:00
區塊鏈:區塊鏈升級金融監管,風險管控自動化_人工智能

文/王巧編輯/獨秀金融基礎設施是指為各類金融活動提供基礎性公共服務的系統及制度安排,在金融市場運行中居于樞紐地位,是金融市場穩健高效運行的基礎性保障.

1900/1/1 0:00:00
APP:專訪:揭秘“加密貓”背后的故事和“Flow”的殺手锏_區塊鏈dapp開發公司

編者按:本文來自DappReview,作者:DR小伙伴,Odaily星球日報經授權轉載。 導讀:說起“加密貓”,這個名字在區塊鏈的圈子可以說無人不知,這款17年底一上線就把以太坊給堵了的游戲曾給.

1900/1/1 0:00:00
ads