Alice (prover) Bob (verifier)
FFS87: Witness Hiding Proof of Knowledge (WHPOK) suffices
Various implementations of paradigm: [FFS, GQ, Sch, MS,OhOk, Ok, BMÖ]
Aliceís Public key x
Let (x,s) e R a relation testable in polynomial time
Witness Hiding
Proof of Knowledge of s
If prover convinces
me she knows s, she
must be Alice
(x,s)
| Diapositive prÈcÈdente | Diapositive suivante | Revenir ý la premiËre diapositive | Afficher la version graphique |