|
|
| Line 1: |
Line 1: |
| A '''Pseudorandom function (PRF)''' is a primitive originally defined in [cite].
| | #REDIRECT [[Pseudorandom Function (PRF)]] |
| | |
| TOOD: information definition
| |
| | |
| | |
| == Formal Definition ==
| |
| | |
| === Syntax ===
| |
| A Pseudorandom Function (PRF) is a tuple of functions <math>(\mathsf{Gen},\mathsf{Eval})</math>, with respect to a keyspace <math>\mathcal{K}</math>, domain <math>\mathcal{D}</math>, and range <math>\mathcal{D}</math>, such that:
| |
| * <math>\mathsf{Gen}(1^{\lambda}) \to k</math>, takes a security parameter, and outputs a key <math>k\in \mathcal{K}</math>,
| |
| * <math>\mathsf{Eval}(k,x) \to y</math>, takes a key <math>k\in \mathcal{K}</math> and input <math>x\in \mathcal{D}</math>, and outputs an element <math>y\in \mathcal{R}</math>.
| |
| | |
| | |
| === Security ===
| |