This paper looks really interesting: eprint.iacr.org/2025/770 ZKPs for (F)HE Schemes based on Ring-LWE. FHE + ZKPs are a dream combo.
eprint.iacr.orgZHE: Efficient Zero-Knowledge Proofs for HE EvaluationsHomomorphic Encryption (HE) allows computations on encrypted data without decryption. It can be used where the users’ information are to be processed by an untrustful server, and has been a popular ch...
0 reposts2 likes