文献类型：期刊文章

作　　者：李威翰[1] 张宗洋[1] 周子博[1] 邓燚[2]

LI Wei-Han;ZHANG Zong-Yang;ZHOU Zi-Bo;DENG Yi(School of Cyber Science and Technology,Beihang University,Beijing 100191,China;State Key Laboratory of Information Security,Institute of Information Engineering,Chinese Academy of Sciences,Beijing 100093,China)

机构地区：[1]北京航空航天大学网络空间安全学院,北京100191 [2]中国科学院信息工程研究所信息安全国家重点实验室,北京100093

出　　处：《密码学报》

基　　金：国家重点研发计划(2021YFB3100400);北京市自然科学基金(M22038,M21033,4202037);国家自然科学基金(61972017,61972018,72031001,61932019,61772521,61772522);中国科学院前沿科学重点研究计划(QYZDB-SSWSYS035);云南省区块链应用技术重点实验室(培育)开放课题(YNB202101);中央高校基本科研业务费(YWF-22-L-1039)。

年　　份：2022

卷　　号：9

期　　号：3

起止页码：379-447

语　　种：中文

收录情况：CSCD、CSCD2021_2022、IC、JST、RCCSE、SCOPUS、ZGKJHX、普通刊

摘　　要：区块链、隐私计算、人工智能等技术的快速发展,极大地推动了对零知识证明尤其是简洁非交互零知识证明的研究.本文从通用构造方法、底层技术原理、协议性能表现、安全性等角度深入研究了现有的简洁非交互零知识证明.首先,总结了简洁非交互零知识证明的通用构造方法.其次,分别基于信息论安全证明和底层关键技术对现有的简洁非交互零知识证明进行分类并提炼了核心思路,深入分析了典型协议的实现原理.再次,辨析了各类协议的性能表现,探讨其安全性并指出其适用场景.最后,总结了简洁非交互零知识证明的研究热点和发展方向.

关 键 词：零知识证明 简洁非交互  电路可满足性  信息论安全证明  承诺

分 类 号：TP309.7]