⚛️ quantum physics

Unclonable Encryption in the Haar Random Oracle Model

यह शोध पत्र हार रैंडम ऑरेकल मॉडल में अनिश्चित लंबाई के संदेशों के लिए पुन: प्रयोज्य, अनक्लोनेबल एन्क्रिप्शन के प्रथम निर्माण को प्रस्तुत करता है, जो एक नए यूनिटरी रीप्रोग्रामिंग लेम्मा का लाभ उठाकर यह प्रदर्शित करता है कि ऐसे स्कीम्स वन-वे फंक्शन्स की अनुपस्थिति में भी अस्तित्व में हो सकते हैं।

मूल लेखक: James Bartusek, Eli Goldin

प्रकाशित 2026-03-13

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

CC BY 4.0

मूल लेखक: James Bartusek, Eli Goldin

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

यहाँ "Unclonable Encryption in the Haar Random Oracle Model" शोध पत्र की सरल भाषा और रचनात्मक उपमाओं के साथ व्याख्या दी गई है।

मुख्य विचार: "अनक्लोनेबल" (अ-प्रतिलिपि योग्य) रहस्य

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

अनक्लोनेबल एन्क्रिप्शन (UE) एक जादुई प्रकार का लॉकबॉक्स (तिजोरी) है। यदि आप इसके अंदर एक संदेश रखते हैं और इसे दो लोगों (मान लीजिए एलिस और बॉब) को भेजते हैं, तो क्वांटम भौतिकी के नियम कहते हैं कि उनमें से कोई भी अकेले उस संदेश को नहीं समझ सकता।

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

शोध पत्र यह पूछता है: क्या हम उन सबसे मजबूत और जटिल गणितीय धारणाओं की आवश्यकता के बिना इस जादुई लॉकबॉक्स का निर्माण कर सकते हैं जिन पर हम आमतौर पर भरोसा करते हैं?

परिवेश: "माइ्रोक्रिप्ट" बनाम "मिनिक्रिप्ट"

इस उपलब्धि को समझने के लिए, हमें क्रिप्टोग्राफी की दो दुनियाओं को जानना आवश्यक है:

मिनिक्रिप्ट (Minicrypt - "कठिन गणित" की दुनिया): यहाँ अधिकांश वर्तमान एन्क्रिप्शन रहता है। यह उन समस्याओं पर निर्भर करता है जिन्हें हल करना क्लासिकल कंप्यूटरों के लिए कठिन है, जैसे कि बड़ी संख्याओं का गुणनखंड (factoring) करना। यह मानता है कि "वन-वे फंक्शन्स" (ऐसी चीजें जिन्हें करना आसान है, लेकिन उलटना कठिन है) का अस्तित्व है।
माइ्रोक्रिप्ट (Microcrypt - "क्वांटम जादू" की दुनिया): यह एक नई और अजीब दुनिया है। यहाँ, हम मानते हैं कि वन-वे फंक्शन्स का अस्तित्व ही नहीं हो सकता। इसके बजाय, हम क्वांटम यांत्रिकी की विचित्र, यादृच्छिक (random) प्रकृति पर भरोसा करते हैं। यह ऐसा कहने जैसा है कि, "हमें किसी कठिन गणितीय समस्या की आवश्यकता नहीं है; हमें बस एक वास्तव में यादृच्छिक, अराजक क्वांटम घटना की आवश्यकता है जिसे कोई भी अनुमानित न कर सके।"

लक्ष्य: लेखक यह सिद्ध करना चाहते थे कि अनक्लोनेबल एन्क्रिप्शन माइ्रोक्रिप्ट में अस्तित्व में रह सकता है। वे यह दिखाना चाहते थे कि आप इस "अनक्लोनेबल लॉकबॉक्स" को मिनिक्रिप्ट दुनिया के भारी-भरकम "कठिन गणित" की आवश्यकता के बिना, केवल क्वांटम यांत्रिकी की कच्ची, यादृच्छिक शक्ति का उपयोग करके बना सकते हैं।

समाधान: "हाार रैंडम ऑरेकल" (Haar Random Oracle)

