Сооснователь NEAR: взлом с помощью ИИ обгоняет традиционные code reviews

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

Полосухин предлагает формальную верификацию как решение в сфере безопасности

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

«Вам не нужно полагаться на ИИ, потому что ИИ просто генерирует доказательство», — сказал Полосухин. «Вам нужно лишь убедиться, что доказательство корректно».

Он утверждал, что до этого кибербезопасность в основном сводилась к тому, что «умные люди» просматривают код и надеются, что никто умнее не найдёт то, что они пропустили. «Нужен другой подход к мышлению», — сказал Полосухин. «Это не так: „О, мы всё проверим с помощью более хорошей модели и надеемся, что следующая более хорошая модель не найдёт того же“».

Полосухин заявил, что в итоге этот подход должен выйти за пределы смарт-контрактов и применяться к критически важному интернет- и сетевому программному обеспечению. «Нам нужно фундаментально перейти к тому, чтобы код блокчейна — и, честно говоря, весь код в интернете — подвергался формальной верификации», — сказал он.

Проект Zcash Tachyon демонстрирует генерацию доказательств с помощью ИИ

Проект Tachyon применил верификацию с поддержкой ИИ, чтобы получить математическое доказательство того, что защищённый пул Ironwood в Zcash не может содержать тот же тип недетектируемого бага с подделкой, который был обнаружен в пуле Orchard в прошлом месяце. Tachyon заявил, что достижения в генерации доказательств с помощью ИИ сократили объём работы, который раньше занимал годы, до нескольких недель.

NEAR запускает обновление, устойчивое к квантовым атакам

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

FAQ

Что сооснователь NEAR Protocol сказал о взломе с помощью ИИ?

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

Как, по словам Полосухина, работает формальная верификация?

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

Какое обновление объявил NEAR?

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