एथेरियम के सह-संस्थापक विटालिक बुटेरिन का मानना है कि एआई के कारण सॉफ्टवेयर में होने वाली कमजोरियों को लेकर बढ़ती चिंता, सॉफ्टवेयर विकास की सतह के नीचे हो रहे एक बहुत बड़े बदलाव को अनदेखा कर रही है।

ब्यूटेरिन ने 18 मई को एक विस्तृत नए ब्लॉग पोस्ट में यह तर्क दिया कि एआई-सहायक औपचारिक सत्यापन क्रिप्टोग्राफी प्रणालियों, ब्लॉकचेन अवसंरचना और ट्रस्टलेस ऐप्स में गंभीर खामियों के खिलाफ सबसे अच्छा बचाव साबित हो सकता है। उन्होंने एक ऐसे भविष्य की कल्पना की जिसमें एआई, डेवलपर्स को परिनियोजन से पहले सॉफ़्टवेयर की मजबूती को गणितीय रूप से साबित करने में सहायता करता है, न कि केवल एक ऐसा उपकरण जो असुरक्षित कोड बनाने की गति को तेज करता है।

• वाइटालिक ब्यूटिरिन क्यों सोचते हैं कि एआई सुरक्षित कोड को नष्ट करने के बजाय उसे मजबूत कर सकता है?
• लीन, सत्यापित ईवीएम संचालन, और गणितीय सुरक्षा की ओर बढ़ना
• हाइब्रिड सुरक्षा मॉडल: सत्यापित कोर, सैंडबॉक्स किए गए एज
• उद्योग की प्रतिक्रिया और एआई-प्रमाणित सॉफ़्टवेयर को लेकर बढ़ती बहस

वाइटालिक ब्यूटेरिन क्यों सोचते हैं कि एआई सुरक्षित कोड को नष्ट करने के बजाय उसे मजबूत कर सकता है?

ब्यूटिरिन के ब्लॉग का मुख्य बिंदु आश्चर्यजनक रूप से सीधा है; एआई-संचालित बग पहचान द्वारा सुरक्षित प्रणालियों को स्वाभाविक रूप से असंभव नहीं बनाया जाता है। वह वास्तव में सोचते हैं कि यदि एआई को औपचारिक सत्यापन विधियों के साथ जोड़ा जाए, तो विपरीत परिणाम अधिक संभावित है।

औपचारिक सत्यापन की प्रक्रिया में, प्रोग्रामर गणितीय रूप से यह प्रदर्शित करते हैं कि सॉफ्टवेयर ठीक वैसे ही काम करता है जैसा कि इच्छित है। सॉफ्टवेयर का परीक्षण या मानव ऑडिटिंग पर पूरी तरह से निर्भर रहने के बजाय, कठोर प्रमाणों के खिलाफ स्वयं सॉफ्टवेयर की जांच की जाती है। बुटेरिन ने कहा कि ऐसे समय में जब एआई तेजी से कोड और एक्सप्लॉइट्स दोनों बना सकता है, यह वास्तव में सुरक्षित सॉफ्टवेयर की ओर ले जाने वाले कुछ व्यावहारिक रास्तों में से एक है।

उन्होंने विशेष रूप से एआई-सहायक प्रमाण निर्माण को एक महत्वपूर्ण प्रगति के रूप में बताया। बुटेरिन का दावा है कि एआई इंजीनियरों को मशीन-सत्यापनीय प्रमाण बनाने में मदद करने के लिए दिन-ब-दिन अधिक सहायक होता जा रहा है, जिनके लिए अन्यथा समय और ज्ञान में काफी निवेश की आवश्यकता होती है।

लीन एथेरियम इकोसिस्टम में हाल के विकास का भी एथेरियम के सह-संस्थापक ने उल्लेख किया, जहाँ शिक्षाविद निम्न-स्तरीय एथेरियम बुनियादी ढांचे के गणितीय रूप से मान्य कार्यान्वयन को विकसित कर रहे हैं। STARK सुरक्षा प्रणालियों की क्रिप्टोग्राफिक नींव से जुड़ा एक मशीन-सत्यापनीय प्रमाण एक ऐसा उदाहरण था जब एआई ने प्रमाण तैयार करने में सहायता की।

यह महत्वपूर्ण है क्योंकि सत्यापन अविश्वसनीय रूप से कम सॉफ्टवेयर परतों पर होता है। बुटेरिन ने उन विकास विधियों पर जोर दिया जिनमें इंजीनियर सीधे असेंबली, ईवीएम बाइटकोड, या लीन में कोड बनाते हैं, और फिर शुद्धता को औपचारिक रूप से प्रदर्शित करने के लिए स्वचालित रूप से जाँच योग्य प्रमाणों का उपयोग करते हैं। रिपोर्टों के अनुसार, शोधकर्ता योइची हिराई ने इस पथ को "सॉफ्टवेयर विकास का अंतिम रूप" बताया।

