Abstract
This paper considers the existence of constant-round zero-knowledge proofs of knowledge for NP under standard assumptions. By introducing a new interactive proof model, we construct a 3-round zero-knowledge proof of knowledge system for the NP-relation under the assumption that factoring is intractable. Our construction not only shows the existence of constant-round zero-knowledge proofs of knowledge, but also gives a positive answer to the open problem of the existence of 3-round zero-knowledge proofs for NP.
Similar content being viewed by others
References
Goldwasser S, Micali S, Rackoff C. The knowledge complexity of interactive proof systems. SIAM J Comput, 1989, 18: 186–208
Bellare M, Goldreich O. On defining proofs of knowledge. Advances in Cryptology-CRYPT’92, LNCS, Vol. 740. Berlin: Springer-Verlag, 1992. 390–420
Halevi S, Micali S. More on proofs of knowledge. http://eprint.iacr.org/1998/015
Goldreich O. Foundations of Cryptography-Basic Tools. Cambridge: Cambridge University Press, 2001
Bellare M, Goldreich O. On probabilistic versus deterministic provers in the definition of proofs of knowledge. Electronic Colloquimon Computational Complexity, 2006, 13(136). Available also from http://eprint.iacr.org/2006/359.ps
Barak B, Lindell Y, Vadhan S. Lower bounds for non-black-box zero knowledge. In: 44th Annual IEEE Symposium Foundations of Computer Science. IEEE Computer Society, 2003. 384–393
Barak B, Lindell Y, Vadhan S. Lower bounds for non-black-box zero knowledge. J Comput Sys Sci, 2006, 72: 321–391
Bellare M, Jakobsson M, Yung M. Round-optimal zero-knowledge arguments base on any one-way function. In: EUROCRPT’ 97, LNCS, Vol.1233. Berlin: Spring-Verlag, 1997. 280–305
Feige U, Shamir A. Zero knowledge proofs of knowledge in two rounds. In: Proceedings of CRYPTO’89. Berlin: Springer-Verlag, 1989. 526–545
Goldreich O, Oren Y. Definitions and properties of zero-knowledge proof systems. J Crypt, 1994, 7: 1–32
Goldreich O, Krawczyk H. On the composition of zero-knowledge proof systems. SIAM J Comput, 1996, 25: 169–192
Katz J. Which languages have 4-round zero-knowledge proofs. In: Fifth Theory of Cryptography Conference, LNCS Vol. 4948. Berlin: Spring-Verlag, 2008. 73–88
Goldreich O, Kahan A. How to construct constant-round zero-knowledge proof system for NP. J Crypt, 1996, 9: 167–189
Rosen A. A note on constant-round zero-knowledge proofs for NP. In: First Theory of Cryptography Conference (TCC), LNCS 2951. Berlin: Spring-Verlag, 2004. 191–202
Toshiya I, Kouichi S. On the complexity of constant round ZKIP of possession of knowledge. IEICE Trans Fundam, 1993, E76-A: 31–39
Barak B. How to go beyond the black-box simulation barrier. In: 42th Annual Syposium on Foundation of Computing Science. IEEE Computer Society, 2001. 106–115
Barak B. Non-black-box techniques in cryptography. Thesis for the Ph. D. Degree. Weizmann Institute of Science, 2004, 53–102 (http://www.math.ias.edu/boaz/index.html)
Hada S, Tanaka T. On the existence of 3-round zero-knowledge protocol. http://eprint.iacr.org/1999/009. (Final version of [22])
Bellare M, Palacio A. The knowledge-of-exponent assumptions and 3-round zero-knowledge protocol. http://eprint.iacr.org/2003
Lepinski M. On the existence of 3-round zero-knowledge proofs. Thesis for the Degree of Master, Massachusetts Institute of Technology, 2002. (http://citeseer.ist.psu.edu/lepinski01existence.html)
Barak B, Lindell Y. Strict polynomial-time in simulation and extraction. In: 34th STOC, Montréal, Québec, Canada, 2002. 484–493
Li H D, Li B. The existence of 3-round zero-knowledge proof systems for NP. Sci China Ser F-Inf Sci, 2008, 51: 273–282
Blum M. How to prove a theorem so no one else can claim it. In: Proceedings of the International Congress of Mathematicians, California, USA, 1986. 1444–1451
Naor M. On cryptographic assumptions and challenges. In: Proceedings of Advances in Cryptology-CRYPT’2003, LNCS, Vol. 2729. Berlin: Springer, 2003. 96–109
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Li, H., Xu, H., Li, B. et al. On constant-round zero-knowledge proofs of knowledge for NP-relations. Sci. China Inf. Sci. 53, 788–799 (2010). https://doi.org/10.1007/s11432-010-0071-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11432-010-0071-3