ब्यूटेरिन ने कहा, एआई औपचारिक सत्यापन क्रिप्टो सुरक्षा को बढ़ाता है

ब्यूटेरिन ने एआई और कोड सुरक्षा पर नया पोस्ट प्रकाशित किया

एथेरियम के सह-संस्थापक विटालिक ब्यूटेरिन ने 18 मई 2026 को vitalik.eth.limo पर एक ब्लॉग पोस्ट प्रकाशित की। इसमें, उन्होंने तर्क किया कि एआई-सहाय औपचारिक सत्यापन साइबर सुरक्षा के सबसे महत्वपूर्ण उपकरणों में से एक बन जाएगा। औपचारिक सत्यापन एक विधि है जो यह पुष्टि करने के लिए गणितीय प्रमाणों का उपयोग करती है कि सॉफ़्टवेयर ठीक उसी तरह कार्य करता है जैसा कि इरादा किया गया था। ब्यूटेरिन का कहना है कि एआई को औपचारिक सत्यापन के साथ मिलाने से डेवलपर्स को हमलावरों से पहले कमजोरियों को खोजने में मदद मिलेगी।

क्लॉड मिथोस को एआई शक्ति के उदाहरण के रूप में नामित किया गया

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

ब्यूटेरिन ने औपचारिक सत्यापन की सीमाएँ सूचीबद्ध कीं

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

आर्कलिब परियोजना सत्यापित स्टार्क कार्यान्वयन का लक्ष्य रखती है

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