Сооснователь аудиторской компании CertiK Жунхуэй Гу заявил, что генеративный ИИ усиливает позиции атакующих в сфере DeFi. Его слова приводит ForkLog: по оценке Гу, в апреле выдалось лишь трое суток, когда не было зафиксировано ни одного взлома.
Причину он видит в том, что нейросети удешевляют разведку уязвимостей. Модель помогает быстрее находить слабые места в смарт-контрактах, а найденный рабочий эксплойт затем тиражируется на другие протоколы со схожей архитектурой. Такой расклад Гу называет игрой с неравными условиями.
При этом он оговаривается: абсолютно защищённого кода не существует. В качестве объяснения эксперт приводит «проблему остановки» — фундаментальное ограничение теории алгоритмов, из-за которого нельзя заранее просчитать все варианты работы программы.
«Даже если запустить ИИ-модель на 30 часов и та не найдет уязвимости — это не доказывает, что код чист. Единственный известный способ — формальная верификация», — цитирует Гу ForkLog.
Иными словами, отрицательный результат проверки нейросетью не подтверждает безопасность контракта. Единственным надёжным методом Гу считает математическое доказательство корректности кода — формальную верификацию. Для DeFi-проектов это означает дополнительный аргумент в пользу строгих проверок перед запуском, хотя такие процедуры дороги и трудоёмки.
Источник: Telegram: ForkLog
Комментарии 6