ZBA-SU: A Novel Zero-Knowledge-Proof and Blockchain Integrated Methodology for Secure IoT Software Updates

इंटरनेट ऑफ थिंग्स के विशाल, अदृश्य नेटवर्क में, अरबों छोटे उपकरण—ट्रैफिक सेंसर से लेकर फैक्ट्री कंट्रोलर तक—सुरक्षित और कार्यात्मक रहने के लिए सॉफ्टवेयर अपडेट पर निर्भर करते हैं। ये अपडेट ताला बदलने या बांध में छेद को भरने के डिजिटल समकक्ष हैं; इनके बिना, उपकरण हैकर्स के लिए असुरक्षित हो जाते हैं जो उन्हें हाईजैक कर सकते हैं या उन्हें बंद कर सकते हैं। हालाँकि, इन अपडेट्स को वितरित करना एक नाजुक संतुलन है। यदि कोई उपकरण केवल अपडेट के लिए अनुरोध करता है, तो उसे अक्सर पैच भेजने वाले सर्वर को अपनी पहचान, अपना स्थान और अपनी विशिष्ट क्षमताएं प्रकट करनी पड़ती हैं। यह एक गोपनीयता जोखिम पैदा करता है, क्योंकि उपकरण क्या है और वह कहाँ स्थित है, इसका रिकॉर्ड उसे ट्रैक करने या उसे निशाना बनाने के लिए उपयोग किया जा सकता है। इसके विपरीत, यदि सिस्टम डिवाइस की पहचान को बहुत अधिक छिपाने की कोशिश करता है, तो यह सत्यापित करना कठिन हो जाता है कि वह डिवाइस वास्तव में अपडेट प्राप्त करने के लिए अधिकृत है या नहीं, जिससे दुर्भावनापूर्ण अभिनेता भी अंदर घुस सकते हैं। इंजीनियरों के लिए चुनौती एक ऐसा सिस्टम बनाने की है जो यह पुष्टि कर सके कि एक डिवाइस नए सॉफ्टवेयर संस्करण के लिए पात्र है, बिना उसे अपना निजी आईडी कार्ड दिखाए, और यह भी सुनिश्चित करे कि ट्रांजिट के दौरान अपडेट के साथ कोई छेड़छाड़ न हो सके।

हुनान कम्युनिकेशन पॉलिटेक्निक के शोधकर्ताओं ने इस विशिष्ट दुविधा को हल करने के लिए ZBA-SU नामक एक नया दृष्टिकोण विकसित किया है। उनकी विधि तीन अलग-अलग तकनीकों को जोड़कर एक सुरक्षित, निजी और छेड़छाड़-मुक्त अपडेट प्रक्रिया बनाती है। सबसे पहले, वे ज़ीरो-नॉलेज प्रूफ (zero-knowledge proof) नामक एक क्रिप्टोग्राफिक तकनीक का उपयोग करते हैं, जो एक डिवाइस को अपनी पहचान या वर्तमान सॉफ्टवेयर संस्करण के वास्तविक विवरण प्रकट किए बिना, अपडेट के लिए अपनी पात्रता को गणितीय रूप से सिद्ध करने की अनुमति देता है। दूसरा, वे ब्लॉकचेन का उपयोग करते हैं, जो एक डिजिटल लेजर है जो लेनदेन के प्रत्येक चरण को इस तरह से रिकॉर्ड करता है जिसे बदला या मिटाया नहीं जा सकता, जिससे यह सुनिश्चित होता है कि किसने अपडेट प्राप्त किया और कब, इसका इतिहास स्थायी और पारदर्शी है। तीसरा, वे एन्क्रिप्शन के एक विशेष रूप का उपयोग करते हैं जो अपडेट फ़ाइल को इतनी मजबूती से लॉक करता है कि केवल सही विशेषताओं वाला डिवाइस ही इसे अनलॉक और इंस्टॉल कर सकता है। इन तीन धागों को एक साथ बुनकर, टीम ने एक ऐसा सिस्टम बनाया है जहाँ एक डिवाइस यह कह सकता है, "मैं अपडेट करने के लिए अधिकृत हूँ," बिना यह कहे कि "मैं बिल्डिंग ए में स्थित एक सेंसर हूँ जो वर्जन 2.1 चला रहा हूँ।"

