A Formal Analysis Method of PoS Consensus Protocol Based on Byzantine Fault Tolerance

CHEN Kaijie, XIONG Yan, HUANG Wenchao, WU Jianshuang

Netinfo Security . 2021, (8): 35 -42 . DOI: 10.3969/j.issn.1671-1122.2021.08.005