Separating Verifiable Delay Functions and Time-Lock Puzzles. - Hamza Abusalah; Nivesh Aggarwal; Karen Azari; Chethan Kamath; Maximilian von Consbruch (EUROCRYPT (5), 2026)