V*(x)
P(x,s,r)
P(x,s,r)
P(x,s,r)
...
Note: The notion generalizes to the case where
V* has access to many ìincarnationsî (x, s,ri) of P.
P-prover
V*-resetting verifier
R-coins of P
| Diapositive prÈcÈdente | Diapositive suivante | Revenir ý la premiËre diapositive | Afficher la version graphique |