Verifiable Computation on encrypted data

Verifiable Computation on encrypted data