[发明专利]一种区块链智能合约的仿真检查方法及装置

说明书

本发明提供了一种区块链智能合约的仿真检查方法及装置，该方法，包括：预先建立区块链智能合约的检查环境；在所述检查环境中设置智能合约加载入口和检查规则加载入口；通过所述检查规则加载入口向所述检查环境中加载检查规则；通过所述智能合约加载入口向所述检查环境中加载待检查的智能合约；在所述检查环境中根据所述检查规则和所述待检查的智能合约进行仿真运行，利用所述检查规则对所述待检查的智能合约进行检查。本发明提供了一种区块链智能合约的仿真检查方法及装置，能够更加高效的进行智能合约的检查。

技术领域

本发明涉及区块链技术领域，特别涉及一种区块链智能合约的仿真检查方法及装置。

背景技术

智能合约是区块链技术的一个重要环节，为了使得智能合约能够在区块链中高效运行，在使用智能合约之前需要对智能合约进行检查。在现有技术中，对智能合约的检查主要是通过人工的方式进行，检查效率较低。

发明内容

本发明实施例提供了一种区块链智能合约的仿真检查方法及装置，能够更加高效的进行智能合约的检查。

一方面，本发明实施例提供了一种区块链智能合约的仿真检查方法，包括：

预先建立区块链智能合约的检查环境；

在所述检查环境中设置智能合约加载入口和检查规则加载入口；

通过所述检查规则加载入口向所述检查环境中加载检查规则；

通过所述智能合约加载入口向所述检查环境中加载待检查的智能合约；

在所述检查环境中根据所述检查规则和所述待检查的智能合约进行仿真运行，利用所述检查规则对所述待检查的智能合约进行检查。

优选地，

该方法进一步包括：

根据区块链智能合约的语法要求，生成语法检查规则；

所述通过所述检查规则加载入口向所述检查环境中加载检查规则，包括：

通过所述检查规则加载入口向所述检查环境中所述语法检查规则；

所述在所述检查环境中根据所述检查规则和所述待检查的智能合约进行仿真运行，利用所述检查规则对所述待检查的智能合约进行检查，包括：

在所述检查环境中根据所述语法检查规则和所述待检查的智能合约进行仿真运行，利用所述语法检查规则，判断所述待检查的智能合约是否智能合约的语法要求。

优选地，

该方法进一步包括：

根据针对区块链智能合约的量化规定，生成量化检查规则；

所述通过所述检查规则加载入口向所述检查环境中加载检查规则，包括：

通过所述检查规则加载入口向所述检查环境中加载所述量化检查规则；

所述在所述检查环境中根据所述检查规则和所述待检查的智能合约进行仿真运行，利用所述检查规则对所述待检查的智能合约进行检查，包括：

在所述检查环境中根据所述量化检查规则和所述待检查的智能合约进行仿真运行，利用所述量化检查规则，判断所述待检查的智能合约是否针对区块链智能合约的量化规定。

优选地，

所述针对区块链智能合约的量化规定，包括：针对区块链智能合约的国家法律中的可量化内容、针对区块链智能合约的行业法规中的可量化内容、针对区块链智能合约的企业规定中的可量化内容。

优选地，

该方法进一步包括：