FFG这种方法十分高超。投票实际上由两个子投票组成，，一个用于证明epoch，另一个用于对质明事后的epoch举办最终确认。这节减了许多节点之间特另外通信需求，有助于实现将网络局限扩大至数百万验证者的方针。
1. 三元悖论
假如节点可以或许靠得住地举办通信，始终厚道地遵循协议且永不宕机，那么要告竣共鸣很是容易，但这不是真实环境。当这些假设不创立时，FLP不行能性证明白至少要折衷以下三者中的一项：安详性、活性或完全异步性。
Eth2的共鸣既仰赖于LMD-GHOST机制（增加新区块，抉择区块链链头），也仰赖于Casper FFG机制（最终抉择哪些区块成为区块链的一部门）。GHOST强调活性，可以或许快速高效地将区块添加进区块链，而FFG则与GHOST相辅相成，通过对epochs举办最终确定，补充了安详性的缺失。
FFG机制是经典实用拜占庭容错（PBFT）[5]在加密经济学规模的一种应用，首先节点暗示他们想要就某事告竣一致（justification），然后就互相之间告竣的一致性形成共鸣（finalisation）。
本期我们的主题是eth2背后的共鸣机制。Eth2回收了一种新颖的方法来判定的前部区块和构成区块。
与最长链法则对比， GHOST的利益在于可以或许在网络延迟较高时低落进攻效率，同时最小化链重组的深度。原因是纵然进攻者可以或许高效地在其分叉链上继承发生区块，实验使该链成为最长链，GHOST也会选择另一条票数更高的分叉链。
Eth2利用Greedy Heaviest Observed Subtree (GHOST，贪婪最重可调查子树协议) [2]作为其分叉选择法则。在GHOST协议中，得到投票数最高的分叉将被选为链头（将每个分叉区块及其各自子区块的所有票数计入思量）。
2. 分叉选择法则：GHOSTs
换句话说[3]，每当产生分叉时，GHOST会选择得到更多动静支持的区块子树（大都最近动静要么支持该区块，要么支持该区块的个中一个子区块）。此算法会一直反复这种操纵，直至到达没有子区块的区块。
Eth2并不会在每个slot（一个区块生成的估量时间）都举办证明和最终确认，而是每32个slots举办证明和最终确认，每32个slots就称为一个epoch。首先，验证者要对一个epoch中的所有32个区块举办签名，暗示就此告竣一致。假如2/3的验证者举办了签名，那么这些区块就获得了证明。在后一个epoch中，验证者们会举办一次投票，表白他们瞥见了之前被证明的epoch，假如有2/3的验证者投票，那么前一个epoch就被最终确定，而且永久地成为Eth2链的一部门。
FLP不行能性（FLP impossibility）[1]是漫衍式计较规模的一个要害成就，其指出漫衍式系统不行能同时具有安详性(safety)、活性(liveness)和完全异步性(full asynchrony)，除非是在对系统做出不公道假设的环境下。
安详性指抉择不能被取消，活性则指针对新事物做出抉择。假如在信息通报中没有时间限制，那么该协议是异步的。
3. 友好简直定性小东西（FFG）
安详性的折衷会以区块重组的形式表示出来，区块链大概会溘然跨深度任意切换分叉。这显然是不抱负的状况，eth1链应对这种环境的方法是让用户假设矿工的区块需要多久才气被全网吸收到，因此生意业务需要期待x个确认。然而eth2并不会做出此类假设。
正常环境下，区块生成之后得到了2/3的验证者的投票，那么这些区块将通过GHOST协议被添加到区块链的头部，之后，这些区块就会通过FFG被证明和最终确定，而FFG会思量最近的几个epochs。
Eth2殽杂了两种机制（LMD-GHOST及Casper FFG）以告竣共鸣，不只使得网络在正常运行时可以或许安详快速，而且在受到进攻时也能保障安详性。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
