@aztec/simulator 0.76.4 → 0.77.0-testnet-ignition.17

package/dest/public/public_tx_simulator.js

@@ -1,333 +1,322 @@
-import { __esDecorate, __runInitializers } from "tslib";
-import { NestedProcessReturnValues, TxExecutionPhase, } from '@aztec/circuit-types';
+function _ts_decorate(decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for(var i = decorators.length - 1; i >= 0; i--)if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+}
 import { createLogger } from '@aztec/foundation/log';
 import { Timer } from '@aztec/foundation/timer';
 import { ProtocolContractAddress } from '@aztec/protocol-contracts';
+import { computeFeePayerBalanceStorageSlot } from '@aztec/protocol-contracts/fee-juice';
+import { NestedProcessReturnValues, TxExecutionPhase } from '@aztec/stdlib/tx';
 import { Attributes, getTelemetryClient, trackSpan } from '@aztec/telemetry-client';
 import { strict as assert } from 'assert';
-import { AvmSimulator } from '../avm/index.js';
-import { NullifierCollisionError } from '../avm/journal/nullifiers.js';
 import { getPublicFunctionDebugName } from '../common/debug_fn_name.js';
+import { AvmSimulator } from './avm/index.js';
+import { NullifierCollisionError } from './avm/journal/nullifiers.js';
 import { ExecutorMetrics } from './executor_metrics.js';
-import { computeFeePayerBalanceStorageSlot } from './fee_payment.js';
 import { PublicTxContext } from './public_tx_context.js';
