POS 之 最终确定性

Gasper

Casper 是一种能将特定区块更新为 最终确定 状态的机制，使网络的新加入者确信他们正在同步规范链。当区块链出现多个分叉时，分叉选择算法使用累计投票来确保节点可以轻松选择正确的分叉。

最终确定性

最终确定性是某些区块的属性，意味着除非出现严重的共识失败，且攻击者至少销毁了总质押以太币的 1/3，否则这些区块将不能回滚。 最终确定的区块可以解读为区块链是确定无疑了的。 区块必须完成 两步走 升级程序才能最终确定下来。

1. 区块必须获得总质押以太币 2/3 的投票，才能纳入 规范链（canonical chain）。 此条件可将区块升级至 合理 状态。 合理的区块不大可能回滚，但满足某些条件时也可以回滚。
2. 每个 Epoch 的第一个区块被称为 检查点 ,节点会对 当前Epoch 和 上一个Epoch 的检查点进行投票，如果获得了质押以太币总数中 三分之二以上 的投票，那么 上个检查点 变成 最终确认状态，当前检查点 变成 合理 状态。

要回滚最终确定的区块，攻击者将承担至少相当于质押以太币总数三分之一的损失
检查点的投票时间可能持续几个Epoch

关注我，一起进入web3的世界