From 002849ab253e574092478d06fe8881cef7c3ea6a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Olivier=20B=C3=A9gassat?= <38285177+OlivierBBB@users.noreply.github.com> Date: Mon, 14 Oct 2024 16:10:37 +0200 Subject: [PATCH] Using `stack/STATIC_GAS` rather than `GAS_CONST_G_SELFDESTRUCT` (#455) --- .../instruction-handling/halting/selfdestruct.lisp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/hub/constraints/instruction-handling/halting/selfdestruct.lisp b/hub/constraints/instruction-handling/halting/selfdestruct.lisp index fce228ca..6abc6093 100644 --- 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 ))))))