Glossaire
protocole d’accord byzantin Fonction aléatoire vérifiable Les fonctions aléatoires vérifiables (VRF) ont été développées par Silvio Micali, Michael Rabin et Salil Vadhan en 1999, puis améliorées par Yevgeniy Dodis et Aleksandr Yampolskiy en 2005 https://en.wikipedia.org/wiki/Verifiable_random_function Fonctions vérifiable à délai - (Verifiable Delay Function) Fonctions qui demande un temps de résolution déterminé et qui sont facilement vérifiables. Ces fonctions sont utilisées dans de nombreux mécanismes. Leur évaluation requiert un nombre connu d'étapes, une certaine rapidité d'exécution et la possibilité de vérifier publiquement et rapidement (à faible coût) le résultat de l'évaluation de la fonction. Par ailleurs il est requis que le résultat de l'évaluation ne puisse être altéré une fois évalué. Evidemment, pour chaque valeur x, il ne peut exister qu'une unique valeur de sortie y = f(x). On considère qu'une VDF est composée de 3 algorithmes : - Setup(λ,t) :