Glossary
Fonction à délai vérifiable (VDF)
Une fonction dont le calcul exige une quantité prescrite de travail séquentiel mais qui produit une preuve que chacun peut vérifier rapidement, garantissant qu'un temps réel s'est écoulé.
Une VDF exige un nombre fixe d'étapes séquentielles pour être évaluée — le calcul ne peut pas être accéléré en ajoutant des processeurs. Une fois la sortie produite, elle s'accompagne d'une preuve courte que chacun peut vérifier presque instantanément, si bien qu'un résultat lent à calculer devient peu coûteux à contrôler.
Cette asymétrie rend les VDF utiles pour un aléa infalsifiable : un beacon peut mélanger des entrées puis exécuter une VDF, de sorte qu'aucun participant ne peut tester des valeurs candidates pour biaiser le résultat. Les chercheurs d'Ethereum ont étudié les VDF aux côtés de RANDAO pour durcir la sélection du leader, et des projets comme Chia les utilisent comme élément central du consensus.