Ethereum виправив баг Glamsterdam, що міг перенаправити стейкінг-депозити

Розробники Ethereum влили виправлення бага в майбутньому оновленні Glamsterdam, через який за певних умов ETH, внесений для запуску нового валідатора, міг дістатися білдеру блоків, повідомляє CoinDesk. Вада була в специфікації, а не в мейннеті, і коштів ніхто не втратив.

Контекст: у білдерів і валідаторів окремий облік

Зараз дві ролі поєднані: білдери збирають блоки з транзакцій, а валідатори, які стейкають ETH, пропонують і підтверджують їх. Glamsterdam формально розділяє ці ролі на рівні протоколу, і вносити ETH можуть і ті, й інші. Їхні баланси мають обліковуватися окремо. (Якщо стейкінг вам у новинку, почніть із пояснення що таке стейкінг.)

Як працював баг

Проблема виникала в момент оновлення, коли Ethereum обробляв би депозити, що ще стоять у черзі. Дослідник під ніком avsetsin описав такий сценарій:

• оператор реєструється як білдер під певним публічним ключем;
• потім стейкінг-сервіс вносить ETH, щоб запустити валідатора з тим самим ключем;
• за чернеткою правил обидва депозити зараховуються білдеру.

«Оператор може вивести кошти протоколу», — написав avsetsin. Оскільки валідатор так і не з'являється, стейкінг-сервіс не може надати доказ, потрібний для повернення ETH.

Avsetsin, якого вказано учасником GitHub-організації Lido, провів, за його словами, «швидке дослідження з ШІ» щодо можливого впливу на Lido, Origin і Rocket Pool. Результат залежав від того, як кожен протокол обробляє депозити, і дослідник наголосив, що це «умовні знахідки в коді, а не підтверджені живі експлойти»: наявні перевірки, які відхиляють попередній депозит білдера, могли б зупинити атаку.

Відхилили, а потім влили

Уперше розробники закрили запропоноване виправлення 19 жовтня. «Наразі клієнти недостатньо підтримали цю зміну», — написав Джастін Траглія, який супроводжує консенсусні специфікації Ethereum. Після додаткового розгляду його знову відкрили, 23 жовтня avsetsin додав тести, а в понеділок, 26 жовтня, Траглія влив зміну.

За новим правилом депозити в черзі сортуються за withdrawal credentials — полем, яке визначає, куди зрештою можуть піти кошти. Депозит валідатора залишається за валідатором, навіть якщо білдер використовує той самий ключ.

Що далі

Зміна вже є в консенсусних специфікаціях, але клієнтські команди ще мають втілити її у своєму ПЗ. Glamsterdam уже працював у тестнеті Sepolia, а форк у Hoodi, запланований на 26 жовтня, відклали через інший ризик, пов'язаний із правилами газу. Перш ніж призначати мейннет, потрібна нова дата для Hoodi. Як розгортаються такі оновлення мережі, пояснюємо в матеріалі хард-форк чи софт-форк.