基于纳什均衡的智能合约缺陷检测

摘要：

本文研究区块链智能合约的缺陷检测问题,即检测合约中是否存在部分合约方无论选择什么动作,均无法避免损失的状态.将智能合约问题转换成合约状态迁移图上的博弈策略选择问题,提出了基于纳什均衡理论的合约缺陷自动检测方法,以及为了提高检测效率,提出了针对合约状态变迁图和博弈策略形式的一系列化简方法.最后,实现了一个智能合约建模、分析和部署工具.针对一组真实合同的实验表明,该工具能自动发现部分合同缺陷,化简方法提升缺陷检测效率的效果明显.

关键词：智能合约、纳什均衡、缺陷检测、区块链、博弈论

所属期刊栏目：44

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

资助基金：本课题得到国家自然科学基金;贵州财经大学与商务部国际贸易经济合作研究院联合基金

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

页数：共15页

页码：147-161