ECCC-Report TR06-136https://eccc.weizmann.ac.il/report/2006/136Comments and Revisions published for TR06-136en-usSun, 22 Oct 2006 16:08:58 +0200
Paper TR06-136
| On Probabilistic versus Deterministic Provers in the Definition of Proofs Of Knowledge |
Mihir Bellare,
Oded Goldreich
https://eccc.weizmann.ac.il/report/2006/136This note points out a gap between two natural formulations of
the concept of a proof of knowledge, and shows that in all
natural cases (e.g., NP-statements) this gap can be closed.
The aforementioned formulations differ by whether they refer to
(all possible) probabilistic or deterministic prover strategies.
Unlike in the rest of cryptography, in the current context,
the obvious transformation of probabilistic strategies
to deterministic strategies does not seem to suffice per se.
Sun, 22 Oct 2006 16:08:58 +0200https://eccc.weizmann.ac.il/report/2006/136