Efficient Quantum Fully Homomorphic Encryption

तकनीकी सारांश: कुशल क्वांटम फुली होमोमोर्फिक एन्क्रिप्शन (QFHE)

1. समस्या: QFHE में दक्षता की बाधा

क्वांटम फुली होमोर्फिक एन्क्रिप्शन (QFHE) एक क्रिप्टोग्राफिक प्रिमिटिव है जो एक तीसरे पक्ष (जैसे, एक क्वांटम क्लाउड सर्वर) को एन्क्रिप्टेड क्वांटम डेटा पर बिना उसे डिक्रिप्ट किए मनमाने क्वांटम कंप्यूटेशन करने की अनुमति देता है। हालांकि यह सैद्धांतिक रूप से संभव है, मौजूदा निर्माणों को एक विशाल दक्षता बाधा (efficiency barrier) का सामना करना पड़ता है।

प्राथमिक बाधा T-गेट इवैल्यूएशन (T-gate evaluation) में निहित है। मानक QFHE स्कीम्स (जैसे ब्रॉडबैंड-जेफ्री या DSS मॉडल) में, सर्वर को एक एन्क्रिप्टेड कंट्रोल बिट के आधार पर सशर्त रूप से एक फेज करेक्शन ($P^\dagger$) लागू करना होता है। इसे गैर-इंटरैक्टिव रूप से करने के लिए, पिछले कार्यों ने डिक्रिप्शन सर्किट को ब्रांचिंग प्रोग्राम में बदलने के लिए बैरिंगटन के प्रमेय (Barrington’s Theorem) पर भरोसा किया। हालांकि, लर्निंग-विथ-एरर्स (LWE) आधारित स्कीम्स के लिए, यह एक ऐसे ब्रांचिंग प्रोग्राम की ओर ले जाता है जिसकी सर्किट डेप्थ पर घातांकीय (exponential) निर्भरता होती है, जिसके लिए अत्यधिक मात्रा में EPR पेयर्स (क्वांटम संसाधन)—सुरक्षा पैरामीटर $\lambda$ के क्रम में $O(\lambda^{2.58})$—की आवश्यकता होती है। यह वर्तमान या निकट-अवधि के क्वांटम हार्डवेयर के साथ व्यावहारिक, बड़े पैमाने पर QFHE को असंभव बनाता है।

2. कार्यप्रणाली: एक एकीकृत तीन-उपकरण ढांचा (Unified Three-Tool Framework)

लेखक एक अभिनव ढांचे का प्रस्ताव करते हैं जो तीन सैद्धांतिक स्तंभों को सहक्रियात्मक रूप से एकीकृत करके दक्षता में घातांकीय सुधार प्राप्त करता है:

• मॉड्यूलर अरिथमेटिक प्रोग्राम्स (MAP): LWE डिक्रिप्शन को एक जेनेरिक बूलियन सर्किट (जिसके लिए बैरिंगटन के प्रमेय की आवश्यकता होती है) के रूप में मानने के बजाय, लेखक इसके विशिष्ट बीजगणितीय (algebraic) ढांचे का लाभ उठाते हैं। वे एक विशेष MAP डिजाइन करते है जो LWE इनर प्रोडक्ट $\langle s_k, c \rangle \pmod q$ के आंशिक योग (partial sum) को ट्रैक करता है। $\mathbb{Z}_q$ में स्टेट को ट्रैक करके, वे स्टेट की चौड़ाई को $O(\log \lambda)$ बिट्स तक कम कर देते हैं।
• गार्डन-होस मॉडल (Garden-Hose Model): यह मॉडल क्लासिकल ब्रांचिंग प्रोग्राम और क्वांटम संसाधनों के बीच के सेतु के रूप में कार्य करता है। लेखक अपने लॉगरिदमिक-विड्थ MAP को गार्डन-होस मॉडल में मैप करते हैं, जहाँ "पाइप्स" क्वांटम अवस्थाओं का प्रतिनिधित्व करते हैं और बेल मेजरमेंट्स (Bell measurements) ट्रांजिशन को लागू करते हैं। यह कुशल MAP को एक कॉम्पैक्ट क्वांटम गैजेट में अनुवादित करने की अनुमति देता है।
• मेजरमेंट-बेस्ड क्वांटम कंप्यूटेशन (MBQC): लेखक MBQC ढांचे के भीतर होमोमोर्फिक इवैल्यूएशन का पुनर्निर्माण करते हैं। वे एडेप्टिव मेजरमेंट्स के लिए आवश्यक नियत (deterministic) कंट्रोल लॉजिक प्रदान करने के लिए फ्लो फंक्शन्स (flow functions) का उपयोग करते हैं। यह सर्वर को एन्क्रिप्टेड कंट्रोल बिट्स पर गतिशील रूप से प्रतिक्रिया करने में सक्षम बनाता है, जिससे $P^\dagger$ गेट का सशर्त अनुप्रयोग संभव होता है।

