📅 27 December 2025
DOI: 10.62411/jcta.14181
Integrating Fully Homomorphic Encryption and Zero-Knowledge Proofs for Efficient Verifiable Computation
Journal of Computing Theories and Applications
Universitas Dian Nuswantoro
📄 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, including long encryption and decryption times, high memory consumption, and operational latency. Zero-Knowledge Proofs (ZKPs) complement FHE by enabling correctness verification without revealing sensitive information, although they do not support encrypted computation independently. This study integrates both techniques to enable encrypted computation with verifiably consistent results. A prototype system is implemented in Python using Microsoft SEAL for homomorphic encryption and PySNARK for Zero-Knowledge Proof verification. Experiments are conducted on standard consumer-grade hardware (Intel i5, 8 GB RAM, Ubuntu 22.04) using datasets ranging from 100 MB to 1 GB. The evaluation focuses on encryption and decryption time, homomorphic computation latency, memory usage, and proof generation overhead. Experimental results show that integrating ZKPs introduces a moderate and stable runtime overhead of approximately 15–20%, as analyzed in Section 4, while enabling verification without plaintext disclosure. Ciphertext expansion remains a notable limitation, with observed growth of approximately 30–40× relative to plaintext size, consistent with prior FHE implementations. Despite these overheads, the system demonstrates feasible scalability for datasets up to 1 GB on mid-level hardware. Overall, the results indicate that the integrated FHE+ZKP approach provides a practical balance between confidentiality, verifiability, and performance, supporting its applicability to privacy-preserving scenarios such as secure cloud computation, encrypted data analytics, and confidential data processing under realistic resource constraints.
🔖 Keywords
#Cryptography; Fully Homomorphic Encryption; Microsoft SEAL; Privacy-Preserving Systems; Python; Secure Computation; Zero-Knowledge Proofs; zk-SNARK
ℹ️ Informasi Publikasi
Tanggal Publikasi
27 December 2025
Volume / Nomor / Tahun
Volume 3, Nomor 3, Tahun 2025
📝 HOW TO CITE
Qureshi, UmmeAmmara; Doshi, Bhumika; More, Aditya; Joshi, Kashyap; Kumar, Kapil, "Integrating Fully Homomorphic Encryption and Zero-Knowledge Proofs for Efficient Verifiable Computation," Journal of Computing Theories and Applications, vol. 3, no. 3, Dec. 2025.
ACM
ACS
APA
ABNT
Chicago
Harvard
IEEE
MLA
Turabian
Vancouver
Download Citation
0
Sitasi
Cek Google Scholar