基于模型检测的区块链智能合约公平性形式化验证

摘要：

随着第二代区块链平台及应用的爆发式增长,作为部署在区块链上可执行代码的智能合约面临越来越多的安全性问题.但是目前针对智能合约安全性问题的研究大多集中在对安全漏洞的挖掘,很少关注智能合约本身公平性对安全性的影响,对此提出一种基于模型检测的智能合约公平性验证方法.采用该方法对Puzzle合约的公平性进行验证,找到了一个已知的交易顺序依赖漏洞.结果表明提出的方法可以为发现智能合约中存在的漏洞提供新的思路.

关键词：智能合约、形式化方法、模型检测、交易顺序依赖漏洞

所属期刊栏目：38

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

资助基金：国家自然科学基金;国家自然科学基金;江西省主要学科学术;技术带头人计划项目;江西省研究生创新专项;江西省青年科学基金

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

页数：共9页

页码：52-60