next up previous
Next: On the Existence of Up: The Technion Period (1986-94) Previous: A Trade-off between Information

Definitions and Properties of Zero-Knowledge Proof Systems

Among the results is a proof that zero-knowledge w.r.t auxiliary-input is closed under sequential composition, and that the non-trivilaity of zero-knowledge requires that both the prover and the verifier employ randomized strategies.


Comments: Authored by O. Goldreich and Y. Oren. Appeared in



Oded Goldreich
2003-07-30