形式化验证 Gasper 共识机制

形式化验证 Gasper 共识机制 Gasper 是一个由信标链协议（即将到来的以太坊 2.0 网络的底层协议）实现的抽象的权益证明协议层。Gasper 的关键部分就是一套终局性机制（finality mechanism），用于保证交易的持存性（durability）和系统的不间断运作不会被攻击破坏。 Gasper 罚没条件（slashing Conditions） Gasper 定义了两个条件（

>>阅读原文<<