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

摘要：

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

关键词：区块链共识协议;拜占庭容错;归纳建模;形式化分析

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金[61972369;国家重点研发计划[2018YFB2100301

在线出版日期：2021-09-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：35-42