Verified Random Functions are distributed random data generators whose output may be later verified. In the Cardano protocol, a VRF is used to generate random slot numbers which can be verified at a later epoch, thus proving that mining pools did indeed have the right to mint that slot.
One publication found under Verified Random Functions