一种任务证明方法、装置、任务执行方法、设备及存储介质与流程

本发明实施例涉及信息安全，特别涉及一种任务证明方法、装置、任务执行方法、设备及存储介质。

背景技术：

1、在信息安全技术领域，为了解决计算能力弱的设备难以完成较为复杂的计算量大的计算任务，通常将复杂的计算量较大的计算任务外包给更强大的计算服务，如云计算。然而，更强大的计算服务的可信度较低，容易出现在不执行该计算任务的情况下，返回看似合理的计算结果。现有技术中，为了验证计算结果的有效性，可通过零知识证明的方式验证计算任务的有效性。然而，对于计算结果是不确定的、包含大量参数的计算任务来讲，使用零知识证明验证计算任务时，生成的证明和验证过程需要耗费大量的时间，从而使得证明计算任务被执行的效率较低。

技术实现思路

1、本发明的目的在于至少提供一种任务证明方法、装置、任务执行方法、设备及存储介质，至少可以解决生成证明和验证过程需耗费大量时间的问题，至少可以达到提高证明计算任务被执行的效率的技术效果。

2、为解决上述技术问题，本技术的至少一个实施例提供了一种任务证明方法，适用于第一服务器，所述第一服务器是指受信任的服务器，包括：将待执行计算任务分割为多个子任务；

3、基于预设的任务选取规则从所述多个子任务中选取至少一个子目标任务；基于所述至少一个子目标任务，生成与所述至少一个子目标任务对应的至少一个算术电路、至少一个证明密钥和至少一个验证密钥；将所述待执行计算任务、所述至少一个证明密钥以及所述至少一个算术电路发送至第二服务器，接收所述第二服务器返回的计算结果和证明结果，其中，所述第二服务器是指不受信任的服务器；基于所述至少一个验证密钥、所述至少一个算术电路、所述证明结果及所述计算结果证明所述待执行计算任务的有效性。

4、本技术的至少一个实施例还提供了一种任务执行方法，适用于第二服务器，所述第二服务器是指不受信任的，计算能力强的服务器，包括：接收第一服务器发送的待执行计算任务、至少一个证明密钥以及至少一个算术电路；执行所述待执行计算任务得到计算结果；基于所述至少一个证明密钥以及所述至少一个算术电路生成至少一个子证明结果；基于预设的第二递归电路对所述证明密钥和所述至少一个子证明结果进行处理，得到证明结果；将所述计算结果和所述证明结果发送至所述第一服务器。

5、本技术的至少一个实施例还提供了一种任务证明装置，适用于第一服务器，所述第一服务器是指受信任的服务器，包括：分割模块，用于将待执行计算任务分割为多个子任务；选取模块，用于基于预设的任务选取规则从所述多个子任务中选取至少一个子目标任务；生成模块，用于基于所述至少一个子目标任务，生成与所述至少一个子目标任务对应的至少一个算术电路、至少一个证明密钥和至少一个验证密钥；接收模块，用于将所述待执行计算任务、所述至少一个证明密钥以及所述至少一个算术电路发送至第二服务器，接收所述第二服务器返回的计算结果和证明结果，其中，所述第二服务器是指不受信任的服务器；证明模块，用于基于所述至少一个验证密钥、所述至少一个算术电路、所述证明结果及所述计算结果证明所述待执行计算任务的有效性。

6、本技术的至少一个实施例还提供了一种电子设备，包括：至少一个处理器；以及，与所述至少一个处理器通信连接的存储器；其中，所述存储器存储有可被所述至少一个处理器执行的指令，所述指令被所述至少一个处理器执行，以使所述至少一个处理器能够执行上述的任务证明方法或任务执行方法。

7、本技术的至少一个实施例还提供了一种计算机可读存储介质，存储有计算机程序，所述计算机程序被处理器执行时实现上述的任务证明方法或任务执行方法。

