Malleability of transformations on the ciphertext in noisy Quantum public key encryption

तकनीकी सारांश: साइफरटेक्स्ट पर रूपांतरणों की मैलिएबिलिटी (Malleability of Transformations on the Ciphertext in Noisy Quantum Public Key Encryption)

समस्या विवरण
यह शोध पत्र शोर (noise) की उपस्थिति में क्वांटम पब्लिक की एन्क्रिप्शन (QPKE) और क्वांटम की डिस्ट्रीब्यूशन (QKD) के लिए "एवरलास्टिंग सिक्योरिटी" (everlasting security) को कठोरता से सूत्रित करने की चुनौती को संबोधित करता है। हालांकि मालवोलटा और वाल्टर [3] के पिछले कार्य ने शोर रहित (noiseless) परिवेश में एवरलास्टिंग सिक्योरिटी के लिए एक ढांचा स्थापित किया था—यह प्रदर्शित करते हुए कि एलिस (Alice) और बॉब (Bob) के बीच केवल दो राउंड के इंटरैक्शन के बाद सुरक्षा प्राप्त की जा सकती है—यह कार्य इस बात की जांच करता है कि शोर का समावेश प्रोटोकॉल की सुरक्षा थ्रेशोल्ड (security thresholds) को कैसे प्रभावित करता है। विशेष रूप से, यह शोध पत्र साइफरटेक्स्ट रूपांतरणों की मैलिएबिलिटी (malleability) और क्रिप्टोग्राफिक ऑपरेशंस में शोर इंजेक्ट किए जाने पर प्रोटोकॉल की सुरक्षा के बीच संबंध की खोज करता है। मुख्य समस्या इष्टतम शोर रहित मामले से 'निग्लिजिबिलिटी फंक्शन' (negligibility function - जो एडवरसरी के लाभ को मापता है) को एक शोर वाले (noisy) परिवेश में सामान्यीकृत करना है, जिसमें प्लेनटेक्स्ट और साइफरटेक्स्ट रूपांतरणों की मैलिएबिलिटी के बारे में धारणाओं का उपयोग किया गया है।

कार्यप्रणाली (Methodology)
लेखक नॉइजी QPKE-QKD प्रोटोकॉल का विश्लेषण करने के लिए क्वांटम इंफॉर्मेशन थ्योरी और एब्स्ट्रैक्ट क्रिप्टोग्राफी के संयोजन का उपयोग करते हैं। कार्यप्रणाली निम्नलिखित प्रमुख घटकों के इर्द-गिर्द संरचित है:

1. मैलिएबिलिटी के माध्यम से शोर का समावेश (Noise Injection via Malleability): यह शोध पत्र मैलिएबिलिटी की अवधारणा को अपनाता है, जिसे मूल रूप से मॉरर और टैकमैन [9] द्वारा "ऑथेंटिकेट देन एनक्रिप्ट" और "एनक्रिप्ट देन ऑथेंटिकेट" प्रोटोकॉल की तुलना के लिए पेश किया गया था। लेखक प्लेनटेक्स्ट स्पेस पर नॉइजी ट्रांसफॉर्मेशन को तीन त्रुटि संभावनाओं (error probabilities) द्वारा परिभाषित करते हैं: फॉरवर्डिंग एरर (forwarding error), डिलीटिंग एरर (deleting error), और रिकंस्ट्रक्शन एरर (reconstruction error)। इन त्रुटियों का उपयोग साइफरटेक्स्ट पर शोर के प्रभाव को मॉडल करने के लिए किया जाता है।
2. ट्रेस डिस्टेंस और जेंटल मेजरमेंट लेम्मा (Gentle Measurement Lemma - GML): एक केंद्रीय तकनीकी उपकरण के रूप में, क्वांटम इंफॉर्मेशन थ्योरी [18] से जेंटल मेजरमेंट लेम्मा का अनुकूलन किया गया है। लेखक एक विशिष्ट ऑपरेटर के ट्रेस के निचले स्तर (lower bound) के आधार पर दो क्वांटम अवस्थाओं (जो वास्तविक और आदर्श प्रयोगों का प्रतिनिधित्व करती हैं) के बीच ट्रेस डिस्टेंस (trace distance) पर ऊपरी सीमा (upper bound) स्थापित करने के लिए इस लेम्मा का उपयोग करते हैं। यह शोर की उपस्थिति में निग्लिजिबिलिटी फंक्शन के सामान्यीकरण की अनुमति देता है।
3. नॉइजी क्वांटम पॉलिनोमियल-टाइम (NQPT) मशीनें: यह शोध पत्र नॉइजी सेटिंग को औपचारिक रूप देने के लिए नॉइजी क्वांटम पॉलिनोमियल-टाइम (NQPT) मशीनों और नॉइजी कम्पलीटली पॉजिटिव ट्रेस प्रिजर्विंग (CPTP) मैप्स को परिभाषित करता है। ये ऑब्जेक्ट्स शोर वाली स्थितियों के तहत एलिस, बॉब और एडवरसरी (ईव/Eve) के व्यवहार को मॉडल करने के लिए उनके शोर रहित समकक्षों का स्थान लेते हैं।
4. प्रोजेक्शन ऑपरेटर्स और स्टेट डीकंपोजिशन: विश्लेषण में मानक प्रोजेक्शन ऑपरेटर $\Pi$ (जो शोर रहित QPKE-QKD प्रोटोकॉल में उपयोग किया जाता है) में शोर पदों (जैसे $|\sigma + \text{noise}\rangle$) को शामिल करते हुए नॉइजी प्रोजेक्शन ऑपरेटर्स ($\tilde{\Pi}$) का निर्माण शामिल है। लेखक नॉइजी और शोर रहित प्रोजेक्शन ऑपरेटर्स, ट्रेस ऑपरेशंस, और केट/ब्रा (ket/bra) अवस्थाओं की तुलना करके ट्रेस डिस्टेंस पर ऊपरी सीमा प्राप्त करते हैं।
5. रिसोर्स-थ्योरेटिक दृष्टिकोण (Resource-Theoretic Approach): यह शोध पत्र [9] से रिसोर्स-थ्योरेटिक फ्रेमवर्क का उपयोग करता है, जो प्रोटोकॉल द्वारा निर्मित रिसोर्सेज की अविभेद्यता (indistinguishability) के संदर्भ में सुरक्षा और उपलब्धता को परिभाषित करता है। इसमें हाइब्रिड प्रयोगों के संयोजन और अविभेद्यता का विश्लेषण शामिल है।

