Structural Dependency Analysis for Masked NTT Hardware: Scalable Pre-Silicon Verification of Post-Quantum Cryptographic Accelerators
यह शोध पत्र एक स्केलेबल चार-चरणीय सत्यापन पदानुक्रम (four-stage verification hierarchy) प्रस्तुत करता है जो प्रोडक्शन-स्केल पोस्ट-क्वांटम क्रिप्टोग्राफिक एक्सेलेरेटर्स के लिए साउंड फर्स्ट-ऑर्डर मास्किंग विश्लेषण का विस्तार करता है, जिसने सफलतापूर्वक 1.17-मिलियन-सेल ML-KEM/ML-DSA चिप के लिए मैनुअल समीक्षा की आवश्यकताओं को सैकड़ों स्ट्रक्चरल फ्लैग्स से घटाकर 165 गणितीय रूप से प्रमाणित उम्मीदवारों तक सीमित कर दिया है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
कल्पना कीजिए कि आप भविष्य के "क्वांटम" हैकर्स से दुनिया के सबसे मूल्यवान रहस्यों की रक्षा करने के लिए एक अत्यंत सुरक्षित तिजोरी बना रहे हैं। इस तिजोरी को अटूट बनाने के लिए, आप केवल एक ताला नहीं लगाते; बल्कि आप रहस्य को दो हिस्सों में विभाजित करते हैं (जैसे चाबी के दो आधे भाग) और उन्हें मशीन के अलग-अलग हिस्सों में छिपा देते हैं। इसे मास्किंग (Masking) कहा जाता है।
इस प्रणाली का स्वर्णिम नियम सरल है: चाबी के दोनों आधे हिस्सों को कभी भी आपस में नहीं मिलना चाहिए। यदि वे गलती से मशीन के भीतर एक-दूसरे से टकराते हैं या मिल जाते हैं, तो रहस्य उजागर हो जाता है और तिजोरी टूट जाती है।
समस्या: "घास के ढेर में सुई" की दुविधा
जिस मशीन की हम बात कर रहे हैं (जिसे एडम्स ब्रिज (Adams Bridge) कहा जाता है) वह विशाल है। इसमें 10 लाख से अधिक सूक्ष्म इलेक्ट्रॉनिक स्विच (गेट्स) हैं।
दो चाबियों के हिस्सों के आपस में मिलने की जाँच करना घास के ढेर में एक विशिष्ट सुई को खोजने जैसा है जो एक शहर के आकार का है।
- पुराने उपकरण आवर्धक लेंस (magnifying glasses) की तरह थे। वे घास के एक छोटे ढेर (कुछ हज़ार स्विच) की पूरी तरह से जाँच कर सकते थे, लेकिन यदि आप उन्हें पूरे शहर पर आज़माने की कोशिश करते, तो वे पिघल जाते।
- मानवीय विशेषज्ञों द्वारा मैन्युअल जाँच असंभव है; इसमें एक जीवनकाल लग जाएगा।
- असली मशीन का परीक्षण करना (बनाने के बाद) बहुत देर हो चुकी होगी। यदि यह खराब निकली, तो आपको पूरी चीज़ को छोड़ना होगा और फिर से शुरू करना होगा।
समाधान: QANARY (कोयले की खान में कैनरी)
लेखकों ने एक नया टूल बनाया जिसे QANARY कहा गया। उन्होंने इसका नाम उन कैनरी पक्षियों के नाम पर रखा था जिन्हें खनिक (miners) भूमिगत ले जाते थे। यदि कैनरी गाना बंद कर देती थी, तो खनिकों को पता चल जाता था कि जहरीली गैस आने से पहले ही खतरा मौजूद है।
QANARY एक "प्री-सिलिकॉन" डिटेक्टर है। यह मशीन बनने से पहले उसके ब्लूप्रिंट (कोड) को देखता है ताकि उन खतरनाक स्थानों का पता लगाया जा सके जहाँ चाबी के दोनों हिस्से गलती से मिल सकते हैं।
QANARY कैसे काम करता है: चार-चरणीय फ़िल्टर
हर एक तार की पूरी तरह से जाँच करने के बजाय (जो बहुत धीमा होगा), QANARY तारों को छाँटने के लिए एक स्मार्ट, चार-चरणीय फ़नल का उपयोग करता है:
विस्तृत जाल (स्ट्रक्चरल एनालिसिस):
कल्पना कीजिए कि आप पूरे शहर पर एक विशाल जाल फेंक रहे हैं। यह उस सब कुछ को पकड़ लेता है जो समस्या हो सकता है। यह बहुत तेज़ है लेकिन इसमें बहुत सारे "गलत अलार्म" (ऐसी चीजें जो खतरनाक दिखती हैं लेकिन वास्तव में सुरक्षित हैं) पकड़े जाते हैं।- परिणाम: इसने हजारों तारों को "संदिग्ध" के रूप में चिह्नित किया।
फ्रेश मास्क चेक (Fresh Mask Check):
कुछ तार इसलिए संदिग्ध दिखते हैं क्योंकि वे चाबियों को मिलाते हैं, लेकिन उनके पास एक "फ्रेश रैंडमाइज़र" (जैसे कि एक नया, यादृच्छिक शोर/noise) भी होता है जो मिश्रण को तुरंत बिखेर देता है। QANARY जाँचता है कि क्या यह शोर रहस्य को छिपाने के लिए पर्याप्त मजबूत है। यदि हाँ, तो यह तार को सुरक्षित घोषित कर देता है।बूलियन डिटेक्टिव (सरल गणित):
शेष संदिग्ध तारों के लिए, QANARY एक सरल गणितीय प्रश्न पूछता है: "यदि मैं रहस्य बदल दूँ, तो क्या तार का आउटपुट बदल जाएगा?" यदि उत्तर "नहीं" है, तो तार सुरक्षित है। इससे कई और गलत अलार्म दूर हो जाते हैं।अरिथमेटिक डिटेक्टिव (जटिल गणित):
यह जादुई चरण है। मशीन साधारण ऑन/ऑफ स्विच के बजाय जटिल संख्याओं (मॉड्यूलर अंकगणित) के साथ काम करती है। QANARY उन्नत गणित का उपयोग करके समस्या को पुनर्व्यवस्थित करता है। यह पूछता है: "भले ही ये दो चाबी-आधे हिस्से आपस में छू रहे हैं, क्या परिणाम अभी भी यादृच्छिक (random) दिखता है?"- परिणाम: मशीन के एक महत्वपूर्ण हिस्से (बैरेट रिडक्शन मॉड्यूल) पर, इस चरण ने सिद्ध किया कि 5s4% तार जिन्हें खतरनाक बताया गया था, वास्तव में सुरक्षित थे।
बड़ी जीत
इस टूल से पहले, इंजीनियरों को एक महत्वपूर्ण मॉड्यूल पर 363 संदिग्ध तारों का मैन्युअल निरीक्षण करना पड़ता था। यह एक बुरा सपना था।
QANARY के उपयोग के बाद:
- 198 तारों को गणित द्वारा सुरक्षित सिद्ध किया गया (उन्हें एक "सुरक्षा प्रमाण पत्र" मिला)।
- 165 तार "शायद खतरनाक" के रूप में चिह्नित किए गए (इंजीनियरों को केवल इन्हीं की जाँच करने की आवश्यकता है)।
- 0 तार "मुझे नहीं पता" वाली श्रेणी में छोड़े गए।
पूरी प्रक्रिया में एक सिंगल कंप्यूटर कोर पर लगभग 3 मिनट का समय लगा।
यह क्यों महत्वपूर्ण है
- गति: यह महीनों लंबे मैन्युअल रिव्यू को 3 मिनट की स्वचालित जाँच में बदल देता है।
- पैमाना: यह 10 लाख से अधिक स्विच वाली मशीनों पर काम करता है, जो किसी अन्य टूल के लिए संभव नहीं था।
- सुरक्षा: यह "मल्टी-साइकिल" लीक्स (लीकेज) को पकड़ता है। कल्पना कीजिए कि चाबी के दो हिस्से अलग-अलग कमरों में हैं। एक साधारण जाँच कहती है कि वे सुरक्षित हैं। लेकिन QANARY समझ जाता है कि अगले ही सेकंड, वे एक गलियारे से होकर गुजर सकते हैं और मिल सकते हैं। यह उन "टाइम-ट्रैवलिंग" लीक्स को पकड़ता है जिन्हें अन्य टूल्स मिस कर देते हैं।
निष्कर्ष
यह पेपर एक "स्मार्ट फिल्टर" पेश करता है। यह केवल यह नहीं कहता कि "यह टूटा हुआ है" या "यह सुरक्षित है।" यह कहता है, "यहाँ वे 165 तार हैं जिनकी आपको वास्तव में चिंता करने की ज़रूरत है, और यहाँ अन्य 198 के सुरक्षित होने का गणितीय प्रमाण है।"
यह इंजीनियरों को बड़े, जटिल क्वांटम-प्रूफ सुरक्षा चिप्स आत्मविश्वास के साथ बनाने की अनुमति देता है, यह जानते हुए कि उनके पास एक "कैनरी" है जिसने पहले ही उनके लिए हवा की जाँच कर ली है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।