零知识证明和伪随机性是两个紧密联系的研究课题,它们在密码学领域有着非常广泛的应用和深远的影响。本项主要围绕这两个课题中的一些基础性问题展开研究。在零知识方面,我们将沿着我们之前在Goldreich等人提出的双重可重置猜想上的第一个进展[Eurocrypt'2007]对此猜想展开更深入的研究,如,对于实例依赖的WI我们能否突破弱重置合理性这一瓶颈,这一猜想与公开掷币并发零知识论证系统存在性之间的关系,以及能否在具有较弱初始假设的模型(如纯公钥模型)证实它,另外,我们还将研究纯公钥模型中只依赖多项式时间困难性假设的可重置零知识论证系统是否能完全地以黑盒方式来构造。在伪随机性方面,我们将在一些普通的困难假设下考虑证据不可区分证明系统(WI)以及一些其他密码方案的去随机化问题,构造具有密钥依赖安全性(key-dependent-input security)的伪随机函数及探讨他们在加密方案中的应用
英文主题词zero knowledge; interactive proofs/arguments; pseudorandom functions; derandomization.