@feelyourprotocol/evm 8141.0.0

package/dist/cjs/opcodes/gas.js

@@ -0,0 +1,1016 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.dynamicGasHandlers = void 0;
+const common_1 = require("@feelyourprotocol/common");
+const util_1 = require("@feelyourprotocol/util");
+const errors_ts_1 = require("../eof/errors.js");
+const errors_ts_2 = require("../errors.js");
+const types_ts_1 = require("../types.js");
+const EIP1283_ts_1 = require("./EIP1283.js");
+const EIP2200_ts_1 = require("./EIP2200.js");
+const EIP2929_ts_1 = require("./EIP2929.js");
+const util_ts_1 = require("./util.js");
+const EXTCALL_TARGET_MAX = BigInt(2) ** BigInt(8 * 20) - BigInt(1);
+/**
+ * Gets the gas cost for EIP-7702 delegation lookup WITHOUT side effects.
+ * Returns the gas cost and delegation address so callers can check gas
+ * availability before committing to the access.
+ */
+async function eip7702GetAccessCost(runState, common, address, charge2929Gas) {
+    const code = await runState.stateManager.getCode(address);
+    if ((0, util_1.equalsBytes)(code.slice(0, 3), types_ts_1.DELEGATION_7702_FLAG)) {
+        const delegationAddress = code.slice(3, 24);
+        // Just get the cost, don't warm yet
+        const gas = (0, EIP2929_ts_1.getAddressAccessCost)(runState, delegationAddress, common, charge2929Gas);
+        return { gas, delegationAddress };
+    }
+    return { gas: util_1.BIGINT_0, delegationAddress: null };
+}
+/**
+ * Warms the delegation address for EIP-7702 (call after verifying sufficient gas).
+ */
+function eip7702WarmAddress(runState, delegationAddress) {
+    (0, EIP2929_ts_1.warmAddress)(runState, delegationAddress);
+}
+exports.dynamicGasHandlers = new Map([
+    [
+        /* EXP */
+        0x0a,
+        async function (runState, gas, common) {
+            const [_base, exponent] = runState.stack.peek(2);
+            if (exponent === util_1.BIGINT_0) {
+                return gas;
+            }
+            let byteLength = exponent.toString(2).length / 8;
+            if (byteLength > Math.trunc(byteLength)) {
+                byteLength = Math.trunc(byteLength) + 1;
+            }
+            if (byteLength < 1 || byteLength > 32) {
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.OUT_OF_RANGE);
+            }
+            const expPricePerByte = common.param('expByteGas');
+            gas += BigInt(byteLength) * expPricePerByte;
+            return gas;
+        },
+    ],
+    [
+        /* KECCAK256 */
+        0x20,
+        async function (runState, gas, common) {
+            const [offset, length] = runState.stack.peek(2);
+            gas += (0, util_ts_1.subMemUsage)(runState, offset, length, common);
+            gas += common.param('keccak256WordGas') * (0, util_ts_1.divCeil)(length, util_1.BIGINT_32);
+            return gas;
+        },
+    ],
+    [
+        /* BALANCE */
+        0x31,
+        async function (runState, gas, common) {
+            const address = (0, util_ts_1.createAddressFromStackBigInt)(runState.stack.peek()[0]);
+            let charge2929Gas = true;
+            if (common.isActivatedEIP(6800) || common.isActivatedEIP(7864)) {
+                const coldAccessGas = runState.env.accessWitness.readAccountBasicData(address);
+                gas += coldAccessGas;
+                charge2929Gas = coldAccessGas === util_1.BIGINT_0;
+            }
+            if (common.isActivatedEIP(2929)) {
+                gas += (0, EIP2929_ts_1.accessAddressEIP2929)(runState, address.bytes, common, charge2929Gas);
+            }
+            return gas;
+        },
+    ],
+    [
+        /* CALLDATACOPY */
+        0x37,
+        async function (runState, gas, common) {
+            const [memOffset, _dataOffset, dataLength] = runState.stack.peek(3);
+            gas += (0, util_ts_1.subMemUsage)(runState, memOffset, dataLength, common);
+            if (dataLength !== util_1.BIGINT_0) {
+                gas += common.param('copyGas') * (0, util_ts_1.divCeil)(dataLength, util_1.BIGINT_32);
+            }
+            return gas;
+        },
+    ],
+    [
+        /* CODECOPY */
+        0x39,
+        async function (runState, gas, common) {
+            const [memOffset, _codeOffset, dataLength] = runState.stack.peek(3);
+            gas += (0, util_ts_1.subMemUsage)(runState, memOffset, dataLength, common);
+            if (dataLength !== util_1.BIGINT_0) {
+                gas += common.param('copyGas') * (0, util_ts_1.divCeil)(dataLength, util_1.BIGINT_32);
+                if ((common.isActivatedEIP(6800) || common.isActivatedEIP(7864)) &&
+                    runState.env.chargeCodeAccesses === true) {
+                    const contract = runState.interpreter.getAddress();
+                    let codeEnd = _codeOffset + dataLength;
+                    const codeSize = runState.interpreter.getCodeSize();
+                    if (codeEnd > codeSize) {
+                        codeEnd = codeSize;
+                    }
+                    gas += runState.env.accessWitness.readAccountCodeChunks(contract, Number(_codeOffset), Number(codeEnd));
+                }
+            }
+            return gas;
+        },
+    ],
+    [
+        /* EXTCODESIZE */
+        0x3b,
+        async function (runState, gas, common) {
+            const address = (0, util_ts_1.createAddressFromStackBigInt)(runState.stack.peek()[0]);
+            let charge2929Gas = true;
+            if ((common.isActivatedEIP(6800) || common.isActivatedEIP(7864)) &&
+                runState.interpreter._evm.getPrecompile(address) === undefined &&
+                !address.equals((0, util_ts_1.createAddressFromStackBigInt)(common.param('systemAddress')))) {
+                let coldAccessGas = util_1.BIGINT_0;
+                coldAccessGas += runState.env.accessWitness.readAccountBasicData(address);
+                gas += coldAccessGas;
+                // if cold access gas has been charged 2929 gas shouldn't be charged
+                charge2929Gas = coldAccessGas === util_1.BIGINT_0;
+            }
+            if (common.isActivatedEIP(2929)) {
+                gas += (0, EIP2929_ts_1.accessAddressEIP2929)(runState, address.bytes, common, charge2929Gas);
+            }
+            return gas;
+        },
+    ],
+    [
+        /* EXTCODECOPY */
+        0x3c,
+        async function (runState, gas, common) {
+            const [addressBigInt, memOffset, _codeOffset, dataLength] = runState.stack.peek(4);
+            const address = (0, util_ts_1.createAddressFromStackBigInt)(addressBigInt);
+            gas += (0, util_ts_1.subMemUsage)(runState, memOffset, dataLength, common);
+            let charge2929Gas = true;
+            if ((common.isActivatedEIP(6800) || common.isActivatedEIP(7864)) &&
+                runState.interpreter._evm.getPrecompile(address) === undefined &&
+                !address.equals((0, util_ts_1.createAddressFromStackBigInt)(common.param('systemAddress')))) {
+                let coldAccessGas = util_1.BIGINT_0;
+                coldAccessGas += runState.env.accessWitness.readAccountBasicData(address);
+                gas += coldAccessGas;
+                // if cold access gas has been charged 2929 gas shouldn't be charged
+                charge2929Gas = coldAccessGas === util_1.BIGINT_0;
+            }
+            if (common.isActivatedEIP(2929)) {
+                gas += (0, EIP2929_ts_1.accessAddressEIP2929)(runState, address.bytes, common, charge2929Gas);
+            }
+            if (dataLength !== util_1.BIGINT_0) {
+                gas += common.param('copyGas') * (0, util_ts_1.divCeil)(dataLength, util_1.BIGINT_32);
+                if (common.isActivatedEIP(6800) || common.isActivatedEIP(7864)) {
+                    let codeEnd = _codeOffset + dataLength;
+                    const codeSize = BigInt((await runState.stateManager.getCode(address)).length);
+                    if (codeEnd > codeSize) {
+                        codeEnd = codeSize;
+                    }
+                    gas += runState.env.accessWitness.readAccountCodeChunks(address, Number(_codeOffset), Number(codeEnd));
+                }
+            }
+            return gas;
+        },
+    ],
+    [
+        /* RETURNDATACOPY */
+        0x3e,
+        async function (runState, gas, common) {
+            const [memOffset, returnDataOffset, dataLength] = runState.stack.peek(3);
+            if (returnDataOffset + dataLength > runState.interpreter.getReturnDataSize()) {
+                // For an EOF contract, the behavior is changed (see EIP 7069)
+                // RETURNDATACOPY in that case does not throw OOG when reading out-of-bounds
+                if (runState.env.eof === undefined) {
+                    (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.OUT_OF_GAS);
+                }
+            }
+            gas += (0, util_ts_1.subMemUsage)(runState, memOffset, dataLength, common);
+            if (dataLength !== util_1.BIGINT_0) {
+                gas += common.param('copyGas') * (0, util_ts_1.divCeil)(dataLength, util_1.BIGINT_32);
+            }
+            return gas;
+        },
+    ],
+    [
+        /* EXTCODEHASH */
+        0x3f,
+        async function (runState, gas, common) {
+            const address = (0, util_ts_1.createAddressFromStackBigInt)(runState.stack.peek()[0]);
+            let charge2929Gas = true;
+            if ((common.isActivatedEIP(6800) || common.isActivatedEIP(7864)) &&
+                runState.interpreter._evm.getPrecompile(address) === undefined &&
+                !address.equals((0, util_ts_1.createAddressFromStackBigInt)(common.param('systemAddress')))) {
+                let coldAccessGas = util_1.BIGINT_0;
+                coldAccessGas += runState.env.accessWitness.readAccountCodeHash(address);
+                gas += coldAccessGas;
+                charge2929Gas = coldAccessGas === util_1.BIGINT_0;
+            }
+            if (common.isActivatedEIP(2929)) {
+                gas += (0, EIP2929_ts_1.accessAddressEIP2929)(runState, address.bytes, common, charge2929Gas);
+            }
+            return gas;
+        },
+    ],
+    [
+        /* MLOAD */
+        0x51,
+        async function (runState, gas, common) {
+            const pos = runState.stack.peek()[0];
+            gas += (0, util_ts_1.subMemUsage)(runState, pos, util_1.BIGINT_32, common);
+            return gas;
+        },
+    ],
+    [
+        /* MSTORE */
+        0x52,
+        async function (runState, gas, common) {
+            const offset = runState.stack.peek()[0];
+            gas += (0, util_ts_1.subMemUsage)(runState, offset, util_1.BIGINT_32, common);
+            return gas;
+        },
+    ],
+    [
+        /* MSTORE8 */
+        0x53,
+        async function (runState, gas, common) {
+            const offset = runState.stack.peek()[0];
+            gas += (0, util_ts_1.subMemUsage)(runState, offset, util_1.BIGINT_1, common);
+            return gas;
+        },
+    ],
+    [
+        /* SLOAD */
+        0x54,
+        async function (runState, gas, common) {
+            const key = runState.stack.peek()[0];
+            const keyBuf = (0, util_1.setLengthLeft)((0, util_1.bigIntToBytes)(key), 32);
+            let charge2929Gas = true;
+            if (common.isActivatedEIP(6800) || common.isActivatedEIP(7864)) {
+                const address = runState.interpreter.getAddress();
+                const coldAccessGas = runState.env.accessWitness.readAccountStorage(address, key);
+                gas += coldAccessGas;
+                charge2929Gas = coldAccessGas === util_1.BIGINT_0;
+            }
+            if (common.isActivatedEIP(2929)) {
+                gas += (0, EIP2929_ts_1.accessStorageEIP2929)(runState, keyBuf, false, common, charge2929Gas);
+            }
+            return gas;
+        },
+    ],
+    [
+        /* SSTORE */
+        0x55,
+        async function (runState, gas, common) {
+            if (runState.interpreter.isStatic()) {
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.STATIC_STATE_CHANGE);
+            }
+            const [key, val] = runState.stack.peek(2);
+            const keyBytes = (0, util_1.setLengthLeft)((0, util_1.bigIntToBytes)(key), 32);
+            // NOTE: this should be the shortest representation
+            let value;
+            if (val === util_1.BIGINT_0) {
+                value = Uint8Array.from([]);
+            }
+            else {
+                value = (0, util_1.bigIntToBytes)(val);
+            }
+            // Read current and original storage for gas calculation.
+            // Pass trackBAL=false because we'll track the read manually below,
+            // but ONLY if the EIP-2200 sentry check passes (per EIP-7928).
+            const currentStorage = (0, util_ts_1.setLengthLeftStorage)(await runState.interpreter.storageLoad(keyBytes, false, false));
+            const originalStorage = (0, util_ts_1.setLengthLeftStorage)(await runState.interpreter.storageLoad(keyBytes, true, false));
+            if (common.hardfork() === common_1.Hardfork.Constantinople) {
+                gas += (0, EIP1283_ts_1.updateSstoreGasEIP1283)(runState, currentStorage, originalStorage, (0, util_ts_1.setLengthLeftStorage)(value), common);
+            }
+            else if (common.gteHardfork(common_1.Hardfork.Istanbul)) {
+                if (!common.isActivatedEIP(6800) && !common.isActivatedEIP(7864)) {
+                    gas += (0, EIP2200_ts_1.updateSstoreGasEIP2200)(runState, currentStorage, originalStorage, (0, util_ts_1.setLengthLeftStorage)(value), keyBytes, common);
+                }
+            }
+            else {
+                gas += (0, util_ts_1.updateSstoreGas)(runState, currentStorage, (0, util_ts_1.setLengthLeftStorage)(value), common);
+            }
+            // If we reach here, the EIP-2200 sentry check passed (didn't trap).
+            // Per EIP-7928, now track the storage read for BAL. If the SSTORE
+            // succeeds later, the write will remove this read (see addStorageWrite).
+            // If SSTORE fails with OOG after the sentry, the read remains in BAL.
+            if (common.isActivatedEIP(7928)) {
+                runState.interpreter._evm.blockLevelAccessList?.addStorageRead(runState.interpreter.getAddress().toString(), keyBytes);
+            }
+            let charge2929Gas = true;
+            if (common.isActivatedEIP(6800) || common.isActivatedEIP(7864)) {
+                const contract = runState.interpreter.getAddress();
+                const coldAccessGas = runState.env.accessWitness.writeAccountStorage(contract, key);
+                gas += coldAccessGas;
+                charge2929Gas = coldAccessGas === util_1.BIGINT_0;
+            }
+            if (common.isActivatedEIP(2929)) {
+                // We have to do this after the Istanbul (EIP2200) checks.
+                // Otherwise, we might run out of gas, due to "sentry check" of 2300 gas,
+                // if we deduct extra gas first.
+                gas += (0, EIP2929_ts_1.accessStorageEIP2929)(runState, keyBytes, true, common, charge2929Gas);
+            }
+            return gas;
+        },
+    ],
+    [
+        /* MCOPY */
+        0x5e,
+        async function (runState, gas, common) {
+            const [dst, src, length] = runState.stack.peek(3);
+            const wordsCopied = (length + util_1.BIGINT_31) / util_1.BIGINT_32;
+            gas += util_1.BIGINT_3 * wordsCopied;
+            gas += (0, util_ts_1.subMemUsage)(runState, src, length, common);
+            gas += (0, util_ts_1.subMemUsage)(runState, dst, length, common);
+            return gas;
+        },
+    ],
+    [
+        /* LOG */
+        0xa0,
+        async function (runState, gas, common) {
+            if (runState.interpreter.isStatic()) {
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.STATIC_STATE_CHANGE);
+            }
+            const [memOffset, memLength] = runState.stack.peek(2);
+            const topicsCount = runState.opCode - 0xa0;
+            if (topicsCount < 0 || topicsCount > 4) {
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.OUT_OF_RANGE);
+            }
+            gas += (0, util_ts_1.subMemUsage)(runState, memOffset, memLength, common);
+            gas +=
+                common.param('logTopicGas') * BigInt(topicsCount) + memLength * common.param('logDataGas');
+            return gas;
+        },
+    ],
+    /* DATACOPY */
+    [
+        0xd3,
+        async function (runState, gas, common) {
+            if (runState.env.eof === undefined) {
+                // Opcode not available in legacy contracts
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.INVALID_OPCODE);
+            }
+            const [memOffset, _dataOffset, dataLength] = runState.stack.peek(3);
+            gas += (0, util_ts_1.subMemUsage)(runState, memOffset, dataLength, common);
+            if (dataLength !== util_1.BIGINT_0) {
+                gas += common.param('copyGas') * (0, util_ts_1.divCeil)(dataLength, util_1.BIGINT_32);
+            }
+            return gas;
+        },
+    ],
+    /* EOFCREATE */
+    [
+        0xec,
+        async function (runState, gas, common) {
+            if (runState.env.eof === undefined) {
+                // Opcode not available in legacy contracts
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.INVALID_OPCODE);
+            }
+            // Note: TX_CREATE_COST is in the base fee (this is 32000 and same as CREATE / CREATE2)
+            // Note: in `gas.ts` programCounter is not yet incremented (which it is in `functions.ts`)
+            // So have to manually add to programCounter here to get the right container index
+            // Read container index
+            const containerIndex = runState.env.code[runState.programCounter + 1];
+            // Pop stack values
+            const [_value, _salt, inputOffset, inputSize] = runState.stack.peek(4);
+            //if (common.isActivatedEIP(2929)) {
+            // TODO: adding or not adding this makes test
+            // --test=tests/prague/eip7692_eof_v1/eip7620_eof_create/test_eofcreate.py::test_eofcreate_then_call[fork_CancunEIP7692-blockchain_test]
+            // still succeed. This only warms the current address?? This is also in CREATE/CREATE2
+            // Can this be removed in both?
+            /*gas += accessAddressEIP2929(
+                runState,
+                runState.interpreter.getAddress().bytes,
+                common,
+                false
+              )
+            }*/
+            // Expand memory
+            gas += (0, util_ts_1.subMemUsage)(runState, inputOffset, inputSize, common);
+            // Read container
+            const container = runState.env.eof.container.body.containerSections[containerIndex];
+            // Charge for hashing cost
+            gas += common.param('keccak256WordGas') * (0, util_ts_1.divCeil)(BigInt(container.length), util_1.BIGINT_32);
+            const gasLeft = runState.interpreter.getGasLeft() - gas;
+            runState.messageGasLimit = (0, util_ts_1.maxCallGas)(gasLeft, gasLeft, runState, common);
+            return gas;
+        },
+    ],
+    /* RETURNCONTRACT */
+    [
+        0xee,
+        async function (runState, gas, common) {
+            // Pop stack values
+            const [auxDataOffset, auxDataSize] = runState.stack.peek(2);
+            // Expand memory
+            gas += (0, util_ts_1.subMemUsage)(runState, auxDataOffset, auxDataSize, common);
+            return gas;
+        },
+    ],
+    [
+        /* CREATE */
+        0xf0,
+        async function (runState, gas, common) {
+            if (runState.interpreter.isStatic()) {
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.STATIC_STATE_CHANGE);
+            }
+            const [_value, offset, length] = runState.stack.peek(3);
+            if (common.isActivatedEIP(2929)) {
+                gas += (0, EIP2929_ts_1.accessAddressEIP2929)(runState, runState.interpreter.getAddress().bytes, common, false);
+            }
+            if (common.isActivatedEIP(3860)) {
+                gas += ((length + util_1.BIGINT_31) / util_1.BIGINT_32) * common.param('initCodeWordGas');
+            }
+            gas += (0, util_ts_1.subMemUsage)(runState, offset, length, common);
+            let gasLimit = BigInt(runState.interpreter.getGasLeft()) - gas;
+            gasLimit = (0, util_ts_1.maxCallGas)(gasLimit, gasLimit, runState, common);
+            runState.messageGasLimit = gasLimit;
+            return gas;
+        },
+    ],
+    [
+        /* CALL */
+        0xf1,
+        async function (runState, gas, common) {
+            const [currentGasLimit, toAddr, value, inOffset, inLength, outOffset, outLength] = runState.stack.peek(7);
+            const toAddress = (0, util_ts_1.createAddressFromStackBigInt)(toAddr);
+            if (runState.interpreter.isStatic() && value !== util_1.BIGINT_0) {
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.STATIC_STATE_CHANGE);
+            }
+            gas += (0, util_ts_1.subMemUsage)(runState, inOffset, inLength, common);
+            gas += (0, util_ts_1.subMemUsage)(runState, outOffset, outLength, common);
+            // EIP-7928: Early OOG check before address access
+            // If we don't have enough gas to proceed, trap before adding to BAL
+            if (common.isActivatedEIP(7928) && gas > runState.interpreter.getGasLeft()) {
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.OUT_OF_GAS);
+            }
+            let charge2929Gas = true;
+            if ((common.isActivatedEIP(6800) || common.isActivatedEIP(7864)) &&
+                runState.interpreter._evm.getPrecompile(toAddress) === undefined) {
+                const coldAccessGas = runState.env.accessWitness.readAccountBasicData(toAddress);
+                if (value !== util_1.BIGINT_0) {
+                    const contractAddress = runState.interpreter.getAddress();
+                    gas += runState.env.accessWitness.writeAccountBasicData(contractAddress);
+                    gas += runState.env.accessWitness.writeAccountBasicData(toAddress);
+                }
+                gas += coldAccessGas;
+                charge2929Gas = coldAccessGas === util_1.BIGINT_0;
+            }
+            // EIP-2929/7928: Get target access cost first (no side effects)
+            let targetAccessCost = util_1.BIGINT_0;
+            if (common.isActivatedEIP(2929)) {
+                targetAccessCost = (0, EIP2929_ts_1.getAddressAccessCost)(runState, toAddress.bytes, common, charge2929Gas);
+                gas += targetAccessCost;
+            }
+            // EIP-7928: Check gas before committing target access.
+            // Include value transfer gas in this boundary, but defer new-account gas
+            // until after target access commit so OOG can still happen after target
+            // access for account-creation cases.
+            let valueTransferGas = util_1.BIGINT_0;
+            let newAccountGas = util_1.BIGINT_0;
+            if (value !== util_1.BIGINT_0 && !common.isActivatedEIP(6800) && !common.isActivatedEIP(7864)) {
+                valueTransferGas = common.param('callValueTransferGas');
+            }
+            // For BAL eligibility check: compute new account gas upfront only when needed
+            // (SpuriousDragon+ with value transfer)
+            if (value !== util_1.BIGINT_0 && common.gteHardfork(common_1.Hardfork.SpuriousDragon)) {
+                const account = await runState.stateManager.getAccount(toAddress);
+                if (account === undefined || account.isEmpty()) {
+                    newAccountGas = common.param('callNewAccountGas');
+                }
+            }
+            // EIP-7928: Check gas before committing target access
+            const gasForTargetAccess = gas + valueTransferGas;
+            if (common.isActivatedEIP(7928) && gasForTargetAccess > runState.interpreter.getGasLeft()) {
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.OUT_OF_GAS);
+            }
+            // Now commit target access: warm the address and add to BAL
+            if (common.isActivatedEIP(2929)) {
+                (0, EIP2929_ts_1.warmAddress)(runState, toAddress.bytes);
+            }
+            (0, EIP2929_ts_1.addAddressToBAL)(runState, toAddress.bytes, common);
+            // Add the value-related gas costs (already computed above for value transfers)
+            gas += valueTransferGas + newAccountGas;
+            // For pre-SpuriousDragon: check new account gas regardless of value
+            if (!common.gteHardfork(common_1.Hardfork.SpuriousDragon)) {
+                if ((await runState.stateManager.getAccount(toAddress)) === undefined) {
+                    gas += common.param('callNewAccountGas');
+                }
+            }
+            // EIP-7702: Get delegation access cost (no side effects)
+            let delegationAddress = null;
+            if (common.isActivatedEIP(7702)) {
+                const { gas: delegationGas, delegationAddress: delAddr } = await eip7702GetAccessCost(runState, common, toAddress, charge2929Gas);
+                delegationAddress = delAddr;
+                gas += delegationGas;
+                // EIP-7928: Check gas before committing delegation access
+                if (common.isActivatedEIP(7928) && delegationAddress !== null) {
+                    if (gas > runState.interpreter.getGasLeft()) {
+                        (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.OUT_OF_GAS);
+                    }
+                    // Commit delegation access: warm and add to BAL
+                    eip7702WarmAddress(runState, delegationAddress);
+                    (0, EIP2929_ts_1.addAddressToBAL)(runState, delegationAddress, common);
+                }
+                else if (delegationAddress !== null) {
+                    // No BAL check needed, just warm the address
+                    eip7702WarmAddress(runState, delegationAddress);
+                }
+            }
+            const gasLimit = (0, util_ts_1.maxCallGas)(currentGasLimit, runState.interpreter.getGasLeft() - gas, runState, common);
+            // note that TangerineWhistle or later this cannot happen
+            // (it could have ran out of gas prior to getting here though)
+            if (gasLimit > runState.interpreter.getGasLeft() - gas) {
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.OUT_OF_GAS);
+            }
+            if (gas > runState.interpreter.getGasLeft()) {
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.OUT_OF_GAS);
+            }
+            runState.messageGasLimit = gasLimit;
+            return gas;
+        },
+    ],
+    [
+        /* CALLCODE */
+        0xf2,
+        async function (runState, gas, common) {
+            const [currentGasLimit, toAddr, value, inOffset, inLength, outOffset, outLength] = runState.stack.peek(7);
+            const toAddress = (0, util_ts_1.createAddressFromStackBigInt)(toAddr);
+            gas += (0, util_ts_1.subMemUsage)(runState, inOffset, inLength, common);
+            gas += (0, util_ts_1.subMemUsage)(runState, outOffset, outLength, common);
+            // EIP-7928: Early OOG check before address access
+            // If we don't have enough gas to proceed, trap before adding to BAL
+            if (common.isActivatedEIP(7928) && gas > runState.interpreter.getGasLeft()) {
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.OUT_OF_GAS);
+            }
+            let charge2929Gas = true;
+            if ((common.isActivatedEIP(6800) || common.isActivatedEIP(7864)) &&
+                runState.interpreter._evm.getPrecompile(toAddress) === undefined) {
+                const coldAccessGas = runState.env.accessWitness.readAccountBasicData(toAddress);
+                gas += coldAccessGas;
+                charge2929Gas = coldAccessGas === util_1.BIGINT_0;
+            }
+            // EIP-2929/7928: Get target access cost first (no side effects)
+            let targetAccessCost = util_1.BIGINT_0;
+            if (common.isActivatedEIP(2929)) {
+                targetAccessCost = (0, EIP2929_ts_1.getAddressAccessCost)(runState, toAddress.bytes, common, charge2929Gas);
+                gas += targetAccessCost;
+            }
+            // For CALLCODE with value, compute value transfer cost before checking BAL eligibility
+            let valueTransferGas = util_1.BIGINT_0;
+            if (value !== util_1.BIGINT_0) {
+                valueTransferGas = common.param('callValueTransferGas');
+            }
+            // EIP-7928: Check gas before committing target access
+            // For value transfers, include value transfer gas in the check
+            const gasForTargetAccess = gas + valueTransferGas;
+            if (common.isActivatedEIP(7928) && gasForTargetAccess > runState.interpreter.getGasLeft()) {
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.OUT_OF_GAS);
+            }
+            // Now commit target access: warm the address and add to BAL
+            if (common.isActivatedEIP(2929)) {
+                (0, EIP2929_ts_1.warmAddress)(runState, toAddress.bytes);
+            }
+            (0, EIP2929_ts_1.addAddressToBAL)(runState, toAddress.bytes, common);
+            // Add the value transfer gas (already computed above)
+            gas += valueTransferGas;
+            // EIP-7702: Get delegation access cost (no side effects)
+            let delegationAddress = null;
+            if (common.isActivatedEIP(7702)) {
+                const { gas: delegationGas, delegationAddress: delAddr } = await eip7702GetAccessCost(runState, common, toAddress, charge2929Gas);
+                delegationAddress = delAddr;
+                gas += delegationGas;
+                // EIP-7928: Check gas before committing delegation access
+                if (common.isActivatedEIP(7928) && delegationAddress !== null) {
+                    if (gas > runState.interpreter.getGasLeft()) {
+                        (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.OUT_OF_GAS);
+                    }
+                    // Commit delegation access: warm and add to BAL
+                    eip7702WarmAddress(runState, delegationAddress);
+                    (0, EIP2929_ts_1.addAddressToBAL)(runState, delegationAddress, common);
+                }
+                else if (delegationAddress !== null) {
+                    // No BAL check needed, just warm the address
+                    eip7702WarmAddress(runState, delegationAddress);
+                }
+            }
+            const gasLimit = (0, util_ts_1.maxCallGas)(currentGasLimit, runState.interpreter.getGasLeft() - gas, runState, common);
+            // note that TangerineWhistle or later this cannot happen
+            // (it could have ran out of gas prior to getting here though)
+            if (gasLimit > runState.interpreter.getGasLeft() - gas) {
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.OUT_OF_GAS);
+            }
+            if (gas > runState.interpreter.getGasLeft()) {
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.OUT_OF_GAS);
+            }
+            runState.messageGasLimit = gasLimit;
+            return gas;
+        },
+    ],
+    [
+        /* RETURN */
+        0xf3,
+        async function (runState, gas, common) {
+            const [offset, length] = runState.stack.peek(2);
+            gas += (0, util_ts_1.subMemUsage)(runState, offset, length, common);
+            return gas;
+        },
+    ],
+    [
+        /* DELEGATECALL */
+        0xf4,
+        async function (runState, gas, common) {
+            const [currentGasLimit, toAddr, inOffset, inLength, outOffset, outLength] = runState.stack.peek(6);
+            const toAddress = (0, util_ts_1.createAddressFromStackBigInt)(toAddr);
+            gas += (0, util_ts_1.subMemUsage)(runState, inOffset, inLength, common);
+            gas += (0, util_ts_1.subMemUsage)(runState, outOffset, outLength, common);
+            // EIP-7928: Early OOG check before address access
+            // If we don't have enough gas to proceed, trap before adding to BAL
+            if (common.isActivatedEIP(7928) && gas > runState.interpreter.getGasLeft()) {
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.OUT_OF_GAS);
+            }
+            let charge2929Gas = true;
+            if ((common.isActivatedEIP(6800) || common.isActivatedEIP(7864)) &&
+                runState.interpreter._evm.getPrecompile(toAddress) === undefined) {
+                const coldAccessGas = runState.env.accessWitness.readAccountBasicData(toAddress);
+                gas += coldAccessGas;
+                charge2929Gas = coldAccessGas === util_1.BIGINT_0;
+            }
+            // EIP-2929/7928: Get target access cost first (no side effects)
+            let targetAccessCost = util_1.BIGINT_0;
+            if (common.isActivatedEIP(2929)) {
+                targetAccessCost = (0, EIP2929_ts_1.getAddressAccessCost)(runState, toAddress.bytes, common, charge2929Gas);
+                gas += targetAccessCost;
+            }
+            // EIP-7928: Check gas before committing target access
+            if (common.isActivatedEIP(7928) && gas > runState.interpreter.getGasLeft()) {
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.OUT_OF_GAS);
+            }
+            // Now commit target access: warm the address and add to BAL
+            if (common.isActivatedEIP(2929)) {
+                (0, EIP2929_ts_1.warmAddress)(runState, toAddress.bytes);
+            }
+            (0, EIP2929_ts_1.addAddressToBAL)(runState, toAddress.bytes, common);
+            // EIP-7702: Get delegation access cost (no side effects)
+            let delegationAddress = null;
+            if (common.isActivatedEIP(7702)) {
+                const { gas: delegationGas, delegationAddress: delAddr } = await eip7702GetAccessCost(runState, common, toAddress, charge2929Gas);
+                delegationAddress = delAddr;
+                gas += delegationGas;
+                // EIP-7928: Check gas before committing delegation access
+                if (common.isActivatedEIP(7928) && delegationAddress !== null) {
+                    if (gas > runState.interpreter.getGasLeft()) {
+                        (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.OUT_OF_GAS);
+                    }
+                    // Commit delegation access: warm and add to BAL
+                    eip7702WarmAddress(runState, delegationAddress);
+                    (0, EIP2929_ts_1.addAddressToBAL)(runState, delegationAddress, common);
+                }
+                else if (delegationAddress !== null) {
+                    // No BAL check needed, just warm the address
+                    eip7702WarmAddress(runState, delegationAddress);
+                }
+            }
+            const gasLimit = (0, util_ts_1.maxCallGas)(currentGasLimit, runState.interpreter.getGasLeft() - gas, runState, common);
+            // note that TangerineWhistle or later this cannot happen
+            // (it could have ran out of gas prior to getting here though)
+            if (gasLimit > runState.interpreter.getGasLeft() - gas) {
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.OUT_OF_GAS);
+            }
+            if (gas > runState.interpreter.getGasLeft()) {
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.OUT_OF_GAS);
+            }
+            runState.messageGasLimit = gasLimit;
+            return gas;
+        },
+    ],
+    [
+        /* CREATE2 */
+        0xf5,
+        async function (runState, gas, common) {
+            if (runState.interpreter.isStatic()) {
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.STATIC_STATE_CHANGE);
+            }
+            const [_value, offset, length, _salt] = runState.stack.peek(4);
+            gas += (0, util_ts_1.subMemUsage)(runState, offset, length, common);
+            if (common.isActivatedEIP(2929)) {
+                gas += (0, EIP2929_ts_1.accessAddressEIP2929)(runState, runState.interpreter.getAddress().bytes, common, false);
+            }
+            if (common.isActivatedEIP(3860)) {
+                gas += ((length + util_1.BIGINT_31) / util_1.BIGINT_32) * common.param('initCodeWordGas');
+            }
+            gas += common.param('keccak256WordGas') * (0, util_ts_1.divCeil)(length, util_1.BIGINT_32);
+            let gasLimit = runState.interpreter.getGasLeft() - gas;
+            gasLimit = (0, util_ts_1.maxCallGas)(gasLimit, gasLimit, runState, common); // CREATE2 is only available after TangerineWhistle (Constantinople introduced this opcode)
+            runState.messageGasLimit = gasLimit;
+            return gas;
+        },
+    ],
+    /* EXTCALL */
+    [
+        0xf8,
+        async function (runState, gas, common) {
+            if (runState.env.eof === undefined) {
+                // Opcode not available in legacy contracts
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.INVALID_OPCODE);
+            }
+            // Charge WARM_STORAGE_READ_COST (100) -> done in accessAddressEIP2929
+            // Peek stack values
+            const [toAddr, inOffset, inLength, value] = runState.stack.peek(4);
+            // If value is nonzero and in static mode, throw:
+            if (runState.interpreter.isStatic() && value !== util_1.BIGINT_0) {
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.STATIC_STATE_CHANGE);
+            }
+            // If value > 0, charge CALL_VALUE_COST
+            if (value > util_1.BIGINT_0) {
+                gas += common.param('callValueTransferGas');
+            }
+            // Check if the target address > 20 bytes
+            if (toAddr > EXTCALL_TARGET_MAX) {
+                (0, util_ts_1.trap)(errors_ts_1.EOFErrorMessage.INVALID_EXTCALL_TARGET);
+            }
+            // Charge for memory expansion
+            gas += (0, util_ts_1.subMemUsage)(runState, inOffset, inLength, common);
+            const toAddress = (0, util_ts_1.createAddressFromStackBigInt)(toAddr);
+            // Charge to make address warm (2600 gas)
+            // (in case if address is already warm, this charges the 100 gas)
+            gas += (0, EIP2929_ts_1.accessAddressEIP2929)(runState, toAddress.bytes, common);
+            // Charge account creation cost if value is nonzero
+            if (value > util_1.BIGINT_0) {
+                const account = await runState.stateManager.getAccount(toAddress);
+                const deadAccount = account === undefined || account.isEmpty();
+                if (deadAccount) {
+                    gas += common.param('callNewAccountGas');
+                }
+            }
+            const minRetainedGas = common.param('minRetainedGas');
+            const minCalleeGas = common.param('minCalleeGas');
+            const currentGasAvailable = runState.interpreter.getGasLeft() - gas;
+            const reducedGas = currentGasAvailable / util_1.BIGINT_64;
+            // Calculate the gas limit for the callee
+            // (this is the gas available for the next call frame)
+            let gasLimit;
+            if (reducedGas < minRetainedGas) {
+                gasLimit = currentGasAvailable - minRetainedGas;
+            }
+            else {
+                gasLimit = currentGasAvailable - reducedGas;
+            }
+            if (runState.env.depth >= Number(common.param('stackLimit')) ||
+                runState.env.contract.balance < value ||
+                gasLimit < minCalleeGas) {
+                // Note: this is a hack, TODO: get around this hack and clean this up
+                // This special case will ensure that the actual EXT*CALL is being ran,
+                // But, the code in `function.ts` will note that `runState.messageGasLimit` is set to a negative number
+                // This special number signals that `1` should be put on the stack (per spec)
+                gasLimit = -util_1.BIGINT_1;
+            }
+            runState.messageGasLimit = gasLimit;
+            return gas;
+        },
+    ],
+    /* EXTDELEGATECALL */
+    [
+        0xf9,
+        async function (runState, gas, common) {
+            if (runState.env.eof === undefined) {
+                // Opcode not available in legacy contracts
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.INVALID_OPCODE);
+            }
+            // Charge WARM_STORAGE_READ_COST (100) -> done in accessAddressEIP2929
+            // Peek stack values
+            const [toAddr, inOffset, inLength] = runState.stack.peek(3);
+            // Check if the target address > 20 bytes
+            if (toAddr > EXTCALL_TARGET_MAX) {
+                (0, util_ts_1.trap)(errors_ts_1.EOFErrorMessage.INVALID_EXTCALL_TARGET);
+            }
+            // Charge for memory expansion
+            gas += (0, util_ts_1.subMemUsage)(runState, inOffset, inLength, common);
+            const toAddress = (0, util_ts_1.createAddressFromStackBigInt)(toAddr);
+            // Charge to make address warm (2600 gas)
+            // (in case if address is already warm, this charges the 100 gas)
+            gas += (0, EIP2929_ts_1.accessAddressEIP2929)(runState, toAddress.bytes, common);
+            const minRetainedGas = common.param('minRetainedGas');
+            const minCalleeGas = common.param('minCalleeGas');
+            const currentGasAvailable = runState.interpreter.getGasLeft() - gas;
+            const reducedGas = currentGasAvailable / util_1.BIGINT_64;
+            // Calculate the gas limit for the callee
+            // (this is the gas available for the next call frame)
+            let gasLimit;
+            if (reducedGas < minRetainedGas) {
+                gasLimit = currentGasAvailable - minRetainedGas;
+            }
+            else {
+                gasLimit = currentGasAvailable - reducedGas;
+            }
+            if (runState.env.depth >= Number(common.param('stackLimit')) || gasLimit < minCalleeGas) {
+                // Note: this is a hack, TODO: get around this hack and clean this up
+                // This special case will ensure that the actual EXT*CALL is being ran,
+                // But, the code in `function.ts` will note that `runState.messageGasLimit` is set to a negative number
+                // This special number signals that `1` should be put on the stack (per spec)
+                gasLimit = -util_1.BIGINT_1;
+            }
+            runState.messageGasLimit = gasLimit;
+            return gas;
+        },
+    ],
+    [
+        /* STATICCALL */
+        0xfa,
+        async function (runState, gas, common) {
+            const [currentGasLimit, toAddr, inOffset, inLength, outOffset, outLength] = runState.stack.peek(6);
+            const toAddress = (0, util_ts_1.createAddressFromStackBigInt)(toAddr);
+            gas += (0, util_ts_1.subMemUsage)(runState, inOffset, inLength, common);
+            gas += (0, util_ts_1.subMemUsage)(runState, outOffset, outLength, common);
+            // EIP-7928: Early OOG check before address access
+            // If we don't have enough gas to proceed, trap before adding to BAL
+            if (common.isActivatedEIP(7928) && gas > runState.interpreter.getGasLeft()) {
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.OUT_OF_GAS);
+            }
+            let charge2929Gas = true;
+            if ((common.isActivatedEIP(6800) || common.isActivatedEIP(7864)) &&
+                runState.interpreter._evm.getPrecompile(toAddress) === undefined) {
+                const coldAccessGas = runState.env.accessWitness.readAccountBasicData(toAddress);
+                gas += coldAccessGas;
+                charge2929Gas = coldAccessGas === util_1.BIGINT_0;
+            }
+            // EIP-2929/7928: Get target access cost first (no side effects)
+            let targetAccessCost = util_1.BIGINT_0;
+            if (common.isActivatedEIP(2929)) {
+                targetAccessCost = (0, EIP2929_ts_1.getAddressAccessCost)(runState, toAddress.bytes, common, charge2929Gas);
+                gas += targetAccessCost;
+            }
+            // EIP-7928: Check gas before committing target access
+            if (common.isActivatedEIP(7928) && gas > runState.interpreter.getGasLeft()) {
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.OUT_OF_GAS);
+            }
+            // Now commit target access: warm the address and add to BAL
+            if (common.isActivatedEIP(2929)) {
+                (0, EIP2929_ts_1.warmAddress)(runState, toAddress.bytes);
+            }
+            (0, EIP2929_ts_1.addAddressToBAL)(runState, toAddress.bytes, common);
+            // EIP-7702: Get delegation access cost (no side effects)
+            let delegationAddress = null;
+            if (common.isActivatedEIP(7702)) {
+                const { gas: delegationGas, delegationAddress: delAddr } = await eip7702GetAccessCost(runState, common, toAddress, charge2929Gas);
+                delegationAddress = delAddr;
+                gas += delegationGas;
+                // EIP-7928: Check gas before committing delegation access
+                if (common.isActivatedEIP(7928) && delegationAddress !== null) {
+                    if (gas > runState.interpreter.getGasLeft()) {
+                        (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.OUT_OF_GAS);
+                    }
+                    // Commit delegation access: warm and add to BAL
+                    eip7702WarmAddress(runState, delegationAddress);
+                    (0, EIP2929_ts_1.addAddressToBAL)(runState, delegationAddress, common);
+                }
+                else if (delegationAddress !== null) {
+                    // No BAL check needed, just warm the address
+                    eip7702WarmAddress(runState, delegationAddress);
+                }
+            }
+            const gasLimit = (0, util_ts_1.maxCallGas)(currentGasLimit, runState.interpreter.getGasLeft() - gas, runState, common); // we set TangerineWhistle or later to true here, as STATICCALL was available from Byzantium (which is after TangerineWhistle)
+            runState.messageGasLimit = gasLimit;
+            return gas;
+        },
+    ],
+    /* EXTSTATICCALL */
+    [
+        0xfb,
+        async function (runState, gas, common) {
+            if (runState.env.eof === undefined) {
+                // Opcode not available in legacy contracts
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.INVALID_OPCODE);
+            }
+            // Charge WARM_STORAGE_READ_COST (100) -> done in accessAddressEIP2929
+            // Peek stack values
+            const [toAddr, inOffset, inLength] = runState.stack.peek(3);
+            // Check if the target address > 20 bytes
+            if (toAddr > EXTCALL_TARGET_MAX) {
+                (0, util_ts_1.trap)(errors_ts_1.EOFErrorMessage.INVALID_EXTCALL_TARGET);
+            }
+            // Charge for memory expansion
+            gas += (0, util_ts_1.subMemUsage)(runState, inOffset, inLength, common);
+            const toAddress = (0, util_ts_1.createAddressFromStackBigInt)(toAddr);
+            // Charge to make address warm (2600 gas)
+            // (in case if address is already warm, this charges the 100 gas)
+            gas += (0, EIP2929_ts_1.accessAddressEIP2929)(runState, toAddress.bytes, common);
+            const minRetainedGas = common.param('minRetainedGas');
+            const minCalleeGas = common.param('minCalleeGas');
+            const currentGasAvailable = runState.interpreter.getGasLeft() - gas;
+            const reducedGas = currentGasAvailable / util_1.BIGINT_64;
+            // Calculate the gas limit for the callee
+            // (this is the gas available for the next call frame)
+            let gasLimit;
+            if (reducedGas < minRetainedGas) {
+                gasLimit = currentGasAvailable - minRetainedGas;
+            }
+            else {
+                gasLimit = currentGasAvailable - reducedGas;
+            }
+            if (runState.env.depth >= Number(common.param('stackLimit')) || gasLimit < minCalleeGas) {
+                // Note: this is a hack, TODO: get around this hack and clean this up
+                // This special case will ensure that the actual EXT*CALL is being ran,
+                // But, the code in `function.ts` will note that `runState.messageGasLimit` is set to a negative number
+                // This special number signals that `1` should be put on the stack (per spec)
+                gasLimit = -util_1.BIGINT_1;
+            }
+            runState.messageGasLimit = gasLimit;
+            return gas;
+        },
+    ],
+    [
+        /* REVERT */
+        0xfd,
+        async function (runState, gas, common) {
+            const [offset, length] = runState.stack.peek(2);
+            gas += (0, util_ts_1.subMemUsage)(runState, offset, length, common);
+            return gas;
+        },
+    ],
+    [
+        /* SELFDESTRUCT */
+        0xff,
+        async function (runState, gas, common) {
+            if (runState.interpreter.isStatic()) {
+                (0, util_ts_1.trap)(errors_ts_2.EVMError.errorMessages.STATIC_STATE_CHANGE);
+            }
+            const selfdestructToaddressBigInt = runState.stack.peek()[0];
+            const selfdestructToAddress = (0, util_ts_1.createAddressFromStackBigInt)(selfdestructToaddressBigInt);
+            const contractAddress = runState.interpreter.getAddress();
+            const balance = await runState.interpreter.getExternalBalance(contractAddress);
+            // Calculate new account gas first (needed for checkpoint ordering)
+            let newAccountGas = util_1.BIGINT_0;
+            if (common.gteHardfork(common_1.Hardfork.SpuriousDragon)) {
+                // EIP-161: State Trie Clearing
+                if (balance > util_1.BIGINT_0) {
+                    // This technically checks if account is empty or non-existent
+                    const account = await runState.stateManager.getAccount(selfdestructToAddress);
+                    if (account === undefined || account.isEmpty()) {
+                        newAccountGas = common.param('callNewAccountGas');
+                    }
+                }
+            }
+            else if (common.gteHardfork(common_1.Hardfork.TangerineWhistle)) {
+                // EIP-150 (Tangerine Whistle) gas semantics
+                const exists = (await runState.stateManager.getAccount(selfdestructToAddress)) !== undefined;
+                if (!exists) {
+                    newAccountGas = common.param('callNewAccountGas');
+                }
+            }
+            let selfDestructToCharge2929Gas = true;
+            if ((common.isActivatedEIP(6800) || common.isActivatedEIP(7864)) &&
+                runState.env.chargeCodeAccesses === true) {
+                gas += runState.env.accessWitness.readAccountBasicData(contractAddress);
+                if (balance > util_1.BIGINT_0) {
+                    gas += runState.env.accessWitness.writeAccountBasicData(contractAddress);
+                }
+                let selfDestructToColdAccessGas = runState.env.accessWitness.readAccountBasicData(selfdestructToAddress);
+                if (balance > util_1.BIGINT_0) {
+                    selfDestructToColdAccessGas +=
+                        runState.env.accessWitness.writeAccountBasicData(selfdestructToAddress);
+                }
+                gas += selfDestructToColdAccessGas;
+                selfDestructToCharge2929Gas = selfDestructToColdAccessGas === util_1.BIGINT_0;
+            }
+            // EIP-2929/7928: Get cold access cost first (no side effects)
+            let coldAccessCost = util_1.BIGINT_0;
+            if (common.isActivatedEIP(2929)) {
+                coldAccessCost = (0, EIP2929_ts_1.getAddressAccessCost)(runState, selfdestructToAddress.bytes, common, selfDestructToCharge2929Gas, true);
+                gas += coldAccessCost;
+            }
+            // EIP-7928: Check if we have enough gas for the cold access (checkpoint 1)
+            // If yes, add beneficiary to BAL - this is the "state access" point
+            // The newAccountGas (checkpoint 2) is added after, so OOG there still records BAL
+            if (common.isActivatedEIP(7928)) {
+                // Only add to BAL if we have enough gas for the current accumulated cost
+                // (base gas + cold access). newAccountGas is NOT included here because
+                // per EIP-7928, if we pass the cold access check but fail at new account
+                // creation, the beneficiary should still be in BAL.
+                if (gas <= runState.interpreter.getGasLeft()) {
+                    (0, EIP2929_ts_1.addAddressToBAL)(runState, selfdestructToAddress.bytes, common);
+                }
+            }
+            // Now commit the address warming (EIP-2929)
+            if (common.isActivatedEIP(2929)) {
+                (0, EIP2929_ts_1.warmAddress)(runState, selfdestructToAddress.bytes);
+            }
+            // Add new account gas (checkpoint 2)
+            gas += newAccountGas;
+            return gas;
+        },
+    ],
+]);
+// Set the range [0xa0, 0xa4] to the LOG handler
+const logDynamicFunc = exports.dynamicGasHandlers.get(0xa0);
+for (let i = 0xa1; i <= 0xa4; i++) {
+    exports.dynamicGasHandlers.set(i, logDynamicFunc);
+}
+// EIP-8141: FRAMEDATACOPY dynamic gas (matches CALLDATACOPY)
+exports.dynamicGasHandlers.set(0xb2, async function (runState, gas, common) {
+    const [memOffset, _dataOffset, dataLength] = runState.stack.peek(4);
+    gas += (0, util_ts_1.subMemUsage)(runState, memOffset, dataLength, common);
+    if (dataLength !== util_1.BIGINT_0) {
+        gas += common.param('copyGas') * (0, util_ts_1.divCeil)(dataLength, util_1.BIGINT_32);
+    }
+    return gas;
+});
+//# sourceMappingURL=gas.js.map