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