买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：上海致居信息科技有限公司

摘要：本发明提供了一种用于零知识证明的电路合成方法、设备、计算机存储介质和数据存储证明系统。该方法包括，由进行零知识证明的证明单元：基于待证明数据的逻辑电路为所述待证明数据产生一个父约束系统；将所述父约束系统发送给多个处理单元；接收所述多个处理单元并行产生的多个不同的一阶约束系统分量，其中每个一阶约束系统分量包括所述父约束系统和一个子约束系统，所述子约束系统基于所述父约束系统得到；对所述多个不同的一阶约束系统分量进行合并以获得所述一阶约束系统；以及基于所述一阶约束系统构造针对所述待证明数据的零知识证明。

主权项：1.一种用于零知识证明的电路合成方法，包括，由进行零知识证明的证明单元：基于待证明数据的逻辑电路为所述待证明数据产生一个父约束系统，包括：基于所述待证明数据的逻辑电路确定所述一阶约束系统的多个第一类型变量和多个第二类型变量以及所述一阶约束系统的约束个数；基于所述待证明数据的逻辑电路确定所述一阶约束系统的多个约束系数矩阵；以及基于待证明数据的逻辑电路的公共电路部分确定所述父约束系统，其中所述父约束系统对应于所述约束系数矩阵中的至少一个父约束和该至少一个父约束下的第一数量的变量，其中该第一数量的变量是所述多个第一类型变量和多个第二类型变量中的至少一部分；将所述父约束系统发送给多个处理单元；接收所述多个处理单元并行产生的多个不同的一阶约束系统分量，其中每个一阶约束系统分量包括所述父约束系统和一个子约束系统，所述子约束系统基于所述父约束系统得到；对所述多个不同的一阶约束系统分量进行合并以获得所述一阶约束系统；以及基于所述一阶约束系统构造针对所述待证明数据的零知识证明；其中，由多个处理单元中的每个处理单元：从所述证明单元接收所述父约束系统；基于所述约束系数矩阵选择与所述父约束系统中的至少一个父约束不同的至少一个子约束，并且基于所述第一数量的变量在所述至少一个子约束下的取值对所述至少一个子约束进行赋值，以产生一个子约束系统的第一子矩阵；从所述多个第一类型变量和所述多个第二类型变量中选择与所述父约束系统中的第一数量的变量不同的、第二数量的变量，并基于所述约束系数矩阵为所述第二数量的变量进行赋值以产生所述子约束系统的第二子矩阵；以及基于所述父约束系统、所述子约束系统的第一子矩阵和第二子矩阵构成一个一阶约束系统分量。

全文数据：

权利要求：

百度查询： 上海致居信息科技有限公司 电路合成方法、设备、介质和数据存储证明系统