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 Proc. of CRYPTO,