Розробники 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 адреса не оприлюднюватиметься. Обов'язкові поля позначені *