Adaptively Secure Fully Homomorphic Signatures Based on Lattices.
SNARKs for C: Verifying program executions succinctly and in zero knowledge