[发明专利]一种智能合约的发布方法、发布平台装置及发布系统

权利要求书

1.一种智能合约的发布方法，其特征在于，包括以下步骤：

解析一待发布的智能合约的第一可执行程序，以得到所述第一可执行程序的当前执行逻辑；其中，所述解析一待发布智能合约的第一可执行程序，以得到所述第一可执行程序的当前执行逻辑的步骤包括：反汇编所述第一可执行程序以获得描述所述智能合约执行过程的控制关系和数据关系；其中，所述控制关系和数据关系用于描述所述当前执行逻辑，且包含基于调用外部节点的资源而产生的逻辑关系；

基于预设的安全逻辑描述规则修复所述执行逻辑中安全漏洞，以得到修复后的第二可执行程序；其中，所述安全逻辑描述规则包含依据调用外部节点的资源而执行智能合约时的安全执行逻辑；所述预设的安全逻辑描述规则包括以下至少一种：状态变量改变指令位于外部调用指令之前、对越界操作添加检查指令、和对外部调用添加检查指令；

将所述第二可执行程序发布至区块链网络中；其中，在执行发布步骤之前，还基于所述当前执行逻辑中的可信部分，验证所述第二可执行程序。

2.根据权利要求1所述的智能合约的发布方法，其特征在于，所述当前执行逻辑藉由结构图来描述。

3.根据权利要求1所述的智能合约的发布方法，其特征在于，所述安全漏洞包括以下至少一种：状态变量改变指令位于外部调用指令之后、缺少对越界操作的检查指令、和缺少对外部调用的检查指令。

4.根据权利要求1所述的智能合约的发布方法，其特征在于，所述基于预设的安全逻辑描述规则修复所述当前执行逻辑中安全漏洞，以得到修复后的第二可执行程序的步骤包括：

检查所述当前执行逻辑中外部资源调用与状态变量更新之间的控制关系；

基于检查结果并按照相应的安全逻辑描述规则，调整所述外部资源调用与状态变量更新之间控制顺序，以得到修复后的第二可执行程序。

5.根据权利要求1所述的智能合约的发布方法，其特征在于，所述基于预设的安全逻辑描述规则修复所述当前执行逻辑中安全漏洞，以得到修复后的第二可执行程序的步骤包括：

检查所述当前执行逻辑中基于外部资源调用而产生的数据关系；

基于检查结果并按照相应的安全逻辑描述规则，补充对所调用的外部资源的数据合法性检查机制，以得到修复后的第二可执行程序。

6.根据权利要求1所述的智能合约的发布方法，其特征在于，所述基于预设的安全逻辑描述规则修复所述当前执行逻辑中安全漏洞，以得到修复后的第二可执行程序的步骤包括：

检查所述当前执行逻辑中对所调用的外部资源的执行结果的控制关系和/或数据关系；

基于检查结果并按照相应的安全逻辑描述规则，补充对所述执行结果的异常处理机制，以得到修复后的第二可执行程序。

7.根据权利要求1-6中任一所述的智能合约的发布方法，其特征在于，所述基于预设的安全逻辑描述规则修复所述当前执行逻辑中安全漏洞，以得到修复后的第二可执行程序的步骤包括：

根据所述安全逻辑描述规则将解析所述第一可执行程序而得到的中间代码中的安全漏洞进行重写操作；

将重写后的中间代码转译成第二可执行程序。

8.根据权利要求7所述的智能合约的发布方法，其特征在于，在执行转译步骤之前，还包括以下步骤：基于所述当前执行逻辑中的可信部分，验证重写后的中间代码。

9.根据权利要求1所述的智能合约的发布方法，其特征在于，还包括：更新所述安全逻辑描述规则的步骤。

10.一种智能合约的发布平台装置，其特征在于，包括：

接口装置，用于接收智能合约的第一可执行程序，以及将所述第一可执行程序修复后的第二可执行程序发布到区块链网络中；

存储装置，用于存储至少一个程序；

处理装置，与所述存储装置和接口装置相连，用于调用并执行所述至少一个程序，以协调所述接口装置和存储装置执行如权利要求1-9中任一所述的智能合约的发布方法。