Gasper
-
形式化验证 Gasper 共识机制的终局性
Gasper 是一个由信标链协议(即将到来的以太坊 2.0 网络的底层协议)实现的抽象的权益证明协议层。Gasper 的关键部分就是一套终局性机制(finality mechani…
-
信标链的核心:Gasper 共识机制的形式化验证
Gasper是一个抽象的权益证明协议层,由信标链协议实现,信标链协议是即将到来的以太坊2.0网络的底层协议。Gasper的一个关键组件是一个终结性机制(finality mecha…