Lightweight Verifiable Computation with Constant-Size Proofs for Sequential State Transitions

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

शोधकर्ता हीवोन चुंग (Heewon Chung) और ह्यूनबम ली (Hyeonbum Lee) ने इस विशिष्ट समस्या को हल करने के लिए एक नया तरीका विकसित किया है जो उन प्रणालियों के लिए है जो चरण-दर-चरण विकसित होती हैं। उनका कार्य, जो एक शोध लेख में प्रकाशित हुआ है, इन क्रमिक अपडेट्स को सत्यापित करने का एक तरीका पेश करता है बिना सत्यापनकर्ता (verifier) को पूरा इतिहास पुन: गणना करने के लिए मजबूर किए। प्रत्येक नए चरण को एक पूरी तरह से नए पहेली के रूप में मानने के बजाय, उनकी प्रणाली प्रमाण की शुद्धता को वृद्धिशील (incrementally) रूप से अपडेट करने की अनुमति देती है। कल्पना कीजिए कि एक यात्री सीमा पार कर रहा है; हर बार एक नए देश में प्रवेश करते समय अपनी पूरी यात्रा के हर एक पासपोर्ट स्टैम्प की जाँच करने के बजाय, सीमा एजेंट को केवल नवीनतम स्टैम्प की जाँच करने और यह सत्यापित करने की आवश्यकता है कि उसे पिछले वाले में वैध रूप से जोड़ा गया था। शोधकर्ताओं ने एक गणितीय ढांचा बनाया है जो जटिल कंप्यूटर गणनाओं के लिए यह संभव बनाता है, जिससे यह सुनिश्चित होता है कि प्रमाण छोटा बना रहे और जाँच तेज़ बनी रहे, चाहे कितने भी चरण बीत चुके हों।

उनकी खोज का मूल विशेष रूप से इन क्रमिक कार्यों के लिए डिज़ाइन की गई गणितीय संरचनाओं का एक नया परिवार है। सत्यापन योग्य कंप्यूटिंग (verifiable computing) की दुनिया में, मौजूदा उपकरण हैं जो एक एकल गणना को सही ढंग से करने का प्रमाण दे सकते हैं, लेकिन वे कई छोटे चरणों की एक लंबी श्रृंखला वाली गणना के साथ संघर्ष करते हैं। एक सामान्य दृष्टिकोण यह है कि जब भी एक नया चरण जोड़ा जाता है, तो कंप्यूटर को पूरा इतिहास फिर से सिद्ध करना पड़ता है, जो एक भारी बोझ बन जाता है। दूसरा दृष्टिकोण "फोल्डिंग" (folding) नामक एक तकनीक का उपयोग करता है, जो चरणों को एक साथ जोड़ता है लेकिन अक्सर बहुत बड़ी प्रमाण फ़ाइलें बनाता है जिन्हें जाँचना धीमा होता है। चुंग और ली ने एक मध्य मार्ग खोजा। उन्होंने एक ऐसी प्रणाली डिज़ाइन की जहाँ नए चरण के प्रमाण को पिछले चरण के प्रमाण में थोड़ी सी नई जानकारी जोड़कर बनाया जाता है। इसका अर्थ है कि काम करने वाला कंप्यूटर कभी भी शून्य से शुरुआत नहीं करता है, और काम की जाँच करने वाले व्यक्ति को फिर से पूरे इतिहास को देखने की आवश्यकता नहीं होती है।

