Integrating Fully Homomorphic Encryption and Zero-Knowledge Proofs for Efficient Verifiable Computation

Abstract

Fully Homomorphic Encryption (FHE) enables computation on encrypted data with end-to-end confidentiality; however, its practical adoption remains limited by substantial computational costs...