Enforcing Control Flow Integrity on DeFi Smart Contracts
यह शोध पत्र CrossGuard को प्रस्तुत करता है, जो एक नवीन ऑन-चेन फ्रेमवर्क है जो रनटाइम व्हाइटलिस्टिंग के माध्यम से कंट्रोल फ्लो इंटीग्रिटी को लागू करके DeFi स्मार्ट कॉन्ट्रैक्ट सुरक्षा को बढ़ाता है, जो विशिष्ट एक्सप्लॉइट्स के पूर्व ज्ञान की आवश्यकता के बिना न्यूनतम फाल्स पॉजिटिव और गैस ओवरहेड के साथ 37 ऐतिहासिक हमलों में से 35 को प्रभावी ढंग से रोकता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
समस्या: पैसे का "लेगो टॉवर" (Lego Tower)
कल्पना कीजिए कि DeFi (विकेंद्रीकृत वित्त) की दुनिया पूरी तरह से लेगो ब्रिक्स (Lego bricks) से बने एक विशाल, वैश्विक शहर की तरह है। प्रत्येक ब्रिक एक "स्मार्ट कॉन्ट्रैक्ट" है—कोड का एक टुकड़ा जो बिना किसी बैंक के बीच में आए, पैसे, ऋण या व्यापार को स्वचालित रूप से संभालता है।
क्योंकि ये ब्रिक्स आसानी से एक-दूसरे से जुड़ने के लिए डिज़ाइन किए गए हैं (एक विशेषता जिसे Composability कहा जाता है), डेवलपर्स विभिन्न प्रोटोकॉल को एक के ऊपर एक रखकर जटिल गगनचुंबी इमारतें बना सकते हैं। यह नवाचार के लिए अद्भुत है, लेकिन यह एक बड़ा सुरक्षा जोखिम भी पैदा करता है।
हैकर की चाल:
अतीत में, हैकरों ने केवल एक सिंगल लेगो ब्रिक को तोड़ने की कोशिश नहीं की। इसके बजाय, उन्होंने ब्रिक्स को उस क्रम में गिराने का तरीका खोजा जिसकी कल्पना मूल बिल्डरों ने कभी नहीं की थी।
- सामान्य उपयोगकर्ता: बैंक में जाता है, पैसा जमा करता है, और चला जाता है। (सरल रास्ता)।
- हैकर: अंदर आता है, एक लीवर खींचता है, जिससे एक ट्रैपडोर (trapdoor) खुलता है, जिससे दूसरा लीवर ट्रिगर होता है, जो एक तीसरे लीवर को ट्रिगर करता है, और यह सब एक सेकंड के भीतर होता है, जिससे अलार्म बजने से पहले ही तिजोरी खाली हो जाती है।
पारंपरिक सुरक्षा उपकरण उन गार्डों की तरह हैं जो केवल यह देखते हैं कि आपके पास वैध आईडी कार्ड है या नहीं। उन्हें इस बात से कोई फर्क नहीं पड़ता कि आप इमारत के माध्यम से कैसे चलते हैं। यदि आपके पास कार्ड है, तो वे आपको दीवारों के माध्यम से चलने देते हैं, भले ही आप कुछ भी अजीब कर रहे हों।
समाधान: CrossGuard (एक "ट्रैफिक पुलिस")
शोधकर्ताओं ने CrossGuard नामक एक नया सिस्टम बनाया है। केवल आपकी आईडी चेक करने के बजाय, CrossGuard इमारत के अंदर एक बेहद सख्त ट्रैफिक पुलिस की तरह काम करता है।
यह कैसे काम करता है, इसे सरल अवधारणाओं में यहाँ दिया गया है:
1. "व्हाइटलिस्ट" (अनुमोदित मार्ग)
कल्पना कीजिए कि इमारत के पास मुख्य दरवाजे से तिजोरी तक जाने के हर अनुमोदित (allowed) रास्ते का एक नक्शा है।
- सामान्य यातायात: आप सीधे तिजोरी तक जाते हैं, अपना पैसा जमा करते हैं, और चले जाते हैं। यह नक्शे पर है।
- हमला: हैकर रसोई के माध्यम से जाने, छत से कूदने और फिर तिजोरी में गिरने की कोशिश करता है। यह रास्ता नक्शे पर नहीं है।
CrossGuard कहता है: "मुझे परवाह नहीं है कि आप कौन हैं। यदि आपका रास्ता अनुमोदित नक्शे पर नहीं है, तो आपको तुरंत रोका जाएगा, और लेनदेन को रद्द कर दिया जाएगा।"
2. "ट्रेनिंग" की आवश्यकता नहीं (तत्काल गार्ड)
अधिकांश सुरक्षा प्रणालियाँ उन सुरक्षा गार्डों की तरह होती हैं जिन्हें यह सीखने के लिए कि "सामान्य" क्या है, एक महीने के वीडियो फुटेज को देखने की आवश्यकता होती है।
- समस्या: यदि आज एक नई इमारत खुलती है, तो वे गार्ड पहले महीने के लिए बेकार हैं। हैकर अक्सर तभी हमला करते हैं जब कोई नया प्रोटोकॉल लॉन्च होता है।
- CrossGuard की सुपरपावर: इसे इतिहास देखने की आवश्यकता नहीं है। इसे इमारत बनने के समय एक बार कॉन्फ़िगर किया जाता है। यह नियमों को तुरंत जानता है। यह हैकरों को पहले दिन ही रोकता है, 30वें दिन नहीं।
3. "स्मार्ट" सरलीकरण (शोर को अनदेखा करना)
यदि ट्रैफिक पुलिस हर बार किसी को थोड़ा अलग रास्ता लेने पर रोक देती, तो इमारत ठप हो जाती। लोग वैध कारणों से भी फंस जाते।
- Heuristics (शॉर्टकट): CrossGuard स्मार्ट है और हानिरहित बदलावों को अनदेखा करने में सक्षम है।
- उदाहरण: यदि आप केवल एक पेंटिंग देखने के लिए कमरे में जाते हैं (केवल पढ़ने के लिए/read-only) और कुछ भी नहीं छूते हैं, तो पुलिस आपको अनदेखा कर देती है।
- उदाहरण: यदि आप चीनी का एक कप उधार लेते हैं और उसे ठीक वैसा ही वापस रख देते हैं जैसा आपने पाया था, तो पुलिस इसे अनदेखा करती है।
- उदाहरण: यदि आप शुल्क भुगतान करने के लिए एक मानक "टोकन" (जैसे डिजिटल डॉलर) का उपयोग कर रहे हैं, तो पुलिस जानती है कि यह सुरक्षित है और इसे जाने देती है।
इन छोटे, सुरक्षित बदलावों को अनदेखा करके, CrossGuard गलत अलार्म को कम रखता है (उनके परीक्षणों में केवल 0.26%) और साथ ही खतरनाक रास्तों को भी पकड़ लेता है।
परिणाम: एक सुरक्षा जाल जो वास्तव में काम करता है
शोधकर्ताओं ने 37 वास्तविक दुनिया के DeFi हमलों पर CrossGuard का परीक्षण किया जो अतीत में हो चुके थे।
- स्कोरकार्ड: CrossGuard ने इन हमलों में से 37 में से 35 को सफलतापूर्वक रोका।
- दो चूकें: यह दो हमलों को पकड़ नहीं पाया क्योंकि उन हैकरों ने एक बहुत ही सरल ट्रिक (जैसे एक सिंगल दरवाजे का ताला खोलना) का उपयोग किया था जिसमें जटिल पथ शामिल नहीं था। CrossGuard जटिल पथ हमलों को रोकने के लिए बनाया गया है, साधारण ताला तोड़ने के लिए नहीं।
- लागत: इस ट्रैफिक पुलिस को चलाने के लिए थोड़ी सी "गैस" (फीस जो आप ब्लॉकचेन का उपयोग करने के लिए देते हैं) लगती है। औसतन, इसने लागत में केवल 3.53% की वृद्धि की। लाखों डॉलर खोने से बचने के लिए यह एक छोटी कीमत है।
बड़ी तस्वीर
CrossGuard को एक क्लब के बाउंसर के रूप में सोचें जो न केवल सूची में आपका नाम चेक करता है, बल्कि आपके डांस मूव्स को भी देखता है।
- यदि आप सामान्य रूप से नाचते हैं, तो आप अंदर जा सकते हैं।
- यदि आप वीआईपी ड्रिंक्स चुराने के लिए रसोई के माध्यम से बैकफ्लिप करने की कोशिश करते हैं (एक जटिल, अनधिकृत कंट्रोल फ्लो), तो बाउंसर आपको तुरंत रोक देता है।
- और सबसे अच्छी बात? बाउंसर को क्लब खुलने के समय ही काम पर रख लिया जाता है, इसलिए कोई "असुरक्षित अवधि" नहीं होती जहाँ हैकर घुस सकें, इससे पहले कि बाउंसर चीजें सीख ले।
संक्षेप में: CrossGuard यह सुनिश्चित करके DeFi को सुरक्षित करता है कि पैसा केवल उन्हीं तरीकों से हिल सकता है जो डेवलपर्स ने स्पष्ट रूप से तय किए हैं, जिससे उन हैकरों को रोका जा सके जो सिस्टम को उन आकारों में मोड़ने की कोशिश करते हैं जिनके लिए इसे कभी बनाया ही नहीं गया था।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।