A Post-Quantum Interactive Hashing Theorem
यह शोध पत्र मनमाने संबंधों (arbitrary relations) के साथ मल्टी-आउटपुट इंटरैक्टिव हैशिंग प्रोटोकॉल के लिए एक पोस्ट-क्वांटम सुरक्षा प्रमाण स्थापित करता है, जो सांख्यिकीय शून्य-ज्ञान तर्क (statistical zero-knowledge arguments) और सांख्यिकीय रूप से छिपा हुआ प्रतिबद्धता (statistically hiding commitments) जैसे विभिन्न क्रिप्टोग्राफिक निर्माणों के लिए एक मौलिक आधार है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखक ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
क्रिप्टोग्राफी की दुनिया में, सुरक्षा अक्सर एक सरल लेकिन शक्तिशाली विचार पर टिकी होती है: एक ऐसा ताला जिसे बनाना आसान है लेकिन बिना चाबी के खोलना असंभव है। दशकों से, गणितज्ञों ने इस सिद्धांत के आधार पर डिजिटल प्रणालियाँ बनाई हैं, ऐसी प्रतिबद्धताएँ (commitments) तैयार की हैं जो एक व्यक्ति को अपने रहस्य को सुरक्षित रखने और बाद में यह सिद्ध करने की अनुमति देती हैं कि उन्होंने उसे बदला नहीं है। हालाँकि, क्वांटम कंप्यूटरों का उदय इन तालों को तोड़ने का खतरा पैदा कर रहा है। क्वांटम मशीनें अलग भौतिक नियमों पर काम करती हैं, जिससे वे कुछ ऐसे गणितीय पहेलियों को हल कर सकती हैं जिन्हें सुलझाने में क्लासिकल कंप्यूटरों को हजारों साल लग सकते हैं। इसने वैज्ञानिकों को डिजिटल सुरक्षा की नींव पर पुनर्विचार करने के लिए मजबूर कर दिया है, और ऐसे नए तरीके खोजने के लिए प्रेरित किया है जिनसे ऐसे ताले बनाए जा सकें जिन्हें क्वांटम कंप्यूटर भी न खोल सकें। इस नए परिदृश्य में सबसे महत्वपूर्ण उपकरणों में से एक 'इंटरएक्टिव हैशिंग' नामक प्रोटोकॉल है। कल्पना कीजिए कि दो लोग संभावनाओं के एक छोटे समूह पर सहमत होने की कोशिश कर रहे हैं, जहाँ एक व्यक्ति उस समूह के भीतर एक विशिष्ट रहस्य जानता है, लेकिन वह इस बात को नियंत्रित नहीं कर सकता कि अंतिम समूह में अन्य कौन सी संभावनाएँ शामिल होंगी। यह तंत्र कई उन्नत सुरक्षा प्रणालियों के लिए एक निर्माण खंड (building block) है, जिसमें यह सिद्ध करना भी शामिल है कि एक कंप्यूटर वास्तव में क्वांटम है। अब तक, यह स्पष्ट नहीं था कि क्या यह विशिष्ट उपकरण क्वांटम विरोधी (adversary) के सामने टिका रहेगा।
शोधकर्ताओं की एक टीम ने अब एक निर्णायक प्रमाण प्रदान किया है कि यह इंटरएक्टिव हैशिंग प्रोटोकॉल क्वांटम कंप्यूटर के सामने आने पर भी सुरक्षित रहता है। उनका कार्य इस प्रोटोकॉल के एक सामान्यीकृत संस्करण पर केंद्रित है जो कई आउटपुट और डेटा के बीच जटिल संबंधों की अनुमति देता है। मुख्य उपलब्धि एक कठोर गणितीय प्रदर्शन है कि एक दुर्भावनापूर्ण क्वांटम प्रेषक (sender) एक ही रहस्य के लिए दो अलग-अलग वैध उत्तर उत्पन्न करके प्रणाली का उल्लंघन नहीं कर सकता है। क्रिप्टोग्राफी की भाषा में, इस गुण को "बाइंडिंग" (binding) कहा जाता है। यदि कोई प्रेषक दो अलग-अलग वैध उत्तर उत्पन्न कर सकता है, तो वह प्रतिबद्धता को तोड़ सकता है और हस्ताक्षर की नकल कर सकता है या लेनदेन में हेरफेर कर सकता है। शोधकर्ताओं ने सिद्ध किया कि यदि एक क्वांटम हमलावर ऐसा करने की कोशिश करता है, तो एक गणितीय एक्सट्रैक्टर—एक विशिष्ट एल्गोरिदम—उससे उस रहस्य को प्रकट करने के लिए मजबूर कर सकता है जिसे वह छिपाने की कोशिश कर रहा था। यह परिणाम पुष्टि करता है कि यह प्रोटोकॉल पोस्ट-क्वांटम सुरक्षा के लिए एक आधार के रूप में कार्य करने हेतु पर्याप्त मजबूत है।
इस प्रमाण का मार्ग सीधा नहीं था। शोधकर्ताओं ने शुरू में विश्लेषण की एक क्लासिकल पद्धति को अपनाने का प्रयास किया, जिसमें एक प्रक्रिया को यह देखने के लिए रिवाइंड (rewind) किया जाता है कि वह विभिन्न स्थितियों के तहत कैसे व्यवहार करती है। क्लासिकल दुनिया में, यह एक खेल के वीडियो को देखने, उसे एक विशिष्ट क्षण पर रिवाइंड करने और यह देखने जैसा है कि एक एकल चाल बदलने से परिणाम कैसे बदल जाता है। हालाँकि, क्वांटम दुनिया में, किसी प्रक्रिया को केवल रिवाइंड करना खतरनाक है क्योंकि यह सिस्टम की नाजुक अवस्था को बाधित कर सकता है, ठीक वैसे ही जैसे स्क्रीन को धुंधला किए बिना फिल्म को रिवाइंड करने की कोशिश करना। टीम ने पाया कि उनके पहले दृष्टिकोण में तर्क की एक घातक खामी थी, जिसने एक गोलाकार तर्क (circular argument) पैदा किया जिसे हल नहीं किया जा सका। फिर वे एक अलग ढांचे की ओर मुड़े, जो रिवाइंडिंग प्रक्रिया को समय को उलटने के बजाय सूचना को रिकॉर्ड करने के तरीके के रूप में देखता है।
ब्रेकथ्रू (breakthrough) क्वांटम रिवाइंडिंग के दौरान होने वाली त्रुटियों को संभालने के एक नए तरीके से आया। शोधकर्ताओं ने महसूस किया कि त्रुटियों को खत्म करने की कोशिश करने के बजाय, वे उन्हें माप सकते हैं और उन्हें अपने लाभ के लिए उपयोग कर सकते हैं। उन्होंने एक "कॉइन" (coin) रजिस्टर से जुड़ी तकनीक पेश की, जो एक छोटा सहायक मेमोरी है जो विभिन्न परिणामों की संभावनाओं को संतुलित करने में मदद करता है। इसने एक ऐसी प्रक्रिया को परिभाषित करने की अनुमति दी जो सूचना को नष्ट किए बिना कुशलतापूर्वक क्वांटमर सिस्टम को वांछित परिणाम की ओर निर्देशित कर सकती है। इसके बाद उन्होंने "नॉर्मलाइजेशन एरर्स" (normalization errors) को ट्रैक करने की एक विधि विकसित की—वे छोटे विचलन जो क्वांटम स्टेट के समायोजन के दौरान होते हैं। इन त्रुटियों को रिकॉर्डिंग के एक रूप के रूप में मानकर, वे दिखा सके कि यदि हमलावर सिस्टम का उल्लंघन करने की कोशिश करता है, तो सिस्टम प्रभावी रूप से उनके प्रयास का एक रिकॉर्ड कैप्चर कर लेता है।
यह प्रमाण हमलावर की रणनीति के एक चतुर अपघटन (decomposition) पर निर्भर करता है। शोधकर्ताओं ने दिखाया कि क्वांटम विरोधी द्वारा सिस्टम का उल्लंघन करने के किसी भी सफल प्रयास को कुछ अलग-अलग हिस्सों में तोड़ा जा सकता है। अधिकांश समय, प्रयास एक मानक पथ का अनुसरण करता है। कभी-कभी, इसमें एक एकल "त्रुटि" शामिल होती है जो सूचना की एक विशिष्ट रिकॉर्डिंग के अनुरूप होती है। बहुत कम मामलों में, इसमें ऐसी दो त्रुटियां शामिल होती हैं। टीम ने प्रदर्शित किया कि एक त्रुटि वाले पथ पर सफलतापूर्वक आगे बढ़ने की संभावना इतनी नगण्य है कि इसे अनदेखा किया जा सकता है। ऐसा इसलिए है क्योंकि सिस्टम में एक अंतिम चरण शामिल है जहाँ रिसीवर नया, यादृच्छिक (random) डेटा उत्पन्न करता है। जिस तरह यादृच्छिक विकल्पों के जंगल के माध्यम से एक लंबी यात्रा के बाद दो विशिष्ट, अलग-अलग पथों का जीवित बचना लगभग असंभव है, दो अलग-अलग रणनीतियाँ इस अंतिम चरण में जीवित नहीं रह सकतीं। शोधकर्ताओं ने सिद्ध किया कि हमलावर की सफल होने का एकमात्र तरीका मानक पथ या एकल-त्रुटि पथ का पालन करना है, दोनों ही मामले एक्सट्रैक्टर को रहस्य को पुनः प्राप्त करने की अनुमति देते हैं।
इस परिणाम के भविष्य की सुरक्षित संचार के लिए तत्काल और महत्वपूर्ण निहितार्थ हैं। पहला, यह रिमोट स्टेट प्रिपरेशन (remote state preparation) की सुरक्षा से संबंधित एक लंबे समय से खुले प्रश्न को हल करता है, जो यह सत्यापित करने के लिए उपयोग की जाने वाली एक तकनीक है कि एक कंप्यूटर वास्तव में क्वांटम है। अपने प्रमाण को मौजूदा ढांचों के साथ जोड़कर, शोधकर्ताओं ने दिखाया कि केवल क्लासिकल संचार का उपयोग करके क्वांटम गणनाओं को सत्यापित करना संभव है, बशर्ते कि कुछ गणितीय धारणाएं लागू हों। इसका अर्थ यह है कि एक साधारण लैपटॉप वाला उपयोगकर्ता बिना क्वांटम मैकेनिक्स को समझे, एक शक्तिशाली क्वांटम सर्वर के कार्य को सत्यापित कर सकता है। दूसरा, उनका कार्य पोस्ट-क्वांटम युग में एक क्लासिक कमिटमेंट स्कीम की सुरक्षा को पुनः प्राप्त करता है। यह सुनिश्चित करता है कि इन आधारों पर बनी डिजिटल अनुबंध और हस्ताक्षर तब भी सुरक्षित रहेंगे जब क्वांटम कंप्यूटर वास्तविकता बन जाएंगे।
शोधकर्ताओं ने यह भी नोट किया कि उनका कार्य समान प्रोटोकॉल का विश्लेषण करने वाले पिछले अध्ययनों का विस्तार और निर्माण करता है। जबकि अन्य टीमों ने हाल ही में इन स्कीम्स के विशिष्ट, सरल संस्करणों की सुरक्षा को सिद्ध किया है, यह पेपर सबसे सामान्य मामले को संबोधित करता है, जो वन-वे फंक्शन्स (one-way functions) पर आधारित अधिक जटिल क्रिप्टोग्राफिक सिस्टम बनाने के लिए आवश्यक है। टीम ने अपनी प्रक्रिया में आर्टिफिशियल इंटेलिजेंस की भूमिका के बारे में पारदर्शी रुख अपनाया। उन्होंने विभिन्न गणितीय दृष्टिकोणों को संयोजित करने और अंतिम प्रमाण को परिष्कृत करने में मदद करने के लिए AI टूल्स का उपयोग किया, लेकिन उन्होंने इस बात पर जोर दिया कि प्रत्येक गणितीय दावे को मानव विशेषज्ञों द्वारा स्वतंत्र रूप से सत्यापित किया गया था। अंतिम परिणाम एक कठोर, मानव-सत्यापित प्रमाण है कि इंटरएक्टिव हैशिंग क्वांटम युग के लिए एक विश्वसनीय उपकरण है।
अंत में, यह कार्य डिजिटल सुरक्षा की अगली पीढ़ी के लिए एक ठोस आधार प्रदान करता है। यह प्रदर्शित करता है कि क्वांटम मैकेनिक्स का जटिल नृत्य, जो कभी एक सुरक्षित रहस्य की अवधारणा के लिए खतरा प्रतीत होता था, को नियंत्रित और समझा जा सकता है। इंटरएक्टिव हैशिंग को क्वांटम हमलों के विरुद्ध बाइंडिंग सिद्ध करके, शोधकर्ताओं ने पूरी तरह से पोस्ट-क्वांटम सुरक्षित इंटरनेट की राह में एक प्रमुख बाधा को हटा दिया है। उनके निष्कर्ष बताते हैं कि हम ऐसे क्रिप्टोग्राफिक सिस्टम बना सकते हैं जो न केवल क्वांटम कंप्यूटरों के प्रति प्रतिरोधी हैं, बल्कि स्वयं उपकरणों की क्वांटम प्रकृति को सत्यापित करने में भी सक्षम हैं। यह दोहरी क्षमता एक ऐसे भविष्य के लिए महत्वपूर्ण है जहाँ क्वांटम तकनीक गणना के लिए एक उपकरण और सुरक्षा के लिए एक लक्ष्य, दोनों है। यह प्रमाण गणितीय तर्क की लचीलापन का एक प्रमाण है, जो दिखाता है कि क्वांटम अनिश्चितता के बीच भी, हम अभी भी उन तालों में निश्चितता पा सकते हैं जिन्हें हम बनाते हैं।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।