((x, n), s)
Let QR={(x,n) : x=s2 mod n}
input: (x,n)
Claim: Zero Knowledge POK [GMR86]
Claim: Parallel Repetitions are WHPOK [FFS87]
ExtractorAlice: Asks for the same R2 mod n, for both B=0 and B=1,
gets R and Rx, and computes s=Rs/R mod n
| Diapositive prÈcÈdente | Diapositive suivante | Revenir ý la premiËre diapositive | Afficher la version graphique |