Advertisement

Efficient Concurrent Zero-Knowledge in the Auxiliary String Model

  • Ivan Damgård
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1807)

Abstract

We show that if any one-way function exists, then 3-round concurrent zero-knowledge arguments for all NP problems can be built in a model where a short auxiliary string with a prescribed distribution is available to the players. We also show that a wide range of known efficient proofs of knowledge using specialized assumptions can be modified to work in this model with no essential loss of efficiency. We argue that the assumptions of the model will be satisfied in many practical scenarios where public key cryptography is used, in particular our construction works given any secure public key infrastructure. Finally, we point out that in a model with preprocessing (and no auxiliary string) proposed earlier, concurrent zero-knowledge for NP can be based on any one-way function.

Keywords

Commitment Scheme Probabilistic Polynomial Time Interactive Argument Intractability Assumption Cheat Prover 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    Brassard, Chaum and Crépeau: Minimum disclosure proofs of knowledge, JCSS vol. 37, pp.156–189, 1988.zbMATHGoogle Scholar
  2. 2.
    M. Bellare, R. Canetti, and H. Krawczyk: A modular approach to the design and analysis of authentication and key exchange protocols. STOC 98.Google Scholar
  3. 3.
    Blum, De Santis, Micali and Persiano: Non-Interactive Zero-Knowledge, SIAM J. Computing, vol.20, 1991.Google Scholar
  4. 4.
    Bellare and Goldreich: Defining proofs of knowledge, Proc. of Crypto 92, Springer Verlag LNCS series nr. 740.Google Scholar
  5. 5.
    Brandt, Landrock, Damgaård and Pedersen: Zero-knowledge authentication scheme with secret key exchange, J. Cryptology, vol.11, pp.147–160, 1998.zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Cramer and Damgård: Zero-Knowledge proofs for finite field arithmetic, Proc. of Crypto 98, Springer Verlag LNCS series nr.1462.Google Scholar
  7. 7.
    Cramer and Damgård: Fast and Secure Immunization against Man-in-the-Middle Impersonation, Proc. of EuroCrypt 97.Google Scholar
  8. 8.
    Cramer, Damgaård and Schoenmakers: Proofs of partial knowlegde, Proc. of Crypto 94, Springer Verlag LNCS series nr. 839.Google Scholar
  9. 9.
    Canetti, Goldreich, Goldwasser and Micali: Resettable Zero-Knowledge, proceedings of STOC 2000.Google Scholar
  10. 10.
    Di Crescenzo and Ostrovsky: Concurrent Zero-Knowledge: Avoiding Impossibility with Pre-Processing, Proc. of Crypto 99, to appear.Google Scholar
  11. 11.
    Damgård and Pfitzmann: Squential Iteration of Interactive Arguments, proc. of ICALP 98, Springer Verlag LNCS series.Google Scholar
  12. 12.
    Dwork, Naor and Sahai: Concurrent Zero-Knowledge, Proc. of STOC 98.Google Scholar
  13. 13.
    Dwork and Sahai: Concurrent Zero-Knowledge. Reducing the need for timing constraints, Proc. of Crypto 98, Springer Verlag LNCS series, nr.1462.CrossRefGoogle Scholar
  14. 14.
    Feige, Lapidot and Shamir: Multiple non-interactive zero knowledge proofs based on a single random string, Proc. of FOCS 90.Google Scholar
  15. 15.
    Feige and Shamir: Witness indistinguishability and witness hiding protocols, Proc. of STOC 90.Google Scholar
  16. 16.
    L. Guillou and J.-J. Quisquater: A Practical Zero-Knowledge Protocol fitted to Security Microprocessor Minimizing both Transmission and Memory, Proc. of Eu-roCrypt 88, Springer Verlag LNCS series.Google Scholar
  17. 17.
    Jacobsson, Impagliazzo and Sako: Designated Verifier Proofs and their Applications, Proc. of EuroCrypt 96.Google Scholar
  18. 18.
    Joe Kilian: Private communication.Google Scholar
  19. 19.
    Kilian, Petrank and Rackoff: Lower Bounds for Zero-Knowledge on the Internet, Proc. of FOCS 98.Google Scholar
  20. 20.
    Feige and Shamir: Zero-knowledge proofs of knowledge in two rounds, Proc. of Crypto 89, Springer Verlag LNCS series nr. 435.CrossRefGoogle Scholar
  21. 21.
    C.P. Schnorr: Efficient Signature Generation by Smart Cards, Journal of Cryptology 4 (1991) 161–174.zbMATHCrossRefGoogle Scholar
  22. 22.
    Goldrecish and Krawczyk: On the composition of zero-knowledge proof systems, SIAM J.Computing, vol.25, pp.169–192, 1996.CrossRefGoogle Scholar
  23. 23.
    Goldwasser, Micali and Rackoff: The knowledge complexity of interactive proof systems, SIAM J.Computing, vol. 18, pp.186–208, 1989.zbMATHCrossRefMathSciNetGoogle Scholar
  24. 24.
    Goldreich, Micali and Wigderson: Proofs that yield nothing but their validity or all languages in NP have zero-knowledge interactive proofs systems, JACM, vol 38, pp.691–729, 1991.zbMATHCrossRefMathSciNetGoogle Scholar
  25. 25.
    Pedersen: Non-interactive and information theoretic secure verifiable secret sharing, proc. of Crypto 91, Springer Verlag LNCS series, nr. 576.Google Scholar
  26. 26.
    Richardson and Kilian: On the Concurrent Composition of Zero-Knowledge Proofs, to appear in Proceedings of EuroCrypt 99.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Ivan Damgård
    • 1
  1. 1.BRICS Dept. of Computer Sience, Ny MunkegadeAarhus UniversityAarhus CDenmark

Personalised recommendations