QR ⇒ Additively homomorphic encryption
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.