How to Construct Constant-Round Zero-Knowledge Proof Systems for NP. - Oded Goldreich 001; Ariel Kahan (J. Cryptol., 1996)