# Homomorphic Encryption TODO ## Definition ### Variations ## Other results - If homomorphic encryption exists, then one can build *rerandomizable encryption*, which in turn implies that [[Statistical zero-knowledge|SZK]] contains a problem which is not in [[Bounded-Error Probabilistic Polynomial-Time|BPP]] — [[BL13 - Limits of Provable Security for Homomorphic Encryption|BL13]]