A Note on Publicly Verifiable Quantum Money with Low Quantum Computational Resources

यहाँ फैब्रिज़ियो जेनोवेज़ और लेव स्टैम्बलर के शोध पत्र "A Note on Publicly Verifiable Quantum Money with Low Quantum Computational Resources" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र सार्वजनिक रूप से सत्यापन योग्य क्वांटम मनी (Publicly Verifiable Quantum Money) बनाने की दीर्घकालिक चुनौती को संबोधित करता है।

• ऐतिहासिक संदर्भ: विस्नर (Wiesner) के 1970 के प्रस्ताव से लेकर, क्वांटम मनी ने डबल-स्पेंडिंग (दोहरे खर्च) को रोकने के लिए नो-क्लोनिंग थ्योरम (No-Cloning Theorem) पर भरोसा किया है। हालाँकि, मूल योजनाएँ प्राइवेट-की (private-key) आधारित थीं, जिसका अर्थ था कि केवल जारीकर्ता (मिंट) ही प्रामाणिकता की पुष्टि कर सकता था, जिसके लिए प्रत्येक लेनदेन के लिए जारीकर्ता के साथ निरंतर संपर्क की आवश्यकता होती थी।
• अंतराल (The Gap): जबकि पब्लिक-की क्वांटम मनी (जहाँ कोई भी मिंट के बिना सत्यापन कर सकता है) एक उपयोगी मुद्रा के लिए वांछनीय है, मौजूदा प्रस्तावों के लिए आमतौर पर भारी क्वांटum कंप्यूटेशनल संसाधनों (सामान्य-उद्देश्य वाले क्वांटम प्रोसेसिंग यूनिट्स) की आवश्यकता होती है जो अभी तक अस्तित्व में नहीं हैं।
• लक्ष्य: एक ऐसा सार्वजनिक रूप से सत्यापन योग्य क्वांटम मनी डिज़ाइन करना जो:
  1. न्यूनतम क्वांटम कंप्यूटिंग क्षमताओं (केवल सिंगल-क्यूबिट तैयारी, ट्रांसमिशन और कंजुगेट बेस में माप) की आवश्यकता रखता हो।
  2. सर्वसम्मति प्रोटोकॉल (ब्लॉकचेन की तरह) पर निर्भर न हो।
  3. डबल-स्पेंडिंग को रोकता हो।
  4. रिडेम्पशन (Redemption) से पहले सत्यापन की एक सीमित संख्या की अनुमति देता हो।

2. कार्यप्रणाली (Methodology)

लेखक एक हाइब्रिड क्रिप्टोग्राफिक योजना प्रस्तावित करते हैं जो क्वांटम कंजुगेट कोडिंग (Quantum Conjugate Coding), वन-टाइम मेमोरीज (OTMs) और क्लासिकल क्रिप्टोग्राफी (हैश फ़ंक्शंस और डिजिटल सिग्नेचर) को जोड़ती है।

A. मुख्य घटक (Core Components)

1. कंजुगेट कोडिंग (Conjugate Coding): यह विस्नर के कार्य पर आधारित है, जिसमें बिट्स को दो कंजुगेट बेस (जैसे, Z-बेसिस $|0\rangle, |1\rangle$ और X-बेसिस $|+\rangle, |-\rangle$) का उपयोग करके क्यूब्स में एनकोड किया जाता है। गलत बेस में मापने पर रैंडम नॉइज़ प्राप्त होता है।
2. वन-टाइम मेमोरीज (OTMs): एक क्रिप्टोग्राफिक प्रिमिटिव जहाँ एक डिवाइस दो रहस्यों ($s_0, s_1$) को रखता है लेकिन उपयोगकर्ता को ठीक एक को प्राप्त करने की अनुमति देता है, दोनों को नहीं।
   • कार्यान्वयन: यह पेपर कंजुगेट कोडिंग अवस्थाओं को ट्रस्टेड हार्डवेयर (जैसे Intel SGX जैसे TEEs) के साथ जोड़कर OTMs का निर्माण करता है। हार्डवेयर बेस चॉइस ($\theta$) और रहस्यों को संग्रहीत करता है, और यह सत्यापित करता है कि उपयोगकर्ता ने रहस्य जारी करने से पहले क्वांटम अवस्थाओं को सही ढंग से मापा है।
3. कट-एंड-चूज़ वेरिफिकेशन (Cut-and-Choose Verification): प्रत्येक घटक को सत्यापित करने (जो इसे नष्ट कर देगा) के बजाय, सत्यापनकर्ता घटकों के एक यादृच्छिक उपसमुच्चय (subset) का चयन करता है जिसे "चुनौती" (खोलना और सत्यापित करना) दी जाती है।

B. प्रोटोकॉल (The Protocol)

