Starknet снова вышел из строя: слой выполнения и слой доказательств конфликтуют, 18 минут активности были откатаны

Ethereum L2-сеть Starknet в понедельник на этой неделе столкнулась с простоями основной сети. Согласно отчёту о послекризисном анализе, опубликованному 11 января, причиной инцидента стала несогласованность состояния между уровнем выполнения (blockifier) и уровнем доказательств. В определённых сценариях кросс-функциональных вызовов и откатов, ошибка уровня выполнения привела к записи состояния, которое должно было быть откатано, что вызвало сбой в выполнении транзакций. Хотя соответствующие транзакции не получили окончательную подтверждение на L1, событие вызвало ребалансировку блока, и около 18 минут активности в цепочке были отменены. Более того, это уже второй крупный сбой Starknet с 2025 года.

Технические детали: “Несинхронность” между уровнем выполнения и уровнем доказательств

Причина инцидента

Техническая причина этого сбоя достаточно сложна. Архитектура Starknet включает два ключевых уровня: уровень выполнения, отвечающий за обработку логики транзакций, и уровень доказательств, который генерирует zk-доказательства и отправляет их в основную сеть Ethereum. В этом инциденте при определённых сценариях вызовов функций и откатов уровень выполнения (blockifier) ошибочно зафиксировал состояние, которое должно было быть откатано, что привело к конфликту состояний между двумя уровнями.

Хорошая новость — уровень доказательств правильно распознал ошибку и отказался от этой проблемной транзакции, не включив её в реестр. Этот механизм “самоисправления” предотвращает закрепление ошибочного состояния в основной сети Ethereum.

Почему необходима ребалансировка

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

Исторический контекст: всё чаще возникают проблемы

Хотя время отката в этот раз было короче (18 минут против 1 часа), проблема частоты уже проявляется. С сентября по январь Starknet пережил два крупных сбоя за менее чем полгода, причём типы ошибок различны, что указывает на потенциальные риски на разных уровнях системы.

Реакция команды и обещания

Немедленные меры

Команда Starknet, выпустив отчёт о послекризисном анализе, сделала несколько обещаний:

• Усилить процессы тестирования кода, особенно для граничных условий и сложных сценариев
• Укрепить механизмы аудита кода, чтобы предотвратить подобные несогласованности
• В рамках планов — выпуск версии v0.14.1 с обновлениями хэш-функций и улучшениями скорости блока

Эти меры показывают, что команда активно работает над повышением стабильности системы, однако эффективность предотвращения будущих сбоев ещё предстоит проверить.

Влияние на экосистему

На уровне пользователей

Практическое влияние этого инцидента относительно невелико, поскольку:

• Время отката было коротким (18 минут), и количество затронутых транзакций невелико
• Транзакции не получили окончательную подтверждение на L1, следовательно, средства не были фактически утеряны
• Пользователям нужно лишь повторно отправить транзакции, а не сталкиваться с потерей активов

На уровне экосистемы

Однако с более широкой точки зрения частые сбои создают вызовы для развития Starknet:

• Уменьшают доверие пользователей к стабильности сети
• Могут снизить мотивацию для развертывания DeFi-приложений
• В условиях конкуренции с другими L2-проектами (например, Arbitrum, Optimism) ставят Starknet в менее выгодное положение

Стоит отметить, что, согласно информации, Starknet активно расширяет сферу применения, например, сотрудничая с Noon для запуска Bitcoin Vault, а также с AlchemyPay и другими проектами. Успех этих инициатив и их влияние на преодоление проблем с стабильностью — важные аспекты, за которыми стоит следить.

Итог

Этот сбой Starknet показывает технические сложности, связанные с работой L2-сетей в сложных сценариях. Скорее, это не серьёзная уязвимость безопасности, а недостаток в обработке граничных условий. Механизм “самоисправления” доказательственного слоя успешно предотвратил потерю средств, однако частые сбои требуют внимания.

Главное — смогут ли предпринимаемые меры действительно повысить устойчивость системы. Усиление тестирования и аудита — необходимые шаги, но окончательно решить проблему смогут только будущие версии. Для участников экосистемы важно одновременно доверять Starknet и следить за прогрессом в повышении его стабильности.