Sub-exponential iO + Sub-exponential OWF ⇒ TDP (Bitansky–Paneth–Wichs)

Free reduction · standard model · BPW16 · security loss: super-polynomial, which is why both hypotheses are assumed sub-exponentially hard

Statement

If sub-exponentially secure iO and sub-exponentially secure one-way functions exist, then trapdoor permutations exist — BPW16. These are the first trapdoor permutations not based on the hardness of factoring. The construction is not domain-invariant. Domain invariance allows a domain to depend on the permutation index, but here the domain is defined through a pseudorandom function built from the one-way function, so replacing that function changes the domain even under the same key — AS16.

Notes