SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing
यह शोध पत्र SPEAR प्रस्तुत करता है, जो स्मार्ट कॉन्ट्रैक्ट ऑडिटिंग के लिए एक मल्टी-एजेंट समन्वय ढांचा है जो केंद्रीकृत या पाइपलाइन-आधारित विकल्पों की तुलना में योजना, कार्य आवंटन और स्वायत्त रिकवरी को बढ़ाने के लिए विशिष्ट एजेंटों, बातचीत प्रोटोकॉल और विश्वास संशोधन (belief revision) का लाभ उठाता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
कल्पना कीजिए कि आप एक विशाल, उच्च-जोखिम वाले निर्माण प्रोजेक्ट के मैनेजर हैं। आपका लक्ष्य एक डिजिटल तिजोरी (एक स्मार्ट कॉन्ट्रैक्ट) बनाना है, जिसमें अरबों डॉलर की क्रिप्टोकरेंसी रखी जाएगी। यदि दीवार में एक भी छोटी सी दरार आती है, तो चोर सब कुछ चुरा सकते हैं।
पारंपरिक रूप से, इस तिजोरी का निरीक्षण करने के लिए मानव विशेषज्ञों की एक टीम को काम पर रखने में हफ्तों लग जाते हैं और इसमें बहुत अधिक पैसा खर्च होता है। वे ब्लूप्रिंट देखते हैं, तालों का परीक्षण करते हैं, और नींव की जांच करते हैं। लेकिन हर दिन हजारों नई तिजोरियां बनाई जा रही हैं, और मानव विशेषज्ञ उनका मुकाबला नहीं कर सकते।
यहाँ SPEAR आता है। SPEAR को एक अकेले सुपर-इंटेलिजेंट रोबोट के रूप में नहीं, बल्कि एक अत्यधिक संगठित, स्व-प्रबंधित निर्माण दल के रूप में सोचें, जो विशेष डिजिटल श्रमिकों (एजेंटों) से बना है। एक बॉस द्वारा हर पेंच को नियंत्रित किए जाने के बजाय, ये कार्यकर्ता आपस में बात करते हैं, अपने निर्णय स्वयं लेते हैं, और अपनी गलतियों को खुद ठीक करते हैं।
यहाँ बताया गया है कि SPEAR की टीम कैसे काम करती है, जिसे सरल भूमिकाओं में विभाजित किया गया है:
1. दल के सदस्य (एजेंट्स)
- द प्लानर (प्लानिंग एजेंट):
- भूमिका: साइट फोरमैन।
- काम: वे पूरे प्रोजेक्ट को देखते हैं और तय करते हैं कि तिजोरी के किस हिस्से की जांच सबसे पहले की जानी चाहिए। यदि उन्हें अफवाह मिलती है कि कोई विशिष्ट दरवाजा कमजोर है, तो वे तुरंत सभी को छत की जांच रोकने और उस दरवाजे पर ध्यान केंद्रित करने के लिए कहते हैं। वे नई जानकारी के आधार पर "करने योग्य कार्यों" (to-do list) को लगातार अपडेट करते रहते हैं।
- द डूरर्स (एग्जीक्यूशन एजेंट):
- भूमिका: निरीक्षक (Inspectors)।
- काम: वे वास्तव में परीक्षण चलाते हैं। वे विभिन्न उपकरणों (जैसे टॉर्च, स्ट्रेस-टेस्टर और कोड स्कैनर) का उपयोग करके दरारें ढूंढते हैं। यदि उन्हें कोई समस्या मिलती है, तो वे केवल "मदद!" चिल्लाकर नहीं रुकते; वे योजना को अपडेट करने के लिए प्लानर को एक संदेश भेजते हैं।
- द फिक्सर (रिपेयर एजेंट):
- भूमिका: हैंडyman।
- काम: कभी-कभी, टीम द्वारा उपयोग किए जाने वाले उपकरण एक टूटा हुआ रिपोर्ट (जैसे कि एक टेस्ट स्क्रिप्ट जो चल नहीं रही है) उत्पन्न करते हैं। हार मानने और किसी इंसान को बुलाने के बजाय, हैंडमैन खुद उसे ठीक करने की कोशिश करता है। वे पहले सरल, यांत्रिक सुधारों (जैसे ढीले पेंच को कसना) की कोशिश करते हैं। यदि वह विफल हो जाता है, तभी वे कोड को फिर से लिखने के लिए महंगे "AI विशेषज्ञ" को बुलाते हैं।
- द रेफरी (कोऑर्डिनेटर एजेंट):
- भूमिका: संसाधन प्रबंधक।
- काम: हर किसी को धन (कंप्यूटिंग पावर) और समय की आवश्यकता होती है। यदि फिक्सर को बग ठीक करने के लिए 500 टोकन चाहिए और इंस्पेक्टर को परीक्षण चलाने के लिए 200 चाहिए, तो वे दोनों एक साथ नहीं ले सकते। वे एक त्वरित नीलामी (auction) आयोजित करते हैं। जिसे सबसे अधिक तत्काल आवश्यकता होती है और जो सबसे अच्छा मूल्य प्रदान करता है, वही संसाधन जीतता है।
2. वे कैसे बात करते हैं (समन्वय)
पुराने सिस्टम में, यदि एक उपकरण क्रैश हो जाता था, तो पूरा प्रोजेक्ट रुक जाता था और एक इंसान को इसे फिर से शुरू करना पड़ता था। SPEAR में, टीम विकेंद्रीकृत (decentralized) है।
- "कॉन्ट्रैक्ट नेट" (नौकरी की बोली): जब कोई कार्य सामने आता है, तो 'डूरर्स' आदेश का इंतजार नहीं करते। वे उस काम के लिए बोली लगाते हैं। "मैं यह कर सकता हूँ!" एक कहता है। "मैं तेज़ हूँ!" दूसरा कहता है। जिसे सबसे अच्छा लगता है, उसे काम मिल जाता है।
- "बलीफ सिस्टम" (परिवर्तन के अनुकूल होना): कल्पना करें कि प्लानर को लगता है कि छत सबसे खतरनाक हिस्सा है। अचानक, इंस्पेक्टर को नींव में एक बड़ी दरार मिलती है। एक कठोर सिस्टम में, प्लानर दिन के अंत तक इसे अनदेखा करेगा। SPEAR में, इंस्पेक्टर एक संदेश भेजता है, और प्लानर तुरंत अपने "विश्वासों" को अपडेट करता है और अभी योजना बदल देता है।
- स्व-उपचार (Self-Healing): यदि नेटवर्क केबल कट जाती है (एक "नेटवर्क पार्टीशन"), तो फिक्सर घबराता नहीं है। वे स्थानीय स्तर पर जो देख सकते हैं, उस पर काम करना जारी रखते हैं। जैसे ही कनेक्शन बहाल होता है, वे बस एक त्वरित अपडेट भेजते हैं: "मैं आपके गायब रहने के दौरान काम पूरा कर चुका हूँ।" इससे समय बर्बाद नहीं होता।
3. यह "केंद्रीय बॉस" से बेहतर क्यों है?
एक पारंपरिक ऑडिट की कल्पना एक एकल कंडक्टर के रूप में करें जो एक ऑर्केस्ट्रा का नेतृत्व करने की कोशिश कर रहा है। यदि कंडक्टर लड़खड़ाता है, तो संगीत रुक जाता है। यदि कंडक्टर भ्रमित हो जाता है, तो पूरा बैंड रुक जाता है।
SPEAR एक जैज़ बैंड (jazz band) की तरह है।
- यदि ड्रमर (एग्जीक्यूशन एजेंट) एक ताल चूक जाता है, तो बेसिसट (रिपेयर एजेंट) उसकी भरपाई करता है।
- यदि सैक्सोफोन वादक (प्लानर) एक नई धुन सुनता है, तो वह दूसरों को संकेत देता है, और पूरा बैंड बिना रुके एक साथ एक नया गाना बजाना शुरू कर देता है।
- उन्हें अगला कदम उठाने के लिए किसी एक व्यक्ति के निर्देश की आवश्यकता नहीं होती; वे एक-दूसरे को सुनते हैं और तुरंत अनुकूलित होते हैं।
4. परिणाम
पेपर ने इस "जैज़ बैंड" दृष्टिकोण का परीक्षण "कंडक्टर" दृष्टिकोण (एक पारंपरिक, केंद्रीकृत कंप्यूटर प्रोग्राम) के विरुद्ध किया।
- गति: SPEER ने सबसे खतरनाक छेदों को बहुत तेज़ी से खोजा क्योंकि इसने जोखिम भरे हिस्सों को प्राथमिकता दी।
- लचीलापन (Resilience): जब शोधकर्ताओं ने जानबूझकर उपकरणों को खराब किया या इंटरनेट काट दिया, तो SPEAR काम करता रहा। केंद्रीकृत प्रणाली क्रैश हो गई और उसे फिर से शुरू करना पड़ा। SPEAR बस जैज़ बजाता रहा।
- लागत: क्योंकि फिक्सर ने महंगे AI को बुलाने से पहले सरल समाधानों की कोशिश की, इसलिए SPEAR ने बहुत सारे पैसे बचाए।
मुख्य निष्कर्ष
SPEAR डिजिटल श्रमिकों की एक स्मार्ट, स्व-उपचार करने वाली टीम है जो ब्लॉकचेन कोड का ऑडिट करती है। हर गलती को ठीक करने के लिए मानव बॉस का इंतजार करने के बजाय, वे आपस में बात करते हैं, संसाधनों के लिए बोली लगाते हैं, और अपने टूटे हुए उपकरणों को खुद ठीक करते हैं। यह प्रक्रिया को तेज़, सस्ता और बहुत अधिक कठिन बनाता है, जिससे यह सुनिश्चित होता है कि डिजिटल तिजोरी में अरबों डॉलर सुरक्षित रहें।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।