期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

NP问题的常数轮知识的零知识证明系统 被引量：1

原文传递
导出
摘要 文中研究在标准复杂性假设下NP问题的常数轮知识的零知识证明系统的存在性问题.利用一种特殊的交互证明模式,在因子分解的困难性假设下,给出了NP问题的一个3轮的知识的零知识证明系统.文中给出的证明系统不仅肯定了NP问题的常数轮知识的零知识证明系统的存在性,同时也是对(NP问题的)3轮零知识证明系统的存在性这一公开问题的一个肯定性答复.
作者 李红达 徐海霞 李宝 冯登国
机构地区 信息安全国家重点实验室 信息安全国家重点实验室
出处 《中国科学：信息科学》 CSCD 2010年第9期1197-1210,共14页 Scientia Sinica(Informationis)
基金 国家重点基础研究发展计划(批准号:2007CB311202,2007CB311201) 国家高技术研究发展计划(批准号:2006AA01Z427) 国家自然科学基金(批准号:60970139)资助项目
关键词 零知识证明 知识的证明 常数轮 NP关系
分类号 TP182 [自动化与计算机技术—控制理论与控制工程]
  • 相关文献

参考文献16

  • 1LI HongDat LI Bao.Existence of 3-round zero-knowledge proof systems for NP[J].Science in China(Series F),2008,51(3):273-282. 被引量：2
  • 2Oded Goldreich,Ariel Kahan.How to construct constant-round zero-knowledge proof systems for NP[J]. Journal of Cryptology . 1996 (3)
  • 3Oded Goldreich,Yair Oren.Definitions and properties of zero-knowledge proof systems[J]. Journal of Cryptology . 1994 (1)
  • 4Bellare M,Goldreich O.On probabilistic versus deterministic provers in the definition of proofs of knowledge. Electron Colloq Computat Complex . 2006
  • 5Barak B,Lindell Y,Vadhan S.Lower bounds for non-black-box zero knowledge. Journal of Computer and System Science . 2006
  • 6Goldreich O,Krawczyk H.On the composition of zero-knowledge proof systems. SIAM Journal on Computing . 1996
  • 7Bellare M,Palacio A.The knowledge-of-exponent assumptions and3-round zero-knowledge protocol. Advances in Cryptology-CRYPTO’04 . 2004
  • 8Barak B,lindell Y.Strict polynomial-time in simulation and extraction. 34th STOC . 2002
  • 9Goldwasser S,Micali S,Rackoff C.The knowledge complexity of interactive proof-systems. SIAM Journal on Computing . 1989
  • 10Goldreich O.Foundations of Cryptography-Basic Tools. . 2001

二级参考文献13

  • 1Mihir Bellare,Moti Yung.Certifying Permutations: Noninteractive zero-knowledge based on any trapdoor permutation[J].Journal of Cryptology.1996(3)
  • 2Oded Goldreich,Ariel Kahan.How to construct constant-round zero-knowledge proof systems for NP[J].Journal of Cryptology.1996(3)
  • 3Oded Goldreich,Yair Oren.Definitions and properties of zero-knowledge proof systems[J].Journal of Cryptology.1994(1)
  • 4Goldwasser S,,Micali S,Rackoff C.The knowledge complexity of interactive proof systems[].SIAM Journal on Computing.1989
  • 5Feige U,Shamir A.Zero knowledge proofs of knowledge in two rounds[].Proceedings of CRYPTO‘.1989
  • 6Brassard G,,Crepeau C,Yuong M.Everything in NP can be argued in perfect zero-knowledge in a bounded number of rounds[].Proceedings of EUROCRYPT‘.1989
  • 7Brassard G,Crepeau C,Yung M.Constant-round perfect zero-knowledge computationally convincing protocols[].Theo Comput Sci.1991
  • 8Prabhakaran M,Rosen A,Sahai A.Concurrent Zero knowledge with logarithmic round-complexity[].rd FOCS.2002
  • 9Rosen A.A note on constant-round zero-knowledge proofs for NP[].First Theory of Cryptography Conference (TCC).2004
  • 10Bellare M,Yung M.Certifying permutations: Non-interactive zero-knowledge based on anu trapdoor permutation[].Journal of Cryptology.1996

共引文献1

同被引文献12

引证文献1

二级引证文献1

中国科学：信息科学
2010年 第9期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部