इसे बनाने के लिए, लेखकों ने हाार रैंडम ऑरेकल नामक एक उपकरण का उपयोग किया।

उपमा: एक विशाल, जादुई, अनंत पासा (dice) फेंकने वाली मशीन की कल्पना करें। हर बार जब आप उससे कोई प्रश्न पूछते हैं, तो वह आपको पूरी तरह से यादृच्छिक उत्तर देता है जो पहले कभी नहीं दिया गया था और भविष्य में कभी नहीं दिया जाएगा।
"हाार" वाला भाग: यह केवल एक सामान्य पासा नहीं है। यह एक "क्वांटम पासा" है जो एक क्वांटम सिस्टम की हर संभावित अवस्था के माध्यम से पूर्ण यादृच्छिकता के साथ घूमता है। यह परम अराजकता का स्रोत है।

शोध पत्र दिखाता है कि यदि सभी के पास यह जादुई क्वांटम पासा उपलब्ध है, तो हम एक पुन: प्रयोज्य (reusable) अनक्लोनेबल एन्क्रिप्शन योजना बना सकते हैं। "पुन: प्रयोज्य" का अर्थ है कि आप एक ही गुप्त कुंजी (key) का उपयोग हजारों अलग-अलग संदेशों को सुरक्षित करने के लिए कर सकते हैं, और यह फिर भी सुरक्षित रहेगा।

गुप्त सूत्र: "यूनिटरी रीप्रोग्रामिंग लेम्मा" (Unitary Reprogramming Lemma)

यह इस शोध पत्र का सबसे तकनीकी हिस्सा है, लेकिन यहाँ इसका सरल संस्करण है:

कल्पना कीजिए कि आप एक जादूगर (सुरक्षा प्रमाण) हैं जो एक हैकर को बेवकूफ बनाने की कोशिश कर रहे हैं।

सेटअप: आपके पास एक विशाल, यादृच्छिक मशीन (हाार ऑरेकल) है जो सब कुछ यादृच्छिक रूप से करती है।
चाल: आप अपने तर्क को सिद्ध करने में मदद करने के लिए मशीन के व्यवहार को बहुत थोड़ा सा बदलना चाहते हैं, लेकिन आप नहीं चाहते कि हैकर को इसका पता चले।
लेम्मा: लेखकों ने यूनिटरी रीप्रोग्रामिंग लेम्मा नामक एक नियम सिद्ध किया। यह कहता है: "यदि आप इस विशाल जादुई मशीन का एक छोटा सा यादृच्छिक हिस्सा लेते हैं और इसके काम करने के तरीके को बदलते हैं, तो कोई भी मूल मशीन और संशोधित मशीन के बीच अंतर नहीं बता पाएगा, जब तक कि वे केवल कुछ ही प्रश्न पूछें।"

इसे एक विशाल पुस्तकालय की तरह सोचें जिसमें अनंत पुस्तकें हैं। यदि आप गुप्त रूप से 10 विशिष्ट पुस्तकों के टेक्स्ट को बदल देते हैं, तो एक आगंतुक जो केवल कुछ पन्ने पढ़ता है, उसे अंतर का पता नहीं चलेगा। लेखकों ने एक सुरक्षित एन्क्रिप्शन योजना का अनुकरण करने के लिए इस का उपयोग करके यादृच्छिक मशीन को "रीप्रोग्राम" करने के लिए इसका उपयोग किया, जिससे यह सिद्ध हुआ कि यह योजना अटूट है।

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

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

संक्षेप में (Summary in a Nutshell)

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

यहाँ जेम्स बार्टुसेक और एली गोल्डिन के शोध पत्र "Unclonable Encryption in the Haar Random Oracle Model" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र एक ऐसे क्रिप्टोग्राफिक परिवेश में अनक्लोनेबल एन्क्रिप्शन (Unclonable Encryption - UE) की व्यवहार्यता को संबोधित करता जहाँ पारंपरिक कम्प्यूटेशनल हार्डनेस धारणाएँ (जैसे One-Way Functions) अस्तित्व में नहीं हो सकती हैं।

