F-VRF — Verifiable random function

F-VRF (Verifiable random function) is part of Privacy and Anonymity in the UC functionality encyclopedia. Status: a canonical, well-established UC functionality.

References:

• Badertscher, Gaži, Querejeta-Azurmendi, and Russell. A Composable Security Treatment of ECVRF and Batch Verifications. In European Symposium on Research in Computer Security (ESORICS), volume 13556 of LNCS, pages 22–41, 2022.
• David et al. Ouroboros praos: An adaptively-secure, semi-synchronous proof-of-stake blockchain. In Advances in Cryptology – EUROCRYPT 2018, 2018.