⚛️ quantum physics

Statistically-Secure Bit Commitment and Coin Flipping Protocols Based on Quantum Hardware Assumptions

यह शोध पत्र हाइब्रिड लॉक्ड फिजिकल अनक्लोनेबल फंक्शन्स (HLPUFs) पर आधारित पहले सांख्यिकीय रूप से सुरक्षित बिट कमिटमेंट और कॉइन-फ्लिपिंग प्रोटोकॉल प्रस्तुत करता है, जो क्वांटम संचार के साथ क्लासिकल हार्डवेयर टोकन को जोड़कर क्वांटम क्रिप्टोग्राफी में अनकंडीशनल सुरक्षा की असंभवता को दूर करते हुए व्यावहारिक, मिस्ट्रस्टफुल टू-पार्टी क्रिप्टोग्राफी के लिए एक नए प्रतिमान को प्राप्त करता है।

मूल लेखक: Roo Dunnill, Mina Doosti

प्रकाशित 2026-08-12

📖 9 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Roo Dunnill, Mina Doosti

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक डिजिटल तिजोरी बनाने की कोशिश कर रहे हैं जो इतनी सुरक्षित हो कि एक अनंत समय रखने वाला सुपर-इंटेलिजेंट रोबोट भी उसे तोड़ न सके। यह क्रिप्टोग्राफी में "अनकंडीशनल सिक्योरिटी" (अप्रतिबंधित सुरक्षा) का सपना है। दशकों से, वैज्ञानिक एक विशिष्ट प्रकार की तिजोरी बनाने की कोशिश कर रहे हैं जिसे "बिट कमिटमेंट" (bit commitment) कहा जाता है। इसे एक सीलबंद लिफाफे की तरह समझें: आप एक गुप्त नोट अंदर रखते हैं, उसे अपने दोस्त को सौंपते हैं, और वादा करते हैं कि आप बाद में उस नोट को बदल नहीं सकते, जबकि आपका दोस्त तब तक अंदर नहीं झांक सकता जब तक आप उसे ऐसा करने के लिए न कहें। यह सरल लगता है, लेकिन क्वांटम दुनिया में—परमाणुओं और प्रकाश कणों का क्षेत्र जहाँ चीजें एक ही समय में दो जगहों पर हो सकती हैं—प्रसिद्ध गणितीय सिद्धांतों ने सिद्ध किया है कि बिना अतिरिक्त मदद के इसे पूरी तरह से करना असंभव है। यह ताश के पत्तों का घर बनाने की कोशिश करने जैसा है जो तूफान में भी कभी न गिरे; भौतिकी के नियम कहते हैं कि यदि आपके पास केवल हवा और कागज है, तो यह नहीं किया जा सकता।

हालाँकि, वैज्ञानिकों ने एक चतुर समाधान खोजा है: केवल गणित पर निर्भर रहने के बजाय, वे स्वयं भौतिक दुनिया पर भरोसा कर सकते हैं। कल्पना कीजिए कि तिजोरी को लॉक करने के लिए हार्डवेयर से बनी एक अद्वितीय, अनकॉपी करने योग्य फिंगरप्रिंट का उपयोग करना। यह शोध पत्र इस तिजोरी को बनाने के एक नए तरीके का अन्वेषण करता है जो पुराने जमाने की कंप्यूटर चिप्स और नए जमाने के क्वांटम भौतिकी के एक विशेष मिश्रण का उपयोग करता है। लक्ष्य एक ऐसा सिस्टम बनाना है जहाँ दो लोग जो एक-दूसरे पर भरोसा नहीं करते हैं, वे बिना किसी तीसरे पक्ष पर भरोसा किए या दुश्मन के बहुत मूर्ख होने पर निर्भर रहे बिना, सिक्का उछालने या गुप्त शर्त लगाने जैसे निष्पक्ष खेल खेल सकें।

असंभव खेल और हार्डवेयर का जुगाड़

