به گفته ایلیا پولوسوخین، یکی از بنیان‌گذاران پروتکل NEAR، هوش مصنوعی توانایی هکرها را برای یافتن آسیب‌پذیری‌های نرم‌افزاری سریع‌تر از آنکه امنیت سنتی بتواند آنها را رفع کند، به شدت افزایش داده است. او استدلال می‌کند که توسعه‌دهندگان باید برای ایمن‌سازی کدهای خود به اثبات‌های ریاضی روی آورند.

پولوسوخین روز دوشنبه در مصاحبه‌ای با گرت جنکینزون در پادکست "The Starting Block" از The Block گفت: "من در واقع می‌گویم اکتبر گذشته – فکر می‌کنم Balancer اولین مورد بود – همان زمانی بود که هک با کمک هوش مصنوعی آغاز شد."

پولوسوخین اظهار داشت که امنیت سایبری تا به امروز بیشتر شامل این بوده که "افراد باهوش" کدها را بررسی کرده و امیدوار باشند که هیچ فرد باهوش‌تری چیزی را که آنها از دست داده‌اند، پیدا نکند. او گفت این طرز تفکر حتی قبل از ظهور هوش مصنوعی نیز ناقص بود، اما مدل‌های جدیدتر و توانمندتر آن را حتی کمتر پایدار می‌کنند.

پولوسوخین گفت: "ما به روش تفکر متفاوتی نیاز داریم. اینطور نیست که 'او، ما قرار است همه چیز را با یک مدل بهتر بررسی کنیم و امیدوار باشیم که مدل بهتر بعدی آن را پیدا نکند.'"

راه حل پیشنهادی او تأیید رسمی (formal verification) است که به صورت ریاضی ثابت می‌کند کد "آنچه را که ادعا می‌کند انجام می‌دهد، انجام می‌دهد." این فرآیند از لحاظ تاریخی پرهزینه، کند و کار فشرده بوده است، اما پولوسوخین گفت هوش مصنوعی اکنون می‌تواند به تولید بیشتر اثبات لازم کمک کند، که سپس می‌تواند به طور مستقل بررسی شود.

او گفت: "شما نیازی به اتکا به هوش مصنوعی ندارید زیرا هوش مصنوعی فقط اثبات را تولید می‌کند. شما فقط تأیید می‌کنید که اثبات صحیح است."

یک ابتکار اخیر Zcash نمونه‌ای از آنچه پولوسوخین توضیح می‌دهد است. پروژه تاکیون (Tachyon) از تأیید به کمک هوش مصنوعی برای تولید اثبات ریاضی استفاده کرد که نشان می‌دهد استخر محافظت‌شده آیرون‌وود (Ironwood) Zcash نمی‌تواند همان نوع اشکال جعل غیرقابل کشف را که ماه گذشته در استخر اورچارد (Orchard) آن یافت شد، داشته باشد.

پروژه تاکیون اعلام کرد که پیشرفت‌ها در تولید اثبات با کمک هوش مصنوعی، کاری را که زمانی سال‌ها طول می‌کشید، به چند هفته کاهش داده است.

پولوسوخین همچنین استدلال می‌کند که این رویکرد باید در نهایت فراتر از قراردادهای هوشمند به نرم‌افزارهای حیاتی اینترنت و شبکه‌سازی گسترش یابد.

او گفت: "ما باید به طور اساسی به سمت ساخت کد بلاکچین – و صادقانه بگویم، تمام کدهای اینترنت – به صورت رسمی تأیید شده حرکت کنیم."

به طور جداگانه روز دوشنبه، NEAR ارتقایی را با هدف آماده‌سازی شبکه برای نیازهای امنیتی و مقیاس‌پذیری نوظهور عرضه کرد. کاربران اکنون می‌توانند به کلیدهای حساب مقاوم در برابر کوانتوم سوئیچ کنند، در حالی که شبکه می‌تواند با افزایش فعالیت، ظرفیت خود را به طور خودکار گسترش دهد.