Towards Simple and Useful One-Time Programs in the Quantum Random Oracle Model

यहाँ लेव स्टैम्बलर के शोध पत्र "Towards Simple and Useful One-Time Programs in the Quantum Random Oracle Model" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

वन-टाइम प्रोग्राम्स (OTPs) ऐसे क्रिप्टोग्राफिक प्रिमिटिव हैं जो किसी प्रोग्राम को केवल एक बार निष्पादित करने की अनुमति देते हैं, जिसके बाद वह अनुपयोगी हो जाता है। सैद्धांतिक रूप से शक्तिशाली होने के बावजूद, मानक मॉडल (standard model) में सुरक्षित OTPs का निर्माण अतिरिक्त धारणाओं के बिना असंभव है।

• चुनौती: मौजूदा निर्माण अक्सर जटिल धारणाओं (जैसे, इंडिस्टिंग्विशेबिलिटी ऑब्फस्केशन, हिडन सबस्पेस स्टेट्स) या प्रतिबंधात्मक भौतिक मॉडलों (जैसे, स्टेटलेस हार्डवेयर टोकन, सख्त समय सीमाओं के साथ बाउंडेड क्वांटम स्टोरेज) पर निर्भर करते हैं।
• अंतराल (The Gap): कई वर्तमान मॉडल एडवरसरी (विरोधी) की क्वांटम मेमोरी रखने की क्षमता को प्रतिबंधित करते हैं या तत्काल मापन (measurement) की आवश्यकता रखते हैं, जिससे OTP की व्यावहारिक उपयोगिता सीमित हो जाती है (उदाहरण के लिए, उन्हें बाद में उपयोग के लिए क्वांटम मेमोरी में संग्रहीत नहीं किया जा सकता है)। एक ऐसे तंत्र की आवश्यकता है जो:
  1. सरल, निकट-अवधि (near-term) के क्वांटम हार्डवेयर (सिंगल-क्यूबिट ऑपरेशंस) का उपयोग करे।
  2. रिसीवर को OTP को क्वांटम मेमोरी में स्टोर करने की अनुमति दे।
  3. उन एडवर्सरीज के विरुद्ध सुरक्षित रहे जो बाउंडेड-डेप्थ क्वांटम सर्किट के बीच इंटरलीव्ड (interleaved) एडेप्टिव क्लासिकल कंप्यूटेशन कर सकते हैं।

2. कार्यप्रणाली और निर्माण (Methodology and Construction)

लेखक तीन मुख्य घटकों पर आधारित वन-टाइम मेमोरीज (OTMs) के निर्माण का प्रस्ताव करते हैं, जो OTPs को निहित (imply) करते हैं:

A. मुख्य प्रिमिटिव्स (Core Primitives)

1. विस्नर स्टेट्स (Wiesner States - Conjugate Coding): यह योजना स्वतंत्र सिंगल-क्यूबिट स्टेट्स के टेंसर प्रोडक्ट का उपयोग करती है। प्रत्येक क्यूबिट को या तो कम्प्यूटेशनल बेसिस ($Z$) या हैडामार्ड बेसिस ($X$) में एक गुप्त बिट को एनकोड करने के लिए तैयार किया जाता है। महत्वपूर्ण बात यह है कि इसमें कोई मल्टी-क्यूबिट एंटैंगलमेंट (multi-qubit entanglement) का उपयोग नहीं किया गया है।
2. कंजंक्शन ऑब्फस्केशन (Conjunction Obfuscation): यह योजना कंजंक्शन्स (AND गेट्स) के लिए डिस्ट्रीब्यूशनल वर्चुअल ब्लैक-बॉक्स (VBB) ऑब्फस्केशन का उपयोग करती है, जिसे लर्निंग पारिटी विद नॉइज़ (LPN) धारणा से स्थापित किया जा सकता है। यह ऑब्फस्केशन बेसिस चयन के विशिष्ट स्थानों और डिक्रिप्शन कुंजियों को छिपाता है।
3. रैंडम ऑरेकल मॉडल (ROM): एक रैंडम ऑरेकल $\mathcal{H}$ का उपयोग मापन परिणामों (measurement outcomes) को विशिष्ट इनपुट्स के साथ बांधने के लिए किया जाता है, जो एडवरसरी को क्लासिकल वैल्यूज के प्रति प्रतिबद्ध (commit) होने के लिए मजबूर करता है।

B. प्रोटोकॉल (Scheme 2)

