Verena: End-to-End Integrity Protection for Web Applications
SNARKs for C: Verifying program executions succinctly and in zero knowledge