RSA ⇒ TDP

Standard model · RSA78 · security loss: none: an inverter for the family is an RSA solver with the same advantage

Statement

If the RSA assumption holds for , the RSA family is a trapdoor permutation: for , with and , the map permutes , the trapdoor inverts it as , and one-wayness of the family is the RSA assumption — RSA78.

Sketch

Correctness is Euler’s theorem: for . An algorithm inverting on a uniform without is an RSA solver with the same advantage — RSA78.

Notes

  • The domain is rather than . Applications that sample domain elements from public coins, such as OT and NIZK, need the enhanced or doubly enhanced notions, which suffice for them — GR13.