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

Полосухин заявил, что формальную верификацию — использование математических доказательств, чтобы убедиться, что поведение кода соответствует спецификациям, — следует внедрять. Он сказал, что ИИ может генерировать большинство доказательств, а люди проверяют их корректность, сокращая время, необходимое для их подготовки. Он добавил, что формальная верификация должна распространяться за пределы смарт‑контрактов на ключевое интернет‑ и сетевое программное обеспечение.

В тот же день NEAR объявила об обновлении, которое позволяет пользователям перейти на ключи учетных записей с постквантовой криптографией, а сеть может автоматически расширять пропускную способность по мере роста активности.