On a necessary condition for the matching cryptosystem stability

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

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

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

मुख्य खोज: "बहुत साफ" वाला जाल

यह शोध पत्र "मैचिंग क्रिप्टोसिस्टम" नामक डिजिटल लॉक के एक विशिष्ट प्रकार पर केंद्रित है। समस्या को समझने के लिए, एक ग्राफ को शहरों (वर्टिस) के मानचित्र के रूप में कल्पना करें जो सड़कों (एजेस) से जुड़े हुए हैं। प्रत्येक सड़क का एक वेट होता है, जो वास्तव में नंबरों की एक सूची (एक वेक्टर) है। लॉक का "रहस्य" इन नंबरों को असाइन करने का एक विशेष तरीका है ताकि विशिष्ट पथ या लूप खोजना लॉक बनाने वाले के लिए आसान हो लेकिन दूसरों के लिए कठिन हो।

लेखकों ने पाया कि इन तालों का एक विशिष्ट परिवार, जो नंबरों के "तेजी से बढ़ते अनुक्रमों" (जैसे 3 की घातें: 1, 3, 9, 27...) पर निर्भर करता है, यदि वह बहुत अधिक व्यवस्थित है, तो उसमें एक घातक दोष है। वे तत्वों को जो अनुक्रम को तेजी से बढ़ाते हैं उन्हें "रैपिडली ग्रोइंग सीक्वेंस" कहते हैं, और अन्य तत्वों को "नॉइज़" कहते हैं। वे नॉइज़ को दो प्रकारों में वर्गीकृत करते हैं: "आर्बिट्रेरी नॉइज़" (जो वास्तव में मायने नहीं रखता) और "लिमिटेड नॉइज़" (जो महत्वपूर्ण है)।

"जीरो लिमिटेड नॉइज़" पर हमला
यह शोध पत्र एक चौंकाने वाला तथ्य सिद्ध करता है: यदि "लिमिटेड नॉइज़" शून्य है, तो लॉक एक "पॉलीनोमियल टाइम" हमले के प्रति संवेदनशील है। सरल शब्दों में, इसका मतलब है कि एक हैकर कुशलता से कोड को तोड़ सकता है, न कि केवल सैद्धांतिक रूप से। यह हमला उन्मूलन (elimination) द्वारा रहस्य सुलझाने वाले एक जासूस की तरह काम करता है:

1. सेटअप: हैकर पब्लिक की (मानचित्र और वेट्स) को देखता है। उसे लॉक बनाने वाले द्वारा उपयोग किए गए शहरों की गुप्त नंबरिंग का पता नहीं है।
2. सुराग: हैकर एक ऐसे शहर की तलाश करता है जहाँ उससे जुड़ी सड़कें उन भारों (weights) के साथ होती हैं जो एक विशिष्ट गणितीय अर्थ में "छोटे" या "अनुमानित" हैं (उनका स्पैन कम आयाम का है)।
3. निष्कर्ष: क्योंकि "लिमिटेड नॉइज़" शून्य है, उस "विशेष" शहर से जुड़ी सड़कों के वेट वेक्टर का पहला नंबर हमेशा गैर-शून्य होता है और एक तीव्र विकास पैटर्न का पालन करता है। उन सड़कों के लिए जो उससे जुड़ी नहीं हैं, वह पहला नंबर शून्य होता है।
4. ब्रेकथ्रू: इस पैटर्न की जाँच करके कि कौन से शहर फिट बैठते हैं, हैकर उस "विशेष" शहर की पहचान कर सकता है। एक बार जब उसे पता चल जाता है कि कौन सा शहर कौन सा है, तो वह पता लगा सकता है कि कौन सी सड़कें गुप्त संदेश का हिस्सा थीं। वह ज्ञात वेट्स को घटाता है और अगले शहर के लिए प्रक्रिया दोहराता है।
5. परिणाम: चरण दर चरण, हैकर पहेली की परतों को हटा देता है, पूरे गुप्त संदेश और कुंजी की संरचना को प्राप्त करता है, और यह प्रक्रिया ग्राफ के आकार के साथ तर्कसंगत रूप से बढ़ती है।

लेखक इसे एक कठोर प्रमाण के साथ प्रदर्शित करते हैं, यह दिखाते हुए कि उनके एल्गोरिदम के प्रत्येक चरण के लिए गणित सही रहता है। वे गणना करते हैं कि आवश्यक जाँचों की संख्या प्रबंधनीय है, जिससे पुष्टि होती है कि हमला व्यावहारिक है।

