Proof-of-Stake
世界狀態的原因
所有乙太坊區塊都包含一個 stateRoot 欄位——即世界狀態樹的根雜湊。我對此有兩個問題。
根據我對 Casper CBC 所做的所有閱讀的理解,將並行發生狀態更改(每個分片的狀態更改),因此沒有一個分片將具有正確的全域狀態(關於其他分片)和能夠在分片中獨立地擁有該狀態的默克爾證明。
我的意思是,如果我在分片 A 中執行狀態更改,從塊 x - 1 到塊 x,同時在分片 b 中發生從塊 x - 1 到塊 x 的狀態更改,則全域狀態雜湊兩個碎片都不匹配。
因此,這是否意味著跨分片交易必須適應目前的 tps 速率?考慮到它們必鬚髮生在影響所有分片的區塊下,這將需要每個分片臨時加入主鏈然後分裂回來?
根據我對 Casper CBC 所做的所有閱讀的理解
我假設您指的是 Vlad 的Casper CBC 論文?Vlad 提出了許多分片方案,但我認為截至今天還沒有正式發布。
這是否意味著跨分片交易必須適應目前的 tps 速率?
簡而言之,是的,這是一種表達方式。換一種說法,假設我們有一個樹狀的分片結構,任何通過根分片的跨分片事務都會受到根分片的 tps 速率的瓶頸。
這將需要每個分片臨時加入主鏈然後分裂回來?
這取決於您所說的“臨時加入”是什麼意思。我假設“主鏈”指的是根分片。Vlad 提出了一種樹結構的分片方案,您可以在其中創建跨分片的合併塊,其中分片之間存在分支。例如,假設一個分片結構只有三個分片:一個根分片 R 和兩個子分片 A 和 B。為了在 A 和 B 之間進行跨分片交易,您可以在 R、A 和B.