Cycles of supersingular elliptic curves for pairing-based proof systems

डिजिटल दुनिया में, यह साबित करना कि आप एक रहस्य जानते हैं बिना उस रहस्य को प्रकट किए, एक शक्तिशाली उपकरण है। यह आधुनिक क्रिप्टोग्राफी का हृदय है, जहाँ "प्रूफ सिस्टम" एक कंप्यूटर को यह समझाने की अनुमति देते हैं कि एक गणना सही ढंग से की गई थी, बिना पूरी गणना को फिर से चलाने की आवश्यकता के। इन प्रमाणों के वास्तविक दुनिया में उपयोगी होने के लिए, उन्हें संक्षिप्त और जाँचने में तेज़ होना चाहिए। एक विशिष्ट प्रकार का प्रमाण, जिसे 'सक्सिंक्ट नॉन-इंटरैक्टिव आर्ग्युमेंट' (succinct non-interactive argument) के रूप में जाना जाता है, इस तकनीक का एक आधार बन गया है। इन प्रमाणों को और भी अधिक शक्तिशाली बनाने के लिए, शोधकर्ताओं ने उन्हें जोड़ने (stacking) का एक तरीका विकसित किया है, जिससे एक प्रमाण दूसरे को सत्यापित कर सकता है, जिससे विश्वास की एक ऐसी श्रृंखला बनती है जो अनिश्चित काल तक बढ़ सकती है। यह प्रक्रिया, जिसे 'रिकर्सन' (recursion) कहा जाता है, आज उपयोग की जाने वाली कुछ सबसे उन्नत गोपनीयता और स्केलिंग तकनीकों के पीछे का इंजन है। हालाँकि, इन श्रृंखलाओं के निर्माण के लिए एक बहुत ही विशिष्ट प्रकार के गणितीय आधार की आवश्यकता होती है: दीर्घवृत्त वक्रों (elliptic curves) के जोड़े जो पहेली के टुकड़ों की तरह एक साथ पूरी तरह फिट बैठते हों। वर्षों तक, केवल ज्ञात टुकड़े जो इस विवरण में फिट बैठते थे, वे दुर्लभ, खोजने में कठिन और संख्या में सीमित थे, जिससे एक बाधा उत्पन्न हो गई थी।

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

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

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

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

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

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