क्रिप्टोग्राफी की दुनिया में, "बिट कम terlihat" (bit commitment) एक सीलबंद लिफाफे का डिजिटल समकक्ष है। आप (एलिस) एक विकल्प (0 या 1) के प्रति प्रतिबद्ध होना चाहते हैं और उसे अपने मित्र (बॉब) को सौंपना चाहते हैं। आपको दो वादे करने होंगे: पहला, कि बॉब आपके द्वारा खुलासा करने से पहले आपके विकल्प को नहीं देख सकता (इसे hiding कहा जाता है); और दूसरा, कि एक बार जब आपने लिफाफा सील कर दिया, तो आप चुपके से अपने विकल्प को दूसरे नंबर में नहीं बदल सकते (इसे binding कहा जाता है)।

लंबे समय तक, वैज्ञानिकों को लगा कि क्वांटम मैकेनिक्स इसे पूरी तरह से हल कर सकता है। लेकिन फिर, एक प्रसिद्ध "नो-गो" (no-go) प्रमेय आया और उसने कहा, "नहीं, यह संभव नहीं है।" यह पता चला कि विशुद्ध रूप से क्वांटम दुनिया में, यदि आप बिट को पूरी तरह से छिपाने की कोशिश करते हैं, तो आप एक ऐसी खामी छोड़ देते हैं जो धोखेबाज को बाद में अपना मन बदलने की अनुमति देती है। यह एक जादू के खेल जैसा है जहाँ जादूगर खरगोश को गायब नहीं कर सकता बिना इस सुराग के कि वह बाद में टोपी से एक अलग खरगोश निकाल सकता है।

इस समस्या को हल करने के लिए, इस शोध पत्र के लेखकों ने केवल गणित और प्रकाश के साथ समस्या को हल करने की कोशिश करना बंद कर दिया। इसके बजाय, वे एक भौतिक वस्तु लेकर आए: एक हाइब्रिड लॉक्ड फिजिकल अनक्लोनेबल फंक्शन (Hybrid Locked Physical Unclonable Function), या संक्षेप में HLPUF।

एक HLPUF को एक जादुई, अनकॉपी करने योग्य "ब्लैक बॉक्स" टोकन के रूप में सोचें।

फिजिकल अनक्लोनेबल (भौतिक रूप से अनन्य): ठीक वैसे ही जैसे कोई भी दो स्नोफ्लेक एक जैसे नहीं होते, इनमें से कोई भी दो हार्डवेयर टोकन बिल्कुल एक जैसे नहीं होते। यहाँ तक कि जिस फैक्ट्री ने उन्हें बनाया है, वह भी उनके आंतरिक वायरिंग की नकल नहीं कर सकती। यदि आप इसे स्कैन करने और नकली बनाने की कोशिश करते हैं, तो नकली व्यवहार अलग होगा।
हाइब्रिड (मिश्रित): यह एक मानक कंप्यूटर चिप (जो बनाना आसान है) और एक क्वांटम परत (जिसे नकली बनाना कठिन है) का मिश्रण है।
लॉक्ड (लॉक किया हुआ): यह विशेष मसाला है। टोकन में एक "लॉक" तंत्र होता है। एक बार जब आप इसे एक निश्चित तरीके से उपयोग करते हैं, तो यह खुद को लॉक कर देता है। आप इसे दोबारा खोलकर यह नहीं देख सकते कि इसके अंदर क्या है या यह कैसे काम करता है।

नया प्रोटोकॉल: "बॉक्स पर विश्वास करें" का खेल

लेखकों ने एक प्रोटोकॉल (खेल के नियमों का एक सेट) डिजाइन किया है जो इस असंभव समस्या को हल करने के लिए इस जादुई बॉक्स का उपयोग करता है। यह खेल इस प्रकार काम करता है:

1. सेटअप (भर्ती)
एलिस एक "अनलॉक्ड" अवस्था में HLPUF टोकन के साथ शुरुआत करती है। वह टोकन से कई सवाल (चैलेंज) पूछती है और जवाबों (रिस्पॉन्स) को एक नोटबुक में लिख लेती है। यह उसका डेटाबेस है। फिर, वह टोकन को लॉक करने के लिए एक स्विच घुमाती है। अब, टोकन सील है। वह यह लॉक किया हुआ टोकन बॉब को सौंप देती है।

