Everything Provable is Provable in Zero-Knowledge.

Michael Ben-Or, Oded Goldreich, Shafi Goldwasser, Johan Hstad, Joe Kilian, Silvio Micali, Phillip Rogaway

Browse the full CRYPTO paper archive.