Next: Simplified Derandomization of BPP
Up: Back at Weizmann (1998-2003)
Previous: Interleaved Zero-Knowledge in the
This work introduces the notion of Resettable Zero-Knowledge (RZK),
which means that the protocol remains zero-knowledge
even if an adversary can interact with the prover many times,
each time resetting the prover to its initial state and forcing it to
use the same random tape.
One of the results is a RZK proof system for NP.
Comments:
Authored by R. Canetti, O. Goldreich, S. Goldwasser and S. Micali. Appeared in
- Proc. of the 32nd STOC, pages 235-244, 2000.
Oded Goldreich
2003-07-30