A Verifiable Random Function (VRF) is a cryptographic primitive that maps an input to a unique, pseudorandom output, accompanied by a cryptographic proof that the output was correctly generated using a specific secret key. This allows any party with the corresponding public key to verify the output's authenticity and randomness without learning the secret key, making it a cornerstone for provably fair leader election and committee selection in Byzantine Fault Tolerant (BFT) consensus algorithms like Algorand's Pure Proof of Stake.
