Qureshi, U.; Doshi, B.; More, A.; Joshi, K.; Kumar, K. Integrating Fully Homomorphic Encryption and Zero-Knowledge Proofs for Efficient Verifiable Computation. J. Comput. Theor. Appl. 2025, 3, 274-285.