Zero-Knowledge Proof of Decryption for FHE Ciphertexts
(Leveled) Fully Homomorphic Encryption without Bootstrapping