Every Thing Provable is provable in ZK (1988)

by M Ben-Or, O Goldreich, S Goldwasser, J Hastad, J Killian, S Micali, P Rogaway
Venue:Proceedings of Crypto88