Exploring Side-Channel Protections in Hardware Implementations of PQC ML-KEM Verification
यह शोध पत्र यह प्रदर्शित करता है कि जबकि ML-KEM के FPGA-आधारित कार्यान्वयन बेहतर गति और समानांतरता (parallelism) प्रदान करते हैं, वे साइड-चैनल हमलों के प्रति अत्यधिक संवेदनशील बने रहते हैं, जहाँ उच्च-क्रम मास्क किए गए सत्यापन स्कीमें (higher-order masked verification schemes) भी अंतर्निहित हार्डवेयर-स्तरीय प्रभावों के कारण पूर्ण गुप्त-कुंजी रिकवरी को सक्षम करने के लिए पर्याप्त जानकारी लीक कर देती हैं।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
मुख्य विचार: डिजिटल दरवाज़े को लॉक करना
कल्पना कीजिए कि ML-KEM एक नया, अत्यंत मज़बूत डिजिटल ताला है जिसे आपके रहस्यों को भविष्य के "क्वांटम" कंप्यूटरों से सुरक्षित रखने के लिए डिज़ाइन किया गया है, जो अविश्वसनीय रूप से शक्तिशाली होते हैं। इस ताले को काम करने के लिए, इसमें एक विशिष्ट चरण की आवश्यकता होती है जिसे FO Verification कहा जाता है। इस चरण को एक सुरक्षा गार्ड की तरह समझें जो अतिथि के आईडी कार्ड की जाँच कर रहा है। गार्ड अतिथि द्वारा बताई गई जानकारी के आधार पर आईडी कार्ड को फिर से बनाता है, और फिर उसकी मूल आईडी से तुलना करता है। यदि वे पूरी तरह से मेल खाते हैं, तो दरवाज़ा खुल जाता है। यदि वे मेल नहीं खाते, तो गार्ड चाबी को फेंक देता है और आपको कागज का एक रैंडम टुकड़ा दे देता है (ताकि हैकर्स सही उत्तर का अनुमान न लगा सकें)।
समस्या यह है कि यह सुरक्षा गार्ड "पदचिह्न" (footprints) छोड़ जाता है। यह देखकर कि गार्ड आईडी की जाँच करते समय कितनी बिजली का उपयोग करता है या कितनी चुंबकीय तरंगें उत्सर्जित करता है, एक हैकर यह पता लगा सकता है कि आईडी मैच हुई या नहीं। यदि हैकर "मैच" और "मिसमैच" के बीच अंतर कर सकता है, तो वह अंततः गार्ड को पूरे भवन की मास्टर चाबी बताने के लिए बहला सकता है।
प्रयोग: माइक्रोकंट्रोलर बनाम सुपर-फैक्ट्री
शोधकर्ताओं ने यह देखना चाहा कि इस सुरक्षा गार्ड को एक माइक्रोकंट्रोलर (एक मानक, छोटा कंप्यूटर चिप जो कई उपकरणों में पाया जाता है) पर बनाना, एक FPGA (एक पुनर्गठित योग्य चिप जिसका उपयोग अक्सर उच्च-गति, भारी-भरकम कार्यों के लिए किया जाता है) पर बनाने से कितना अलग है।
- माइक्रोकंट्रोलर एक डेस्क पर काम करने वाले एक अकेले, सावधान क्लर्क की तरह है। वे आईडी को एक-एक करके, बाइट-दर-बाइट जाँचते हैं।
- FPGA सैकड़ों श्रमिकों वाली एक विशाल फैक्ट्री की तरह है जो एक साथ आईडी की जाँच कर रहे हैं। यह बहुत तेज़ है, लेकिन शोधकर्ताओं को संदेह था कि इतने सारे श्रमिकों के एक साथ काम करने से एक अधिक शोर वाला, स्पष्ट "शोर" पैदा हो सकता है जिसे हैकर सुन सकते हैं।
उन्होंने गार्ड को सुरक्षित करने के तीन अलग-अलग तरीके परीक्षण किए:
- कोई सुरक्षा नहीं (No Protection): गार्ड सीधे आईडी की जाँच करता है।
- हैश-आधारित सुरक्षा (First-Order): जाँच करने से पहले, गार्ड आईडी को एक अद्वितीय "फिंगरप्रिंट" (हैश) में बदल देता है और फिंगरप्रिंट की तुलना करता है।
- हाई-ऑर्डर मास्किंग (High-Order Masking): गार्ड आईडी को कई रैंडम टुकड़ों (शेयर्स) में विभाजित करता है, उन्हें अलग-अलग जाँचता है, और फिर परिणाम को फिर से जोड़ता है। इसका उद्देश्य यह सुनिश्चित करना है कि मूल आईडी का पता लगाना असंभव हो जाए।
निष्कर्ष: गति बनाम सुरक्षा
1. असुरक्षित गार्ड ("नो प्रोटेक्शन" टेस्ट)
- माइक्रोकंट्रोलर: क्लर्क शांति से काम कर रहा था। उसके "पदचिह्न" (बिजली का उपयोग) थोड़े शोर वाले थे, जिससे हैकर के लिए यह बताना कठिन था कि आईडी मैच हुई या नहीं। हैकर लगभग 95% बार सही अनुमान लगा सकता था।
- FPGA: फैक्ट्री के श्रमिक शोर मचा रहे थे। जब शोधकर्ताओं ने आईडी को एक साथ जाँचने के लिए श्रमिकों की संख्या (पैरेललिज्म) बढ़ाई, तो "पदचिह्न" अविश्वसनीय रूप से स्पष्ट हो गए।
- एक छोटी टीम (32-बिट) के साथ, इसे सुनना अभी भी कठिन था।
- एक बड़ी टीम (512-बिट) के साथ, शोर इतना स्पष्ट था कि हैकर यह बता सकता था कि आईडी मैच हुई या नहीं, और वह 100% समय सही था।
- सबक: FPGA जितना तेज़ और पैरेलल होगा, सुरक्षा गार्ड के पदचिह्न उतने ही स्पष्ट होते जाएंगे, जिससे हैकर के लिए कुंजी चुराना आसान हो जाएगा।
2. श्रेडेड आईडी ("हैश-आधारित" टेस्ट)
- विचार: आईडी की सीधे तुलना करने के बजाय, गार्ड पहले उन्हें एक हैश (डिजिटल फिंगरप्रिंट) में बदल देता है। विचार यह है कि आईडी में मामूली बदलाव भी पूरी तरह से अलग फिंगरप्रिंट बनाता है, जिससे तुलना छिप जाती है।
- परिणाम: शोधकर्ताओं ने हैकर को भ्रमित करने के लिए जिस क्रम में फैक्ट्री के श्रमिक हैश को प्रोसेस कर रहे थे, उसे "शफल" (क्रम बदलना) करने की कोशिश की।
- विफलता: यह काम नहीं आया। भले ही क्रम को शफल किया गया था, फिर भी फैक्ट्री के श्रमिकों के काम करने का एक पैटर्न था जिससे एक विशिष्ट सिग्नेचर बन रहा था। शोधकर्ता आसानी से क्रम का पता लगा सके और फिर भी यह पता लगा सके कि आईडी मैच हुई या नहीं। हैकर 94.7% बार सफल रहा।
- उपमा: यह एक दस्तावेज़ को श्रेड करने और फिर उसे एक रैंडम क्रम में फिर से जोड़ने की कोशिश करने जैसा है। यदि आप श्रेडिंग मशीन को देखते हैं, तो आप अभी भी पता लगा सकते हैं कि कौन से टुकड़े "मैच" वाले ढेर से आए थे और कौन से "मिसमैच" वाले ढेर से।
3. स्प्लिट आईडी ("हाई-ऑर्डर मास्किंग" टेस्ट)
- विचार: यह सबसे उन्नत सुरक्षा है। आईडी को रैंडम टुकड़ों में विभाजित किया जाता है, और श्रमिक टुकड़ों को अलग-अलग जाँचते हैं ताकि किसी भी एक श्रमिक को पूरा रहस्य पता न चले।
- माइक्रोकंट्रोलर: यह अच्छी तरह से काम कर गया। अकेले क्लर्क इतना डेटा लीक नहीं कर सका कि हैकर चाबी का अनुमान लगा सके।
- FPGA: यह बुरी तरह विफल रहा। क्योंकि फैक्ट्री में बहुत सारे श्रमिक एक ही समय में टुकड़ों की जाँच कर रहे हैं, इसलिए उन सभी श्रमिकों का संयुक्त शोर रहस्य को उजागर कर देता है। जैसे-जैसे उन्होंने अधिक श्रमिक (शेयर्स) जोड़े, सिग्नल और भी ज़ोरदार होता गया।
- परिणाम: हैकर मैच स्टेटस का 98.5% बार सही अनुमान लगा सका।
- उपमा: कल्पना कीजिए कि आप एक साथ 100 लोगों को एक रहस्य फुसफुसाकर बताने की कोशिश कर रहे हैं। एक शांत डेस्क (माइक्रोकंट्रोलर) पर, केवल एक व्यक्ति सुनता है, इसलिए यह सुरक्षित है। लेकिन एक शोर वाली फैक्ट्री (FPGA) में, 100 लोगों की फुसफुसाहट का संयुक्त शोर एक गर्जना पैदा करता है जो वास्तव में एक अकेली फुसफुसाहट की तुलना में सुनना आसान होता है।
निष्कर्ष
पेपर यह निष्कर्ष निकालता है कि जबकि FPGA चीजों को तेज़ बनाने के लिए अद्भुत हैं, वे वर्तमान में इन विशिष्ट रहस्यों को सुरक्षित रखने के लिए बहुत खराब हैं।
FPGA की "गति" कई चीजें एक साथ करने (पैरेललिज्म) से आती है। दुर्भाग्य से, एक साथ कई चीजें करने से एक विशाल, सिंक्रोनाइज़्ड सिग्नल पैदा होता है जो हैकर्स के लिए एक बीकन (संकेत) की तरह काम करता है। सुरक्षा के वे तरीके जो मानक, धीमे चिप्स (जैसे माइक्रोकंट्रोलर) पर काम करते हैं, वे टूट जाते हैं जब आप उन्हें FPGA पर तेज़ करने की कोशिश करते हैं।
मुख्य बात: आप केवल एक धीमी, सिंगल-लेन सड़क के लिए डिज़ाइन की गई सुरक्षा योजना को 50-लेन वाले सुपरहाइवे पर नहीं रख सकते। ट्रैफ़िक (पैरेललिजसंख्या/Parallelism) एक नए प्रकार का शोर पैदा करता है जिसकी पुरानी सुरक्षा योजनाओं ने गणना नहीं की थी। इन तेज़ हार्डवेयर पर इन नए क्वांटम तालों को सुरक्षित करने के लिए, हमें पूरी तरह से नए, कस्टम-निर्मित बचावों की आवश्यकता है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।