Semi-Quantum Cryptography with Certified Deletion
यह शोधपत्र एक सामान्य कंपाइलर प्रस्तुत करता है जो शास्त्रीय क्लाइंट्स को सार्वजनिक रूप से सत्यापन योग्य प्रमाणित विलोपन (certified deletion) और गैर-विनाशकारी ऑडिटिंग के लिए सर्वरों पर क्वांटम सिफरटेक्स्ट अपलोड करने में सक्षम बनाता है, जो LWE की पोस्ट-क्वांटम कठोरता पर निर्भर करता है और शास्त्रीय इंटरैक्शन के लिए शुद्धिकरण-आधारित सुरक्षा तर्कों को अनुकूलित करने हेतु एक नवीन सिमुलेशन तकनीक पेश करता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
डिजिटल युग में, हम अपने सबसे संवेदनशील डेटा, निजी संदेशों से लेकर वित्तीय रिकॉर्ड तक को सुरक्षित रखने के लिए सर्वरों पर भरोसा करते हैं। हम इस डेटा को सुरक्षित रखने के लिए एन्क्रिप्शन पर निर्भर हैं, जो इसे इस तरह से बदल देता है कि केवल सही कुंजी (key) वाले लोग ही इसे पढ़ सकें। हालाँकि, एक मौलिक समस्या तब उत्पन्न होती है जब हम उस डेटा को हटाना चाहते हैं। एक बार जब कोई फ़ाइल सर्वर पर कॉपी हो जाती है, तो मालिक के पास सर्वर को मूल प्रति को नष्ट करने के लिए मजबूर करने का कोई तरीका नहीं होता है। एक बेईमान सर्वर चुपचाप एक छिपी हुई बैकअप कॉपी रख सकता है, और भविष्य के उस क्षण की प्रतीक्षा कर सकता है जब एन्क्रिप्शन कुंजी लीक या चोरी हो जाए, जिस समय वे डेटा को अनलॉक करके सब कुछ पढ़ सकते हैं। क्लासिकल कंप्यूटरों के लिए, यह एक असंभव स्थिति है; जानकारी को मिटाया गया है, इसे सिद्ध करने का कोई भौतिक तरीका नहीं है।
क्वांटम भौतिकी "नो-क्लोनिंग थ्योरम" (no-cloning theorem) नामक गुण के माध्यम से इस दुविधा का एक संभावित समाधान प्रदान करती है। क्लासिकल बिट्स के विपरीत, जिन्हें पूरी तरह से कॉपी किया जा सकता है, क्वांटम जानकारी नाजुक अवस्थाओं में मौजूद होती है जो यदि कोई उन्हें कॉपी करने की कोशिश करता है तो बाधित हो जाती है। यह "सर्टिफाइड डिलीशन" (certified deletion) नामक एक अवधारणा की अनुमति देता है। इस परिदृश्य में, एक उपयोगकर्ता डेटा को एक क्वांटम स्टेट के रूप में अपलोड करता है। यदि सर्वर बाद में दावा करता है कि उसने इसे हटा दिया है, तो उसे एक प्रमाण पत्र (certificate) प्रस्तुत करना होगा। क्वांटम यांत्रिकी के नियमों के कारण, यदि सर्वर ने वास्तव में डेटा को हटा दिया है, तो वह ऐसी प्रति नहीं रख सकता जो उसे भविष्य में संदेश पढ़ने की अनुमति दे, भले ही उसे डिक्रिप्शन कुंजी मिल जाए। यदि सर्वर एक प्रति रखने का प्रयास करता है, तो कॉपी करने की क्रिया उस अवस्था को बदल देगी, और प्रमाण पत्र सत्यापन में विफल हो जाएगा।
वर्षों तक, यह शक्तिशाली विचार काफी हद तक सैद्धांतिक रहा या इसके लिए उपयोगकर्ता के पास डेटा अपलोड करने के लिए अपना स्वयं का क्वांटम कंप्यूटर होना आवश्यक था। इसने एक बहुत बड़ी बाधा उत्पन्न की: साधारण उपयोगकर्ता और यहाँ तक कि कई संगठन भी आवश्यक हार्डवेयर खरीदने में सक्षम नहीं हैं जो क्वांटम अवस्थाओं को उत्पन्न और भेज सके। डेटा को एक क्वांटम चैनल के माध्यम से यात्रा करनी पड़ती थी, जिससे यह तकनीक व्यापक उपयोग के लिए अव्यवहारिक हो गई थी। याएल ताउमन कलई और जस्टिन राइज़ेस का एक नया अध्ययन इस परिदृश्य को बदल देता है, जो यह प्रदर्शित करता है कि कैसे एक पूरी तरह से साधारण, क्लासिकल कंप्यूटर डेटा को क्वांटम सर्वर पर अपलोड कर सकता है और फिर भी ये डिलीशन गारंटी प्राप्त कर सकता है। उन्होंने एक ऐसा तरीका बनाया है जो एक मानक उपयोगकर्ता को केवल नियमित डिजिटल संचार का उपयोग करके एक क्वांटम सर्वर के साथ बातचीत करने की अनुमति देता है, फिर भी क्वांटम यांत्रिकी के सुरक्षा लाभ प्राप्त करता है।
शोधकर्ताओं ने एक चतुर प्रोटोकॉल को डिजाइन करके यह उपलब्धि हासिल की है जो क्लासिकल और क्वांटम दुनिया के बीच एक सेतु (bridge) के रूप में कार्य करता है। उपयोगकर्ता को सीधे एक जटिल क्वांटम स्टेट तैयार करने के लिए कहने के बजाय, उपयोगकर्ता शास्त्रीय निर्देश (classical instructions) भेजता है। सर्वर, जिसके पास आवश्यक क्वांटम क्षमताएं हैं, इन निर्देशों का उपयोग करके अपने आप आवश्यक क्वांटम स्टेट तैयार करता है। इस नए तरीके की श्रेष्ठता इस बात में निहित है कि यह सत्यापित करता है कि सर्वर ने वास्तव में क्या किया है, बिना उपयोगकर्ता द्वारा कभी उस क्वांटम स्टेट को देखे। यह प्रोटोकॉल "ट्रैपडोर क्लॉ-फ्री फंक्शन" (trapdoor claw-free function) नामक एक गणितीय उपकरण का उपयोग करता है। सरल शब्दों में, यह एक गणितीय पहेली है जिसे हल करना यदि आपके पास एक गुप्त कुंजी (ट्रैपडोर) है तो आसान है, लेकिन इसके बिना अत्यंत कठिन है। सर्वर को डेटा प्राप्त करने के लिए इस पहेली का समाधान जानना होगा, लेकिन पहेली की संरचना सुनिश्चित करती है कि सर्वर डेटा की प्रति रखे बिना नियमों को नहीं तोड़ सकता।
उनकी खोज का मुख्य आधार एक ऐसी तकनीक है जो इस सुरक्षा प्रमाण को काम करने देती है भले ही उपयोगकर्ता कभी क्वांटम स्टेट को न देखे। पिछले प्रयासों में, ऐसे सिस्टम की सुरक्षा सिद्ध करने के लिए उपयोगकर्ता के पास स्टेट का एक "प्यूरीफाइड" (purified) संस्करण होना आवश्यक था, जो अनिवार्य रूप से सर्वर की प्रति के साथ उलझा हुआ (entangled) एक क्वांटम जुड़वां था। यह असंभव था यदि उपयोगकर्ता एक क्लासिकल कंप्यूटर था। लेखकों ने केवल क्लासिकल संचार का उपयोग करके इस एंटैंगलमेंट (entanglement) को सिम्युलेट करने का एक नया तरीका विकसित किया। उन्होंने दिखाया कि भले ही उपयोगकर्ता के संदेश क्लासिकल हैं और प्रतीत होते हैं कि वे स्टेट को पूरी तरह से निर्धारित करते हैं, प्रोटोकॉल की गणितीय संरचना इस तरह से काम करती है जैसे कि स्टेट अभी भी एक क्वांटम सुपरपोजिशन में हो। इसका अर्थ यह है कि यदि सर्वर भविष्य में पढ़ने के लिए डेटा की प्रति रखने का प्रयास करता है, तो सिस्टम के गणितीय गारंटी टूट जाते हैं, और सर्वर पकड़ा जाएगा।
यह सफलता केवल एक संदेश भेजने तक सीमित नहीं है। लेखक एक सामान्य "कंपाइलर" (compiler) प्रदान करते हैं, जो निर्देशों का एक सेट है जिसे कई अलग-अलग प्रकार के क्रिप्टोग्राफिक टूल्स पर लागू किया जा सकता है। उन्होंने प्रदर्शित किया कि यह विधि पब्लिक-की एन्क्रिप्शन (जहाँ कोई भी किसी प्राप्तकर्ता को संदेश भेज सकता है), एट्रिब्यूट-बेस्ड एन्क्रिप्शन (जहाँ पहुंच विशिष्ट क्रेडेंशियल्स पर निर्भर करती है), और यहाँ तक कि फुली होमोमोर्फिक एन्क्रिप्शन (जो एन्क्रिप्टेड डेटा पर गणना करने की अनुमति देता है बिना उसे कभी डिक्रिप्ट किए) के लिए भी काम करती है। हर मामले में, उपयोगकर्ता केवल क्लासिकल संचार का उपयोग करके डेटा अपलोड कर सकता है, और सर्वर को प्रमाणित प्रमाण पत्र के साथ डेटा हटाने के लिए मजबूर किया जा सकता है। यदि सर्वर का पालन किया जाता है और डेटा हटा दिया जाता है, तो उपयोगकर्ता आश्वस्त हो सकता है कि भले ही सर्वर बाद में डिक्रिप्शन कुंजी प्राप्त कर ले, वह मूल संदेश को पुनः प्राप्त करने में सक्षम नहीं होगा।
साधारण विलोपन (deletion) से परे, शोधकर्ताओं ने दिखाया है कि यह सिस्टम "प्रूफ ऑफ नो इंट्रूज़न" (proofs of no intrusion) की अनुमति देता है। यह एक तरीका है जिससे उपयोगकर्ता यह जांच सकता है कि क्या उसका डेटा चोरी हुआ है या किसी तीसरे पक्ष को लीक किया गया है, बिना डेटा को नष्ट किए। कई सुरक्षा परिदृश्यों में, लीक की जांच करने के लिए सबूत को नष्ट करना आवश्यक होता है, लेकिन यहाँ, उपयोगकर्ता सर्वर से यह प्रमाणित करने के लिए कह सकता है कि किसी और के पास डेटा तक पहुंच नहीं है, और सर्वर ऐसा कर सकता है बिना संदेश को बाद में डिक्रिप्ट करने की क्षमता खोए। यह ऑडिटिंग के लिए महत्वपूर्ण है, क्योंकि यह उपयोगकर्ता को डेटा को स्वयं नष्ट किए बिना अपने डेटा स्टोरेज की अखंडता को सत्यापित करने की अनुमति देता है। सर्वर यह सिद्ध कर सकता है कि केवल वही कुंजी रखता है, और उपयोगकर्ता आश्वस्त हो सकता है कि डेटा सुरक्षित है।
यह अध्ययन डेटा पुनर्प्राप्ति (retrieval) के व्यावहारिक मुद्दे को भी संबोधित करता है। कुछ क्वांटम डिलीशन स्कीमों में, एक बार डेटा हटा दिए जाने के बाद, वह मालिक के लिए भी हमेशा के लिए चला जाता है। लेखकों ने एक ऐसा प्रोटोकॉल डिजाइन किया है जहाँ उपयोगकर्ता अपने डेटा को प्राप्त कर सकता है और साथ ही यह सुनिश्चित कर सकता है कि वह सर्वर से हटा दिया गया है। सर्वर एक विशिष्ट क्वांटम ऑपरेशन करता है जो डेटा को एक ऐसे रूप में परिवर्तित करता है जिसे उपयोगकर्ता पढ़ सकता है, लेकिन ऐसा करने में, यह भविष्य में उस डेटा को पढ़ने की अपनी क्षमता को नष्ट कर देता है। इसका मतलब है कि उपयोगकर्ता को अपने डेटा को वापस पाने और उसे भविष्य के की-लीक्स (key leaks) से बचाने के बीच चयन करने की आवश्यकता नहीं है; वे दोनों कार्य एक साथ कर सकते हैं।
इस पूरे सिस्टम की सुरक्षा इस धारणा पर टिकी है कि कुछ गणितीय समस्याएं, विशेष रूप से "लर्निंग विद एरर्स" (Learning With Errors - LWE) समस्या से संबंधित, क्वांटम कंप्यूटरों के लिए भी हल करना कठिन है। यह आधुनिक क्रिप्टोग्राफी में एक मानक धारणा है, जिसे व्यापक रूप से सत्य माना जाता है। लेखकों ने सिद्ध किया है कि जब तक ये गणितीय समस्याएं कठिन बनी रहती हैं, उनका सिस्टम सुरक्षित है। उन्होंने किसी भी अपुष्ट या विलक्षण धारणाओं पर भरोसा नहीं किया, और न ही इसके लिए उपयोगकर्ता को किसी क्वांटम हार्डवेयर की आवश्यकता थी। एकमात्र आवश्यकता यह है कि सर्वर के पास आवश्यक संचालन करने के लिए क्वांटम क्षमता होनी चाहिए, जो कि भविष्य में एक क्लाउड प्रदाता के लिए एक उचित अपेक्षा है।
यह कार्य क्वांटम सुरक्षा को सभी के लिए सुलभ बनाने की दिशा में एक महत्वपूर्ण कदम है। उपयोगकर्ता के पास क्वांटम कंप्यूटर होने की आवश्यकता को हटाकर, लेखकों ने सर्टिफाइड डिलीशन के लिए प्रवेश की सबसे बड़ी बाधा को दूर कर दिया है। उनके द्वारा वर्णित तकनीक एक ऐसा भविष्य प्रदान करती है जहाँ उपयोगकर्ता क्लाउड पर अपना डेटा अपलोड कर सकते हैं और उन्हें डेटा को मिटाने का एक गणितीय आश्वासन मिल सकता है, एक ऐसा आश्वासन जो तब भी बना रहता है जब एन्क्रिप्शन कुंजियाँ समझौतापूर्ण (compromised) हो जाएं। यह डेटा विलोपन की अवधारणा को एक आशा से बदलकर एक सत्यापन योग्य तथ्य में बदल देता है, जो भौतिकी के नियमों और गणित की कठोरता पर आधारित है। परिणाम एक ऐसा सिस्टम है जहाँ विश्वास अब केवल नीति का मामला नहीं है, बल्कि भौतिक कानून का मामला है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।