ZKBoo: Faster Zero-Knowledge for Boolean Circuits
SNARKs for C: Verifying program executions succinctly and in zero knowledge