Casper FFG 的活性問題？

我正在遵循https://arxiv.org/pdf/1710.09437.pdf中的定理 2

我指的是這個例子https://imgur.com/hwfYZor

設 a 為具有最大高度的合理檢查點。假設一半的驗證者投票了 s1 和 s2，而另一半投票了 s3 和 s4。如果驗證者一致認為具有檢查點 d 的鏈確實是規範鏈，我相信如果驗證者不違反 slashing 條件，他們就不可能完成該鏈上的任何檢查點，因為投票支持 s2 的驗證者必須做出包圍選票。因此，casper 協議會卡住。

如果我正確理解了您的範例，那並不是圍繞投票的確切含義。從論文中，周圍的投票是：

h(s1) < h(s2) < h(t2) < h(t1)

這意味著 vote2 的源和目標必須嚴格在 vote1 的源和目標之間才能發生削減。在您的範例中，沒有環繞，因為投票給 S3 的驗證者會在意識到 S2 獲勝後，投票給 b -> a` 作為他們的下一個源 -> 目標

引用自：https://ethereum.stackexchange.com/questions/43596