Vandaag was... hectisch. TLDR van het probleem: Als de logica die de sequencer draait (op een zeer efficiënte manier) niet 100% gelijk is aan wat Cairo Starknet beweert te bewijzen, is de prover daar om elke afwijking van de gegarandeerde logica te voorkomen (en een reorg af te dwingen). Een randgeval in een transactie vandaag veroorzaakte zo'n discrepantie. Dit randgeval is nu natuurlijk opgelost. TLDR van de lessen die we hebben geleerd: het is te vroeg om een definitief antwoord te geven. Veel mensen hebben vandaag deelgenomen aan het debuggen en het zo snel mogelijk herstellen van de operaties, maar we zullen ons allemaal afvragen wat we hieruit kunnen leren en zo snel mogelijk een intern reflectieproces uitvoeren om te brainstormen over preventie- en mitigatie-acties voor de toekomst. Voel je vrij om alles te vragen! Inclusief nu, wanneer de situatie vers is. De bouwers en ik zijn hier om elke vraag te beantwoorden. Transparantie is belangrijk voor ons.