अनक्लोनेबल एन्क्रिप्शन (Unclonable Encryption): एक प्रिमिटिव (primitive) जहाँ एक संदेश $m$ को एक क्वांटम सिफरटेक्स्ट $\rho_{k,m}$ में एन्क्रिप्ट किया जाता है। सुरक्षा गारंटी (Unclonable Indistinguishability) यह आवश्यक करती है कि कोई भी एडवरसरी (adversary) सिफरटेक्स्ट को दो रजिस्टरों ( $A, B$ ) में विभाजित न कर सके जिससे दोनों स्वतंत्र रूप से गुप्त कुंजी $k$ के साथ एन्क्रिप्शन बिट $b$ को पुनः प्राप्त कर सकें।
"Minicrypt" बनाम "Microcrypt" का अंतर:
- UE के पिछले निर्माण (जैसे Ananth et al. द्वारा) रैंडम ओरकल मॉडल (Random Oracle Model - ROM) पर आधारित थे, जो One-Way Functions (OWFs) के अस्तित्व को दर्शाता है। यह UE को "Minicrypt" (क्लासिकल अनस्ट्रक्चर्ड हार्डनेस) में रखता है।
- लेखक पूछते हैं: क्या UE "Microcrypt" में अस्तित्व रख सकता है? Microcrypt एक ऐसी दुनिया है जहाँ OWFs मौजूद नहीं हैं, लेकिन प्रिमिटिव को अनस्ट्रक्चर्ड क्वांटम हार्डनेस (जैसे Pseudo-Random States/Unitaries) से बनाया जा सकता है।
- चुनौती: जबकि साधारण एन्क्रिप्शन और क्वांटम मनी को Microcrypt में (Pseudo-Random Unitaries का उपयोग करके) बनाया जा सकता है, UE के लिए 'हिडिंग' (hiding/encryption) और 'अनक्लोनेबिलिटी' (unclonability/quantum money) दोनों की आवश्यकता होती है। यह अज्ञात था कि क्या OWFs के बिना UE का निर्माण किया जा सकता है।

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

लेखक Haar Random Oracle Model (QHROM) के भीतर एक निर्माण (construction) और एक सुरक्षा प्रमाण प्रस्तावित करते हैं।

A. मॉडल: Haar Random Oracle

एक रैंडम क्लासिकल फंक्शन (मानक ROM) के बजाय, यह मॉडल एक Haar random unitary $U$ और इसके वेरिएंट्स ( $U^\dagger, U^*, U^T$ ) तक ओरकल एक्सेस प्रदान करता है।

$U$ को पूरे हिल्बर्ट स्पेस (Hilbert space) पर Haar वितरण से लिया गया है।
इस मॉडल को Microcrypt के लिए QHROM माना जाता है क्योंकि एक ठोस Haar random unitary को हेयुरिस्टिक रूप से एक गहरे रैंडम क्वांटम सर्किट द्वारा इंस्टैंशिएट किया जा सकता है, भले ही OWFs मौजूद न हों।

B. निर्माण (The Construction)

यह एक कंपाइलर है जो किसी भी "शुद्ध" (pure) अनक्लोनेबल एन्क्रिप्शन स्कीम को किसी भी अन्य ओरकल मॉडल से QHROM में सुरक्षित स्कीम में बदल देता है।

एन्क्रिप्शन (Encryption): संदेश $m$ $m$ को कुंजी $k$ $k$ के साथ एन्क्रिप्ट करने के लिए:
1. रैंडमनेस $r$ का नमूना लें।
2. Haar random unitary $U$ को स्टेट $|m, r\rangle$ पर लागू करें।
3. परिणाम पर एक बिट-फ्लिप ऑपरेशन $X_k$ (कुंजी $k$ पर आधारित Pauli X) लागू करें।
4. आउटपुट: $X_k U |m, r\rangle$ ।
अंतर्ज्ञान (Intuition): $U$ हिल्बर्ट स्पेस को प्रत्येक संदेश के लिए सबस्पेस (subspaces) में विभाजित करता है। कुंजी $k$ इन सबस्पेस में एक रैंडम "शिफ्ट" ( $X_k$ ) लागू करती है। $k$ के बिना, एडवरसरी यह पहचान नहीं सकता कि सिफरटेक्स्ट किस सबस्पेस से संबंधित है, और Haar random स्टेट की अनक्लोनेबिलिटी कॉपी करने से रोकती है।

