Smart Contract Invariants Protect Against Cybercriminals
यह शोध पत्र प्रदर्शित करता है कि स्मार्ट कॉन्ट्रैक्ट इनवेरिएंट्स (invariants), जिन्हें INVARIANTEVAL बेंचमार्क और PONDEREPLAY फ्रेमवर्क के माध्यम से मान्य किया गया है, 1,08,637 ऐतिहासिक लेनदेन में साइबर अपराधी हमलों को रोककर सभी 28 वास्तविक दुनिया के एथेरियम (Ethereum) शोषणों से प्रभावी ढंग से सुरक्षा प्रदान करते हैं।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
इंटरनेट की कल्पना एक विशाल, हलचल भरे डिजिटल शहर के रूप में करें जहाँ पैसा बैंकों में नहीं, बल्कि "ब्लॉकचेन" नामक विशाल, पारदर्शी कांच के वॉल्ट्स (तिजोरियों) में रखा जाता है। इन वॉल्ट्स के भीतर "स्मार्ट कॉन्ट्रैक्ट्स" रहते हैं, जो अनिवार्य रूप से स्व-निष्पादित वेंडिंग मशीनों की तरह हैं। आप सही कोड (जैसे कि एक सिक्का) डालते हैं, और मशीन आपको सही उत्पाद (जैसे कि एक टोकन) देती है, वह भी बिना किसी मानव कैशियर के। लेकिन यहाँ एक पेच है: ये वेंडिंग मशीनें इंसानों द्वारा बनाई गई हैं, और इंसान गलतियाँ करते हैं। यदि कोई प्रोग्रामर दरवाजा लॉक करना भूल जाता है या छुट्टे पैसों की गणना में गलती कर देता है, तो एक चतुर चोर अंदर घुस सकता है, पूरे वॉल्ट को छीन सकता है, और अरबों डॉलर लेकर गायब हो सकता है। यह डिजिटल अर्थव्यवस्था का 'वाइल्ड वेस्ट' है, जहाँ साइबर अपराधी लगातार कांच को तोड़ने के लिए एक ढीले पेंच की तलाश में रहते हैं।
इन चोरों को रोकने के लिए, कंप्यूटर वैज्ञानिक बेहतर ताले बनाने की कोशिश कर रहे हैं। एक आशाजनक विचार "इनवेरिएंट" (invariant) का है। एक इनवेरिएंट को एक जादुई नियम के रूप में सोचें जिसे वेंडिंग मशीन कुछ भी करने से पहले चेक करती है। यह एक क्लब के बाउंसर की तरह है जो एक सूची चेक करता है: "क्या व्यक्ति 21 वर्ष से ऊपर का है? क्या दरवाजा बंद है? क्या कीमत सही है?" यदि इनमें से किसी का भी उत्तर "नहीं" है, तो मशीन दरवाजा बंद कर लेती है और आगे बढ़ने से मना कर देती है, भले ही चोर के पास मास्टर की (master key) क्यों न हो। बड़ा सवाल जो शोधकर्ता पूछ रहे हैं वह यह है: यदि इन जादुई बाउंसरों को अतीत की लूट के दौरान तैनात किया गया होता, तो क्या वे वास्तव में चोरों को रोक पाते? और इससे भी महत्वपूर्ण बात यह है कि क्या हम कंप्यूटर को अपने आप ये बाउंसर आविष्कार करने के लिए सिखा सकते हैं, या हमें अभी भी नियम लिखने के लिए मानव विशेषज्ञों की आवश्यकता है?
यह शोध पत्र इसी प्रश्न की गहराई में उतरता है। शोधकर्ताओं ने इस प्रश्न को सुलझाने के लिए एक व्यापक, वास्तविक दुनिया का प्रयोग स्थापित किया। शोधकर्ताओं की एक टीम (KTH रॉयल इंस्टीट्यूट ऑफ टेक्नोलॉजी से) ने अनुमान लगाने के बजाय परीक्षण करने का निर्णय लिया। उन्होंने एथेरियम (Ethereum) ब्लॉकचेन पर पहले हो चुकी 28 वास्तविक, अरबों डॉलर की लूट का संग्रह इकट्ठा किया। प्रत्येक आपदा के लिए, उन्होंने डिजिटल अपराध स्थल जांचकर्ताओं (crime scene investigators) की तरह काम किया। उन्होंने बारीकी से देखा कि चोर कैसे अंदर घुसे और फिर उन्होंने मैन्युअल रूप से एक विशिष्ट "इनवेरिएंट" (एक सुरक्षा नियम) लिखा जो उस विशिष्ट हमले को रोक देता। उन्होंने इस संग्रह को INVARIANTEVAL नाम दिया।
लेकिन उन्होंने केवल नियम ही नहीं लिखे; उन्होंने एक टाइम मशीन भी बनाई ताकि उनका परीक्षण किया जा सके। उन्होंने PONDEREPLAY नामक एक परिष्कृत टूल बनाया और उसे उपयोग किया, और ब्लॉकचेन के इतिहास को फिर से चलाया। उन्होंने मूल, असुरक्षित कोड को लिया, उसमें अपने नए सुरक्षा नियम जोड़े, और फिर 108,637 ऐतिहासिक लेनदेन को फिर से चलाया। यह एक बैंक डकैती की फिल्म को रिवाइंड करने जैसा है, लेकिन इस बार, बैंक के पास एक नया, सुपर-स्ट्रॉन्ग अलार्म सिस्टम है।
परिणाम अविश्वसनीय रूप से स्पष्ट थे। जब उन्होंने रीप्ले चलाया, तो उनके द्वारा लिखे गए सभी 28 मानव-निर्मित सुरक्षा नियम पूरी तरह से काम कर रहे थे। हर मामले में, हमलावर लेनदेन उस नए नियम से टकराया, मशीन ने कहा "बिल्कुल नहीं," और चोरी रुक गई। शोधकर्ताओं ने पाया कि इन नियमों ने न केवल बुरे लोगों को रोका; बल्कि उन्होंने अच्छे लोगों (वैध उपयोगकर्ताओं) को भी सामान्य रूप से सिस्टम का उपयोग करने दिया (98.3% समय)। उन कुछ मौकों पर जब सिस्टम बहुत अधिक सख्त हो गया और एक सामान्य उपयोगकर्ता को ब्लॉक कर दिया, शोधकर्ता ठीक से पता लगा सके कि ऐसा क्यों हुआ, जिससे यह सिद्ध हुआ कि नियम अपने उद्देश्य के अनुसार काम कर रहे थे और केवल ग्लिच नहीं थे।
हालाँकि, कहानी तब एक तीखा मोड़ लेती है जब शोधकर्ताओं ने दूसरा सवाल पूछा: क्या कंप्यूटर यह कर सकते हैं? उन्होंने अपने क्षेत्र के सबसे अच्छे, सबसे उन्नत स्वचालित टूल्स (automated tools) को लिया—वे टूल्स जो हमारे लिए इन सुरक्षा नियमों को स्वचालित रूप से लिखने के लिए डिज़ाइन किए गए हैं—और उनका परीक्षण अपनी 28 वास्तविक लूट के विरुद्ध किया। परिणाम एक विनम्र विफलता थी। उन 28 हमलों में से जिन्हें रोकना आवश्यक था, इन फैंसी स्वचालित टूल्स केवल 2 के लिए सही सुरक्षा नियम खोजने में सक्षम रहे। बाकी 26? टूल्स या तो खतरे को पूरी तरह से पहचानने में विफल रहे या उन्होंने ऐसे नियम लिखे जो चोरों को रोकने के लिए बहुत कमजोर थे।
तो, निष्कर्ष क्या है? यह शोध पत्र साबित करता है कि "इनवेरिएंट्स" की अवधारणा एक शक्तिशाली ढाल है; यदि हमारे पास सही नियम होते, तो हम अरबों डॉलर की चोरी को रोक सकते थे। लेकिन बुरी खबर यह है कि हमारे पास अभी तक ऐसा रोबोट नहीं है जो भरोसेमंद तरीके से हमारे लिए वे नियम लिख सके। हमें चोरों की विशिष्ट चालों को समझने और गार्ड लिखने के लिए अभी भी मानव विशेषज्ञों की आवश्यकता है। इन सुरक्षात्मक उपायों को स्वचालित रूप से उत्पन्न करने की तकनीक अभी भी अपने शुरुआती चरण में है, जो इस बात के बीच एक बड़ा अंतर छोड़ती है कि हम जानते क्या हैं कि क्या काम करता है और हमारे कंप्यूटर वर्तमान में अपने आप क्या कर सकते हैं।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।