We will survey several cryptographic notions of computation over encrypted data (e.g., fully homomorphic encryption), as well as their instantiations from lattices. The talk will focus on deriving a simple equation at the core of all of these constructions.