Деталі розслідування 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 посилює тестування системи блокфіксера та доведення

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

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

Швидше порівняння дозволить раніше виявляти невідповідності, обмежуючи кількість активності мережі, яку потрібно буде відкотити.

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