證成與最終化

證成與最終化是 Casper FFG 把檢查點從「已取得一致」提升為「不可逆」的兩個階段。兩者都作用於檢查點——每個紀元的第一個區塊——且都仰賴超級多數連結，即掌握超過三分之二總質押的驗證者投出證明，將一個來源檢查點連結到一個目標檢查點。正是這兩步結構，賦予以太坊硬性最終性，而從不需要一次瞬間完成的全域投票。

一個檢查點在一條超級多數連結指向它作為目標的當下，便被「證成」：超過三分之二的質押已同意它屬於標準鏈。證成很強，卻尚未永久——在罕見的對抗條件下，它可能被跳過。最終化是棘輪的第二聲卡榫：當一個已證成的檢查點本身又是一條新超級多數連結的來源、而該連結證成了緊接其後的下一個檢查點（其直接子節點）時，較早的那個檢查點便被「最終化」。換言之，兩個連續的已證成檢查點、其間有一條超級多數連結，便最終化前者。

最終化是以太坊提供的最強保證：要撤銷一個已最終化的檢查點，攻擊者得以至少三分之一的全部質押 ETH 違反罰沒條件，使該質押被可證明地燒毀——這就是可問責安全性。在正常條件下，一個區塊約在兩個紀元、大約 12.8 分鐘內最終化，這也是為何交易所與跨鏈橋等待最終性、而非固定的確認數。若因過多質押離線而最終化停滯，不活躍洩漏會逐步恢復超級多數連結再度成形的條件。