Visit to Munich, 🇩🇪

I Presented my paper “𝗧𝗼𝘄𝗮𝗿𝗱𝘀 𝗣𝗿𝗶𝘃𝗮𝗰𝘆 𝗮𝗻𝗱 𝗜𝗻𝘁𝗲𝗴𝗿𝗶𝘁𝘆: 𝗦𝗡𝗔𝗥𝗞-𝗗𝗿𝗶𝘃𝗲𝗻 𝗩𝗲𝗿𝗶𝗳𝗶𝗮𝗯𝗹𝗲 𝗙𝗛𝗘 𝗳𝗼𝗿 𝗢𝘂𝘁𝘀𝗼𝘂𝗿𝗰𝗲𝗱 𝗖𝗼𝗺𝗽𝘂𝘁𝗮𝘁𝗶𝗼𝗻,” co-authored with Sahadeo Padhye, Rajeev Anand Sahu, and Dr. Vishal Saraswat, at 𝗣𝗿𝗶𝘃𝗖𝗿𝘆𝗽𝘁 𝟮𝟬𝟮𝟱, a co-located workshop of 𝗔𝗖𝗡𝗦 𝟮𝟬𝟮𝟱, to be held in Munich, Germany, from June 23–26, 2025.

𝗔𝗯𝘀𝘁𝗿𝗮𝗰𝘁: Fully Homomorphic Encryption (FHE) enables secure computation on encrypted data, preserving confidentiality without requiring decryption. However, FHE alone cannot guarantee the integrity of results computed by potentially untrusted servers, necessitating mechanisms to verify correctness. Succinct Non-Interactive Arguments of Knowledge (SNARKs) have emerged as a powerful tool to address this challenge, enabling efficient verification of computations while maintaining data privacy. This paper provides a review of SNARK-based approaches for verifiable FHE, focusing on recent advancements in designing SNARK-friendly homomorphic schemes and the integration of homomorphic signatures and Message Authentication Codes (MACs), many of which leverage SNARKs for enhanced security.