Capability-Adaptive Cryptanalysis with Reduced-Space Quantum Verification

तकनीकी सारांश: कम-स्थान क्वांटम सत्यापन के साथ क्षमता-अनुकूलनशील क्रिप्टोएनालिसिस (Capability-Adaptive Cryptanalysis)

समस्या विवरण
यह शोधपत्र हाइब्रिड क्रिप्टोएनालिसिस में शास्त्रीय साक्ष्य (classical evidence) को क्वांटम सत्यापन के साथ कुशलतापूर्वक एकीकृत करने की मौलिक चुनौती को संबोधित करता है। जबकि सममित-कुंजी (symmetric-key) प्रणालियाँ आमतौर पर सार्वजनिक-कुंजी प्रणालियों की तुलना में क्वांटम विरोधियों के प्रति अधिक लचीली होती हैं, क्वांटम खोज प्रक्रियाओं (विशेष रूप से ग्रोवर के एल्गोरिदम) की उपलब्धता उम्मीदवार-कुंजी सत्यापन की प्रभावी लागत को बदल देती है। हालाँकि, व्यावहारिक क्रिप्टोएनालिसिस शायद ही कभी पूर्ण कुंजी स्थान (complete key space) पर कार्य करता है; इसके बजाय, यह अंतिम सत्यापन से पहले स्वीकार्य कुंजियों के सेट को सीमित करने के लिए सांख्यिकीय डिस्टिंग्विशर (statistical distinguishers), लीकेज अवलोकनों और डेटा-संचालित न्यूनीकरण (data-driven reduction) पर निर्भर करता है। लेखक मौजूदा साहित्य में एक अंतराल की पहचान करते हैं जहाँ सांख्यिकीय क्रिप्टोएनालिसिस, लीकेज-निर्देशित न्यूनीकरण, क्वांटम सत्यापन और अवलोकन चयन को आमतौर पर अलग-अलग चरणों के रूप में माना जाता है। एक ऐसे एकीकृत ढांचे (unified framework) का अभाव है जो अंतिम क्वांटम खोज के कम्प्यूटेशनल ओवरहेड को कम करने के लिए अनुकूली फ़िल्टरिंग (adaptive filtering), क्षमता-संचालित हमला चयन और कम-स्थान क्वांटम सत्यापन को व्यवस्थित रूप से संयोजित करता हो।

कार्यप्रणाली (Methodology)
प्रस्तावित ढांचा एक एकीकृत, क्षमता-अनुकूलनशील क्रिप्टोएनालिटिक आर्किटेक्चर पेश करता है जो तीन प्राथमिक चरणों में कार्य करता है:

1. एकीकृत शास्त्रीय उम्मीदवार-स्थान निर्माण और न्यूनीकरण:
   ढांचा एक सममित-कुंजी प्रिमिटिव (symmetric-key primitive) को मॉडल करता है और प्रेक्षित प्लेनटेक्स्ट-साइफरटेक्स्ट युग्मों के विरुद्ध क्रिप्टोग्राफिक निरंतरता को थकाऊ रूप से सत्यापित करके एक प्रारंभिक स्वीकार्य उम्मीदवार-कुंजी उपसमुच्चय ($K_{cand}$) का निर्माण करता है। इस आधारभूत स्थान को फिर तीन पूरक तंत्रों के माध्यम से प्रगतिशील रूप से कम किया जाता है:

• लीनियर क्रिप्टोएनालिसिस (Linear Cryptanalysis): लीनियर एप्रोक्सिमेशन में सांख्यिकीय पूर्वाग्रह (statistical bias) के आधार पर उम्मीदवारों को फ़िल्टर करता है।
• डिफरेंशियल क्रिप्टोएनालिसिस (Differential Cryptanalysis): उन परिकल्पनाओं को समाप्त करता है जो प्रेक्षित डिफरेंशियल प्रोपेगेशन संभावनाओं के असंगत हैं।
• लीकेज-निर्देशित विश्लेषण (Leakage-Guided Analysis): उन उम्मीदवारों को बनाए रखता है जो काल्पनिक लीकेज वेक्टर्स और प्रेक्षित भौतिक निशानों (जैसे पावर या टाइमिंग) के बीच मजबूत सहसंबंध प्रदर्शित करते हैं।

महत्वपूर्ण रूप से, ढांचा क्षमता-अनुकूलनशील सक्रियण विधेयकों (capability-adaptive activation predicates) ($\chi_L, \chi_D, \chi_S$) का उपयोग करता है। ये संकेतक गतिशील रूप से यह निर्धारित करते हैं कि क्या एक विशिष्ट न्यूनीकरण मॉड्यूल को सक्रिय किया जाना चाहिए, जो विरोधी के उपलब्ध संसाधनों (जैसे, ज्ञात-प्लेनटेक्स्ट एक्सेस, चोसे-प्लेनटेक्स्ट क्षमता, या लीकेज ऑब्जर्वेबिलिटी) पर आधारित होता है। यदि कोई क्षमता अनुपस्थित है, तो संबंधित मॉड्यूल को बायपास कर दिया जाता है, जिससे खोज स्थान को गलत तरीके से फ़िल्टर करने के बजाय उसे सुरक्षित रखा जाता है।

2. कम-स्थान क्वांटम सत्यापन (Reduced-Space Quantum Verification):
   एक बार जब शास्त्रीय फ़िल्टरिंग चरण एक प्रभावी उम्मीदवार स्थान ($K_{eff}$) उत्पन्न कर देता है, तो ढांचा क्वांटम सत्यापन चरण को तभी सक्रिय करता है जब क्वांटम कम्प्यूटेशनल संसाधन और प्रतिवर्ती ऑरेकल निर्माण (reversible oracle construction) उपलब्ध हों। पूर्ण कुंजी स्थान ($2^k$) के बजाय, एल्गोरिदम विशेष रूप से कम किए गए स्थान ($N_{eff} = |K_{eff}|$) पर कार्य करता है।

