在?Ethereum Casper 101[1] 中稀颁,Jon Choi 對 Casper 做了一個(gè)很棒很清晰的綜述钦铺,并解釋了為什么顯式最終確定性(explicit finality)對于可擴(kuò)展性(scalability)大有裨益瞭空。本文旨在給出一個(gè)以太坊分片的設(shè)計(jì)概覽,并闡釋顯式最終確定性如何有助于區(qū)塊鏈分片萨驶。
為了完全理解以太坊分片機(jī)制提案的技術(shù)規(guī)范驻子,我強(qiáng)烈推薦深入研究 Vitalik 寫的?sharding doc[2].
區(qū)塊鏈可擴(kuò)展性問題
1、不斷增長的交易牡彻。
2扫沼、目前的塊生成過程導(dǎo)致可擴(kuò)展性受限。區(qū)塊的gas limit 束縛了區(qū)塊的計(jì)算容量庄吼。無論是提高區(qū)塊的 gas 上限缎除,還是大大降低區(qū)塊時(shí)間,都會(huì)導(dǎo)致高陳腐率(high stale? rate)总寻,并削弱網(wǎng)絡(luò)對抗攻擊的能力器罐。
3、并行不足渐行。首先轰坊,現(xiàn)有的 EVM 按先后順序依次處理交易。其次祟印,出于安全和去中心化的考慮肴沫,每個(gè)全節(jié)點(diǎn)會(huì)執(zhí)行每一筆交易,并存儲(chǔ)整個(gè)(或修剪后)的狀態(tài)樹旁理。?
進(jìn)階閱讀:并行執(zhí)行交易?EIP 648?—?Easy parallelizability
為了解決可擴(kuò)展性問題樊零,分片(sharding)引入了鏈上狀態(tài)分區(qū)(on-chain state partition)來獲得更高的吞吐量。
術(shù)語
首先孽文,讓我們來看一下在主鏈(你可以理解為現(xiàn)在的 Mainnet chain)和分片鏈(shard chain)上不同層次的對象區(qū)別:
可以簡單地這么認(rèn)為驻襟,交易都會(huì)被裝入 “collation”。與區(qū)塊類似芋哭,一個(gè) collation 也會(huì)指向它在鏈(指的是分片鏈)上的 parent collation沉衣。 成為一個(gè) “collator”,就意味著你有資格在 POS 分片鏈上提名一個(gè)新的 collation减牺。