一种零知识证明分割电路及信息验证方法技术

本发明专利技术属于数据保护技术领域，具体涉及一种零知识证明分割电路及采用该零知识分割电路验证信息的方法。一种零知识证明分割电路，包括由zk

【技术实现步骤摘要】
一种零知识证明分割电路及信息验证方法


[0001]本专利技术属于数据保护
，具体涉及一种零知识证明分割电路及采用该零知识分割电路验证信息的方法。

技术介绍

[0002]零知识证明指的是证明者能够在不向验证者提供任何有用的信息的情况下，使验证者相信某个论断是正确的。它带来了一种隐私解决方案，使证明者能够说服验证者对一系列语句进行验证，而不泄露必要信息。例如，一个人可以通过证明身份或生物信息满足特定的访问规则来证明他/她有进入房间的权限，同时保持用户信息的私密性。在基于零知识证明的区块链应用中，存在许多隐私保护技术，特别是在金融领域，如Zerocash(零币)、去中心化匿名支付、BlockMaze。这些应用程序可以在不消除区块链带来的透明度的情况下，保护信息(如发送方和接收方的身份、传输金额)不被泄露。除金融外，零知识证明还广泛应用于去中心化文件系统、智能电网、交通管理、COVID
‑
19接触者追踪等应用。
[0003]zk
‑
SNARK(简洁非交互式零知识证明)是一种主流的零知识证明电路。如图1所本文档来自技高网...

【技术保护点】

【技术特征摘要】
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
对图进行...

【专利技术属性】
技术研发人员：徐明辉，齐划一，程业，于东晓，成秀珍，
申请(专利权)人：山东大学，
类型：发明
国别省市：