期刊文献+

NP问题的3轮零知识证明系统的存在性 被引量:1

原文传递
导出
摘要 研究NP问题的3轮零知识证明的存在性.O.Goldreich与H.Krawczyk在1996年证明BBP以外的语言不存在(欺骗概率可忽略的)3轮黑箱模拟零知识协议,但是否存在3轮非黑箱模拟零知识证明仍然是一个尚未解决的问题.采用一种新的交互证明模式,在标准的DDH假设下,对图的3着色问题构造了一个3轮零知识证明.由于对零知识性的证明采用了一种特殊的方法,文中的协议实际上是非黑箱模拟意义下的零知识证明,从而证明了在DDH假设下,所有的NP语言都有3轮零知识证明系统.
作者 李红达 李宝
出处 《中国科学(E辑)》 CSCD 北大核心 2007年第12期1521-1530,共10页 Science in China(Series E)
基金 国家自然科学基金资助项目(批准号:60573052 90304013)
  • 相关文献

参考文献21

  • 1Goldwasser S,Micali S,Rackoff C.The knowledge complexity of interactive proof systems.SIAM J Comput,1989,18(1):186-208.
  • 2Goldreich O,Micali S,Wigderson A.Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems.J ACM,1991,38(3):691-729.
  • 3Feige U,Shamir A.Zero knowledge proofs of knowledge in two rounds.In:Proceedings of CRYPTO'89.Berlin:Springer-Verlag,1989.526-545.
  • 4Brassard G,Crepeau C,Yuong M.Everything in NP can be argued in perfect zero-knowledge in a bounded number of rounds.In:Proceedings of EUROCRYPT'89.Berlin:Springer-Verlag,1989.192-195.
  • 5Brassard G,Crepeau C,Yung M.Constant-round perfect zero-knowledge computationally convincing protocols.Theor Comput Sci,1991,(84):23-54.
  • 6Goldreich O,Kahan A.How to construct constant-round zero-knowledge proof system for NP.J Cryptology,1996,9(3):167-189.
  • 7Prabhakaran M,Rosen A,Sahai A.Concurrent zero knowledge with logarithmic round-complexity.In:Proceedings of 43rd FOCS.Vancouver:IEEE Computer Society,2002.366-375.
  • 8Rosen A.A note on constant-round zero-knowledge proofs for NP.In:Proceedings of the 1st Theory of Cryptography Conference(TCC),LNCS 2951.New York:Springer-Verlag,2004.191-202.
  • 9Goldreich O,Oren Y.Definitions and properties of zero-knowledge proof systems.J Cryptology,1994,7(1):1-32.
  • 10Bellare M,Yung M.Certifying permutations:Non-interactive zero-knowledge based on any trapdoor permutation.J Cryptology,1996,9(1):149-166.

同被引文献5

引证文献1

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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