1. मिंटिंग (Minting - Construction 4.4):

• मिंट $\zeta$ जोड़े रैंडम बिटस्ट्रिंग्स ($\kappa_{0,i}, \kappa_{1,i}$) उत्पन्न करता है।
• यह हैश $H(\kappa_{b,i})$ की गणना करता है और उन्हें मिंट की प्राइवेट की के साथ साइन करता है।
• प्रत्येक जोड़े के लिए, यह एक OTM ($OTM_i$) बनाता है जो जोड़े को एनकोड करता है। OTM को एक रैंडम बिट $\theta_i$ द्वारा निर्धारित कंजुगेट बेस में तैयार की गई क्वांटम अवस्था $|OTM\rangle_i$ द्वारा समर्थित किया जाता है।
• बैंकनोट (Banknote) में शामिल हैं:
  • क्वांटम अवस्थाएँ $\{|OTM\rangle_i\}$।
  • क्लासिकल डेटा: साइन किए गए हैश $\{H(\kappa_{b,i}), \sigma_{mint}\}$ और "प्रकट" किए गए प्री-इमेज $\{\kappa_k\}$ का एक सेट (प्रारंभ में खाली)।

2. सत्यापन (Verification - Construction 4.5):

• एक सत्यापनकर्ता $V$ बैंकनोट प्राप्त करता है।
• $V$ हैश पर मिंट के हस्ताक्षरों की वैधता की जाँच करता है।
• कट-एंड-चूज़: $V$ अनओपन (unopened) OTMs में से इंडेक्स का एक यादृच्छिक उपसमुच्चय $\mathcal{L}$ (आकार $\xi$) चुनता है।
• $V$ प्रत्येक चयनित इंडेक्स के लिए एक रैंडम बिट $b_\ell$ के अनुरूप प्री-इमेज की मांग करके बैंकनोट को चुनौती देता है।
• धारक प्री-इमेज को प्राप्त करने के लिए OTMs से क्वांटम अवस्थाओं को मापता है।
• $V$ सत्यापित करता है कि $H(\text{retrieved } \kappa) = H(\kappa_{b,\ell})$।
• उपभोग (Consumption): यदि सत्यापन सफल होता है, तो खोले गए OTMs को बैंकनोट से हटा दिया जाता है (ज्ञात प्री-इमेज के सेट में जोड़ दिया जाता है), जिससे शेष सत्यापन क्षमता कम हो जाती है।

3. स्थानांतरण (Transfer - Construction 4.6):

• प्रेषक क्लासिकल डेटा और क्वांटम अवस्थाओं को प्राप्तकर्ता को स्थानांतरित करता है।
• नो-क्लोनिंग थ्योरम के कारण, प्रेषक डबल-स्पेंड करने के लिए क्वांटम अवस्थाओं की प्रति (copy) नहीं रख सकता है।

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

1. लो-रिसोर्स पब्लिक वेरिफिकेशन: यह योजना केवल सिंगल-क्यूबिट ऑपरेशंस (तैयारी और कंजुगेट बेस में मापन) का उपयोग करके सार्वजनिक सत्यापन प्राप्त करती है, जो वर्तमान क्वांटम की डिस्ट्रीब्यूशन (QKD) हार्डवेयर में उपलब्ध क्षमताएं हैं, न कि पूर्ण-स्तरीय क्वांटम कंप्यूटरों की आवश्यकता।
2. OTM-आधारित निर्माण: लेखक वन-टाइम मेमोरीज (जो पहले सैद्धांतिक थे या जटिल सेटअप की आवश्यकता थी) की अवधारणा को ट्रस्टेड हार्डवेयर और कंजुगेट कोडिंग का उपयोग करके एक व्यावहारिक मनी स्कीम में अनुकूलित करते हैं।
3. बाउंडेड वेरिफिकेशन मॉडल: यह पेपर एक यथार्थवादी मॉडल पेश करता है जहाँ एक बैंकनोट का एक सीमित जीवनकाल होता है (लगभग $\zeta/\xi$ सत्यापन)। समाप्त होने के बाद, नोट को रिडेम्पशन के लिए मिंट को वापस किया जाना चाहिए (जैसे घिसे हुए भौतिक कैश को बदलना)।
4. क्वांटम टोकन फॉर डिजिटल सिग्नेचर (QTDS) का विस्तार: लेखक यह प्रदर्शित करते हैं कि उसी इंफ्रास्ट्रक्चर का उपयोग ऐसे क्वांटम टोकन बनाने के लिए किया जा सकता है जो धारक को एक संदेश (जैसे दांव या प्रतिबद्धता) को ठीक एक बार साइन करने की अनुमति देते हैं। साइन करने की क्रिया टोकन की दोबारा साइन करने की क्षमता को समाप्त कर देती है, जिससे डबल-साइनिंग रुक जाती है।
5. प्रूफ-ऑफ-कांसेप्ट कार्यान्वयन: लेखक इन अवधारणाओं को लागू करने के लिए एक Rust लाइब्रेरी (otm_billz) प्रदान करते हैं।

