Private Proofs of When and Where

यहाँ उमा गिरीश, ग्रेग ग्लूच, शाफी गोल्डवासर, टैल माल्किन, लियो ओरशान्स्की और हेनरी युएन के शोध पत्र "प्राइवेट प्रूफ्स ऑफ व्हेन एंड व्हेयर" (Private proofs of when and where) का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

पोजीशन वेरिफिकेशन (PV) एक क्रिप्टोग्राफिक प्रोटोकॉल है जहाँ एक प्रूवर (prover) विशिष्ट समय $t$ पर अपने भौतिक स्थान $L$ की पुष्टि करने का प्रयास करता है। हालाँकि शुद्ध शास्त्रीय (classical) परिवेश में सुरक्षित PV असंभव है (सहयोगी विरोधियों द्वारा संकेतों को स्पूफ करने के कारण), यह क्वांटम पोजीशन वेरिफिकेशन (QPV) मॉडल में संभव है, जो नो-क्लोनिंग थ्योरम (no-cloning theorem) और प्रकाश की गति की बाधा जैसे सिद्धांतों का लाभ उठाता है।

हालाँकि, मानक QPV प्रोटोकॉल एक मौलिक गोपनीयता दोष (privacy flaw) से ग्रस्त हैं: यह सिद्ध करने के लिए कि "मैं स्थान $L$ पर हूँ," प्रूवर को अपने सटीक निर्देशांक (coordinates) प्रकट करने होंगे। कई वास्तविक दुनिया के परिदृश्यों में, उपयोगकर्ताओं को अपने स्थान को स्वयं प्रकट किए बिना उनके स्थान के बारे में कथनों (statements) को सिद्ध करने की आवश्यकता होती है। उदाहरणों में शामिल हैं:

• यह सिद्ध करना कि वे किसी अपराध स्थल के पास नहीं थे (एक एलीबाई/alibi) बिना यह बताए कि वे वास्तव में कहाँ थे।
• संधियों के अनुपालन को सिद्ध करना (जैसे, "अंटार्कटिका में कोई परमाणु हथियार नहीं है") बिना उस उपकरण के सटीक स्थान को प्रकट किए।
• गोपनीयता-संरक्षण फिटनेस ट्रैकिंग (एक दौड़ का आकार सिद्ध करना बिना रूट/मार्ग को प्रकट किए)।

इस शोध पत्र द्वारा संबोधित मुख्य प्रश्न है: क्या हम ज़ीरो-नॉलेज पोजीशन वेरिफिकेशन (ZK-PV) प्रोटोकॉल का निर्माण कर सकते हैं? अर्थात, क्या एक प्रूवर अपने स्पेस-टाइम स्थान (जैसे, "मैं क्षेत्र $R$ में था") के बारे में कोई कथन सिद्ध कर सकता है बिना $R$ के भीतर अपने विशिष्ट निर्देशांकों के बारे में कोई जानकारी प्रकट किए?

2. कार्यप्रणाली और मुख्य प्रिमिटिव (Methodology and Core Primitive)

लेखक एक नया क्रिप्टोग्राफिक प्रिमिटिव जिसे पोजीशन कमिटमेंट (Position Commitment) कहा जाता है, पेश करते हैं और इसका उपयोग ZK-PV प्रोटोकॉल बनाने के लिए करते हैं।

A. पोजीशन कमिटमेंट (Position Commitment)

एक पोजीशन कमिटमेंट एक प्रूवर को एक विशिष्ट स्पेस-टाइम पॉइंट $(L, t)$ के प्रति प्रतिबद्ध (commit) होने की अनुमति देता है बिना उसे तुरंत प्रकट किए। बाद में, प्रूवर उस कमिटमेंट को "ओपन" कर सकता है ताकि $(L, t)$ को प्रकट किया जा सके, और सत्यापनकर्ता (verifiers) यह सत्यापित कर सकते हैं कि प्रूवर वास्तव में उस स्थान और समय पर था।

