[发明专利]程序验证方法、装置、计算设备及计算机存储介质

权利要求书

1.一种程序验证方法，其特征在于，所述方法包括：

源节点将程序分发至计算节点；

获取所述计算节点对所述程序的运行结果，其中，所述程序的运行结果中包括所述计算节点在所述程序的至少一个检查点处插入的验证代码的执行结果；

对所述验证代码的执行结果进行验证。

2.如权利要求1所述的方法，其特征在于，所述验证代码为程序代码，所述程序的运行结果中包括所述程序代码的执行结果；

所述对所述验证代码的执行结果进行验证，包括：将所述程序代码的执行结果与所述程序代码的预设结果进行比较验证。

3.如权利要求1所述的方法，其特征在于，所述验证代码为带记忆功能的参数，所述程序的运行结果包括所述参数的记忆功能；

所述对所述验证代码的执行结果进行验证，包括：通过马尔可夫状态转换验证所述参数的记忆功能。

4.如权利要求1所述的方法，其特征在于，所述对所述验证代码的执行结果进行验证，还包括：

如果验证不通过，则进一步通过一仲裁节点进行验证；

如果通过验证，则向所述计算节点发放与所述程序对应的奖励。

5.一种程序验证方法，其特征在于，所述方法包括：

计算节点接收源节点分发的程序；

在所述程序的至少一个检查点处插入的验证代码；

执行所述程序，并将所述程序的运行结果返回至所述源节点以进行验证，其中，所述程序的运行结果包括所述验证代码的执行结果。

6.如权利要求5所述的方法，其特征在于，所述验证代码为带记忆功能的参数或者程序代码，其中，所述参数为堆栈参数，包括程序计数、变量、堆栈深度的其中之一，所述程序代码包括本地散列函数，或非函数的计算。

7.一种程序验证装置，其特征在于，所述装置包括：

程序分发单元，用于将程序分发至计算节点；

结果获取单元，用于获取所述计算节点对所述程序的运行结果，其中，所述程序的运行结果中包括所述计算节点在所述程序的至少一个检查点处插入的验证代码的执行结果；

验证单元，用于对所述验证代码的执行结果进行验证。

8.一种程序验证装置，其特征在于，所述装置包括：

接收单元，用于计算节点接收源节点分发的程序；

插入单元，用于在所述程序的至少一个检查点处插入的验证代码；

执行单元，用于执行所述程序，并将所述程序的运行结果返回至所述源节点以进行验证，其中，所述程序的运行结果包括所述验证代码的执行结果。

9.一种计算设备，其特征在于，包括：处理器、存储器、通信接口和通信总线，所述处理器、所述存储器和所述通信接口通过所述通信总线完成相互间的通信；

所述存储器用于存放至少一可执行指令，所述可执行指令使所述处理器执行根据权利要求1-4中任一项或5-6中任一项所述的程序验证方法的步骤。

10.一种计算机存储介质，其特征在于，所述存储介质中存储有至少一可执行指令，所述可执行指令使处理器执行根据权利要求1-4中任一项或5-6中任一项所述的程序验证方法的步骤。