Higher residuosity ⇒ PKE
Statement
The higher residuosity assumption implies IND-CPA-secure PKE with message space , generalizing GM84 from quadratic to -th power residues: for with prime, , and , and a fixed -th non-residue , encrypt as for — CF85.
Sketch
The reduction sets to the higher-residuosity challenge, as the GM84 reduction does with the QR challenge: for a -th non-residue the public key is distributed as in the scheme, and for a -th residue every ciphertext is a uniform -th residue, independent of the message. Knowing , the decryptor computes and recovers by exhaustive search in the order- subgroup, efficient for .
Notes
- Dense variant with ciphertext expansion arbitrarily close to (the Benaloh cryptosystem) — Ben94.
- Corrected key-generation conditions for the dense scheme, whose original parameters can make decryption ambiguous — FLA11.
- Deterministic and probabilistic variants with smooth exponent and higher bandwidth — NS98.