• हिडिंग (Hiding): कमिट चरण के दौरान, सत्यापनकर्ता चुने गए विशिष्ट बिंदु के बारे में कुछ भी नहीं जान पाते हैं।
• बाइंडिंग (Binding): प्रूवर बाद में कमिट किए गए बिंदु को बदल नहीं सकता। महत्वपूर्ण बात यह है कि बाइंडिंग गुण पोजीशनल (positional) है: प्रूवर को सफलतापूर्वक कमिटमेंट खोलने के लिए उस स्पेस-टाइम पॉइंट पर भौतिक रूप से उपस्थित होना चाहिए।

पोजीशन कमिटमेंट का निर्माण:
इसका निर्माण दो मान्यताओं पर आधारित है:

1. पोस्ट-क्वांटम वन-वे फंक्शन्स (OWF): एन्क्रिप्शन और क्लासिकल बिट कमिटमेंट के लिए उपयोग किया जाता है।
2. "नाइस" सिंगलटन पोजीशन वेरिफिकेशन प्रोटोकॉल: मौजूदा QPV प्रोटोकॉल (जैसे, $f$-BB84) का एक वर्ग जो निम्नलिखित है:
   • एक-राउंड (सत्यापनकर्ता संदेश भेजते हैं, प्रूवर तुरंत उत्तर देता है)।
   • क्लासिकल रिस्पॉन्स (प्रूवर एक क्लासिकल बिट/स्ट्रिंग भेजता है)।
   • सत्यापनकर्ताओं के कॉन्वेक्स हल (convex hull) के भीतर किसी भी बिंदु को सत्यापित करने में सक्षम।

प्रोटोकॉल (Encrypt-Then-Verify):

1. सेटअप: प्रूवर एक गुप्त कुंजी $sk$ बनाता है और इसे एक क्लासिकल कमिटमेंट स्कीम का उपयोग करके कमिट करता है।
2. कमिट चरण (Commit Phase):
   • सत्यापनकर्ता एक लक्षित स्पेस-टाइम क्षेत्र $S$ के प्रत्येक संभावित बिंदु के लिए चुनौतियाँ (challenges) प्रसारित करते हैं।
   • ईमानदार प्रूवर, जो $(L^*, t^*) \in S$ पर स्थित है, अपने वास्तविक स्थान के लिए विशिष्ट चुनौती प्राप्त करता है।
   • प्रूवर $(L^*, t^*)$ के लिए सही प्रतिक्रिया की गणना करता है और इसे $sk$ के साथ एन्क्रिप्ट करता है।
   • $S$ के अन्य सभी बिंदुओं के लिए, प्रूवर "डमी" एन्क्रिप्टेड संदेश भेजता है (जैसे, $\perp$ का एन्क्रिप्शन) जो ठीक उसी समय पहुँचने के लिए टाइम किया गया होता है जब सत्यापनकर्ता नकली स्थानों के लिए प्रतिक्रिया की अपेक्षा करते हैं।
   • यह एक ऐसा ट्रांसक्रिप्ट बनाता है जहाँ सत्यापनकर्ताओं को $S$ के किसी भी बिंदु के अनुरूप एन्क्रिप्टेड संदेशों का एक स्ट्रीम प्राप्त होता है, जिससे प्रूवर का वास्तविक स्थान अविभेद्य (indistinguishable) हो जाता है।
3. रिवील चरण (Reveal Phase):
   • प्रूवर $sk$और दावा किया गया स्थान$(L^, t^)$ प्रकट करता है।
   • सत्यापनकर्ता $(L^*, t^*)$ के अनुरूप संदेश को डिक्रिप्ट करते हैं और मूल चुनौती के विरुद्ध इसकी पुष्टि करते हैं। वे यह भी जाँचते हैं कि $sk$ के प्रति कमिटमेंट वैध है या नहीं।
   • स्टैटिस्टिकल पोजीशन बाइंडिंग (Statistical Position Binding) गुण के कारण, एक धोखाधड़ी करने वाला प्रूवर एक ऐसा वैध कमिटमेंट उत्पन्न नहीं कर सकता जो उस स्थान को खोले जहाँ वह भौतिक रूप से मौजूद नहीं था, भले ही उसके पास सीमित एंटेंगल्ड क्यूबिट्स हों।

