Oggi è stata... frenetica. TLDR del problema: Se la logica che il sequencer esegue (in modo molto efficiente) non è 100% equivalente a quella che Cairo Starknet afferma di dimostrare, il prover è lì per prevenire qualsiasi deviazione dalla logica garantita (e forzare un reorg). Un caso limite in una transazione di oggi ha causato tale discrepanza. Questo caso limite è ora ovviamente risolto. TLDR delle lezioni apprese: è troppo presto per dare una risposta certa. Molte persone hanno partecipato oggi al debug e al ripristino delle operazioni il prima possibile, ma ci chiederemo tutti cosa possiamo imparare qui e condurremo al più presto un processo di riflessione interna per fare brainstorming su azioni di prevenzione e mitigazione da intraprendere in futuro. Sentitevi liberi di chiedere qualsiasi cosa, anche ora, quando la situazione è fresca. I costruttori e io siamo qui per rispondere a qualsiasi domanda. La trasparenza è importante per noi.