Gasper
Casper是一种能将特定区块更新为最终确定状态的机制,使网络的新加入者确信他们正在同步规范链。当区块链出现多个分叉时,分叉选择算法使用累计投票来确保节点可以轻松选择正确的分叉。
最终确定性
最终确定性是某些区块的属性,意味着除非出现严重的共识失败,且攻击者至少销毁了总质押以太币的1/3,否则这些区块将不能回滚。 最终确定的区块可以解读为区块链是确定无疑了的。 区块必须完成两步走升级程序才能最终确定下来。
- 区块必须获得总质押以太币
2/3的投票,才能纳入规范链(canonical chain)。 此条件可将区块升级至合理状态。 合理的区块不大可能回滚,但满足某些条件时也可以回滚。 - 每个 Epoch 的第一个区块被称为
检查点,节点会对当前Epoch 和 上一个Epoch的检查点进行投票,如果获得了质押以太币总数中三分之二以上的投票,那么上个检查点变成最终确认状态,当前检查点变成合理状态。
要
回滚最终确定的区块,攻击者将承担至少相当于质押以太币总数三分之一的损失
检查点的投票时间可能持续几个Epoch




















