NP问题的3轮零知识证明系统的存在性 |
| |
作者姓名: | 李红达 李宝 |
| |
作者单位: | 中国科学院研究生院信息安全国家重点实验室,北京,100049 |
| |
摘 要: | 研究NP问题的3轮零知识证明的存在性.O.Goldreich与H.Krawczyk在1996年证明BBP以外的语言不存在(欺骗概率可忽略的)3轮黑箱模拟零知识协议,但是否存在3轮非黑箱模拟零知识证明仍然是一个尚未解决的问题.采用一种新的交互证明模式,在标准的DDH假设下,对图的3着色问题构造了一个3轮零知识证明.由于对零知识性的证明采用了一种特殊的方法,文中的协议实际上是非黑箱模拟意义下的零知识证明,从而证明了在DDH假设下,所有的NP语言都有3轮零知识证明系统.
|
关 键 词: | 交互证明 零知识证明 非黑箱模拟 DDH假设 |
收稿时间: | 2006-08-28 |
修稿时间: | 2007-03-07 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|