Quantum Time-Lock Puzzles in the Quantum Random Oracle Model

क्रिप्टोग्राफी की दुनिया में, एक ऐसा संदेश भेजने की लंबे समय से इच्छा रही है जिसे एक निश्चित समय बीत जाने तक पढ़ा न जा सके। कल्पना कीजिए कि एक डिजिटल पत्र एक बॉक्स के भीतर सील किया गया है जिसके लिए एक कुंजी (key) की आवश्यकता है, लेकिन उस कुंजी को बनाने के लिए ठीक एक वर्ष के निरंतर, चरण-दर-चरण कार्य की आवश्यकता है। यह अवधारणा, जिसे 'टाइम-लॉक पज़ल' (समय-बद्ध पहेली) के रूप में जाना जाता है, उन तकनीकों का आधार है जैसे कि टाइमड-रिलीज़ एन्क्रिप्शन, जहाँ एक रहस्य केवल एक निर्धारित तिथि के बाद प्रकट होता है, या सीलबंद बोली वाली नीलामी (sealed-bid auctions) जहाँ बोली लगाने की समय सीमा समाप्त होने तक बोलियाँ छिपी रहती हैं। चुनौती हमेशा यह सुनिश्चित करने की रही है कि पहेली बनाने वाला व्यक्ति इसे तेज़ी से कर सके, जबकि उसे हल करने वाले व्यक्ति को प्रतीक्षा करने के लिए मजबूर किया जाए, भले ही उसके पास हजारों शक्तिशाली कंप्यूटरों तक पहुँच हो जो एक साथ काम कर रहे हों। दशकों तक, शोधकर्ताओं का मानना था कि एक मानक कंप्यूटिंग वातावरण में, ऐसी पहेली को सुरक्षित रूप से बनाना असंभव है। तर्क सरल था: यदि पहेली केवल डेटा का एक टुकड़ा है, तो एक चतुर हमलावर उस डेटा की प्रतिलिपि बना सकता है और काम को कई प्रोसेसरों के बीच विभाजित कर सकता है, जिससे उसे आवश्यक समय प्रतीक्षा करने के बजाय लगभग तुरंत ही हल किया जा सकता है।

यह असंभवता शास्त्रीय (classical) कंप्यूटरों के लिए सत्य थी, लेकिन शोधकर्ताओं की एक टीम ने अब दिखाया है कि नियम बदल जाते हैं जब पहेली स्वयं एक क्वांटम वस्तु होती है। एक नए अध्ययन में, प्रभांजन अनंत और याओ-टिंग लिन प्रदर्शित करते हैं कि पहेली को एक नाजुक क्वांटम अवस्था (quantum state) में एनकोड करके, वे एक ऐसा टाइम-लॉक बना सकते हैं जो सबसे शक्तिशाली क्वांटम कंप्यूटरों के विरुद्ध भी सुरक्षित है, बशर्ते वे कंप्यूटर पूर्ण आवश्यक अवधि तक न चल सकें। उनका कार्य उस प्रश्न को हल करता है जो पंद्रह वर्षों से खुला था: क्या क्वांटम यांत्रिकी के नियमों का उपयोग एक ऐसे समय विलंब को लागू करने के लिए किया जा सकता है जिसे समानांतर प्रसंस्करण (parallel processing) द्वारा दरकिनार नहीं किया जा सकता है। उन्होंने एक ऐसी प्रणाली का निर्माण किया है जहाँ पहेली एक झटके में उत्पन्न की जाती है, लेकिन इसे हल करने के लिए एक विशिष्ट, क्रमिक समय की आवश्यकता होती है जिसे छोटा नहीं किया जा सकता या तेज़ नहीं किया जा सकता, जो प्रभावी रूप से एक डिजिटल टाइम कैप्सूल बनाता है जो अपने रहस्यों को सुरक्षित रखने के लिए क्वांटम सूचना की मौलिक प्रकृति पर निर्भर करता है।

