Разработчики Ethereum отменили запуск хард-форка Glamsterdam в тестовой сети Hoodi, назначенный на 26 октября. Исследователи безопасности показали, что новые правила учёта газа могут изменить поведение смарт-контрактов, которые уже работают в основной сети. Новой даты нет.
Что именно отложили
Активацию на Hoodi планировали на 26 октября в 17:42:48 UTC. Решение о переносе приняли на встрече All Core Devs Execution в четверг, 22 октября. По сообщению Ethereum Foundation, команды хотят сначала выяснить, как часть предложений взаимодействует с контрактами, развёрнутыми в сети.
Вместе с запуском отложили и повышение gas limit на Hoodi до 200 миллионов. На тестовой сети Sepolia обновление активировали 6 октября, и оно прошло без отмен. Hoodi должен был стать следующей публичной репетицией.
Hoodi служит публичным полигоном перед основной сетью. Именно после успешного теста на ней разработчики фиксируют дату активации в мейннете, поэтому отмена одного запуска сдвигает весь график обновления.
Glamsterdam состоит из нескольких изменений:
- новая система выбора строителей блоков
- улучшения, которые позволят сети обрабатывать более крупные блоки
- пересмотр учёта газа для операций со хранилищем
Где скрывается риск
Проблема касается предложений EIP-8037 и EIP-8038. Первое меняет плату за создание новых записей в базе данных Ethereum, чтобы сдержать её рост, когда сеть обрабатывает больше транзакций. Анализ ChainSecurity от 13 октября показал: вместе со вторым предложением оно меняет реакцию контракта, когда вызванный им другой контракт исчерпывает газ.
Часть контрактов ловит сбой и идёт дальше. Они записывают, что попытка не удалась, блокируют повторные попытки или переходят к следующему шагу. Разработчики иногда рассчитывают, что газа на эти действия уже не останется, и тогда вся транзакция откатывается. Glamsterdam это меняет. Газ, потраченный на создание записей, могут возвращать, когда изменения отменяют, и его хватает на обработку сбоя.
Атака возможна только там, где контракт использует остаток газа как предохранитель. У авторов таких контрактов не было причин сомневаться в этом допущении, ведь оно действовало до сих пор. Теперь каждый вызов, обрабатывающий сбой, придётся проверять вручную.
Есть и обратный риск. По расчётам ChainSecurity, создание нового слота хранилища при исчерпанном отдельном лимите потребует 110 020 газа вместо 22 100. Контракт со старым бюджетом газа может не выполнить вполне валидную операцию.
Что говорят исследователи
ChainSecurity описывает атаку insufficient gas griefing, при которой злоумышленник намеренно даёт легитимной операции слишком мало газа. Если защита от неё опиралась на остаток газа, контракт может навсегда зафиксировать неудачное действие. Например, убрать заявку пользователя или отключить повторную попытку, и человек не завершит операцию, хотя она была корректной.
Фирма подчеркнула, что не все проверки на основе газа станут ненадёжными. Часть защиты будет работать, но разработчикам нужно пересмотреть код и учесть новые правила. Свои контракты они должны проверить как можно скорее.
Комментарий pcaversaccio на GitHub от 21 октября оценивает риски как "серьёзные" и призывает пересмотреть хард-форк. Названий проектов, которых касаются 13 примеров, ChainSecurity не обнародовала. С ними фирма координирует ответственное раскрытие.
Что с основной сетью
Даты активации Glamsterdam в основной сети Ethereum нет. Разработчики рассматривали начало декабря и собирались утвердить график после успешного теста на Hoodi. Теперь этот план под вопросом.
Публично не доказано, что крупный протокол в продакшене можно атаковать через эти предложения. Признаков эксплуатации тоже нет. ChainSecurity лишь продемонстрировала механизмы.
Для пользователей прямых последствий пока нет. Действующие контракты работают по старым правилам, пока хард-форк не активируют в основной сети. У команд есть время на проверку до утверждения графика.
Ранее Ethereum Foundation предупреждала, что модель газа в Glamsterdam может сломать часть крипто-кошельков, индексаторов и оценщиков комиссии, которые опираются на фиксированные допущения. Теперь к этому списку добавились и сами контракты.
Комментарии
Ваш e-mail адрес не будет опубликован. Обязательные поля отмечены *