DCR ⇒ PKE

DCR implies PKE.

Statement

Migrated verbatim from decisional-composite-residuosity § Known Results:

• DCR → CPA-secure PKE with additive homomorphism — Pai99

Notes

class: unstated: no citing page says which notion of reduction is meant. Recording a class the wiki does not state would add a claim.

Recorded during migration and not fixed — these are claims about the source text, not changes to it:

• Overlaps line 29 (same scheme, same citation).
• Security notion (IND-CPA) and the additive-homomorphism qualifier live in prose, not in the conclusion identifier.