Comment on IACR 2025 election cannot be verified due to lost decryption key