Zero-Knowledge Proof of Decryption for FHE Ciphertexts
implementing gentry ' s fully - homomorphic encryption scheme .