Gasper

Gasper 是保護以太坊信標鏈的完整共識協議，其名取自兩個組成部分：它把 GHOST 分叉選擇與 Casper 最終性裝置結合（正式論文題為《Combining GHOST and Casper》）。它回應一個實務難題：Casper FFG 每個紀元才最終化一次檢查點，但網路必須每個十二秒的時隙就對單一鏈頭達成一致，才能持續出塊。Gasper 在「緩慢卻確定」的檢查點最終性之上，疊加一條即時的鏈頭分叉選擇規則。

分工十分清楚。LMD-GHOST 是分叉選擇規則，逐時隙地透過權衡驗證者的最新證明來選出標準鏈頭，使誠實驗證者在任何東西被最終化之前，就能對「該往哪裡建構」達成一致。Casper FFG 在底層運作，利用證明的來源與目標票，約每兩個紀元證成並最終化檢查點，提供不可逆的骨幹。關鍵在於，分叉選擇被約束為永不回復已最終化的檢查點，於是來自 GHOST 的活性與來自 Casper 的安全性得以並存。

Gasper 使以太坊成為一個以鏈為基礎的 BFT 系統，而非像 Tendermint 那樣以輪為基礎：它持續推進、只會短暫分叉，然後事後補上最終化；而 Tendermint 即時最終化每個區塊，卻在嚴重故障下停擺。Gasper 也自然地與不活躍洩漏（在過多驗證者離線時恢復最終性）與提議者加成（強化分叉選擇以抵禦重組博弈）等機制搭配。