Dziś było... intensywnie. TLDR problemu: Jeśli logika, którą wykonuje sekwencer (w bardzo efektywny sposób) nie jest w 100% równoważna temu, co Cairo Starknet twierdzi, że udowadnia, prover jest tam, aby zapobiec jakimkolwiek odchyleniom od gwarantowanej logiki (i wymusić reorganizację). Dziś w transakcji wystąpił taki przypadek brzegowy, który spowodował taką rozbieżność. Ten przypadek brzegowy jest teraz oczywiście naprawiony. TLDR wniosków: za wcześnie, aby dać pewną odpowiedź. Wiele osób brało dziś udział w debugowaniu i jak najszybszym przywracaniu operacji, ale wszyscy zapytamy siebie, czego możemy się tutaj nauczyć i jak najszybciej przeprowadzimy wewnętrzny proces refleksji, aby wymyślić działania zapobiegawcze i łagodzące na przyszłość. Czuj się swobodnie, aby pytać o cokolwiek! W tym teraz, gdy sytuacja jest świeża. Budowniczowie i ja jesteśmy tutaj, aby odpowiedzieć na każde pytanie. Przejrzystość ma dla nas znaczenie.