An end-to-end agentic pipeline for smart contract translation and quality evaluation
यह शोध पत्र एक एंड-टू-एंड एजेंटिक पाइपलाइन प्रस्तुत करता है जो प्राकृतिक भाषा के विनिर्देशों (specifications) को सॉलिडिटी स्मार्ट कॉन्ट्रैक्ट्स में अनुवादित करता है और कई आयामों में उनकी गुणवत्ता का व्यवस्थित रूप से मूल्यांकन करता है, जो एलएलएम-संचालित अनुबंध संश्लेषण (contract synthesis) पर अनुभवजन्य अनुसंधान के लिए एक पुनरुत्पादनीय बेंचमार्क प्रदान करता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
कल्पना कीजिए कि आप एक डिजिटल तिजोरी (एक स्मार्ट कॉन्ट्रैक्ट) बनाना चाहते हैं जो स्वचालित रूप से पैसे को रोक कर रखे और केवल तभी जारी करे जब विशिष्ट शर्तें पूरी हो जाएं। वास्तविक दुनिया में, आप नियमों को लिखने के लिए एक वकील और तिजोरी बनाने के लिए एक मास्टर ताला बनाने वाले (लॉक्समिथ) को काम पर रखेंगे। लेकिन ब्लॉकचेन की दुनिया में, "ताला बनाने वाला" एक बहुत ही कठिन, निर्दयी भाषा बोलता है जिसे Solidity कहा जाता है। यदि वे एक छोटी सी टाइपिंग की गलती भी करते हैं, तो तिजोरी हमेशा के लिए चोरी की जा सकती है, और आप बाद में इसे ठीक करने के लिए किसी रिपेयरमैन को नहीं बुला सकते।
यह शोध पत्र एक सुपर-स्मार्ट, स्वचालित निर्माण दल प्रस्तुत करता है जो उस अंतर को पाटने के लिए बनाया गया है। यह आपके साधारण अंग्रेजी निर्देशों (जैसे "1 जनवरी तक फंड रोक कर रखें") को लेता है और उन्हें एक सुरक्षित, काम करने वाली डिजिटल तिजोरी में बदल देता है, और साथ ही एक कठोर निरीक्षक के रूप में कार्य करता है ताकि यह सुनिश्चित किया जा सके कि यह सुरक्षित है।
यह "एजेंटिक पाइपलाइन" (Agentic Pipeline) कैसे काम करती है, इसे सरल चरणों में यहाँ दिया गया है:
1. विशेष रोबोटों की टीम (एजेंट्स)
एक विशाल AI पर सब कुछ करने के लिए निर्भर रहने के (जिससे अक्सर गलतियाँ होती हैं) के बजाय, लेखकों ने विशेषज्ञ रोबोटों की एक टीम (एजेंट्स) बनाई है जो एक-दूसरे के होमवर्क की जाँच करते हुए काम को आगे बढ़ाते हैं।
- अनुवादक (रिक्वायरमेंट एजेंट): यह रोबोट आपके अव्यवस्थित, प्राकृतिक भाषा के नोट्स को पढ़ता है और उन्हें एक सख्त, संरचित ब्लूप्रिंट (खाका) में बदल देता है। यह सुनिश्चित करता है कि कोई भी विवरण छूटे नहीं।
- निर्माता (जेनरेटर एजेंट): यह रोबोट ब्लूप्रिंट को देखता है और वास्तविक कोड (Solidity) लिखता है। यह एक मास्टर बढ़ई की तरह है जो जानता है कि ब्लूप्रिंट के आधार पर लकड़ी को बिल्कुल कैसे काटना है।
- निरीक्षक (ऑडिटर एजेंट): यह रोबोट एक संदिग्ध सुरक्षा गार्ड है। यह कोड को ज्ञात कमजोरियों (जैसे कि एक दरवाज़ा जो लॉक नहीं होता या एक खिड़की जो बहुत आसानी से टूट सकती है) के लिए स्कैन करता है।
- सुधारने वाला (रिफाइनर एजेंट): यदि निरीक्षक को कोई समस्या मिलती है, तो सुधारने वाला (Fixer) हस्तक्षेप करता है। यह केवल "ओह्स" नहीं कहता; यह छेद को भरने के लिए कोड को फिर से लिखता है। यह एक लूप में तब तक चलता है जब तक कि कोड साफ न हो जाए।
2. "दोहरा-चेक" प्रणाली
सिस्टम केवल निर्माण नहीं करता और उम्मीद नहीं करता। यह एक सुदृढीकरण लूप (reinforcement loop) का उपयोग करता है।
- उपमा: कल्पना करें कि एक शेफ (निर्माता) खाना बनाता है। एक फूड क्रिटिक (निरीक्षक) स्वाद चखता है और कहता है, "बहुत नमकीन है।" शेफ (सुधारने वाला) तुरंत वापस जाता है, पानी डालता है, और फिर से स्वाद लेता है। यह स्वचालित रूप से तब तक होता है जब तक कि क्रिटिक थम्स अप न दे दे।
3. रिपोर्ट कार्ड (गुणवत्ता मूल्यांकन)
एक बार कोड बन जाने और ठीक हो जाने के बाद, सिस्टम इसे पाँच विशिष्ट विषयों के साथ एक रिपोर्ट कार्ड पर ग्रेड देता है:
- क्या आपने वह सब किया जो पूछा गया था? (कार्यात्मक पूर्णता - Functional Completeness)
- क्या आपने सही नामों का उपयोग किया? (वेरिएबल फिडेलिटी - Variable Fidelity)
- क्या तर्क (लॉजिक) सही ढंग से प्रवाहित होता है? (स्टेट मशीन शुद्धता - State Machine Correctness)
- क्या व्यावसायिक तर्क समझ में आता है? (बिजनेस लॉजिक फिडेलिटी - Business Logic Fidelity)
- क्या कोड साफ और अच्छी तरह से लिखा गया है? (कोड गुणवत्ता - Code Quality)
सिस्टम अनुबंध को एक अंतिम ग्रेड (A, B, C, आदि) देता है, ठीक वैसे ही जैसे स्कूल का रिपोर्ट कार्ड होता है।
4. चौंकाने वाला परिणाम: रोबोट बनाम इंसान
शोधकर्ताओं ने इस प्रणाली का परीक्षण 9,000 अनुबंधों पर किया और रोबोट द्वारा बनाए गए कोड की तुलना मानव विशेषज्ञों द्वारा लिखे गए कोड से की।
- चौंकाने वाली बात: रोबोटों ने वास्तव में इंसानों से बेहतर ग्रेड प्राप्त किए!
- क्यों? रोबोट "शब्दशः पालन करने वाले" (literalists) होते हैं। यदि आप रोबोट को एक वेरिएबल का नाम
myMoneyरखने के लिए कहते हैं, तो वह उसेmyMoneyही नाम देता है। यदि आप एक इंसान को बताते हैं, तो वह सोच सकता है, "ओह,myMoneyसुनने में अनप्रोफेशनल लगता है, मैं इसेfundsकहूँगा।" ग्रेडिंग प्रणाली रोबोट को निर्देशों का बिल्कुल सटीक पालन करने के लिए पुरस्कृत करती है, जबकि इंसान कभी-कभी रचनात्मक हो जाते हैं और ब्लूप्रिंट से पूरी तरह मेल न खाने के कारण अंक खो देते हैं। - सावधानी: रोबोट सरल, स्पष्ट निर्देशों के लिए बेहतरीन हैं। लेकिन यदि निर्देश बहुत जटिल हैं (जैसे कि 50 अलग-अलग नियमों वाली 10 मंजिला इमारत), तो रोबोट भ्रमित होने लगते हैं और इंसानों की तुलना में अधिक गलतियाँ करते हैं।
5. यह क्यों महत्वपूर्ण है
स्मार्ट कॉन्ट्रैक्ट्स आधुनिक डिजिटल वित्त की रीढ़ हैं। यदि उनमें बग होते हैं, तो लोग लाखों डॉलर खो देते हैं (जैसे कि पेपर में उल्लेखित प्रसिद्ध "DAO हैक")।
- इससे पहले: आपको कोड लिखने और जाँचने के लिए विशेषज्ञों की एक टीम की आवश्यकता होती थी।
- इसके साथ: आप अपने विचार को कंप्यूटर में टाइप कर सकते हैं, और यह पाइपलाइन एक ड्राफ्ट बनाती है, अपनी गलतियों को खुद ठीक करती है, और आपको सुरक्षा रिपोर्ट कार्ड देती है।
निचोड़
यह शोध पत्र यह नहीं कह रहा है कि "AI पूर्ण है और इंसान बेकार हैं।" इसके बजाय, यह कहता है: "AI एक शानदार प्रशिक्षु (apprentice) है जो भारी काम कर सकता है और अपनी गलतियों को पकड़ सकता है, लेकिन इसे अभी भी अंतिम ब्लूप्रिंट पर नज़र रखने के लिए एक मानव गुरु की आवश्यकता है, विशेष रूप से बहुत जटिल कार्यों के लिए।"
यह ब्लॉकचेन कोडिंग की डरावनी, उच्च-जोखिम वाली दुनिया को अधिक प्रबंधनीय, पारदर्शी और सुरक्षित प्रक्रिया में बदल देता है, यह सुनिश्चित करता है कि जब आप एक डिजिटल तिजोरी तैनात करें, तो वह वास्तव में वही करे जो आपने उसे बताया था।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।