From 84dc99bc0e4e3fa13e78c14aba56a45e5eacccb4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Olivier=20B=C3=A9gassat?= Date: Mon, 14 Oct 2024 16:04:24 +0200 Subject: [PATCH] fix: using stack/STATIC_GAS rather than GAS_CONST_G_SELFDESTRUCT --- .../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 ))))))