B. पोजीशन कमिटमेंट से ज़ीरो-नॉलेज तक

एक बार जब एक प्रूवर एक छिपे हुए स्थान के लिए पोजीशन कमिटमेंट $\rho$ बना लेता है, तो वह इस स्थान के बारे में कथनों को सिद्ध करने के लिए मानक ज़ीरो-नॉलेज प्रूफ (ZK) का उपयोग कर सकता है।

• वह कथन जिसे सिद्ध किया जाना है वह है: "मेरे पास कमिटमेंट $\rho$ का एक ओपनिंग है जिससे पता चलता है कि प्रकट किया गया स्थान क्षेत्र $R$ के अंतर्गत आता है।"
• चूंकि अंतर्निहित कमिटमेंट (OWF के कारण) कम्प्यूटेशनल रूप से हिडिंग है और ZK प्रूफ केवल कथन की वैधता के अलावा कुछ भी प्रकट नहीं करता है, इसलिए परिणामी प्रोटोकॉल ज़ीरो-नॉलेज होता है।

3. मुख्य योगदान (Key Contributions)

1. ZK पोजीशन वेरिफिकेशन का औपचारिकीकरण: लेखक ZK-PV को एक सिमुलेशन-आधारित सुरक्षा परिभाषा का उपयोग करके परिभाषित करते हैं, जो यह सुनिश्चित करता है कि सत्यापनकर्ताओं का दृश्य (view) बिना सटीक स्थान जाने सिम्युलेट किया जा सकता है।
2. पोजीशन कमिटमेंट का परिचय: वे इस नए प्रिमिटिव को पेश करते हैं और इसका निर्माण करते हैं, जो भौतिक स्थान सीमाओं और क्रिप्टोग्राफिक कमिटमेंट्स के बीच की खाई को पाटता है।
3. मुख्य प्रमेय (Theorem 1.1): वे सिद्ध करते हैं कि पोस्ट-क्वांटम वन-वे फंक्शन्स और "नाइस" सिंगलटन QPV प्रोटोकॉल की उपस्थिति की धारणा के तहत, किसी भी परिमित स्पेस-टाइम क्षेत्र $R$ के लिए एक ZK-PV प्रोटोकॉल बनाया जा सकता है।
   • परिणामी प्रोटोकॉल $E/2$ एंटेंगल्ड क्यूबिट्स साझा करने वाले विरोधियों के विरुद्ध सुरक्षित है।
   • यह होनेस्ट-वेरिफायर कम्प्यूटेशनल ज़ीरो-नॉलेज प्राप्त करता है।
4. अनुकूलन (Optimization - Protocol 2): वे उन प्रोटोकॉल के लिए एक अनुकूलित निर्माण प्रस्तावित करते हैं जहाँ सत्यापनकर्ता के संदेश क्लासिकल और ब्रॉडकास्ट होते हैं (जैसे, [LLQ22])। यह कम्प्यूटेशनल भार को क्षेत्र के आकार $|S|$ के घातीय (exponential) से घटाकर बहुपद (polynomial) में बदल देता है, जिससे यह योजना अधिक व्यावहारिक हो जाती है।

4. परिणाम और सुरक्षा विश्लेषण (Results and Security Analysis)

