Comments: Authored by O. Goldreich, S. Goldwasser and S. Micali. (This is a preliminary version of the next work.) Appeared in
ECCC, TR99-024, 1999.