The Entire Quantum Computer on a Classical Leash
लर्निंग विद एरर्स (learning with errors) की पोस्ट-क्वांटम कठिनाई को मानते हुए, यह शोध पत्र एक प्रोटोकॉल प्रस्तुत करता है जो एक विशुद्ध रूप से शास्त्रीय क्लाइंट को एक अविश्वसनीय क्वांटम सर्वर को मनमाने क्वांटम गणनाओं, अवस्था तैयारी (state preparation) और मेमोरी को सुरक्षित रूप से आउटसोर्स करने में सक्षम बनाता है, जो प्रभावी रूप से एक आभासी विश्वसनीय क्वांटम कंप्यूटर का निर्माण करता है और शास्त्रीय सत्यापन एवं रिमोट स्टेट प्रिपरेशन की खुली समस्याओं का समाधान करता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
कंप्यूटिंग की दुनिया में, उन लोगों के बीच एक बढ़ता हुआ अंतर है जिनके पास शक्तिशाली क्वांटम मशीनें हैं और उनके बीच जिनके पास नहीं हैं। क्वांटम कंप्यूटर केवल आज के उपकरणों के तेज़ संस्करण नहीं हैं; वे भौतिक नियमों के एक अलग सेट पर काम करते हैं, जो उन्हें सूचना को एक नाजुक, सुपरपोजिशन अवस्था (superpositioned state) में रखने की अनुमति देते हैं जो कुछ समस्याओं को सेकंडों में हल कर सकते हैं जिन्हें हल करने में क्लासिकल मशीनों को सहस्राब्दियों लग सकती हैं। हालाँकि, इस शक्ति के साथ एक पेंच भी है: क्वांटम अवस्थाएँ अविश्वसनीय रूप से नाजुक होती हैं। जिस क्षण आप यह सत्यापित करने के लिए उन्हें बहुत करीब से देखने की कोशिश करते हैं कि वे सही हैं या नहीं, वे अक्सर ढह जाती हैं और अपने विशेष गुणों को खो देती हैं। यह विश्वास के लिए एक मौलिक समस्या पैदा करता है। यदि किसी उपयोगकर्ता के पास केवल एक मानक कंप्यूटर है, तो वह कैसे सुनिश्चित कर सकता है कि एक दूरस्थ क्वांटम सर्वर वास्तव में वही काम कर रहा है जो उसने करने के लिए कहा था, न कि केवल दिखावा कर रहा है? इसके अलावा, एक क्लासिकल उपयोगकर्ता एक गुप्त क्वांटम संदेश सर्वर को कैसे भेज सकता है बिना यह सुनिश्चित किए कि सर्वर उस रहस्य को जान ले या उसकी अवैध प्रतियां न बना ले? वर्षों तक, वैज्ञानिक इस अंतर को पाटने के लिए संघर्ष करते रहे हैं, अक्सर यह पाते हुए कि कार्य की जाँच करने की क्रिया ही परिणाम को नष्ट कर देती है, या सुरक्षा गारंटी इतनी कमजोर थी कि वास्तविक दुनिया के क्रिप्टोग्राफी के लिए उपयोगी नहीं थी।
शोधकर्ताओं की एक टीम ने अब एक ऐसा समाधान प्रस्तावित किया है जो प्रभावी रूप से एक क्लासिकल कंप्यूटर को एक विश्वसनीय क्वांटम मशीन की पूरी क्षमता प्रदान करता है, भले ही उपलब्ध एकमात्र क्वांटम हार्डवेयर एक संभावित रूप से बेईमान सर्वर का ही क्यों न हो। उनका कार्य प्रदर्शित करता है कि बिना किसी क्वांटम उपकरण के एक उपयोगकर्ता एक दूरस्थ क्वांटम सर्वर को जटिल गणनाएं करने, विशिष्ट क्वांटम अवस्थाओं को तैयार करने और यहाँ तक कि भविष्य के उपयोग के लिए क्वांटम सूचना को संग्रहीत करने के निर्देश दे सकता है, और यह सब करते हुए भी सर्वर को इस बात से अनजान रखा जा सकता है कि वास्तव में क्या हो रहा है। शोधकर्ता इसे एक "वर्चुअल क्वांटम कंप्यूटर" कहते हैं। यह कोई भौतिक उपकरण नहीं है बल्कि एक प्रोटोकॉल है—संचार के नियमों का एक समूह—जो एक क्लासिकल क्लाइंट को अनट्रस्टेड (untrusted) सर्वर के साथ इस तरह व्यवहार करने की अनुमति देता है जैसे कि वह उनके अपने मन का एक निजी, सुरक्षित विस्तार हो। मुख्य उपलब्धि यह है कि क्लाइंट क्वांटम अवस्था को नष्ट किए बिना सर्वर के काम को सत्यापित कर सकता है, और उस अवस्था के एक हिस्से को भविष्य की गणना के लिए सर्वर की मेमोरी में रख भी सकता है, और यह सब सुनिश्चित करते हुए कि सर्वर प्रोटोकॉल से विचलित न हो या सूचना चोरी न कर सके।
इस सफलता का मूल आधार टू-पार्टी कम्प्यूटेशन (two-party computation) की एक नई विधि है, जो एक क्रिप्टोग्राफिक तकनीक है जहाँ दो पक्ष एक साथ एक फंक्शन को कंप्यूट करते हैं बिना एक-दूसरे को अपने निजी इनपुट बताए। इस परिदृश्य में, एक पक्ष क्लासिकल है और दूसरा क्वांटम है। शोधकर्ताओं ने एक ऐसा प्रोटोकॉल बनाया है जहाँ क्लासिकल क्लाइंट क्वांटम सर्वर को निर्देश भेज सकता है, और सर्वर गणना करता है बिना क्लाइंट द्वारा सीधे क्वांटम डेटा को देखे। इसके बजाय, क्लाइंट यह सुनिश्चित करने के लिए चालाकी भरे चेक का उपयोग करता है कि सर्वर नियमों का पालन कर रहा है। यदि सर्वर प्रोटोकॉल से विचलित होता है, तो डिटेक्शन मैकेनिज्म विचलन की पहचान करता है और प्रक्रिया को रोक देता है। यदि सर्वर ईमानदार है, तो क्लाइंट को सही परिणाम प्राप्त होता है। महत्वपूर्ण रूप से, इस प्रक्रिया के लिए क्लाइंट को किसी क्वांटम हार्डवेयर की आवश्यकता नहीं होती है; हर बातचीत मानक, क्लासिकल संचार चैनलों के माध्यम से होती है। इस प्रणाली की सुरक्षा 'लर्निंग विद एरर्स' (learning with errors) नामक एक समस्या की गणितीय कठिनाई पर निर्भर करती है, जिसे भविष्य के क्वांटम कंप्यूटरों के लिए भी कठिन माना जाता है।
इस कार्य के सबसे महत्वपूर्ण पहलुओं में से एक यह है कि यह "मेजरमेंट प्रॉब्लम" (measurement problem) को कैसे संभालता है। क्वांटम मैकेनिक्स में, किसी सिस्टम को मापने से आमतौर पर वह बदल जाता है। क्वांटम गणनाओं को सत्यापित करने के पिछले प्रयास अक्सर क्लाइंट को परिणाम की कई प्रतियों के लिए पूछने, उनमें से अधिकांश का परीक्षण करने और इस उम्मीद में रहने की आवश्यकता रखते थे कि बचा हुआ एक सही होगा। यह दृष्टिकोण अक्षम था और इसमें एक गलत परिणाम के निकल जाने की छोटी लेकिन खतरनाक संभावना बनी रहती थी। नया प्रोटोकॉल इस गतिशीलता को पूरी तरह से बदल देता है। यह क्लाइंट को क्वांटम अवस्था का सौम्य परीक्षण करने की अनुमति देता है, यह पुष्टि करने के लिए कि वह वैध है बिना उसे नष्ट किए, और फिर उसी परीक्षित अवस्था का अंतिम आउटपुट के लिए उपयोग कर सकता है। इसका अर्थ है कि क्लाइंट एक ऐसे स्तर की निश्चितता के साथ सर्वर के काम को सत्यापित कर सकता है जो प्रभावी रूप रूप से पूर्ण है, न कि केवल "बहुत अच्छी"। शोधकर्ता दिखाते हैं कि यह विधि किसी भी क्वांटम सर्किट के लिए काम करती है जिसे कुशलतापूर्वक वर्णित किया जा सकता है, जिससे क्लाइंट जटिल एल्गोरिदम चला सकता है, विशिष्ट क्वांटम अवस्थाएं तैयार कर सकता है, और यहाँ तक कि अन्य पक्षों द्वारा भेजी गई अवस्थाओं को प्रोसेस भी कर सकता है।
इस कार्य के निहितार्थ केवल सत्यापन से कहीं आगे तक फैले हुए हैं। शोधकर्ता प्रदर्शित करते हैं कि यह प्रोटोकॉल क्वांटम क्रिप्टोग्राफी की कई लंबे समय से चली आ रही खुली समस्याओं को हल कर सकता है। उदाहरण के लिए, यह किसी भी क्वांटम अवस्था के लिए "रिमोट स्टेट प्रिपरेशन" (remote state preparation) की अनुमति देता है जिसे कुशलतापूर्वक बनाया जा सकता है। इसका मतलब है कि एक क्लासिकल उपयोगकर्ता एक क्वांटम सर्वर को एक विशिष्ट, जटिल क्वांटम अवस्था तैयार करने और उसे किसी अन्य पक्ष को भेजने का निर्देश दे सकता है, बिना सर्वर को यह जाने कि वह अवस्था क्या है या उसकी अतिरिक्त प्रतियां बनाने में सक्षम हुए। यह सुरक्षित संचार के लिए अत्यंत महत्वपूर्ण है, क्योंकि यह एक ईव्सड्रॉपर (eavesdropper) को गुप्त कुंजी को डुप्लिकेट करने से रोकता है। पेपर यह भी दिखाता है कि इस तकनीक का उपयोग क्वांटम कुंजियों को रद्द करने के लिए कैसे किया जा सकता है। एक ऐसी प्रणाली में जहाँ एक उपयोगकर्ता क्वांटम डिक्रिप्शन कुंजी उधार लेता है, वे बाद में एक क्लासिकल वेरीफायर को यह साबित कर सकते हैं कि उन्होंने कुंजी को नष्ट कर दिया है और अब वे संदेशों को डिक्रिप्ट नहीं कर सकते, और इसके लिए भौतिक वस्तु को वापस करने की आवश्यकता नहीं है। यह एक ऐसी प्रक्रिया को बदल देता है जिसके लिए पहले जटिल क्वांटिक इंटरैक्शन की आवश्यकता होती थी।
इस कार्य का एक अन्य प्रमुख अनुप्रयोग दूरस्थ सर्वर पर "पर्सिस्टेंट मेमोरी" (persistent memory) बनाए रखने की क्षमता है। एक विशिष्ट क्वांटम इंटरैक्शन में, एक बार गणना पूरी हो जाने के बाद, क्वांटम अवस्था अक्सर खो जाती है या मापी जाती है। इस नए प्रोटोकॉल के साथ, क्लासिकल क्लाइंट सर्वर को क्वांटम अवस्था के एक हिस्से को मेमोरी में रखने का निर्देश दे सकता है, जो सर्वर से छिपा हुआ हो, और भविष्य की गणना के लिए उसी संग्रहीत अवस्था का उपयोग कर सकता है। यह क्लाइंट को एक अनुक्रमिक इंटरैक्शन की अनुमति देता है जहाँ क्वांटम अवस्था समय के साथ विकसित होती है, जो प्रभावी रूप से क्लाइंट को एक दीर्घकालिक क्वांटम मेमोरी प्रदान करता है जिसे वे नियंत्रित करते हैं लेकिन भौतिक रूप से धारण नहीं करते। शोधकर्ता यह सिद्ध करते हैं कि सर्वर चरणों के बीच इस मेमोरी के साथ छेड़छाड़ नहीं कर सकता है, जिससे पूरी गणना श्रृंखला की अखंडता सुनिश्चित होती है। यह क्षमता एक एकल, अलग क्वांटम गणना को निरंतर, संवादात्मक सत्र में बदल देती है, जो अधिक जटिल और गतिशील क्वांटम अनुप्रयोगों के द्वार खोलती है।
पेपर सुरक्षा त्रुटियों के मुद्दे को भी संबोधित करता है। कई पिछले क्रिप्टोग्राफिक प्रोटोकॉल में, विफलता या सुरक्षा उल्लंघन की संभावना प्रोटोकॉल के चरणों की संख्या से जुड़ी होती थी, जिसका अर्थ था कि जैसे-जैसे प्रोटोकॉल लंबा होता गया, त्रुटि का जोखिम बढ़ता गया। नया दृष्टिकोण "निग्लिजिबल" (negligible) त्रुटि प्राप्त करता है, जिसका अर्थ है कि विफलता की संभावना इतनी कम है कि वह किसी भी व्यावहारिक उद्देश्य के लिए शून्य के बराबर है, चाहे इंटरैक्शन कितना भी लंबा क्यों न हो। यह वास्तविक दुनिया के अनुप्रयोगों के लिए एक महत्वपूर्ण अंतर है, जहाँ उच्च सुरक्षा अनिवार्य है। शोधकर्ता दिखाते हैं कि उनके प्रोटोकॉल का उपयोग क्वांटम सैंपलिंग कार्यों को सत्यापित करने के लिए किया जा सकता है—जहाँ लक्ष्य एक विशिष्ट वितरण से रैंडम नंबर उत्पन्न करना है—उसी स्तर की निश्चितता के साथ। यह इस क्षेत्र में एक बड़े प्रश्न को हल करता है कि क्या क्लासिकल कंप्यूटर कभी सुरक्षा के महत्वपूर्ण नुकसान के बिना क्वांटम कंप्यूटर के आउटपुट को पूरी तरह से सत्यापित कर सकते हैं।
इस प्रोटोकॉल का निर्माण उन्नत क्रिप्टोग्राफिक उपकरणों के संयोजन पर आधारित है, जिसमें क्वांटम फुली होमोमोर्फिक एन्क्रिप्शन (quantum fully homomorphic encryption) और "विटनेस-प्रिजर्विंग आर्गुमेंट्स" (witness-preserving arguments) नामक एक तकनीक शामिल है। ये उपकरण क्लाइंट को अपने निर्देशों को इस तरह से एनक्रिप्ट करने की अनुमति देते हैं कि सर्वर सामग्री को देखे बिना उन पर गणना कर सके, और फिर यह प्रमाणित कर सके कि गणना सही ढंग से की गई थी बिना मध्यवर्ती चरणों को प्रकट किए। शोधकर्ता क्वांटम अवस्थाओं के लिए एक नए प्रकार के कमिटमेंट स्कीम (commitment scheme) का परिचय देते हैं, जो एक डिजिटल लॉकबॉक्स की तरह कार्य करता है। सर्वर एक क्वांटम अवस्था को इस बॉक्स के अंदर लॉक कर सकता है, और क्लाइंट अवस्था के बारे में विशिष्ट जानकारी के लिए पूछ सकता है ताकि उसे सत्यापित किया जा सके, लेकिन सर्वर बिना क्लाइंट को पता चले बॉक्स के अंदर की अवस्था को बदल नहीं सकता है। यह सुनिश्चित करता है कि सर्वर उस विशिष्ट क्वांटम अवस्था से बंधा हुआ है जिसे उसने कमिट किया था, भले ही कई दौर की बातचीत के बाद भी।
इस पेपर में प्रस्तुत कार्य केवल एक सैद्धांतिक अभ्यास नहीं है; यह एक ठोस ब्लूप्रिंट प्रदान करता है कि भविष्य में क्लासिकल और क्वांटम सिस्टम सुरक्षित रूप से कैसे परस्पर क्रिया करेंगे। यह दिखाकर कि एक क्लासिकल क्लाइंट विभिन्न इंटरैक्टिव प्रोटोकॉल में एक क्वांटम पार्टी के रूप में कार्य कर सकता है, शोधकर्ताओं ने क्वांटम प्रौद्योगिकियों को अपनाने में एक प्रमुख बाधा को हटा दिया है। उन्होंने प्रदर्शित किया है कि प्रत्येक उपयोगकर्ता के लिए क्वांटम कंप्यूटर का स्वामित्व होना क्वांटम क्षमताओं का लाभ उठाने के लिए पूर्व शर्त नहीं है। इसके बजाय, एक विश्वसनीय, दूरस्थ क्वांटम सर्वर को एक साझा संसाधन के रूप में उपयोग किया जा सकता है, जहाँ सुरक्षा और गोपनीयता की गारंटी क्लाइंट के अपने प्रोटोकॉल द्वारा प्रदान की जाती है। यह प्रतिमान को "कुछ के लिए क्वांटम" से "सभी के लिए क्वांटम" में बदल देता है, जहाँ क्वांटम कंप्यूटिंग की शक्ति उन उपकरणों के माध्यम से सुलभ है जिनका लोग पहले से ही उपयोग कर रहे हैं।
शोधकर्ता सावधानीपूर्वक यह नोट करते हैं कि उनका समाधान यह मानता है कि सर्वर अनट्रस्टेड (untrusted) और संभावित रूप से दुर्भावनापूर्ण है, जिसका अर्थ है कि यह प्रोटोकॉल से विचलित करने या सूचना चुराने का प्रयास कर सकता है। प्रोटोकॉल को ऐसे व्यवहार का पता लगाने और उसे रोकने के लिए डिज़ाइन किया गया है। वे यह भी स्वीकार करते हैं कि वर्तमान निर्माण क्वांटम सर्किट के एक विशिष्ट वर्ग के लिए काम करता है, जो वास्तविक संख्याओं (real numbers) का उपयोग करके वर्णित किए जा सकते हैं, लेकिन वे उल्लेख करते हैं कि यह अधिकांश व्यावहारिक अनुप्रयोगों को कवर करता है और कुछ अतिरिक्त एनकोडिंग के साथ अधिक जटिल सर्किटों तक विस्तारित किया जा सकता है। संपूर्ण प्रणाली की सुरक्षा इस धारणा पर टिकी है कि 'लर्निंग विद एरर्स' की समस्या क्वांटम कंप्यूटरों के लिए कठिन बनी रहती है, जो क्रिप्टोग्राफी के क्षेत्र में एक व्यापक रूप से स्वीकृत धारणा है। यदि यह धारणा सही रहती है, तो प्रोटोकॉल क्लासिकल उपयोगकर्ताओं को क्वांटम कंप्यूटिंग की शक्ति का उपयोग करने का एक मजबूत और सुरक्षित तरीका प्रदान करता है।
संक्षेप में, यह पेपर एक "वर्चुअल क्वांटम कंप्यूटर" के लिए एक व्यापक ढांचा प्रस्तुत करता है जो एक क्लासिकल उपयोगकर्ता को पूर्ण गोपनीयता और सुरक्षा के साथ एक दूरस्थ क्वांटम सर्वर को नियंत्रित करने की अनुमति देता है। यह परिणाम को नष्ट किए बिना क्वांटम कार्य को सत्यापित करने की समस्या को हल करता है, क्वांटम अवस्थाओं की सुरक्षित तैयारी और ट्रांसमिशन को सक्षम करता है, और कई इंटरैक्शन के दौरान क्वांटम मेमोरी को संग्रहीत करने की अनुमति देता है। इन मूलभूत चुनौतियों को हल करके, यह कार्य एक ऐसे भविष्य का मार्ग प्रशस्त करता है जहाँ क्वांटम कंप्यूटिंग एक सेवा है जिसे कोई भी उपयोग कर सकता है, इस विश्वास के साथ कि उनका डेटा और निर्देश सुरक्षित हैं, भले ही वह हार्डवेयर किसी विरोधी का हो जो काम कर रहा है। निष्कर्ष एक कठोर गणितीय प्रमाण के रूप में प्रस्तुत किए गए हैं, जो उच्च स्तर का विश्वास प्रदान करते हैं कि प्रोटोकॉल जैसा वर्णित है वैसा ही काम करता है, बशर्ते अंतर्निहित गणितीय धारणाएं सत्य हों। यह क्वांटम तकनीक को व्यावहारिक, सुरक्षित और सुलभ बनाने की दिशा में एक महत्वपूर्ण कदम है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।