一种基于拜占庭容错的PoS共识协议形式化分析方法

摘要

区块链共识协议是一种确保区块链网络中不同节点的数据达成一致的重要机制,随着区块链应用的爆发性增长,针对区块链共识协议的攻击不断出现.文章提出一种基于拜占庭容错的PoS共识协议形式化分析方法,通过归纳建模共识节点整体状态迁移解决协议模型状态空间爆炸问题,同时结合实际安全威胁形式化建模信道模型和攻击者模型,根据协议一致性要求形式化描述两大类安全属性并进行形式化验证.实验结果表明,该类协议具有拜占庭容错能力.最后,文章分析了针对0确认交易的双花攻击所需的条件,并提出防护方法.