DDH ⇒ Highly lossy TDF (Peikert–Waters)

Fully-black-box reduction · standard model · PW08 · security loss: a factor polynomial in n, from a hybrid over the entries of the encrypted matrix

Statement

If DDH holds in a group of prime order , then lossy trapdoor functions on exist whose lossy mode has at most images, so the residual leakage is at most ; for with a constant it is at most , so the functions are highly lossy — PW08.

Sketch

The index is an entrywise ElGamal encryption of a matrix with randomness per row and secret key per column: and . For , is computed from the index by multiplying entries. With the trapdoor recovers each , hence ; with the output depends on only through . The two indices are indistinguishable under DDH by a hybrid over the matrix entries — PW08.

Notes