Sub-exponential OWF ⇒ OWF

Fully-black-box reduction · standard model · folklore · security loss: none

Statement

A sub-exponentially one-way function is one-way: an efficient inverter has size below $2^{{\lambda }^{\epsilon }}$ for large $\lambda$, so its advantage is at most $2^{-{\lambda }^{\epsilon }}$ — folklore.