Privacy is dead, long live privacy
SNARKs for C: Verifying program executions succinctly and in zero knowledge