Homomorphic Encryption TODO Definition Variations Other results If homomorphic encryption exists, then one can build rerandomizable encryption, which in turn implies that SZK contains a problem which is not in BPP — BL13