Skip to main content

Zero Knowledge and Soundness Are Symmetric

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNSC,volume 4515)

Abstract

We give a complexity-theoretic characterization of the class of problems in NP having zero-knowledge argument systems. This characterization is symmetric in its treatment of the zero knowledge and the soundness conditions, and thus we deduce that the class of problems in NP ∩ coNP having zero-knowledge arguments is closed under complement. Furthermore, we show that a problem in NP has a statistical zero-knowledge argument system if and only if its complement has a computational zero-knowledge proof system. What is novel about these results is that they are unconditional, i.e., do not rely on unproven complexity assumptions such as the existence of one-way functions.

Our characterization of zero-knowledge arguments also enables us to prove a variety of other unconditional results about the class of problems in NP having zero-knowledge arguments, such as equivalences between honest-verifier and malicious-verifier zero knowledge, private coins and public coins, inefficient provers and efficient provers, and non-black-box simulation and black-box simulation. Previously, such results were only known unconditionally for zero-knowledge proof systems, or under the assumption that one-way functions exist for zero-knowledge argument systems.

Keywords

  • Commitment Scheme
  • Argument System
  • Knowledge Argument
  • Promise Problem
  • Zero Knowledge

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.

A preliminary version of this paper appeared in theElectronic Colloquium on Computational Complexity [OV]. Both the authors were supported by NSF grant CNS-0430336 and ONR grant N00014-04-1-0478.

References

  1. Aiello, W., Håstad, J.: Statistical zero-knowledge languages can be recognized in two rounds. J. Comput. Syst. Sci. 42(3), 327–345 (1991)

    MATH  CrossRef  Google Scholar 

  2. Brassard, G., Chaum, D., Crépeau, C.: Minimum disclosure proofs of knowledge. J. Comput. Syst. Sci. 37(2), 156–189 (1988)

    MATH  CrossRef  Google Scholar 

  3. Cover, T.M., Thomas, J.A.: Elements of information theory, 2nd edn. Wiley Interscience, Hoboken (2006)

    MATH  Google Scholar 

  4. Even, S., Selman, A., Yacobi, Y.: The complexity of promise problems with applications to public-key cryptography. Inform. Control 61(2), 159–173 (1984)

    MATH  CrossRef  MathSciNet  Google Scholar 

  5. Goldwasser, S., Micali, S., Rackoff, C.: The knowledge complexity of interactive proof systems. SIAM J. Comput. 18(1), 186–208 (1989)

    MATH  CrossRef  MathSciNet  Google Scholar 

  6. Goldreich, O., Micali, S., Wigderson, A.: Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems. J. ACM 38(1), 691–729 (1991)

    MATH  MathSciNet  Google Scholar 

  7. Goldreich, O.: Foundations of Cryptography: Basic Tools. Cambridge University Press, Cambridge (2001)

    MATH  CrossRef  Google Scholar 

  8. Goldreich, O.: On promise problems (a survey in memory of Shimon Even [1935-2004]). Technical Report TR05–018, ECCC (2005)

    Google Scholar 

  9. Goldreich, O., Sahai, A., Vadhan, S.: Honest verifier statistical zero-knowledge equals general statistical zero-knowledge. In: Proc. 30th STOC, pp. 399–408 (1998)

    Google Scholar 

  10. Goldreich, O., Vadhan, S.: Comparing entropies in statistical zero-knowledge with applications to the structure of SZK. In: Proc. 14th Comput. Complex., pp. 54–73 (1999)

    Google Scholar 

  11. Håstad, J., Impagliazzo, R., Levin, L., Luby, M.: A pseudorandom generator from any one-way function. SIAM J. Comput. 28(4), 1364–1396 (1999)

    MATH  CrossRef  MathSciNet  Google Scholar 

  12. Haitner, I., Ong, S., Reingold, O., Vadhan, S.: Instance-dependent commitments for statistical zero-knowledge proofs. In: preparation (March 2007)

    Google Scholar 

  13. Haitner, I., Reingold, O.: Statistically-hiding commitment from any one-way function. Technical Report 2006/436, Cryptol. ePrint Arch (2006)

    Google Scholar 

  14. Impagliazzo, R., Luby, M.: One-way functions are essential for complexity based cryptography. In: Proc. 30th FOCS, pp. 230–235 (1989)

    Google Scholar 

  15. Naor, M.: Bit commitment using pseudorandomness. J. Cryptol. 4(2), 151–158 (1991)

    MATH  CrossRef  Google Scholar 

  16. Nguyen, M., Ong, S., Vadhan, S.: Statistical zero-knowledge arguments for NP from any one-way function. In: Proc. 47th FOCS, pp. 3–14 (2006)

    Google Scholar 

  17. Nguyen, M., Vadhan, S.: Zero knowledge with efficient provers. In: Proc. 38th STOC, pp. 287–295 (2006)

    Google Scholar 

  18. Okamoto, T.: On relationships between statistical zero-knowledge proofs. J. Comput. Syst. Sci. 60(1), 47–108 (2000)

    MATH  CrossRef  Google Scholar 

  19. Ostrovsky, R.: One-way functions, hard on average problems, and statistical zero-knowledge proofs. In: Proc. 6th Annual Structure in Complexity Theory Conference, pp. 133–138 (1991)

    Google Scholar 

  20. Ong, S., Vadhan, S.: Zero knowledge and soundness are symmetric. Technical Report TR06-139, ECCC (2006)

    Google Scholar 

  21. Ostrovsky, R., Wigderson, A.: One-way functions are essential for non-trivial zero-knowledge. In: Proc. 2nd Israel Symposium on Theory of Computing Systems, pp. 3–17 (1993)

    Google Scholar 

  22. Petrank, E., Tardos, G.: On the knowledge complexity of NP. Combinatorica 22(1), 83–121 (2002)

    MATH  CrossRef  MathSciNet  Google Scholar 

  23. Sahai, A., Vadhan, S.: A complete problem for statistical zero knowledge. J. ACM 50(2), 196–249 (2003)

    MathSciNet  Google Scholar 

  24. Vadhan, S.: An unconditional study of computational zero knowledge. SIAM J. Comput. 36(4), 1160–1214 (2006)

    MATH  CrossRef  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ong, S.J., Vadhan, S. (2007). Zero Knowledge and Soundness Are Symmetric. In: Naor, M. (eds) Advances in Cryptology - EUROCRYPT 2007. EUROCRYPT 2007. Lecture Notes in Computer Science, vol 4515. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72540-4_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-72540-4_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-72539-8

  • Online ISBN: 978-3-540-72540-4

  • eBook Packages: Computer ScienceComputer Science (R0)