प्रमुख योगदान

• नॉइजी एवरलास्टिंग सिक्योरिटी का औपचारिकीकरण: यह शोध पत्र एक नॉइजी QPKE प्रोटोकॉल के लिए "एवरलास्टिंग सिक्योरिटी" को परिभाषित करता (परिभाषा 37), यह स्थापित करते हुए कि नॉइजी हाइब्रिड प्रयोगों के बीच ट्रेस डिस्टेंस एक नॉइजी सुरक्षा पैरामीटर $\lambda'$ पर निर्भर निग्लिजिबिलिटी फंक्शन द्वारा सीमित है।
• निग्लिजिबिलिटी फंक्शन का सामान्यीकरण: लेखक एक नॉइजी सेटिंग में ट्रेस डिस्टेंस और निग्लिजिबिलिटी फंक्शन $NEGL(\lambda')$ के बीच संबंध को व्युत्पन्न करते हैं। वे प्रदर्शित करते हैं कि शोर संबंधी विशिष्ट धारणाओं के तहत, नॉइजी सेटिंग में निग्लिजिबिलिटी फंक्शन शोर रहित मामले की तुलना में एक उच्च सुरक्षा थ्रेशोल्ड से संबंधित होता है।
• GML के माध्यम से ट्रेस डिस्टेंस बाउंड्स: एक प्राथमिक तकनीकी योगदान जेंटल मेजरमेंट लेम्मा का उपयोग करके ट्रेस डिस्टेंस पर एक ऊपरी सीमा का व्युत्पन्न करना है। लेखक दिखाते हैं कि:
  $$Td(\tilde{Exp}, Exp) \lesssim \sqrt{NEGL(\lambda' - \lambda)}$$
  यह विशिष्ट ऑपरेटर (जिसमें नॉइजी और शोर रहित अवस्थाओं ($\tilde{\rho} - \tau$) के बीच का अंतर शामिल है) के ट्रेस के निचले स्तर को सिद्ध करके प्राप्त किया गया है।
• मैलिएबिलिटी धारणाएं: यह कार्य स्पष्ट रूप से प्रोटोकॉल की सुरक्षा को साइफरटेक्स्ट रूपांतरणों की मैलिएबिलिटी से जोड़ता है। यह मात्रात्मक रूप से बताता है कि नॉइजी ट्रांसफॉर्मेशन की फॉरवर्डिंग, डिलीटिंग और रिकंस्ट्रक्शन एरर संभावनाएँ, शोर रहित ($\lambda$) और नॉइजी ($\lambda'$) प्रोटोकॉल के बीच सुरक्षा थ्रेशोल्ड गैप से कैसे संबंधित हैं।
• कंप्यूटेशनल रनटाइम ट्रेड-ऑफ: शोध पत्र नॉइजी बनाम शोर रहित प्रोटोकॉल (एन्कोडिंग, डिकोडिंग और की जनरेशन) के कंप्यूटेशनल रनटाइम के बीच ट्रेड-ऑफ का विश्लेषण करता है। यह सुझाव देता है कि यदि नॉइजी प्रोटोकॉल का रनटाइम काफी अधिक है, तो सुरक्षा थ्रेशोल्ड गैप $\lambda' - \lambda$, रनटाइम के अंतर के विशिष्ट कार्यों (जैसे घातीय या बहुपद कार्यों) से संबंधित तरीके से स्केल करता है।

परिणाम

• मुख्य प्रमेय (Main Theorem): यह शोध पत्र सिद्ध करता है कि एक नॉइजी QPKE-QKD प्रोटोकॉल के लिए, जो करेक्टनेस शर्तों को पूरा करता है, नॉइजी हाइब्रिड प्रयोगों (बिट्स 0 और 1 के साथ शुरू किए गए) के बीच ट्रेस डिस्टेंस नॉइजी सुरक्षा पैरामीटर के निग्लिजिबिलिटी फंक्शन द्वारा सीमित है:
  $$Td(\tilde{Exp}_{A_{\lambda'}}(1^{\lambda'}, 1), \tilde{Exp}_{A_{\lambda'}}(1^{\lambda'}, 0)) \lesssim NEGL(\lambda')$$
• एडवांटेज फंक्शन्स पर कोरोलरी: लेखक दिखाते हैं कि विभिन्न हाइब्रिड प्रयोगों ($\tilde{Adv}(0), \tilde{Adv}(1), \tilde{Adv}(2)$) के लिए नॉइजी एडवांटेज फंक्शन भी एक ही निग्लिजिबिलिटी फंक्शन $NEGL(\lambda')$ द्वारा सीमित हैं, जो विभिन्न प्रायोगिक सेटअपों में सुरक्षा परिभाषा की निरंतरता की पुष्टि करता है।
• ट्रेस पर निचली सीमा (Lower Bound on Trace): शोध पत्र एक विस्तृत व्युत्पत्ति प्रदान करता है जो यह दर्शाता है कि नॉइजी और शोर रहित अवस्थाओं के अंतर से जुड़े एक विशिष्ट ऑपरेटर का ट्रेस, निग्लिजिबिलिटी फंक्शन के व्युत्क्रम के एक स्थिरांक (constant) से नीचे की ओर सीमित है, जो जेंटल मेजरमेंट लेम्मा लागू करने के लिए एक पूर्व शर्त है।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह नॉइजी क्वांटम पब्लिक की एन्क्रिप्शन के लिए एवरलास्टिंग सिक्योरिटी की अवधारणा को विस्तारित करने हेतु एक कठोर गणितीय ढांचा प्रदान करता है। जेंटल मेजरमेंट लेम्मा को अनुकूलित करके, लेखक प्रदर्शित करते हैं कि शोर रहित प्रोटोकॉल की सुरक्षा गारंटी को नॉइजी सेटिंग में सामान्यीकृत किया जा सकता है, बशर्ते कि शोर को साइफरटेक्स्ट रूपांतरणों पर मैलिएबिलिटी धारणाओं के माध्यम से वर्णित किया जाए।

लेखक इस बात पर जोर देते हैं कि हालांकि शोर का समावेश आम तौर पर एक उच्च सुरक्षा थ्रेशोल्ड की ओर ले जाता है (जिसका अर्थ है कि पैरामीटर $\lambda'$ के संदर्भ में संभावित रूप से कमजोर सुरक्षा गारंटी), व्युत्पन्न बाउंड्स नॉइजी और शोर रहित प्रोटोकॉल के बीच मात्रात्मक तुलना की अनुमति देते हैं। इस कार्य को एक सैद्धांतिक आधार के रूप में प्रस्तुत किया गया है, यह नोट करते हुए कि हालांकि अनकंडीशनल और एवरलास्टिंग सुरक्षा की आवश्यकताएं प्रयोगात्मक रूप से कठिन हैं, प्रस्तावित ढांचा क्रिप्टोग्राफिक संदर्भों में नॉइजी क्वांटम कंप्यूटेशन की सीमाओं के विश्लेषण के लिए एक मूल्यवान शुरुआती बिंदु प्रदान करता है। शोध पत्र यह सुझाव देते हुए समाप्त होता है कि ट्रेस डिस्टेंस को बांधने के लिए गणना किए गए कार्यों को गेम-थ्योरेटिक दृष्टिकोणों पर केंद्रित सेटिंग्स में और अधिक विस्तार से जांचा जा सकता है, हालांकि यह विशिष्ट प्रयोगात्मक कार्यान्वयन या सैद्धांतिक विश्लेषण से परे तत्काल अनुप्रयोगों का प्रस्ताव नहीं करता है।