2. कमिटमेंट (सीलबंद लिफाफा)
एलिस एक बिट (0 या 1) के प्रति प्रतिबद्ध होना चाहती है। वह अपनी नोटबुक से एक सवाल चुनती है, मान लीजिए "सवाल X"।

वह टोकन से "सवाल X" का जवाब मांगती है।
वह एक विशेष एल्गोरिदम का उपयोग करके एक "नकली" सवाल, "सवाल Y" भी बनाती है, जो X के समान है लेकिन थोड़ा अलग है।
वह बॉब को सवाल X और सवाल Y दोनों भेजती है।
अब, यहाँ असली जादू है: वह सवाल X के जवाब को क्वांटम कणों (qubits) की एक स्ट्रिंग में बदल देती है।
- यदि वह 0 के लिए प्रतिबद्ध होना चाहती है, तो वह सवाल X के "स्टाइल" (बेसिस) का उपयोग करके उत्तर को एनकोड करती है।
- यदि वह 1 के लिए प्रतिबद्ध होना चाहती है, तो वह उसी उत्तर को सवाल Y के "स्टाइल" का उपयोग करके एनकोड करती है।
वह क्वांटम कणों की यह स्ट्रिंग बॉब को भेज देती है।

बॉब देख क्यों नहीं सकता?
बॉब के पास सवाल हैं, लेकिन उसे यह नहीं पता कि एलिस ने किस "स्टाइल" का उपयोग किया है। क्योंकि जवाब रैंडम हैं और स्टाइल्स मिले हुए हैं, क्वांटм कण उसके लिए बिल्कुल एक जैसे दिखते हैं चाहे उसने 0 चुना हो या 1। यह समुद्र में बोतल में संदेश भेजने जैसा है जहाँ बोतल बिल्कुल वैसी ही दिखती है चाहे उसके अंदर का संदेश "हाँ" हो या "नहीं"। वह तब तक अंतर नहीं बता सकता जब तक एलिस इसे खोल नहीं देती।

एलिस धोखाधड़ी क्यों नहीं कर सकती?
एलिस के पास लॉक किया हुआ टोकन है। अपना मन बदलने के लिए, उसे बाद में अपना कमिटमेंट बदलना होगा। लेकिन यह साबित करने के लिए कि उसने अपना मन नहीं बदला, उसे टोकन के पूर्ण उत्तर को प्रकट करना होगा।

यदि वह झूठ बोलने की कोशिश करती है, तो उसे टोकन के सवाल का उत्तर बिना टोकन के अनुमान लगाना होगा।
लेकिन टोकन अनक्लोनेबल (अनन्य) है। वह नकली नहीं बना सकती।
और टोकन लॉक्ड (लॉक) है। वह नया सवाल पूछकर उत्तर का पता लगाने के लिए इसे फिर से नहीं खोल सकती।
जीतने का एकमात्र तरीका वास्तविक टोकन से वास्तविक उत्तर प्राप्त करना है। यदि वह नकल करने की कोशिश करती है, तो गणित कहता है कि वह लगभग हर बार विफल हो जाएगी।

परिणाम: एक नए प्रकार की सुरक्षा

यह शोध पत्र सिद्ध करता है कि यह प्रणाली सांख्यिकीय सुरक्षा (statistical security) के साथ काम करती है। इसका अर्थ है कि हालांकि एक सुपर-स्मार्ट धोखेबाज शायद अपना कमिटमेंट बदल सके, लेकिन इसकी संभावना इतनी कम है कि यह व्यावहारिक रूप से असंभव है। यह "गणितीय रूप से असंभव" नहीं है (जैसा कि पेपर कहता है कि यह नहीं किया जा सकता), बल्कि यह "इतना अनिश्चित है कि आप इसे कभी होते हुए नहीं देखेंगे।"

