EIP-8037/EIP-8038 Glamsterdam
Звіт Ethereum Foundation розглядає, як EIP‑8037 та EIP‑8038 у майбутньому хард‑форку Glamsterdam порушать вісім газ‑пов’язаних інваріантів, піддаючи проєкти потенційним збоям. Рекомендовано розробникам провести аудит своїх контрактів, що спричинило затримку хард‑форку.
Головне
- Glamsterdam переопреділяє вартість газу для кількох операцій, порушуючи вісім відомих інваріантів.
- Chainsecurity виявив кілька проєктів, які можуть зазнати збою після впровадження змін.
- Хард‑форк відкладено до вирішення виявлених проблем.
- Розробникам радять провести аудит своїх контрактів щодо зазначених інваріантів, використовуючи наданий репозиторій.
- Внутрішні та зовнішні аудити (Chainsecurity, Dedaub) тривають, проте охопити все неможливо.
What the report investigates
Останній короткий звіт Ethereum Foundation зосереджений на майбутньому оновленні Glamsterdam, зокрема EIP‑8037 та EIP‑8038, які змінюють ціноутворення газу для певних опкоду та доступу до стану. Основне питання — які існуючі смарт‑контракти зламаються, коли нові правила газу анулюють вісім раніше прийнятих інваріантів.
Methodology and data sources
Chainsecurity провела експерименти в тестовій мережі та позначила кілька проєктів, які стануть вразливими за нових правил. Їхні висновки задокументовано у публічному блозі та діагностичному інструменті. Фонд також замовляє аудити у Chainsecurity, Dedaub та у власної внутрішньої команди, хоча визнає, що повний огляд усього коду on‑ і off‑chain неможливий.
Main findings
Звіт підтверджує, що переоцінка газу дійсно порушить вісім конкретних інваріантів, і кілька живих контрактів вже покладаються на ці припущення. Через цей ризик група All Core Devs (ACD) вирішила відкласти хард‑форк і відкласти форк Hoodi, доки проблеми не будуть усунуті. Робота над наступним оновленням Hegota продовжується без змін.
Caveats and limitations
Хоча виявлені проєкти ілюструють проблему, обсяг аудиту обмежений; багато контрактів можуть залишатися вразливими, але залишаються неперевіреними. Заклик Фонду до дії є запобіжним заходом, а не остаточним списком усього ураженого коду.
Implications for the community
Розробникам контрактів, аудиторам та постачальникам інструментів радять переглянути вісім інваріантів — доступних у спеціальному репозиторії GitHub — і запустити надані запити проти своїх кодових баз. Будь‑який проєкт, який виявив вплив, має зв’язатися з Фондом за адресою [email protected]. Такий спільний підхід має на меті забезпечити безпеку мережі перед проведенням хард‑форку, зберігаючи надійність Ethereum та довіру розробників.