Создатель NEAR: скорость атак с помощью ИИ, осуществляемых хакерами, сейчас превышает темпы традиционной проверки кода

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

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