Verifiable Quantum Advantage and Computation via Quantum Circuit Obfuscation
यह शोध पत्र क्वांटम इंडिस्टिंग्विशेबिलिटी ओबफ़स्केशन (qiO) का उपयोग करके क्लासिकली वेरीफिएबल क्वांटम एडवांटेज और BQP गणनाओं के सत्यापन के लिए प्रोटोकॉल का निर्माण करता है, जो ह्यूरिस्टिक प्रस्तावों के लिए एक कठोर क्रिप्टोग्राफिक आधार प्रदान करता है और मानक कम्प्यूटेशनल धारणाओं के तहत प्रथम पब्लिकली वेरीफिएबल BQP सत्यापन प्राप्त करता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
आज के कंप्यूटरों की पहुंच से परे समस्याओं को हल करने वाली मशीनें बनाने की दौड़ में, वैज्ञानिक एक विचित्र विरोधाभास का सामना कर रहे हैं। यह सिद्ध करने के लिए कि एक नया क्वांटम कंप्यूटर काम कर रहा है, आपको इसे एक ऐसा कार्य करने के लिए कहना होगा जो इतना जटिल हो कि एक मानक कंप्यूटर उत्तर की जांच न कर सके। फिर भी, यदि उत्तर की जांच नहीं की जा सकती, तो आप कैसे जानते हैं कि मशीन ने केवल अनुमान नहीं लगाया? यह क्वांटम लाभ (quantum advantage) का केंद्रीय तनाव है: एक ऐसे परीक्षण की आवश्यकता जो शास्त्रीय मशीनों (classical machines) के लिए नकल करना कठिन हो लेकिन एक मानव परीक्षक के लिए सत्यापित करना आसान हो। वर्षों से, शोधकर्ता इन परीक्षणों को डिजाइन करने का प्रयास कर रहे हैं, जो अक्सर जटिल गणितीय पहेलियों या विशिष्ट हार्डवेयर क्षमताओं पर निर्भर करते हैं जो अभी तक उपलब्ध नहीं हैं। लक्ष्य हमेशा एक ऐसा तरीका खोजने का रहा है जिससे यह पुष्टि की जा सके कि कोई उपकरण वास्तव में क्वांटम यांत्रिकी के विचित्र नियमों का उपयोग कर रहा है, बिना किसी सुपरकंप्यूटर की निगरानी के।
शोधकर्ताओं की एक टीम ने अब इस पहेली को सुलझाने का एक नया तरीका प्रस्तावित किया है, जो समस्या को हार्डवेयर इंजीनियरिंग के क्षेत्र से हटाकर क्रिप्टोग्राफी के क्षेत्र में ले जाता है। उनका कार्य, जो अक्टूबर 2026 में प्रकाशित हुआ है, सुझाव देता है कि यदि हम एक कंप्यूटर प्रोग्राम के आंतरिक कामकाज को एक विशिष्ट, गणितीय रूप से कठोर तरीके से छिपा सकें, तो हम एक ऐसा परीक्षण बना सकते हैं जो निकट-अवधि के क्वांटम उपकरणों पर चलाना भी आसान हो और किसी के लिए भी सत्यापित करना भी आसान हो। मूल विचार "ओब्फस्केशन" (obfuscation - अस्पष्टकरण) नामक एक अवधारणा पर आधारित है, जो एक रेसिपी को इतनी अच्छी तरह से स्कैम्बल (scramble) करने जैसा है कि आप अभी भी व्यंजन बना सकते हैं, लेकिन कोई भी सामग्री की सूची को पढ़ नहीं सकता कि इसे कैसे बनाया गया था। क्वांटम सर्किटों पर इस स्कैम्बलिंग तकनीक को लागू करके, लेखक यह दिखाते हैं कि कैसे शास्त्रीय प्रयासों द्वारा धोखा देने से सुरक्षित "क्वांटमनेस का प्रमाण" (proof of quantumness) बनाया जा सकता है।
शोधकर्ताओं ने इस विचार पर आधारित दो मुख्य प्रोटोकॉल बनाए हैं। पहला एक उपकरण को क्वांटम सिद्ध करने का परीक्षण है। इस परिदृश्य में, एक परीक्षक (verifier) एक प्रदाता (prover) को एक चुनौती भेजता है। चुनौती में कई स्कैम्बल किए गए निर्देश होते हैं। एक शास्त्रीय कंप्यूटर, इन स्कैम्बल किए गए निर्देशों को देखते हुए, यह नहीं बता सकता कि निर्देश वास्तव में क्या करते हैं। हालांकि, एक क्वांटम कंप्यूटर उन निर्देशों को चला सकता है और परिणामों का एक विशिष्ट पैटर्न उत्पन्न कर सकता है। परीक्षक यह जांचता है कि क्या परिणाम अपेक्षित पैटर्न से मेल खाते हैं। यदि वे मेल खाते हैं, तो परीक्षक को पता चलता है कि प्रदाता को क्वांटम होना ही चाहिए। महत्वपूर्ण रूप से, लेखकों ने दिखाया कि एक विशिष्ट क्रिप्टोग्राफिक घटक जोड़कर इस परीक्षण को "सार्वजनिक रूप से सत्यापन योग्य" (publicly verifiable) बनाया जा सकता है: एक पोस्ट-क्वांटम सुरक्षित वन-वे फंक्शन। यह किसी को भी बिना किसी गुप्त कुंजी या निजी जानकारी के उत्तर की जांच करने की अनुमति देता है, जबकि प्रोटोकॉल का प्रारंभिक निजी संस्करण के लिए परीक्षक को एक गुप्त अवस्था (secret state) बनाए रखने की आवश्यकता होती है।
दूसरा प्रोटोकॉल एक कदम आगे जाता है, जिससे एक शास्त्रीय कंप्यूटर विशिष्ट जटिल क्वांटम गणनाओं, विशेष रूप से BQP निर्णय समस्याओं के परिणामों को सत्यापित कर सकता है। इसे क्वांटम गणना का शास्त्रीय सत्यापन (classical verification of quantum computation) के रूप में जाना जाता है। शोधकर्ताओं ने प्रदर्शित किया कि यदि ओब्फस्केशन तकनीक काम करती है, तो एक शास्त्रीय परीक्षक विशिष्ट जटिल क्वांटम गणनाओं को सौंप सकता है और परिणाम के प्रति आश्वस्त हो सकता है। उन्होंने इसे चुनौती के भीतर "ट्रैप" (trap - जाल) सर्किटों को छिपाकर हासिल किया। ये ट्रैप इस तरह से डिज़ाइन किए गए हैं कि यदि मशीन ईमानदार है तो वे उत्तर प्रकट कर देंगे, लेकिन वे इतने अच्छी तरह से छिपे हुए हैं कि धोखा देने वाली मशीन यह नहीं पहचान सकती कि कौन से हिस्से ट्रैप हैं और कौन सी वास्तविक गणनाएं हैं। लेखकों ने सिद्ध किया कि कुछ गणितीय समस्याओं की कठिनाई के बारे में उचित धारणाओं के तहत, एक शास्त्रीय मशीन सिस्टम को धोखा नहीं दे सकती।
इस कार्य का एक प्रमुख योगदान यह है कि यह क्वांटम कंप्यूटर के विशिष्ट हार्डवेयर पर निर्भर नहीं करता है। इसके बजाय, यह ओब्फस्केशन को तोड़ने की गणितीय कठिनाई पर निर्भर करता है। लेखकों ने एक व्यावहारिक बाधा को भी संबोधित किया: वास्तविक क्वांटम कंप्यूटर अक्सर अतिरिक्त "हेल्पर" बिट्स का उपयोग करते हैं, जिन्हें एंसिलास (ancillas) कहा जाता है, जिन्हें उपयोग के बाद शून्य पर रीसेट किया जाना चाहिए। उन्होंने दिखाया कि उनका ओब्फस्केशन तरीका इन अस्त-व्यस्त, वास्तविक दुनिया के सर्किटों के लिए भी काम करता है, उन्हें एक स्वच्छ गणितीय रूप में बदलकर जिसे ओब्फस्केशन संभाल सके। यह सैद्धांतिक क्रिप्टोग्राफी और आज के शोर वाले, अपूर्ण उपकरणों के बीच के अंतर को पाटता है।
यह शोध पत्र इस प्रश्न पर भी विचार करता है कि क्या ऐसा ओब्फस्केशन बनाना संभव भी है। हालांकि लेखक इन ओब्फस्केटर्स को तैयार या कार्यात्मक रूप में प्रदान नहीं करते हैं, वे एक रोडमैप पेश करते हैं। वे जटिल सर्किटों को छोटे, यादृच्छिक टुकड़ों में तोड़कर और उन्हें इस तरह से पुनर्गठित करके इन ओब्फस्केटर्स को बनाने का एक तरीका प्रस्तावित करते हैं जिससे कार्य सुरक्षित रहता है लेकिन संरचना छिप जाती है। वे सिद्ध करते हैं कि यदि यह विधि यादृच्छिक सर्किटों के लिए काम करती है, तो यह किसी भी सर्किट के लिए काम करेगी। यह "वर्स्ट-टू-एवरेज" (worst-to-average) रिडक्शन एक मजबूत सैद्धांतिक आधार प्रदान करता है, जो बताता है कि संपूर्ण प्रणाली की सुरक्षा यादृच्छिक क्वांटम सर्किटों के बीच अंतर करने की कठिनाई पर टिकी है, जो कि एक ऐसी समस्या है जिसे व्यापक रूप से कठिन माना जाता है।
इस कार्य के निहितार्थ क्वांटम कंप्यूटिंग के भविष्य के लिए बहुत गहरे हैं। यह "पीक्ड सर्किट सैंपलिंग" (peaked circuit sampling) के विचार के लिए एक कठोर, क्रिप्टोग्राफिक आधार प्रदान करता है, जो हाल ही में अन्य शोधकर्ताओं द्वारा क्वांटम लाभ का परीक्षण करने के लिए प्रस्तावित एक अनुमानी (heuristic) विधि है। अनुमानी अनुमानों को प्रमाणित सुरक्षा से बदलकर, लेखक एक तरीका प्रदान करते हैं जिससे हम "हमें लगता है कि यह कठिन है" से "हम इसे सिद्ध कर सकते हैं कि यह कठिन है" की ओर बढ़ सकें। उनका कार्य बताता है कि क्वांटम कंप्यूटरों को सत्यापित करने का मार्ग आवश्यक रूप से अधिक शक्तिशाली क्वांटम हार्डवेयर या जटिल इंटरैक्टिव खेलों की मांग नहीं करता है। इसके बजाय, यह क्रिप्टोग्राफिक छिपाने वाली तकनीकों के चतुर अनुप्रयोग में पाया जा सकता है, जिससे एक शास्त्रीय पर्यवेक्षक गणितीय निश्चितता के साथ एक क्वांटम मशीन की बात पर भरोसा कर सकता है।
शोधकर्ता सावधानीपूर्वक नोट करते हैं कि उनके परिणाम इन ओब्फस्केशन उपकरणों के अस्तित्व पर निर्भर हैं। हालांकि उन्होंने स्वयं इन उपकरणों का निर्माण नहीं किया है, उन्होंने यह स्पष्ट किया है कि उन्हें किन गुणों की आवश्यकता है और यदि वे मौजूद हैं तो उनका उपयोग कैसे किया जाए। उन्होंने यह भी दिखाया कि उनके सिस्टम की सुरक्षा के लिए भविष्य की कंप्यूटिंग शक्ति के बारे में ओब्फस्केशन और सार्वजनिक सत्यापन के लिए वन-वे फंक्शन्स के अस्तित्व के अलावा किसी भी अतिरिक्त, अप्रमाणित धारणाओं की आवश्यकता नहीं है। यदि ओब्फस्केशन कायम रहता है, तो सत्यापन कायम रहता है। चिंताओं का यह पृथक्करण वैज्ञानिक समुदाय को ओब्फस्केशन उपकरणों के निर्माण पर ध्यान केंद्रित करने की अनुमति देता है, जबकि उनके उपयोग के लिए एक स्पष्ट, सत्यापित ढांचा भी उपलब्ध रहता है।
अंत में, यह शोध पत्र यह दावा नहीं करता है कि उसने क्वांटम सत्यापन की समस्या को एक तैयार उत्पाद के साथ हल कर दिया है। बल्कि, इसने परिदृश्य का एक सटीक मानचित्र खींचा है। यह दिखाता है कि यदि हम क्वांटम प्रोग्रामों को प्रभावी ढंग से स्कैम्बल कर सकते हैं, तो हम उन्हें पूरी तरह से सत्यापित कर सकते हैं। यह अनुमानी परीक्षणों की अनिश्चितता को क्रिप्टोग्राफिक प्रमाण की निश्चितता से बदल देता है। क्वांटम कंप्यूटिंग के क्षेत्र के लिए, यह केवल यह आशा करने से कि एक मशीन काम कर रही है, यह जानने की ओर एक बदलाव है कि वह गणितीय कठोरता के साथ काम कर रही है। यह कार्य क्रिप्टोग्राफिक सिद्धांत की अमूर्त दुनिया और अगली पीढ़ी के कंप्यूटरों के परिणामों पर भरोसा करने की व्यावहारिक आवश्यकता के बीच एक सेतु के रूप में खड़ा है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।