लेखकों ने दो मुख्य बातें दिखाईं:

परफेक्ट हाइडिंग (पूर्ण गोपनीयता): बॉब खुलासा करने से पहले बिट का अनुमान नहीं लगा सकता। क्वांटम अवस्थाएं इतनी समान हैं कि एक परफेक्ट क्वांटम कंप्यूटर के साथ भी वह उनमें अंतर नहीं कर सकता।
स्ट्रॉन्ग बाइंडिंग (मजबूत बंधन): एलिस क्वांटम कण भेजने के बाद अपना बिट नहीं बदल सकती। सफलतापूर्वक लिफाफा खोलने का एकमात्र तरीका हार्डवेयर टोकन से प्राप्त वास्तविक, अटूट उत्तर होना है।

उन्होंने इस बिट-कमिटमेंट गेम का उपयोग कॉइन फ्लिपिंग (सिक्का उछालने) प्रोटोकॉल बनाने के लिए भी किया। कल्पना कीजिए कि एलिस और बॉब यह तय करना चाहते हैं कि खेल में कौन पहले जाएगा, लेकिन वे अलग-अलग शहरों में हैं और एक-दूसरे पर भरोसा नहीं करते। इस नए हार्डवेयर-आधारित तरीके का उपयोग करके, वे एक ऐसा सिक्का उछाल सकते हैं जिसे कोई भी रिग (हेरफेर) नहीं कर सकता। यदि एलिस सिक्के को 'हेड्स' लाने के लिए मजबूर करने की कोशिश करती है, तो उसे हार्डवेयर टोकन को तोड़ना होगा, जो सांख्यिकीय रूप से असंभव है।

यह क्यों महत्वपूर्ण है

यह शोध पत्र इंटरनेट के भविष्य के लिए एक नया रास्ता सुझाता है। हमारे कोड तोड़ने के लिए हैकर्स के मूर्ख होने या उनके पास पर्याप्त कंप्यूटर मेमोरी न होने की उम्मीद करने के बजाय, हम ऐसे सिस्टम बना सकते हैं जो स्वयं हार्डवेयर के भौतिक नियमों पर निर्भर हों।

लेखक स्वीकार करते हैं कि यह सब कुछ तुरंत हल करने वाला कोई जादू का डंडा नहीं है। वे उल्लेख करते हैं कि इन टोकन को बनाने के लिए विशिष्ट हार्डवेयर धारणाओं (जैसे कि टोकन वास्तव में अनक्लोनेबल होना और लॉक का अटूट होना) की आवश्यकता होती है। लेकिन उनका तर्क है कि यह एक यथार्थवादी मार्ग है। हमारे पास पहले से ही चिप्स हैं; हमें बस उसमें क्वांटम परत और लॉकिंग मैकेनिज्म जोड़ने की आवश्यकता है।

संक्षेप में, पेपर कहता है: "हम केवल गणित से एक आदर्श तिजोरी नहीं बना सकते, लेकिन यदि हम एक विशेष, अनकॉपी करने योग्य भौतिक चाबी से तिजोरी बनाते हैं, तो हम एक ऐसी तिजोरी बना सकते हैं जो वास्तविक दुनिया के लिए पर्याप्त सुरक्षित है।" यह "गणित पर भरोसा करें" से "भौतिकी पर भरोसा करें" की ओर एक बदलाव है, जो एक ऐसी दुनिया में सुरक्षित संचार का एक ठोस मार्ग प्रदान करता है जहाँ हर कोई एक-दूसरे पर संदिग्ध है।

यहाँ रून डनिल और मीना दोस्ती के शोध पत्र "Statistically-Secure Bit Commitment and Coin Flipping Protocols Based on Quantum Hardware Assumptions" का विस्तृत तकनीकी सारांश दिया गया है।

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

