On the Construction of Trapdoor Claw-Free Functions with Certifiable Key
यह शोध पत्र ट्रैपडोर क्लॉ-फ्री फंक्शन कीज़ (trapdoor claw-free function keys) को प्रमाणित करने के लिए एक फैमिली-अग्नोस्टिक फ्रेमवर्क प्रस्तुत करता है, जो क्वांटनेस के TCF-आधारित प्रमाणों को ज़ीरो-नॉलेज प्रोटोकॉल में सामान्य रूप से रूपांतरित करने में सक्षम बनाता है और साथ ही इनजेक्टिव इनवैरिएंस (injective invariance) पर निर्भर योजनाओं के लिए अंतर्निहित सीमाओं की पहचान करता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
क्लासिकल कंप्यूटर और क्वांटम मशीनों के बीच संवाद करने वाले उभरते हुए क्षेत्र में, एक मौलिक चुनौती उत्पन्न होती है: एक क्लासिकल उपयोगकर्ता यह कैसे सत्यापित कर सकता है कि एक क्वांटम डिवाइस वास्तव में कुछ ऐसा कर रहा है जो एक क्लासिकल कंप्यूटर नहीं कर सकता, बिना उस मशीन की आंतरिक स्थिति के बारे में कुछ भी सीखे? यह प्रश्न "प्रूफ़ ऑफ़ क्वांटमनेस" (क्वांटम होने का प्रमाण) के केंद्र में है, जो एक क्रिप्टोग्राफिक हैंडशेक है जहाँ एक क्लासिकल वेरीफायर एक क्वांटम प्रोवर को एक पहेली भेजता है, जिसे हल करने के लिए प्रोवर को अपनी क्वांटम प्रकृति सिद्ध करनी होती है। इन इंटरैक्शन की सुरक्षा "ट्रैपडोर क्लॉ-फ्री फंक्शन" (trapdoor claw-free function) नामक एक विशिष्ट प्रकार के गणितीय ताले पर टिकी है। कल्पना कीजिए कि दो बंद दरवाजों का एक जोड़ा है जो बाहर से बिल्कुल एक जैसे दिखते हैं; एक क्लासिकल ऑब्जर्वर यह नहीं बता सकता कि कौन सा दरवाजा कहाँ जाता है, लेकिन एक क्वांटम मशीन दोनों से एक साथ गुजर सकती है। जिसने दरवाजे बनाए हैं, उसके पास एक गुप्त कुंजी, या "ट्रैपडोर" होता है, जो बताता है कि दरवाजे आपस में कैसे जुड़े हैं। वर्षों तक, इन प्रोटोकॉल की पूरी सुरक्षा इस नाजुक धारणा पर टिकी थी: कि पहेली भेजने वाला व्यक्ति कुंजियों को ईमानदारी से जेनरेट करता है। यदि कोई दुर्भावनापूर्ण कर्ता कुंजियों का एक थोड़ा अलग सेट भेजता जो दिखने में तो समान हो लेकिन व्यवहार में भिन्न हो, तो क्वांटम प्रोवर को धोखा दिया जा सकता है या उसे विफल किया जा सकता है, जबकि वेरीफायर इस बात से अनभिज्ञ रहता।
नेशनल यूनिवर्सिटी ऑफ सिंगापुर के शोधकर्ताओं की एक टीम ने अब इस भेद्यता (vulnerability) को ठीक करने के लिए एक मजबूत ढांचा तैयार किया है, जिससे एक ऐसी प्रणाली बनाई गई है जहाँ कुंजियाँ स्वयं प्रमाणिकता का एक सत्यापन योग्य प्रमाण (certificate of authenticity) लेकर आती हैं। उनका कार्य, जो हाल ही में प्रकाशित एक अध्ययन में प्रस्तुत किया गया है, एक ऐसी विधि पेश करता है जो यह प्रमाणित करती है कि एक कुंजी को सही ढंग से जेनरेट किया गया है, बिना उस गुप्त ट्रैपडोर को प्रकट किए जिसे सिस्टम को तोड़ने के लिए आवश्यक माना जाता है। उन्होंने एक सार्वभौमिक ब्लूप्रिंट विकसित किया है जो विभिन्न गणितीय आधारों पर काम करता है, न कि केवल उस पर जिसका आज सबसे अधिक उपयोग किया जाता है। प्रत्येक कुंजी के साथ एक 'जीरो-नॉलेज प्रूफ' (zero-knowledge proof) संलग्न करके, यह प्रणाली क्वांटम प्रोवर को यह जांचने की अनुमति देती है कि पहेली वास्तविक है या नहीं, इससे पहले कि वह उसे हल करने का प्रयास करे। यह सुनिश्चित करता है कि प्रोवर एक वैध क्वांटम चुनौती के साथ इंटरैक्ट कर रहा है, न कि किसी दुर्भावनापूर्ण जाल के साथ। शोधकर्ताओं ने प्रदर्शित किया कि यह दृष्टिकोण मौजूदा क्वांटम प्रमाणों को सफलतापूर्वक "जीरो-नॉलेज" संस्करणों में बदल देता है, जहाँ वेरीफायर केवल यह सीखता है कि प्रोवर क्वांटम है, और इसके अलावा प्रोवर की क्षमताओं या संसाधित किए जा रहे विशिष्ट डेटा के बारे में कुछ भी नहीं सीखता।
हालाँकि, यह अध्ययन उस सीमा को भी स्पष्ट रूप से रेखांकित करता है जहाँ यह समाधान काम करता है और जहाँ यह विफल होता है। शोधकर्ताओं ने पाया कि कुंजियों की प्रकृति को छिपाने के लिए डिज़ाइन किए गए कुछ उन्नत प्रोटोकॉल के लिए, एक प्रमाण पत्र जोड़ना वास्तव में सुरक्षा को तोड़ देगा। इन विशिष्ट मामलों में, सुरक्षा इस तथ्य पर निर्भर करती है कि कोई भी एक "क्लॉ-फ्री" (claw-free) कुंजी और एक पूरी तरह से अलग प्रकार की "इन्जेक्टिव" (injective) कुंजी के बीच अंतर नहीं कर सकता। यदि एक प्रमाण पत्र जारी किया जाता जो यह सिद्ध करे कि कुंजी क्लॉ-फ्री है, तो वह तुरंत कुंजी की पहचान प्रकट कर देगा, जिससे वह गोपनीयता नष्ट हो जाएगी जिसे प्रोटोकॉल सुरक्षित रखने के लिए बनाया गया था। अतः, जबकि नया ढांचा कई क्वांटम इंटरैक्शन को सुरक्षित करने के लिए एक शक्तिशाली उपकरण प्रदान करता है, यह एक सार्वभौमिक समाधान नहीं है; यह एक सटीक उपकरण है जिसका उपयोग केवल तभी किया जाना चाहिए जब कुंजी की संरचना सार्वजनिक होनी चाहिए, गुप्त नहीं।
समस्या का मूल इन क्रिप्टोग्राफिक इंटरैक्शन में उपयोग की जाने वाली कुंजियों की प्रकृति में निहित है। एक ट्रैपडोर क्लॉ-फ्री फंक्शन एक गणितीय वस्तु है जो कार्यों के एक जोड़े की तरह कार्य करती है, जिनमें से प्रत्येक इनपुट को आउटपुट में मैप करता है, जो बिना किसी गुप्त के रिवर्स करना आसान है लेकिन कठिन है। "क्लॉ-फ्री" गुण का अर्थ है कि दो अलग-अलग इनपुट्स को ढूंढना जो एक ही आउटपुट उत्पन्न करते हैं, बिना गुप्त ट्रैपडोर के किसी के लिए भी कम्प्यूटेशनल रूप से असंभव है। एक विशिष्ट प्रमाण में, एक क्लासिकल वेरीफायर ऐसी कुंजी जेनरेट करता है और उसे क्वांटम प्रोवर को भेजता है। प्रोवर को फिर एक क्वांटम ऑपरेशन करना होता है जो यह प्रदर्शित करता है कि वह कुंजी की अनूठी संरचना को संभाल सकता है। पेच यह है कि एक दुर्भावनापूर्ण वेरीफायर एक ऐसी कुंजी जेनरेट कर सकता है जो वैध कुंजी के समान दिखती है लेकिन उसमें आवश्यक क्लॉ-फ्री संरचना की कमी है, या इससे भी बुरा, जो अतिरिक्त जानकारी निकालने के लिए डिज़ाइन की गई है। क्योंकि कुंजी केवल संख्याओं की एक स्ट्रिंग है, प्रोवर के पास यह बताने का कोई तरीका नहीं है कि कुंजी ईमानदार है या एक जाल।
इसे हल करने के लिए, शोधकर्ताओं ने एक नई अवधारणा को परिभाषित किया जिसे "सर्टिफिएबल की रिलेशन" (certifiable key relation) कहा जाता है। यह एक गणितीय नियम है जो बताता है कि एक ईमानदार कुंजी कैसी दिखती है, और इसके साथ एक "विटनेस" (witness) भी होता है जो यह सिद्ध करता है कि कुंजी को सही ढंग से जेनरेट किया गया था। विटनेस सूचना का एक ऐसा टुकड़ा है जो केवल ईमानदार जनरेटर के पास होता है, जैसे कि कुंजी बनाने के लिए उपयोग किए गए विशिष्ट रैंडम नंबर। शोधकर्ताओं ने दिखाया कि इन कार्यों के कई प्रमुख परिवारों के लिए—जो बड़े नंबरों के फैक्टरिंग (factoring), डिस्क्रीट लॉगरिदम (discrete logarithms) की जटिलता, और लर्निंग विद एरर्स (learning with errors) की कठिनाई पर आधारित हैं—एक वैध विटनेस को हमेशा गुप्त ट्रैपडोर से प्राप्त किया जा सकता है। बड़ी उपलब्धि यह समझना था कि जनरेटर इस विटनेस के अस्तित्व को दिखाए बिना ही इसे सिद्ध कर सकता है। उन्होंने इसे "जीरो-नॉलेज आर्गुमेंट ऑफ नॉलेज" (zero-knowledge argument of knowledge) का उपयोग करके हासिल किया, जो एक क्रिप्टोग्राफिक तकनीक है जो एक पक्ष को यह विश्वास दिलाने की अनुमति देती है कि वह किसी रहस्य को जानता है, बिना उस रहस्य को प्रकट किए।
परिणाम एक "सर्टिफाइड की जनरेशन" (certified key generation) योजना है। जब एक वेरीफायर एक कुंजी बनाता है, तो वह अब एक प्रमाण पत्र भी तैयार करता है। यह प्रमाण पत्र एक गणितीय प्रमाण है कि कुंजी सही परिवार से संबंधित है और ईमानदारी से जेनरेट की गई है। क्वांटम प्रोवर को कुंजी और प्रमाण पत्र दोनों प्राप्त होते हैं। कोई भी काम करने से पहले, प्रोवर प्रमाण पत्र को सत्यापित करने के लिए एक त्वरित जाँच करता है। यदि प्रमाण पत्र वैध है, तो प्रोवर को पता चल जाता है कि कुंजी उपयोग के लिए सुरक्षित है। यदि प्रमाण पत्र गायब है या अमान्य है, तो प्रोवर को पता चल जाता है कि वेरीफायर उसे गुमराह करने का प्रयास कर रहा है और वह इंटरैक्शन को रोक देता है। महत्वपूर्ण रूप से, प्रमाण पत्र गुप्त ट्रैपडोर के बारे में कुछ भी प्रकट नहीं करता है। शोधकर्ताओं ने सिद्ध किया कि इस अतिरिक्त प्रमाण पत्र के साथ भी, सिस्टम को तोड़ने की गणितीय कठिनाई पहले के समान ही बनी रहती है। प्रमाण पत्र प्रमाणिकता की एक सील की तरह कार्य करता है जो ताले को कमजोर नहीं करता।
यह ढांचा एक जेनेरिक "कंपाइलर" (compiler) की अनुमति देता है, जो एक उपकरण है जो किसी भी मौजूदा क्वांटम प्रूफ प्रोटोकॉल को लेकर उसे ज़ीरो-नॉलेज में अपग्रेड कर सकता है। मूल प्रोटोकॉल में, वेरीफायर प्रोवर के बारे में केवल यह जानने से अधिक जान सकता है कि प्रोवर क्वांटम है; वे प्रोवर की आंतरिक स्थिति या किए गए विशिष्ट क्वांटम ऑपरेशन्स के विवरण भी जान सकते हैं। इस सर्टिफाइड की जनरेशन स्टेप को सम्मिलित करके, शोधकर्ताओं ने दिखाया कि वेरीफायर को प्रोवर के क्वांटम होने के एकल तथ्य के अलावा कुछ भी सीखने से रोका जा सकता है। यह क्वांटम क्लाउड कंप्यूटिंग के भविष्य के लिए अत्यंत महत्वपूर्ण है, जहाँ उपयोगकर्ताओं को यह सत्यापित करने की आवश्यकता होती है कि एक रिमोट सर्वर क्वांटम कंप्यूटर का उपयोग कर रहा है, बिना सर्वर को उनके निजी डेटा के बारे में कुछ भी जानने का अवसर दिए। अध्ययन पुष्टि करता है कि यह अपग्रेड फैक्टरिंग, डिस्क्रीट लॉगरिदम और लर्निंग विद एरर्स पर आधारित प्रोटोकॉल के लिए निर्बाध रूप से काम करता है, बशर्ते कि अंतर्निहित गणितीय संबंध को प्रमाणित किया जा सके।
शोधकर्ता केवल यह बताने तक ही नहीं रुके कि क्या काम करता है; उन्होंने सावधानीपूर्वक यह भी मानचित्रित किया कि क्या काम नहीं करता है। उन्होंने उन प्रोटोकॉल के वर्ग की पहचान की जहाँ सुरक्षा क्लॉ-फ्री कुंजी और इन्जेक्टिव कुंजी के बीच अंतर न कर पाने की क्षमता पर निर्भर करती है। इन परिदृश्यों में, "इन्जेक्टिव" कुंजी एक अलग प्रकार की गणितीय वस्तु है जो अलग व्यवहार करती है लेकिन देखने में समान होती है। इन प्रोटोकॉल की सुरक्षा इस बात पर निर्भर करती है कि प्रोवर को यह नहीं पता होना चाहिए कि उसके पास किस प्रकार की कुंजी है। यदि वेरीफायर यह सिद्ध करने के लिए प्रमाण पत्र जारी करता कि कुंजी क्लॉ-फ्री है, तो प्रोवर तुरंत कुंजी के प्रकार को जान जाएगा, जिससे प्रोटोकॉल की सुरक्षा भंग हो जाएगी। शोधकर्ताओं ने प्रदर्शित किया कि इन विशिष्ट मामलों में, प्रमाणन की क्रिया ही उस जानकारी को लीक कर देती है जिसे प्रोटोकॉल छिपाने की कोशिश कर रहा है। प्रमाण पत्र एक 'डिस्टिंग्विशर' (distinguisher) बन जाता है, जो कुंजियों के प्रकारों को अलग करने वाला एक उपकरण है, जिससे प्रोटोकॉल असुरक्षित हो जाता है।
यह सीमा प्रमाणन पद्धति की खामी नहीं है, बल्कि इसके अनुप्रयोग की एक मौलिक सीमा है। शोधकर्ता बताते हैं कि प्रमाणन उन प्रोटोकॉल के लिए एक उपकरण है जहाँ कुंजी की संरचना सार्वजनिक ज्ञान होनी चाहिए, जबकि गुप्त ट्रैपडोर छिपा रहना चाहिए। यह उन प्रोटोकॉल के लिए उपकरण नहीं है जहाँ कुंजी परिवार की पहचान ही गुप्त है। इस सीमा को निर्धारित करके, अध्ययन भविष्य के क्रिप्टोग्राफिक डिज़ाइन के लिए एक स्पष्ट मार्गदर्शिका प्रदान करता है। यह इंजीनियरों को बताता है कि वे कई संदर्भों में क्वांटम प्रमाणों को सुरक्षित करने के लिए प्रमाणित कुंजियों का सुरक्षित रूप से उपयोग कर सकते हैं, लेकिन उन्हें उन प्रोटोकॉल में इस तकनीक से बचना चाहिए जो कुंजियों के परिवारों की अविभेद्यता (indistinguishability) पर निर्भर करते हैं।
यह कार्य क्वांटम क्रिप्टोग्राफी को वास्तविक दुनिया के उपयोग के लिए व्यावहारिक और सुरक्षित बनाने की दिशा में एक महत्वपूर्ण कदम है। विश्वास को 'माना जाने वाले मॉडल' से 'सत्यापित किए जाने वाले मॉडल' की ओर ले जाकर, शोधकर्ताओं ने क्लासिकल-क्वांटम इंटरैक्शन की सुरक्षा में एक महत्वपूर्ण अंतर को संबोधित किया है। उनका ढांचा किसी एक गणितीय धारणा से बंधा हुआ नहीं है बल्कि एक सामान्य सिद्धांत पर बना है जिसे विभिन्न क्रिप्टोग्राफिक आधारों पर लागू किया जा सकता है। यह लचीलापन सुनिश्चित करता है कि जैसे-जैसे नए क्वांटम-प्रतिरोधी एल्गोरिदम विकसित होते हैं, उनकी कुंजियों को प्रमाणित करने की विधि को अनुकूलित किया जा सकता है। अध्ययन निष्कर्ष निकालता है कि हालांकि पूरी तरह से सुरक्षित क्वांटम संचार का मार्ग जटिल है, लेकिन इन इंटरैक्शन में उपयोग की जाने वाली कुंजियों की अखंडता को सत्यापित करने की क्षमता एक आवश्यक और प्राप्त करने योग्य मील का पत्थर है। शोधकर्ताओं ने एक ऐसे भविष्य के लिए ब्लूप्रिंट प्रदान किया है जहाँ क्वांटम प्रमाण न केवल सत्यापन योग्य हैं बल्कि निजी भी हैं, जिससे यह सुनिश्चित होता है कि क्वांटम कंप्यूटिंग की शक्ति का उपयोग उन रहस्यों से समझौता किए बिना किया जा सके जिन्हें इसे सुरक्षित रखना है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।