4. परिणाम और सुरक्षा विश्लेषण (Results and Security Analysis)

• अनफोर्जेबिलिटी (Unforgeability - Theorem 1): सुरक्षा दो स्तंभों पर टिकी है:
  1. OTMs की सिमुलेशन-सुरक्षा: एक हमलावर एकल OTM से दोनों रहस्य ($s_0$ और $s_1$) को नहीं निकाल सकता।
  2. हैश फ़ंक्शंस की प्री-इमेज रेजिस्टेंस: OTM के बिना, हमलावर $H(\kappa)$ दिए जाने पर प्री-इमेज $\kappa$ का अनुमान नहीं लगा सकता।
• डबल-स्पेंडिंग की रोकथाम: डबल-स्पेंड करने के लिए, हमलावर को क्वांटम बैंकनोट को दो वैध प्रतियों में विभाजित करना होगा। प्रमाण दिखाता है कि OTM की सिमुलेशन सुरक्षा के कारण, हमलावर प्रभावी रूप से केवल एक ही कॉपी को एक विशिष्ट OTM असाइन कर सकता है। जब सत्यापनकर्ता रैंडम तरीके से दूसरी कॉपी को चुनौती देता है, तो हमलावर को प्री-इमेज का अनुमान लगाना पड़ता है, जो कि कम्प्यूटेशनल रूप से असंभव है (संभावना $\approx 2^{-2\xi}$)।
• नॉइज़ टॉलरेंस (Noise Tolerance): अंतर्निहित OTM निर्माण एक निश्चित थ्रेशोल्ड तक क्वांटम चैनल में शोर के प्रति मजबूत है।

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

• व्यावहारिकता: यह कार्य सैद्धांतिक क्वांटम मनी और निकट-अवधि हार्डवेयर क्षमताओं के बीच के अंतर को पाटता है। यह सुझाव देता है कि क्वांटम मनी व्यवहार्य हो सकती है जब क्वांटम इंटरनेट इंफ्रास्ट्रक्चर और स्थिर क्वांटम मेमोरी (लेनदेन की गति के लिए पर्याप्त कोहेरेंस समय के साथ) उपलब्ध हो जाए।
• गोपनीयता: ब्लॉकचेन के विपरीत, यह प्रणाली स्वाभाविक रूप से पीयर-टू-पीयर और निजी है, जिसे चलाने के लिए किसी वैश्विक सर्वसम्मति या आर्थिक प्रोत्साहन की आवश्यकता नहीं है।
• सीमाएं और भविष्य का कार्य:
  • ट्रस्टेड हार्डवेयर: वर्तमान में योजना TEEs (ट्रस्टेड एक्जीक्यूशन एनवायरनमेंट) पर निर्भर करती है। लेखक नोट करते हैं कि हालांकि साइड-चैनल मौजूद हैं, सुरक्षा धीरे-धीरे कम होती है (एक टोकन को कॉम्प्रोमाइज करने से केवल वही टोकन प्रभावित होता है)।
  • प्री-ट्रांसफर वेरिफिकेशन: एक प्रमुख खुला प्रश्न यह है कि संभावित रूप से दुर्भावनापूर्ण प्रेषक से स्थानांतरण स्वीकार करने से पहले प्राप्तकर्ता के लिए क्वांटम अवस्थाओं की प्रामाणिकता को सत्यापित करना कैसे संभव बनाया जाए।
  • रिसोर्स स्केलिंग: वर्तमान में, संसाधन सत्यापन की संख्या के साथ रैखिक रूप से स्केल करते हैं। इसे सब-लीनियर ग्रोथ तक कम करना एक भविष्य का लक्ष्य है।
  • अनंत सत्यापन क्षमता (Infinite Verifiability): वर्तमान योजना सीमित है; ट्रस्टेड हार्डवेयर के बिना अनंत सत्यापन क्षमता प्राप्त करना एक खुला प्रश्न बना हुआ है।

संक्षेप में, जेनोवेज़ और स्टैम्बलर एक व्यावहारिक, लागू करने योग्य क्वांटम मनी फ्रेमवर्क प्रस्तुत करते हैं जो मौजूदा क्वांटम संचार प्रौद्योगिकियों और ट्रस्टेड हार्डवेयर का लाभ उठाता है ताकि पूर्ण-स्तरीय यूनिवर्सल क्वांटम कंप्यूटर की आवश्यकता के बिना डबल-स्पेंडिंग की समस्या को हल किया जा सके।