MCSI: A Masked Commutative Supersingular Isogeny Key Exchange with Blinded Ephemeral Keys
यह शोध पत्र MCSI को प्रस्तुत करता है, जो CSIDH क्लास ग्रुप एक्शन पर आधारित एक टू-मेसेज की एक्सचेंज प्रोटोकॉल है, जो एपिफेमेरल कीज़ (ephemeral keys) को ब्लाइंड करने के लिए ऑथेंटिकेटेड एन्क्रिप्शन का उपयोग करता है, जिससे यह इम्पलिसिट म्यूचुअल ऑथेंटिकेशन (implicit mutual authentication) प्राप्त करता है, ईव्सड्रॉपर्स से एपिफेमेरल एलिमेंट्स को छिपाता है, और महंगे ग्रुप एक्शन इवैल्यूएशन से पहले अनऑथेंटिकेटेड संदेशों को प्राप्तकर्ता द्वारा त्यागने की अनुमति देकर कम्प्यूटेशनल ओवरहेड को काफी कम करता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने नहीं लिखा है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
भविष्य के क्वांटम कंप्यूटरों के विरुद्ध दुनिया के डिजिटल संचार को सुरक्षित करने की दौड़ में, क्रिप्टोग्राफर एक ऐसे परिदृश्य की खोज कर रहे हैं जो बड़े नंबरों पर नहीं, बल्कि वक्रों (curves) की ज्यामिति पर आधारित है। एक विशाल, समतल क्षेत्र की कल्पना करें जहाँ प्रत्येक बिंदु एक अद्वितीय गणितीय आकार जिसे 'एलिप्टिक कर्व' कहा जाता है, उसका प्रतिनिधित्व करता है। इस क्षेत्र में, एक विशेष नियम है जो एक आकार को दूसरे में बदलने की अनुमति देता है, जो इस तरह से किया जाता है कि यदि आप गुप्त पथ जानते हैं तो यह करना आसान है, लेकिन यदि आप नहीं जानते हैं तो इसे उलटना लगभग असंभव है। यही 'आइसोजेनी-आधारित क्रिप्टोग्राफी' (isogeny-based cryptography) का आधार है। अन्य तरीकों के विपरीत जो विशाल कुंजियों (keys) पर निर्भर करते हैं, यह दृष्टिकोण छोटी कुंजियों का उपयोग करता है, जिससे यह भंडारण और ट्रांसमिशन के लिए अत्यधिक कुशल हो जाता है। हालाँकि, कुछ साल पहले एक संबंधित प्रणाली में एक प्रमुख भेद्यता (vulnerability) पाई गई थी, जिसने शोधकर्ताओं को इन वक्रों के उपयोग के तरीके पर पुनर्विचार करने के लिए मजबूर किया। चुनौती इन छोटे, ज्यामितीय आकारों का उपयोग करके गुप्त कुंजियों का आदान-प्रदान करने का एक ऐसा तरीका खोजने की है, जिससे कोई भी जानकारी प्रकट न हो जिसका उपयोग किसी शक्तिशाली पर्यवेक्षक द्वारा किया जा सके, और साथ ही यह सुनिश्चित करना हो कि दोनों पक्ष वास्तव में वही हैं जिनका वे दावा करते हैं।
शोधकर्ताओं के एक दल ने एक नया प्रोटोकॉल पेश किया है जिसे MCSI कहा जाता है, जिसका अर्थ है 'मास्क्ड कम्यूटेटिव सुपरसिंगुलर आइसोजेनी की एक्सचेंज' (Masked Commutative Supersingular Isogeny Key Exchange)। यह प्रणाली इस तरह से डिज़ाइन की गई है कि दो लोग, मान लीजिए एलिस और बॉब, एक खुले नेटवर्क पर एक साझा गुप्त कुंजी स्थापित कर सकें बिना किसी जासूस को बातचीत के दौरान उपयोग किए जाने वाले अस्थायी मूल्यों (temporary values) के बारे में कुछ भी जाने। नवाचार इस बात में निहित है कि वे इन अस्थायी मूल्यों को कैसे छिपाते हैं। पिछले प्रयासों में, अस्थायी मूल्यों को खुले में भेजा जाता था, जिससे प्राप्तकर्ता को यह जांचने के लिए कि संदेश वैध है या नहीं, एक जटिल और समय लेने वाली गणितीय प्रक्रिया करनी पड़ती थी। इसने एक सुरक्षा जोखिम पैदा किया: एक दुर्भावनापूर्ण हमलावर सर्वर को नकली संदेशों से भर सकता था, जिससे सर्वर को बेकार की गणनाओं पर अपनी कंप्यूटिंग शक्ति बर्बाद करने के लिए मजबूर किया जा सके। MCSI इसे एक सुरक्षित, प्रमाणित लिफाफे में लपेटकर हल करता है। इससे पहले कि प्राप्तकर्ता गणित की जांच करने के लिए लिफाफा खोले, वह एक डिजिटल सील (digital seal) को सत्यापित करता है। यदि सील टूटी हुई है या गायब है, तो संदेश को तुरंत हटा दिया जाता है, जिससे प्राप्तकर्ता को भारी काम करने से बचाया जा सके। यह सरल परिवर्तन सिस्टम को बुरे तत्वों द्वारा अभिभूत होने से बचाता है।
शोधकर्ताओं ने सिद्ध किया कि यह विधि पूरी तरह से काम करती है जब दोनों पक्ष नियमों का पालन करते हैं, जिसमें अंतिम कुंजी में शून्य त्रुटियां होती हैं। उन्होंने यह भी प्रदर्शित किया कि लिफाफे के भीतर के अस्थायी मूल्य सुनने वालों से छिपे रहते हैं, और डिजिटल सील प्रभावी रूपت से हमलावर को संदेश के साथ छेड़छाड़ करने से रोकती है। महत्वपूर्ण रूप से, सिस्टम की सुरक्षा उस गणितीय धारणा पर निर्भर नहीं है जो इस विशिष्ट प्रकार के वक्र के लिए गलत साबित हुई है। इसके बजाय, यह इन वक्रों की व्यवस्था से जुड़े एक विशिष्ट पहेली को हल करने की कठिनाई पर निर्भर करती है, एक ऐसी समस्या जो क्वांटम कंप्यूटरों के लिए भी कठिन बनी रहती है। टीम ने यह भी दिखाया कि एक सामान्य विचार—एन्क्रिप्टेड संदेश को अधिक यादृच्छिक (random) दिखाने के लिए उसमें रैंडम बाइट प्रतिस्थापन का एक सरल स्तर जोड़ना—वास्तव में कोई सुरक्षा नहीं जोड़ता है, जो भविष्य के डिजाइनों को सुव्यवस्थित करने में मदद करने वाला एक निष्कर्ष है।
यह सुनिश्चित करने के लिए कि उनका सिद्धांत वास्तविक दुनिया में खरा उतरे, टीम ने इस प्रणाली को दो बार बनाया, एक बार उच्च-स्तरीय प्रोग्रामिंग भाषा में और एक बार तेज़ सॉफ़्टवेयर के लिए उपयोग की जाने वाली निम्न-स्तरीय (low-level) भाषा में। उन्होंने हजारों परीक्षण चलाए, दोनों संस्करणों के परिणामों की तुलना की ताकि यह सुनिश्चित हो सके कि वे पूरी तरह से मेल खाते हैं। उनके मापन से पता चला कि नया प्रोटोकॉल एक कामकाजी संदर्भ कार्यान्वयन (reference implementation) है, जिसमें एन्क्रिप्शन और डिक्रिप्शन परतों में लगने वाला समय मुख्य गणितीय संचालन के लिए आवश्यक समय की तुलना में इतना कम है कि वह लगभग अदृश्य है। हालाँकि, उन्हें अपने स्वयं के कोड में एक महत्वपूर्ण कमजोरी भी मिली। क्योंकि मुख्य गणना करने में लगने वाला समय स्वयं गुप्त कुंजी पर निर्भर करता है, एक हमलावर जो कई सत्रों के समय को माप सकता है, संभावित रूप से गुप्त कुंजी के हिस्सों का अनुमान लगा सकता है। शोधकर्ता इस दोष के बारे में स्पष्ट थे: उनका वर्तमान कार्यान्वयन वास्तविक दुनिया में तैनाती के लिए सुरक्षित नहीं है जब तक कि इसे 'कॉन्स्टेंट टाइम' (constant time) में चलाने के लिए फिर से नहीं लिखा जाता, जिसका अर्थ है कि गणना की अवधि गुप्त कुंजी की परवाह किए बिना समान होनी चाहिए।
पेपर ने इस गलत धारणा को भी संबोधित किया कि इस प्रणाली के लिए किन गणितीय अभाज्य संख्याओं (primes) का उपयोग किया जाना चाहिए। कई विशेषज्ञों ने अन्य प्रकार के एन्क्रिप्शन के लिए विशिष्ट बड़ी अभाज्य संख्याओं का उपयोग किया है, यह मानते हुए कि वे यहाँ भी काम करेंगी। शोधकर्ताओं ने सिद्ध किया कि सबसे प्रसिद्ध अभाज्य संख्याओं में से एक, जो P-521 नामक एक मानक वक्र के लिए उपयोग की जाती है, इस विशिष्ट प्रकार के की-एक्सचेंज के लिए पूरी तरह से अनुपयोगी है। उन्होंने दिखाया कि उनके सिस्टम के लिए आवश्यक गणितीय संरचना उस अभाज्य संख्या के साथ मौजूद ही नहीं है, जो एक अलग, विशेष रूप से निर्मित संख्या का उपयोग करने के लिए मजबूर करती है। यह निष्कर्ष जो कोई भी ऐसा सिस्टम बनाने की कोशिश कर रहा है उसके लिए अत्यंत महत्वपूर्ण है, क्योंकि यह एक मानक उपकरण के उपयोग को रोकता है जो एक टूटे हुए डिजाइन का कारण बन सकता है।
जबकि प्रोटोकॉल सफलतापूर्वक अस्थायी मूल्यों को छिपाता है और Denial-of-Service हमलों को रोकता है, लेखक सावधानीपूर्वक यह बताते हैं कि उन्होंने अभी तक क्या सिद्ध नहीं किया है। उन्होंने यह नहीं दिखाया है कि यदि कोई हमलावर सत्र के दौरान उपयोग किए जाने वाले अस्थायी रहस्यों को प्रकट कर देता है, तो सिस्टम सुरक्षित रहता है, न ही उन्होंने यह सिद्ध किया है कि सिस्टम उन हमलावरों के खिलाफ सुरक्षित है जो संदेशों में अधिक जटिल तरीकों से सक्रिय रूप से हस्तक्षेप कर सकते हैं। इसके अलावा, अस्थायी मूल्यों को छिपाना 'फॉरवर्ड सीक्रेट' (forward secret) नहीं है; यदि कोई हमलावर भविष्य में दीर्घकालिक गुप्त कुंजी चुरा लेता है, तो वह पुराने रिकॉर्ड किए गए संदेशों से सुरक्षा को हटाकर अस्थायी मूल्यों को देख सकता है, हालांकि अंतिम सत्र कुंजी संभवतः सुरक्षित रहेगी। शोधकर्ता निष्कर्ष निकालते हैं कि जबकि MCSI एक ठोस विनिर्देश (specification) है जिसमें एक कामकाजी संदर्भ कार्यान्वयन है, यह अभी जनता के लिए तैयार नहीं है। आगे का रास्ता एक ऐसा संस्करण बनाने की आवश्यकता है जो 'टाइमिंग लीक' को बंद करने के लिए 'कॉन्स्टेंट टाइम' में चले, और यह सिद्ध करने की आवश्यकता है कि सिस्टम अधिक आक्रामक हमलों का सामना कर सके। जब तक ये कदम नहीं उठाए जाते, यह प्रोटोकॉल जो यहाँ वर्णित है, एक विनिर्देश है जिसमें एक कामकाजी संदर्भ है, और ऐसा कुछ नहीं है जिसे कोई भी तैनात (deploy) करे।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।