以太坊2.0：最终确定性的机制是什么样的？

在 ETH2，确定一个最终敲定的检查点是非常重要的，因为协议里很多明确定义的东西都以它为界限。

区块链的一个基本属性是“最终性”，这大致意味着经过一段时间后，打包到权限链中的交易极其困难，甚至几乎不可能回滚。ETH2在协议上有一个“清晰”的机制，即链的最终确定性，这不同于比特币和以太坊上的“概率”最终确定性。

在工作量证明中，共识基本上是一场全球性的竞争，在这场竞争中，**挖出有效区块的幸运矿工将获胜——竞争的方式是找出计算难度问题的数学解。因此，块外时间是概率的。区块链上打包的区块越多，回滚就越困难，因为每个区块代表构建区块所需的能量和算力的累积总和。由于存在防止攻击者回滚当前比特币和以太坊区块链的实际物理保证，我们可以将某段时间内的交易视为“已完成”。

然而，以太坊的兴趣证明机制并不是基于概率终结而运行的。相反，它明确规定了协议中的最终决定——“如果超过三分之二的核查者正确地投票给B股链头，在很长一段时间之后，我们会考虑在这个特定的检查点之前的所有交易都已经敲定”。最终的确定性是明确的，遵循协议的节点将无法回滚最终确定的检查点，因为无论一致性权重如何，这基本上是不可能的。

ETH2中的最终确定性机制是什么？

ETH2是一个同步协议，它使用“检查点”机制记账。本质上，一组验证器被分配给具有32个时隙的窗口，以执行发出块或对块进行表决的职责。每个时隙为12秒，32个时隙构成一个历元。在一个新纪元中，32个验证者被分配作为块支持者，其他验证者作为见证者。他们在每个时代都投票支持提议的街区。

每个时段将只分配给一个区块提案人，但将有多个“证明人”

例如，Alice被选为槽4中的区块支持者，而Bob、James、Charlie和Susan都被选为证明人，这意味着他们都必须对Alice提出的权威区块进行投票。

ETH2使用Casper的公平性来证明共识，尤其是“确定性小工具”。ETH2最终确定的过程定义如下：

1.如果一个历元中超过三分之二的验证者正确地投票给区块链头，我们就说最近的历元是合理的。

2.如果证明了两个连续的历元，那么当前的历元-2（当前的历元-2）被认为是最终确定的。

在正常操作中，链的目的是始终进行最终定稿。如果在最终确定的时间段后有超过4个时间段，则所有核查人员将开始受到惩罚，以鼓励快速恢复最终确定。

世界末日会发生什么？

在ETH2中的历元结束时，状态转移函数执行重要的会计功能，以准确地找出这段时间内共识层中发生了什么，并为下一个历元做好准备。验证者将被洗牌，并在每个历元中分配新任务。除非发生链式重组，否则我们可以提前两个时期知道分配的任务。

在大纪元过渡期间，我们将统计区块链负责人的所有投票。验证者使用“有效余额”在Gwei中投票。在谈到ETH2时，我们通常提到验证者参与率，其定义为一个时代内区块链头部正确投票所承诺的总Gwei与所有活跃验证者承诺的总Gwei的比率。

确定新确定的检查点意味着什么？

在ETH2中，确定最终的检查点是非常重要的，因为协议中许多明确定义的内容都受到它的限制。也就是说，在**确定检查点之前，通过P2P八卦子系统接收到的所有信息都将被忽略和丢弃。此外，ETH2中新确定的检查点将发生以下情况：

• 将忽略来自新完成的检查点的所有传入消息
• 分叉选择规则的更新只识别从最终检查点开始的投票。这意味着遵循协议的节点不可能回滚最终确定的检查点。
• 可以在没有安全问题的情况下修剪最终检查点之前存储的数据

激励与重组

协议奖励对于维持我们称之为“链”的活动非常重要“有一个强有力的激励机制。自ETH2的主网络于2020年12月1日启用以来，该链一直处于完美的活跃状态。特别是，每个时代都已按预期完成。链的参与率，即在区块链负责人的正确投票中承诺的ETH占所有活跃验证者承诺金额的百分比，一直保持在90%以上的高水平

数据来源：https://beaconcha.in

除非大多数出质人处于离线状态，或者在多人使用的客户实现中存在严重漏洞，否则激励机制将始终支持当前_epoch-2的最终确定。假设在ETH2中，历元持续时间为6.4分钟，也就是说，12.8分钟之前的历元应始终最终确定。

当然，关于MeV，我们已经有12.8分钟没有看到区块链中的重组了。那么，我们是否有可能通过信标链本身的数据获得交易最终确定性的概率估计？

MEV

ETH2中的每个块都包含关于一致性的元数据，即每个块都包含以下信息：

• 加入信标链的新验证器（ETH1验证器存款）
• 附件是其他验证者对链上先前区块的投票
• 验证者想退出其职责的证明
• 验证者被没收并被强行驱逐的证明

就我们而言，最重要的是证明。因为每个插槽都将被阻塞，所以时间仅为12秒。对于我们收到的每个区块，我们可以计算迄今为止所有活动验证者在ETH区块链头上正确投票的验证者承诺的ETH百分比。例如，如果我们在一个纪元结束之前获得了超过三分之二的选票，并且在上一个纪元中有超过三分之二的验证者投票正确，那么我们可以非常肯定，链条的最终确定性很快就会达到。换言之，在最终确定之前6.4分钟，我们可以对这个结果非常有信心。

尽管这种“信心”非常有用，但如果在权力链的分支上有足够的投票权，在一个甚至两个时期内重组仍然是可能的。就我们所观察到的，在ETH2上具有大量投票权的小分歧是非常罕见的，并且在当前链上从未发生过。

关于MeV的问题：我们需要多长时间才能知道最终的确定性并使其为MeV gETH工作？

最终确定性的哲学探讨

节点是否会违反协议？

最终确定性，归根结底，是一个抽象的概念，由社会对协议规则的共识来实现。有一个诚实的假设，即节点确实遵循协议。这意味着，即使一些行为不端的节点试图修改其客户端软件以忽略关于最终确定性的规则，也不会影响整个网络，因为所有其他节点都将遵循协议讨论。

重组的分歧选择始于**的最终时代。除非大多数节点违反协议，否则重组是不可能的。