EIP-8037/EIP-8038 Glamsterdam
Отчёт Ethereum Foundation исследует, как EIP‑8037 и EIP‑8038 в предстоящем хард‑форке Glamsterdam нарушат восемь газовых инвариантов, ставя проекты под угрозу сбоев. В нём рекомендуется разработчикам провести аудит своих контрактов, и это привело к задержке хард‑форка.
Главное
- Glamsterdam переопределяет стоимость газа для нескольких операций, нарушая восемь известных инвариантов.
- Chainsecurity выявила несколько проектов, которые могут выйти из строя после внедрения изменений.
- Хард‑форк отложен до решения выявленных проблем.
- Разработчикам рекомендуется провести аудит своих контрактов на соответствие перечисленным инвариантам, используя предоставленный репозиторий.
- Внутренние и внешние аудиты (Chainsecurity, Dedaub) продолжаются, но охват не может быть исчерпывающим.
Что исследует отчёт
Последний бриф Ethereum Foundation сосредоточен на предстоящем обновлении Glamsterdam, а именно на EIP‑8037 и EIP‑8038, которые меняют ценообразование газа для некоторых опкодов и доступа к состоянию. Главный вопрос — какие существующие смарт‑контракты сломаются, когда новые правила газа аннулируют восемь ранее принятых инвариантов.
Методология и источники данных
Chainsecurity провела эксперименты в тестовой сети и отметила несколько проектов, которые станут уязвимыми при новых правилах. Их выводы задокументированы в публичном блоге и диагностическом инструменте. Фонд также заказывает аудиты у Chainsecurity, Dedaub и своей внутренней команды, хотя признаёт, что полностью охватить весь код on‑ и off‑chain невозможно.
Основные выводы
Отчёт подтверждает, что переоценка газа действительно нарушит восемь конкретных инвариантов, и несколько живых контрактов уже полагаются на эти предположения. Из‑за этого риска группа All Core Devs (ACD) решила отложить хард‑форк и приостановить форк Hoodi, пока проблемы не будут устранены. Работа над последующим обновлением Hegota продолжается без изменений.
Ограничения и предостережения
Хотя выявленные проекты иллюстрируют проблему, охват аудита ограничен; многие контракты могут оставаться уязвимыми, но не протестированы. Призыв Фонда к действию является превентивной мерой, а не окончательным списком всего затронутого кода.
Последствия для сообщества
Разработчикам контрактов, аудиторам и поставщикам инструментов рекомендуется пересмотреть восемь инвариантов — они доступны в отдельном репозитории GitHub — и запустить предоставленные подсказки против своих кодовых баз. Любой проект, обнаруживший влияние, должен связаться с Фондом по адресу [email protected]. Такой совместный подход направлен на обеспечение безопасности сети до начала хард‑форка, сохраняя надёжность Ethereum и уверенность разработчиков.