8、本技术的实施例提供的任务证明方法、装置、任务执行方法、设备及存储介质，通过将待执行计算任务分割为多个子任务；基于预设的任务选取规则从所述多个子任务中选取至少一个子目标任务；基于所述至少一个子目标任务，生成与所述至少一个子目标任务对应的至少一个算术电路、至少一个证明密钥和至少一个验证密钥；将所述待执行计算任务、所述至少一个证明密钥以及所述至少一个算术电路发送至第二服务器，接收所述第二服务器返回的计算结果和证明结果，其中，所述第二服务器是指不受信任的服务器；基于所述至少一个验证密钥、所述至少一个算术电路、所述证明结果及所述计算结果证明所述待执行计算任务的有效性。通过验证部分子任务的有效性来证明任务的有效性，因此，无需对任务的所有过程均生成证明和验证过程，节省了生成证明和验证过程的时间，提高了证明计算任务被执行的效率。

9、在一些可选的实施例中，所述基于预设的任务选取规则从所述多个子任务中选取至少一个子目标任务，包括：从所述多个子任务中选取符合预设的任务选取规则的多个子重要计算任务；从所述多个子重要计算任务中，随机选取部分子重要计算任务作为至少一个子目标任务，其中，至少一个子目标任务的个数不超过所述多个子重要计算任务的个数。利用随机选取的子任务作为子目标任务，避免执行计算任务的第二服务器（不受信任的一方）能够猜中第一服务器可能验证的子任务，保证第二服务器需通过执行完成整个计算任务来保证第一服务器随机选取任一子任务均能通过验证，提高了验证结果的可信度。

10、在一些可选的实施例中，若子任务的任务计算量超过计算阈值和/或子任务中包含预设函数，则视为所述子任务符合预设的任务选取规则。通过从任务计算量大的子任务，或包含预设函数的子任务中随机选取出重要性高的子任务作为验证任务，提高了验证结果的可信度以及准确性。

11、在一些可选的实施例中，所述基于所述至少一个子目标任务，生成与所述至少一个子目标任务对应的至少一个算术电路、至少一个证明密钥和至少一个验证密钥，包括：基于所述至少一个子目标任务，生成与所述至少一个子目标任务对应的至少一个算术电路；基于所述至少一个算术电路，生成与所述至少一个子目标任务对应的至少一个证明密钥和至少一个验证密钥。为每个子目标任务都生成专用的证明密钥和验证密钥，保证了验证子目标任务的验证过程的安全性以及验证结果的准确性。

12、在一些可选的实施例中，所述基于所述至少一个验证密钥、所述至少一个算术电路、所述证明结果及所述计算结果证明所述待执行计算任务的有效性，包括：基于所述至少一个验证密钥以及至少一个算术电路生成至少一个子验证结果；基于预设的第一递归电路对所述验证密钥和所述至少一个子验证结果进行处理，得到验证结果；若所述验证结果与所述证明结果相同，则证明所述待执行计算任务有效。基于验证计算任务中的部分任务来确定该计算任务的有效，既节省了验证资源，又节省了验证时间。

13、在一些可选的实施例中，在所述基于所述至少一个验证密钥、所述至少一个算术电路、所述证明结果及所述计算结果证明所述待执行计算任务的有效性之后，所述方法还包括：若所述计算结果有效，则将所述计算结果发送至客户端进行展示；若所述计算结果无效，则将计算结果无效的提示信息发送至所述客户端。将有效的计算任务的计算结果展示给客户端，避免展示无效的计算结果，节省了传输资源和展示资源。

14、在一些可选的实施例中，一种任务执行方法，其特征在于，适用于第二服务器，所述第二服务器是指不受信任的，计算能力强的服务器，包括：接收第一服务器发送的待执行计算任务、至少一个证明密钥以及至少一个算术电路；执行所述待执行计算任务得到计算结果；基于所述至少一个证明密钥以及所述至少一个算术电路生成至少一个子证明结果；基于预设的第二递归电路对所述证明密钥和所述至少一个子证明结果进行处理，得到证明结果；将所述计算结果和所述证明结果发送至所述第一服务器。通过计算能力强的服务器执行计算任务，降低了对第一服务器的计算要求，较好的利用了服务器资源。