RSA ⇒ PKE

Standard model · ACGS88 · security loss: polynomial: a CPA adversary with advantage predicts the least-significant bit of from with the same advantage, and ACGS88 turn such a predictor into an RSA inverter running in time

Statement

The RSA assumption implies PKE. The scheme of RSA78, and , is one-way under the RSA assumption but deterministic, hence not CPA-secure. Encrypting a bit as for is CPA-secure under the RSA assumption when is a hard-core predicate of the RSA function; the least-significant bit is one, since predicting it from with non-negligible advantage yields an RSA inverter — ACGS88.

Sketch

Decryption recovers from with the trapdoor . A CPA adversary distinguishing encryptions of and is a predictor for given , which the hard-core reduction turns into an RSA inverter.

Notes

  • The Goldreich–Levin bit is hard-core for , which gives the same bit encryption, with sent in the clear, without an RSA-specific argument — GL89; for an arbitrary trapdoor permutation this is TDP ⇒ PKE.
  • Efficiency: the CPA-secure scheme spends, per plaintext bit, one exponentiation by the public exponent, which may be small, such as , and a ciphertext of bits; decryption is one exponentiation by per bit, which the Chinese remainder theorem splits into two exponentiations modulo and with half-length exponents. Deterministic RSA encrypts a whole -bit block at that cost — standard.