बिट कमिटमेंट (Bit commitment) एक मौलिक क्रिप्टोग्राफिक प्रिमिटिव है जो कॉइन फ्लिपिंग (coin flipping), ज़ीरो-नॉलेज प्रूफ (zero-knowledge proofs), और सुरक्षित मल्टी-पार्टी कंप्यूटेशन जैसे कार्यों के लिए आवश्यक है। हालाँकि, मेयर्स-लो-चाऊ असंभवता प्रमेय (Mayers–Lo–Chau impossibility theorem) यह स्थापित करता है कि मानक गैर-सापेक्षिक (non-relativistic) दो-पक्षीय मॉडल में अनकंडीशनल रूप से सुरक्षित क्वांटम बिट कमिटमेंट असंभव है। कोई भी प्रोटोकॉल जो पर्याप्त रूप से कंसीलिंग (hiding/छिपाने वाला) है, वह अनिवार्य रूप से कमिटर (एलिस) के लिए प्यूरीफिकेशन (purification) और विलंबित मापन (delayed measurement) पर आधारित एक कोहेरेंट रणनीति (coherent strategy) प्रदान करता है, जिससे बाइंडिंग (binding/बाध्यता) गुण टूट जाता है।

मौजूदा दृष्टिकोण इस 'नो-गो' प्रमेय को दरकिनार करने के लिए आमतौर पर निम्नलिखित पर निर्भर करते हैं:

कमजोर सुरक्षा धारणाएँ (जैसे, चीट सेंसिटिविटी)।
कम्प्यूटेशनल धारणाएँ (जैसे, क्वांटम वन-वे परम्यूटेशन)।
सापेक्षिक बाधाएँ (जैसे, अलग-अलग एजेंटों के बीच संचार का अभाव)।
हमलावर की भंडारण सीमाएँ (जैसे, बाउंडेड-क्वांटम-स्टोरेज या नॉइजी-स्टोरेज मॉडल)।

लेखक एक अंतराल की पहचान करते हैं: फिजिकल हार्डवेयर धारणाओं का उपयोग बाहरी हमलावरों के विरुद्ध प्रमाणीकरण (authentication) और कुंजी निर्माण (key generation) के लिए सफलतापूर्वक किया गया है, लेकिन उन्हें मिस्ट्रस्टफुल टू-पार्टी क्रिप्टोग्राफी (जहाँ दोनों पक्ष दुर्भावनापूर्ण हो सकते हैं) के लिए प्रभावी ढंग से अनुकूलित नहीं किया गया है। बिट कमिटमेंट के लिए हार्डवेयर टोकन का उपयोग करने का एक सीधा प्रयास विफल हो जाता है क्योंकि एक दुर्भावनापूर्ण पक्ष निर्धारित हार्डवेयर को समान दिखने वाले डिवाइस से बदल सकता है या ओपनिंग चरण तक अपने चुने हुए बिट को विलंबित कर सकता है। मुख्य चुनौती एक ऐसा प्रोटोकॉल डिजाइन करना है जो कमिटर को वास्तविक हार्डवेयर व्यवहार का उपयोग करने के लिए मजबूर करे, जबकि रिसीवर से कमिट किए गए बिट को गुप्त रखे।

कार्यप्रणाली (Methodology)

लेखक हाइब्रिड लॉक्ड फिजिकल अनक्लोनेबल फंक्शन्स (HLPUFs) पर आधारित एक रचनात्मक प्रोटोकॉल प्रस्तावित करते हैं। एक HLPUF एक हार्डवेयर प्रिमिटिव है जो एक क्लासिकल PUF (cPUF) को क्वांटम संचार परत के साथ जोड़ता है।

1. हार्डवेयर प्रिमिटिव (असिमेट्रिक HLPUF):
प्रोटोकॉल पूर्ववर्ती कार्य [22] में पेश किए गए एक असिमेट्रिक HLPUF वेरिएंट का उपयोग करता है। अंतर्निहित cPUF की क्लासिकल रिस्पॉन्स $f(x)$ को दो भागों में विभाजित किया गया है:

$f_1(x)$ (वेरिफायर): सत्यापन के लिए उपयोग की जाने वाली एक छोटी स्ट्रिंग।
$f_2(x)$ (पेलोड): क्वांटम अवस्थाओं में एनकोडेड एक लंबी स्ट्रिंग।

