Casper FFG 上的合理活躍度

這是來自Arxiv上的 Casper FFG 文件。

1. a高於b嗎？如果是這樣，如果b較低，目標檢查點如何？
2. 如果a’是 a 的後代（我認為它是指前一個檢查點），那麼h(a’) = h(b) + 1是什麼樣的？

幾週前騎過這個。讓我們試著解釋一下。

絕大多數連結是更有效地關聯檢查點的方式，正如您在提供的照片上所見，在圖 C 中，絕大多數連結讓我們能夠更快地驗證區塊/鏈，因為讓我們做出“安全假設”

• A 是最合理的檢查點。
• 目標檢查點 B 是每個人現在投注的最高點（超過 2/3，因為協議要求.
• 然後，如果任何 A’（最高對齊檢查點的後代）明顯是合理的，因為它是合理檢查點的後代，具有比目標檢查點 B 更大的高度，我們可以假設，我們可以直接查看 A 檢查點. 並且這次不要放鬆評估檢查點 B，這就是實施絕大多數連結的原因。

編輯添加顯示帳戶安全性和似是而非的活躍度的圖表：

論文對應用範例的圖片和站點的描述。

在這裡，您可以看到論文/文章中的定義：

嗯，希望對你有幫助！

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