This is probably obvious, but I cannot find it anywhere, since all textbooks define OWFs for average-case hardness.
Do we known if worst-case one-way permutations exist assuming $\mathbf{P} \neq \mathbf{NP}$? I don't require average-case hardness, it suffices that the function is hard to invert in the worst-case. That is, assuming $\mathbf{P} \neq \mathbf{NP}$, is there a family of permutations $f_n : \{0,1\}^n \to \{ 0,1\}^n$, such that $f_n$ can be computed by circuits of size polynomial in $n$ but there is no family of poly-size circuits that inverts $f_n$ on all of its outputs?. (I stated for circuits, but I’m happy with the uniform setting too). I’d also be happy if the output space is a bit larger than $\{0,1\}^n$ as long as each $f_n$ is injective.