Pseudorandom Function (PRF)

A Pseudorandom Function (PRF) is a primitive originally defined in [cite].

TOOD: information definition

Formal Definition

Syntax

A Pseudorandom Function (PRF) is a tuple of functions $({\mathsf {Gen}},{\mathsf {Eval}})$, with respect to a keyspace ${\mathcal {K}}$, domain ${\mathcal {D}}$, and range ${\mathcal {D}}$, such that:

• ${\mathsf {Gen}}(1^{\lambda })\to k$, takes a security parameter, and outputs a key $k\in {\mathcal {K}}$,
• ${\mathsf {Eval}}(k,x)\to y$, takes a key $k\in {\mathcal {K}}$ and input $x\in {\mathcal {D}}$, and outputs an element $y\in {\mathcal {R}}$.