- ईथेरियम ने एक तकनीक का नाम दिया है जो एआई युग में स् की सुरक्षा को मजबूत कर सकती है।
- एक वाइपर डेवलपर के अनुसार, औपचारिक सत्यापन आवश्यक होता जा रहा है।
- यह उन त्रुटियों को ढूंढने में मदद करता है जिन्हें परीक्षण छोड़ देते हैं।
ईथेरियम नेटवर्क टीम ने लीड Vyper डेवलपर बिग_टेक_सुक्स के नाम से एक अतिथि श्रृंखला पोस्ट प्रकाशित की है, जो त्वरित AI विकास के युग में औपचारिक सत्यापन की भूमिका पर केंद्रित है।
0/ जैसे-जैसे एआई प्रणालियाँ अधिक शक्तिशाली होती जा रही हैं, औपचारिक सत्यापन – जो कंप्यूटर प्रोग्रामों की सहीता को सिद्ध करने के लिए गणित का उपयोग करने वाली विषय है – अधिक और अधिक आशाजनक दिखाई दे रहा है।
— ईथेरियम (@ethereum) August 5, 2026
एक अतिथि थ्रेड @big_tech_sux द्वारा, @vyperlang के प्रमुख डेवलपरpic.twitter.com/3T6H76AVrL
लेखक का तर्क है कि LLM में प्रगति प्रोग्राम की सहीता के गणितीय सबूतों को अधिक सुलभ बना रही है, और अरबों डॉलर का प्रबंधन करने वाले स्मार्ट कॉन्ट्रैक्ट्स के लिए, औपचारिक सत्यापन धीरे-धीरे एक आवश्यकता बन रहा है।
AI सॉफ्टवेयर सत्यापन के दृष्टिकोण को बदल देता है
पोस्ट्स की इस श्रृंखला में स्पष्ट किया गया है कि औपचारिक सत्यापन एक गणितीय विधि है जो एक प्रोग्राम के सभी संभावित निष्पादन परिदृश्यों में सही ढंग से काम करने के प्रमाण को संभव बनाती है, केवल परीक्षणों द्वारा कवर किए गए परिदृश्यों तक सीमित नहीं।
उदाहरण के लिए, लेखक ने फ़ंक्शन f(x) = x/2 का उल्लेख किया, जिसके लिए गणितीय रूप से सिद्ध किया जा सकता है कि परिणाम कभी भी इनपुट मान से अधिक नहीं होगा।
उनके अनुसार, यह विधि अत्यंत दुर्लभ बग्स को खोज सकती है जिन्हें पारंपरिक परीक्षण के माध्यम से लगभग असंभव है पता लगाना।
लेखक ने नोट किया कि "औपचारिक सत्यापन उन 1 में से 1 क्वाड्रिलियन किनारे के मामलों को पकड़ सकता है जो परीक्षण के दौरान कभी नहीं आएंगे – और वह किनारे का मामला वह है जो विनाशकारी विफलता का कारण बन सकता है।"
एक ही समय पर, उन्होंने स्वीकार किया कि हाल ही तक, इस दृष्टिकोण का उपयोग करने के लिए विशेषज्ञों की बड़ी टीमों की आवश्यकता होती थी जो प्रोग्रामों के गणितीय मॉडल बनाती थीं और जटिल सबूत प्रस्तुत करती थीं।
विकासक के दृष्टिकोण से, आधुनिक LLMs इस प्रक्रिया को बहुत सरल बना देते हैं जैसे-जैसे हम AGI के करीब पहुँच रहे हैं।
एक ही समय पर, लेखक ने जोर देकर कहा कि यहां तक कि AI के साथ भी, औपचारिक सत्यापन एक जटिल और संसाधन-भारी प्रक्रिया बनी रहती है। विशेष रूप से, स्रोत कोड को औपचारिक मॉडल में बदलने से अनिश्चितताएं उत्पन्न हो सकती हैं जो परिणामों की विश्वसनीयता को प्रभावित करती हैं।
AI विकास हमले और रक्षा के बीच संतुलन बदल देता है
यह टिप्पणी करती है कि कृत्रिम बुद्धिमत्ता के विकास से रक्षकों और हमलावरों दोनों की प्रभावशीलता एक साथ बढ़ती है।
लेखक ने एक घटना की याद दिलाई जिसमें एक अनप्रकाशित OpenAI मॉडल ने जीरो-डे वल्नरेबिलिटीज को ढूंढ निकाला जिससे कई स्तरों की सुरक्षा को बाईपास किया जा सकता था।
इस पृष्ठभूमि के खिलाफ, लेखक के अनुसार, औपचारिक सत्यापन रक्षकों के पक्ष में लाभ को बदलने की संभावना प्रदान करता है।
“जबकि हमलावरों को केवल एक ऐसा इनपुट अनुक्रम ढूंढना होता है जिससे वे किसी सिस्टम में घुस सकें, रक्षक सभी इनपुट्स के खिलाफ मजबूती को साबित करने के लिए औपचारिक सत्यापन का उपयोग कर सकते हैं,” उन्होंने जोर देकर कहा।
इसलिए, मिशन-महत्वपूर्ण सॉफ्टवेयर के लिए — जिसमें उपयोगकर्ता धन के अरबों डॉलर का प्रबंधन करने वाले स्मार्ट कॉन्ट्रैक्ट शामिल हैं — औपचारिक सत्यापन "एक विकल्प नहीं, बल्कि एक आवश्यक पूर्वशर्त" बन रहा है।
यह ध्यान देने योग्य है कि यह ईथेरियम सह-संस्थापक विटालिक बुटेरिन द्वारा कोड के औपचारिक सत्यापन के लिए AI के उपयोग के संबंध में पहले शुरू की गई चर्चा को जारी रखता है।
संदेश Ethereum Explained How AI Changes Approach to Smart Contract Security सबसे पहले INCRYPTED पर प्रकट हुआ।