-th Composite Residuosity ⇒ Additively homomorphic encryption
Statement
For , under the higher-degree composite residuosity assumption with parameter — hardness of distinguishing -th residues modulo from uniform — the Damgård–Jurik cryptosystem is an IND-CPA-secure additively homomorphic encryption scheme for addition modulo : for an RSA modulus , encrypts , and the product of two ciphertexts encrypts — DJ01. The case is Paillier’s scheme (DCR ⇒ additively homomorphic encryption) — Pai99. For every the assumption is equivalent to DCR — DJ01.
Sketch
The reduction embeds a challenge as : an -th residue makes a fresh encryption of , and a uniform makes uniform, independent of . Decryption raises the ciphertext to a secret exponent that is and , with ; this kills the component and leaves , from which is read off digit by digit modulo using the binomial expansion.
Notes
- A ciphertext has bits for a -bit plaintext, an expansion factor that tends to as grows — DJ01.