• आवश्यक क्यूबिट्स की संख्या घटकर $q = \lceil \log_2 N_{eff} \rceil$ हो जाती है।
• आवश्यक ग्रोवर इटरेशन की संख्या $O(\sqrt{2^k})$ से घटकर $O(\sqrt{N_{eff}})$ हो जाती है।
• लेखक एक औपचारिक गणितीय मॉडल प्रदान करते हैं, जिसमें एक हैमिल्टनियन फॉर्मूलेशन (Hamiltonian formulation) शामिल है, ताकि कम-स्थान सत्यापन प्रक्रिया को एक भौतिक रूप से साध्य एम्प्लीट्यूड एम्प्लीफिकेशन प्रक्रिया के रूप में व्याख्यायित किया जा सके।

3. क्वांटम-सहायता प्राप्त अवलोकन नमूनाकरण (Quantum-Assisted Observation Sampling):
   अवलोकन चयन में संभावित पूर्वाग्रहों को संबोधित करने के लिए, ढांचा प्लेनटेक्स्ट-साइफरटेक्स्ट युग्मों, डिफरेंशियल युग्मों और लीकेज निशानों के चयन को संचालित करने के लिए क्वांटम रैंडम नंबर जेनरेटर्स (QRNGs) का उपयोग करने का प्रस्ताव करता है। यह सांख्यिकीय अनुमान के लिए पूर्वाग्रह-रहित नमूनाकरण सुनिश्चित करता है बिना क्रिप्टोएनालिटिक प्रक्रिया की एसिम्प्टोटिक जटिलता (asymptotic complexity) को बदले।

प्रमुख योगदान

• एकीकृत हाइब्रिड ढांचा: शोधपत्र एक संरचित तंत्र प्रस्तुत करता है जो लीनियर, डिफरेंशियल और साइड-चैनल विश्लेषण को क्वांटम सत्यापन के साथ एक एकल वर्कफ़्लो में एकीकृत करता है, जो विरोधी की विशिष्ट क्षमताओं द्वारा नियंत्रित होता है।
• औपचारिक जटिलता लक्षण वर्णन: लेखक एक गणितीय मॉडल विकसित करते हैं जो यह सिद्ध करता है कि अनुकूली उम्मीदवार-स्थान संकुचन (adaptive candidate-space contraction) एसिम्प्टोटिक क्वांटम सत्यापन जटिलता को सख्ती से कम करता है। वे प्रदर्शित करते हैं कि यदि कम से कम एक सक्रिय न्यूनीकरण चरण अमान्य परिकल्पनाओं को हटा देता है, तो क्वांटम सत्यापन लागत पूर्ण-स्थान खोज की तुलना में काफी कम होती है।
• क्षमता-अनुकूलनशील ऑर्केस्ट्रेशन: सक्रियण विधेयकों (activation predicates) का परिचय यह सुनिश्चित करता है कि ढांचा हमला वेक्टर्स की उपलब्धता के अनुसार गतिशील रूप से समायोजित हो सके (उदाहरण के लिए, यदि कोई लीकेज ट्रेस उपलब्ध नहीं है, तो साइड-चैनल मॉड्यूल को छोड़ दिया जाता है), जिससे विभिन्न प्रतिकूल परिस्थितियों के तहत हमले की वैधता बनी रहती है।
• हैमिल्टनियन व्याख्या: ऑरेकल और डिफ्यूजन ऑपरेटर्स को विशिष्ट हैमिल्टनियन विकास से जोड़ने के लिए एक हैमिल्टनियन फॉर्मूलेशन पेश किया गया है।

परिणाम
एक नियंत्रित वातावरण को सिम्युलेट करने के लिए सांख्यिकीय रूप से उत्पन्न क्रिप्टोएनालिटिक अवलोकनों का उपयोग करके ढांचे का मूल्यांकन किया गया:

• उम्मीदवार-स्थान संकुचन: 4,096 उम्मीदवारों के प्रारंभिक परिकल्पना स्थान से शुरू करते हुए, लीनियर, डिफरेंशियल और लीकेज-निर्देशित फिल्टर (उपयुक्त थ्रेशोल्ड के साथ) के संयुक्त अनुप्रयोग ने स्वीकार्य स्थान को 13 परिकल्पनाओं तक कम कर दिया। यह खोज स्थान में 99.683% की कमी को दर्शाता है।
• क्वांटम सत्यापन दक्षता: फलस्वरूप, ग्रोवर सत्यापन आवश्यकता पूर्ण 4,096 स्थान के लिए आवश्यक 50 इटरेशन से घटकर केवल 13 के कम किए गए स्थान के लिए 2 इटरेशन रह गई। यह सत्यापन प्रयास में लगभग 25-गुणा कमी प्रदान करता है।
• सफलता की संभावना: 8 उम्मीदवारों के कम किए गए स्थान वाले एक विशिष्ट सिमुलेशन में, कम-स्थान एम्प्लीट्यूड एम्प्लीफिकेशन ने दो इटरेशन के बाद लगभग 94.53% की लक्षित-अवस्था सफलता दर प्राप्त की, जो सही परिकल्पना पर संभाव्यता द्रव्यमान (probability mass) केंद्रित करने में उच्च दक्षता प्रदर्शित करती है।

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