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).