Next: On the Existence of
Up: The Technion Period (1986-94)
Previous: A Trade-off between Information
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
- Journal of Cryptology, Vol. 7, No. 1 (1994), pp. 1-32.
Oded Goldreich
2003-07-30