डिवाइस दो मोड में कार्य करता है:

अनलॉक्ड मोड (सेटअप): एलिस चैलेंज-रिस्पॉन्स पेयर्स का डेटाबेस बनाने के लिए डिवाइस को क्वेरी करती है।
लॉक्ड मोड (एग्जीक्यूशन): डिवाइस "लॉक" हो जाता है। यह एक चुनौती $x$ और एक क्वांटम अवस्था $|\psi\rangle$ स्वीकार करता है। यह सत्यापित करता है कि क्या $|\psi\rangle$ , $f_1(x)$ से व्युत्पन्न अपेक्षित अवस्था से मेल खाता है। यदि वैध है, तो यह $f_2(x)$ के अनुरूप क्वांटम अवस्था आउटपुट करता है; अन्यथा, यह प्रक्रिया को रोक देता है। महत्वपूर्ण रूप से, एक बार लॉक होने के बाद, डिवाइस को अनलॉक नहीं किया जा सकता है और न ही $f_2(x)$ के लिए क्लासिकली क्वेरी किया जा सकता है।

2. प्रोटोकॉल डिज़ाइन:
प्रोटोकॉल दुर्भावनापूर्ण व्यवहार को रोकने के लिए एक जानबूझकर असिमेट्री (असममिति) पेश करता है:

चैलेंज पेयर जनरेशन: एक चुने हुए चैलेंज $x_0$ के लिए, प्रोटोकॉल एक वैकल्पिक चैलेंज $x_1$ उत्पन्न करने के लिए एक विशिष्ट एल्गोरिदम (एल्गोरिदम 1) का उपयोग करता है। ये चुनौतियाँ इस तरह बनाई गई हैं कि वे एक विशिष्ट इंडिसेस के सेट $J$ (आकार $\ell_{min}$ ) में भिन्न होती हैं, यह सुनिश्चित करते हुए कि BB84 एनकोडिंग के बेसिस बिट्स महत्वपूर्ण रूप से भिन्न हों जबकि वैल्यू बिट्स संतुलित रहें।
कमिटमेंट (Commitment): एलिस एक बिट $b \in \{0, 1\}$ $b \in {0, 1}$ के लिए कमिट करती है, जिसके लिए वह एक क्वांटम अवस्था $\rho_b$ $ρ_{b}$ तैयार करती है। यह अवस्था पेलोड सबस्ट्रिंग $f_2(x_0)_J$ $f_{2} (x_{0})_{J}$ को एनकोड करती है।
- यदि $b=0$ , तो अवस्था को $x_0$ द्वारा परिभाषित बेसिस $\beta(x_0)$ में एनकोड किया जाता है।
- यदि $b=1$ , तो अवस्था को $x_1$ द्वारा परिभाषित बेसिस $\beta(x_1)$ में एनकोड किया जाता है।
- एलिस जोड़ी $(x_0, x_1)$ और ऑर्डरिंग $J$ को बॉब को क्वांटम अवस्था $\rho_b$ के साथ भेजती है।
ओपनिंग (Opening): एलिस $b$ , चैलेंज $x_0$ , और पूर्ण क्लासिकल रिस्पॉन्स $f_1(x_0)$ और $f_2(x_0)$ को प्रकट करती है।
सत्यापन (Verification): बॉब उजागर किए गए बिट $b$ के अनुरूप बेसिस में संग्रहीत क्वांटम अवस्था को मापने और $f_2(x_0)_J$ के साथ निरंतरता की जाँच करने के लिए लॉक्ड HLPUF का उपयोग करता है। वह एक वेरिफायर स्टेट तैयार करता है जो $f_1(x_0)$ पर आधारित है और डिवाइस को क्वेरी करता है। यदि डिवाइस स्वीकार करता है, तो बॉब $f_2(x_0)_J$ के साथ संगति की जाँच करने के लिए उसे मापता है।