-let PublicTxSimulator = (() => {
-    var _a;
-    let _instanceExtraInitializers = [];
-    let _simulateEnqueuedCall_decorators;
-    let _simulateEnqueuedCallInternal_decorators;
-    return _a = class PublicTxSimulator {
-            constructor(db, worldStateDB, globalVariables, doMerkleOperations = false, enforceFeePayment = true, telemetryClient = getTelemetryClient()) {
-                this.db = (__runInitializers(this, _instanceExtraInitializers), db);
-                this.worldStateDB = worldStateDB;
-                this.globalVariables = globalVariables;
-                this.doMerkleOperations = doMerkleOperations;
-                this.enforceFeePayment = enforceFeePayment;
-                this.log = createLogger(`simulator:public_tx_simulator`);
-                this.metrics = new ExecutorMetrics(telemetryClient, 'PublicTxSimulator');
+export class PublicTxSimulator {
+    db;
+    worldStateDB;
+    globalVariables;
+    doMerkleOperations;
+    skipFeeEnforcement;
+    metrics;
+    log;
+    constructor(db, worldStateDB, globalVariables, doMerkleOperations = false, skipFeeEnforcement = false, telemetryClient = getTelemetryClient()){
+        this.db = db;
+        this.worldStateDB = worldStateDB;
+        this.globalVariables = globalVariables;
+        this.doMerkleOperations = doMerkleOperations;
+        this.skipFeeEnforcement = skipFeeEnforcement;
+        this.log = createLogger(`simulator:public_tx_simulator`);
+        this.metrics = new ExecutorMetrics(telemetryClient, 'PublicTxSimulator');
+    }
+    get tracer() {
+        return this.metrics.tracer;
+    }
+    /**
+   * Simulate a transaction's public portion including all of its phases.
+   * @param tx - The transaction to simulate.
+   * @returns The result of the transaction's public execution.
+   */ async simulate(tx) {
+        const startTime = process.hrtime.bigint();
+        const txHash = await tx.getTxHash();
+        this.log.debug(`Simulating ${tx.enqueuedPublicFunctionCalls.length} public calls for tx ${txHash}`, {
+            txHash
+        });
+        const context = await PublicTxContext.create(this.db, this.worldStateDB, tx, this.globalVariables, this.doMerkleOperations);
+        // add new contracts to the contracts db so that their functions may be found and called
+        // TODO(#4073): This is catching only private deployments, when we add public ones, we'll
+        // have to capture contracts emitted in that phase as well.
+        // TODO(@spalladino): Should we allow emitting contracts in the fee preparation phase?
+        // TODO(#6464): Should we allow emitting contracts in the private setup phase?
+        // if so, this should only add contracts that were deployed during private app logic.
+        // FIXME: we shouldn't need to directly modify worldStateDb here!
+        await this.worldStateDB.addNewContracts(tx);
+        const nonRevertStart = process.hrtime.bigint();
+        await this.insertNonRevertiblesFromPrivate(context);
+        const nonRevertEnd = process.hrtime.bigint();
+        this.metrics.recordPrivateEffectsInsertion(Number(nonRevertEnd - nonRevertStart) / 1_000, 'non-revertible');
+        const processedPhases = [];
+        if (context.hasPhase(TxExecutionPhase.SETUP)) {
+            const setupResult = await this.simulateSetupPhase(context);
+            processedPhases.push(setupResult);
+        }
+        const revertStart = process.hrtime.bigint();
+        await this.insertRevertiblesFromPrivate(context);
+        const revertEnd = process.hrtime.bigint();
+        this.metrics.recordPrivateEffectsInsertion(Number(revertEnd - revertStart) / 1_000, 'revertible');
+        if (context.hasPhase(TxExecutionPhase.APP_LOGIC)) {
+            const appLogicResult = await this.simulateAppLogicPhase(context);
+            processedPhases.push(appLogicResult);
+        }
+        if (context.hasPhase(TxExecutionPhase.TEARDOWN)) {
+            const teardownResult = await this.simulateTeardownPhase(context);
+            processedPhases.push(teardownResult);
+        }
+        await context.halt();
+        await this.payFee(context);
+        const endStateReference = await this.db.getStateReference();
+        const avmProvingRequest = await context.generateProvingRequest(endStateReference);
+        const revertCode = context.getFinalRevertCode();
+        if (!revertCode.isOK()) {
+            // TODO(#6464): Should we allow emitting contracts in the private setup phase?
+            // if so, this is removing contracts deployed in private setup
+            // You can't submit contracts in public, so this is only relevant for private-created side effects
+            // FIXME: we shouldn't need to directly modify worldStateDb here!
+            await this.worldStateDB.removeNewContracts(tx, true);
+            // FIXME(dbanks12): should not be changing immutable tx
+            await tx.filterRevertedLogs();
+        }
+        const endTime = process.hrtime.bigint();
+        this.log.debug(`Public TX simulator took ${Number(endTime - startTime) / 1_000_000} ms\n`);
+        return {
+            avmProvingRequest,
+            gasUsed: {
+                totalGas: context.getActualGasUsed(),
+                teardownGas: context.teardownGasUsed,
+                publicGas: context.getActualPublicGasUsed(),
+                billedGas: context.getTotalGasUsed()
+            },
+            revertCode,
+            revertReason: context.revertReason,
+            processedPhases: processedPhases
+        };
+    }
+    /**
+   * Simulate the setup phase of a transaction's public execution.
+   * @param context - WILL BE MUTATED. The context of the currently executing public transaction portion
+   * @returns The phase result.
+   */ async simulateSetupPhase(context) {
+        return await this.simulatePhase(TxExecutionPhase.SETUP, context);
+    }
+    /**
+   * Simulate the app logic phase of a transaction's public execution.
+   * @param context - WILL BE MUTATED. The context of the currently executing public transaction portion
+   * @returns The phase result.
+   */ async simulateAppLogicPhase(context) {
+        assert(context.state.isForked(), 'App logic phase should operate with forked state.');
+        const result = await this.simulatePhase(TxExecutionPhase.APP_LOGIC, context);
+        if (result.reverted) {
+            // Drop the currently active forked state manager and rollback to end of setup.
+            await context.state.discardForkedState();
+        } else {
+            if (!context.hasPhase(TxExecutionPhase.TEARDOWN)) {
+                // Nothing to do after this (no teardown), so merge state updates now instead of letting teardown handle it.
+                await context.state.mergeForkedState();
             }
-            get tracer() {
-                return this.metrics.tracer;
+        }
+        return result;
+    }
+    /**
+   * Simulate the teardown phase of a transaction's public execution.
+   * @param context - WILL BE MUTATED. The context of the currently executing public transaction portion
+   * @returns The phase result.
+   */ async simulateTeardownPhase(context) {
+        if (!context.state.isForked()) {
+            // If state isn't forked (app logic reverted), fork now
+            // so we can rollback to the end of setup if teardown reverts.
+            await context.state.fork();
+        }
+        const result = await this.simulatePhase(TxExecutionPhase.TEARDOWN, context);
+        if (result.reverted) {
+            // Drop the currently active forked state manager and rollback to end of setup.
+            await context.state.discardForkedState();
+        } else {
+            // Merge state updates from teardown,
+            await context.state.mergeForkedState();
+        }
+        return result;
+    }
+    /**
+   * Simulate a phase of a transaction's public execution.
+   * @param phase - The current phase
+   * @param context - WILL BE MUTATED. The context of the currently executing public transaction portion
+   * @returns The phase result.
+   */ async simulatePhase(phase, context) {
+        const callRequests = context.getCallRequestsForPhase(phase);
+        const executionRequests = context.getExecutionRequestsForPhase(phase);
+        this.log.debug(`Processing phase ${TxExecutionPhase[phase]} for tx ${context.txHash}`, {
+            txHash: context.txHash.toString(),
+            phase: TxExecutionPhase[phase],
+            callRequests: callRequests.length,
+            executionRequests: executionRequests.length
+        });
+        const returnValues = [];
+        let reverted = false;
+        let revertReason;
+        const phaseTimer = new Timer();
+        for(let i = callRequests.length - 1; i >= 0; i--){
+            if (reverted) {
+                break;
             }
-            /**
-             * Simulate a transaction's public portion including all of its phases.
-             * @param tx - The transaction to simulate.
-             * @returns The result of the transaction's public execution.
-             */
-            async simulate(tx) {
-                const txHash = await tx.getTxHash();
-                this.log.debug(`Simulating ${tx.enqueuedPublicFunctionCalls.length} public calls for tx ${txHash}`, { txHash });
-                const context = await PublicTxContext.create(this.db, this.worldStateDB, tx, this.globalVariables, this.doMerkleOperations);
-                // add new contracts to the contracts db so that their functions may be found and called
-                // TODO(#4073): This is catching only private deployments, when we add public ones, we'll
-                // have to capture contracts emitted in that phase as well.
-                // TODO(@spalladino): Should we allow emitting contracts in the fee preparation phase?
-                // TODO(#6464): Should we allow emitting contracts in the private setup phase?
-                // if so, this should only add contracts that were deployed during private app logic.
-                // FIXME: we shouldn't need to directly modify worldStateDb here!
-                await this.worldStateDB.addNewContracts(tx);
-                const nonRevertStart = process.hrtime.bigint();
-                await this.insertNonRevertiblesFromPrivate(context);
-                const nonRevertEnd = process.hrtime.bigint();
-                this.metrics.recordPrivateEffectsInsertion(Number(nonRevertEnd - nonRevertStart) / 1000, 'non-revertible');
-                const processedPhases = [];
-                if (context.hasPhase(TxExecutionPhase.SETUP)) {
-                    const setupResult = await this.simulateSetupPhase(context);
-                    processedPhases.push(setupResult);
-                }
-                const revertStart = process.hrtime.bigint();
-                await this.insertRevertiblesFromPrivate(context);
-                const revertEnd = process.hrtime.bigint();
-                this.metrics.recordPrivateEffectsInsertion(Number(revertEnd - revertStart) / 1000, 'revertible');
-                if (context.hasPhase(TxExecutionPhase.APP_LOGIC)) {
-                    const appLogicResult = await this.simulateAppLogicPhase(context);
-                    processedPhases.push(appLogicResult);
-                }
-                if (context.hasPhase(TxExecutionPhase.TEARDOWN)) {
-                    const teardownResult = await this.simulateTeardownPhase(context);
-                    processedPhases.push(teardownResult);
-                }
-                context.halt();
-                await this.payFee(context);
-                const endStateReference = await this.db.getStateReference();
-                const avmProvingRequest = await context.generateProvingRequest(endStateReference);
-                const revertCode = context.getFinalRevertCode();
-                if (!revertCode.isOK()) {
-                    // TODO(#6464): Should we allow emitting contracts in the private setup phase?
-                    // if so, this is removing contracts deployed in private setup
-                    // You can't submit contracts in public, so this is only relevant for private-created side effects
-                    // FIXME: we shouldn't need to directly modify worldStateDb here!
-                    await this.worldStateDB.removeNewContracts(tx, true);
-                    // FIXME(dbanks12): should not be changing immutable tx
-                    tx.filterRevertedLogs(tx.data.forPublic.nonRevertibleAccumulatedData);
-                }
-                return {
-                    avmProvingRequest,
-                    gasUsed: {
-                        totalGas: context.getActualGasUsed(),
-                        teardownGas: context.teardownGasUsed,
-                        publicGas: context.getActualPublicGasUsed(),
-                    },
-                    revertCode,
-                    revertReason: context.revertReason,
-                    processedPhases: processedPhases,
-                };
+            const callRequest = callRequests[i];
+            const executionRequest = executionRequests[i];
+            const enqueuedCallResult = await this.simulateEnqueuedCall(phase, context, callRequest, executionRequest);
+            returnValues.push(new NestedProcessReturnValues(enqueuedCallResult.output));
+            if (enqueuedCallResult.reverted) {
+                reverted = true;
+                revertReason = enqueuedCallResult.revertReason;
             }
-            /**
-             * Simulate the setup phase of a transaction's public execution.
-             * @param context - WILL BE MUTATED. The context of the currently executing public transaction portion
-             * @returns The phase result.
-             */
-            async simulateSetupPhase(context) {
-                return await this.simulatePhase(TxExecutionPhase.SETUP, context);
+        }
+        return {
+            phase,
+            durationMs: phaseTimer.ms(),
+            returnValues,
+            reverted,
+            revertReason
+        };
+    }
+    /**
+   * Simulate an enqueued public call.
+   * @param phase - The current phase of public execution
+   * @param context - WILL BE MUTATED. The context of the currently executing public transaction portion
+   * @param callRequest - The enqueued call to execute
+   * @param executionRequest - The execution request (includes args)
+   * @returns The result of execution.
+   */ async simulateEnqueuedCall(phase, context, callRequest, executionRequest) {
+        const stateManager = context.state.getActiveStateManager();
+        const address = executionRequest.callContext.contractAddress;
+        const fnName = await getPublicFunctionDebugName(this.worldStateDB, address, executionRequest.args);
+        const allocatedGas = context.getGasLeftAtPhase(phase);
+        const result = await this.simulateEnqueuedCallInternal(context.state.getActiveStateManager(), executionRequest, allocatedGas, /*transactionFee=*/ context.getTransactionFee(phase), fnName);
+        const gasUsed = allocatedGas.sub(result.gasLeft); // by enqueued call
+        context.consumeGas(phase, gasUsed);
+        this.log.debug(`Simulated enqueued public call (${fnName}) consumed ${gasUsed.l2Gas} L2 gas ending with ${result.gasLeft.l2Gas} L2 gas left.`);
+        stateManager.traceEnqueuedCall(callRequest, executionRequest.args, result.reverted);
+        if (result.reverted) {
+            const culprit = `${executionRequest.callContext.contractAddress}:${executionRequest.callContext.functionSelector}`;
+            context.revert(phase, result.revertReason, culprit); // throws if in setup (non-revertible) phase
+        }
+        return result;
+    }
+    /**
+   * Simulate an enqueued public call, without modifying the context (PublicTxContext).
+   * Resulting modifcations to the context can be applied by the caller.
+   *
+   * This function can be mocked for testing to skip actual AVM simulation
+   * while still simulating phases and generating a proving request.
+   *
+   * @param stateManager - The state manager for AvmSimulation
+   * @param context - The context of the currently executing public transaction portion
+   * @param executionRequest - The execution request (includes args)
+   * @param allocatedGas - The gas allocated to the enqueued call
+   * @param fnName - The name of the function
+   * @returns The result of execution.
+   */ async simulateEnqueuedCallInternal(stateManager, executionRequest, allocatedGas, transactionFee, fnName) {
+        const address = executionRequest.callContext.contractAddress;
+        const sender = executionRequest.callContext.msgSender;
+        this.log.debug(`Executing enqueued public call to external function ${fnName}@${address} with ${allocatedGas.l2Gas} allocated L2 gas.`);
+        const timer = new Timer();
+        const simulator = await AvmSimulator.create(stateManager, address, sender, transactionFee, this.globalVariables, executionRequest.callContext.isStaticCall, executionRequest.args, allocatedGas);
+        const avmCallResult = await simulator.execute();
+        const result = avmCallResult.finalize();
+        this.log.verbose(result.reverted ? `Simulation of enqueued public call ${fnName} reverted with reason ${result.revertReason}.` : `Simulation of enqueued public call ${fnName} completed successfully.`, {
+            eventName: 'avm-simulation',
+            appCircuitName: fnName,
+            duration: timer.ms()
+        });
+        if (result.reverted) {
+            this.metrics.recordFunctionSimulationFailure();
+        } else {
+            this.metrics.recordFunctionSimulation(timer.ms(), allocatedGas.sub(result.gasLeft).l2Gas, fnName);
+        }
+        return result;
+    }
+    /**
+   * Insert the non-revertible accumulated data from private into the public state.
+   */ async insertNonRevertiblesFromPrivate(context) {
+        const stateManager = context.state.getActiveStateManager();
+        try {
+            await stateManager.writeSiloedNullifiersFromPrivate(context.nonRevertibleAccumulatedDataFromPrivate.nullifiers);
+        } catch (e) {
+            if (e instanceof NullifierCollisionError) {
+                throw new NullifierCollisionError(`Nullifier collision encountered when inserting non-revertible nullifiers from private.\nDetails: ${e.message}\n.Stack:${e.stack}`);
             }
-            /**
-             * Simulate the app logic phase of a transaction's public execution.
-             * @param context - WILL BE MUTATED. The context of the currently executing public transaction portion
-             * @returns The phase result.
-             */
-            async simulateAppLogicPhase(context) {
-                assert(context.state.isForked(), 'App logic phase should operate with forked state.');
-                const result = await this.simulatePhase(TxExecutionPhase.APP_LOGIC, context);
-                if (result.reverted) {
-                    // Drop the currently active forked state manager and rollback to end of setup.
-                    context.state.discardForkedState();
-                }
-                else {
-                    if (!context.hasPhase(TxExecutionPhase.TEARDOWN)) {
-                        // Nothing to do after this (no teardown), so merge state updates now instead of letting teardown handle it.
-                        context.state.mergeForkedState();
-                    }
-                }
-                return result;
+        }
+        for (const noteHash of context.nonRevertibleAccumulatedDataFromPrivate.noteHashes){
+            if (!noteHash.isEmpty()) {
+                await stateManager.writeUniqueNoteHash(noteHash);
             }
-            /**
-             * Simulate the teardown phase of a transaction's public execution.
-             * @param context - WILL BE MUTATED. The context of the currently executing public transaction portion
-             * @returns The phase result.
-             */
-            async simulateTeardownPhase(context) {
-                if (!context.state.isForked()) {
-                    // If state isn't forked (app logic reverted), fork now
-                    // so we can rollback to the end of setup if teardown reverts.
-                    context.state.fork();
-                }
-                const result = await this.simulatePhase(TxExecutionPhase.TEARDOWN, context);
-                if (result.reverted) {
-                    // Drop the currently active forked state manager and rollback to end of setup.
-                    context.state.discardForkedState();
-                }
-                else {
-                    // Merge state updates from teardown,
-                    context.state.mergeForkedState();
-                }
-                return result;
+        }
+    }
+    /**
+   * Insert the revertible accumulated data from private into the public state.
+   * Start by forking state so we can rollback to the end of setup if app logic or teardown reverts.
+   */ async insertRevertiblesFromPrivate(context) {
+        // Fork the state manager so we can rollback to end of setup if app logic reverts.
+        await context.state.fork();
+        const stateManager = context.state.getActiveStateManager();
+        try {
+            await stateManager.writeSiloedNullifiersFromPrivate(context.revertibleAccumulatedDataFromPrivate.nullifiers);
+        } catch (e) {
+            if (e instanceof NullifierCollisionError) {
+                throw new NullifierCollisionError(`Nullifier collision encountered when inserting revertible nullifiers from private. Details:\n${e.message}\n.Stack:${e.stack}`);
             }
-            /**
-             * Simulate a phase of a transaction's public execution.
-             * @param phase - The current phase
-             * @param context - WILL BE MUTATED. The context of the currently executing public transaction portion
-             * @returns The phase result.
-             */
-            async simulatePhase(phase, context) {
-                const callRequests = context.getCallRequestsForPhase(phase);
-                const executionRequests = context.getExecutionRequestsForPhase(phase);
-                this.log.debug(`Processing phase ${TxExecutionPhase[phase]} for tx ${context.txHash}`, {
-                    txHash: context.txHash.toString(),
-                    phase: TxExecutionPhase[phase],
-                    callRequests: callRequests.length,
-                    executionRequests: executionRequests.length,
-                });
-                const returnValues = [];
-                let reverted = false;
-                let revertReason;
-                const phaseTimer = new Timer();
-                for (let i = callRequests.length - 1; i >= 0; i--) {
-                    if (reverted) {
-                        break;
-                    }
-                    const callRequest = callRequests[i];
-                    const executionRequest = executionRequests[i];
-                    const enqueuedCallResult = await this.simulateEnqueuedCall(phase, context, callRequest, executionRequest);
-                    returnValues.push(new NestedProcessReturnValues(enqueuedCallResult.output));
-                    if (enqueuedCallResult.reverted) {
-                        reverted = true;
-                        revertReason = enqueuedCallResult.revertReason;
-                    }
-                }
-                return {
-                    phase,
-                    durationMs: phaseTimer.ms(),
-                    returnValues,
-                    reverted,
-                    revertReason,
-                };
+        }
+        for (const noteHash of context.revertibleAccumulatedDataFromPrivate.noteHashes){
+            if (!noteHash.isEmpty()) {
+                // Revertible note hashes from private are not hashed with nonce, since private can't know their final position, only we can.
+                await stateManager.writeSiloedNoteHash(noteHash);
             }
-            /**
-             * Simulate an enqueued public call.
-             * @param phase - The current phase of public execution
-             * @param context - WILL BE MUTATED. The context of the currently executing public transaction portion
-             * @param callRequest - The enqueued call to execute
-             * @param executionRequest - The execution request (includes args)
-             * @returns The result of execution.
-             */
-            async simulateEnqueuedCall(phase, context, callRequest, executionRequest) {
-                const stateManager = context.state.getActiveStateManager();
-                const address = executionRequest.callContext.contractAddress;
-                const fnName = await getPublicFunctionDebugName(this.worldStateDB, address, executionRequest.args);
-                const allocatedGas = context.getGasLeftAtPhase(phase);
-                const result = await this.simulateEnqueuedCallInternal(context.state.getActiveStateManager(), executionRequest, allocatedGas, 
-                /*transactionFee=*/ context.getTransactionFee(phase), fnName);
-                const gasUsed = allocatedGas.sub(result.gasLeft); // by enqueued call
-                context.consumeGas(phase, gasUsed);
-                this.log.debug(`Simulated enqueued public call (${fnName}) consumed ${gasUsed.l2Gas} L2 gas ending with ${result.gasLeft.l2Gas} L2 gas left.`);
-                stateManager.traceEnqueuedCall(callRequest, executionRequest.args, result.reverted);
-                if (result.reverted) {
-                    const culprit = `${executionRequest.callContext.contractAddress}:${executionRequest.callContext.functionSelector}`;
-                    context.revert(phase, result.revertReason, culprit); // throws if in setup (non-revertible) phase
-                }
-                return result;
+        }
+    }
+    async payFee(context) {
+        const txFee = context.getTransactionFee(TxExecutionPhase.TEARDOWN);
+        if (context.feePayer.isZero()) {
+            this.log.debug(`No one is paying the fee of ${txFee.toBigInt()}`);
+            return;
+        }
+        const feeJuiceAddress = ProtocolContractAddress.FeeJuice;
+        const balanceSlot = await computeFeePayerBalanceStorageSlot(context.feePayer);
+        this.log.debug(`Deducting ${txFee.toBigInt()} balance in Fee Juice for ${context.feePayer}`);
+        const stateManager = context.state.getActiveStateManager();
+        let currentBalance = await stateManager.readStorage(feeJuiceAddress, balanceSlot);
+        // We allow to fake the balance of the fee payer to allow fee estimation
+        // When mocking the balance of the fee payer, the circuit should not be able to prove the simulation
+        if (currentBalance.lt(txFee)) {
+            if (!this.skipFeeEnforcement) {
+                throw new Error(`Not enough balance for fee payer to pay for transaction (got ${currentBalance.toBigInt()} needs ${txFee.toBigInt()})`);
+            } else {
+                currentBalance = txFee;
             }
-            /**
-             * Simulate an enqueued public call, without modifying the context (PublicTxContext).
-             * Resulting modifcations to the context can be applied by the caller.
-             *
-             * This function can be mocked for testing to skip actual AVM simulation
-             * while still simulating phases and generating a proving request.
-             *
-             * @param stateManager - The state manager for AvmSimulation
-             * @param context - The context of the currently executing public transaction portion
-             * @param executionRequest - The execution request (includes args)
-             * @param allocatedGas - The gas allocated to the enqueued call
-             * @param fnName - The name of the function
-             * @returns The result of execution.
-             */
-            async simulateEnqueuedCallInternal(stateManager, executionRequest, allocatedGas, transactionFee, fnName) {
-                const address = executionRequest.callContext.contractAddress;
-                const sender = executionRequest.callContext.msgSender;
-                this.log.debug(`Executing enqueued public call to external function ${fnName}@${address} with ${allocatedGas.l2Gas} allocated L2 gas.`);
-                const timer = new Timer();
-                const simulator = await AvmSimulator.create(stateManager, address, sender, transactionFee, this.globalVariables, executionRequest.callContext.isStaticCall, executionRequest.args, allocatedGas);
-                const avmCallResult = await simulator.execute();
-                const result = avmCallResult.finalize();
-                this.log.verbose(result.reverted
-                    ? `Simulation of enqueued public call ${fnName} reverted with reason ${result.revertReason}.`
-                    : `Simulation of enqueued public call ${fnName} completed successfully.`, {
-                    eventName: 'avm-simulation',
-                    appCircuitName: fnName,
-                    duration: timer.ms(),
-                });
-                if (result.reverted) {
-                    this.metrics.recordFunctionSimulationFailure();
-                }
-                else {
-                    this.metrics.recordFunctionSimulation(timer.ms(), allocatedGas.sub(result.gasLeft).l2Gas, fnName);
-                }
-                return result;
-            }
-            /**
-             * Insert the non-revertible accumulated data from private into the public state.
-             */
-            async insertNonRevertiblesFromPrivate(context) {
-                const stateManager = context.state.getActiveStateManager();
-                try {
-                    await stateManager.writeSiloedNullifiersFromPrivate(context.nonRevertibleAccumulatedDataFromPrivate.nullifiers);
-                }
-                catch (e) {
-                    if (e instanceof NullifierCollisionError) {
-                        throw new NullifierCollisionError(`Nullifier collision encountered when inserting non-revertible nullifiers from private.\nDetails: ${e.message}\n.Stack:${e.stack}`);
-                    }
-                }
-                for (const noteHash of context.nonRevertibleAccumulatedDataFromPrivate.noteHashes) {
-                    if (!noteHash.isEmpty()) {
-                        await stateManager.writeUniqueNoteHash(noteHash);
-                    }
-                }
-            }
-            /**
-             * Insert the revertible accumulated data from private into the public state.
-             * Start by forking state so we can rollback to the end of setup if app logic or teardown reverts.
-             */
-            async insertRevertiblesFromPrivate(context) {
-                // Fork the state manager so we can rollback to end of setup if app logic reverts.
-                context.state.fork();
-                const stateManager = context.state.getActiveStateManager();
-                try {
-                    await stateManager.writeSiloedNullifiersFromPrivate(context.revertibleAccumulatedDataFromPrivate.nullifiers);
-                }
-                catch (e) {
-                    if (e instanceof NullifierCollisionError) {
-                        throw new NullifierCollisionError(`Nullifier collision encountered when inserting revertible nullifiers from private. Details:\n${e.message}\n.Stack:${e.stack}`);
-                    }
-                }
-                for (const noteHash of context.revertibleAccumulatedDataFromPrivate.noteHashes) {
-                    if (!noteHash.isEmpty()) {
-                        // Revertible note hashes from private are not hashed with nonce, since private can't know their final position, only we can.
-                        await stateManager.writeSiloedNoteHash(noteHash);
-                    }
-                }
-            }
-            async payFee(context) {
-                const txFee = context.getTransactionFee(TxExecutionPhase.TEARDOWN);
-                if (context.feePayer.isZero()) {
-                    this.log.debug(`No one is paying the fee of ${txFee.toBigInt()}`);
-                    return;
-                }
-                const feeJuiceAddress = ProtocolContractAddress.FeeJuice;
-                const balanceSlot = await computeFeePayerBalanceStorageSlot(context.feePayer);
-                this.log.debug(`Deducting ${txFee.toBigInt()} balance in Fee Juice for ${context.feePayer}`);
-                const stateManager = context.state.getActiveStateManager();
-                let currentBalance = await stateManager.readStorage(feeJuiceAddress, balanceSlot);
-                // We allow to fake the balance of the fee payer to allow fee estimation
-                // When mocking the balance of the fee payer, the circuit should not be able to prove the simulation
-                if (currentBalance.lt(txFee)) {
-                    if (this.enforceFeePayment) {
-                        throw new Error(`Not enough balance for fee payer to pay for transaction (got ${currentBalance.toBigInt()} needs ${txFee.toBigInt()})`);
-                    }
-                    else {
-                        currentBalance = txFee;
-                    }
-                }
-                const updatedBalance = currentBalance.sub(txFee);
-                await stateManager.writeStorage(feeJuiceAddress, balanceSlot, updatedBalance, true);
-            }
-        },
-        (() => {
-            const _metadata = typeof Symbol === "function" && Symbol.metadata ? Object.create(null) : void 0;
-            _simulateEnqueuedCall_decorators = [trackSpan('PublicTxSimulator.simulateEnqueuedCall', (phase, context, _callRequest, executionRequest) => ({
-                    [Attributes.TX_HASH]: context.txHash.toString(),
-                    [Attributes.TARGET_ADDRESS]: executionRequest.callContext.contractAddress.toString(),
-                    [Attributes.SENDER_ADDRESS]: executionRequest.callContext.msgSender.toString(),
-                    [Attributes.SIMULATOR_PHASE]: TxExecutionPhase[phase].toString(),
-                }))];
-            _simulateEnqueuedCallInternal_decorators = [trackSpan('PublicTxSimulator.simulateEnqueuedCallInternal', (_stateManager, _executionRequest, _allocatedGas, _transactionFee, fnName) => ({
-                    [Attributes.APP_CIRCUIT_NAME]: fnName,
-                }))];
-            __esDecorate(_a, null, _simulateEnqueuedCall_decorators, { kind: "method", name: "simulateEnqueuedCall", static: false, private: false, access: { has: obj => "simulateEnqueuedCall" in obj, get: obj => obj.simulateEnqueuedCall }, metadata: _metadata }, null, _instanceExtraInitializers);
-            __esDecorate(_a, null, _simulateEnqueuedCallInternal_decorators, { kind: "method", name: "simulateEnqueuedCallInternal", static: false, private: false, access: { has: obj => "simulateEnqueuedCallInternal" in obj, get: obj => obj.simulateEnqueuedCallInternal }, metadata: _metadata }, null, _instanceExtraInitializers);
-            if (_metadata) Object.defineProperty(_a, Symbol.metadata, { enumerable: true, configurable: true, writable: true, value: _metadata });
-        })(),
-        _a;
-})();
-export { PublicTxSimulator };
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGljX3R4X3NpbXVsYXRvci5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wdWJsaWMvcHVibGljX3R4X3NpbXVsYXRvci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiO0FBQUEsT0FBTyxFQUlMLHlCQUF5QixFQUl6QixnQkFBZ0IsR0FDakIsTUFBTSxzQkFBc0IsQ0FBQztBQUc5QixPQUFPLEVBQWUsWUFBWSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDbEUsT0FBTyxFQUFFLEtBQUssRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQ2hELE9BQU8sRUFBRSx1QkFBdUIsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQ3BFLE9BQU8sRUFBRSxVQUFVLEVBQXFDLGtCQUFrQixFQUFFLFNBQVMsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXZILE9BQU8sRUFBRSxNQUFNLElBQUksTUFBTSxFQUFFLE1BQU0sUUFBUSxDQUFDO0FBRzFDLE9BQU8sRUFBbUMsWUFBWSxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFDaEYsT0FBTyxFQUFFLHVCQUF1QixFQUFFLE1BQU0sOEJBQThCLENBQUM7QUFDdkUsT0FBTyxFQUFFLDBCQUEwQixFQUFFLE1BQU0sNEJBQTRCLENBQUM7QUFDeEUsT0FBTyxFQUFFLGVBQWUsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ3hELE9BQU8sRUFBRSxpQ0FBaUMsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBRXJFLE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztJQW9CNUMsaUJBQWlCOzs7OztzQkFBakIsaUJBQWlCO1lBSzVCLFlBQ1UsRUFBNEIsRUFDNUIsWUFBMEIsRUFDMUIsZUFBZ0MsRUFDaEMscUJBQThCLEtBQUssRUFDbkMsb0JBQTZCLElBQUksRUFDekMsa0JBQW1DLGtCQUFrQixFQUFFO2dCQUwvQyxPQUFFLElBTkQsbURBQWlCLEVBTWxCLEVBQUUsRUFBMEI7Z0JBQzVCLGlCQUFZLEdBQVosWUFBWSxDQUFjO2dCQUMxQixvQkFBZSxHQUFmLGVBQWUsQ0FBaUI7Z0JBQ2hDLHVCQUFrQixHQUFsQixrQkFBa0IsQ0FBaUI7Z0JBQ25DLHNCQUFpQixHQUFqQixpQkFBaUIsQ0FBZ0I7Z0JBR3pDLElBQUksQ0FBQyxHQUFHLEdBQUcsWUFBWSxDQUFDLCtCQUErQixDQUFDLENBQUM7Z0JBQ3pELElBQUksQ0FBQyxPQUFPLEdBQUcsSUFBSSxlQUFlLENBQUMsZUFBZSxFQUFFLG1CQUFtQixDQUFDLENBQUM7WUFDM0UsQ0FBQztZQUVELElBQUksTUFBTTtnQkFDUixPQUFPLElBQUksQ0FBQyxPQUFPLENBQUMsTUFBTSxDQUFDO1lBQzdCLENBQUM7WUFDRDs7OztlQUlHO1lBQ0ksS0FBSyxDQUFDLFFBQVEsQ0FBQyxFQUFNO2dCQUMxQixNQUFNLE1BQU0sR0FBRyxNQUFNLEVBQUUsQ0FBQyxTQUFTLEVBQUUsQ0FBQztnQkFDcEMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxLQUFLLENBQUMsY0FBYyxFQUFFLENBQUMsMkJBQTJCLENBQUMsTUFBTSx3QkFBd0IsTUFBTSxFQUFFLEVBQUUsRUFBRSxNQUFNLEVBQUUsQ0FBQyxDQUFDO2dCQUVoSCxNQUFNLE9BQU8sR0FBRyxNQUFNLGVBQWUsQ0FBQyxNQUFNLENBQzFDLElBQUksQ0FBQyxFQUFFLEVBQ1AsSUFBSSxDQUFDLFlBQVksRUFDakIsRUFBRSxFQUNGLElBQUksQ0FBQyxlQUFlLEVBQ3BCLElBQUksQ0FBQyxrQkFBa0IsQ0FDeEIsQ0FBQztnQkFFRix3RkFBd0Y7Z0JBQ3hGLHlGQUF5RjtnQkFDekYsMkRBQTJEO2dCQUMzRCxzRkFBc0Y7Z0JBQ3RGLDhFQUE4RTtnQkFDOUUscUZBQXFGO2dCQUNyRixpRUFBaUU7Z0JBQ2pFLE1BQU0sSUFBSSxDQUFDLFlBQVksQ0FBQyxlQUFlLENBQUMsRUFBRSxDQUFDLENBQUM7Z0JBRTVDLE1BQU0sY0FBYyxHQUFHLE9BQU8sQ0FBQyxNQUFNLENBQUMsTUFBTSxFQUFFLENBQUM7Z0JBQy9DLE1BQU0sSUFBSSxDQUFDLCtCQUErQixDQUFDLE9BQU8sQ0FBQyxDQUFDO2dCQUNwRCxNQUFNLFlBQVksR0FBRyxPQUFPLENBQUMsTUFBTSxDQUFDLE1BQU0sRUFBRSxDQUFDO2dCQUM3QyxJQUFJLENBQUMsT0FBTyxDQUFDLDZCQUE2QixDQUFDLE1BQU0sQ0FBQyxZQUFZLEdBQUcsY0FBYyxDQUFDLEdBQUcsSUFBSyxFQUFFLGdCQUFnQixDQUFDLENBQUM7Z0JBQzVHLE1BQU0sZUFBZSxHQUFxQixFQUFFLENBQUM7Z0JBQzdDLElBQUksT0FBTyxDQUFDLFFBQVEsQ0FBQyxnQkFBZ0IsQ0FBQyxLQUFLLENBQUMsRUFBRSxDQUFDO29CQUM3QyxNQUFNLFdBQVcsR0FBbUIsTUFBTSxJQUFJLENBQUMsa0JBQWtCLENBQUMsT0FBTyxDQUFDLENBQUM7b0JBQzNFLGVBQWUsQ0FBQyxJQUFJLENBQUMsV0FBVyxDQUFDLENBQUM7Z0JBQ3BDLENBQUM7Z0JBRUQsTUFBTSxXQUFXLEdBQUcsT0FBTyxDQUFDLE1BQU0sQ0FBQyxNQUFNLEVBQUUsQ0FBQztnQkFDNUMsTUFBTSxJQUFJLENBQUMsNEJBQTRCLENBQUMsT0FBTyxDQUFDLENBQUM7Z0JBQ2pELE1BQU0sU0FBUyxHQUFHLE9BQU8sQ0FBQyxNQUFNLENBQUMsTUFBTSxFQUFFLENBQUM7Z0JBQzFDLElBQUksQ0FBQyxPQUFPLENBQUMsNkJBQTZCLENBQUMsTUFBTSxDQUFDLFNBQVMsR0FBRyxXQUFXLENBQUMsR0FBRyxJQUFLLEVBQUUsWUFBWSxDQUFDLENBQUM7Z0JBQ2xHLElBQUksT0FBTyxDQUFDLFFBQVEsQ0FBQyxnQkFBZ0IsQ0FBQyxTQUFTLENBQUMsRUFBRSxDQUFDO29CQUNqRCxNQUFNLGNBQWMsR0FBbUIsTUFBTSxJQUFJLENBQUMscUJBQXFCLENBQUMsT0FBTyxDQUFDLENBQUM7b0JBQ2pGLGVBQWUsQ0FBQyxJQUFJLENBQUMsY0FBYyxDQUFDLENBQUM7Z0JBQ3ZDLENBQUM7Z0JBRUQsSUFBSSxPQUFPLENBQUMsUUFBUSxDQUFDLGdCQUFnQixDQUFDLFFBQVEsQ0FBQyxFQUFFLENBQUM7b0JBQ2hELE1BQU0sY0FBYyxHQUFtQixNQUFNLElBQUksQ0FBQyxxQkFBcUIsQ0FBQyxPQUFPLENBQUMsQ0FBQztvQkFDakYsZUFBZSxDQUFDLElBQUksQ0FBQyxjQUFjLENBQUMsQ0FBQztnQkFDdkMsQ0FBQztnQkFFRCxPQUFPLENBQUMsSUFBSSxFQUFFLENBQUM7Z0JBQ2YsTUFBTSxJQUFJLENBQUMsTUFBTSxDQUFDLE9BQU8sQ0FBQyxDQUFDO2dCQUUzQixNQUFNLGlCQUFpQixHQUFHLE1BQU0sSUFBSSxDQUFDLEVBQUUsQ0FBQyxpQkFBaUIsRUFBRSxDQUFDO2dCQUU1RCxNQUFNLGlCQUFpQixHQUFHLE1BQU0sT0FBTyxDQUFDLHNCQUFzQixDQUFDLGlCQUFpQixDQUFDLENBQUM7Z0JBRWxGLE1BQU0sVUFBVSxHQUFHLE9BQU8sQ0FBQyxrQkFBa0IsRUFBRSxDQUFDO2dCQUNoRCxJQUFJLENBQUMsVUFBVSxDQUFDLElBQUksRUFBRSxFQUFFLENBQUM7b0JBQ3ZCLDhFQUE4RTtvQkFDOUUsOERBQThEO29CQUM5RCxrR0FBa0c7b0JBQ2xHLGlFQUFpRTtvQkFDakUsTUFBTSxJQUFJLENBQUMsWUFBWSxDQUFDLGtCQUFrQixDQUFDLEVBQUUsRUFBRSxJQUFJLENBQUMsQ0FBQztvQkFDckQsdURBQXVEO29CQUN2RCxFQUFFLENBQUMsa0JBQWtCLENBQUMsRUFBRSxDQUFDLElBQUksQ0FBQyxTQUFVLENBQUMsNEJBQTRCLENBQUMsQ0FBQztnQkFDekUsQ0FBQztnQkFFRCxPQUFPO29CQUNMLGlCQUFpQjtvQkFDakIsT0FBTyxFQUFFO3dCQUNQLFFBQVEsRUFBRSxPQUFPLENBQUMsZ0JBQWdCLEVBQUU7d0JBQ3BDLFdBQVcsRUFBRSxPQUFPLENBQUMsZUFBZTt3QkFDcEMsU0FBUyxFQUFFLE9BQU8sQ0FBQyxzQkFBc0IsRUFBRTtxQkFDNUM7b0JBQ0QsVUFBVTtvQkFDVixZQUFZLEVBQUUsT0FBTyxDQUFDLFlBQVk7b0JBQ2xDLGVBQWUsRUFBRSxlQUFlO2lCQUNqQyxDQUFDO1lBQ0osQ0FBQztZQUVEOzs7O2VBSUc7WUFDSyxLQUFLLENBQUMsa0JBQWtCLENBQUMsT0FBd0I7Z0JBQ3ZELE9BQU8sTUFBTSxJQUFJLENBQUMsYUFBYSxDQUFDLGdCQUFnQixDQUFDLEtBQUssRUFBRSxPQUFPLENBQUMsQ0FBQztZQUNuRSxDQUFDO1lBRUQ7Ozs7ZUFJRztZQUNLLEtBQUssQ0FBQyxxQkFBcUIsQ0FBQyxPQUF3QjtnQkFDMUQsTUFBTSxDQUFDLE9BQU8sQ0FBQyxLQUFLLENBQUMsUUFBUSxFQUFFLEVBQUUsbURBQW1ELENBQUMsQ0FBQztnQkFFdEYsTUFBTSxNQUFNLEdBQUcsTUFBTSxJQUFJLENBQUMsYUFBYSxDQUFDLGdCQUFnQixDQUFDLFNBQVMsRUFBRSxPQUFPLENBQUMsQ0FBQztnQkFFN0UsSUFBSSxNQUFNLENBQUMsUUFBUSxFQUFFLENBQUM7b0JBQ3BCLCtFQUErRTtvQkFDL0UsT0FBTyxDQUFDLEtBQUssQ0FBQyxrQkFBa0IsRUFBRSxDQUFDO2dCQUNyQyxDQUFDO3FCQUFNLENBQUM7b0JBQ04sSUFBSSxDQUFDLE9BQU8sQ0FBQyxRQUFRLENBQUMsZ0JBQWdCLENBQUMsUUFBUSxDQUFDLEVBQUUsQ0FBQzt3QkFDakQsNEdBQTRHO3dCQUM1RyxPQUFPLENBQUMsS0FBSyxDQUFDLGdCQUFnQixFQUFFLENBQUM7b0JBQ25DLENBQUM7Z0JBQ0gsQ0FBQztnQkFFRCxPQUFPLE1BQU0sQ0FBQztZQUNoQixDQUFDO1lBRUQ7Ozs7ZUFJRztZQUNLLEtBQUssQ0FBQyxxQkFBcUIsQ0FBQyxPQUF3QjtnQkFDMUQsSUFBSSxDQUFDLE9BQU8sQ0FBQyxLQUFLLENBQUMsUUFBUSxFQUFFLEVBQUUsQ0FBQztvQkFDOUIsdURBQXVEO29CQUN2RCw4REFBOEQ7b0JBQzlELE9BQU8sQ0FBQyxLQUFLLENBQUMsSUFBSSxFQUFFLENBQUM7Z0JBQ3ZCLENBQUM7Z0JBRUQsTUFBTSxNQUFNLEdBQUcsTUFBTSxJQUFJLENBQUMsYUFBYSxDQUFDLGdCQUFnQixDQUFDLFFBQVEsRUFBRSxPQUFPLENBQUMsQ0FBQztnQkFFNUUsSUFBSSxNQUFNLENBQUMsUUFBUSxFQUFFLENBQUM7b0JBQ3BCLCtFQUErRTtvQkFDL0UsT0FBTyxDQUFDLEtBQUssQ0FBQyxrQkFBa0IsRUFBRSxDQUFDO2dCQUNyQyxDQUFDO3FCQUFNLENBQUM7b0JBQ04scUNBQXFDO29CQUNyQyxPQUFPLENBQUMsS0FBSyxDQUFDLGdCQUFnQixFQUFFLENBQUM7Z0JBQ25DLENBQUM7Z0JBRUQsT0FBTyxNQUFNLENBQUM7WUFDaEIsQ0FBQztZQUVEOzs7OztlQUtHO1lBQ0ssS0FBSyxDQUFDLGFBQWEsQ0FBQyxLQUF1QixFQUFFLE9BQXdCO2dCQUMzRSxNQUFNLFlBQVksR0FBRyxPQUFPLENBQUMsdUJBQXVCLENBQUMsS0FBSyxDQUFDLENBQUM7Z0JBQzVELE1BQU0saUJBQWlCLEdBQUcsT0FBTyxDQUFDLDRCQUE0QixDQUFDLEtBQUssQ0FBQyxDQUFDO2dCQUV0RSxJQUFJLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyxvQkFBb0IsZ0JBQWdCLENBQUMsS0FBSyxDQUFDLFdBQVcsT0FBTyxDQUFDLE1BQU0sRUFBRSxFQUFFO29CQUNyRixNQUFNLEVBQUUsT0FBTyxDQUFDLE1BQU0sQ0FBQyxRQUFRLEVBQUU7b0JBQ2pDLEtBQUssRUFBRSxnQkFBZ0IsQ0FBQyxLQUFLLENBQUM7b0JBQzlCLFlBQVksRUFBRSxZQUFZLENBQUMsTUFBTTtvQkFDakMsaUJBQWlCLEVBQUUsaUJBQWlCLENBQUMsTUFBTTtpQkFDNUMsQ0FBQyxDQUFDO2dCQUVILE1BQU0sWUFBWSxHQUFnQyxFQUFFLENBQUM7Z0JBQ3JELElBQUksUUFBUSxHQUFHLEtBQUssQ0FBQztnQkFDckIsSUFBSSxZQUF5QyxDQUFDO2dCQUM5QyxNQUFNLFVBQVUsR0FBRyxJQUFJLEtBQUssRUFBRSxDQUFDO2dCQUMvQixLQUFLLElBQUksQ0FBQyxHQUFHLFlBQVksQ0FBQyxNQUFNLEdBQUcsQ0FBQyxFQUFFLENBQUMsSUFBSSxDQUFDLEVBQUUsQ0FBQyxFQUFFLEVBQUUsQ0FBQztvQkFDbEQsSUFBSSxRQUFRLEVBQUUsQ0FBQzt3QkFDYixNQUFNO29CQUNSLENBQUM7b0JBRUQsTUFBTSxXQUFXLEdBQUcsWUFBWSxDQUFDLENBQUMsQ0FBQyxDQUFDO29CQUNwQyxNQUFNLGdCQUFnQixHQUFHLGlCQUFpQixDQUFDLENBQUMsQ0FBQyxDQUFDO29CQUU5QyxNQUFNLGtCQUFrQixHQUFHLE1BQU0sSUFBSSxDQUFDLG9CQUFvQixDQUFDLEtBQUssRUFBRSxPQUFPLEVBQUUsV0FBVyxFQUFFLGdCQUFnQixDQUFDLENBQUM7b0JBRTFHLFlBQVksQ0FBQyxJQUFJLENBQUMsSUFBSSx5QkFBeUIsQ0FBQyxrQkFBa0IsQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDO29CQUU1RSxJQUFJLGtCQUFrQixDQUFDLFFBQVEsRUFBRSxDQUFDO3dCQUNoQyxRQUFRLEdBQUcsSUFBSSxDQUFDO3dCQUNoQixZQUFZLEdBQUcsa0JBQWtCLENBQUMsWUFBWSxDQUFDO29CQUNqRCxDQUFDO2dCQUNILENBQUM7Z0JBRUQsT0FBTztvQkFDTCxLQUFLO29CQUNMLFVBQVUsRUFBRSxVQUFVLENBQUMsRUFBRSxFQUFFO29CQUMzQixZQUFZO29CQUNaLFFBQVE7b0JBQ1IsWUFBWTtpQkFDYixDQUFDO1lBQ0osQ0FBQztZQUVEOzs7Ozs7O2VBT0c7WUFPSyxLQUFLLENBQUMsb0JBQW9CLENBQ2hDLEtBQXVCLEVBQ3ZCLE9BQXdCLEVBQ3hCLFdBQThCLEVBQzlCLGdCQUF3QztnQkFFeEMsTUFBTSxZQUFZLEdBQUcsT0FBTyxDQUFDLEtBQUssQ0FBQyxxQkFBcUIsRUFBRSxDQUFDO2dCQUMzRCxNQUFNLE9BQU8sR0FBRyxnQkFBZ0IsQ0FBQyxXQUFXLENBQUMsZUFBZSxDQUFDO2dCQUM3RCxNQUFNLE1BQU0sR0FBRyxNQUFNLDBCQUEwQixDQUFDLElBQUksQ0FBQyxZQUFZLEVBQUUsT0FBTyxFQUFFLGdCQUFnQixDQUFDLElBQUksQ0FBQyxDQUFDO2dCQUVuRyxNQUFNLFlBQVksR0FBRyxPQUFPLENBQUMsaUJBQWlCLENBQUMsS0FBSyxDQUFDLENBQUM7Z0JBRXRELE1BQU0sTUFBTSxHQUFHLE1BQU0sSUFBSSxDQUFDLDRCQUE0QixDQUNwRCxPQUFPLENBQUMsS0FBSyxDQUFDLHFCQUFxQixFQUFFLEVBQ3JDLGdCQUFnQixFQUNoQixZQUFZO2dCQUNaLG1CQUFtQixDQUFDLE9BQU8sQ0FBQyxpQkFBaUIsQ0FBQyxLQUFLLENBQUMsRUFDcEQsTUFBTSxDQUNQLENBQUM7Z0JBRUYsTUFBTSxPQUFPLEdBQUcsWUFBWSxDQUFDLEdBQUcsQ0FBQyxNQUFNLENBQUMsT0FBTyxDQUFDLENBQUMsQ0FBQyxtQkFBbUI7Z0JBQ3JFLE9BQU8sQ0FBQyxVQUFVLENBQUMsS0FBSyxFQUFFLE9BQU8sQ0FBQyxDQUFDO2dCQUNuQyxJQUFJLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FDWixtQ0FBbUMsTUFBTSxjQUFjLE9BQU8sQ0FBQyxLQUFLLHVCQUF1QixNQUFNLENBQUMsT0FBTyxDQUFDLEtBQUssZUFBZSxDQUMvSCxDQUFDO2dCQUVGLFlBQVksQ0FBQyxpQkFBaUIsQ0FBQyxXQUFXLEVBQUUsZ0JBQWdCLENBQUMsSUFBSSxFQUFFLE1BQU0sQ0FBQyxRQUFRLENBQUMsQ0FBQztnQkFFcEYsSUFBSSxNQUFNLENBQUMsUUFBUSxFQUFFLENBQUM7b0JBQ3BCLE1BQU0sT0FBTyxHQUFHLEdBQUcsZ0JBQWdCLENBQUMsV0FBVyxDQUFDLGVBQWUsSUFBSSxnQkFBZ0IsQ0FBQyxXQUFXLENBQUMsZ0JBQWdCLEVBQUUsQ0FBQztvQkFDbkgsT0FBTyxDQUFDLE1BQU0sQ0FBQyxLQUFLLEVBQUUsTUFBTSxDQUFDLFlBQVksRUFBRSxPQUFPLENBQUMsQ0FBQyxDQUFDLDRDQUE0QztnQkFDbkcsQ0FBQztnQkFFRCxPQUFPLE1BQU0sQ0FBQztZQUNoQixDQUFDO1lBRUQ7Ozs7Ozs7Ozs7Ozs7ZUFhRztZQU9LLEtBQUssQ0FBQyw0QkFBNEIsQ0FDeEMsWUFBd0MsRUFDeEMsZ0JBQXdDLEVBQ3hDLFlBQWlCLEVBQ2pCLGNBQWtCLEVBQ2xCLE1BQWM7Z0JBRWQsTUFBTSxPQUFPLEdBQUcsZ0JBQWdCLENBQUMsV0FBVyxDQUFDLGVBQWUsQ0FBQztnQkFDN0QsTUFBTSxNQUFNLEdBQUcsZ0JBQWdCLENBQUMsV0FBVyxDQUFDLFNBQVMsQ0FBQztnQkFFdEQsSUFBSSxDQUFDLEdBQUcsQ0FBQyxLQUFLLENBQ1osdURBQXVELE1BQU0sSUFBSSxPQUFPLFNBQVMsWUFBWSxDQUFDLEtBQUssb0JBQW9CLENBQ3hILENBQUM7Z0JBQ0YsTUFBTSxLQUFLLEdBQUcsSUFBSSxLQUFLLEVBQUUsQ0FBQztnQkFFMUIsTUFBTSxTQUFTLEdBQUcsTUFBTSxZQUFZLENBQUMsTUFBTSxDQUN6QyxZQUFZLEVBQ1osT0FBTyxFQUNQLE1BQU0sRUFDTixjQUFjLEVBQ2QsSUFBSSxDQUFDLGVBQWUsRUFDcEIsZ0JBQWdCLENBQUMsV0FBVyxDQUFDLFlBQVksRUFDekMsZ0JBQWdCLENBQUMsSUFBSSxFQUNyQixZQUFZLENBQ2IsQ0FBQztnQkFDRixNQUFNLGFBQWEsR0FBRyxNQUFNLFNBQVMsQ0FBQyxPQUFPLEVBQUUsQ0FBQztnQkFDaEQsTUFBTSxNQUFNLEdBQUcsYUFBYSxDQUFDLFFBQVEsRUFBRSxDQUFDO2dCQUV4QyxJQUFJLENBQUMsR0FBRyxDQUFDLE9BQU8sQ0FDZCxNQUFNLENBQUMsUUFBUTtvQkFDYixDQUFDLENBQUMsc0NBQXNDLE1BQU0seUJBQXlCLE1BQU0sQ0FBQyxZQUFZLEdBQUc7b0JBQzdGLENBQUMsQ0FBQyxzQ0FBc0MsTUFBTSwwQkFBMEIsRUFDMUU7b0JBQ0UsU0FBUyxFQUFFLGdCQUFnQjtvQkFDM0IsY0FBYyxFQUFFLE1BQU07b0JBQ3RCLFFBQVEsRUFBRSxLQUFLLENBQUMsRUFBRSxFQUFFO2lCQUNRLENBQy9CLENBQUM7Z0JBRUYsSUFBSSxNQUFNLENBQUMsUUFBUSxFQUFFLENBQUM7b0JBQ3BCLElBQUksQ0FBQyxPQUFPLENBQUMsK0JBQStCLEVBQUUsQ0FBQztnQkFDakQsQ0FBQztxQkFBTSxDQUFDO29CQUNOLElBQUksQ0FBQyxPQUFPLENBQUMsd0JBQXdCLENBQUMsS0FBSyxDQUFDLEVBQUUsRUFBRSxFQUFFLFlBQVksQ0FBQyxHQUFHLENBQUMsTUFBTSxDQUFDLE9BQU8sQ0FBQyxDQUFDLEtBQUssRUFBRSxNQUFNLENBQUMsQ0FBQztnQkFDcEcsQ0FBQztnQkFFRCxPQUFPLE1BQU0sQ0FBQztZQUNoQixDQUFDO1lBRUQ7O2VBRUc7WUFDSSxLQUFLLENBQUMsK0JBQStCLENBQUMsT0FBd0I7Z0JBQ25FLE1BQU0sWUFBWSxHQUFHLE9BQU8sQ0FBQyxLQUFLLENBQUMscUJBQXFCLEVBQUUsQ0FBQztnQkFDM0QsSUFBSSxDQUFDO29CQUNILE1BQU0sWUFBWSxDQUFDLGdDQUFnQyxDQUFDLE9BQU8sQ0FBQyx1Q0FBdUMsQ0FBQyxVQUFVLENBQUMsQ0FBQztnQkFDbEgsQ0FBQztnQkFBQyxPQUFPLENBQUMsRUFBRSxDQUFDO29CQUNYLElBQUksQ0FBQyxZQUFZLHVCQUF1QixFQUFFLENBQUM7d0JBQ3pDLE1BQU0sSUFBSSx1QkFBdUIsQ0FDL0Isb0dBQW9HLENBQUMsQ0FBQyxPQUFPLFlBQVksQ0FBQyxDQUFDLEtBQUssRUFBRSxDQUNuSSxDQUFDO29CQUNKLENBQUM7Z0JBQ0gsQ0FBQztnQkFDRCxLQUFLLE1BQU0sUUFBUSxJQUFJLE9BQU8sQ0FBQyx1Q0FBdUMsQ0FBQyxVQUFVLEVBQUUsQ0FBQztvQkFDbEYsSUFBSSxDQUFDLFFBQVEsQ0FBQyxPQUFPLEVBQUUsRUFBRSxDQUFDO3dCQUN4QixNQUFNLFlBQVksQ0FBQyxtQkFBbUIsQ0FBQyxRQUFRLENBQUMsQ0FBQztvQkFDbkQsQ0FBQztnQkFDSCxDQUFDO1lBQ0gsQ0FBQztZQUVEOzs7ZUFHRztZQUNJLEtBQUssQ0FBQyw0QkFBNEIsQ0FBQyxPQUF3QjtnQkFDaEUsa0ZBQWtGO2dCQUNsRixPQUFPLENBQUMsS0FBSyxDQUFDLElBQUksRUFBRSxDQUFDO2dCQUNyQixNQUFNLFlBQVksR0FBRyxPQUFPLENBQUMsS0FBSyxDQUFDLHFCQUFxQixFQUFFLENBQUM7Z0JBQzNELElBQUksQ0FBQztvQkFDSCxNQUFNLFlBQVksQ0FBQyxnQ0FBZ0MsQ0FBQyxPQUFPLENBQUMsb0NBQW9DLENBQUMsVUFBVSxDQUFDLENBQUM7Z0JBQy9HLENBQUM7Z0JBQUMsT0FBTyxDQUFDLEVBQUUsQ0FBQztvQkFDWCxJQUFJLENBQUMsWUFBWSx1QkFBdUIsRUFBRSxDQUFDO3dCQUN6QyxNQUFNLElBQUksdUJBQXVCLENBQy9CLGdHQUFnRyxDQUFDLENBQUMsT0FBTyxZQUFZLENBQUMsQ0FBQyxLQUFLLEVBQUUsQ0FDL0gsQ0FBQztvQkFDSixDQUFDO2dCQUNILENBQUM7Z0JBQ0QsS0FBSyxNQUFNLFFBQVEsSUFBSSxPQUFPLENBQUMsb0NBQW9DLENBQUMsVUFBVSxFQUFFLENBQUM7b0JBQy9FLElBQUksQ0FBQyxRQUFRLENBQUMsT0FBTyxFQUFFLEVBQUUsQ0FBQzt3QkFDeEIsNkhBQTZIO3dCQUM3SCxNQUFNLFlBQVksQ0FBQyxtQkFBbUIsQ0FBQyxRQUFRLENBQUMsQ0FBQztvQkFDbkQsQ0FBQztnQkFDSCxDQUFDO1lBQ0gsQ0FBQztZQUVPLEtBQUssQ0FBQyxNQUFNLENBQUMsT0FBd0I7Z0JBQzNDLE1BQU0sS0FBSyxHQUFHLE9BQU8sQ0FBQyxpQkFBaUIsQ0FBQyxnQkFBZ0IsQ0FBQyxRQUFRLENBQUMsQ0FBQztnQkFFbkUsSUFBSSxPQUFPLENBQUMsUUFBUSxDQUFDLE1BQU0sRUFBRSxFQUFFLENBQUM7b0JBQzlCLElBQUksQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLCtCQUErQixLQUFLLENBQUMsUUFBUSxFQUFFLEVBQUUsQ0FBQyxDQUFDO29CQUNsRSxPQUFPO2dCQUNULENBQUM7Z0JBRUQsTUFBTSxlQUFlLEdBQUcsdUJBQXVCLENBQUMsUUFBUSxDQUFDO2dCQUN6RCxNQUFNLFdBQVcsR0FBRyxNQUFNLGlDQUFpQyxDQUFDLE9BQU8sQ0FBQyxRQUFRLENBQUMsQ0FBQztnQkFFOUUsSUFBSSxDQUFDLEdBQUcsQ0FBQyxLQUFLLENBQUMsYUFBYSxLQUFLLENBQUMsUUFBUSxFQUFFLDZCQUE2QixPQUFPLENBQUMsUUFBUSxFQUFFLENBQUMsQ0FBQztnQkFDN0YsTUFBTSxZQUFZLEdBQUcsT0FBTyxDQUFDLEtBQUssQ0FBQyxxQkFBcUIsRUFBRSxDQUFDO2dCQUUzRCxJQUFJLGNBQWMsR0FBRyxNQUFNLFlBQVksQ0FBQyxXQUFXLENBQUMsZUFBZSxFQUFFLFdBQVcsQ0FBQyxDQUFDO2dCQUNsRix3RUFBd0U7Z0JBQ3hFLG9HQUFvRztnQkFFcEcsSUFBSSxjQUFjLENBQUMsRUFBRSxDQUFDLEtBQUssQ0FBQyxFQUFFLENBQUM7b0JBQzdCLElBQUksSUFBSSxDQUFDLGlCQUFpQixFQUFFLENBQUM7d0JBQzNCLE1BQU0sSUFBSSxLQUFLLENBQ2IsZ0VBQWdFLGNBQWMsQ0FBQyxRQUFRLEVBQUUsVUFBVSxLQUFLLENBQUMsUUFBUSxFQUFFLEdBQUcsQ0FDdkgsQ0FBQztvQkFDSixDQUFDO3lCQUFNLENBQUM7d0JBQ04sY0FBYyxHQUFHLEtBQUssQ0FBQztvQkFDekIsQ0FBQztnQkFDSCxDQUFDO2dCQUVELE1BQU0sY0FBYyxHQUFHLGNBQWMsQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLENBQUM7Z0JBQ2pELE1BQU0sWUFBWSxDQUFDLFlBQVksQ0FBQyxlQUFlLEVBQUUsV0FBVyxFQUFFLGNBQWMsRUFBRSxJQUFJLENBQUMsQ0FBQztZQUN0RixDQUFDOzs7O2dEQTFMQSxTQUFTLENBQUMsd0NBQXdDLEVBQUUsQ0FBQyxLQUFLLEVBQUUsT0FBTyxFQUFFLFlBQVksRUFBRSxnQkFBZ0IsRUFBRSxFQUFFLENBQUMsQ0FBQztvQkFDeEcsQ0FBQyxVQUFVLENBQUMsT0FBTyxDQUFDLEVBQUUsT0FBTyxDQUFDLE1BQU0sQ0FBQyxRQUFRLEVBQUU7b0JBQy9DLENBQUMsVUFBVSxDQUFDLGNBQWMsQ0FBQyxFQUFFLGdCQUFnQixDQUFDLFdBQVcsQ0FBQyxlQUFlLENBQUMsUUFBUSxFQUFFO29CQUNwRixDQUFDLFVBQVUsQ0FBQyxjQUFjLENBQUMsRUFBRSxnQkFBZ0IsQ0FBQyxXQUFXLENBQUMsU0FBUyxDQUFDLFFBQVEsRUFBRTtvQkFDOUUsQ0FBQyxVQUFVLENBQUMsZUFBZSxDQUFDLEVBQUUsZ0JBQWdCLENBQUMsS0FBSyxDQUFDLENBQUMsUUFBUSxFQUFFO2lCQUNqRSxDQUFDLENBQUM7d0RBbURGLFNBQVMsQ0FDUixnREFBZ0QsRUFDaEQsQ0FBQyxhQUFhLEVBQUUsaUJBQWlCLEVBQUUsYUFBYSxFQUFFLGVBQWUsRUFBRSxNQUFNLEVBQUUsRUFBRSxDQUFDLENBQUM7b0JBQzdFLENBQUMsVUFBVSxDQUFDLGdCQUFnQixDQUFDLEVBQUUsTUFBTTtpQkFDdEMsQ0FBQyxDQUNIO1lBdkRELDZNQUFjLG9CQUFvQiw2REFrQ2pDO1lBc0JELHFPQUFjLDRCQUE0Qiw2REE4Q3pDOzs7OztTQWxVVSxpQkFBaUIifQ==
+        }
+        const updatedBalance = currentBalance.sub(txFee);
+        await stateManager.writeStorage(feeJuiceAddress, balanceSlot, updatedBalance, true);
+    }
+}
+_ts_decorate([
+    trackSpan('PublicTxSimulator.simulateEnqueuedCall', (phase, context, _callRequest, executionRequest)=>({
+            [Attributes.TX_HASH]: context.txHash.toString(),
+            [Attributes.TARGET_ADDRESS]: executionRequest.callContext.contractAddress.toString(),
+            [Attributes.SENDER_ADDRESS]: executionRequest.callContext.msgSender.toString(),
+            [Attributes.SIMULATOR_PHASE]: TxExecutionPhase[phase].toString()
+        }))
+], PublicTxSimulator.prototype, "simulateEnqueuedCall", null);
+_ts_decorate([
+    trackSpan('PublicTxSimulator.simulateEnqueuedCallInternal', (_stateManager, _executionRequest, _allocatedGas, _transactionFee, fnName)=>({
+            [Attributes.APP_CIRCUIT_NAME]: fnName
+        }))
+], PublicTxSimulator.prototype, "simulateEnqueuedCallInternal", null);