WE + PRG ⇒ PKE (GGSW)

Free reduction · standard model · GGSW13 · security loss: additive: the PKE advantage is at most twice the PRG advantage plus the witness-encryption advantage plus 2^{-λ}

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.