Non-interactive verifiable computing: Outsourcing computation to untrusted workers
fully homomorphic encryption over the integers .