LMD 让消息 (messages) 发挥了作用，即以太坊 2.0 链上的最终性是由最新消息驱动的。消息即证明 (attestation)，总结来说，拥有最多投票的分叉链将被认为是主链。

上图体现了由最新消息驱动的分叉选择规则：绿色区块表示经由 LMD GHOST 分叉选择规则证明了的区块，笑脸符号表示最新的验证者证明 (attestations)，某个区块中的 证明总量 (笑脸总数) 就是该区块的权重，用区块中的数字表示。

尽管位于上方的分叉链是最⻓的链，但下方由绿色区块组成的链才是主链，因为绿色区块包含了最多的证明，也就是拥有最多的验证者投票。

Casper FFG

Casper FFG 全称为「Casper the Friendly Finality Gadget (Casper 友好的最终性小工具)」 ，是 Vitalik 提出的一个 PoW/PoS 混合的算法，目的是使 Ethereum 平滑过渡到纯 PoS。

Vitalik 总结了四条规则，任何违反此四条规则的行为都要被取走押金。

• 提交（commit_req）：收到 2/3 节点的预备讯息后才能提交。
• 预备（prepare_req）：每个预备讯息只能指向某个也具有 2/3 节点预备讯息的高度（Epoch），且这些预备讯息也必须都指向同一个高度。
• 预备提交一致性（prepare_commit_consistency）：任何新的预备讯息只能指向最后一个已提交的或其他比其更新的高度。
• 不重复预备（no_double_prepare）：不能在同一个高度送出两次预备。

这四条规则可以进一步简化为两条 :

某验证节点 v 必不可发出两个相异的投票 : <ν, s1, t1, h(s1), h(t1)> 及

<ν, s2, t2, h(s2), h(t2)>, 且使下列任一条件成立 :

1. h(t1) = h(t2)

验证节点必不可对某高度发出两个相异投票。

2. h(s1) < h(s2) < h(t2) < h(t1)

验证节点必不可投出高度围绕 / 被围绕于另一投票高度的投票。

Casper FFG 运作

Casper FFG 通过检查点（Checkpoint）的合理化（Justified）和敲定（Finalized)）来完成共识。

在共识的过程中，验证人除了对每个 Slot 进行共识出块，还要对 Epoch 的检查点进行投票，Epoch 的检查点一般为第一个 Slot 的区块。每个验证节点都要对检查点进行投票，投票的内容是由两个 Epoch 的检查点组成的连接（Link），连接的起点称为源头（Source），终点称为目标（Target）；若投票给某个连接的票数超过 2/3，则该连接被称为绝对多数连接（Supermajority Link）。

由根检查点开始，若某连接为一个绝对多数连接，则该连接的目标进入为已合理化（Justified）状态，该连接的源头进入已敲定（Finalized）状态。进入敲定状态的交易不 可逆。 (责任编辑：admin)