Gasper
技术 | 形式化验证Gasper共识机制的终局性(finalization)
Gasper 是一个由信标链协议(即将到来的以太坊 2.0 网络的底层协议)实现的抽象的权益证明协议层。Gasper 的关键部分就是一套终局性机制(finality mechanism),用于保证交易的持存性(durability)和系统的不间...
Gasper 是一个由信标链协议(即将到来的以太坊 2.0 网络的底层协议)实现的抽象的权益证明协议层。Gasper 的关键部分就是一套终局性机制(finality mechanism),用于保证交易的持存性(durability)和系统的不间...