英国btc交易所｜合约终局（上）：千所合约竞发 不再有黑马
合约有多火？CMC交易平台排名前100已经有超过70%上线合约相关产品；据合约帝数据显示，Binance、Huobi、OKEx和BitMEX 4大所高峰期持仓量
首页 > 终局
终局
形式化验证Gasper共识机制的终局性（finalization）
使协议的描述能更准确、更完整。让 “终局化（finalization）” 获得了更通用的形式。因为演绎论证保证没有未经指明的假设。
技术贴 | 形式化验证Gasper共识机制的终局性（finalization）
什么是 Gasper？如何能形式化地验证其属性？这种形式化验证有何意义？
