diff --git a/posts/cours-id-authn.md b/posts/cours-id-authn.md index 9acc4dd..d1cf1fa 100644 --- a/posts/cours-id-authn.md +++ b/posts/cours-id-authn.md @@ -776,7 +776,7 @@ Une caractéristique intéressante de la preuve à divulgation nulle de connaiss ```mermaid --- -title: Illustration du protocole de Schnorr +title: Illustration du protocole de Feige–Fiat–Shamir (simplifié) --- sequenceDiagram autonumber @@ -792,14 +792,13 @@ sequenceDiagram v ->> p:"Convaincs moi." p ->> p: Se munit de sa clé privée S loop Jusqu'à ce que Victor soit convaincu ou que Peggy ne calcule pas correctement - p ->> p:Tire une valeur aléatoire X + p ->> p:Tire une valeur aléatoire x, et calcule une fonction D(x) = X p ->> v:"Voici X" v ->> v:Tire à pile ou face - v --> p:"Voici le résultat du pile ou face" - p ->> p:Calcule la fonction F(S, X) si c'est pile, ou la fonction G(S, X) si c'est face - Note right of p:Suivant X, l'une des fonctions F ou G ne peut être calculée que par qqn connaissant S + v --> p:"Voici le résultat du tirage à pile ou face" + p ->> p:Calcule la fonction F(S, x, pile ou face) = Y p ->> v:"Voici le résultat du calcul" - v ->> v:Vérifie le calcul avec la clé publique de Peggy + v ->> v:Vérifie le calcul avec la clé publique de Peggy avec une fonction G(X, Y, clé publique de Peggy) alt Le calcul est correct v ->> v:Est un peu plus convaincu else Le calcul est incorrect