What Can Verifiable Decapsulation Tests Certify? Pass Bounds and Fault-Recognition Limits for FO-Based KEMs
यह शोध पत्र यह प्रदर्शित करके कि फुजीसाकी-ओकामोतो-आधारित कुंजी एनकैप्सुलेशन तंत्रों (Key Encapsulation Mechanisms) के सत्यापन के लिए ब्लैक-बॉक्स डिकैप्सुलेशन परीक्षण मौलिक रूप से स्थानीयकृत सूची-हिट घटनाओं (localized list-hit events) द्वारा बाधित हैं और यह सिद्ध करके कि सपोर्ट-एक्टिव शंकु (support-active cone) के बाहर के कार्यों को अंतर्निहित साउंडनेस-कम्प्लीटनेस ट्रेड-ऑफ के कारण प्रमाणित नहीं किया जा सकता है, सैद्धांतिक सीमाएं और दोष-पहचान सीमाएं स्थापित करता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
कल्पना कीजिए कि आप एक ताला बनाने वाले (locksmith) को एक उच्च-सुरक्षा वाली तिजोरी (एक Key Encapsulation Mechanism, या KEM) बनाने के लिए काम पर रख रहे हैं। आप सुनिश्चित करना चाहते हैं कि उन्होंने कोई शॉर्टकट न लिया हो, जैसे कि आपको चाबी सौंपने से पहले अपना काम दोबारा जांचने वाला कदम छोड़ देना।
पोस्ट-क्वांटम क्रिप्टोग्राफी की दुनिया में, उनके काम की जांच करने का एक मानक तरीका है जिसे Fujisaki–Okamoto (FO) transform कहा जाता है। यह एक "री-एनक्रिप्शन" (re-encryption) जांच की तरह है: ताला बनाने वाला संदेश को डिक्रिप्ट करता है, फिर से एनक्रिप्ट करता है, और मूल परिणाम से तुलना करता है। यदि वे मेल खाते हैं, तो चाबी सही है। यदि ताला बनाने वाला इस जांच को छोड़ देता है, तो वे शायद गलती से आपको सही चाबी दे सकते हैं, या वे आपको गलत चाबी भी दे सकते हैं।
यह शोध पत्र इन ताला बनाने वालों को परखने का एक नया, अत्यंत सख्त तरीका पेश करता है जिसे Verifiable Decapsulation कहा जाता है। यहाँ उन खोजों का विवरण दिया गया है जिन्हें लेखकों ने सरल उपमाओं (analogies) का उपयोग करके समझाया है।
1. "छिपे हुए गवाह" (Hidden Witness) की ट्रिक
लेखक एक संशोधन प्रस्तावित करते हैं जहाँ अंतिम चाबी केवल संदेश पर आधारित नहीं होती, बल्कि एक छिपे हुए "गवाह" (एक गुप्त कोड जो री-चेक के दौरान उत्पन्न होता है) पर भी आधारित होती है।
- उपमा: कल्पना कीजिए कि ताला बनाने वाले को अपना काम पूरा करने के बाद, लेकिन आपको चाबी देने से पहले, कागज पर एक गुप्त कोड लिखना होता है। यह कोड फिर चाबी के भीतर ही लॉक कर दिया जाता है।
- परीक्षण: आप (परीक्षक) ताला बनाने वाले को एक बंद बॉक्स देते हैं। उन्हें उसे खोलना होगा, अपना काम करना होगा, वह गुप्त कोड बनाना होगा, और फिर आपको वापस चाबी देनी होगी।
- पेंच: आप उन्हें यह नहीं बताते कि वह गुप्त कोड क्या होना चाहिए। आप केवल बाद में जानते हैं। यदि ताला बनाने वाले ने री-चेक छोड़ दिया, तो उन्हें गुप्त कोड का पता नहीं चलेगा। यदि वे गलत कोड का अनुमान लगाते हैं, तो उनके द्वारा दी गई चाबी गलत होगी।
2. "ब्लैक बॉक्स" की समस्या
शोध पत्र पूछता है: क्या हम केवल उस चाबी को देखकर यह साबित कर सकते हैं जो उन्होंने हमें दी है कि उन्होंने वास्तव में काम किया था?
लेखक कहते हैं हाँ, लेकिन सीमाओं के साथ। उन्होंने पाया कि परीक्षण केवल तभी यह प्रमाणित कर सकता है कि ताला बनाने वाले ने काम किया है, यदि गुप्त कोड वास्तव में अप्रत्याशित (unpredictable) था।
- "लिस्ट-हिट" (List-Hit) सीमा: कल्पना कीजिए कि ताला बनाने वाला एक धोखेबाज है जो गुप्त कोड का अनुमान लगाने की कोशिश करता है। यदि उनके पास 100 संभावित कोडों की सूची है, तो भाग्य से सही होने की उनकी संभावना 1-में-100 है। शोध पत्र यह सिद्ध करता है कि ताला बनाने वाले के पास परीक्षण पास करने की संभावना सीधे तौर पर उनकी "अनुमान लगाने वाली सूची" के आकार से जुड़ी हुई है।
- निष्कर्ष: यदि ताला बनाने वाला परीक्षण पास करता है, तो या तो इसलिए क्योंकि उन्होंने सही ढंग से काम किया, या इसलिए क्योंकि वे भाग्यशाली अनुमान लगाने में सफल रहे। परीक्षण यह अंतर नहीं कर सकता कि यह "कठिन परिश्रम" था या "भाग्यशाली अनुमान", जब तक कि हम यह सिद्ध न कर सकें कि अनुमान लगाना असंभव था।
3. "डिपेंडेंसी कोन" (Dependency Cone - निर्भरता शंकु) (जिसे आप देख नहीं सकते)
यह शोध पत्र का सबसे गहरा हिस्सा है। लेखक एक "डिपेंडेंसी कोन" को परिभाषित करते हैं।
- उपमा: ताला बनाने वाले के काम को एक पेड़ के रूप में सोचें। "गुप्त कोड" सबसे ऊपर का फल है। "डिपेंडेंसी कोन" उन विशिष्ट शाखाओं और पत्तियों का समूह है जिन्हें उस फल को उगाने के लिए छूना अनिवार्य है।
- खोज: यदि ताला बनाने वाला एक ऐसा कदम छोड़ देता है जो इस कोन के बाहर है (जैसे कि एक ऐसी पत्ती को पॉलिश करना जो फल को प्रभावित नहीं करती है), तो कोई भी ब्लैक-बॉक्स टेस्ट यह साबित नहीं कर सकता कि उन्होंने उसे छोड़ा है।
- क्यों? क्योंकि आप एक "नकली" ताला बनाने वाले का निर्माण कर सकते हैं जो उस विशिष्ट कदम को छोड़ देता है लेकिन ठीक वही फल (चाबी) और वही कागजी सबूत (paper trail) पैदा करता है। बाहरी पर्यवेक्षक के लिए, नकली ताला बनाने वाला वास्तविक वाले के समान ही दिखता है।
- नियम: आप केवल तभी यह प्रमाणित कर सकते हैं कि ताला बनाने वाले ने काम किया है, यदि छोड़ा गया कदम उस कोन के अंदर था जो गुप्त कोड की ओर ले जाता है। यदि यह बाहर है, तो परीक्षण इसके प्रति अंधा है।
4. परीक्षण पास करने के दो तरीके
शोध पत्र दिखाता है कि ताला बनाने वाले के पास काम करने को सिद्ध करने के दो तरीके हैं:
- "सोर्स सिक्योरिटी" (Source Security) मार्ग: यदि गुप्त कोड इस तरह से उत्पन्न किया जाता है कि गणितीय रूप से यह सिद्ध हो कि इसे अनिश्चित (unguessable) है (जैसे कि एक परफेक्ट रैंडम नंबर जनरेटर), तो परीक्षण पास करना यह सिद्ध करता है कि काम किया गया था।
- "एन्ट्रॉपी" (Entropy) मार्ग: यदि गुप्त कोड पर्याप्त लंबा और अव्यवस्थित (messy) है (उच्च एन्ट्रॉपी), तो इसे अनुमान लगाने की संभावना इतनी कम है कि यह व्यावहारिक रूप से शून्य है। शोध पत्र सटीक रूप से गणना करता है कि परीक्षण को विश्वसनीय बनाने के लिए कोड को कितना लंबा और अव्यवस्थित होना चाहिए।
5. वास्तविक दुनिया के परीक्षण (ML-KEM और HQC)
लेखकों ने इस सिद्धांत का परीक्षण दो वास्तविक दुनिया के क्रिप्टोग्राफिक मानकों पर किया: ML-KEM (FIPS 203 में उपयोग किया जाता है) और HQC।
- प्रयोग: उन्होंने कोड के "म्यूटेंट" (mutant) संस्करण बनाए जिन्होंने जानबूझकर कुछ कदम छोड़ दिए (जैसे री-चेक छोड़ना या तुलना के एक हिस्से को अनदेखा करना)।
- परिणाम:
- बाइंडिंग फॉल्ट्स (Binding Faults): जब म्यूटेंट ने उस हिस्से को छोड़ दिया जो गुप्त कोड उत्पन्न करता है, तो परीक्षण ने उन्हें 100% बार पकड़ा।
- डिसीजन फॉल्ट्स (Decision Faults): जब म्यूटेंट ने वह कदम छोड़ दिया जो केवल बुरे इनपुट (जैसे कि विकृत बॉक्स) के लिए महत्वपूर्ण था, तो परीक्षण ने अच्छे इनपुट पर उन्हें नहीं पकड़ा। यह सिद्ध करता है कि परीक्षण केवल उतना ही अच्छा है जितने उसके इनपुट होते हैं।
- सिमेट्रिक फॉल्ट्स (Symmetric Faults): यदि म्यूटेंट ने भेजने वाले और प्राप्त करने वाले दोनों पक्षों पर कदम छोड़ दिया, तो परीक्षण उन्हें पकड़ने में विफल रहा (क्योंकि वे एक-दूसरे के साथ सहमत थे)। लेकिन एक "ईमानदार" संदर्भ (honest reference) के विरुद्ध परीक्षण किए जाने पर, परीक्षण ने उन्हें पकड़ लिया।
6. "सेल्फ-टेस्ट" (स्वयं का परीक्षण) का जाल
एक प्रमुख निष्कर्ष यह है कि स्वयं का परीक्षण करना पर्याप्त नहीं है।
- उपमा: यदि एक छात्र परीक्षा लिखता है और फिर स्वयं अपने पेपर को ग्रेड करता है, तो वह स्वयं को उत्तीर्ण ग्रेड दे सकता है भले ही उसने नकल की हो, क्योंकि वह जानता है कि उत्तर कैसे दिखने चाहिए।
- शोध पत्र का निर्णय: कार्य को वास्तव में सत्यापित करने के लिए, आपको एक "ऑनेस्ट-रेफरेंस" (Honest-Reference) परीक्षण की आवश्यकता है। आपको एक स्वतंत्र, विश्वसनीय पक्ष (हार्नेस) की आवश्यकता है जो छिपे हुए सत्य के विरुद्ध काम की जांच करे। यदि सिस्टम केवल स्वयं की जांच करता है, तो यह कई प्रकार की धोखाधड़ी को छिपा सकता है।
दावों का सारांश
- परीक्षण क्या प्रमाणित करता है: यह प्रमाणित करता है कि सिस्टम ने एक विशिष्ट "सीक्रेट विटनेस" (गुप्त गवाह) मान की गणना की है।
- परीक्षण क्या प्रमाणित नहीं कर सकता: यह प्रमाणित नहीं कर सकता कि सिस्टम ने एल्गोरिदम के प्रत्येक चरण को पूरा किया है, केवल वे चरण जो उस गुप्त गवाह को सीधे प्रभावित करते हैं।
- "कोन" का नियम: यदि कोई चरण गुप्त गवाह की ओर ले जाने वाले "कोन" के बाहर है, तो ब्लैक-बॉक्स टेस्ट यह साबित नहीं कर सकता कि वह किया गया था।
- "गेसिंग" (अनुमान लगाने) का नियम: परीक्षण उतना ही मजबूत है जितना कि गुप्त गवाह का अनुमान लगाने की कठिनाई। यदि गवाह छोटा है, तो सिस्टम अनुमान लगाकर पास हो सकता है।
संक्षेप में, यह शोध पत्र एक "नियम पुस्तिका" प्रदान करता है कि क्रिप्टोग्राफिक कोड के लिए "झूठ पकड़ने वाला यंत्र" (lie detector) कैसे बनाया जाए। यह हमें बताता है कि वह झूठ पकड़ने वाला यंत्र क्या देख सकता है, वह किस मामले में अंधा है, और "गुप्त कोड" को अनुमान लगाने के लिए कितना कठिन बनाना है ताकि वह यंत्र विश्वसनीय बन सके।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।