Casper FFG

Casper FFG（友善最終性裝置）由 Vitalik Buterin 與 Virgil Griffith 設計，是以太坊權益證明中，將原本機率式的鏈轉化為具有可證明、且由經濟力量強制執行之最終性的部分。它並非對每個區塊都達成共識，而是作用於「檢查點」——每個紀元的第一個區塊——並疊加一套投票流程，週期性地宣告某些檢查點不可逆。它被稱為「裝置」，是因為它疊在底層的出塊機制之上，而非取代它。

驗證者投出的證明（attestation）包含一張 FFG 票：一條從來源檢查點指向目標檢查點的連結，等於是說「我看到鏈從這裡延伸到那裡」。當承載超過三分之二總質押 ETH 的連結指向某目標時，該目標便被「證成」（justified）。最終化是一道兩步棘輪：當一個已證成檢查點的緊接後繼檢查點也被超級多數連結證成時，前者便被「最終化」（finalized），意即要回復它，攻擊者得銷毀至少三分之一的全部質押 ETH。

這項經濟保證由兩條驗證者絕不可違反的罰沒條件強制執行：不得對同一目標紀元投出兩張不同的證明（不得雙重投票），以及不得投出其來源—目標跨距包圍、或被包圍於你先前某張證明的證明（不得包圍投票）。兩者合起來，使得除非三分之一的質押簽下可被罰沒、自證其罪的證據，否則在數學上不可能最終化兩個互相衝突的檢查點——這項性質稱為「可問責的安全性」。在以太坊中，Casper FFG 提供最終性，而 LMD-GHOST 提供即時的分叉選擇，兩者合稱 Gasper。