-
题名简洁非交互零知识证明综述
被引量：18
- 1
-
-
作者
李威翰
张宗洋
周子博
邓燚
-
机构
北京航空航天大学网络空间安全学院
中国科学院信息工程研究所信息安全国家重点实验室
-
出处
《密码学报》
CSCD
2022年第3期379-447,共69页
-
基金
国家重点研发计划(2021YFB3100400)
北京市自然科学基金(M22038,M21033,4202037)
+3 种基金
国家自然科学基金(61972017,61972018,72031001,61932019,61772521,61772522)
中国科学院前沿科学重点研究计划(QYZDB-SSWSYS035)
云南省区块链应用技术重点实验室(培育)开放课题(YNB202101)
中央高校基本科研业务费(YWF-22-L-1039)。
-
文摘
区块链、隐私计算、人工智能等技术的快速发展,极大地推动了对零知识证明尤其是简洁非交互零知识证明的研究.本文从通用构造方法、底层技术原理、协议性能表现、安全性等角度深入研究了现有的简洁非交互零知识证明.首先,总结了简洁非交互零知识证明的通用构造方法.其次,分别基于信息论安全证明和底层关键技术对现有的简洁非交互零知识证明进行分类并提炼了核心思路,深入分析了典型协议的实现原理.再次,辨析了各类协议的性能表现,探讨其安全性并指出其适用场景.最后,总结了简洁非交互零知识证明的研究热点和发展方向.
-
关键词
零知识证明
简洁非交互
电路可满足性
信息论安全证明
承诺
-
Keywords
zero-knowledge proof
succinct and non-interactive
circuit satisfiability
informationtheoretic proof
commitment
-
分类号
TP309.7
[自动化与计算机技术—计算机系统结构]
-
