Ethereum отложил тест Glamsterdam в Hoodi из-за риска для смарт-контрактов

Разработчики Ethereum отменили обновление Glamsterdam в тестовой сети Hoodi, намеченное на 26 октября, после того как исследователи безопасности показали, что новые правила газа могут изменить поведение уже работающих в мейннете смарт-контрактов при неудачных операциях, сообщает CoinDesk. Решение приняли на четверговом созвоне All Core Devs Execution. Новой даты не объявлено.

Hoodi должен был стать последней публичной репетицией перед мейннетом — об этом мы писали в обзоре того, что меняет Glamsterdam. В тестнете Sepolia обновление заработало ещё 6 октября.

Что нашли исследователи

Компания по безопасности ChainSecurity 13 октября опубликовала анализ двух изменений газа в обновлении:

• EIP-8037 повышает стоимость создания новых записей в состоянии Ethereum — базе данных, которую хранит каждый узел, — чтобы сдержать её рост при увеличении блоков.
• EIP-8038 меняет цену доступа к этому состоянию.

Вместе они меняют то, сколько газа остаётся, когда один контракт вызывает другой, а тому не хватает газа. Многие контракты перехватывают такую ошибку и продолжают работу: например, записывают, что попытка не удалась, или отключают повторы. Часть из них рассчитывает, что остатка газа на этот шаг не хватит и вся транзакция откатится. По правилам Glamsterdam газ, потраченный на новые записи, может возвращаться при отмене изменения — и тогда газа может хватить, чтобы шаг обработки ошибки завершился. В атаке, известной как insufficient gas griefing, злоумышленник намеренно отправляет слишком мало газа, и контракт может навсегда пометить корректную заявку пользователя как неудачную.

Риск есть и в обратную сторону. По расчёту ChainSecurity, создание новой ячейки хранилища может стоить 110 020 газа после исчерпания отдельного лимита против 22 100 сейчас, поэтому контракт с фиксированным бюджетом газа может не выполнить обычную операцию.

13 реальных контрактов

В пятницу ChainSecurity сообщила, что нашла 13 реальных примеров контрактов, которые могут быть затронуты, и согласует ответственное раскрытие с проектами, не называя их. Компания показала механизм проблемы, но не утверждает, что какой-либо крупный протокол уязвим, а сегодня ничего не угрожает, так как в мейннете этих правил нет. Исследователь безопасности pcaversaccio 21 октября назвал риски «серьёзными» в комментарии на GitHub и призвал пересмотреть форк.

Что это значит для графика

Запланированное повышение лимита газа в Hoodi до 200 млн тоже отложено. По данным Cointelegraph, разработчики рассматривали для мейннета начало декабря с окончательным решением после успешного теста в Hoodi; теперь это под вопросом. Такие обновления — это скоординированные хардфорки, поэтому перед новой датой все клиенты должны выпустить одинаковые правила. Параллельно исследователи работают над планом сократить финальность Ethereum примерно до четырёх минут.