• तैयारी (Preparation):
  • प्रेषक (sender) $m$-क्यूबिट विस्नर स्टेट्स के $n$ स्वतंत्र ब्लॉक्स तैयार करता है।
  • एक रैंडम सबसेट $\Theta_X$ $X$ बेसिस का उपयोग करता है, और इसका पूरक $\Theta_Z$ $Z$ बेसिस का उपयोग करता है।
  • सीक्रेट्स $s_i$ को $\mathcal{H}(i, s_i)$ के माध्यम से हैश किया जाता है।
  • दो कंजंक्शन ऑब्फस्केशन ($\mathcal{O}_X, \mathcal{O}_Z$) उत्पन्न किए जाते हैं। प्रत्येक यह जाँचता है कि क्या विशिष्ट सबसेट के लिए हैश किए गए मापन परिणाम अपेक्षित हैश से मेल खाते हैं। यदि वैध है, तो यह एक कुंजी $k_\alpha$ आउटपुट करता है।
  • संदेश $m_X, m_Z$ को $c_\alpha = k_\alpha \oplus m_\alpha$ के रूप में एनक्रिप्ट किया जाता है।
• मूल्यांकन (Evaluation):
  • रिसीवर एक बेसिस $\alpha \in \{X, Z\}$ चुनता है।
  • वे बेसिस $\alpha$ में क्वांटम स्टेट को मापते हैं।
  • वे परिणामों के हैश की गणना करते हैं और संबंधित ऑब्फस्केटेड कंजंक्शन $\mathcal{O}_\alpha$ का मूल्यांकन करते हैं।
  • यदि कंजंक्शन स्वीकार हो जाता है, तो रिसीवर $k_\alpha$ प्राप्त करता है और $m_\alpha$ को डिक्रिप्ट करता है।

3. प्रमुख तकनीकी योगदान (Key Technical Contributions)

A. नया POVM बाउंड (Sequential Conjugate Coding Security)

पेपर $m$-क्यूबिट कंजुगेट कोडिंग के लिए एक नया सूचना-सैद्धांतिक बाउंड (Theorem 3.1) सिद्ध करता है।

• थ्योरम: यदि एक पॉजिटिव ऑपरेटर-वैल्यूड मेजरमेंट (POVM) कम्प्यूटेशनल बेसिस स्टेट्स को $1-\epsilon$ प्रायिकता के साथ पहचानता है, तो कंजुगेट (हैडामार्ड) बेसिस स्ट्रिंग का अनुमान लगाने की प्रायिकता $\frac{1}{2^m} + O(\epsilon^{1/4})$ है।
• महत्व: यह बाउंड सीक्वेंशियल (sequential) है। यह तब भी लागू होता है जब एडवरसरी पहले मापन करती है और फिर यह जानती है कि किस बेसिस का अनुमान लगाना है। यह एकल-क्यूबिट परिणामों को मल्टी-क्यूबिट सेटिंग में सामान्य बनाता है, यह सुनिश्चित करता है कि एक बेसिस में सही मापन करने से कंजुगेट बेसिस के सीक्रेट्स उच्च मिन-एन्ट्रॉपी (min-entropy) के साथ बने रहते हैं।

B. क्लासिकल-क्वेरी सुरक्षा (Classical-Query Security)

लेखक सिद्ध करते हैं कि यह योजना उन क्वांटम एडवर्सरीज के विरुद्ध सिमुलेशन-सुरक्षित है जो रैंडम ऑरेकल के लिए क्लासिकल क्वेरीज़ तक सीमित हैं (Theorem 4.1)।

• तंत्र: ऑब्फस्केटेड कंजंक्शन का मूल्यांकन करने के लिए, एडवरसरी को वैध हैश इनपुट्स $\mathcal{H}(i, s_i)$ प्रदान करने होंगे। चूंकि ऑरेकल क्लासिकल है, इसलिए एडवरसरी को विशिष्ट मापन परिणामों के प्रति अपरिवर्तनीय रूप से प्रतिबद्ध होना होगा।
• सुरक्षा तर्क: POVM बाउंड के कारण, यदि एडवरसरी $\mathcal{O}_X$ को संतुष्ट करने के लिए बेसिस $X$ में मापन करती है, तो उनकी स्थिति प्रभावी रूप से बेसिस $Z$ में रैंडम हो जाती है। फलस्वरूप, वे $\mathcal{O}_Z$ को संतुष्ट करने के लिए आवश्यक सीक्रेट्स का अनुमान नहीं लगा सकते। दोनों को संतुष्ट करने की प्रायिकता नगण्य ($2^{-\Omega(\lambda^2)}$) है।

C. लिफ्टिंग के माध्यम से एडेप्टिव डेप्थ सुरक्षा (Adaptive Depth Security via Lifting)

