[发明专利]基于区块链的智能合约逻辑漏洞检测方法及装置

说明书

本申请公开了一种基于区块链的智能合约逻辑漏洞检测方法及装置，涉及区块链领域。该方法包括：确定区块链中智能合约的状态机模型，其中，状态机模型是基于智能合约的目标条款信息和承诺模型生成的模型，其中，承诺模型是由多个承诺信息生成的模型；基于状态机模型结合博弈理论，确定智能合约的纳什均衡，并计算纳什均衡的收益；依据纳什均衡的收益，确定智能合约的逻辑漏洞检测结果。通过本申请，解决了相关技术中采用人工方式检测区块链中的智能合约的逻辑漏洞，导致逻辑漏洞的检测效率较低的问题。

技术领域

本申请涉及区块链领域，具体而言，涉及一种基于区块链的智能合约逻辑漏洞检测方法及装置。

背景技术

智能合约是一套以数字形式定义的承诺，同时也是根据各参与方约定条件自动执行的程序。而且，智能合约是区块链技术实现业务应用的关键，并已广泛应用于贸易物流、金融服务、知识产权、供应链管理等领域。另外，由于区块链智能合约部署后不能修改，所以，若区块链中的智能合约存在漏洞，则将造成难以挽回的巨大损失。因此，区块链智能合约的漏洞检测也成为近年来大家研究的重点方向。而目前相关技术中，区块链智能合约的漏洞研究主要集中在代码层面，比如整型溢出、重入攻击、权限控制等；但对于区块链智能合约的逻辑漏洞的检测研究较少，且区块链智能合约的逻辑漏洞的检测通常由人工进行检测，但是，传统的人工检测方法存在工作量大、效率低下等问题，因此，目前缺乏一种区块链智能合约逻辑漏洞的自动化检测方法。

针对相关技术中采用人工方式检测区块链中的智能合约的逻辑漏洞，导致逻辑漏洞的检测效率较低的问题，目前尚未提出有效的解决方案。

发明内容

本申请的主要目的在于提供一种基于区块链的智能合约逻辑漏洞检测方法及装置，以解决相关技术中采用人工方式检测区块链中的智能合约的逻辑漏洞，导致逻辑漏洞的检测效率较低的问题。

为了实现上述目的，根据本申请的一个方面，提供了一种基于区块链的智能合约逻辑漏洞检测方法。该方法包括：确定区块链中智能合约的状态机模型，其中，所述状态机模型是基于所述智能合约的目标条款信息和承诺模型生成的模型，其中，所述承诺模型是由多个承诺信息生成的模型；基于所述状态机模型结合博弈理论，确定所述智能合约的纳什均衡，并计算所述纳什均衡的收益；依据所述纳什均衡的收益，确定所述智能合约的逻辑漏洞检测结果。

进一步地，基于所述状态机模型结合博弈理论，确定所述智能合约的纳什均衡包括：基于所述智能合约的状态机模型，确定所述智能合约中的参与方的集合；依据所述参与方的集合，确定所述智能合约中每个参与方的策略集合；依据所述每个参与方的策略集合，得到所述智能合约的策略集合的组合；获取所述每个参与方的收益；结合所述博弈理论，依据所述策略集合的组合和所述每个参与方的收益，确定所述智能合约的纳什均衡。

进一步地，在确定智能合约的状态机模型之前，所述方法还包括：获取第一请求报文，其中，所述第一请求报文用于表示上传所述智能合约的请求；解析所述第一请求报文，得到所述目标条款信息；基于所述目标条款信息，并采用所述承诺模型，构建所述智能合约的状态机模型。

进一步地，依据所述纳什均衡的收益，确定所述智能合约的逻辑漏洞检测结果包括：判断所述纳什均衡的收益是否小于或者等于预设值；若所述纳什均衡的收益小于或者等于所述预设值，则确定所述逻辑漏洞检测结果为所述智能合约存在所述逻辑漏洞；若所述纳什均衡的收益大于所述预设值，则确定所述逻辑漏洞检测结果为所述智能合约不存在所述逻辑漏洞。

进一步地，在确定所述逻辑漏洞检测结果为所述智能合约不存在所述逻辑漏洞之后，所述方法还包括：获取所述智能合约的合约源码；将所述合约源码存储在所述区块链的目标节点的目标位置中。