3. सुरक्षा तंत्र (Security Mechanisms):

हिडिंग (Hiding): यह HLPUF की अनफोर्जेबिलिटी (unforgeability) पर निर्भर करता है। वैध वेरिफायर स्टेट को फोर्ज करने की क्षमता के बिना, बॉब $f_2(x_0)$ के बारे में जानकारी निकाल नहीं सकता है। प्रोटोकॉल यह सुनिश्चित करता है कि दो संभावित कमिटमेंट अवस्थाएँ सांख्यिकीय रूप से अविभेद्य (indistinguishable) हैं क्योंकि पेलोड बिट्स समान रूप से वितरित हैं और बेसिस पैटर्न संतुलित हैं।
बाइंडिंग (Binding): यह लॉकिंग मैकेनिज्म और ऑपरेटर नॉर्म बाउंड पर निर्भर करता। एक बेईमान एलिस ऐसी एंटैंगल्ड अवस्था तैयार नहीं कर सकती जो उसे उच्च संभावना के साथ 0 और 1 दोनों में खोलने की अनुमति दे, क्योंकि सत्यापन चरण के लिए एक विशिष्ट क्लासिकल रिस्पॉन्स $f_1(x_0)$ की आवश्यकता होती जिसे फोर्ज करना कठिन है। बाइंडिंग प्रमाण किसी भी बेईमान रणनीति को स्वीकृति प्रोजेक्टर के योग पर एक ऑपरेटर-नॉर्म बाउंड में कम करता है, यह दिखाते हुए कि दोनों बिट्स को सफलतापूर्वक खोलने की संभावना एक नगण्य फलन (negligible function) द्वारा सीमित है।

प्रमुख योगदान (Key Contributions)

प्रथम सांख्यिकीय रूप से सुरक्षित क्वांटम बिट कमिटमेंट: यह पेपर एक ऐसा बिट कमिटमेंट प्रोटोकॉल प्रस्तुत करता है जो हाइब्रिड हार्डवेयर धारणाओं (विशेष रूप से HLPUFs) के तहत सांख्यिकीय हिडिंग और बाइंडिंग दोनों प्राप्त करता है, बिना कम्प्यूटेशनल हार्डनेस या सापेक्षिक बाधाओं पर निर्भर रहे।
नवीन हार्डवेयर उपयोग: लेखक प्रदर्शित करते हैं कि मिस्ट्रस्टफुल सेटिंग में हार्डवेयर टोकन का उपयोग कैसे किया जाए। वे "लुक-अलाइक" समस्या को इस तरह से स्ट्रक्चर करके दूर करते हैं कि कमिटमेंट अवस्था वास्तविक हार्डवेयर के चैलेंज-रिस्पॉन्स व्यवहार से सांख्यिकीय रूप से जुड़ी होती है, जिससे दुर्भावनापूर्ण पक्ष द्वारा टोकन को बदलना असंभव हो जाता है।
असिमेट्रिक HLPUF निर्माण: PUF रिस्पॉन्स में एक असिमेट्रिक स्प्लिट (वेरिफायर बनाम पेलोड) और एक विशिष्ट चैलेंज-पेयर जनरेशन एल्गोरिदम (एल्गोरिदम 1) का परिचय जो संतुलित BB84 स्टेट डिस्ट्रीब्यूशन सुनिश्चित करता है।
प्रथम हार्डवेयर-आधारित कॉइन फ्लिपिंग: उनके बिट कमिटमेंट स्कीम पर मानक रूपांतरण लागू करके, लेखक हाइब्रिड हार्डवेयर धारणाओं पर आधारित पहला मजबूत क्वांटम कॉइन-फ्लिपिंग प्रोटोकॉल निर्मित करते हैं।
प्रूफ तकनीक: पेपर नई तकनीकों को विकसित करता है, जिसमें हिडिंग के लिए "इंट्रिन्सिक एनसेम्बल-सिमेट्री" तर्क और बाइंडिंग के लिए एक ऑपरेटर-नॉर्म रिडक्शन शामिल है, जो आंतरिक क्वांटम सीमाओं को हार्डवेयर मापदंडों से अलग करते हैं।