टीम ने अपने तरीके का परीक्षण विभिन्न वास्तविक परिदृश्यों पर किया, जिसमें कई सेंसरों से डेटा को मिलाना (fusing), वेक्टर्स पर विशिष्ट गणितीय संचालन करना, और सुरक्षित प्रणालियों में उपयोग किए जाने वाले क्रिप्टोग्राफिक चेन चलाना शामिल है। उन्होंने यह देखने के लिए कि सीमित संसाधनों वाले वातावरण में यह प्रणाली कैसा प्रदर्शन करती है, इसे रास्पबेरी पाई 5 (Raspberry Pi 5) पर चलाया, जो एक छोटा, किफायती कंप्यूटर है जिसका उपयोग अक्सर एज डिवाइसेस के गेटवे के रूप में किया जाता है। परिणाम आश्चर्यजनक थे। उनके तरीके ने केवल 160 बाइट्स का प्रमाण तैयार किया, जो अग्रणी वैकल्पिक विधि द्वारा आवश्यक 11,500 से 12,500 बाइट्स की तुलना में बहुत छोटा है। इसके अलावा, प्रमाण को सत्यापित करने में लगने वाला समय भी उल्लेखनीय रूप से तेज़ था, जिसमें 11.6 से 28.9 मिलीसेकंड का समय लगा। इसके विपरीत, वैकल्पिक विधि को एक एकल प्रमाण को सत्यापित करने में लगभग 250 मिलीसेकंड लगे। जब प्रमाण बनाने की बात आई, तो उनकी प्रणाली शुरुआत से पूरी श्रृंखला को फिर से सिद्ध करने के पारंपरिक तरीके की तुलना में काफी तेज़ थी, विशेष रूप से जैसे-जैसे चरणों की संख्या बढ़ती गई।

इस कार्य का एक सबसे महत्वपूर्ण पहलू वह है जो यह नहीं करता है। शोधकर्ताओं ने स्पष्ट रूप से "रिकर्सिव प्रूफ कंपोजिशन" (recursive proof composition) नामक एक तकनीक के उपयोग से परहेज किया, जो लंबी गणनाओं की श्रृंखला को संभालने का एक सामान्य तरीका है लेकिन इसे कम्प्यूटेशनल रूप से महंगा और धीमा माना जाता है। इस जटिलता से बचकर, उन्होंने एक ऐसी प्रणाली प्राप्त की जो हल्की और कुशल दोनों है। हालाँकि, इस प्रणाली की एक विशिष्ट सीमा है: यह चरणों की एक निश्चित संख्या के लिए डिज़ाइन की गई है, जिसे "बाउंड" (bound) कहा जाता है, जिसे सिस्टम शुरू होने से पहले तय किया जाना चाहिए। इसका मतलब है कि यह प्रणाली परिभाषित परिचालन अवधियों के लिए सबसे उपयुक्त है, जैसे कि एक विशिष्ट निगरानी विंडो या ऑडिट अवधि, न कि डेटा के अनंत, अनवरत प्रवाह के लिए। शोधकर्ताओं ने यह भी नोट किया कि सिस्टम संसाधित किए जा रहे डेटा को छिपाता नहीं है; यह केवल यह प्रमाणित करता है कि डेटा को नियमों के अनुसार सही ढंग से संसाधित किया गया है।

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

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

यह कार्य "ट्रस्ट एंकर्स" (trust anchors) के महत्व को भी रेखांकित करता है। सत्यापन के लिए, सत्यापनकर्ता को प्रारंभिक स्थिति के एक विश्वसनीय रिकॉर्ड के साथ शुरू करना होगा। यदि यह शुरुआती बिंदु समझौतापूर्ण (compromised) है, तो विश्वास की पूरी श्रृंखला टूट सकती है। शोधकर्ता इस सीमा के बारे में स्पष्ट थे, उन्होंने उल्लेख किया कि उनका सिस्टम यह मानता है कि प्रारंभिक स्थिति प्रामाणिक है और सत्यापनकर्ता अंतिम स्वीकृत स्थिति का एक सुरक्षित रिकॉर्ड बनाए रखता है। यह कई वास्तविक दुनिया के डिप्लॉयमेंट के लिए एक उचित धारणा है जहाँ एक विश्वसनीय प्राधिकरण या एक सुरक्षित लॉग प्रारंभिक आधार प्रदान कर सकता है। इन आवश्यकताओं को औपचारिक रूप देकर और इस दायरे में काम करने वाली एक प्रणाली बनाकर, शोधकर्ताओं ने एक ऐसा उपकरण बनाया है जो इंटरनेट ऑफ थिंग्स से लेकर वित्तीय ऑडिटिंग तक के क्षेत्रों में व्यावहारिक अनुप्रयोग के लिए तैयार है।

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