लीन, सत्यापित ईवीएम संचालन, और गणितीय सुरक्षा की ओर बढ़ना

ब्यूटरिन की दलील मुख्य रूप से सिद्धांत से वास्तविक दुनिया की ब्लॉकचेन इंजीनियरिंग तक औपचारिक सत्यापन की उन्नति पर केंद्रित थी।

उन्होंने उन पहलों का हवाला दिया जो वर्तमान में औपचारिक रूप से मान्य EVM संचालन और क्रिप्टोग्राफिक प्रणालियों को विकसित कर रही हैं, विशेष रूप से STARK प्रूवर्स और ZK-EVMs के संबंध में। क्रिप्टो आर्किटेक्चर के इन क्षेत्रों में, एक छोटी सी तार्किक त्रुटि भी विनाशकारी परिणाम ला सकती है।

बुटेरिन के अनुसार, औपचारिक सत्यापन उन स्थितियों में विशेष रूप से अच्छा काम करता है जहाँ इच्छित परिणाम वास्तविक कार्यान्वयन की तुलना में प्राप्त करना आसान होता है। यह अंतर महत्वपूर्ण है क्योंकि कई क्रिप्टोग्राफ़िक प्रणालियों की अवधारणाएँ सरल होती हैं लेकिन उनकी अंतर्निहित कार्यप्रणाली जटिल होती है। एआई सहायता से सत्यापन उस जटिलता के अंतर को पाटने में मदद करता है।

केवल अधिक कोड तेजी से लिखने की तुलना में, प्रमाणित रूप से सही प्रणालियाँ बनाना अधिक प्राथमिकता रखता है।

इसके अतिरिक्त, उन्होंने प्रस्तावित किया कि पारंपरिक उच्च-स्तरीय प्रोग्रामिंग वर्कफ़्लो के विपरीत, लीन प्रूफ़ और निम्न-स्तरीय निष्पादन सत्यापन, एथेरियम के विकास के भविष्य में तेजी से महत्वपूर्ण हो सकते हैं। लक्ष्य सॉफ़्टवेयर के बनने के बाद केवल उसका ऑडिट करने के बजाय, सॉफ़्टवेयर विकास के दौरान गणितीय रूप से शुद्धता सुनिश्चित करना है।

यह बदलाव विशेष रूप से पोस्ट-क्वांटम एन्क्रिप्शन, कंसेंसस सिस्टम, जीरो-नॉलेज प्रूफ इंफ्रास्ट्रक्चर और स्मार्ट कॉन्ट्रैक्ट्स के लिए महत्वपूर्ण हो सकता है। ये ऐसी जगहें हैं जहाँ एक ही एक्सप्लॉइट से अरबों डॉलर के मूल्य को स्थायी रूप से समझौता किया जा सकता है।

कई लोगों ने दावा किया है कि एआई-सहायक बग खोज के साथ, सुरक्षित कोड (और इसलिए ट्रस्टलेस कुछ भी) असंभव होगा।

मेरा दृष्टिकोण कहीं अधिक आशावादी है, और इसका एक प्रमुख कारण एआई-सहायक औपचारिक सत्यापन है:https://t.co/0ceMBZ6uqj— vitalik.eth (@VitalikButerin) 18 मई, 2026

हाइब्रिड सुरक्षा मॉडल: सत्यापित कोर, सैंडबॉक्स्ड एज

परतदार सॉफ्टवेयर आर्किटेक्चर मॉडल के लिए बुटेरिन का सुझाव पोस्ट के अधिक अमूर्त विचारों में से एक था।

उन्होंने यह सुझाव दिया कि प्रणालियों को अत्यधिक सुरक्षित सत्यापित कोर और कम महत्वपूर्ण सैंडबॉक्स्ड एज में विभाजित किया जाए, बजाय इसके कि किसी एप्लिकेशन के प्रत्येक घटक से त्रुटिहीन गणितीय सुरक्षा प्राप्त करने की उम्मीद की जाए। जबकि आसपास के घटक अधिक अनुकूलनीय और प्रयोगात्मक बने रह सकते हैं, मौलिक बुनियादी ढांचे का औपचारिक सत्यापन किया जाएगा।

यह एक अधिक सामान्य विचार के अनुरूप है जो हाल ही में एथेरियम अनुसंधान को प्रभावित करता प्रतीत होता है; महत्वपूर्ण बुनियादी ढांचे से कम सुरक्षित घटकों को अलग करना और जहाँ जोखिम सबसे अधिक है, वहाँ विश्वास की धारणाओं को कम करना।

