2020-07-22 形式化验证Gasper共识机制的终局性（finalization） 使协议的描述能更准确、更完整。让 “终局化（finalization）” 获得了更通用的形式。因为演绎论证保证没有未经指明的假设。
