今日は...慌ただしい。問題の要約:シーケンサーが(非常に効率的に)実行するロジックが、Cairo Starknetが証明すると主張するものと100%同等でない場合、証明者は保証の論理からの逸脱を防ぎ(そして強制的な再編成)ために存在します。今日の取引の例外的なケースがこのような不一致を引き起こしました。この例外はもちろん固定されています。 要約すると、得た教訓:まだ早すぎて答えを出すのは早い。多くの人が本日、できるだけ早くデバッグや運用復旧に参加しましたが、私たちは皆、ここで何が学べるかを自問し、今後の予防や緩和策についてできるだけ早く内部の反省プロセスを行ってブレインストーミングを行います でも、何でも遠慮なく聞いてください!状況が新しい今も含めて。建設業者と私は、どんな質問にも答えるためにここにいます。トランスペランシーは私たちにとって重要です。