Подробности посмертного анализа Starknet: ошибка выполнения, вызвавшая кратковременный сбой основной сети

• Ошибка состояния блокифайера вызвала несоответствие с уровнем доказательства, что привело к остановке и откату недавней активности Starknet.
• Системы безопасности остановили неисправное выполнение до финальности Ethereum, хотя пользователи все равно столкнулись с простоями и отменой транзакций.
• Около 18 минут сетевой активности были отменены, что заставило пользователей повторно отправлять транзакции после восстановления сервиса.
• Starknet планирует усиленное тестирование и более быстрое обнаружение ошибок, поскольку сложные системы уровня-2 продолжают сталкиваться с рисками надежности.

Starknet выпустил отчет о причинах кратковременного сбоя основной сети в понедельник. Инцидент привел к короткой остановке сети и откату последних блоков.

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

Время простоя Starknet связано с ошибкой обработки состояния блокифайера

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

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

Источник изображения: Starknet

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

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

После инцидента последовала реорганизация блока, которая стерла около 18 минут сетевой активности. За это время подтвержденные транзакции были отменены и их пришлось повторно отправлять после восстановления нормальной работы сети. Starknet заявил, что полная функциональность уже восстановлена.

Повторяющиеся сбои привлекли внимание к сложности сети уровня-2

В 2025 году пользователи Starknet столкнулись с более серьезным сбоем, чем в понедельник. В сентябре крупное обновление протокола под названием Grinta вызвало баг секвенсора, который остановил сеть более чем на пять часов.

Источник изображения: Starknet

В этот период транзакции не могли обрабатываться, что заставило пользователей ждать или повторно отправлять активность. Для восстановления нормальной работы потребовалось две реорганизации цепочки, и около одного часа сетевой активности был откатан.

Пострадавшие пользователи также должны были повторно отправлять транзакции, что создало трение для активных участников рынка. Эти инциденты указывают на продолжающиеся сложности, с которыми сталкиваются продвинутые сети уровня-2.

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

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

Инцидент Starknet подчеркивает издержки пользователей при откатах уровня-2

Последний сбой показывает, как небольшие ошибки выполнения все равно могут вызывать заметные сбои, даже когда системы безопасности работают правильно. Уровень доказательства Starknet выступает в роли защиты, обнаруживая несоответствия до финального урегулирования. Однако эта защита не исключает издержки для пользователей, связанные с простоями и реорганизациями.

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

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

Starknet усиливает тестирование системы блокифайера и системы доказательства

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

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

Более быстрое сравнение позволит обнаруживать несоответствия раньше, ограничивая объем сетевой активности, которую потребуется откатить.

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