Starknet Análise Pós-Morte: Bug de Execução por Trás de Breve Interrupção na Mainnet

• Um bug no estado do blockifier causou uma incompatibilidade com a camada de prova, levando a uma paralisação e rollback da atividade recente na Starknet.
• Sistemas de segurança interromperam a execução incorreta antes da finalização na Ethereum, embora os utilizadores ainda tenham enfrentado tempo de inatividade e reversões de transações.
• Cerca de 18 minutos de atividade na rede foram revertidos, obrigando os utilizadores a reenviar transações após a retomada do serviço.
• A Starknet planeja testes mais rigorosos e deteção mais rápida à medida que sistemas complexos de camada-2 continuam a enfrentar riscos de fiabilidade.

A Starknet divulgou um relatório de análise pós-incidente explicando a causa de uma breve interrupção na mainnet na segunda-feira. O incidente levou a uma curta paralisação da rede e a um rollback dos blocos recentes.

No entanto, não afetou a liquidação final na Ethereum. Segundo a equipa, os sistemas de segurança integrados funcionaram como previsto, embora os utilizadores tenham ainda enfrentado tempos de inatividade e reversões de transações.

Tempo de Inatividade na Starknet Atribuído a Bug no Manuseio do Estado do Blockifier

Conforme indicado no relatório, a interrupção resultou de uma incompatibilidade no estado da rede entre a camada de execução da Starknet, conhecida como o blockifier, e a sua camada de prova. O blockifier é responsável por executar transações. Entretanto, a camada de prova verifica se essas execuções estão corretas antes de serem finalizadas na Ethereum.

Um bug de software dentro do blockifier causou um resultado incorreto na transação sob um conjunto muito específico de condições. Estas incluíam chamadas entre funções, mudanças de estado, reversões de transações e lógica que captura essas reversões.

Fonte da Imagem: Starknet

Nesse caso extremo, o blockifier manteve erroneamente uma mudança de estado que deveria ter sido descartada após uma reversão de função. Como resultado, o resultado da transação diferiu do que a camada de prova esperava.

Devido à inconsistência, a execução incorreta nunca atingiu a finalidade na Ethereum. Em vez disso, a rede parou e fez rollback da atividade recente para restaurar um estado consistente. A equipa da Starknet afirmou que esse comportamento reflete um princípio de design central focado em manter a correção mesmo quando o software de execução se comporta de forma inesperada.

Após o incidente, seguiu-se uma reorganização de blocos, eliminando cerca de 18 minutos de atividade na rede. Durante esse período, transações confirmadas foram revertidas e tiveram de ser reenviadas assim que a rede voltou ao normal. A Starknet afirmou que a funcionalidade total foi posteriormente restabelecida.

Interrupções Repetidas Colocam Foco na Complexidade da Rede de Camada-2

Em 2025, os utilizadores da Starknet testemunharam uma interrupção mais disruptiva do que o incidente de segunda-feira. Em setembro, uma grande atualização de protocolo chamada Grinta desencadeou um bug no sequenciador que parou a rede por mais de cinco horas.

Fonte da Imagem: Starknet

Durante esse período, as transações não puderam ser processadas, obrigando os utilizadores a esperar ou reenviar atividades. Foram necessárias duas reorganizações de cadeia para restaurar a operação normal, e cerca de uma hora de atividade na rede foi revertida.

Utilizadores afetados por esse evento também tiveram de reenviar transações, criando fricção para participantes ativos do mercado. Esses incidentes evidenciam os desafios contínuos enfrentados por redes avançadas de camada-2.

A Starknet funciona com vários sistemas interligados, incluindo motores de execução, camadas de prova de conhecimento zero, sequenciadores e liquidação na Ethereum. Cada camada melhora a segurança ou escalabilidade, mas também aumenta a complexidade.

À medida que mais camadas interagem, bugs de software raros podem surgir de formas inesperadas, mesmo quando os mecanismos de segurança principais permanecem intactos.

Incidente na Starknet Destaca Custos para Utilizadores com Rollbacks de Camada-2

O último incidente ilustra como pequenos erros de execução ainda podem desencadear interrupções visíveis, mesmo quando os sistemas de segurança funcionam corretamente. A camada de prova da Starknet atuou como uma salvaguarda, capturando a inconsistência antes da liquidação final. No entanto, essa proteção não elimina o custo para o utilizador de tempos de inatividade e reorganizações.

Pequenos erros de execução ainda podem causar interrupções notáveis na rede, mesmo quando os sistemas de segurança integrados funcionam como previsto. No caso da Starknet, a camada de prova detectou a transação incorreta antes de ela atingir a liquidação final na Ethereum, prevenindo danos duradouros à rede.

Mesmo com fundos dos utilizadores protegidos, tempos de inatividade e reorganizações ainda interromperam a atividade normal. Traders e aplicações que dependem de execução rápida e previsível de transações foram os mais afetados, pois blocos revertidos obrigaram os utilizadores a reenviar transações e gerenciar atrasos inesperados.

Starknet Reforça Testes em Torno do Sistema de Blockifier e Prova

Revisões de engenharia estão em andamento na Starknet após a recente interrupção na mainnet, com foco especialmente em reduzir o risco de incidentes semelhantes. Novos conjuntos de testes de fuzz estão sendo introduzidos para comparar diretamente os resultados de execução do blockifier com o sistema de prova.

Uma auditoria interna da lógica de reversão do blockifier também está em progresso para identificar outros cenários que possam levar a um manuseio incorreto do estado. Além disso, a equipa planeia encurtar o tempo entre a execução de transações e a execução compatível com o provador.

Uma comparação mais rápida permitiria detectar incompatibilidades mais cedo, limitando a quantidade de atividade na rede que precisaria ser revertida.

A Starknet enquadrou o incidente como prova de que o seu modelo de segurança funcionou como projetado, uma vez que a execução incorreta nunca atingiu a finalidade na Ethereum. Ao mesmo tempo, a equipa reconheceu que melhorar a estabilidade continua a ser uma prioridade à medida que a tecnologia de camada-2 continua a evoluir.