TEE-assisted Computation Over Ciphertext: A Review | Synapse