Verifiable FHE via Lattice-based SNARKs. - Shahla Atapoor; Karim Baghery; Hilder V. L. Pereira; Jannik Spiessens (IACR Commun. Cryptol., 2024)

Blind zkSNARKs for Private Proof Delegation and Verifiable Computation over Encrypted Data. - Mariana Gama; Emad Heydari Beni; Jiayi Kang; Jannik Spiessens; Frederik Vercauteren (IACR Cryptol. ePrint Arch., 2024)