पेपर $\mathsf{BPPQNCBPP}^d$ एडवर्सरीज (वे एडवर्सरीज जिनके पास पर्याप्त क्लासिकल समय और ऑरेकल क्वेरीज़ के बीच पर्याप्त क्वांटम डेप्थ $d$ है) के विरुद्ध सुरक्षा का तर्क देता है।

• लिफ्टिंग फ्रेमवर्क: लेखक अरोरा एट अल. [1] द्वारा दिए गए लिफ्टिंग थ्योरम के एक अनौपचारिक अनुकूलन को लागू करते हैं। यह फ्रेमवर्क सुझाव देता है कि विशेष रूप से निर्मित रैंडम ऑरेकल के साथ इंटरैक्ट करने वाले डेप्थ-बाउंडेड क्वांटम एडवर्सरीज सुसंगत सुपरपोजिशन (coherent superpositions) बनाए नहीं रख सकते; उनका इंटरैक्शन प्रभावी रूप से एक क्लासिकल ट्रांसक्रिप्ट में ढह जाता है।
• कंजक्चर (Conjecture): यदि लिफ्टिंग थ्योरम लागू होता है, तो क्लासिकल-क्वेरी सुरक्षा प्रमाण एडेप्टिव क्वांटम डेप्थ सेटिंग में विस्तारित हो जाता है, जिससे OTP को बाद में उपयोग के लिए क्वांटम मेमोरी में स्टोर करना संभव हो जाता है।

4. परिणाम (Results)

• सरलता: यह निर्माण जटिल एंटैंगलमेंट और इंडिस्टिंग्विशेबिलिटी ऑब्फस्केशन (iO) से बचता है, और केवल सिंगल-क्यूबिट ऑपरेशंस और LPN-आधारित ऑब्फस्केशन पर निर्भर करता है।
• सुरक्षा:
  • क्लासिकल-क्वेरी क्वांटम एडवर्सरीज के विरुद्ध सुरक्षित सिद्ध है।
  • एडेप्टिव डेप्थ-बाउंडेड क्वांटम एडवर्सरीज के विरुद्ध सुरक्षित होने का अनुमान (conjectured) है।
• व्यावहारिकता: इस योजना को निकट-अवधि कार्यान्वयन के लिए डिज़ाइन किया गया है, क्योंकि इसके लिए बाउंडेड डेप्थ बाधा के अलावा फॉल्ट-टोलरेंट क्वांटम कंप्यूटिंग या लंबे कोहेरेंस टाइम की आवश्यकता नहीं है।

5. महत्व और भविष्य की दिशाएं (Significance and Future Directions)

• व्यावहारिक OTPs: यह कार्य सैद्धांतिक OTPs और व्यावहारिक कार्यान्वयन के बीच के अंतर को पाटता है। जटिल एंटैंगलमेंट की आवश्यकता को हटाकर और बाउंडेड-डेप्थ धारणाओं (जो शोर के कारण भौतिक रूप से स्वाभाविक हैं) पर भरोसा करके, यह "लॉन्ग-लिव्ड" OTPs को सक्षम बनाता है जिन्हें क्वांटम मेमोरी में स्टोर किया जा सकता है।
• यथार्थवादी एडवर्सरी मॉडल: $\mathsf{BPPQNCBPP}^d$ पर ध्यान केंद्रित करना यथार्थवादी खतरों को पकड़ता है जहाँ एडवर्सरी के पास महत्वपूर्ण क्लासिकल शक्ति होती है लेकिन शोर संचय के कारण सीमित क्वांटम प्रोसेसिंग डेप्थ होती है।
• खुले प्रश्न (Open Problems):
  • टाइट बाउंड्स (Tighter Bounds): POVM बाउंड में $O(\epsilon^{1/4})$ टर्म को बेहतर बनाना।
  • शोर सहनशीलता (Noise Tolerance): वास्तविक डिपोलराइजिंग और डीफेजिंग शोर के विरुद्ध मजबूती का विश्लेषण करना।
  • औपचारिक लिफ्टिंग (Formal Lifting): एक कठोर औपचारिक प्रमाण प्रदान करना कि अरोरा एट अल. का लिफ्टिंग फ्रेमवर्क विशेष रूप से इस OTM निर्माण पर लागू होता है।

संक्षेप में, स्टैम्बल एक अवधारणात्मक रूप से सरल, व्यावहारिक रूप से व्यवहार्य निर्माण प्रस्तुत करते हैं जो क्वांटम शोर (बाउंडेड डेप्थ) की भौतिक सीमाओं और LPN की कठिनाई का लाभ उठाकर शक्तिशाली, एडेप्टिव क्वांटम एडवर्सरीज के विरुद्ध सुरक्षा प्राप्त करता है।