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

摘要

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