Universal hash

In mathematics and computing universal hashing (in a randomized algorithm or data structure) refers to selecting a hash function at random from a family of hash functions with a certain mathematical property (see definition below). This guarantees a low number of collisions in expectation, even if the data is chosen by an adversary. Many universal families are known (for hashing integers, vectors, strings), and their evaluation is often very efficient. Universal hashing has numerous uses in computer science, for example in implementations of hash tables, randomized algorithms, and cryptography.

Assume we want to map keys from some universe ${\displaystyle U}$ into ${\displaystyle m}$ bins (labelled ${\displaystyle [m]=\{0,\dots ,m-1\}}$). The algorithm will have to handle some data set ${\displaystyle S\subseteq U}$ of ${\displaystyle |S|=n}$ keys, which is not known in advance. Usually, the goal of hashing is to obtain a low number of collisions (keys from ${\displaystyle S}$ that land in the same bin). A deterministic hash function cannot offer any guarantee in an adversarial setting if the size of ${\displaystyle U}$ is greater than ${\displaystyle m\cdot n}$, since the adversary may choose ${\displaystyle S}$ to be precisely the preimage of a bin. This means that all data keys land in the same bin, making hashing useless. Furthermore, a deterministic hash function does not allow for rehashing: sometimes the input data turns out to be bad for the hash function (e.g. there are too many collisions), so one would like to change the hash function.

...
Wikipedia