fmaury/Broken-by-Design
1
0
Fork 0
Code Pull requests Releases Activity Actions

Correction du protocole illustrant une preuve ZKP

Browse source 
J'ai mélangé FFS et Schnorr... Oopsie :)
This commit is contained in:
Florian Maury 2024-03-03 10:27:28 +01:00
parent d9201f214a
commit c00ec5257e
1 changed files with 5 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
posts/cours-id-authn.md
View file

@ -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