Blockaid предупредил 5 ноября, что ошибка в execution-клиенте reth и программном обеспечении, построенном на нем, включая op-reth, может приводить к тому, что ноды вычисляют неверные state roots. Компания заявила, что незапatchенные ноды могут остановиться или возвращать неверные 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 заявила, что закрывает очереди на пополнение вaults версии V1, приостанавливает выделения и снижает экспозицию к активам, связанным через LayerZero, как ранее сообщал The Defiant. Frax заявила, что её активы и контракты не затронуты и работают в обычном режиме, в то время как некоторые маршруты LayerZero временно приостановлены.
Blockaid сказал, что LayerZero приостановила офлайн-инфраструктуру на некоторых затронутых цепочках, пока каждая не подтвердит, что она исправлена, описав сообщения как «задержанные, а не утерянные».