SNARKs for C

Snarks for C: verifying program executions succinctly and in zero knowledge.