इसके अतिरिक्त, बुटेरिन ने इस बात पर जोर दिया कि औपचारिक सत्यापन कोई जादुई इलाज नहीं है। यदि विनिर्देश दोषपूर्ण हैं या सत्यापित सिस्टम के नीचे हार्डवेयर-स्तर की कमजोरियाँ हैं, तो गणितीय रूप से सत्यापित सॉफ्टवेयर भी विफल हो सकता है। उन्होंने अक्सर इस बात की ओर इशारा किया कि क्योंकि मानव इरादा अस्पष्ट या अपर्याप्त हो सकता है, "पूर्ण सुरक्षा" प्राप्त नहीं की जा सकती।

इसी कारण से, औपचारिक प्रमाणों के अलावा, वह सिमुलेशन, विभिन्न कार्यान्वयन, मल्टीसिग सिस्टम और व्यापक परीक्षण सहित बहु-स्तरीय रक्षा की वकालत करना जारी रखते हैं।

दिलचस्प पहलू यह है कि बुटेरिन औपचारिक सत्यापन को सुरक्षा इंजीनियरिंग के विकल्प के रूप में सुझा नहीं रहे हैं। वह इसे एआई द्वारा तेजी से बनाए जा रहे सॉफ्टवेयर इकोसिस्टम के लिए एक सुरक्षित आधार के रूप में पेश कर रहे हैं।

उद्योग की प्रतिक्रिया और एआई-प्रमाणित सॉफ़्टवेयर को लेकर बढ़ती बहस

एआई और क्रिप्टोकरेंसी समुदायों ने ब्यूटरिन की टिप्पणियों पर तुरंत प्रतिक्रिया दी।

इस दिशा की अनातोली याकोवेंको और कई एथेरियम शोधकर्ताओं ने खुले तौर पर सराहना की, विशेष रूप से अनुमानित एआई हाइप के बजाय सत्यापनीय शुद्धता पर जोर देने के लिए। चर्चाएं तेजी से ब्लॉकचेन सुरक्षा से आगे बढ़कर आवश्यक सॉफ्टवेयर के संभावित भविष्य के विकास के बारे में अधिक सामान्य प्रश्नों को शामिल करने तक फैल गईं।

हालांकि, संशयवादियों ने एक महत्वपूर्ण कमी पर भी प्रकाश डाला: औपचारिक सत्यापन केवल यह प्रदर्शित करता है कि सॉफ्टवेयर अपनी आवश्यकताओं के अनुरूप है। यह यह सुनिश्चित नहीं करता कि विनिर्देश स्वयं समझ में आते हैं या मानवीय अपेक्षाओं को पूरा करते हैं।

समुदाय के भीतर हुई बातचीत में, यह आलोचना बार-बार सामने आती रही। कई डेवलपर्स के अनुसार, गणितीय रूप से सिद्ध प्रणालियों में फिर भी गलत धारणाएं, जोखिम भरी शासन तर्क, या अप्रत्याशित एज केस हो सकते हैं।

ब्यूटरिन उस तनाव से पूरी तरह से अवगत प्रतीत होते हैं। उनका अधिक सामान्य दावा यह नहीं है कि एआई सुरक्षा-महत्वपूर्ण सॉफ्टवेयर के निर्माण में मनुष्यों की जगह ले लेगा। बल्कि, वे एआई को एक 'वेरिफिकेशन-प्रथम' विकास संस्कृति में गहराई से निहित होते हुए देखते हैं, जहाँ ब्लॉकचेन बुनियादी ढांचे का निर्माण तेजी से प्रूफ, शुद्धता गारंटी और क्रिप्टोग्राफिक आश्वासन पर निर्भर करता है।

यदि आपको इस लेख में कोई समस्या मिलती है या कोई जानकारी छूट गई है, तो स्पष्टीकरण या अपडेट के लिए बेझिझक team@etherworld.co पर संपर्क करें।

अपने Web3 लेखों, कार्यक्रमों और परियोजनाओं को बढ़ावा देने के लिए, आप सबमिशन और सहयोग के लिए किसी भी समय EtherWorld PR के माध्यम से संपर्क कर सकते हैं।

संबंधित लेख

1. विटालिक ब्यूटिरिन ने डेवकनेक्ट में एथेरियम के 2025-2027 के रोडमैप की रूपरेखा प्रस्तुत की
2. विटालिक का ZK API प्रस्ताव एथेरियम को एआई का घर बनाने का लक्ष्य रखता है
3. विटालिक एथेरियम लेयर 2 की भूमिका पर पुनर्विचार करते हैं
4. विटालिक की ZCHF बाजी स्टेबलकॉइन बदलाव का संकेत देती है
5. विटालिक एथेरियम फाउंडेशन के दीर्घकालिक दृष्टिकोण के साथ सहमत हुए

ब्लॉकचेन समाचारों को फॉलो करने, Ethereum प्रोटोकॉल की प्रगति को ट्रैक करने, और हमारी नवीनतम कहानियाँ पढ़ने के लिए, आज ही हमारी साप्ताहिक सदस्यता लें।