Zero-Knowledge Proof of Decryption for FHE Ciphertexts
A Roadmap to Fully Homomorphic Elections: Stronger Security, Better Verifiability