Date:
18 May 2001
On Defining Proofs of Knowledge
 Mihir Bellare,
 Oded Goldreich
 … show all 2 hide
Abstract
The notion of a “proof of knowledge,” suggested by Goldwasser, Micali and Rackoff, has been used in many works as a tool for the construction of cryptographic protocols and other schemes. Yet the commonly cited formalizations of this notion are unsatisfactory and in particular inadequate for some of the applications in which they are used. Consequently, new researchers keep getting misled by existing literature. The purpose of this paper is to indicate the source of these problems and suggest a definition which resolves them.
 D. Beaver, and J. Feigenbaum, “Hiding Instances in Multioracle Queries,” Proc. of the 7th STACS, 1990, pp. 37–48.
 M. Bellare, S. Micali and R. Ostrovsky, “The True Complexity of Statistical ZeroKnowledge,” Proceedings of the 22nd Annual ACM Symposium on the Theory of Computing, ACM (1990), pp. 494–502.
 G. Brassard, D. Chaum, and C. Crépeau, “Minimum Disclosure Proofs of knowledge,” JCSS, Vol. 37, No. 2, 1988, pp. 156–189.
 J. Boyar, C. Lund and R. Peralta, “On the Communication Complexity of ZeroKnowledge Proofs.” 1989.
 G. Brassard, C. Crépeau, S. Laplante and C. Léger, “Computationally Convincing Proofs of Knowledge,” Proc. of the 8th STACS, 1991.
 U. Feige, A. Fiat, and A. Shamir, “ZeroKnowledge Proofs of Identity”, Journal of Cryptology, Vol. 1, 1988, pp. 77–94. CrossRef
 U. Feige, and A. Shamir, “Witness Indistinguishability and Witness Hiding Protocols,” Proceedings of the 22nd Annual ACM Symposium on the Theory of Computing, ACM (1990), pp 416–426.
 Z. Galil, S. Haber, and M. Yung, “Symmetric PublicKey Encryption”, Advances in Cryptology — Crypto85 proceedings, Lecture Notes in Computer Science, Vol. 218, SpringerVerlag, 1986, pp. 128–137. CrossRef
 M. Furer, O. Goldreich, Y. Mansour, M. Sipser, and S. Zachos, “On Completeness and Soundness in Interactive Proof Systems”, Advances in Computing Research: a research annual, Vol. 5 (S. Micali, ed.), pp. 429–442, 1989.
 O. Goldreich, “A UniformComplexity Treatment of Encryption and ZeroKnowledge”, J. of Cryptology, to appear.
 O. Goldreich, and H. Krawczyk, “On Sequential and Parallel Composition of ZeroKnowledge Protocols”, 17th ICALP, Lecture Notes in Computer Science, Vol. 443, SpringerVerlag, 1990, pp. 268–282.
 O. Goldreich, S. Micali, and A. Wigderson, “Proofs that Yields Nothing but Their Validity or All Languages in NP Have ZeroKnowledge Proof Systems”, JACM, Vol. 38, No. 1, July 1991.
 O. Goldreich, and Y. Oren, “Definitions and Properties of ZeroKnowledge Proof Systems”, TR610, Computer Science Dept., Technion, Haifa, Israel. Submitted to Jour of Cryptology.
 S. Goldwasser, S. Micali, and C. Rackoff, “The Knowledge Complexity of Interactive Proof Systems”, SIAM J. on Computing, Vol. 18, No. 1, 1989, pp. 186–208. CrossRef
 S. Haber, “MultiParty Cryptographic Computations: Techniques and Applications”, PhD Dissertation, Computer Science Dept., Columbia University, Nov. 1987.
 Y. Oren, “On the Cunning Power of Cheating Verifiers: Some Observations about ZeroKnowledge Proofs,” Proceedings of the 28th Annual IEEE Symposium on the Foundations of Computer Science, IEEE (1987), pp. 462–471.
 A. Shamir, “IP=PSPACE,” Proceedings of the 31st Annual IEEE Symposium on the Foundations of Computer Science, IEEE (1990), pp. 11–15.
 M. Tompa and H. Woll, “Random SelfReducibility and ZeroKnowledge Interactive Proofs of Possession of Information,” University of California (San Diego) Computer Science and Engineering Dept. Technical Report Number CS92244 (June 1992). (Preliminary version in Proceedings of the 28th Annual IEEE Symposium on the Foundations of Computer Science, IEEE (1987), pp. 472–482.)
 Title
 On Defining Proofs of Knowledge
 Book Title
 Advances in Cryptology — CRYPTO’ 92
 Book Subtitle
 12th Annual International Cryptology Conference Santa Barbara, California, USA August 16–20, 1992 Proceedings
 Book Part
 Session X:
 Pages
 pp 390420
 Copyright
 1993
 DOI
 10.1007/3540480714_28
 Print ISBN
 9783540573401
 Online ISBN
 9783540480716
 Series Title
 Lecture Notes in Computer Science
 Series Volume
 740
 Series ISSN
 03029743
 Publisher
 Springer Berlin Heidelberg
 Copyright Holder
 SpringerVerlag Berlin Heidelberg
 Additional Links
 Topics
 Industry Sectors
 eBook Packages
 Editors

 Ernest F. Brickell ^{(3)}
 Editor Affiliations

 3. Department 1423, Sandia National Laboratories
 Authors

 Mihir Bellare ^{(4)}
 Oded Goldreich ^{(5)}
 Author Affiliations

 4. High Performance Computing and Communications, IBM T.J. Watson Research Center, PO Box 704, Yorktown Heights, NY, 10598, USA
 5. Computer Science Department, Technion, Haifa, Israel
Continue reading...
To view the rest of this content please follow the download PDF link above.