Сооснователь NEAR: AI-хакинг уже обгоняет классические аудиты кода

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

Его решение — формальная верификация: математическое доказательство, что код делает ровно то, что заявлено. Исторически это было дорого и медленно, но AI переворачивает экономику процесса: модель генерирует доказательство, человеку остаётся только проверить его корректность. Доверять самому AI при этом не требуется.

Рабочий пример уже есть — Project Tachyon у Zcash: AI-assisted верификация выдала математическое доказательство, что шилдед-пул Ironwood не может содержать баг с необнаружимой подделкой монет, аналогичный найденному в пуле Orchard месяцем ранее. По оценке проекта, работа, занимавшая годы, сократилась до недель.

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

Источник:
https://www.theblock.co/post/408943/ai-assisted-hacking-outpacing-traditional-code-reviews-near-co-founder-says
————————————————————
BredoStrategy Vault
Hyperliquid рефка
BredoStrategySubs