SNARKs for C: Verifying program executions succinctly and in zero knowledge (2013)

by E Ben-Sasson, A Chiesa, D Genkin, E Tromer, M Virza
Venue:In IACR International Cryptology Conference (CRYPTO