fix: adds carry check add transfer

kkrt-labs · Nov 22, 2024 · fb5bd82 · fb5bd82
1 parent 204b3d7
commit fb5bd82
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/cairo_zero/kakarot/state.cairo b/cairo_zero/kakarot/state.cairo
@@ -389,6 +389,10 @@ namespace State {
             [recipient.balance], transfer.amount
         );
 
+        if (carry != 0) {
+            return 0;
+        }
+
         let sender = Account.set_balance(sender, &sender_balance_new);
         let recipient = Account.set_balance(recipient, &recipient_balance_new);