Can Statistical Zero Knowledge Be Made Noninteractive? or On the Relationship of SZK and NISZK
 Oded Goldreich,
 Amit Sahai,
 Salil Vadhan
 … show all 3 hide
Abstract
We extend the study of noninteractive statistical zeroknowledge proofs. Our main focus is to compare the class NISZK of problems possessing such noninteractive proofs to the class SZK of problems possessing interactive statistical zeroknowledge proofs. Along these lines, we first show that if statistical zero knowledge is nontrivial then so is noninteractive statistical zero knowledge, where by nontrivial we mean that the class includes problems which are not solvable in probabilistic polynomialtime. (The hypothesis holds under various assumptions, such as the intractability of the Discrete Logarithm Problem.) Furthermore, we show that if NISZK is closed under complement, then in fact SZK = NISZK, i.e. all statistical zeroknowledge proofs can be made noninteractive.
The main tools in our analysis are two promise problems that are natural restrictions of promise problems known to be complete for SZK. We show that these restricted problems are in fact complete for NISZK and use this relationship to derive our results comparing the two classes. The two problems refer to the statistical difference, and difference in entropy, respectively, of a given distribution from the uniform one. We also consider a weak form of NISZK, in which only requires that for every inverse polynomial 1=p(n), there exists a simulator which achieves simulator deviation 1=p(n), and show that this weak form of NISZK actually equals NISZK.
 Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan, and Mario Szegedy. Proof verification and hardness of approximation problems. In Proceedings of the Thirty Third Annual Symposium on Foundations of Computer Science, pages 14–23, 1992.
 Sanjeev Arora and Shmuel Safra. Probabilistic checking of proofs. In Proceedings of the Thirty Third Annual Symposium on Foundations of Computer Science, pages 2–13, 1992.
 Bellare, M., Goldwasser, S. New paradigms for digital signatures and message authentication based on noninteractive zero knowledge proofs. In: Brassard, G. eds. (1990) Advances in Cryptology—CRYPTO’ 89. Springer, Berlin Heidelberg, pp. 194211 CrossRef
 Mihir Bellare, Silvio Micali, and Rafail Ostrovsky. Perfect zeroknowledge in constant rounds. In Proceedings of the Twenty Second Annual ACM Symposium on Theory of Computing, pages 482–493, 1990.
 Mihir Bellare and Phillip Rogaway. Noninteractive perfect zeroknowledge. Unpublished manuscript, June 1990.
 Blum, M., Santis, A., Micali, S., Persiano, G. (1991) Noninteractive zeroknowledge. SIAM Journal on Computing 20: pp. 10841118 CrossRef
 Manuel Blum, Paul Feldman, and Silvio Micali. Noninteractive zeroknowledge and its applications (extended abstract). In Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing, pages 103–112, Chicago, Illinois, 2–4 May 1988.
 Damgård, I. (1994) Interactive hashing can simplify zeroknowledge protocol design. Proceedings of Crypto’ 95. Springer, Berlin Heidelberg, pp. 100109
 Damgård, I., Goldreich, O., Okamoto, T., Wigderson, A. (1995) Honest verifier vs. dishonest verifier in public coin zeroknowledge proofs. Proceedings of Crypto’ 95. Springer, Berlin Heidelberg
 Ivan Damgård, Oded Goldreich, and Avi Wigderson. Hashing functions can simplify zeroknowledge protocol design (too). Technical Report RS9439, BRICS, November 1994. See Part 1 of [9].
 Santis, A., Crescenzo, G., Persiano, G. Randomnessefficient noninteractive zeroknowledge (extended abstract). In: Degano, P., Gorrieri, R., MarchettiSpaccamela, A. eds. (1997) Automata, Languages and Programming. Springer, Berlin Heidelberg, pp. 716726
 Alfredo De Santis, Giovanni Di Crescenzo, Giuseppe Persiano, and Moti Yung. Image Density is complete for noninteractiveSZK. In Automata, Languages and Programming, 25th International Colloquium, Lectures Notes in Computer Science, pages 784–795, Aalborg, Denmark, 13–17 July 1998. SpringerVerlag. See [13].
 Alfredo De Santis, Giovanni Di Crescenzo, Giuseppe Persiano, and Moti Yung. Image Density is complete for noninteractiveSZK, May 1999. Preliminary draft of full version.
 Santis, A., Crescenzo, G., Persiano, G. (1994) The knowledge complexity of quadratic residuosity languages. Theoretical Computer Science 132: pp. 291317 CrossRef
 Santis, A., Micali, S., Persiano, G. Noninteractive zeroknowledge proof systems. In: Pomerance, C. eds. (1988) Advances in Cryptology — CRYPTO’ 87. Springer, Berlin Heidelberg, pp. 5272
 Santis, A., Micali, S., Persiano, G. Noninteractive zeroknowledge with preprocessing. In: Goldwasser, S. eds. (1990) Advances in Cryptology — CRYPTO’ 88. Springer, Berlin Heidelberg, pp. 269282
 Giovanni Di Crescenzo, Tatsuaki Okamoto, and Moti Yung. Keeping the SZKverifier honest unconditionally. In Advances in Cryptology — CRYPTO’ 97, pages 31–45, 1997.
 Danny Dolev, Cynthia Dwork, and Moni Naor. Nonmalleable cryptography (extended abstract). In Proceedings of the Twenty Third Annual ACM Symposium on Theory of Computing, pages 542–552, New Orleans, Louisiana, 6–8 May 1991.
 Cynthia Dwork, Moni Naor, and Amit Sahai. Concurrent zeroknowledge. In Proceedings of the Thirtieth Annual ACM Symposium on the Theory of Computing, pages 409–418, 1998.
 Uriel Feige, Dror Lapidot, and Adi Shamir. Multiple noninteractive zero knowledge proofs based on a single random string (extended abstract). In 31st Annual Symposium on Foundations of Computer Science, volume I, pages 308–317, St. Louis, Missouri, 2224 October 1990. IEEE.
 Lance Fortnow. The complexity of perfect zeroknowledge. In Silvio Micali, editor, Advances in Computing Research, volume 5, pages 327–343. JAC Press, Inc., 1989.
 Goldreich, O., Kushilevitz, E. (1993) A perfect zeroknowledge proof system for a problem equivalent to the discrete logarithm. Journal of Cryptology 6: pp. 97116 CrossRef
 Goldreich, O., Micali, S., Wigderson, A. (1991) Proofs that yield nothing but their validity or all languages in NP have zeroknowledge proof systems. Journal of the Association for Computing Machinery 38: pp. 691729
 Goldreich, O., Oren, Y. (1994) Definitions and properties of zeroknowledge proof systems. Journal of Cryptology 7: pp. 132 CrossRef
 Oded Goldreich, Amit Sahai, and Salil Vadhan. Honestverifier statistical zeroknowledge equals general statistical zeroknowledge. In Proceedings of the Thirtieth Annual ACM Symposium on the Theory of Computing, pages 399–408, 1998.
 Oded Goldreich, Amit Sahai, and Salil Vadhan. Can statistical zero knowledge be made noninteractive? or On the relationship of SZK and NISZK. Submitted to ECCC, May 1999. http://www.eccc.unitrier.de/eccc/.
 Oded Goldreich and Salil Vadhan. Comparing entropies in statistical zeroknowledge with applications to the structure of SZK. In Proceedings of the Fourteenth Annual IEEE Conference on Computational Complexity, pages 54–73, Atlanta, GA, May 1999. IEEE Computer Society Press.
 Goldwasser, S., Micali, S. (1984) Probabilistic encryption. Journal of Computer and System Sciences 28: pp. 270299 CrossRef
 Goldwasser, S., Micali, S., Rackoff, C. (1989) The knowledge complexity of interactive proof systems. SIAM Journal on Computing 18: pp. 186208 CrossRef
 Russell Impagliazzo, Leonid A. Levin, and Michael Luby. Pseudorandom generation from oneway functions (extended abstracts). In Proceedings of the TwentyFirst Annual ACM Symposium on Theory of Computing, pages 12–24, Seattle, Washington, 1517 May 1989.
 Kilian, J., Petrank, E. (1998) An efficient noninteractive zeroknowledge proof system for NP with general assumptions. Journal of Cryptology 11: pp. 127 CrossRef
 Ladner, R. E., Lynch, N. A., Selman, A. L. (1975) A comparison of polynomial time reducibilities. Theoretical Computer Science 1: pp. 103123 CrossRef
 Carsten Lund, Lance Fortnow, Howard Karloff, and Noam Nisan. Algebraic methods for interactive proofs. In Proceedings of the Thirty First Annual Symposium on Foundations of Computer Science, pages 1–10, 1990.
 Moni Naor and Moti Yung. Publickey cryptosystems provably secure against chosen ciphertext attacks. In Proceedings of the Twenty Second Annual ACM Symposium on Theory of Computing, pages 427–437, Baltimore, Maryland, 14–16 May 1990.
 Tatsuaki Okamoto. On relationships between statistical zeroknowledge proofs. In Proceedings of the Twenty Eighth Annual ACM Symposium on the Theory of Computing, 1996. See also preprint of full version, Oct. 1997.
 Rafail Ostrovsky. Oneway functions, hard on average problems, and statistical zeroknowledge proofs. In Proceedings of the Thirty Second Annual Symposium on Foundations of Computer Science, pages 133–138, 1991.
 Rafail Ostrovsky and Avi Wigderson. Oneway functions are essential for nontrivial zeroknowledge. In Proceedings of the Second Israel Symposium on Theory of Computing and Systems, 1993.
 Amit Sahai and Salil Vadhan. A complete promise problem for statistical zeroknowledge. In Proceedings of the Thirty Eighth Annual Symposium on Foundations of Computer Science, pages 448–457, 1997.
 Amit Sahai and Salil Vadhan. Manipulating statistical difference. In Panos Pardalos, Sanguthevar Rajasekaran, and José Rolim, editors, Randomization Methods in Algorithm Design (DIMACS Workshop, December 1997), volume 43 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 251–270. American Mathematical Society, 1999.
 Adi Shamir. IP=PSPACE. In Proceedings of the Thirty First Annual Symposium on Foundations of Computer Science, pages 11–15, 1990.
 Andrew C. Yao. Theory and application of trapdoor functions. In Proceedings of the Twenty Third Annual Symposium on Foundations of Computer Science, pages 80–91, 1982.
 Title
 Can Statistical Zero Knowledge Be Made Noninteractive? or On the Relationship of SZK and NISZK
 Book Title
 Advances in Cryptology — CRYPTO’ 99
 Book Subtitle
 19th Annual International Cryptology Conference Santa Barbara, California, USA, August 15–19, 1999 Proceedings
 Pages
 pp 467484
 Copyright
 1999
 DOI
 10.1007/3540484051_30
 Print ISBN
 9783540663478
 Online ISBN
 9783540484059
 Series Title
 Lecture Notes in Computer Science
 Series Volume
 1666
 Series ISSN
 03029743
 Publisher
 Springer Berlin Heidelberg
 Copyright Holder
 Springer Berlin Heidelberg
 Additional Links
 Topics
 Keywords

 Statistical ZeroKnowledge Proofs
 NonInteractive ZeroKnowledge Proofs
 Industry Sectors
 eBook Packages
 Editors

 Michael Wiener ^{(4)}
 Editor Affiliations

 4. Entrust Technologies
 Authors

 Oded Goldreich ^{(5)}
 Amit Sahai ^{(5)}
 Salil Vadhan ^{(6)}
 Author Affiliations

 5. Department of Computer Science, Weizmann Institute of Science, Rehovot, Israel
 6. Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA, 02139, USA
Continue reading...
To view the rest of this content please follow the download PDF link above.