Aujourd'hui a été... mouvementé. Résumé du problème : Si la logique que le séquenceur exécute (de manière très efficace) n'est pas 100 % équivalente à ce que le Cairo Starknet prétend prouver, le prouveur est là pour empêcher toute déviation de la logique garantie (et forcer une réorganisation). Un cas particulier dans une transaction aujourd'hui a causé une telle divergence. Ce cas particulier est maintenant corrigé, bien sûr. Résumé des leçons apprises : trop tôt pour donner une réponse certaine. Beaucoup de personnes ont participé aujourd'hui au débogage et à la restauration des opérations dès que possible, mais nous nous demanderons tous ce que nous pouvons apprendre ici, et nous conduirons dès que possible un processus de réflexion interne pour réfléchir aux actions de prévention et d'atténuation à mettre en place à l'avenir. N'hésitez pas à poser toutes vos questions ! Y compris maintenant, lorsque la situation est fraîche. Les bâtisseurs et moi sommes ici pour répondre à toutes vos questions. La transparence est importante pour nous.