Изменение расчёта комиссии за газ может вызвать сбой смарт-контрактов? Ethereum экстренно приостанавливает форк Hoodi для проверки восьми рисков безопасности

Автор: TechFlow

Конференция основных разработчиков Ethereum (ACD) приняла решение отложить процесс обновления тестовой сети Hoodi, поскольку аудиторские организации сообщили, что два предстоящих предложения по оптимизации расхода Gas напрямую опрокинут фундаментальные предположения о работе системы, на которые долгое время опирались уже развернутые смарт-контракты.

Фонд Ethereum публично предупредил отрасль о необходимости самостоятельной проверки и совместно с рядом организаций проводит аудит кода, чтобы предотвратить ситуацию, при которой хардфорк напрямую приведет к логическим сбоям или параличу протоколов управления активами в блокчейне.

Перестройка базового механизма тарификации ставит под угрозу традиционную логику доступа к состоянию

В предстоящем обновлении Ethereum Glamsterdam ключевую задачу по пересмотру ценообразования механизма хранения состояния возлагают на спецификацию предложения EIP-8037 и спецификацию предложения EIP-8038.

Исторические данные состояния Ethereum продолжают разрастаться, а существующая модель фиксированных затрат трудно точно отражает реальные аппаратные расходы узлов на поддержание создания состояния и его частое чтение. Ключевой целью обоих предложений является полное разделение механизмов тарификации за создание состояния и доступ к нему, а также пересмотр динамических весов для конкретных операционных кодов.

Данная базовая модификация призвана сдержать тенденцию к неконтролируемому росту состояния во всей сети, однако на уровне исполнения она напрямую разрушает системные константы, которые разработчики приложений обычно принимают как неизменные величины.

Нарушение статических допущений о Gas выявляет риски, связанные с восемью инвариантами

В ходе тестирования официальный анализ ChainSecurity указывает, что множество смарт-контрактов в блокчейне и внеблочной инфраструктуры длительное время опирались на ряд непредвиденных статических допущений о расходе Gas. Как только правила тарификации выполнения операционных кодов изменятся, соответствующие бизнес-логики могут быть внезапно прерваны без каких-либо предупреждений.

Нарушенные инварианты охватывают наиболее распространенные инженерные паттерны в разработке контрактов. Некоторые протоколы для предотвращения атак повторного входа (reentrancy) или контроля диапазона исполнения используют жестко заданные лимиты Gas при вызове дочерних контрактов. Рост стоимости тарификации приведет к тому, что межконтрактные вызовы, ранее выполнявшиеся успешно, будут напрямую откатываться из-за внутреннего исчерпания остатков Gas.

Другие критические риски скрыты в логике отказоустойчивости, зависящей от механизмов перехвата исключений. Когда внешний вызывающий больше не может точно предугадать затраты на внутреннее исполнение, либо некоторые контракты-агенты перенаправляют остатки исполнения на основе фиксированных пропорций, траектория выполнения всего потока транзакций будет полностью искажена, что даже способно привести к блокировке средств в незавершенных ветвях машины состояний.

Команда управления сетью экстренно приостанавливает хардфорк, чтобы избежать каскадных проблем в блокчейне

Столкнувшись с потенциальной угрозой системной несовместимости, разработчики клиентов Ethereum оперативно приняли оборонительные меры в рамках последнего процесса координации ядра сети.

Согласно материалу «Основная сеть нового блокчейна Nibiru скоро запустится: разбор технических особенностей и практик безопасной разработки», освещающему историю управления Ethereum, всякий раз, когда параметры базового консенсуса или исполнения вступают в непоколебимый конфликт с существующей экосистемой, сообщество разработчиков обычно предпочитает отложить график продвижения ради обеспечения достаточного окна безопасности.

На совещании ACD разработчики пришли к консенсусу: до полного выяснения распределения потенциально затрагиваемых контрактов и выпуска руководств по совместимости хардфорк тестовой сети HoodI проводиться не будет. Слепой хардфорк не только не позволит эффективно проверить стабильность новых правил, но и с высокой вероятностью спровоцирует каскадные сбои в мультиподписных кошельках, кроссчейн-мостах и децентрализованных кредитных протоколах.

Фонд публикует инструменты аудита для стимулирования сетевой проверки

Учитывая, что сложность децентрализованных приложений ограничивается не только открытым ончейн-байт-кодом, но и глубоко заложена в проприетарную логику оффчейн-маршрутизации, скриптов расчетов и ботов ликвидации, возможности официальных аудиторов не позволяют проверить все граничные случаи всей экосистемы. Исследователь Ethereum Мариус ван дер Вейден от имени команды прямо признал это ограничение в техническом объявлении Фонда Ethereum.

Фонд Ethereum официально опубликовал на платформе хостинга кода специальный репозиторий для проверок, детально разобрав технические аспекты восьми затронутых инвариантов и предоставив примеры проблемного кода. Данный репозиторий также содержит специализированные шаблоны запросов для популярных инструментов помощи аудитам и сканеров кода, позволяя командам контрактной разработки, специалистам по безопасности и операторам инфраструктуры быстро сверить свою бизнес-логику.

Команда основных разработчиков Ethereum и организации по безопасности запланировали на заседании ACD на следующей неделе свести воедино первые результаты самопроверок, собранные участниками. По итогам этой встречи условия активации тестовой сети Hoodi и корректировки предложенного плана будут оценены заново.