Everything provable is provable in zero-knowledge (1988)

by M Ben-Or, O Goldreich, S Goldwasser, J H˙astad, J Kilian, S Micali, P Rogaway
Venue:In Proc. CRYPTO ’88