异步环境中零知识证明系统的研究

零知识证明在当代密码学中处于一个极为重要的基础性地位。自从它诞生以来，特别在是Goldreich等人证明任何NP语言都有一个关于其成员问题的计算零知识证明以后，零知识证明便成了密码学中的一个重要而有力的工具。它广泛地应用在密码协议的设计中。随着互联网的普及以及基于互联网的大规模商业应用，研究和设计在这种异步环境下保持安全性的零知识证明系统便显得尤为重要。本项目主要研究在互联网这种异步的环境中零知识协议的安全性，如并发零知识性，并发非扩展零知识性和可重置零知识性。特别地，本项目将研究在一些弱模型（例如纯公钥模型，计数器模型等）中使用新的密码原子构造具有强安全性的零知识证明系统的方法，研究相应模型中如何降低系统所需的密码学假设以及高效实现问题，此外，我们还将研究标准模型（不含任何初始设置假设）及其变体中的并发零知识证明的存在性，探索新的能构造实用系统的黑盒模拟技术。