[发明专利]区块链智能合约的逻辑验证方法和装置及计算机存储介质

说明书

本发明涉及区块链智能合约的逻辑验证方法和装置及计算机存储介质。该方法包括：对区块链应用的智能合约集合进行解析来生成关系图谱，关系图谱包括智能合约集合中的所有公共函数、变量以及它们之间的调用关系；基于关系图谱构造多种类型的逻辑链；在模拟的区块链网络上对所构造的逻辑链进行仿真；以及记录仿真的执行日志，来验证智能合约集合的逻辑正确性。根据本发明的方法和装置可以收集并分析智能合约的函数执行日志，以便发现逻辑错误。

技术领域

本发明涉及区块链领域，更具体地涉及一种区块链智能合约的逻辑验证方法和装置及计算机存储介质。

背景技术

近来区块链(blockchain)的相关技术日益普及。之前传统应用的执行都是依赖于一个中心权威的机构，有了区块链技术之后，可以将应用以去中心化的方式执行，不需要中心权威机构就能执行相应的功能。区块链提供了一种不需要信任的网络架构，网络用户在没有信任的前提下就可以执行交易。这种去中心权威的方式依赖于3种技术的应用：用加密方式存储数据；点对点的网络；节点自治所依赖的智能合约。

智能合约是区块链网络上可以自动执行的脚本。智能合约一旦部署在区块链网络上，就不能再修改。最重要的是，一旦部署好了，它内部的公开函数都可以被其他任何人调用。所以最好在发布之前，就能确保智能合约的正确性。

在保证代码正确性方面，传统的方法是使用数学的形式化验证，是基于符号执行的。这种方式从代码推理的角度考虑，分析静态代码的每条可能路径。但是这种方式不太适合区块链的智能合约。相对传统的程序，智能合约的函数可以被其他人无序地调用。另一个特征是智能合约的函数调用过程中，不能保证原子性操作。

基于此，本发明提出了采用动态仿真的方式，来验证智能合约的逻辑正确性的方法和装置。

发明内容

在下文中给出关于本发明的简要概述，以便提供关于本发明的某些方面的基本理解。应当理解，这个概述并不是关于本发明的穷举性概述。它并不是意图确定本发明的关键或重要部分，也不是意图限定本发明的范围。其目的仅仅是以简化的形式给出某些概念，以此作为稍后论述的更详细描述的前序。

本发明的一个主要目的在于，提供了一种区块链智能合约的逻辑验证方法，包括：对区块链应用的智能合约集合进行解析来生成关系图谱，关系图谱包括智能合约集合中的所有公共函数、变量以及它们之间的调用关系；基于关系图谱构造多种类型的逻辑链；在模拟的区块链网络上对所构造的逻辑链进行仿真；以及记录仿真的执行日志，来验证智能合约集合的逻辑正确性。

根据本发明的一个方面，提供一种区块链智能合约的逻辑验证装置，包括：关系图谱生成单元，被配置为对区块链应用的智能合约集合进行解析来生成关系图谱，关系图谱包括智能合约集合中的所有公共函数、变量以及它们之间的调用关系；逻辑链构造单元，被配置为基于关系图谱构造多种类型的逻辑链；逻辑链仿真单元，被配置为在模拟的区块链网络上对所构造的逻辑链进行仿真；以及逻辑正确性验证单元，被配置为记录仿真的执行日志，来验证智能合约集合的逻辑正确性。

另外，本发明的实施例还提供了用于实现上述方法的计算机程序。

此外，本发明的实施例还提供了至少非暂态计算机可读存储介质形式的计算机程序产品，其上记录有用于实现上述方法的计算机程序代码。

通过以下结合附图对本发明的最佳实施例的详细说明，本发明的这些以及其他优点将更加明显。

附图说明

参照下面结合附图对本发明实施例的说明，会更加容易地理解本发明的以上和其它目的、特点和优点。附图中的部件只是为了示出本发明的原理。在附图中，相同的或类似的技术特征或部件将采用相同或类似的附图标记来表示。

图1示出了用于验证区块链智能合约的逻辑正确性的系统框架图；

图2示出了根据本发明的一个实施例的区块链智能合约的逻辑验证方法200的示例性过程的流程图；