Definitionadvanced
Pseudorandom function
Also called PRF.
A keyed function whose outputs look random to any efficient distinguisher.
A keyed function whose outputs look random to any efficient distinguisher.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag T4RNPC Edit this page History Report an error