Casper
Casper FFG 上的合理活躍度
這是來自Arxiv上的 Casper FFG 文件。
- a高於b嗎?如果是這樣,如果b較低,目標檢查點如何?
- 如果a’是 a 的後代(我認為它是指前一個檢查點),那麼h(a’) = h(b) + 1是什麼樣的?
幾週前騎過這個。讓我們試著解釋一下。
絕大多數連結是更有效地關聯檢查點的方式,正如您在提供的照片上所見,在圖 C 中,絕大多數連結讓我們能夠更快地驗證區塊/鏈,因為讓我們做出“安全假設”
- A 是最合理的檢查點。
- 目標檢查點 B 是每個人現在投注的最高點(超過 2/3,因為協議要求.
- 然後,如果任何 A’(最高對齊檢查點的後代)明顯是合理的,因為它是合理檢查點的後代,具有比目標檢查點 B 更大的高度,我們可以假設,我們可以直接查看 A 檢查點. 並且這次不要放鬆評估檢查點 B,這就是實施絕大多數連結的原因。
論文對應用範例的圖片和站點的描述。
嗯,希望對你有幫助!