一文了解波卡如何在平行鏈之間進行有效的分片
PolkaWorld
2020-08-06 03:30
本文约1833字，阅读全文需要约7分钟
波卡的可用性和有效性協議。
編者按：本文來自PolkaWorld（ID：gh_6c4c2038ddba），Odaily經授權轉載。
），Odaily經授權轉載。
二級標題），Odaily經授權轉載。
），Odaily經授權轉載。
二級標題
Polkadot 的可用性和有效性（AnV：Availability and Validity）協議使整個網絡能在平行鏈之間有效地分片，同時有著強大的安全性保證。
二級標題
AnV 協議的階段
平行鏈階段
可用性和不可用性子協議
二級標題
二級標題
二級標題
二級標題
AnV 協議的平行鏈階段是平行鏈的收集人向當前分配給平行鏈的驗證人提議候選塊的時候。
二級標題
候選塊是來自平行鏈收集人的新塊，它可能是有效的也可能不是有效的，並且必須經過有效性檢查才能包含在中繼鏈中。
二級標題
中繼鏈提交階段
驗證人接下來會對照該平行鏈的註冊代碼所提供的驗證功能來檢查候選塊。如果驗證成功，則驗證人會將候選塊傳遞給八卦網絡（gossip network）中的其他驗證人。但是，如果驗證失敗，則驗證人立即將候選塊視為無效。
當超過一半的平行鏈驗證人同意特定的平行鏈候選區塊是有效的狀態轉換時，他們會準備候選者收據。候選收據將最終包含在中繼鏈狀態中。這包括：
平行鏈ID
收集人的ID 和簽名
塊的擦除編碼片段的Merkle 根
任何發出信息的Merkle 根
區塊執行後，平行鏈的狀態根
以上信息都是恆定的，但平行鏈的實際PoV 塊是可變長度的，對於任何獲得完整PoV 塊的人來說，這都是足夠的信息，可以驗證其中包含的狀態轉換。
二級標題
可用性和不可用性子協議
二級標題
二級標題
擦除編碼
在Polkadot 中，擦除代碼用於保持系統可用的平行鏈狀態，而無需所有驗證人在所有平行鏈上保留製表符。取而代之的是，驗證人共享較小的數據，並可以在1/3 + 1 的驗證人可以提供其各自的數據的假設下，稍後重建整個數據。
注意：為了構造完整的平行鏈狀態數據而必須響應的驗證人的1/3 + 1 閾值對應於Polkadot 關於拜占庭節點的安全性假設。
二級標題
釣魚人
二級標題
PolkaWorld
作者文库
