WE + PRG ⇒ PKE (GGSW)
Statement
Witness encryption for and a length-doubling PRG yield an IND-CPA-secure PKE scheme: the secret key is a seed , the public key is , a ciphertext is for the statement ” is in the image of ”, and is the decryption witness — GGSW13.
Sketch
Replace the public key by a uniform string , which the adversary cannot notice by PRG security. With probability at least , is outside the image of , a false statement, so soundness security of the witness encryption hides the message — GGSW13.