Автор: Shenchao TechFlow
Встреча основных разработчиков Ethereum (ACD) приняла решение приостановить процесс обновления тестовой сети Hoodi, поскольку аудиторская фирма по безопасности сообщила, что два предстоящих предложения по улучшению Gas напрямую опровергнут базовые рабочие допущения, на которые давно полагаются многие развернутые смарт-контракты.
Фонд Ethereum публично выпустил предупреждение о самопроверке для всей отрасли и совместно с рядом учреждений запустил аудит кода, чтобы предотвратить ситуацию, когда хард-форк напрямую приведет к тому, что ончейн-протоколы активов впадут в логические аномалии или паралич.
Перестройка базовой тарификации сотрясает традиционную логику доступа к состоянию
В предстоящем обновлении Ethereum Glamsterdam спецификация предложения EIP-8037 и спецификация предложения EIP-8038 берут на себя ключевую задачу пересмотра цен механизма хранения состояния.
Исторические данные о состоянии Ethereum продолжают расти, и исходная модель фиксированного потребления едва ли может точно отразить реальные аппаратные затраты узлов на поддержание создания состояния и частых чтений. Основная цель этих двух предложений — полностью развязать способы тарификации создания состояния и доступа к состоянию, а также заново установить динамические веса для конкретных опкодов.
Эта базовая перестройка призвана сдержать тенденцию неупорядоченного разрастания состояния по всей сети, но на уровне исполнения она напрямую опровергает системные константы, которые разработчики считают фиксированными при построении приложений.
Крах статических допущений о Gas обнажает восемь рисков инвариантов
Компания по безопасности официальный анализ ChainSecurity указала в ходе тестирования, что большое количество ончейн-смарт-контрактов и офчейн-инфраструктуры давно построены на нескольких неожиданных статических допущениях о Gas. Как только правила тарификации потребления при исполнении опкодов резко изменятся, соответствующая бизнес-логика будет напрямую прервана без какого-либо предупреждения.
Эти нарушенные инварианты охватывают наиболее распространенные инженерные паттерны в разработке контрактов. Чтобы предотвратить атаки повторного входа или контролировать область исполнения, некоторые протоколы используют жестко заданные лимиты Gas при вызове субконтрактов. Рост стоимости тарификации приведет к тому, что межконтрактные вызовы, которые изначально могли выполняться беспрепятственно, будут напрямую откатываться из-за исчерпания внутреннего Gas.
Другие ключевые риски скрываются в логике отказоустойчивости, полагающейся на механизмы перехвата исключений. Когда внешний вызывающий больше не может точно предсказать внутреннее потребление при исполнении, или когда некоторые прокси-контракты пересылают остаток исполнения на основе фиксированных пропорций, путь исполнения всего потока транзакций будет полностью искажен, и даже может привести к блокировке средств в незавершенных ветвях конечного автомата.
Команда управления срочно останавливает форк, чтобы избежать ончейн-паники
Столкнувшись с потенциальными системными рисками совместимости, разработчики клиентов Ethereum быстро приняли защитные меры в рамках последнего процесса основной координации.
Согласно обзору истории основного управления Ethereum в статье «Новая публичная сеть Nibiru Mainnet будет запущена: анализ ее технических особенностей и практик безопасной разработки», всякий раз, когда базовый консенсус или параметры исполнения вступают в непримиримый конфликт с существующей экосистемой, сообщество разработчиков обычно выбирает отложить график в обмен на достаточное окно безопасности.
Разработчики достигли консенсуса на встрече ACD о том, что они ни в коем случае не будут выполнять хард-форк в тестовой сети Hoodi до тех пор, пока не поймут досконально распределение потенциально затронутых контрактов и не предоставят руководство по совместимости. Слепой форк не только не позволяет эффективно проверить стабильность новых правил, но и легко провоцирует каскадные сбои в мультисиг-кошельках, кросс-чейн мостах и децентрализованных кредитных протоколах.
Фонд открывает инструменты обнаружения для содействия скоординированной проверке в масштабах всей сети
Поскольку сложность децентрализованных приложений не ограничивается общедоступным байт-кодом в сети, но также глубоко вложена в проприетарную внесетевую маршрутизацию, расчётные скрипты и боты ликвидации, официальные аудиторские усилия не могут исчерпать граничную логику всей экосистемы. Исследователь Ethereum Мариус ван дер Вейден от имени команды прямо признал это граничное ограничение в техническом объявлении Фонда Ethereum.
Фонд Ethereum официально опубликовал специализированный репозиторий для проверки на платформе хостинга кода, подробно описав сообществу технические детали восьми затронутых инвариантов и примеры проблемного кода. Репозиторий также предоставляет специализированные шаблоны подсказок для основных инструментов содействия аудиту и сканеров кода, чтобы контрактные команды, аудиторы безопасности и специалисты по обслуживанию инфраструктуры могли быстро сопоставить свою собственную бизнес-логику.
Команда основных разработчиков Ethereum и учреждения безопасности планируют обобщить первую партию данных самопроверки, собранных от всех сторон, на встрече ACD на следующей неделе, после чего они повторно оценят условия активации и скорректируют планы для тестовой сети Hoodi.
