Gdel in Cryptography: Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup, and Perfect Soundness.

Rahul Ilango

Browse the full FOCS paper archive.