Heute war es... hektisch. TLDR des Problems: Wenn die Logik, die der Sequencer ausführt (auf eine sehr effiziente Weise), nicht 100% äquivalent zu dem ist, was Cairo Starknet zu beweisen beansprucht, ist der Prover da, um jede Abweichung von der garantierten Logik zu verhindern (und einen Reorg zu erzwingen). Ein Randfall in einer Transaktion heute hat eine solche Diskrepanz verursacht. Dieser Randfall ist jetzt natürlich behoben. TLDR der gelernten Lektionen: Zu früh, um eine bestimmte Antwort zu geben. Viele Menschen haben heute an der Fehlersuche und der Wiederherstellung der Operationen so schnell wie möglich teilgenommen, aber wir werden uns alle fragen, was wir hier lernen können, und so schnell wie möglich einen internen Reflexionsprozess durchführen, um Ideen zur Prävention und Minderung von Maßnahmen für die Zukunft zu brainstormen. Fühlt euch frei, alles zu fragen! Auch jetzt, wenn die Situation frisch ist. Die Builder und ich sind hier, um jede Frage zu beantworten. Transparenz ist uns wichtig.