未将步调 1 中确定的公道化区块作为最新公道化区块的区块会被全部解除

利用一般 LMD GHOST 法则沿着区块树向下，直到找到叶子块为止。

我的上一篇文章先容了 Casper FFG 的根基常识。本文的第一部门将对 Eth2.0 信标链中所用的 Casper FFG 实现作出简要的描写。第二部门将接头信标链的分叉选择法则及其它有关区块链活性的因素。

- 当 SLOTS_PER_EPOCH = 3 且区块 A、D 和 G 为查抄点时，slot 和 epoch 的环境 -

链上 FFG 机制只处理惩罚特定的 来历区块-方针区块对 的 attestation ，而非所有大概的 来历区块-方针区块对的 attestation ，从而低落了本钱。详细来说，该机制仅处理惩罚当前和上一个 epoch 中的 attestation（别的还要满意其他一些条件！）。因此，链上 FFG 机制无法检测所有确定性实例！简而言之，该链上机制是靠得住的，但并不完善。

Slot（时隙）：区块链上的时间是凭据 slot 来分另外，每一个 slot 期间都可以提议一个新的区块。今朝，一个slot 的时长是 SECONDS_PER_SLOT = 12，即 12 秒。系统会为每一个 slot 分派一名验证者来建设新的区块。

欲知更多关于分叉选择的信息，请参阅这篇文章的 “Hybrid LMD GHOST” 一节。

Epoch（时段）：Casper FFG 机制并不该用在完整的区块树上，而是只思量某些 slot 处的区块的得票环境。这样一来，，该机制在按照投票环境来检测确定性时，无需验证过多 来历区块-方针区块对，从而节减了本钱。由于这些 slot 之间的隔断足够长，每当 FFG 确定性查抄运行时，绝大部门验证者新提交的投票城市被瞥见。每个 epoch 都由必然数量的 slot 构成的，今朝的参数是 SLOTS_PER_EPOCH = 32 ，即，1 epoch = 32 slots = 6.4 分钟。FFG 机制只思量位于这些 epoch 界线的区块（ “查抄点（checkpoint）” 或叫 “时段界线区块”（epoch boundary block, EBB））。

确定性告竣：只要区块 B 满意以下条件，即可得到确定性

想要相识更多关于验证者打算的信息，请查察 ETH 2.0 类型的验证者指南。

本文直接表明白 ETH 2.0 类型中的一些观念，并尽大概地附上了类型中相关参数和函数的链接。这些链接仅作参考之用，无需阅读链接内容也可领略本文。

每个 epoch 开始时，验证者先确定当前视图下的最新公道化区块。在当前 epoch 期间，这一变量会被冻结，直到下一个 epoch 开始时才会再次更新。

提议区块的验证者必需先确定（当地调查到的）区块链的顶端。为此，他们需要利用 Hybrid Latest Message Driven (HMLD) GHOST 分叉选择法则。

已获得公道化的区块 B_0 满意下列条件:

下一步是检测区块简直定性，即，检测最新两个 epoch 界线区块简直定性。确定性查抄只会用到 4 种 来历区块-方针区块对（以此晋升机能并简化类型）（译者注：即来历查抄点和方针查抄点之间的间距不能高出必然间隔，并且能回溯的间隔也有必然限制）。

区块B 是创世块，或

验证者用来确定哪个区块才是区块链顶端的分叉选择法则

信标链的链上 FFG 机制专门通过处理惩罚区块和 attestation 来检测确定性。在每个 epoch 界线，该机制城市处理惩罚新的 attestation 并更新已经获得公道化和确定性的区块。

提议打算（Proposal Schedule）：系统会给每个 epoch 中的每个 slot 分派一个验证者来接受区块提议者。该验证者会按照分叉选择法则在当地视图的区块树上找到链的顶端，然后生成一个新的子块。该验证者可以将其看到的 attestation 打包进区块来获取嘉奖。当确定性查抄运行时，这些 attestation 会输入链上 FFG 机制举办计较。

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。