C. मुख्य तकनीकी उपकरण: Unitary Reprogramming Lemma

केंद्रीय तकनीकी योगदान एक नया लेम्मा (lemma) है जो यह सिद्ध करता है कि एक "मोनोलिथिक" (monolithic) Haar random unitary, दो "विजातीय" (disjoint) Haar random unitaries के उत्पाद के समान है, बशर्ते एडवरसरी के प्रश्न (queries) एक छोटे सबस्पेस तक सीमित हों।

सेटअप: मान लीजिए $S_1$ "फिक्स्ड पॉइंट्स" (जो रिडक्शन को ज्ञात हैं) का एक सेट है और $S_2$ एक बड़ा रैंडम सेट है जिसमें $S_1$ शामिल है।
लेम्मा: एक एडवरसरी के बीच अंतर नहीं कर सकता:
1. पूरे स्पेस पर एकल Haar random unitary $U$ पर क्वेरी करना।
2. एक उत्पाद $U_2 U_1$ पर क्वेरी करना, जहाँ $U_1$ सबस्पेस $S_2$ पर कार्य करता है और $U_2$ उसके ऑर्थोगोनल कॉम्प्लीमेंट पर कार्य करता है।
प्रमाण तकनीक: प्रमाण Path Recording Framework (हाल ही में Ma और Huang द्वारा पेश किया गया) का उपयोग करता है।
- यह ओरकल को इनपुट-आउटपुट पेयर्स (एक "पाथ") का डेटाबेस बनाए रखकर सिम्युलेट करता है।
- लेखक दिखाते हैं कि यदि एडवरसरी पॉलीनोमियल क्वेरी करता है, तो ओरकल की आंतरिक स्थिति (डेटाबेस) सूचना-सैद्धांतिक रूप से (information-theoretically) $S_2$ की जानकारी निर्धारित करती है।
- $S_2$ को स्टोर करने वाले रजिस्टर को "डिलीट" करके, वे दिखाते हैं कि दोनों वितरण अविभेद्य (indistinguishable) हैं। यह सुरक्षा रिडक्शन को ओरकल को "रीप्रोग्राम" करने की अनुमति देता है ताकि बिना एडवरसरी को पता चले अंतर्निहित एन्क्रिप्शन स्कीम को एम्बेड किया जा सके।

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

प्रथम Microcrypt UE निर्माण: यह शोध पत्र पहला प्रमाण प्रदान करता है कि Microcrypt में पुन: प्रयोज्य (reusable) अनक्लोनेबल एन्क्रिप्शन मौजूद है। यह स्थापित करता है कि UE के लिए अनिवार्य रूप से One-Way Functions की आवश्यकता नहीं है।
पुन: प्रयोज्य सुरक्षा (Reusable Security): पिछले वन-टाइम स्कीम्स के विपरीत, यह निर्माण मेनी-टाइम (reusable) एन्क्रिप्शन का समर्थन करता है, जो एक मजबूत सुरक्षा धारणा है।
सामान्य कंपाइलर (General Compiler): लेखक एक कंपाइलर (Theorem 1.3) प्रस्तुत करते हैं जो दिखाता है कि यदि किसी भी यूनिटरी ओरकल के वितरण के लिए UE मौजूद है, तो वह Haar Random Oracle Model में भी मौजूद है। यह मौजूदा QROM स्कीम्स (जैसे Ananth et al. द्वारा) को QHROM सुरक्षा प्राप्त करने के लिए उपयोग करने की अनुमति देता है।
Unitary Reprogramming Lemma: एक नया लेम्मा जो "रीप्रोग्रामिंग" (जो ROM प्रमाणों में सामान्य है) की अवधारणा को यूनिटरी सेटिंग में विस्तारित करता है। यह संभवतः अन्य क्वांटम क्रिप्टोग्राफिक प्रमाणों के लिए स्वतंत्र रूप से महत्वपूर्ण है।
सेपरेशन रिजल्ट (Separation Result): यह पेपर एक ऐसे ओरकल के अस्तित्व को सिद्ध करता है जिसके सापेक्ष:
- Reusable UE मौजूद है।
- $BFP^O = QMA^O$ (जिसका अर्थ है कि One-Way Functions मौजूद नहीं हैं)।
- यह औपचारिक रूप से UE को OWFs की आवश्यकता से अलग करता है।

