Соучредитель NEAR Protocol Илля Полосухин подчеркнул растущую угрозу взломов с помощью искусственного интеллекта, которые опережают традиционные методы проверки кода. Полосухин отметил, что ИИ значительно ускоряет обнаружение уязвимостей в программном обеспечении, делая устаревшими модели ручного обзора. В качестве ключевого момента атак, управляемых ИИ, он привел инцидент с Balancer в октябре прошлого года. Для борьбы с этим Полосухин выступает за внедрение формальной верификации, при которой математические доказательства гарантируют соответствие поведения кода спецификациям. ИИ может генерировать эти доказательства, которые затем проверяют люди, сокращая время, необходимое для их создания. Он предлагает расширить применение формальной верификации за пределы смарт-контрактов на критически важное интернет- и сетевое программное обеспечение. Одновременно NEAR выпустил обновление, позволяющее пользователям переключаться на квантово-устойчивые ключи аккаунтов и обеспечивающее автоматическое масштабирование сети при увеличении активности.