3. मुख्य योगदान

• गैर-सममित अनुकूलन (Non-Symmetric Optimization): यह शोध पत्र पहचानता है कि LWE डिक्रिप्शन एक सममित फलन (symmetric function) नहीं है (गुणांक $c_i$ स्थिति के अनुसार भिन्न होते हैं), जिसका अर्थ है कि सममित फलनों (जैसे सिन्हा का निर्माण) के लिए पिछले अनुकूलनों का उपयोग नहीं किया जा सकता है। लेखकों का MAP पहली बार इस गैर-सममित मॉड्यूलर संरचना को कुशलतापूर्वक संभालने वाला है।
• घातांकीय संसाधन न्यूनीकरण: वे एक लॉगरिदमिक-विड्थ MAP से क्वांटम गैजेट तक एक सीधा मैपिंग प्रदान करते हैं, जो आवश्यक EPR पेयर्स की एसिम्प्टोटिक जटिलता को मौलिक रूप से बदल देता है।
• पूर्णतः क्लासिकल क्लाइंट: ड्यूल-मोड ट्रैपडोर फंक्शन का उपयोग करके, यह स्कीम क्लाइंट को पूरी तरह से क्लासिकल रहने की अनुमति देती है, जिससे सारा जटिल क्वांटम स्टेट प्रिपरेशन सर्वर को आउटसोर्स कर दिया जाता है।
• सर्कुलर सिक्योरिटी से बचाव: कई FHE स्कीम्स के विपरीत, यह निर्माण केवल क्लासिकल LWE धारणा पर निर्भर करता है और सर्कुलर सिक्योरिटी या क्वांटम हार्डनेस धारणाओं की आवश्यकता से बचता है।

4. परिणाम और प्रदर्शन

सबसे उल्लेखनीय परिणाम आवश्यक क्वांटम गैजेट (आवश्यक EPR पेयर्स की संख्या) के आकार में कमी है:

• एसिम्प्टोटिक सुधार: गैजेट का आकार $O(\lambda^{2.58})$ से घटकर $O(\lambda \log^2 \lambda)$ हो गया है।
• ठोस सुधार: मानक सुरक्षा मापदंडों के लिए, लेखक $2^{15}$ से $2^{18}$ का ठोस न्यूनीकरण कारक प्रदर्शित करते हैं।
• उदाहरण: 256-बिट सुरक्षा के लिए, DSS स्कीम को लगभग $2^{244}$ EPR पेयर्स की आवश्यकता होगी (एक असंभव संख्या), जबकि प्रस्तावित स्कीम को केवल लगभग $2^{226}$ की आवश्यकता होगी (एक विशाल कमी, हालांकि अभी भी बड़ी है, जो स्केलिंग के संदर्भ में "असंभव" से "सैद्धांतिक रूप से व्यवहार्य" की ओर एक बदलाव का प्रतिनिधित्व करती है)।

5. महत्व

यह कार्य व्यावहारिक गोपनीयता-संरक्षण क्वांटम क्लाउड कंप्यूटिंग की दिशा में एक बड़ी छलांग है। क्वांटम संसाधन बाधा को कई गुना कम करके, लेखक QFHE को एक विशुद्ध रूप से सैद्धांतिक निर्माण से एक यथार्थवादी कार्यान्वयन की ओर ले आए हैं। यह ढांचा अत्यधिक विस्तार योग्य है, जिसमें लेखक Ring-LWE (क्लासिकल दक्षता के लिए), NTRU, और एट्रीब्यूट-बेस्ड एन्क्रिप्शन (ABE) में संभावित अनुप्रयोगों का प्रदर्शन करते हैं। यह सुरक्षित, डेलीगेटेड क्वांटम कंप्यूटेशन सिस्टम बनाने के लिए एक रोडमैप प्रदान करता है जो तब भी कार्य कर सकते हैं जब उपयोगकर्ता के पास केवल एक क्लासिकल कंप्यूटर हो।