Rerandomizable encryption

A public-key encryption scheme with a public rerandomization algorithm that maps any ciphertext to a fresh ciphertext of the same message, distributed as a fresh encryption of that message.

TODO: syntax and security definition.