Finality Before Disclosure for Ledger Authenticators in the Quantum Random Oracle Model
यह शोध पत्र सार्वजनिक लेजर में रिएक्टिव ऑथराइजेशन प्रोटोकॉल को सुरक्षित करने के लिए लेजर ऑथेंटिकेटर की अवधारणा और एक संगत अनफोर्जिएबिलिटी मॉडल () प्रस्तुत करता है, जो क्वांटम रैंडम ऑरेकल मॉडल में एक मल्टी-यूज़र क्वांटम सुरक्षा सीमा को सिद्ध करता है जो प्रतिकूल क्रम निर्धारण (एडवर्सरियल ऑर्डरिंग), सेंसरशिप और क्रेडेंशियल प्रकटीकरण से पहले साक्ष्य पात्रता को बंद करने की महत्वपूर्ण आवश्यकता को ध्यान में रखता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
डिजिटल दुनिया में, एक लेजर (ledger) केवल एक साझा रिकॉर्ड है कि किसका क्या स्वामित्व है और क्या हुआ है। इसे एक सार्वजनिक नोटबुक के रूप में सोचें जहाँ प्रत्येक लेनदेन को लिखा जाता है, सत्यापित किया जाता है और इतिहास में जोड़ा जाता है। दशकों तक, इन नोटबुक की सुरक्षा एक एकल, पोर्टेबल कुंजी पर टिकी थी: एक डिजिटल हस्ताक्षर। एक चेक पर भौतिक हस्ताक्षर की तरह, यह डिजिटल निशान प्रमाणित करता था कि मालिक ने एक विशिष्ट कार्य को अधिकृत किया है। सिस्टम को इस तरह डिज़ाइन किया गया था कि कोई भी खाते के इतिहास या लेनदेन के समय को जाने बिना, पब्लिक की (public key) का उपयोग करके हस्ताक्षर को सत्यापित कर सके। यह सरल हस्तांतरणों के लिए अच्छा काम करता था, लेकिन आधुनिक डिजिटल लेजर अधिक जटिल हो गए हैं। वे अब 'स्टेट' (state) का प्रबंधन करते हैं, घटनाओं का क्रम तय करते हैं, और रिकॉर्ड की 'फिनैलिटी' (finality) पर निर्भर करते हैं—वह बिंदु जहाँ एक लेनदेन अपरिवर्तनीय और स्थायी माना जाता है। पुराना मॉडल एक स्टैंडअलोन हस्ताक्षर का था, जो इन नए, प्रतिक्रियाशील सिस्टमों के लिए अपर्याप्त महसूस होने लगा, जहाँ किसी क्रिया की वैधता इस बात पर निर्भर हो सकती है कि उससे ठीक पहले क्या हुआ था या नेटवर्क ने घटनाओं के क्रम पर कैसे सहमति व्यक्त की थी।
इस बदलाव ने सुरक्षा के लिए एक नई चुनौती पैदा की, विशेष रूप से जब हम एक ऐसे भविष्य की ओर देख रहे हैं जहाँ शक्तिशाली क्वांटम कंप्यूटर वर्तमान एन्क्रिप्शन विधियों को तोड़ सकते हैं। शोधकर्ताओं माजा ली (Maja Lie) और बेंजामिन मार्श (Benjamin Marsh) ने एक मौलिक प्रश्न पूछा: जब एक डिजिटल लेजर किसी परिवर्तन को अधिकृत करता है, तो उस सुरक्षा का कितना हिस्सा उपयोगकर्ता के पास रखी गुप्त कुंजी (secret key) से आता है, और कितना लेजर के सार्वजनिक इतिहास से आता है? कई आधुनिक प्रणालियों में, लेजर केवल एक हस्ताक्षर को ले जाने से कहीं अधिक करता है; यह टाइमलाइन, घटनाओं के क्रम और खाते की अंतिम स्थिति की जांच करके यह तय करने में मदद करता है कि एक क्रिया वैध है या नहीं। लेखकों ने महसूस किया कि मानक सुरक्षा परीक्षण, जो हस्ताक्षरों को अलग-थseits वस्तुओं के रूप में देखते हैं, इस अनूठे वातावरण के विशिष्ट खतरों को छोड़ देते हैं। उन्होंने पहचान की कि एक हमलावर संभावित रूप से उस समय का फायदा उठा सकता है जब एक गुप्त जानकारी प्रकट होती है और उसे आधिकारिक रूप से रिकॉर्ड किया जाता है, या लेनदेन को विलंबित करने और पुनर्व्यवस्थित करने की क्षमता का उपयोग करके एक जालसाजी (forgery) कर सकता है।
इसे हल करने के लिए, शोधकर्ताओं ने एक नया ढांचा बनाया जिसे "लेजर ऑथेंटिकेटर" (ledger authenticator) कहा जाता है। यह एक ऐसा मॉडल है जो प्राधिकरण की पूरी प्रक्रिया को केवल एक हस्ताक्षर की जांच के बजाय, लेजर के इतिहास के विरुद्ध खेले जाने वाले एक खेल के रूप में मानता है। उन्होंने एक विशिष्ट परीक्षण पेश किया, जिसे LA-EUF कहा जाता है, जो एक ऐसी स्थिति का अनुकरण करता है जहाँ एक हमलावर किसी भी ईमानदार लेनदेन को रिकॉर्ड होने से पहले देख सकता है, उसे शामिल करने में देरी कर सकता है, और यहाँ तक कि घटनाओं के क्रम को भी बदल सकता है। इसका लक्ष्य यह देखना है कि क्या हमलावर अभी-अभी प्रकट किए गए एक गुप्त (secret) का उपयोग करके सिस्टम को एक नया, अनधिकृत कार्य स्वीकार करने के लिए धोखा दे सकता है। पेपर यह सिद्ध करता है कि कुछ प्रकार के प्रोटोकॉल के लिए, सुरक्षा एक विशिष्ट शर्त पर निर्भर करती है: लेजर को गुप्त प्रकट होने से पहले संभावित कार्यों की सूची को "बंद" (close) करना चाहिए। यदि सिस्टम गुप्त प्रकट होने के बाद नए कार्य बनाने की अनुमति देता है, तो लेजर असुरक्षित है। हालाँकि, यदि सिस्टम गुप्त प्रकट होने से पहले लेजर की अंतिम, अपरिवर्तनीय स्थिति के आधार पर वैध कार्यों की सूची को स्थिर कर देता है, तो सिस्टम सुरक्षित रहता है।
शोधकर्ताओं ने एक "कमिट, क्लोज, रिवील" (commit, close, reveal) प्रक्रिया को परिभाषित करके यह प्रदर्शित किया कि यह दृष्टिकोण काम करता है। इस पद्धति में, एक उपयोगकर्ता पहले एक क्रिया के लिए कमिट करता है और समय के एक विशिष्ट विंडो के अंतिम होने की प्रतीक्षा करता है। केवल इस विंडो के बंद होने और वैध प्रतिबद्धताओं की सूची स्थिर होने के बाद ही उपयोगकर्ता गुप्त (secret) को प्रकट करता है। यह सुनिश्चित करता है कि भले ही हमलावर गुप्त को देख ले, वह एक नया, वैध कार्य नहीं बना सकता क्योंकि लेजर ने उस क्षण के लिए नियमों को पहले ही लॉक कर दिया है। लेखकों ने एक गणितीय प्रमाण प्रदान किया कि यह विधि क्वांटम कंप्यूटरों के विरुद्ध भी सुरक्षित है, बशर्ते सिस्टम इन सख्त समय और फिनैलिटी नियमों का पालन करता हो। उन्होंने दिखाया कि सिस्टम की सुरक्षा केवल गुप्त कुंजी की मजबूती के बारे में नहीं है, बल्कि उस सटीक क्षण के बारे में है जब लेजर यह निर्णय लेता है कि क्या अनुमत है।
अध्ययन ने इस दृष्टिकोण की सीमाओं को भी स्पष्ट किया। इसने पाया कि यदि कोई प्रोटोकॉल एक ऐसी एकल घटना पर निर्भर करता है जो लेजर के इतिहास पर निर्भर नहीं है, तो यह अनिवार्य रूप से एक मानक हस्ताक्षर योजना में वापस गिर जाता है, जिससे वह अतिरिक्त सुरक्षा खो देता है जो लेजर प्रदान कर सकता था। इसके विपरीत, यदि कोई प्रोटोकॉल गुप्त को प्रकट होने के बाद किसी अन्य क्रिया के लिए पुन: उपयोग करने या उससे फिर से जोड़ने की अनुमति देता है, तो यह स्वाभाविक रूप से असुरक्षित है, जब तक कि लेजर ने वैध कार्यों की सूची को पहले ही फ्रीज न कर दिया हो। शोधकर्ताओं ने सिद्ध किया कि सिस्टम की सुरक्षा को उसके लेनदेन संसाधित करने की गति से अलग करके, वे एक मजबूत रक्षा बना सकते हैं। उन्होंने दिखाया कि सुरक्षा की गारंटी दी जा सकती है, भले ही नेटवर्क धीमा हो या हमलावर ईमानदार लेनदेन को सेंसर करने की कोशिश करे, जब तक कि लेजर की अंतिम स्थिति का उपयोग गुप्तों के उजागर होने से पहले नियमों को लॉक करने के लिए किया जाता है।
यह कार्य एक पोस्ट-क्वांटम दुनिया में सुरक्षित डिजिटल लेजर बनाने के लिए एक स्पष्ट मार्ग प्रदान करता है। यह केवल पुराने हस्ताक्षरों को नए, क्वांटम-प्रतिरोधी हस्ताक्षरों से बदलने के विचार से आगे बढ़ता है। इसके बजाय, यह सुझाव देता है कि लेजर को स्वयं सुरक्षा तर्क में एक सक्रिय भागीदार होना चाहिए, धोखाधड़ी को रोकने के लिए अपने सार्वजनिक, अंतिम इतिहास का उपयोग करना चाहिए। शोधकर्ताओं के निष्कर्ष बताते हैं कि सबसे सुरक्षित सिस्टम वे होंगे जो इस बात का सावधानीपूर्वक प्रबंधन करेंगे कि गुप्त कब प्रकट किए जाते हैं और खेल के नियम कब पत्थर की लकीर (set in stone) बन जाते हैं। ऐसा करके, वे सुनिश्चित करते हैं कि लेजर एक विश्वसनीय रिकॉर्ड बना रहे, जो अत्यधिक परिष्कृत हमलों का सामना करने में सक्षम हो, बिना इस उम्मीद पर निर्भर रहे कि कोई गुप्त कभी अनुमानित नहीं किया जाएगा। परिणाम डिजिटल विश्वास को प्रबंधित करने का एक अधिक लचीला तरीका है, जहाँ सिस्टम का इतिहास उतना ही महत्वपूर्ण है जितना कि वह कुंजी जो इसे शुरू करती है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।