本文基于论文《Combining GHOST and Casper》（Buterin et al., 2020）及《Casper the Friendly Finality Gadget》（Buterin & Griffith, 2019），系统讲解以太坊权益证明共识协议的设计原理。

一、为什么需要 Gasper

区块链共识协议需要同时满足两个看似矛盾的目标：

在传统的 Nakamoto 共识（PoW + 最长链）中，这两个目标只能被概率性地满足——你永远无法 100% 确定一笔交易不会被撤销，只能说"六个确认后概率极低"。

以太坊的 PoS 共识层（Consensus Layer，CL）需要做到：

  1. 网络分区期间保持活性，不卡死
  2. 网络恢复后，对历史区块给出确定性的最终性（finality）
  3. 能在开放的、验证者集合不断变化的网络中运行

Gasper 的答案是：用 LMD-GHOST 保证活性，用 Casper FFG 提供最终性，两者组合成完整协议。

二、基础结构：Slot 与 Epoch

在深入两个子协议之前，先理解以太坊 CL 的时间单位。

Epoch 0                          Epoch 1
|----|----|----|----|----...-----|----|----|----|----|
S0   S1   S2   S3   S4     S31  S32  S33  S34  S35