Arbitrum приостановила активацию новых контрактов Stylus по соображениям безопасности

Совет по безопасности Arbitrum 2 октября в экстренном порядке временно приостановил активацию новых контрактов Stylus в сетях Arbitrum One и Arbitrum Nova. Как следует из сообщения Arbitrum Foundation, мера связана с риском для устойчивости работы сети (liveness): угрозу могут представлять вручную написанные программы WebAssembly. Что именно заморожено Ограничение касается только этапа активации, который делает контракт Stylus вызываемым. На период паузы разработчики не смогут активировать новые контракты Stylus и повторно активировать истекшие, но уже активированные контракты продолжат работать до окончания срока действия. Поскольку активация переводит развернутый контракт в исполняемое состояние, заморозка блокирует запуск новых приложений Stylus и вывод обновлений в продакшн. По умолчанию активация действует 365 дней; продления keepalive по-прежнему остаются безразрешительными. Развертывание и исполнение обычных контрактов Solidity и EVM не затрагиваются. Причины решения Stylus, запущенный в сентябре 2024 года, позволяет писать совместимые с Ethereum смарт-контракты на языках вроде Rust с компиляцией в WebAssembly. Механизм задуман как инструмент для владельцев сетей — для более гибкой настройки, а для разработчиков — для оптимизации ключевых контрактов. Основная обеспокоенность связана с вручную подготовленными WASM-программами, которые могут создавать риск отказа в обслуживании и нарушать liveness сети. В фонде подчеркнули, что выявленные на сегодня проблемы в проверенных контрактах Stylus касались только liveness; угрозы пользовательским средствам не было. Как реализована пауза Совет по безопасности ввел ограничение, подняв требование по gas для активации Stylus до фактически запретительного уровня. Это изменение конфигурации не требует обновления ArbOS — операционного ПО сети. Arbitrum Foundation заявила, что сохраняет уверенность в Stylus и планирует возобновить активации, ограничив возможность использования вручную написанных WASM-программ. Дополнительная защита для выводов В рамках того же экстренного решения добавлен предохранитель для одношаговых доказательств BoLD (one-step proofs) в Arbitrum One. Механизм призван защитить от ситуации, при которой принятие противоречащих друг другу доказательств могло бы задержать неподтвержденные выводы средств. При любой подобной приостановке Arbitrum One продолжит обрабатывать транзакции в штатном режиме. ArbOS 61 уже продлил срок действия всех активных контрактов Stylus в Arbitrum One, поэтому ни один из них не истечет раньше 20 августа 2027 года. Что дальше Arbitrum Foundation сообщила, что будет совместно с ArbitrumDAO определять сроки и формат возобновления активаций; конкретный таймлайн Советом по безопасности пока не объявлен. Пауза стала очередным эпизодом в серии инцидентов вокруг Arbitrum: в июле произошел взлом моста AFX Trade на $24 млн, а в апреле была зафиксирована заморозка на $71 млн, связанная с атакой на KelpDAO.