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

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

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

"हमें सोचने का एक अलग तरीका चाहिए," पोलोसुखिन ने कहा। "यह ऐसा नहीं है, 'ओह, हम बेहतर मॉडल के साथ सब कुछ की समीक्षा करेंगे और उम्मीद करेंगे कि अगला बेहतर मॉडल इसे नहीं ढूंढेगा।'"

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

"आपको एआई पर निर्भर रहने की आवश्यकता नहीं है क्योंकि एआई केवल प्रमाण उत्पन्न करता है," उन्होंने कहा। "आप बस सत्यापित करते हैं कि प्रमाण सही है।"

एक हालिया Zcash पहल इसका एक उदाहरण है जिसका पोलोसुखिन वर्णन कर रहे हैं। प्रोजेक्ट टैच्यॉन ने एआई-सहायता प्राप्त सत्यापन का उपयोग करके एक गणितीय प्रमाण तैयार किया कि Zcash का आयरनवुड शील्डेड पूल उसी तरह के अदृश्य नकलीकरण बग को समाहित नहीं कर सकता है जो पिछले महीने उसके ऑर्चर्ड पूल में पाया गया था।

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

पोलोसुखिन यह भी तर्क देते हैं कि यह दृष्टिकोण अंततः स्मार्ट कॉन्ट्रैक्ट्स से परे महत्वपूर्ण इंटरनेट और नेटवर्किंग सॉफ्टवेयर तक जाना चाहिए।

"हमें मौलिक रूप से ब्लॉकचेन कोड — और ईमानदारी से, इंटरनेट पर सभी कोड — को औपचारिक रूप से सत्यापित करने की ओर बढ़ना चाहिए," उन्होंने कहा।

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