证明链和分解制造技术

在本文中公开了用于使用证明链来生成和链接零知识证明(“ZKP”)的系统、方法以及计算机程序产品实施例。可以将证明划分成不同分量，以使用链式证明系统以串行和/或并行方式分析数据。证明系统可以生成哈希值，该哈希值指示特定函数被应用于基础数据的实例。哈希值可以证实特定函数被应用于基础数据的实例。使用证明链配置，数据供应系统可以生成ZKP，该ZKP允许数据请求系统在不需要接收基础数据的情况下信任函数结果。

【技术实现步骤摘要】
【国外来华专利技术】证明链和分解
本公开总体上涉及密码学、零知识证明(“ZKP”)以及区块链技术。
技术介绍
当在各方之间交换信息或数据时，出现了关于是否可以信任所交换的信息的问题。接收所交换的信息的一方可以询问接收到的信息是否真实。例如，接收信息的这一方可能希望验证接收到的信息是否准确以及验证发送方是否尚未编制假信息。另外，在接收之前，接收方可能希望验证第三方是否尚未篡改接收到的信息。在一些情况下，发送方可能希望在不暴露用于生成信息的私有基础数据的情况下将信息递送给接收方。例如，发送方可能希望报告平均温度测量，但可能不希望暴露来自每个温度传感器的各个传感器测量。以这种方式，发送方可能希望使用如下机制：证实发送给接收方的所报告的平均温度测量使用了所有传感器测量并且还应用了用于计算平均值的适当公式。一种在验证准确性的同时确保隐私的方式是使用ZKP。换言之，一方可以对其想要保持机密的数据计算函数，并且与另一方共享该函数的结果。ZKP允许一方在不必共享数据本身的情况下验证函数是否适当地应用于数据。这允许另一方在不知道基础数据的情况下验证函数的完整性和结果本文档来自技高网...

【技术保护点】
1.一种计算机实现的方法，所述方法包括：/n接收基于第一基础数据生成的第一函数结果；/n接收第一证明，所述第一证明在不需要显露所述第一基础数据的情况下验证所述第一函数结果的准确性；/n接收第一值，其中从使用所述第一函数结果执行的单向密码操作、使用所述第一函数结果执行的双向加密操作以及使用所述第一函数结果执行的多向加密操作中的至少一个导出所述第一值；/n至少部分地基于所述第一函数结果和第二基础数据来评估第二函数结果；/n使用另一单向密码操作、另一双向加密操作以及多向加密操作中的至少一个，基于所述第二函数结果来生成第二值；/n基于所述第二值来生成第二证明，使得所述第二证明能够在不需要显露所述第二基...

【技术特征摘要】
【国外来华专利技术】20180119 US 62/619,660;20180228 US 62/636,4021.一种计算机实现的方法，所述方法包括：
接收基于第一基础数据生成的第一函数结果；
接收第一证明，所述第一证明在不需要显露所述第一基础数据的情况下验证所述第一函数结果的准确性；
接收第一值，其中从使用所述第一函数结果执行的单向密码操作、使用所述第一函数结果执行的双向加密操作以及使用所述第一函数结果执行的多向加密操作中的至少一个导出所述第一值；
至少部分地基于所述第一函数结果和第二基础数据来评估第二函数结果；
使用另一单向密码操作、另一双向加密操作以及多向加密操作中的至少一个，基于所述第二函数结果来生成第二值；
基于所述第二值来生成第二证明，使得所述第二证明能够在不需要显露所述第二基础数据的情况下验证所述第二函数结果的准确性；以及
发布所述第二证明和所述第二值。


2.根据权利要求1所述的计算机实现的方法，其中，评估所述第二函数结果进一步包括：
将可变业务逻辑函数应用于所述第一函数结果和所述第二基础数据。


3.根据权利要求1所述的计算机实现的方法，其中，所述第一函数结果是进位数据，以及其中，所述第二函数结果是基于所述第二基础数据的所述进位数据的更新版本。


4.根据权利要求1所述的计算机实现的方法，其中，所述第一值和所述第二值是粘合值。


5.根据权利要求4所述的计算机实现的方法，进一步包括：
使用所述粘合值来迭代地验证所述第一证明和所述第二证明。


6.根据权利要求1所述的计算机实现的方法，进一步包括：
与生成所述第二证明并行地生成第三证明，其中所述第三证明基于从第三基础数据生成的第三函数结果。


7.根据权利要求6所述的计算机实现的方法，进一步包括：
在预处理步骤中准备见证，以使得所述第二证明和所述第三证明能够并行地生成。


8.根据权利要求1所述的计算机实现的方法，其中，所述发布进一步包括：
向区块链发布所述第二证明和所述第二值。


9.一种系统，包括：
存储器；以及
至少一个处理器，所述至少一个处理器被耦合至所述存储器并且配置为：
接收基于第一基础数据生成的第一函数结果；
接收第一证明，所述第一证明在不需要显露所述第一基础数据的情况下验证所述第一函数结果的准确性；
接收第一值，其中从使用所述第一函数结果执行的单向密码操作、使用所述第一函数结果执行的双向加密操作以及使用所述第一函数结果执行的多向加密操作中的至少一个导出所述第一值；
至少部分地基于所述第一函数结果和第二基础数据来评估第二函数结果；
使用另一单向密码操作、另一双向加密操作以及另一多向加密操作中的至少一个，基于所述第二函数结果来生成第二值；
基于所述第二值来生成第二证明，使得所述第二证明能够在不需要显露所述第二基础数据的情况下验证所述第二函数结果的准确性；以及...

【专利技术属性】
技术研发人员：雅科夫·居尔坎，沙哈夫·纳可森，丹尼尔·麦索德·贝纳罗什盖纳，阿维夫·祖海尔，乔纳森·苏尔鲁姆·鲁阿什，
申请(专利权)人：QEDIT系统有限公司，
类型：发明
国别省市：以色列;IL