A Verifiable Delay Function (VDF) is a mathematical puzzle that requires a certain amount of time and computational effort to solve; once solved, its correctness can be efficiently verified by anyone.