零知识证明的特征

2011年9月23日，DCS中心李红达教授作了关于零知识证明的学术报告。 

零知识协议是密码学中最基础的研究分支之一，是设计密码协议的重要工具。在零知识协议中，由于模拟器所模拟出来的会话和真实会话的不可区分度的不同，零知识协议可以分为完美零知识、统计零知识、计算零知识。根据零知识协议的合理性条件与证明者能力的相关性，零知识协议可以分为零知识证明系统和零知识论证系统两种。此外，零知识协议在并发合成下是否封闭的问题也是零知识证明领域的一个热点问题。 

在报告中，李红达教授首先围绕着计算、统计零知识在单向函数假设下是否存在的问题，介绍了零知识证明与单向函数的关系方面的研究现状。其次，李教授分别介绍了统计零知识证明和计算零知识证明的特征。之后，对照统计零知识证明和计算零知识证明这两种零知识协议，介绍了统计零知识论证系统与计算零知识论证系统的特征；最后，李教授介绍了统计零知识协议在并发合成方面的研究现状。