समस्या का मूल कारण पहेली बनाने और उसे हल करने के बीच का अंतर है। एक शास्त्रीय परिवेश में, यदि पहेली केवल बिट्स की एक स्ट्रिंग है, तो एक हमलावर उस स्ट्रिंग की प्रतिलिपि बना सकता है और उसे हजारों अलग-अलग कंप्यूटरों को सौंप सकता है। प्रत्येक कंप्यूटर एक साथ समाधान के एक अलग हिस्से को आज़माता है, और पहेली को एक एकल कंप्यूटर द्वारा लगने वाले समय के एक अंश में ही हल कर दिया जाता है। प्रतिलिपि बनाने और समानांतर (parallelize) करने की यह क्षमता ही थी जिसने शास्त्रीय टाइम-लॉक पहेलियों को मानक क्रिप्टोग्राफिक मॉडलों में सुरक्षित बनाना असंभव बना दिया था। शोधकर्ताओं को एहसास हुआ कि समाधान क्वांटम अवस्थाओं के अद्वितीय गुण में निहित है: उन्हें पूरी तरह से कॉपी नहीं किया जा सकता। यदि पहेली एक विशिष्ट क्वांटम अवस्था है, तो हमलावर एक पहेली की केवल एक प्रति तक ही सीमित है। यह एकल-प्रतिबंध (single-copy constraint) अत्यंत महत्वपूर्ण है क्योंकि यह हमलावर को नेटवर्क के कंप्यूटरों में डुप्लिकेट वितरित करने से रोकता है। इसके बजाय, उन्हें समाधान के माध्यम से क्रमिक रूप से काम करना होगा, एक के बाद एक, ठीक वैसे ही जैसे पहेली के निर्माता ने इरादा किया था, भले ही उनके पास कई समानांतर प्रोसेसर उपलब्ध हों।

इसे बनाने के लिए, शोधकर्ताओं ने एक ऐसी प्रणाली डिज़ाइन की जहाँ पहेली सूक्ष्म क्वांटम कणों का एक संग्रह है, जिनमें से प्रत्येक को एक विशिष्ट, नाजुक विन्यास (configuration) में तैयार किया गया है। पहेली का निर्माता इन कणों को उत्पन्न करता है और उनके साथ कुछ शास्त्रीय सुराग संलग्न करता है, फिर पूरा पैकेज प्राप्तकर्ता को भेज देता है। प्राप्तकर्ता को फिर एक छिपे हुए कोड को खोजने के लिए संचालन (operations) की एक श्रृंखला करनी होगी। प्रक्रिया इस तरह से डिज़ाइन की गई है कि निर्माता पहेली को लगभग तुरंत उत्पन्न कर सकता है, लेकिन प्राप्तकर्ता को एक लंबा समय बिताना होगा, जांचों की एक श्रृंखला को पूरा करना होगा जिन्हें छोड़ा या तेज़ नहीं किया जा सकता। शोधकर्ताओं ने सिद्ध किया कि भले ही हमलावर के पास असीमित कंप्यूटिंग शक्ति हो और वह कई समानांतर प्रोसेसरों का उपयोग कर सके, वे पहेली को इच्छित समय सीमा से तेज़ नहीं हल कर सकते जब तक कि वे आवश्यक क्रमिक चरणों की पूरी अवधि तक प्रतीक्षा करने के लिए तैयार न हों।

इस प्रणाली की सुरक्षा रैंडम फंक्शनों (random functions) के चतुर उपयोग और क्वांटम अवस्थाओं के उनके साथ होने वाली अंतःक्रिया पर टिकी है। पहेली में क्वांटम टोकन का एक सेट शामिल है, जिनमें से प्रत्येक एक छिपे हुए नंबर से जुड़ा होता है। समाधान खोजने के लिए, हल करने वाले को एक रैंडम फंक्शन के विरुद्ध विभिन्न संभावनाओं का परीक्षण करना होगा, एक ऐसी प्रक्रिया जो एक ताले की तरह कार्य करती है जो केवल तभी खुलता है जब सही कुंजी का परीक्षण किया जाता है। शास्त्रीय दुनिया में, एक हमलावर एक साथ सभी संभावित कुंजियों को आज़मा सकता है। इस क्वांटम संस्करण में, क्योंकि पहेली एक एकल, अनकॉपीएबल अवस्था है, हमलावर विभिन्न समानांतर कॉपियों के माध्यम से कुंजियों को आज़माने के लिए पहेली को डुप्लिकेट नहीं कर सकता। हालांकि हमलावर को गणना के एक एकल दौर के भीतर कई समानांतर प्रश्नों (queries) को करने की अनुमति है, पहेली की एकल-प्रति प्रकृति उन्हें उन दौरों के एक अनुक्रम के माध्यम से आगे बढ़ने के लिए मजबूर करती है जिन्हें दरकिनार नहीं किया जा सकता। शोधकर्ताओं ने दिखाया कि सबसे उन्नत क्वांटम एल्गोरिदम के साथ भी, हमलावर जवाब का अनुमान लगाने या आवंटित चौड़ाई से परे समानांतर प्रसंस्करण का उपयोग करके कोई महत्वपूर्ण लाभ प्राप्त नहीं कर सकता है। सफल होने का एकमात्र तरीका उस लंबे, धीमे मार्ग का अनुसरण करना है जिसकी पहेली मांग करती है।

