Hoje foi... agitado. Resumo da questão: Se a lógica que o sequenciador executa (de uma forma muito eficiente) não for 100% equivalente ao que o Cairo Starknet afirma provar, o provador está lá para evitar qualquer desvio da lógica garantida (e forçar reorg). Um caso extremo em uma transação hoje causou tal discrepância. Este caso extremo já está corrigido, claro. Resumo das lições aprendidas: é cedo demais para dar uma resposta certa. Muitas pessoas participaram hoje na depuração e na restauração das operações o mais rápido possível, mas todos nós nos perguntaremos o que podemos aprender aqui e realizaremos o mais rápido possível um processo de reflexão interna para brainstorm sobre itens de ação de prevenção e mitigação para o futuro. Sinta-se à vontade para perguntar o que quiser! Inclusive agora, quando a situação está fresca. Os construtores e eu estamos aqui para responder a qualquer pergunta. A transparência é importante para nós.