QR ⇒ Additively homomorphic encryption

Standard model · GM84 · security loss: tight up to a factor 2: one run of the CPA adversary with the QR challenge as the public key, whose advantage is twice the QR advantage

Statement

The Goldwasser–Micali scheme, with for and and for and , is IND-CPA-secure if QR is hard — GM84. It is additively homomorphic over : the product of encryptions of and is distributed exactly as a fresh encryption of — standard.

Sketch

, and is uniform in when is. CPA security is the reduction on QR ⇒ PKE, which sets to the QR challenge.