Starknet опубликовала отчет о постфактум анализе простоя: уязвимость blockifier привела к ошибкам обработки транзакций

Techub News сообщает, что Starknet опубликовал постмортем-анализ краткосрочного сбоя майнсети от 5 января. Starknet указал, что основная проблема заключалась в уязвимости генератора блоков (blockifier), которая привела к неправильной обработке транзакций. В частности, при определённой комбинации кросс-функциональных вызовов, записи переменных, отката и захвата отката генератор блоков ошибочно записал операции записи состояния внутри откатываемой функции как действительные, что привело к ошибке выполнения транзакции. Однако благодаря механизму доказательства Starknet эта ошибочная работа никогда не получила финальность на слое L1.

Данное событие вызвало реорганизацию блокчейна, при которой была откачена цепная активность продолжительностью около 18 минут. Это второе значительное прерывание с начала 2025 года. Ранее в сентябре сбой секвенсера привёл к простою более 5 часов и откату цепной активности примерно на 1 час.