Proof-of-Stake
分片槽提議者如何提出任何建議?
分片槽的提議者是偽隨機選擇的,就像在信標鏈上一樣。然而,每個驗證者都沒有記憶體池或每個分片的狀態。那麼,當被分配在一個隨機分片上提議一個塊時,提議者如何創建一個塊來提議?是否有另一個塊的建構者將其分發給提議者或解決方案是什麼?
這是一個在規範中已經發生變化並將繼續變化的領域。
最初的想法是分片是可執行的並且有自己的狀態。相對於該狀態,分片上的交易可能有效或無效,因此分片委員會需要同步分片的狀態才能建構有效塊。在該規範中,有長期存在的分片委員會,它們有機會在需要提出塊之前同步分片的狀態,然後在合理的時間內作為委員會來分攤必須進行同步的成本.
當我們從規範中刪除可執行分片並僅轉移到數據分片時,不再需要同步分片的狀態:提議者只需從記憶體池中收集分片的待處理事務並將它們組成一個塊。沒有要檢查的有效性條件;分片數據只是 blob。然後其他驗證者將證明該數據的可用性。特定分片的交易數據將在特定子網上廣播,以避免提議者必須看到所有內容:他們只需訂閱他們需要的那些,這是一個相當快的過程。
最新的想法是讓普通驗證者根本不監控分片,而是讓專門的塊建構器監控所有分片,然後將一個完整的塊提供給下一個包含所有分片資訊的信標塊提議者。普通驗證器所要做的就是證明分片數據可用,這是通過數據可用性採樣完成的。