Paper 2024/399

A Direct PRF Construction from Kolmogorov Complexity

Yanyi Liu, Cornell Tech
Rafael Pass, Tel-Aviv University, Cornell Tech
Abstract

While classic result in the 1980s establish that one-way functions (OWFs) imply the existence of pseudorandom generators (PRGs) which in turn imply pseudorandom functions (PRFs), the constructions (most notably the one from OWFs to PRGs) is complicated and inefficient. Consequently, researchers have developed alternative \emph{direct} constructions of PRFs from various different concrete hardness assumptions. In this work, we continue this thread of work and demonstrate the first direct constructions of PRFs from average-case hardness of the time-bounded Kolmogorov complexity problem $\mktp[s]$, where given a threshold, $s(\cdot)$, and a polynomial time-bound, $t(\cdot)$, $\mktp[s]$ denotes the language consisting of strings $x$ with $t$-bounded Kolmogorov complexity, $K^t(x)$, bounded by $s(|x|)$. In more detail, we demonstrate a direct PRF construction with quasi-polynomial security from mild average-case of hardness of $\mktp[2^{O(\sqrt{\log n})}]$ w.r.t the uniform distribution. We note that by earlier results, this assumption is known to be equivalent to the existence of quasi-polynomially secure OWFs; as such, our results yield the first direct (quasi-polynomially secure) PRF constructions from a natural hardness assumptions that also is known to be implied by (quasi-polynomially secure) PRFs. Perhaps surprisingly, we show how to make use of the Nisan-Wigderson PRG construction to get a cryptographic, as opposed to a complexity-theoretic, PRG.

Metadata
Available format(s)
PDF
Category
Foundations
Publication info
A minor revision of an IACR publication in EUROCRYPT 2024
Contact author(s)
yl2866 @ cornell edu
rafaelp @ tau ac il
History
2024-03-05: approved
2024-03-04: received
See all versions
Short URL
https://ia.cr/2024/399
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2024/399,
      author = {Yanyi Liu and Rafael Pass},
      title = {A Direct PRF Construction from Kolmogorov Complexity},
      howpublished = {Cryptology ePrint Archive, Paper 2024/399},
      year = {2024},
      note = {\url{https://eprint.iacr.org/2024/399}},
      url = {https://eprint.iacr.org/2024/399}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.