Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware
यह शोध पत्र पोस्ट-क्वांटम क्रिप्टोग्राफी में नंबर थ्योरेटिक ट्रांसफॉर्म (NTT) एक्सेलेरेटर्स के लिए फ्रेश पर-स्टेज अरिथमेटिक मास्किंग पाइपलाइन-स्तरीय सुरक्षा की गारंटी देती है, यह प्रदर्शित करने के लिए लीन 4 (Lean 4) में प्रथम मशीन-चेक्ड प्रमाण प्रस्तुत करता है, जबकि एडम्स ब्रिज (Adams Bridge) एक्सेलेरेटर जैसे विशिष्ट आर्किटेक्चरल विफलताओं की पहचान करता है जो इन सुरक्षा शर्तों का उल्लंघन करते हैं।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
मुख्य चित्र: एक सुरक्षित डिजिटल तिजोरी का निर्माण
कल्पना कीजिए कि आप किसी रहस्य (जैसे पासवर्ड या प्राइवेट की) को सुरक्षित रखने के लिए एक उच्च-सुरक्षा वाली तिजोरी बना रहे हैं। "पोस्ट-क्वांटम क्रिप्टोग्राफी" (भविष्य के क्वांटटन कंप्यूटरों द्वारा रहस्यों को चुराने से रोकने के लिए उपयोग किया जाने वाला नया प्रकार का गणित) की दुनिया में, यह तिजोरी एक जटिल मशीन का उपयोग करके बनाई जाती है जिसे NTT पाइपलाइन कहा जाता है।
इस पाइपलाइन को एक फैक्ट्री असेंबली लाइन के रूप में सोचें। कच्चे माल (आपका गुप्त डेटा) एक छोर से अंदर जाते हैं, कार्यस्थलों (चरणों) की एक श्रृंखला से गुजरते हैं, और दूसरे छोर से एक तैयार उत्पाद के रूप में बाहर आते हैं।
समस्या क्या है? चोर (हैकर) प्रसंस्करण के दौरान सामग्रियों पर एक झलक पाने की कोशिश कर रहे हैं। उन्हें रोकने के लिए, फैक्ट्री "मास्किंग" (Masking) नामक तकनीक का उपयोग करती है।
उपमा: "कन्फेटी" (Confetti) रणनीति
कल्पना कीजिए कि आप एक भीड़भाड़ वाले कमरे में महत्वपूर्ण कागजों का एक ढेर लेकर जा रहे हैं (आपका रहस्य)।
- मास्किंग के बिना: आप कागजों को खुले में ले जाते हैं। कोई भी उन्हें पढ़ सकता है।
- मास्किंग के साथ: आप कागजों को एक बॉक्स के अंदर रखते हैं, लेकिन बॉक्स पारदर्शी है। कागजों को छिपाने के लिए, आप उनके ऊपर कन्फेटी (रैंडम नंबर/रंगीन कागज के टुकड़े) का एक मुट्ठी भर छिड़क देते हैं।
- कागज अभी भी वहीं हैं, लेकिन अब वे कन्फेटी के साथ मिल गए हैं।
- केवल एक स्थान को देखने वाले चोर के लिए, वह कागज और कन्फेटी का एक मिश्रण देखता है। वह यह नहीं बता सकता कि मूल कागज में क्या लिखा था।
- नियम: वास्तव में सुरक्षित होने के लिए, आपको असेंबली लाइन के हर एक कार्यस्थल पर ताज़ा, नया कन्फेटी छिड़कना होगा।
समस्या: "इंट्यूशन ट्रैप" (अंतर्ज्ञान का जाल)
इन फैक्टरियों को बनाने वाले इंजीनियरों का एक मजबूत अंतर्ज्ञान है: "यदि प्रत्येक कार्यस्थल अपने आप में सुरक्षित है, तो पूरी असेंबली लाइन भी सुरक्षित होनी चाहिए।"
लंबे समय तक, कोई भी इन विशिष्ट मशीनों के लिए गणितीय रूप से इसे सिद्ध नहीं कर सका।
- जाल: इंजीनियरों ने सुरक्षा की जांच करने की कोशिश की कि, "यदि मैं गुप्त कागज को बदल दूँ, तो क्या कन्फेटी से ढका हुआ ढेर अलग दिखता है?"
- आश्चर्य: इस शोध के लेखकों ने सिद्ध किया कि इन विशिष्ट मशीनों के लिए, उत्तर हाँ है, यदि आप गुप्त कागज बदलते हैं तो ढेर वास्तव में अलग दिखता है।
- गलत अलार्म: यदि कोई इंजीनियर इसे देखता, तो वह घबरा जाता और सोचता, "ओह नहीं! मशीन खराब हो गई है! यह रहस्य लीक कर रही है!" वे एक बेहतरीन डिज़ाइन को फेंक देते।
- वास्तविकता: मशीन वास्तव में ठीक है। "अलग दिखना" केवल एक गणितीय भ्रम है जो इस तरह के गणित के काम करने के तरीके के कारण होता है। असली परीक्षण यह नहीं है कि "क्या यह अलग दिखता है?" बल्कि यह है कि "क्या कन्फेटी का वितरण पर्याप्त रैंडम है?"
तीन बड़ी खोजें
लेखकों ने एक सुपर-स्मार्ट कंप्यूटर सहायक (जिसे Lean 4 कहा जाता है) का उपयोग करके एक ऐसा "प्रमाण" (proof) लिखा है जिससे कोई इंसान बहस नहीं कर सकता। उन्होंने तीन चीजें पाईं:
1. "लापता कड़ी" को ठीक करना
पिछले कार्यों में, उन्होंने सिद्ध किया था कि यदि कन्फेटी रैंडम है, तो रहस्य सुरक्षित है। लेकिन उनके प्रमाण में एक छोटी सी कमी थी: उन्होंने पूरी तरह से यह स्पष्ट नहीं किया था कि हर चरण में नया कन्फेटी जोड़ने पर क्या होता है।
- सुधार: उन्होंने उस छेद को भर दिया। उन्होंने सिद्ध किया कि हर चरण में ताज़ा रैंडमनेस (नया कन्फेटी) जोड़ना यह गारंटी देता है कि "लीकेज" (जो चोर देखता है) रहस्य से पूरी तरह स्वतंत्र है।
2. "वन-टू-वन" जादू का खेल
उन्होंने एक एकल कार्यस्थल (एक "बटरफ्लाई" चरण) को देखा। उन्होंने एक जादुई गुण सिद्ध किया:
- चाहे आपका रहस्य कुछ भी हो, और चाहे अन्य कन्फेटी कुछ भी हो, एक विशिष्ट मात्रा में "ताज़ा कन्फेटी" मौजूद है जो आउटपुट को किसी भी विशिष्ट मान (value) जैसा बना देगी।
- उपमा: एक ताले की कल्पना करें। आप चाहे कोई भी चाबी आज़माएँ, टंबलर्स (tumblers) की एक विशिष्ट "झटका" (jiggle) है जो उसे खोलती है। क्योंकि किसी भी परिणाम को प्राप्त करने का हमेशा एक ही तरीका होता है, इसलिए चोर संभावनाओं के एक पूर्ण समान वितरण (uniform distribution) को देखता है। वह कुछ भी नहीं सीख पाता।
- चेतावनी: उन्होंने यह भी सिद्ध किया कि सुरक्षा की जांच करने का "स्पष्ट" तरीका (कच्चे नंबरों को देखना) एक जाल है। यदि आप उस तरह से जांच करते हैं, तो आप सुरक्षित मशीनों पर झूठा आरोप लगाएंगे कि वे टूटी हुई हैं।
3. पूरी लाइन के लिए "फ्रेश मास्किंग" नियम
यह सबसे महत्वपूर्ण हिस्सा है। उन्होंने सिद्ध किया कि यदि आप एक सरल नियम का पालन करते हैं, तो पूरी असेंबली लाइन सुरक्षित है:
- नियम: प्रत्येक कार्यस्थल को अपना ताज़ा, स्वतंत्र कन्फेटी का एक मुट्ठी मिलना चाहिए।
- परिणाम: यदि आप ऐसा करते हैं, तो पूरी लाइन की सुरक्षा गारंटीकृत है। शुरुआत में जो "कन्फेटी" है, अंत में भी वही उतनी ही रैंडम होगी।
विलेन: "एडम्स ब्रिज" (Adams Bridge) मशीन
यह शोध पत्र इस नए प्रमाण का उपयोग एडम्स ब्रिज नामक एक वास्तविक दुनिया की मशीन का विश्लेषण करने के लिए करता है (जो कैलिप्ट्रा नामक प्रोजेक्ट में उपयोग की जाती है)।
- इसने क्या गलत किया: एडम्स ब्रिज मशीन आलसी थी। इसने पहले कार्यस्थल पर ताज़ा कन्फेटी फेंका, लेकिन फिर इसने रुकना शुरू कर दिया। बाकी असेंबली लाइन के लिए, इसने पुराने कन्फेटी का पुन: उपयोग किया या बिल्कुल भी उपयोग नहीं किया।
- परिणाम: क्योंकि इसने "फ्रेश मास्किंग नियम" को तोड़ दिया, सुरक्षा गारंटी गायब हो गई। "कन्फेटी" एक अनुमानित तरीके से जमा होने लगा, जिससे चोरों के लिए रहस्य को फिर से बनाना संभव हो गया।
- निदान: यह पेपर बताता है कि यह क्यों विफल हुआ। यह केवल एक बग नहीं था; यह एक मौलिक वास्तुशिल्प (architectural) दोष था। मशीन ने "ताज़ा कन्फेटी" के चरण को छोड़ने की कोशिश की, और गणित ने सिद्ध किया कि आप इसे छोड़ नहीं सकते।
आपको इसकी परवाह क्यों करनी चाहिए?
- इंजीनियरों के लिए: यह उन्हें एक "गोल्ड स्टैंडर्ड" प्रमाण देता है। अब वे कह सकते हैं, "हमने फ्रेश मास्किंग नियम का पालन किया है, और एक कंप्यूटर ने गणितीय रूप से सिद्ध किया है कि हमारा डिज़ाइन सुरक्षित है।" यह उन्हें सरकारी मानकों (जैसे FIPS) द्वारा प्रमाणित होने में मदद करता है।
- सभी के लिए: यह सुनिश्चित करता है कि हमारे भविष्य के डिजिटल ताले (बैंकिंग, मतदान, संचार) वास्तव में मजबूत हैं। यह इंजीनियरों को अनजाने में "नकली सुरक्षित" तिजोरियां बनाने से रोकता है जो दिखने में तो अच्छी होती हैं लेकिन दबाव पड़ने पर बिखर जाती हैं।
एक वाक्य में सारांश
यह पेपर एक सुपर-कंप्यूटर का उपयोग करके यह सिद्ध करता है कि यदि आप रहस्य-प्रोसेसिंग मशीन के हर चरण में "रैंडम कन्फेटी" की एक ताज़ा मुट्ठी छिड़कते हैं, तो पूरी मशीन गणितीय रूप से अटूट है, और यह एक वास्तविक मशीन को उजागर करता है जो विफल रही क्योंकि उसने बीच में कन्फेटी छिड़कना बंद कर दिया था।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।