परिणाम (Results)

शुद्धता (Correctness): प्रोटोकॉल सही है; ईमानदार पक्ष हमेशा प्रायिकता 1 के साथ सफल होते हैं।
हिडिंग (Hiding): प्रोटोकॉल $\epsilon_{hide}$ -हिडिंग है, जहाँ $\epsilon_{hide} \le \epsilon_{forge}$ (HLPUF का अनफोर्जेबिलिटी पैरामीटर)। यदि HLPUF घातांकीय रूप से अनफोर्जेबल है, तो हिडिंग पूर्ण (सांख्यिकीय रूप से अविभेद्य) है।
बाइंडिंग (Binding): प्रोटोकॉल $\epsilon_{bind}$ -बाइंडिंग है। एक बेईमान एलिस द्वारा दोनों बिट्स को सफलतापूर्वक खोलने की प्रायिकता निम्न द्वारा सीमित है:
$p_0 + p_1 \le 1 + 2^{-\frac{\ell_{min} - 2s}{4}}$
जहाँ $s$ वेरिफायर स्ट्रिंग की लंबाई है और $\ell_{min}$ पेलोड सबस्ट्रिंग की लंबाई है। उपयुक्त पैरामीटर चयन के लिए यह बाउंड नगण्य है।
कॉइन फ्लिपिंग बायस (Coin Flipping Bias): परिणामी कॉइन-फ्लिपिंग प्रोटोकॉल का बायस $\delta_{CF} \le \frac{1}{2} \max\{\epsilon_{hide}, \epsilon_{bind}\}$ है।

महत्व और दावे (Significance and Claims)

लेखक दावा करते हैं कि उनका कार्य क्वांटम नेटवर्क में सुरक्षित टू-पार्टी क्रिप्टोग्राफी के लिए एक नया प्रतिमान (paradigm) स्थापित करता है। कठोर सुरक्षा गारंटी को ठोस, ऑफ-द-शेल्फ हार्डवेयर घटकों (PUFs) और व्यवहार्य क्वांटम संचार के साथ जोड़कर, वे मौलिक क्रिप्टोग्राफिक प्रिमिटिव को लागू करने का एक व्यावहारिक मार्ग प्रदान करते हैं जो प्लेन क्वांटम सेटिंग में असंभव हैं।

पेपर इस बात पर जोर देता है कि इस दृष्टिकोण के लिए हमलावर की क्वांटम मेमोरी की धारणा की आवश्यकता नहीं है (बाउंडेड-स्टोरेज मॉडल के विपरीत), जिससे अनिश्चित सुरक्षा मिलती है। इसके बजाय, सुरक्षा हार्डवेयर टोकन की भौतिक अनक्लोनेबिलिटी और टैमर-रेसिस्टेंस (छेड़छाड़-प्रतिरोध) पर निर्भर करती है। लेखक इसे अस्तित्व संबंधी परिणामों (existential results) के रचनात्मक विकल्प के रूप में देखते हैं, जो एक विशिष्ट डिज़ाइन प्रदान करता है जो सैद्धांतिक क्वांटम क्रिप्टोग्राफी और व्यावहारिक कार्यान्वयन के बीच के अंतर को पाटता है।

लेखक भविष्य के कार्य के संबंध में विनम्र रहते हैं, यह नोट करते हुए कि डिवाइस का टैमर-प्रूफ कार्यान्वयन एक खुला इंजीनियरिंग प्रश्न है और एक पूर्ण रूप से कंपोजेबल सुरक्षा विश्लेषण भविष्य के अध्ययन के लिए छोड़ा गया है। वे यह भी सुझाव देते हैं कि प्रोटोकॉल को बिना क्वांटम मेमोरी वाले परिदृश्यों में अनुकूलित किया जा सकता है (जल्दी मापन की अनुमति देकर), हालांकि इससे सुरक्षा पैरामीटर कमजोर हो जाएंगे।