• पूर्णता (Completeness): ईमानदार प्रोवर उच्च प्रायिकता के साथ स्वीकार किए जाते हैं।
• सत्यता (Soundness - Position Security): धोखाधड़ी करने वाले प्रूवर (स्पूफर्स) जो दावा किए गए स्थान पर मौजूद नहीं हैं, सीमित एंटेंगमेंट साझा करने के बावजूद नगण्य प्रायिकता से अधिक सफलता के साथ पास नहीं हो सकते। सुरक्षा रिडक्शन अंतर्निहित QPV प्रोटोकॉल को तोड़ने की कठिनाई और कमिटमेंट के बाइंडिंग गुण पर निर्भर करता है।
• ज़ीरो-नॉलेज (Zero-Knowledge): प्रोटोकॉल सेमी-होनेस्ट (semi-honest) सत्यापनकर्ताओं के विरुद्ध ज़ीरो-नॉलेज है (जो प्रोटोकॉल का पालन करते हैं लेकिन ट्रांसक्रिप्ट से अधिक जानने का प्रयास करते हैं)।
  • सीमा: शोध पत्र नोट करता है कि मैलिसियस (malicious) सत्यापनकर्ताओं के विरुद्ध ZK प्राप्त करना कठिन है। मैलिसियस सत्यापनकर्ता विशिष्ट क्षेत्रों की ओर दिशात्मक संदेश भेजकर और प्रूवर की प्रतिक्रिया देखकर "पोक-अराउंड" (poke-around) हमला कर सकते हैं, जिससे प्रूवर का स्थान ज्ञात हो सकता है। लेखक अनुमान लगाते हैं कि यदि सत्यापनकर्ताओं को केवल ब्रॉडकास्ट-ओनली संदेशों तक सीमित रखा जाए (और प्रूवर ब्रॉडकास्ट और दिशात्मक संदेशों के बीच अंतर कर सके), तो मैलिसियस-वेरिफायर ZK प्राप्त किया जा सकता है।

5. महत्व और प्रभाव (Significance and Impact)

• जियोस्पेशियल क्रिप्टोग्राफी में गोपनीयता: यह कार्य क्वांटम क्रिप्टोग्राफी में एक महत्वपूर्ण गोपनीयता अंतराल को हल करता है। यह संवेदनशील डेटा (सटीक निर्देशांक) से समझौता किए बिना भौतिक गुणों (स्थान) के सत्यापन को सक्षम बनाता है।
• नया प्रिमिटिव: "पोजीशन कमिटमेंट" की अवधारणा एक नया बिल्डिंग ब्लॉक है जिसका उपयोग ZK-PV से परे भी किया जा सकता है, जैसे कि निजी, ऑडिट योग्य मूवमेंट लॉग (जैसे, कानूनी एलीबाई या अनुपालन ट्रैकिंग के लिए) बनाना।
• भौतिकी और क्रिप्टोग्राफी का मिलन: निर्माण भौतिक बाधाओं (प्रकाश की गति, अन-क्लोनेबिलिटी) को मानक क्रिप्टोग्राफिक धारणाओं (OWF) के साथ कुशलतापूर्वक जोड़ता है ताकि एक ऐसे लक्ष्य को प्राप्त किया जा सके जो अकेले किसी भी दृष्टिकोण से असंभव है।
• व्यावहारिक अनुप्रयोग: शोध पत्र तत्काल उपयोग के मामलों को रेखांकित करता है:
  • कानूनी: निजी एलीबाई।
  • राष्ट्रीय सुरक्षा: संधियों के अनुपालन को सत्यापित करना (जैसे, परमाणु अप्रसार) बिना सैन्य रहस्यों को प्रकट किए।
  • उपभोक्ता गोपनीयता: डेटा रिसाव के बिना सुरक्षित फिटनेस ट्रैकिंग और स्थान-आधारित सेवाएँ।

संक्षेप में, यह शोध पत्र स्थापित करता है कि ज़ीरो-नॉलेज पोजीशन वेरिफिकेशन सैद्धांतिक रूप से संभव है, जो मानक क्रिप्टोग्राफिक धारणाओं और सीमित क्वांटम एंटेंगमेंट के तहत, क्वांटम युग में गोपनीयता-संरक्षण स्थान प्रमाणों के लिए एक मजबूत ढांचा प्रदान करता है।