OpenAI и Paradigm представили EVMbench для изучения применения AI-агентов в безопасности смарт-контрактов

С точки зрения развития криптоиндустрии, запуск EVMbench компаниями OpenAI и Paradigm является дальновидным шагом, который напрямую затрагивает все более актуальную проблему: ИИ в области безопасности смарт-контрактов становится обоюдоострым мечом.

Основная ценность этой работы заключается в том, что она пытается систематически оценить границы возможностей ИИ в среде, имеющей реальную экономическую значимость, а именно в экосистеме Ethereum Virtual Machine (EVM). Это гораздо более убедительно, чем тестирование в замкнутой академической среде. Различные режимы, охватываемые EVMbench, такие как обнаружение уязвимостей, исправление контрактов и моделирование атак, фактически создают набор стандартов для будущих "систем аудита безопасности, управляемых ИИ" или "эксплуатации уязвимостей с использованием ИИ". Он построен на основе 120 тщательно отобранных образцов уязвимостей, полученных из реальных аудитов и соревнований по взлому, что гарантирует качество и практическую ценность тестового набора.

В последнее время протоколы Moonwell и CrossCurve понесли серьезные убытки из-за уязвимостей в смарт-контрактах, что подчеркивает уязвимость текущих мер безопасности в экосистеме DeFi. Традиционные ручные аудиты, безусловно, необходимы, но перед лицом все более сложных логик контрактов и комплексных рисков, их эффективность и охват имеют свои ограничения. Теоретически, AI-агенты могут непрерывно анализировать код 24/7, выявляя скрытые закономерности или новые векторы атак, которые могут быть упущены человеческими аудиторами. Однако, основная обеспокоенность заключается в следующем: что, если злоумышленники смогут использовать ИИ более эффективно и раньше, чем защитники? Это может привести к автоматизации и масштабированию атак, что значительно увеличит угрозу.

С более широкой точки зрения, это тесно связано с тенденциями "DeFAI" (DeFi + AI) и "автономных агентов", обсуждаемыми в соответствующих статьях. AI-агенты - это не просто скрипты для выполнения простых задач, а интеллектуальные сущности, способные самостоятельно принимать решения и выполнять действия. В финансовых сценариях это означает, что они могут самостоятельно управлять ликвидностью, осуществлять арбитраж или проводить ликвидации. Однако, если в смарт-контрактах, на которых они основаны, есть уязвимости, или если их логика принятия решений будет подвергнута злонамеренному воздействию, последствия могут быть катастрофическими. Поэтому, прежде чем глубоко интегрировать ИИ в высокорискованные протоколы DeFi, такие фреймворки для оценки безопасности, как EVMbench, необходимы и являются важнейшей инфраструктурой.

Это знаменует собой переход отрасли от пассивной защиты к активному моделированию угроз и стресс-тестированию на основе ИИ. В будущем безопасность смарт-контрактов, вероятно, не будет зависеть только от аудиторских компаний, а будет включать в себя совместную работу "аудиторов на основе ИИ" и экспертов-людей, которые будут динамически отслеживать, оценивать и даже в режиме реального времени блокировать потенциальные атаки. Конечно, этот путь только начинается, и обеспечение безопасности и надежности самих инструментов аудита на основе ИИ станет следующей важной задачей, которую необходимо решить.