The simulator plays the ìextractorî for the verifierís proof
of knowledge. Running the extractor in a setting where the
verifier of the PoK is resettable requires a bound on the size
of the public file.
| Diapositive prÈcÈdente | Diapositive suivante | Revenir ý la premiËre diapositive | Afficher la version graphique |