SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge.

Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer, Madars Virza

Browse the full CRYPTO paper archive.