Blockaid попередив 5 листопада, що баг у reth execution client та програмному забезпеченні, побудованому на ньому, включаючи op-reth, може призводити до того, що ноди обчислюватимуть неправильні state roots. Компанія зазначила, що ноди без патчів можуть зупинитися або повертати неправильні state proofs.
«Це баг у коректності, а не експлойт», — сказав Blockaid, повідомивши про відсутність відомих втрат коштів. Його попередження стосується клієнтів на основі reth у кількох сумісних з Ethereum мережах, включаючи багато ланцюгів OP Stack.
https://x.com/i/status/2118405438291198020
Ризик пов’язаний з програмним забезпеченням, яке виконує транзакції та підтримує перегляд блокчейну нодою. У описі op-reth Optimism зазначено, що клієнт виконує блоки Layer 2, підтримує стан ланцюга та відповідає на запити від додатків. Неправильні докази можуть підірвати перевірку, від якої залежать ці додатки.
Доступні виправлені збірки
Blockaid ідентифікував три виправлені версії:
Виправлення upstream reth було об’єднано 3 листопада. У примітках до випуску Base чітко зазначено, що оновлення запобігає невідповідності state-root і рекомендує операторам Base Mainnet і Sepolia оновитися в найближчий зручний для них термін.
Розробники Celo та Mantle також об’єднали зворотні порти, застосувавши виправлення до старіших версій програмного забезпечення. Патч Mantle спрямований на його виробничу лінію v1.6.2. Попередження Blockaid не вказувало повний діапазон вразливих версій.
Blockaid закликав операторів нод та провайдерів RPC оновити системи, а протоколи та мости — підтвердити, що їхні провайдери вже виправлені.
Чому важливі неправильні докази
Пояснення виправлення Celo описує, як помилка може пропускати ново доданий запис під час оновлення структури даних, використовуваної для обчислення кореня стану — криптографічного підсумку, проти якого перевіряються дані акаунтів та сховища контрактів.
Специфікація eth_getProof описує докази, які дозволяють додаткам перевіряти значення акаунтів і сховищ проти кореня стану блоку. Це робить різницю між відповіддю ноди та довіреним коренем критичною для мостів, легких клієнтів і контрактів, які залежать від таких доказів: неправильна відповідь не є автоматичною авторизацією на переказ коштів.
Наприклад, специфікація виведення Optimism вимагає доказ включення повідомлення про виведення і вказує, що транзакція відміняється, якщо перевірка доказу не вдається. Погані дані доказу можуть перешкоджати перевірці, а не забезпечувати успішне викрадення.
Заходи обережності вже досягли користувачів DeFi. Gauntlet сказав, що закриває черги поповнення скриньок V1, призупиняє виділення та зменшує експозицію до активів, з’єднаних через LayerZero, як раніше повідомляв The Defiant. Frax сказав, що його активи та контракти не постраждали і працюють нормально, тоді як деякі маршрути LayerZero тимчасово призупинені.
Blockaid сказав, що LayerZero призупинив позачергову інфраструктуру на деяких вплинутих ланцюгах, поки кожен з них не підтвердить, що він виправлений, описавши повідомлення як «затримані, а не втрачені».