VERITAS Project

Homomorphic encryption schemes enable computations to be executed directly on ciphertexts without knowledge of the secret key, hence they are becoming an auspicious solution to protecting confidentiality in cloud computing. However, clients do not obtain any guarantees about the correctness of the computations performed by the cloud. We propose to explore how Verifiable Computing and Proof Systems can be combined with homomorphic encryption. Our end goal is to provide an open-source system that could be use off-the-shelf in existing homomorphic pipelines.