• 技术 | 形式化验证Gasper共识机制的终局性（finalization）2020-07-20