交易所

技术 | 形式化验证Gasper共识机制的终局性(finalization)

Gasper 是一个由信标链协议(即将到来的以太坊 2.0 网络的底层协议)实现的抽象的权益证明协议层。Gasper 的关键部分就是一套终局性机制(finality mechanism),用于保证交易的持存性(durability)和系统的不间断运作不会被攻击破坏。
我们很高兴宣布,Runtime Verification 和以太坊基金会长久合作中的另一大里程碑圆满成功:我们开发了一套形式框架来模拟和验证信标链协议,并成功形式化地证明了 Gasper 终局性的正确性(correctness);并[……]

更多…