零知识证明递归与复合技术研究综述

• 全文链接
• 请求原文

作   者：

张宗洋;  周子博;  邓燚; 

作者机构：

北京航空航天大学网络空间安全学院;  中国科学院信息工程研究所网络空间安全防御重点实验室; 

关键词：

增量可验证计算方案;  承诺并证明的零知识证明;  递归零知识证明;  内积论证;  零知识证明;  复合零知识证明; 

期刊名称：

计算机学报

i s s n：

0254-4164

年卷期：

2024 年 47 卷 010 期

页   码：

2466-2490

摘   要：

零知识证明作为一种重要的密码学协议,是实现数据安全流通的关键技术之一.其允许证明者向验证者证明某个断言的正确性,而又不泄露任何额外信息.零知识证明所描述的断言可划分成代数断言、非代数断言和复合断言,而递归与复合技术可以极大地提高零知识证明协议的性能并深入拓展其功能,是当前的研究热点.本文系统且全面地研究了零知识证明的递归与复合技术.首先,在针对代数断言的递归零知识证明方面,全面研究了关于内积关系的递归零知识证明协议,并从证明复杂度、通信复杂度、验证复杂度等角度对比分析了基于Pedersen承诺方案的内积论证协议.其次,在针对非代数断言的递归零知识证明方面,全面梳理了增量可验证计算方案与基于电路的证明系统组合这两种主流应用的研究现状,并对比分析了增量可验证计算方案的复杂度、关键技术及实现方案等.然后,在针对复合断言的复合零知识证明方面,从复杂度、启动阶段、关键模块等角度对比分析了承诺并证明的零知识证明协议.最后,给出了零知识证明递归与复合技术的未来研究方向.