Conference paper
Stability of adversarial queues via fluid models
David Gamarnik
FOCS 1998
We consider zero knowledge interactive proofs in a richer, more realistic communication environment. In this setting, one may simultaneously engage in many interactive proofs, and these proofs may take place in an asynchronous fashion, it is known that zero-knowledge is not necessarily preserved in such an environment; we show that for a large class of protocols, it cannot be preserved. Any 4 round (computational) zero-knowledge interactive proof (or argument) for a non-trivial language L is not black-box simulatable in the asynchronous setting.
David Gamarnik
FOCS 1998
R. Kumar, Prabhakar Raghavan, et al.
FOCS 1998
Mihir Bellare, U. Feige, et al.
ISTCS 1995