一种零知识证明分割电路及信息验证方法与流程

技术特征：
1.一种零知识证明分割电路，其特征在于：包括由zk-snark电路分割成的第一执行电路、第二执行电路；所述第一执行电路用于输入待验证信息和证明密钥，获得第一证明；所述第二执行电路用于获得第二证明；所述第一证明、第二证明用于供验证者验证，以实现对待验证信息的验证；其中，第一证明包含隐私中间值；第二证明包含公开输出值；所述公开输出值由第二执行电路根据输入的隐私中间值生成。2.根据权利要求1所述的零知识证明分割电路，其特征在于：与所述第一执行电路连接的第一哈希电路，根据隐私中间值，生成第一哈希值；与所述第二执行电路连接的第二哈希电路，根据输入的隐私中间值生成第二哈希值；通过比较第一哈希值和第二哈希值，验证第一执行电路输出的隐私中间值与输入所述第二执行电路的隐私中间值是否相同。3.根据权利要求1或2所述的零知识证明分割电路，其特征在于：所述zk-snark电路的分割方法包括：将zk-snark电路表示为r1cs结构；选择r1cs结构图中的任意一个源点；边权为1，通过广度优先遍历计算出图中其他各点与该源点的距离；将各点按照距离从小到大进行排序，并依次重新命名为(v1,v2,...,v
n
)，(n为图中所有点的数量)；定义点集a为(v1,v2,...,v
i
)，则a的补集为(v
i 1
,v
i 2
,...,v
n
)，求使得最小的点集a
s
，并围绕点集a
s
对图进行切割成为两部分；其中，σ(a)表示点集a与a的补集之间相连的边的数量，|a|表示点集a的模，表示点集a的补集的模；对分割后的两部分电路分别增加哈希电路，其中包含所选源点的部分为第一执行电路，另一部分为第二执行电路。4.一种信息验证方法，其特征在于，该方法包括：(1)获取预先约定的证明密钥；(2)将用户的待验证信息和证明秘钥输入预设的零知识证明分割电路，获得第一证明和第二证明；(3)将所述第一证明和第二证明发送给验证方，以使所述验证方在不访问所述待验证信息的具体内容的情况下，通过预先约定的验证密钥对第一证明和第二证明进行验证，以实现对所述待验证信息的验证；其中，所述零知识证明分割电路包括第一执行电路和第二执行电路；所述第一执行电路生成第一证明，第二执行电路生成第二证明。5.根据权利要求4所述的信息验证方法，其特征在于，通过预设的加密参数，生成第一证明秘钥和第一验证秘钥；及第二证明秘钥和第二验证秘钥。6.根据权利要求5所述的信息验证方法，其特征在于，将用户的待验证信息和第一证明秘钥输入第一执行电路，获得第一证明，所述第一证明包括隐私中间值和第一哈希值。7.根据权利要求6所述的信息验证方法，其特征在于，将所述隐私中间值和第二证明秘钥输入第二执行电路，获得第二证明，所述第二证明包括第二哈希值和公开输出值。8.根据权利要求7所述的信息验证方法，其特征在于，当第一哈希值等于第二哈希值
时，第一证明和第二证明被验证方验证。9.根据权利要求8所述的信息验证方法，其特征在于，所述验证方通过第一验证密钥验证第一证明；通过第二验证秘钥验证第二证明，当第一证明、第二证明均通过验证时，实现对用户的待验证信息的验证。

技术总结
本发明属于数据保护技术领域，具体涉及一种零知识证明分割电路及采用该零知识分割电路验证信息的方法。一种零知识证明分割电路，包括由zk-SNARK电路分割成的第一执行电路、第二执行电路；所述第一执行电路用于输入待验证信息和证明密钥，获得第一证明；所述第二执行电路用于获得第二证明；所述第一证明、第二证明用于供验证者验证，以实现对待验证信息的验证；其中，第一证明包含隐私中间值；第二证明包含公开输出值；所述公开输出值由第二执行电路根据输入的隐私中间值生成。本发明将zk-SNARKs的电路进行分割，分割后可以显著减少零知识证明Prove阶段的内存占用。增加了哈希电路，用以保证数据的真实性，防止数据被篡改。防止数据被篡改。防止数据被篡改。


技术研发人员：徐明辉 齐划一 程业 于东晓 成秀珍
受保护的技术使用者：山东大学
技术研发日：2021.11.01
技术公布日：2022/2/7