शोधकर्ताओं ने इस मुद्दे का भी समाधान किया कि सही उत्तर मिल गया है, यह बिना उत्तर प्रकट किए कैसे सत्यापित किया जाए। उन्होंने इसमें एक सत्यापन टैग (verification tag) शामिल किया है, जो एक छोटा सा शास्त्रीय सूचना का हिस्सा है जो हल करने वाले को यह जाँचने की अनुमति देता है कि उसने सही छिपे हुए नंबर को पा लिया है। यह टैग इस तरह से उत्पन्न किया जाता है जो क्वांटम अवस्था के साथ मजबूती से जुड़ा होता है लेकिन समाधान को उजागर नहीं करता है। यदि हल करने वाला पूरा काम किए बिना अनुमान लगाने की कोशिश करता है, तो सत्यापन टैग लगभग निश्चित रूप से विफल हो जाएगा, जिससे उसे फिर से शुरू करने के लिए मजबूर होना पड़ेगा। यह तंत्र सुनिश्चित करता है कि हल करने वाला अनुमान लगाकर और जाँच करके आवश्यक कार्य को दरकिनार करने का प्रयास नहीं कर सकता, बल्कि उसे संदेश को अनलॉक करने के लिए आवश्यक कार्यों के पूर्ण अनुक्रम को पूरा करना ही होगा।

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

इस खोज के निहितार्थ सुरक्षित संचार के भविष्य के लिए अत्यंत गहरे हैं। यह समय पर आधारित नए प्रकार के क्रिप्टोग्राफिक प्रोटोकॉल के द्वार खोलता है, जो केवल गणितीय कठिनाई पर निर्भर नहीं हैं। उदाहरण के लिए, यह निष्पक्ष अनुबंध हस्ताक्षर (fair contract signing) को सक्षम कर सकता है जहाँ दोनों पक्षों को गारंटी दी जाती है कि समय बीत जाने के बाद दूसरा पक्ष पीछे नहीं हट सकता, या सुरक्षित मतदान प्रणाली जहाँ वोटों की गिनती केवल एक विशिष्ट समय सीमा के बाद की जाती है। शोधकर्ताओं ने यह भी उल्लेख किया कि उनका दृष्टिकोण उन जटिल गणितीय धारणाओं की आवश्यकता को समाप्त करता है जिन्हें भविष्य के कंप्यूटिंग विकास द्वारा तोड़ा जा सकता है। इसके बजाय, सुरक्षा क्वांटम यांत्रिकी के मूलभूत गुणों पर निर्भर करती है, जो अभेद्य माने जाते हैं।

अपने निर्माण में, शोधकर्ताओं ने BB84 स्टेट नामक एक विशिष्ट प्रकार की क्वांटम अवस्था का उपयोग किया, जो क्वांटम सिस्टम में सूचना को एनकोड करने की एक प्रसिद्ध विधि है। उन्होंने इन अवस्थाओं को रैंडम फंक्शनों की एक श्रृंखला के साथ जोड़ा ताकि एक ऐसी पहेली बनाई जा सके जो उत्पन्न करने में सरल और हल करने में कठिन हो। पहेली इन क्वांटम अवस्थाओं के एक बड़े समूह से बनी है, जिनमें से प्रत्येक एक छिपी हुई जानकारी का एक हिस्सा वहन करती है। हल करने वाले को इन अवस्थाओं को एक विशिष्ट क्रम में संसाधित करना होगा, और किसी भी चरण को छोड़ने या उन्हें क्रम से बाहर संसाधित करने के प्रयास के परिणामस्वरूप संदेश प्राप्त करने में विफलता होगी। शोधकर्ताओं ने दिखाया कि बिना काम किए सही समाधान का अनुमान लगाने की हमलावर की संभावना इतनी कम है कि वह किसी भी व्यावहारिक उद्देश्य के लिए प्रभावी रूप से शून्य है।

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

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

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