简洁非交互零知识证明综述

摘要：

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

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

所属期刊栏目：9

分类号：TP309.7(计算技术、计算机技术)

资助基金：国家重点研发计划;北京市自然科学基金;北京市自然科学基金;北京市自然科学基金;国家自然科学基金;国家自然科学基金;国家自然科学基金;国家自然科学基金;国家自然科学基金;国家自然科学基金;中国科学院前沿科学重点研究计划项目;云南省区块链应用技术重点实验室培育开放课题;中央高校基本科研业务费

在线出版日期：2022-07-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共69页

页码：379-447