在Eth2 最终敲定后会发生什么？

来源 | @prysmaticlabs

作者 | Raul Jordan

区块链的一个基本属性是“最终确定性 (finality)”，它的大概意思是经过一定时间后，被打包到权威链的交易是极其困难，甚至几乎不可能回滚的。Eth2 在协议上有一个“明确的”机制是关于链的最终确定性的，它区别于现在使用 PoW 机制的和上的“概率性”最终确定性。

在工作量证明中，共识从根本上说是一场全球竞赛，其中第一个挖出有效区块的幸运矿工会获胜——比赛方式是找出计算难度问题的数学方案。因此，出块时间是概率性的。越多的区块被打包到区块链上，回滚就越难，因为每个区块都代表了构建区块所需的电力和算力的累积总和。由于防止攻击者能够回滚今天的比特币和以太坊区块链是有切实的物理保证的，我们可以把超过一定时间的交易看作“被最终敲定了 (finalized)”。

然而，权益证明机制的以太坊不是基于概率性最终敲定来运作的。相反，它把最终确定在协议上作了明确规定——“如果超过三分之二的验证者对区块链头正确投票了，经过一段很长的时间后，我们就认为这个特定检查点以前的所有交易都被最终敲定了”。最终确定性是明确的，而遵循协议的节点将无法回滚最终敲定的检查点 (checkpoint)，因为不管共识权重如何，这在根本上是不可能的。

在 Eth2 里，最终确定性的机制是什么样的？

Eth2 是一个同步协议，它用“检查点”机制进行记账。本质上是一个验证者集被分配到一个有 32 个 slot 的窗口，履行出块或对区块投票的职责。其中，每个 slot 是 12 秒，而 32 个 slot 构成一个 epoch。在一个 epoch 里，有 32 个验证者被分配到担当区块提议者 (block proposer)，其他验证者都担当证明者 (attester)，他们要给每个 epoch 里被提议的区块投票。

每个 slot 里只会分到一个区块提议者，但会有多个“证明者”

例如，Alice 在 slot 4 被选为区块提议者，而 Bob、James、Charlie 和 Susan 都被选为证明者，这意味着他们都要对 Alice 提议的权威区块投票。

Eth2 使用 Casper 权益证明共识，特别是其中的”确定性小工具 (finality gadget)”。Eth2 最终敲定的过程定义如下：

1、如果在一个 epoch 里，大于 2/3 的验证者对区块链头正确投票，我们说最新的 epoch 被证成了 (justified)。

2、如果连续两个 epoch 被证成了，那么 current_epoch – 2 (当前 epoch – 2）被认为被最终敲定了。

在正常的操作中，链的目的是一直做最终敲定。如果在被最终敲定的 epoch 后有超过 4 个 epoch，那么所有验证者都会开始受到惩罚，以激励快速恢复敲定工作。

epoch 末会发生什么？

在 eth2 的 epoch 末，状态转换函数执行重要的记账功能，以弄清楚在这个时间段共识层确切发生了什么，并为下一个 epoch 做准备。验证者在每个 epoch 都会被混洗，分配新的任务，除非出现链重组，否则我们可以提前两个 epoch 得知我们分配到的任务。

在 epoch 过渡中，我们会统计出链头的所有票数。验证者使用“有效余额 (effective balance)”投票，以 gwei 计价。在谈论 eth2 时，我们通常会提到验证者参与率，它的定义是在一个 epoch 里用于区块链头正确投票所质押的总 gwei 与所有活跃验证者所质押的总 gwei 的比值。

确定一个新被最终敲定的检查点意味着什么？

在 Eth2，确定一个最终敲定的检查点是非常重要的，因为协议里很多明确定义的东西都以它为界限。也就是，在检查点被最终敲定前，所有通过 p2p gossipsub 收到的信息都会被忽略和丢弃。此外，以下是在 eth2 一个新被最终敲定的检查点会发生的事：

所有从新被最终敲定的检查点之前传入 gossipsub 的信息都会被忽略
分叉选择规则的更新只认从最终敲定的检查点开始的投票。这意味着，遵循协议的节点是不可能对被最终敲定的检查点进行回滚的。
被最终敲定的检查点以前的存储数据是可以被修剪的，没有安全问题

激励与重组

协议奖励对维护我们所谓的”链的活性“有一个很强的激励机制。自从 Eth2 的主网在 2020 年 12 月 1 日被激活以来，该链一直具有完美的活性，特别是每个 epoch 都按预期被最终敲定。而链的参与率，即正在给区块链头正确投票所质押的占所有活跃验证者质押量的百分比，一直保持在 90% 以上的高水平。