Homomorphic Encryption and Computational Proofs