प्रस्तावित रक्षा: "लिमिटेड नॉइज़" जोड़ना

शोध पत्र का तर्क है कि इस हमले को रोकने के लिए, आपके पास गैर-शून्य "लिमिटेड नॉइज़" होना अनिवार्य है। यह एक आवश्यक शर्त है। यदि नॉइज़ शून्य है, तो लॉक टूट जाता है। हालाँकि, लेखक सावधानीपूर्वक कहते हैं कि गैर-शून्य नॉइज़ होना अपने आप में एक पर्याप्त शर्त नहीं है; यह केवल सुरक्षा का पहला कदम है।

वे एक सुरक्षित लॉक बनाने का एक विशिष्ट तरीका सुझाते हैं:

1. विकास बनाए रखें: मूल संरचना के लिए तेजी से बढ़ते अनुक्रमों (जैसे 1, 3, 9...) को बनाए रखें।
2. नॉइज़ जोड़ें: "लिमिटेड नॉइज़" तत्वों के लिए विशिष्ट गैर-शून्य मान पेश करें। उदाहरण के लिए, वे कुछ तत्वों को 1 के रूप में सेट करने का सुझाव देते है जो हैकर की सड़कों को आसानी से अलग करने की क्षमता को बाधित करता है।
3. "स्पैन" की आवश्यकता: उनकी रक्षा का सबसे महत्वपूर्ण हिस्सा "स्पैन" के बारे में एक गणितीय नियम है। वे सुझाव देते हैं कि ग्राफ में प्रत्येक शहर (वर्टेक्स) के लिए, उन सड़कों का संग्रह जो उस शहर को नहीं छूती हैं, इतनी विविध होनी चाहिए (गणितीय रूप से, उनके स्पैन का आयाम पूर्ण आयाम $k$ के बराबर होना चाहिए) कि हैकर शोषण करने के लिए एक "छोटा" उपसमुच्चय न खोज सके।

लेखक इस रक्षा को प्राप्त करने के लिए एक निर्माण विधि प्रस्तावित करते हैं:

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

वे नोट करते हैं कि यह बहुत बड़ी संख्या में "आर्बिट्रेरी नॉइज़" तत्वों ($\Omega(k^3)$ के आसपास) को छोड़ देता है जिन्हें डिजाइनर अपनी इच्छानुसार किसी भी तरह से भर सकता है, जो सिस्टम को और अधिक सुरक्षित बनाने के लिए बहुत अधिक लचीलापन प्रदान करता है।

निष्कर्ष

यह शोध पत्र यह दावा नहीं करता है कि इसने एक अटूट लॉक बनाया है। इसके बजाय, यह एक सुरक्षा निरीक्षक की तरह कार्य करता है जिसने एक लोकप्रिय डिज़ाइन में एक विशिष्ट दरार खोज ली है। लेखक दिखाते हैं कि यदि आप इन मैचिंग क्रिप्टोसिस्टम को "जीरो लिमिटेड नॉइज़" के साथ बनाते हैं, तो आप दरवाजा खुला छोड़ रहे हैं। वे एक 'पॉलीनोमियल-टाइम' हमले के लिए एक ठोस एल्गोरिदम के साथ इसे सिद्ध करते हैं।

इसे ठीक करने के लिए, वे सुझाव देते हैं कि "लिमिटेड नॉइज़" जोड़ना आवश्यक है। वे इस नॉइज़ को जोड़ने और यह सुनिश्चित करने के लिए एक ब्लूप्रिंट प्रदान करते हैं कि गणितीय "स्पैन" हमले को रोकने के लिए पर्याप्त चौड़े हों। हालाँकि वे यह साबित नहीं करते कि यह नॉइज़ी संस्करण 100% अटूट है, वे स्थापित करते हैं कि "जीरो नॉइज़" वाला संस्करण निश्चित रूप से असुरक्षित है, और वे सिस्टम को काफी मजबूत बनाने के लिए एक मार्ग प्रशस्त करते हैं। संदेश स्पष्ट है: डिजिटल तालों की दुनिया में, थोड़ा सा गणनात्मक अराजक (नॉइज़) एक सुरक्षित तिजोरी और एक खुले दरवाजे के बीच का अंतर है।