CPA Security ⇔ CPA Security
CPA Security is equivalent to CPA Security.
Statement
Migrated verbatim from hybrid-argument § Standard applications:
Semantic security / CPA: In the proof that IND-CPA security implies semantic security (or vice versa), a hybrid replaces the actual encryption oracle with a random-message oracle one query at a time.
Notes
source: folklore: the claim carried no citation on the page it was
migrated from, and none was invented.
Recorded during migration and not fixed — these are claims about the source text, not changes to it:
- No citation (Goldwasser–Micali / the standard equivalence is not referenced).
- “(or vice versa)” makes the direction ambiguous — recorded as equivalent, but the page does not commit.
- “ind-cpa-security” and “semantic-security” are security notions, not pages; no wiki slugs exist for them (they live inside content/Primitives/public-key-encryption.md).