上图中，两个虚线框揭示了在分叉选择中的犯科环境。上方靠左的虚线框揭示的是，假如在同一时间投票给两个差异的状态根，那就是犯科的投票，也就是说，你不行以在同一时间投票给两个包括差异内容 (状态根) 的 epoch。
也就是说，某件事「敲定了」就必然意味着这件事已经被「证明白」，而某件事被「证明白」不必然意味着这件事已经「敲定了」。
Gasper在以太坊 2.0 链中，Casper 和 LMD GHOST 一起就组成了驱动以太坊 2.0 系统的共鸣协议。
以太坊 2.0 中的最终性是这样一种观念，即系统确定将不会存在两个彼此竞争的、敲定的查抄点 (checkpoints)，而当这种环境产生时，至少三分之一的活泼验证者将被被罚没 (slashing)。我们称之为经济最终性 (economic finality)。
对付验证者来说，最大的好处来历于正确地对信标状态举办敲定，而不是举办不妥的恶意操纵。
幻灯片 2
GHOST 实际上是一种在 PoW (事情量证明) 和其他区块链平台很是受接待的协议。GHOST 协议遵循「最重的」子树 (the 「heaviest」subtree)，也就是最长的那条链。
但愿本文能让你越发清楚地相识 justification 和 finalization。假如你尚有不清楚的对方，请奉告我 (推特 @bitfalls)！很是感激 Dustin Brody、Mamy Ratsimbazafy、Justin Drake 以及 Danny Ryan 对撰写本文的辅佐！
让我们看看这张来自以太坊研究者 Justin Drake 在 EthCC 集会会议上演讲有关 Eth2.0 时利用的幻灯片。
因此，验证者是通过投票的方法来对 epoch 举办证明 / 敲定，这就是验证者对以太坊区块链的最新已知有效状态举办投票的方法。
你也许想问，为何是三分之一的验证者将被罚没？我们知道，在以太坊 2.0 系统中，必需担保有三分之二的验证者是诚尝试证者来参加验证 (也即举办投票)，因此假如系统呈现两个彼此竞争的、敲定的查抄点，则意味着有三分之二的验证者对个中一个查抄点举办投票，同时也有三分之二的验证者对另一个查抄点见投票，也就是说，至少有三分之一的验证者对这两个查抄点都举办了投票，这部门验证者就会被系统认为是恶意验证者，因此会受到罚没处罚。
证明就是验证者通过对查抄点举办投票，从而抉择哪个查抄点才是信标链的顶端区块。假如三分之二的验证者 (也即绝大大都验证者) 对两个持续的 epoch 告竣共鸣，这样这两个持续的 epoch 被证明白 (justified)，前一个 epoch 就被认为是敲定了 (finalized)。
我们看第二张幻灯片。
那么「敲定的查抄点」中的「敲定」是什么意思呢？在对此举办表明之前，我们需要表明一下什么是「justification (证明)」。
幻灯片 3
在比特币区块链中，「最重的」分支就是那条在其区块中投入了最多算力的链，这条链也就是最长的链。显然最长的链就是我们所说的「权威链 (canonical chain)」，，但这条链依旧有大概切换为另一条分叉链 (固然大概性很小)，因此最长链的最终性是概率性的。
上图中浮现了由最新动静驱动的分叉选择法则：绿色区块暗示经过 LMD GHOST 分叉选择法则证明白的区块，笑脸标记暗示最新的验证者证明 (attestations)，某个区块中的证明总量 (笑脸总数) 就是该区块的权重，用区块中的数字暗示。
上方靠右的虚线框揭示的是，你不行以跳过某些 epoch 而对之后的 epoch 举办投票，换句话说，你在投票给当前的候选 epoch 之前，不行以投片给未来的 epoch。
首先，我们试着来领略什么是finality (最终性)。[备注：也有译文将 finality 译为「确定性」]
假如你在相识有关以太坊 2.0 的进程中碰着过 justification (证明) 和 fnalization (最终性) 这两个术语，但却不知道它们是什么意思，但愿本文能给你一些启示。
这就意味着位于下面的分叉链是无效的分叉，因为假如跟从下方那两个被敲定的 epoch 继承举办投票，这将意味着一个最新被投票的 epoch 将跟从一个来自于另一条分叉链的 epoch。这是犯科的，因为敲定的查抄点是必需定时间顺序分列的。假如产生了这种环境，那大量的验证者将受到很严重的处罚，因为大大都的验证者把票投给了一条「犯科链」上的 epoch。因此，这些验证者必需被处罚。
上图的下方部门揭示的是两条被敲定了的分叉链。第一个和第二个以赤色圆点暗示的 epoch 是已经被敲定了的「权威链」，因为这两个 epoch 之后紧跟了第三个和第四个 (以赤色圆点暗示的) epoch。可是，第三个和第四个 epoch 在两条平行的分叉链中都存在，那这两条分叉链哪条才是属于「权威链」呢？
因此，一个「敲定了的」epoch 实际上就是一个已经被「证明白的」epoch，但个中存在一个要害的区别——当某件事被「证明白」，你仍然可以把时间倒流归去从头证明；但当你「敲定了」某件事，那重写汗青就变得很是坚苦。
编译：Summer幻灯片 1
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
