Let
be efficiently computable by an algorithm (solving a P-problem).
For fixed
, view
as a function
of
that maps (or hashes)
bits to
bits. Let
, then
is said to be a (pairwise independent)
universal hash function if, for distinct
and for all
,
i.e.,
maps all distinct
independently and uniformly.
These functions are easily constructible (Wegman and Carter 1981, Luby 1996).