区块链智能合约的缺陷检测相关研究

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