Compressed Permutation Oracles Revisited

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

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

शोधकर्ताओं की एक टीम ने अब इस पद्धति पर पुनर्विचार किया है और इसकी सबसे महत्वपूर्ण खामी को ठीक कर दिया है। उन्होंने प्रदर्शित किया है कि कंप्रेस्ड नोटबुक पहले की तुलना में कहीं अधिक विश्वसनीय है। उनका नया विश्लेषण सिद्ध करता है कि यह पद्धति तब भी सही ढंग से काम करती है जब हमलावर प्रश्नों की एक बहुत बड़ी संख्या पूछता है—विशेष रूप से, कुल संभावित इनपुट के वर्गमूल (square root) तक। यह पिछले स्तर की तुलना में एक बड़ी उपलब्धि है, जो उस संख्या का केवल एक छोटा सा हिस्सा था। शोधकर्ताओं ने यह परिवर्तन करके इसे हासिल किया कि वे वास्तविक, जटिल मशीन और सरलीकृत नोटबुक के बीच संबंध कैसे बनाते हैं। एक जटिल, अप्रत्यक्ष निर्माण के बजाय, उन्होंने दिखाया कि नोटबुक को मशीन की अंतर्नि trữित अवस्था (underlying state) के प्रत्यक्ष मापन के रूप में देखा जा सकता है। यह नया दृष्टिकोण न केवल गणित को अधिक स्पष्ट और सीधा बनाता है, बल्कि उस कृत्रिम सीमा को भी हटा देता है कि हमलावर कितने प्रश्न पूछ सकता है इससे पहले कि प्रमाण विफल हो जाए।

इस सुधार का प्रभाव तत्काल और ठोस है। शोधकर्ताओं ने अपने नए, अधिक सटीक प्रमाण को आधुनिक क्रिप्टोग्राफी की दो सबसे महत्वपूर्ण संरचनाओं पर लागू किया है: स्पंज कंस्ट्रक्शन (sponge construction) और डेविस-मेयर कम्प्रेशन फंक्शन (Davies-Meyer compression function)। ये वे ब्लूप्रिंट हैं जिनका उपयोग हमारे डिजिटल जगत को सुरक्षित करने वाले हैश फंक्शन (hash functions) बनाने के लिए किया जाता है, जिसमें SHA-3 मानक और पुराने SHA-1 और SHA-2 सिस्टम शामिल हैं। अपने परिष्कृत तरीके का उपयोग करते हुए, टीम ने सटीक रूप से गणना की कि इन प्रणालियों को तोड़ने के लिए एक हमलावर को कितने क्वांटम क्वेरी (quantum queries) की आवश्यकता होगी। उन्होंने पाया कि इन प्रणालियों की सुरक्षा मजबूत है, जिसमें टकराव (collisions) खोजने के लिए हमलावर को ऑपरेशन्स की एक ऐसी संख्या करनी होगी जो सिस्टम के आकार के वर्गमूल के साथ बढ़ती है, और प्री-इमेज (pre-images) खोजने के लिए इससे भी अधिक। उनके परिणाम SHA-3 के चार मुख्य वेरिएंट्स की सुरक्षा के लिए स्पष्ट, ठोस संख्याएँ प्रदान करते हैं, जो यह दर्शाते हैं कि वे शक्तिशाली क्वांटम कंप्यूटरों के विरुद्ध भी सुरक्षित रहते हैं, बशर्ते वे कंप्यूटर अंतर्निहित डिज़ाइन की विशिष्ट संरचनात्मक कमजोरियों का फायदा न उठा सकें।

शोधकर्ता गणितीय मॉडल की सुरक्षा को सिद्ध करने और वास्तविक हार्डवेयर की सुरक्षा के बीच अंतर करने में सावधानी बरत रहे थे। उनका कार्य पुष्टि करता है कि यदि अंतर्निहित रैंडम परम्यूटेशन अपेक्षित रूप से व्यवहार करता है, तो उस पर निर्मित क्रिप्टोग्राफिक संरचनाएं सुरक्षित हैं। उन्होंने यह दावा नहीं किया कि SHA-3 मानक में उपयोग किया जाने वाला विशिष्ट परम्यूटेशन पूर्ण है, बल्कि यह कि डिज़ाइन स्वयं सुदृढ़ है। यह अंतर महत्वपूर्ण है; इसका अर्थ है कि किसी प्रणाली की विफलता संभवतः परम्यूटेशन के विशिष्ट कार्यान्वयन में दोष के कारण होगी, न कि उस मौलिक कमजोरी के कारण जिस पर सिस्टम बनाया गया है। अपने गणितीय सीमाओं को कड़ा करके, शोधकर्ताओं ने क्रिप्टोग्राफरों को भविष्य की प्रणालियों का विश्लेषण करने के लिए एक अधिक शक्तिशाली उपकरण दिया है, जिससे यह सुनिश्चित होता है कि अगली पीढ़ी की डिजिटल सुरक्षा क्वांटम खतरों के प्रति एक स्पष्ट और सटीक समझ के साथ डिज़ाइन की जा सके।

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

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

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

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