4. परिणाम (Results)

मुख्य प्रमेय (Main Theorem): किसी भी पॉलीनोमियल मैसेज साइज के लिए, Haar Random Oracle Model में एक reusable अनक्लोनेबल एन्क्रिप्शन स्कीम मौजूद है।
सुरक्षा परिभाषा: यह स्कीम मानक "unclonable indistinguishability" परिभाषा को संतुष्ट करती है, जहाँ विभाजित रजिस्टरों से सही बिट $b$ का अनुमान लगाने की एडवरसरी की संभावना अधिकतम $1/2 + \text{negl}(\lambda)$ है।
स्वतंत्र लंबाई (Arbitrary Length): यह स्कीम मनमाने पॉलीनोमियल लंबाई के संदेशों का समर्थन करती है।

5. महत्व (Significance)

मौलिक क्रिप्टोग्राफी (Foundational Cryptography): यह कार्य क्रिप्टोग्राफिक प्रिमिटिव्स की पदानुक्रमित समझ को महत्वपूर्ण रूप से आगे बढ़ाता है। यह प्रदर्शित करता है कि "हिडिंग" और "अनक्लोनेबिलिटी" (UE) का संयोजन केवल रैंडम यूनिटरीज को अलग करने की कठिनाई का उपयोग करके प्राप्त किया जा सकता है, बिना One-Way Functions जैसी मजबूत धारणा की आवश्यकता के।
Microcrypt का क्रियान्वयन: यह "Microcrypt" को जटिल प्रिमिटिव्स के लिए एक व्यवहार्य दुनिया के रूप में पुख्ता करता है। पहले, Microcrypt को क्वांटम मनी और एन्क्रिप्शन जैसे सरल प्रिमिटिव्स के लिए जाना जाता था; यह कार्य दिखाता है कि यह अधिक जटिल UE को भी सपोर्ट कर सकता है।
भविष्य की दिशाएं: Unitary Reprogramming Lemma Haar Random Oracle Model में सुरक्षा सिद्ध करने के लिए नए रास्ते खोलता है, जो अन्य क्वांटम प्रिमिटिव्स पर भी लागू हो सकता है जो रैंडम यूनिटरीज की अविभेद्यता पर निर्भर करते हैं।
व्यावहारिक निहितार्थ: हालांकि Haar random oracle एक आदर्श मॉडल है, यह परिणाम सुझाव देता है कि ठोस क्वांटम सर्किट (जो Pseudo-random unitaries के रूप में कार्य करते हैं) सुरक्षित अनक्लोनेबल एन्क्रिप्शन बनाने के लिए पर्याप्त हो सकते हैं, जो संभावित रूप से उस पोस्ट-क्वांटम दुनिया में "स्टोर-नाउ, डिक्रिप्ट-लेटर" हमलों के खिलाफ सुरक्षा प्रदान कर सकते हैं जहाँ क्लासिकल OWFs टूट सकते हैं।

संक्षेप में, बार्टुसेक और गोल्डिन सफलतापूर्वक अनक्लोनेबल एन्क्रिप्शन के लिए क्लासिकल और क्वांटम हार्डनेस धारणाओं के बीच के अंतर को पाटते हैं, यह सिद्ध करते हुए कि सबसे मजबूत रूप का UE, One-Way Functions की अनुपस्थिति वाली दुनिया में भी, केवल क्वांटम यूनिटरी सैंपलिंग की कठिनाई पर निर्भर करते हुए बनाया जा सकता है।