Perfectly correct CPA-secure PKE ⇒ CPA-secure PKE Fully-black-box reduction · standard model · folklore · security loss: none Statement A perfectly correct IND-CPA-secure PKE scheme is IND-CPA-secure — folklore.