bonjour, dans le cadre de mon TIPE, je dois coder un protocole en cryptographie : protocole de fiat shamir ci dessous

Une autorité choisit deux nombres premiers p et q et calcule n = p.q. Elle choisit ensuite sÎ[1,n-1] secret premier avec n et calcule v=s² mod n public. Au final, l’entrée commune x est le couple (n,v) et le prouveur dispose sur son entrée auxiliaire de s (son secret).
Les étapes :
- Le prouveur choisit un nombre aléatoire r dans [1,n-1] et calcule x = r² mod n.
Il envoie x au vérifieur.
- Le vérifieur choisit b appartant à {0,1} aléatoirement.
Il envoie b au prouveur.
- Le prouveur calcule y = r.sb mod n.
Il envoie y au vérifieur.
· Si y different 0 et y²=x.vb (mod n) alors le vérifieur accepte l’entrée (retourne 1) sinon il la refuse (retourne 0).




pouvez vous m'aider a coder ca ! j'imagine que je dois utiliser un evalb.

Merci pour votre aide.