ABSTRACT
We consider the possibility of basing one-way functions on NP-Hardness; that is, we study possible reductions from a worst-case decision problem to the task of average-case inverting a polynomial-time computable function f. Our main findings are the following two negative results:
If given y one can efficiently compute |f-1(y)| then the existence of a (randomized) reduction of NP to the task of inverting f implies that coNP ⊆ AM. Thus, it follows that such reductions cannot exist unless coNP ⊆ AM.
For any function f, the existence of a (randomized) non-adaptive reduction of NP to the task of average-case inverting f implies that coNP ⊆ AM.
- D. Aharonov and O. Regev. Lattice Problems in NP intersect coNP. In 45th FOCS, 2004.Google Scholar
- W. Aiello and J. Hastad. Perfect Zero-Knowledge Languages can be Recognized in Two Rounds. In 28th FOCS, pages 439--448, 1987.Google ScholarDigital Library
- M. Ajtai. Generating hard instances of lattice problems. In 28th STOC, pages 99--108, 1996. Google ScholarDigital Library
- A. Akavia, O. Goldreich, S. Goldwasser, and D. Moshkovitz. On Basing One-Way Functions on NP-Hardness. In preparations, to be posted on ECCC.Google Scholar
- L. Babai. Trading Group Theory for Randomness. In 17th STOC, pages 421--429, 1985. Google ScholarDigital Library
- L. Babai and S. Moran. Arthur-Merlin Games: A Randomized Proof System and a Hierarchy of Complexity Classes. JCSS, Vol. 36, pp. 254--276, 1988. Google ScholarDigital Library
- L. Babai and S. Laplante. Stronger seperations for random-self-reducability, rounds, and advice. In IEEE Conference on Computational Complexity 1999, pages 98--104, 1999. Google ScholarDigital Library
- B. Barak. How to Go Beyond the Black-Box Simulation Barrier. In 42nd FOCS, pages 106--115, 2001. Google ScholarDigital Library
- B. Barak. Constant-Round Coin-Tossing with a Man in the Middle or Realizing the Shared Random String Model. In 43th FOCS, pages 345--355, 2002. Google ScholarDigital Library
- S. Ben-David, B. Chor, O. Goldreich, and M. Luby. On the Theory of Average Case Complexity. JCSS, Vol. 44, No. 2, April 1992, pages 193--219. Google ScholarDigital Library
- M. Blum and S. Micali. How to Generate Cryptographically Strong Sequences of Pseudo-Random Bits. SICOMP, Vol. 13, pages 850--864, 1984. Preliminary version in 23rd FOCS, 1982. Google ScholarDigital Library
- A. Bogdanov and L. Trevisan. On worst-case to average-case reductions for NP problems. In 44th FOCS, pages 308--317, 2003. Google ScholarDigital Library
- G. Brassard. Relativized Cryptography. In 20th FOCS, pages 383--391, 1979.Google Scholar
- G. Di-Crescenzo and R. Impagliazzo. Security-preserving hardness-amplification for any regular one-way function In 31st STOC, pages 169--178, 1999. Google ScholarDigital Library
- S. Even, A.L. Selman, and Y. Yacobi. The Complexity of Promise Problems with Applications to Public-Key Cryptography. Inform. and Control, Vol. 61, pages 159--173, 1984. Google ScholarDigital Library
- J. Feigenbaum and L. Fortnow. Random self-reducibility of complete sets. SICOMP, Vol. 22, pages 994--1005, 1993. Google ScholarDigital Library
- J. Feigenbaum, L. Fortnow, C. Lund, and D. Spielman. The power of adaptiveness and additional queries in random self-reductions. Computational Complexity, 4:158--174, 1994. Google ScholarDigital Library
- L. Fortnow, The Complexity of Perfect Zero-Knowledge. In {28}, pages 327--343, 1989. Extended abstract in 19th STOC, pages 204--209, 1987. Google ScholarDigital Library
- O. Goldreich. Foundation of Cryptography -- Basic Tools. Cambridge University Press, 2001. Google ScholarDigital Library
- O. Goldreich, R. Impagliazzo, L.A. Levin, R. Venkatesan, and D. Zuckerman. Security Preserving Amplification of Hardness. In 31st FOCS, pages 318--326, 1990.Google ScholarDigital Library
- O. Goldreich, H. Krawczyk and M. Luby. On the Existence of Pseudorandom Generators. SICOMP, Vol. 22, pages 1163--1175, 1993. Google ScholarDigital Library
- O. Goldreich, S. Vadhan and A. Wigderson. On interactive proofs with a laconic provers. Computational Complexity, Vol. 11, pages 1--53, 2003. Google ScholarDigital Library
- S. Goldwasser and M. Sipser. Private Coins versus Public Coins in Interactive Proof Systems. In {28}, pages 73--90, 1989. Extended abstract in 18th STOC, pages 59--68, 1986. Google ScholarDigital Library
- I. Haitner, O. Horvitz, J. Katz, C.Y. Koo, R. Morselli, and R. Shaltiel. Reducing complexity assumptions for statistically-hiding commitment. In Eurocrypt, Springer, LNCS3494, pages 58--77, 2005. Google ScholarDigital Library
- E. Hemaspaandra, A.V. Naik, M. Ogiwara, and A.L. Selman. P-Selective Sets, and Reducing Search to Decision vs. Self-reducibility. JCSS, Vol. 53 (2), pages 194--209, 1996. Google ScholarDigital Library
- J. Hastad, R. Impagliazzo, L.A. Levin and M. Luby. A Pseudorandom Generator from any One-way Function. SICOMP, Vol. 28, pages 1364--1396, 1999. Google ScholarDigital Library
- R. Impagliazzo and L.A. Levin. No Better Ways to Generate Hard NP Instances than Picking Uniformly at Random. In 31st FOCS, 1990, pages 812--821.Google ScholarDigital Library
- J. Katz and L. Trevisan. On The Efficiency Of Local Decoding Procedures For Error-Correcting Codes. In 32nd STOC, pages 80--86, 2000. Google ScholarDigital Library
- S. Micali, editor. Advances in Computing Research: a research annual, Vol. 5 (Randomness and Computation), 1989.Google Scholar
- D. Micciancio and O. Regev. Worst-case to Average-case Reductions Based on Gaussian Measures. In 45th FOCS, pages 372--381, 2004. Google ScholarDigital Library
- A.C. Yao. Theory and Application of Trapdoor Functions. In 23rd FOCS, pages 80--91, 1982.Google Scholar
Index Terms
- On basing one-way functions on NP-hardness
Recommendations
Average-case hardness of NP from exponential worst-case hardness assumptions
STOC 2021: Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of ComputingA long-standing and central open question in the theory of average-case complexity is to base average-case hardness of NP on worst-case hardness of NP. A frontier question along this line is to prove that PH is hard on average if UP requires (sub-)...
On the (non) NP-hardness of computing circuit complexity
CCC '15: Proceedings of the 30th Conference on Computational ComplexityThe Minimum Circuit Size Problem (MCSP) is: given the truth table of a Boolean function f and a size parameter k, is the circuit complexity of f at most k? This is the definitive problem of circuit synthesis, and it has been studied since the 1950s. ...
Capturing One-Way Functions via NP-Hardness of Meta-Complexity
STOC 2023: Proceedings of the 55th Annual ACM Symposium on Theory of ComputingA one-way function is a function that is easy to compute but hard to invert *on average*. We establish the first characterization of a one-way function by *worst-case* hardness assumptions, by introducing a natural meta-computational problem whose NP-...
Comments