Advertisement

Randomness-Optimal Characterization of Two NP Proof Systems

  • Alfredo De Santis
  • Giovanni Di Crescenzo
  • Giuseppe Persiano
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2483)

Abstract

We investigate quantitative aspects of randomness in two types of proof systems for NP: two-round public-coin witness-indistinguishable proof systems and non-interactive zero-knowledge proof systems. Our main results are the following:
  • • if NP has a 2-round public-coin witness-indistinguishable proof system then it has one using Θx(n + log(1/s)) random bits,

  • • if NP has a non-interactive zero-knowledge proof system then it has one using Θ(n +log(1/s)) random bits,

  • where s is the soundness error, n the length of the input, and ∈ can be any constant < 0. These results only assume that NP ≠ average-BPP. As a consequence, assuming the existence of one-way functions, both classes of proof systems are characterized by the same randomness complexity as BPP algorithms.

In order to achieve these results, we formulate and investigate the problem of randomness-efficient error reduction for two-round public-coin witness-indistinguishable proofs and improve some of our previous results in [13] on randomness-efficient non-interactive zero-knowledge proofs.

Keywords

Proof System Random String Commitment Scheme Randomness Complexity Reference String 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    M. Ajtai, J. Komlos, and E. Szemeredi, Deterministic Simulation in Logspace, Proc. of STOC 87.Google Scholar
  2. 2.
    M. Bellare, O. Goldreich, and S. Goldwasser, Randomness in Interactive Proof Systems, in Proc. of FOCS 90, pp. 563–572.Google Scholar
  3. 3.
    M. Ben-Or, S. Goldwasser, J. Kilian and A. Wigderson, Multi-Prover Interactive Proofs: How to Remove Intractability Assumptions, Proc. of STOC 88.Google Scholar
  4. 4.
    M. Blum, Coin Flipping by Telephone, Proc. IEEE Spring COMPCOM (1982), 133–137.Google Scholar
  5. 5.
    M. Blum, A. De Santis, S. Micali, and G. Persiano, Non-Interactive Zero-Knowledge, SIAM Jou. on Computing, vol. 20, no. 6, Dec 1991, pp. 1084–1118.zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    M. Blum, P. Feldman, and S. Micali, Non-Interactive Zero-Knowledge and Applications, Proc. of STOC 88.Google Scholar
  7. 7.
    M. Blum and S. Micali, How to Generate Cryptographically Strong Sequence of Pseudo-Random Bits, SIAM J. on Computing, vol. 13, no. 4, 1984, pp. 850–864.zbMATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    J. Boyar and R. Peralta, Short Discreet Proofs, Proc. of EUROCRYPT 96.Google Scholar
  9. 9.
    B. Chor and O. Goldreich, On the Power of Two-Point Based Sampling, Journal of Complexity, vol. 5, pp. 96–106, 1989.zbMATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    A. Cohen and A. Wigderson, Dispersers, Deterministic Amplification and Weak Random Sources, Proc. of FOCS 89.Google Scholar
  11. 11.
    A. De Santis, G. Di Crescenzo, R. Ostrovsky, G. Persiano, and A. Sahai, Robust Non-Interactive Zero Knowledge, in Proc. of CRYPTO 2001.Google Scholar
  12. 12.
    A. De Santis, G. Di Crescenzo, and G. Persiano, Randomness-Efficient Non-Interactive Zero-Knowledge, Proc. of ICALP 97.Google Scholar
  13. 13.
    A. De Santis, G. Di Crescenzo, and G. Persiano, Non-Interactive Zero-Knowledge: A Low-Randomness Characterization of NP, Proc. of ICALP 99.Google Scholar
  14. 14.
    A. De Santis and M. Yung, Cryptographic applications of the meta-proof and the many-prover systems, Proc. of CRYPTO 90.Google Scholar
  15. 15.
    C. Dwork and M. Naor, Zaps and Their Applications, Proc. of FOCS 2000.Google Scholar
  16. 16.
    U. Feige, S. Goldwasser, L. Lovasz, S. Safra and M. Szegedy, Approximating Clique is Almost NP-complete, Proc. of FOCS 91.Google Scholar
  17. 17.
    U. Feige, D. Lapidot, and A. Shamir, Multiple Non-Interactive Zero-Know ledge Proofs Under General Assumptions, SIAM Jou. on Computing, 29(1), 1999, p. 1–28.zbMATHCrossRefMathSciNetGoogle Scholar
  18. 18.
    U. Feige and A. Shamir, Witness-Indistinguishable and Witness-Hiding Protocols, Proc. of STOC 90.Google Scholar
  19. 19.
    O. Gabber and Z. Galil, Explicit Constructions of Linear Sized Superconcentrators, Journal of Computer and System Sciences, vol. 22, pp. 407–420, 1981.zbMATHCrossRefMathSciNetGoogle Scholar
  20. 20.
    Gillman, A Chernoff Bound for Random Walks on Expanders, Proc. of STOC 93.Google Scholar
  21. 21.
    M. Garey e D. Johnson, Computers and Intractability: a Guide to the Theory of NP-Completeness, W. H. Freeman & Co., New York, 1979.Google Scholar
  22. 22.
    O. Goldreich and Y. Oren, Definitions and Properties of Zero-Knowledge Proof Systems, Journal of Cryptology, vol. 7, 1994, pp. 1–32.zbMATHCrossRefMathSciNetGoogle Scholar
  23. 23.
    S. Goldwasser, and S. Micali, Probabilistic Encryption, in Journal of Computer and System Sciences, vol. 28, n. 2, 1984, pp. 270–299.zbMATHCrossRefMathSciNetGoogle Scholar
  24. 24.
    S. Goldwasser, S. Micali, and C. Rackoff, The Knowledge Complexity of Interactive Proof-Systems, SIAM J. on Computing, vol. 18, n. 1, 1989.Google Scholar
  25. 25.
    J. Hastad, R. Impagliazzo, L. Levin and M. Luby, Construction of A Pseudo-Random Generator from Any One-Way Function, SIAM Jou. on Computing, vol. 28, n. 4, pp. 1364–1396.Google Scholar
  26. 26.
    R. Impagliazzo and D. Zuckerman, How to Recycle Random Bits, Proc. of FOCS 89.Google Scholar
  27. 27.
    J. Kilian, On the complexity of bounded-interaction and non-interactive zero-knowledge proofs, Proc. of FOCS 94.Google Scholar
  28. 28.
    R. Karp, N. Pippenger, and M. Sipser, Expanders, Randomness, or Time vs. Space, in Proc. of 1st Structures of Complexity Theory, 1986.Google Scholar
  29. 29.
    J. Kilian, and E. Petrank, An efficient zero-knowledge proof system for NP under general assumptions, Journal of Cryptology, vol. 11, n. 1, pp. 1–28.Google Scholar
  30. 30.
    A. Lubotzky, R. Phillips, and P. Sarnak, Explicit Expanders and the Ramanujan Conjectures, Proc. of STOC 86.Google Scholar
  31. 31.
    M. Naor, Bit Commitment from Pseudo-Randomness, Proc. of CRYPTO 89.Google Scholar
  32. 32.
    R. Ostrovsky and A. Wigderson, One-way Functions are Essential for Non-Trivial Zero-knowledge, in Proc. of the 2nd Israel Symposium on Theory of Computing and Systems (ISTCS-93).Google Scholar
  33. 33.
    N. Nisan, Pseudorandom bits for constant depth circuits, Combinatorica, 11, pp. 63–70, 1991.zbMATHCrossRefMathSciNetGoogle Scholar
  34. 34.
    O. Reingold, S. Vadhan and A. Wigderson, Entropy Waves, The Zig-Zag Graph Product, and New Constant-Degree Expanders and Extractors, in Proc. of FOCS 2000.Google Scholar
  35. 35.
    M. Sipser, A Complexity-Theoretic Aproach to Randomness, in Proc. of STOC 1983.Google Scholar
  36. 36.
    A. Sahai, Non-Malleable Non-Interactive Zero Knowledge and Adaptive Chosen-Ciphertext Security, in Proc. of FOCS 1999.Google Scholar
  37. 37.
    D. Zuckerman, Randomness-Optimal Oblivious Sampling, in Proc. of STOC 97.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Alfredo De Santis
    • 1
  • Giovanni Di Crescenzo
    • 2
  • Giuseppe Persiano
    • 1
  1. 1.Dipartimento di Informatica ed ApplicazioniUniversità di SalernoBaronissi, SAItaly
  2. 2.Telcordia Technologies Inc.MorristownUSA

Personalised recommendations