यह परीक्षण करने के लिए कि क्या यह जटिल प्रणाली वास्तविक दुनिया के उपकरणों में पाए जाने वाले छोटे, कम-शक्ति वाले चिप्स पर वास्तव में काम कर सकती है, टीम ने रास्पबेरी पाई कंप्यूटरों और ESP32 माइक्रोकंट्रोलर सहित विभिन्न हार्डवेयर का उपयोग करके एक सिमुलेशन बनाया। उन्होंने एक सुरक्षित लेजर के रूप में कार्य करने के लिए ब्लॉकचेन नेटवर्क का एक निजी संस्करण बनाया और अपडेट फ़ाइलों को रखने के लिए एक वितरित स्टोरेज सिस्टम स्थापित किया। अपने प्रयोगों में, उन्होंने हजारों अपडेट अनुरोधों का अनुकरण किया, जिसमें उपकरणों को ज़ीरो-नॉलेज पद्धति का उपयोग करके अपनी पात्रता सिद्ध करने के लिए कहा गया। परिणामों ने दिखाया कि सिस्टम ने इच्छित रूप से काम किया। एक डिवाइस लगभग 1.8 सेकंड में अपनी पात्रता का प्रमाण उत्पन्न कर सका, और नेटवर्क ने तीन सेकंड से कम समय में उस प्रमाण को सत्यापित कर दिया। महत्वपूर्ण रूप से, इस सिस्टम ने पारंपरिक तरीकों की तुलना में संवेदनशील डिवाइस जानकारी के रिसाव को 97 प्रतिशत तक कम कर दिया। हालांकि यह प्रक्रिया मानक, अनएन्क्रिप्टेड अपडेट की तुलना में थोड़ी धीमी थी, लेकिन यह ट्रेड-ऑफ गोपनीयता और सुरक्षा में भारी वृद्धि थी, जिसमें सिस्टम ने पहचान गढ़ने या पुराने अपडेट अनुरोधों को दोहराने के प्रयासों को सफलतापूर्वक रोका।

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

अंततः, यह कार्य यह प्रदर्शित करता है कि जुड़े हुए उपकरणों की अराजक दुनिया में गोपनीयता और सुरक्षा दोनों होना संभव है। ZBA-SU फ्रेमवर्क इस बात पर निर्भर नहीं करता कि कौन अपडेट प्राप्त करेगा यह तय करने के लिए किसी एक विश्वसनीय सर्वर की आवश्यकता है, न ही यह उपकरणों को अपने रहस्य दुनिया को प्रसारित करने के लिए मजबूर करता है। इसके बजाय, यह एक डिजिटल हैंडशेक बनाता है जहाँ पात्रता को गणित के माध्यम से सत्यापित किया जाता है, हैंडशेक का रिकॉर्ड ब्लॉकचेन पर पत्थर की तरह अंकित होता है, और अपडेट स्वयं एक ऐसी कुंजी के पीछे लॉक होता है जिसे केवल सही डिवाइस ही खोल सकता है। शोधकर्ता निष्कर्ष निकालते हैं कि हालांकि यह तकनीक अभी भी पूर्ण नहीं है और तेज़ नेटवर्क तथा सबसे छोटे चिप्स को संभालने के लिए और अधिक सुधार की आवश्यकता है, फिर भी यह भविष्य के बुनियादी ढांचे को सुरक्षित करने के लिए एक व्यवहार्य मार्ग प्रदान करती है। यह सिद्ध करके कि गोपनीयता-संरक्षण अपडेट संभव हैं, यह अध्ययन सुझाव देता है कि स्मार्ट शहरों और औद्योगिक प्रणालियों की अगली पीढ़ी को उन उपकरणों की गुमनामी या सुरक्षा से समझौता किए बिना अपडेट किया जा सकता है जो उन्हें संचालित करते हैं।