पूर्ण होमॉर्फिक एन्क्रिप्शन (FHE) एन्क्रिप्टेड डेटा पर मनमाने गणनाओं की अनुमति देता है, लेकिन उन गणनाओं की अखंडता सुनिश्चित करने के लिए तंत्रों की कमी है। विशेष रूप से, यह सत्यापित करना कि एल्गोरिदम के इनपुट सही हैं या कि इच्छित एल्गोरिदम वास्तव में निष्पादित किया गया था, एक खुली चुनौती बनी हुई है। यह लेख इस मुद्दे को दो प्रमुख योगदान देकर संबोधित करता है। पहले, हम FHE में अखंडता दोषों का एक समग्र विश्लेषण करते हैं, जो इन चिंताओं को संबोधित करने के लिए प्रमाणित FHE परिभाषित करने के साथ समाप्त होता है। दूसरे, हम प्रमाणित FHE प्रदान करने के लिए मौजूदा दृष्टिकोणों की प्रणालीगत समीक्षा प्रदान करते हैं, उनकी ताकत और कमजोरियों का आकलन करते हैं, साथ ही साथ व्यावहारिक सेटिंग में उनके आवेदन की संभावना का। हमारे निष्कर्ष बताते हैं कि, आशाजनक प्रगति के बावजूद, प्रमाणित FHE के सैद्धांतिक आधारों और व्यावहारिक तैनाती में महत्वपूर्ण अंतराल बने रहते हैं। हम भविष्य के अनुसंधान दिशाओं को रेखांकित करते हैं जो प्रमाणित FHE गणनाओं को प्राप्त करने के लिए आवश्यक हैं।
Bernabé-Rodríguez et al. (Fri,) ने इस प्रश्न का अध्ययन किया।