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

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