Using stack/STATIC_GAS rather than GAS_CONST_G_SELFDESTRUCT (#455)

Consensys · Oct 14, 2024 · 002849a · 002849a
1 parent fdfb5c2
commit 002849a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/hub/constraints/instruction-handling/halting/selfdestruct.lisp b/hub/constraints/instruction-handling/halting/selfdestruct.lisp
@@ -159,11 +159,11 @@
                         (if-zero (selfdestruct-balance)
                                  ;; account has zero balance
                                  (eq! GAS_COST
-                                      (+ GAS_CONST_G_SELFDESTRUCT
+                                      (+ (shift    stack/STATIC_GAS    -1)
                                          (* (- 1 (selfdestruct-recipient-warmth)) GAS_CONST_G_COLD_ACCOUNT_ACCESS)))
                                  ;; account has nonzero balance
                                  (eq! GAS_COST
-                                      (+ GAS_CONST_G_SELFDESTRUCT
+                                      (+ (shift    stack/STATIC_GAS    -1)
                                          (* (- 1 (selfdestruct-recipient-warmth)) GAS_CONST_G_COLD_ACCOUNT_ACCESS)
                                          (* (- 1 (selfdestruct-recipient-exists)) GAS_CONST_G_NEW_ACCOUNT        ))))))