Advertisement

Non-Interactive Zero-Knowledge Proof Systems

  • Alfredo De Santis
  • Silvio Micali
  • Giuseppe Persiano
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 293)

Abstract

The intriguing notion of a Zero-Knowledge Proof System has been introduced by Goldwasser, Micali and Rackoff [GMR] and its wide applicability has been demonstrated by Goldreich, Micali and Wigderson [GMW1]-[GMW2].

Based on complexity theoretic assumptions, Zero-Knowledge Proof Systems exist, provided that
  1. (i)

    The prover and the verifier are allowed to talk back and forth.

     
  2. (ii)

    The verifier is allowed to flip coins whose result the prover cannot see.

     

Blum, Feldman and Micali [BFM] have recently shown that, based on specific complexity theoretic assumption (the computational difficulty of distinguishing products of two primes from those product of three primes), both the requirements (i) and (ii) above are not necessary to the existence of Zero-Knowledge Proof Systems. Instead of (i), it is enough for the prover only to talk and for the verifier only to listen. Instead of (ii), it is enough that both the prover and verifier share a randomly selected string.

We strengthen their result by showing that Non-Interactive Zero-Knowledge Proof Systems exist based on the weaker and well-known assumption that quadratic residuosity is hard.

References

  1. [B]
    M. Blum, Coin Flipping By Telephone, IEEE COMFCON’ 82.Google Scholar
  2. [BC]
    G. Brassard, C. Crepeau, Non Transitive Transfer of Confidence: A Perfect Zero-Knowledge Interactive Protocol for Sat and Beyond, Proceedings of the 27th Symposium on Foundations of Computer Science, 1986.Google Scholar
  3. [BFM]
    M. Blum, P. Feldman, S. Micali, in preparation.Google Scholar
  4. [DMP]
    A. De Santis, S. Micali, G. Persiano, in preparation.Google Scholar
  5. [FMRW]
    M. Fischer, S. Micali, C. Rackoff and D. Witenberg, A Secure Protocol for the Oblivious Transfer, in preparation 1986.Google Scholar
  6. [FFS]
    U. Feige, A. Fiat and A. Shamir, Zero Knowledge Proofs of Identity, Proceedings of the 19th Annual ACM Symposium on Theory of Computing, 1987.Google Scholar
  7. [GGM]
    O. Goldreich, S. Goldwasser, S. Micali, How to Construct Random Functions, Journal of ACM, vol. 33, No. 4, October 1986.Google Scholar
  8. [GHY]
    Z. Galil, S. Haber, M. Yung, A Private Interactive Test of a Boolean Predicate and Minimum-Knowledge Public-Key Cryptosystem, Proceedings of the 26th Symposium on Foundations of Computer-Science, 1985.Google Scholar
  9. [GJ]
    M. Garey, D. Johnson, Computers and Intractability: a Guide to the Theory of NP-Completeness, W. H. Freeman & Co., New York, 1979.zbMATHGoogle Scholar
  10. [GM]
    S. Goldwasser, S. Micali, Probabilistic Encryption, Journal of Computer and System Science, vol. 28, No. 2, 1984.Google Scholar
  11. [GMR]
    S. Goldwasser, S. Micali, C. Rackoff, The Knowledge Complexity of Interactivc Proof-Systems, Proceedings of the 17th Annual ACM Symposium on Theory of Computing, 1985.Google Scholar
  12. [GMW1]
    O. Goldreich, S. Micali, A. Wigderson, Proofs That Yield Nothing But Their Validity and a Methodology of Cryptographic Protocols Design, Proceedings of the 27th Symposium on Foundations of Computer-Science, 1986.Google Scholar
  13. [GMW2]
    O. Goldreich, S. Micali, A. Wigderson, How to Play Any Mental Game, Proceedings of the 19th Annual ACM Symposium on Theory of Computing, 1987.Google Scholar
  14. [GoMiRi]
    S. Goldwasser, S. Micali, R. Rivest, A Digital Signature Scheme Secure Against Adaptive, Chosen Cyphertext Attack, to appear in SIAM J. on Computing.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Alfredo De Santis
    • 1
  • Silvio Micali
    • 2
  • Giuseppe Persiano
    • 1
  1. 1.Dipartimento di Informatica ed ApplicazioniUniversità di SalernoSalernoItaly
  2. 2.Laboratory for Computer ScienceMITCambridge

Personalised recommendations