Fix of the fix (Only unexceptional ACCOUNT instructions that `touch…

…ForeignAddress` update its warmth) (#553)
Consensys · Dec 15, 2024 · d3fa8d9 · d3fa8d9
1 parent 75201c1
commit d3fa8d9
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/hub/constraints/instruction-handling/acc.lisp b/hub/constraints/instruction-handling/acc.lisp
@@ -164,8 +164,9 @@
                  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
                  (if-not-zero   (account-instruction---touches-foreign-account)
                                 (if-not-zero    XAHOY
-                                                (account-turn-on-warmth   ROFF_ACC___ACCOUNT_DOING_ROW)
-                                                (account-same-warmth      ROFF_ACC___ACCOUNT_DOING_ROW))))
+                                                (account-same-warmth      ROFF_ACC___ACCOUNT_DOING_ROW) ;; XAHOY ≡ 1
+                                                (account-turn-on-warmth   ROFF_ACC___ACCOUNT_DOING_ROW) ;; XAHOY ≡ 0
+                                                )))
 
 
 (defconstraint   account-instruction---foreign-address-opcode---undoing-account-row