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).