@aztec/simulator 0.0.1-commit.3469e52 → 0.0.1-commit.350e0a4d

package/src/public/public_tx_simulator/public_tx_simulator_base.ts

@@ -0,0 +1,35 @@
+import { type Logger, type LoggerBindings, createLogger } from '@aztec/foundation/log';
+import { ProtocolContractsList } from '@aztec/protocol-contracts';
+import { PublicSimulatorConfig } from '@aztec/stdlib/avm';
+import type { MerkleTreeWriteOperations } from '@aztec/stdlib/trees';
+import type { GlobalVariables, ProtocolContracts, Tx } from '@aztec/stdlib/tx';
+
+import type { PublicContractsDB } from '../public_db_sources.js';
+
+/**
+ * Shared base for public tx simulators. Holds the common configuration, world-state and contract DB
+ * handles, logger, and the tx-hash helper. Concrete simulators (e.g. the C++ simulator) extend this
+ * and implement `simulate`.
+ */
+export abstract class PublicTxSimulatorBase {
+  protected log: Logger;
+  protected readonly config: PublicSimulatorConfig;
+  protected readonly bindings?: LoggerBindings;
+
+  constructor(
+    protected merkleTree: MerkleTreeWriteOperations,
+    protected contractsDB: PublicContractsDB,
+    protected globalVariables: GlobalVariables,
+    config?: Partial<PublicSimulatorConfig>,
+    protected protocolContracts: ProtocolContracts = ProtocolContractsList,
+    bindings?: LoggerBindings,
+  ) {
+    this.config = PublicSimulatorConfig.from(config ?? {});
+    this.bindings = bindings;
+    this.log = createLogger(`simulator:public_tx_simulator`, bindings);
+  }
+
+  protected computeTxHash(tx: Tx) {
+    return tx.getTxHash();
+  }
+}

package/src/public/test_executor_metrics.ts

@@ -1,5 +1,5 @@
 import { sum } from '@aztec/foundation/collection';
-import { type Logger, createLogger } from '@aztec/foundation/log';
+import { type Logger, type LoggerBindings, createLogger } from '@aztec/foundation/log';
 import { Timer } from '@aztec/foundation/timer';
 import type { RevertCode } from '@aztec/stdlib/avm';
 import type { GasUsed } from '@aztec/stdlib/gas';
@@ -88,8 +88,8 @@ export class TestExecutorMetrics implements ExecutorMetricsInterface {
   private currentTxLabel: string | undefined;
   private txTimer: Timer | undefined;
 
-  constructor() {
-    this.logger = createLogger(`simulator:test_executor_metrics`);
+  constructor(bindings?: LoggerBindings) {
+    this.logger = createLogger(`simulator:test_executor_metrics`, bindings);
   }
 
   startRecordingTxSimulation(txLabel: string) {

package/dest/public/avm/avm_context.d.ts

@@ -1,41 +0,0 @@
-import type { Fr } from '@aztec/foundation/curves/bn254';
-import type { AztecAddress } from '@aztec/stdlib/aztec-address';
-import type { PublicPersistableStateManager } from '../state_manager/state_manager.js';
-import type { AvmExecutionEnvironment } from './avm_execution_environment.js';
-import { type Gas } from './avm_gas.js';
-import { AvmMachineState } from './avm_machine_state.js';
-import type { AvmSimulatorInterface } from './avm_simulator_interface.js';
-/**
- * An execution context includes the information necessary to initiate AVM
- * execution along with all state maintained by the AVM throughout execution.
- */
-export declare class AvmContext {
-    persistableState: PublicPersistableStateManager;
-    environment: AvmExecutionEnvironment;
-    machineState: AvmMachineState;
-    /**
-     * Create a new AVM context
-     * @param persistableState - Manages world state and accrued substate during execution - (caching, fetching, tracing)
-     * @param environment - Contains constant variables provided by the kernel
-     * @param machineState - VM state that is modified on an instruction-by-instruction basis
-     * @returns new AvmContext instance
-     */
-    constructor(persistableState: PublicPersistableStateManager, environment: AvmExecutionEnvironment, machineState: AvmMachineState);
-    provideSimulator?: (context: AvmContext) => Promise<AvmSimulatorInterface>;
-    /**
-     * Prepare a new AVM context that will be ready for an external/nested call
-     * - Fork the world state journal
-     * - Derive a machine state from the current state
-     *   - E.g., gas metering is preserved but pc is reset
-     * - Derive an execution environment from the caller/parent
-     *   - Alter address
-     *
-     * @param address - The contract instance to initialize a context for
-     * @param calldata - Data/arguments for nested call
-     * @param allocatedGas - Gas allocated for the nested call
-     * @param callType - Type of call (CALL or STATICCALL)
-     * @returns new AvmContext instance
-     */
-    createNestedContractCallContext(address: AztecAddress, calldata: Fr[], allocatedGas: Gas, callType: 'CALL' | 'STATICCALL'): Promise<AvmContext>;
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX2NvbnRleHQuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9wdWJsaWMvYXZtL2F2bV9jb250ZXh0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3pELE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBRWhFLE9BQU8sS0FBSyxFQUFFLDZCQUE2QixFQUFFLE1BQU0sbUNBQW1DLENBQUM7QUFDdkYsT0FBTyxLQUFLLEVBQUUsdUJBQXVCLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUM5RSxPQUFPLEVBQUUsS0FBSyxHQUFHLEVBQWdCLE1BQU0sY0FBYyxDQUFDO0FBQ3RELE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUN6RCxPQUFPLEtBQUssRUFBRSxxQkFBcUIsRUFBRSxNQUFNLDhCQUE4QixDQUFDO0FBRTFFOzs7R0FHRztBQUNILHFCQUFhLFVBQVU7SUFTWixnQkFBZ0IsRUFBRSw2QkFBNkI7SUFDL0MsV0FBVyxFQUFFLHVCQUF1QjtJQUNwQyxZQUFZLEVBQUUsZUFBZTtJQVZ0Qzs7Ozs7O09BTUc7SUFDSCxZQUNTLGdCQUFnQixFQUFFLDZCQUE2QixFQUMvQyxXQUFXLEVBQUUsdUJBQXVCLEVBQ3BDLFlBQVksRUFBRSxlQUFlLEVBQ2xDO0lBSUcsZ0JBQWdCLENBQUMsRUFBRSxDQUFDLE9BQU8sRUFBRSxVQUFVLEtBQUssT0FBTyxDQUFDLHFCQUFxQixDQUFDLENBQUM7SUFFbEY7Ozs7Ozs7Ozs7Ozs7T0FhRztJQUNVLCtCQUErQixDQUMxQyxPQUFPLEVBQUUsWUFBWSxFQUNyQixRQUFRLEVBQUUsRUFBRSxFQUFFLEVBQ2QsWUFBWSxFQUFFLEdBQUcsRUFDakIsUUFBUSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQzlCLE9BQU8sQ0FBQyxVQUFVLENBQUMsQ0FTckI7Q0FDRiJ9

package/dest/public/avm/avm_context.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"avm_context.d.ts","sourceRoot":"","sources":["../../../src/public/avm/avm_context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAC;AACvF,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AAC9E,OAAO,EAAE,KAAK,GAAG,EAAgB,MAAM,cAAc,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAE1E;;;GAGG;AACH,qBAAa,UAAU;IASZ,gBAAgB,EAAE,6BAA6B;IAC/C,WAAW,EAAE,uBAAuB;IACpC,YAAY,EAAE,eAAe;IAVtC;;;;;;OAMG;IACH,YACS,gBAAgB,EAAE,6BAA6B,EAC/C,WAAW,EAAE,uBAAuB,EACpC,YAAY,EAAE,eAAe,EAClC;IAIG,gBAAgB,CAAC,EAAE,CAAC,OAAO,EAAE,UAAU,KAAK,OAAO,CAAC,qBAAqB,CAAC,CAAC;IAElF;;;;;;;;;;;;;OAaG;IACU,+BAA+B,CAC1C,OAAO,EAAE,YAAY,EACrB,QAAQ,EAAE,EAAE,EAAE,EACd,YAAY,EAAE,GAAG,EACjB,QAAQ,EAAE,MAAM,GAAG,YAAY,GAC9B,OAAO,CAAC,UAAU,CAAC,CASrB;CACF"}

package/dest/public/avm/avm_context.js

@@ -1,44 +0,0 @@
-import { gasToGasLeft } from './avm_gas.js';
-import { AvmMachineState } from './avm_machine_state.js';
-/**
- * An execution context includes the information necessary to initiate AVM
- * execution along with all state maintained by the AVM throughout execution.
- */ export class AvmContext {
-    persistableState;
-    environment;
-    machineState;
-    /**
-   * Create a new AVM context
-   * @param persistableState - Manages world state and accrued substate during execution - (caching, fetching, tracing)
-   * @param environment - Contains constant variables provided by the kernel
-   * @param machineState - VM state that is modified on an instruction-by-instruction basis
-   * @returns new AvmContext instance
-   */ constructor(persistableState, environment, machineState){
-        this.persistableState = persistableState;
-        this.environment = environment;
-        this.machineState = machineState;
-    }
-    // This is needed to break a dependency cycle created by the CALL opcode,
-    // which needs to create a new simulator but cannot depend directly on AvmSimulator.
-    provideSimulator;
-    /**
-   * Prepare a new AVM context that will be ready for an external/nested call
-   * - Fork the world state journal
-   * - Derive a machine state from the current state
-   *   - E.g., gas metering is preserved but pc is reset
-   * - Derive an execution environment from the caller/parent
-   *   - Alter address
-   *
-   * @param address - The contract instance to initialize a context for
-   * @param calldata - Data/arguments for nested call
-   * @param allocatedGas - Gas allocated for the nested call
-   * @param callType - Type of call (CALL or STATICCALL)
-   * @returns new AvmContext instance
-   */ async createNestedContractCallContext(address, calldata, allocatedGas, callType) {
-        const deriveFn = callType === 'CALL' ? this.environment.deriveEnvironmentForNestedCall : this.environment.deriveEnvironmentForNestedStaticCall;
-        const newExecutionEnvironment = deriveFn.call(this.environment, address, calldata);
-        const forkedWorldState = await this.persistableState.fork();
-        const machineState = AvmMachineState.fromState(gasToGasLeft(allocatedGas));
-        return new AvmContext(forkedWorldState, newExecutionEnvironment, machineState);
-    }
-}

package/dest/public/avm/avm_contract_call_result.d.ts

@@ -1,32 +0,0 @@
-import type { Fr } from '@aztec/foundation/curves/bn254';
-import type { SimulationError } from '@aztec/stdlib/errors';
-import { Gas } from '@aztec/stdlib/gas';
-import type { Gas as AvmGas } from './avm_gas.js';
-import type { AvmRevertReason } from './errors.js';
-/**
- * Results of an contract call's execution in the AVM.
- */
-export declare class AvmContractCallResult {
-    reverted: boolean;
-    output: Fr[];
-    gasLeft: AvmGas;
-    revertReason?: AvmRevertReason | undefined;
-    totalInstructions: number;
-    constructor(reverted: boolean, output: Fr[], gasLeft: AvmGas, revertReason?: AvmRevertReason | undefined, totalInstructions?: number);
-    toString(): string;
-    finalize(): AvmFinalizedCallResult;
-}
-/**
- * Similar to AvmContractCallResult, but with a SimulationError and standard Gas
- * which are useful for consumption external to core AVM simulation.
- */
-export declare class AvmFinalizedCallResult {
-    reverted: boolean;
-    output: Fr[];
-    gasLeft: Gas;
-    revertReason?: SimulationError | undefined;
-    totalInstructions: number;
-    constructor(reverted: boolean, output: Fr[], gasLeft: Gas, revertReason?: SimulationError | undefined, totalInstructions?: number);
-    toString(): string;
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX2NvbnRyYWN0X2NhbGxfcmVzdWx0LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvcHVibGljL2F2bS9hdm1fY29udHJhY3RfY2FsbF9yZXN1bHQudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDekQsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFDNUQsT0FBTyxFQUFFLEdBQUcsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBS3hDLE9BQU8sS0FBSyxFQUFFLEdBQUcsSUFBSSxNQUFNLEVBQUUsTUFBTSxjQUFjLENBQUM7QUFDbEQsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLE1BQU0sYUFBYSxDQUFDO0FBRW5EOztHQUVHO0FBQ0gscUJBQWEscUJBQXFCO0lBRXZCLFFBQVEsRUFBRSxPQUFPO0lBQ2pCLE1BQU0sRUFBRSxFQUFFLEVBQUU7SUFDWixPQUFPLEVBQUUsTUFBTTtJQUNmLFlBQVksQ0FBQztJQUNiLGlCQUFpQixFQUFFLE1BQU07SUFMbEMsWUFDUyxRQUFRLEVBQUUsT0FBTyxFQUNqQixNQUFNLEVBQUUsRUFBRSxFQUFFLEVBQ1osT0FBTyxFQUFFLE1BQU0sRUFDZixZQUFZLENBQUMsNkJBQWlCLEVBQzlCLGlCQUFpQixHQUFFLE1BQVUsRUFDbEM7SUFFSixRQUFRLElBQUksTUFBTSxDQVFqQjtJQUVELFFBQVEsSUFBSSxzQkFBc0IsQ0FTakM7Q0FDRjtBQUVEOzs7R0FHRztBQUNILHFCQUFhLHNCQUFzQjtJQUV4QixRQUFRLEVBQUUsT0FBTztJQUNqQixNQUFNLEVBQUUsRUFBRSxFQUFFO0lBQ1osT0FBTyxFQUFFLEdBQUc7SUFDWixZQUFZLENBQUM7SUFDYixpQkFBaUIsRUFBRSxNQUFNO0lBTGxDLFlBQ1MsUUFBUSxFQUFFLE9BQU8sRUFDakIsTUFBTSxFQUFFLEVBQUUsRUFBRSxFQUNaLE9BQU8sRUFBRSxHQUFHLEVBQ1osWUFBWSxDQUFDLDZCQUFpQixFQUM5QixpQkFBaUIsR0FBRSxNQUFVLEVBQ2xDO0lBRUosUUFBUSxJQUFJLE1BQU0sQ0FRakI7Q0FDRiJ9

package/dest/public/avm/avm_contract_call_result.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"avm_contract_call_result.d.ts","sourceRoot":"","sources":["../../../src/public/avm/avm_contract_call_result.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAC;AAKxC,OAAO,KAAK,EAAE,GAAG,IAAI,MAAM,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEnD;;GAEG;AACH,qBAAa,qBAAqB;IAEvB,QAAQ,EAAE,OAAO;IACjB,MAAM,EAAE,EAAE,EAAE;IACZ,OAAO,EAAE,MAAM;IACf,YAAY,CAAC;IACb,iBAAiB,EAAE,MAAM;IALlC,YACS,QAAQ,EAAE,OAAO,EACjB,MAAM,EAAE,EAAE,EAAE,EACZ,OAAO,EAAE,MAAM,EACf,YAAY,CAAC,6BAAiB,EAC9B,iBAAiB,GAAE,MAAU,EAClC;IAEJ,QAAQ,IAAI,MAAM,CAQjB;IAED,QAAQ,IAAI,sBAAsB,CASjC;CACF;AAED;;;GAGG;AACH,qBAAa,sBAAsB;IAExB,QAAQ,EAAE,OAAO;IACjB,MAAM,EAAE,EAAE,EAAE;IACZ,OAAO,EAAE,GAAG;IACZ,YAAY,CAAC;IACb,iBAAiB,EAAE,MAAM;IALlC,YACS,QAAQ,EAAE,OAAO,EACjB,MAAM,EAAE,EAAE,EAAE,EACZ,OAAO,EAAE,GAAG,EACZ,YAAY,CAAC,6BAAiB,EAC9B,iBAAiB,GAAE,MAAU,EAClC;IAEJ,QAAQ,IAAI,MAAM,CAQjB;CACF"}

package/dest/public/avm/avm_contract_call_result.js

@@ -1,54 +0,0 @@
-import { Gas } from '@aztec/stdlib/gas';
-import { inspect } from 'util';
-import { createSimulationError } from '../../common/errors.js';
-/**
- * Results of an contract call's execution in the AVM.
- */ export class AvmContractCallResult {
-    reverted;
-    output;
-    gasLeft;
-    revertReason;
-    totalInstructions;
-    constructor(reverted, output, gasLeft, revertReason, totalInstructions = 0){
-        this.reverted = reverted;
-        this.output = output;
-        this.gasLeft = gasLeft;
-        this.revertReason = revertReason;
-        this.totalInstructions = totalInstructions;
-    }
-    toString() {
-        let resultsStr = `reverted: ${this.reverted}, output: ${this.output}, gasLeft: ${inspect(this.gasLeft)}, totalInstructions: ${this.totalInstructions}`;
-        if (this.revertReason) {
-            resultsStr += `, revertReason: ${this.revertReason.message}`;
-        }
-        return resultsStr;
-    }
-    finalize() {
-        const revertReason = this.revertReason ? createSimulationError(this.revertReason, this.output) : undefined;
-        return new AvmFinalizedCallResult(this.reverted, this.output, Gas.from(this.gasLeft), revertReason, this.totalInstructions);
-    }
-}
-/**
- * Similar to AvmContractCallResult, but with a SimulationError and standard Gas
- * which are useful for consumption external to core AVM simulation.
- */ export class AvmFinalizedCallResult {
-    reverted;
-    output;
-    gasLeft;
-    revertReason;
-    totalInstructions;
-    constructor(reverted, output, gasLeft, revertReason, totalInstructions = 0){
-        this.reverted = reverted;
-        this.output = output;
-        this.gasLeft = gasLeft;
-        this.revertReason = revertReason;
-        this.totalInstructions = totalInstructions;
-    }
-    toString() {
-        let resultsStr = `reverted: ${this.reverted}, output: ${this.output}, gasLeft: ${inspect(this.gasLeft)}, totalInstructions: ${this.totalInstructions}`;
-        if (this.revertReason) {
-            resultsStr += `, revertReason: ${this.revertReason.message}`;
-        }
-        return resultsStr;
-    }
-}

package/dest/public/avm/avm_execution_environment.d.ts

@@ -1,23 +0,0 @@
-import { Fr } from '@aztec/foundation/curves/bn254';
-import type { PublicSimulatorConfig } from '@aztec/stdlib/avm';
-import type { AztecAddress } from '@aztec/stdlib/aztec-address';
-import type { GlobalVariables } from '@aztec/stdlib/tx';
-/**
- * Contains variables that remain constant during AVM execution
- * These variables are provided by the public kernel circuit
- */
-export declare class AvmExecutionEnvironment {
-    readonly address: AztecAddress;
-    readonly sender: AztecAddress;
-    readonly contractCallDepth: Fr;
-    readonly transactionFee: Fr;
-    readonly globals: GlobalVariables;
-    readonly isStaticCall: boolean;
-    readonly calldata: Fr[];
-    readonly config: PublicSimulatorConfig;
-    constructor(address: AztecAddress, sender: AztecAddress, contractCallDepth: Fr, transactionFee: Fr, globals: GlobalVariables, isStaticCall: boolean, calldata: Fr[], config: PublicSimulatorConfig);
-    private deriveEnvironmentForNestedCallInternal;
-    deriveEnvironmentForNestedCall(targetAddress: AztecAddress, calldata: Fr[]): AvmExecutionEnvironment;
-    deriveEnvironmentForNestedStaticCall(targetAddress: AztecAddress, calldata: Fr[]): AvmExecutionEnvironment;
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX2V4ZWN1dGlvbl9lbnZpcm9ubWVudC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3B1YmxpYy9hdm0vYXZtX2V4ZWN1dGlvbl9lbnZpcm9ubWVudC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxLQUFLLEVBQUUscUJBQXFCLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUMvRCxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUNoRSxPQUFPLEtBQUssRUFBRSxlQUFlLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUV4RDs7O0dBR0c7QUFDSCxxQkFBYSx1QkFBdUI7YUFFaEIsT0FBTyxFQUFFLFlBQVk7YUFDckIsTUFBTSxFQUFFLFlBQVk7YUFDcEIsaUJBQWlCLEVBQUUsRUFBRTthQUNyQixjQUFjLEVBQUUsRUFBRTthQUNsQixPQUFPLEVBQUUsZUFBZTthQUN4QixZQUFZLEVBQUUsT0FBTzthQUNyQixRQUFRLEVBQUUsRUFBRSxFQUFFO2FBQ2QsTUFBTSxFQUFFLHFCQUFxQjtJQVIvQyxZQUNrQixPQUFPLEVBQUUsWUFBWSxFQUNyQixNQUFNLEVBQUUsWUFBWSxFQUNwQixpQkFBaUIsRUFBRSxFQUFFLEVBQ3JCLGNBQWMsRUFBRSxFQUFFLEVBQ2xCLE9BQU8sRUFBRSxlQUFlLEVBQ3hCLFlBQVksRUFBRSxPQUFPLEVBQ3JCLFFBQVEsRUFBRSxFQUFFLEVBQUUsRUFDZCxNQUFNLEVBQUUscUJBQXFCLEVBQzNDO0lBRUosT0FBTyxDQUFDLHNDQUFzQztJQWlCdkMsOEJBQThCLENBQUMsYUFBYSxFQUFFLFlBQVksRUFBRSxRQUFRLEVBQUUsRUFBRSxFQUFFLEdBQUcsdUJBQXVCLENBRTFHO0lBRU0sb0NBQW9DLENBQUMsYUFBYSxFQUFFLFlBQVksRUFBRSxRQUFRLEVBQUUsRUFBRSxFQUFFLEdBQUcsdUJBQXVCLENBRWhIO0NBQ0YifQ==

package/dest/public/avm/avm_execution_environment.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"avm_execution_environment.d.ts","sourceRoot":"","sources":["../../../src/public/avm/avm_execution_environment.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExD;;;GAGG;AACH,qBAAa,uBAAuB;aAEhB,OAAO,EAAE,YAAY;aACrB,MAAM,EAAE,YAAY;aACpB,iBAAiB,EAAE,EAAE;aACrB,cAAc,EAAE,EAAE;aAClB,OAAO,EAAE,eAAe;aACxB,YAAY,EAAE,OAAO;aACrB,QAAQ,EAAE,EAAE,EAAE;aACd,MAAM,EAAE,qBAAqB;IAR/C,YACkB,OAAO,EAAE,YAAY,EACrB,MAAM,EAAE,YAAY,EACpB,iBAAiB,EAAE,EAAE,EACrB,cAAc,EAAE,EAAE,EAClB,OAAO,EAAE,eAAe,EACxB,YAAY,EAAE,OAAO,EACrB,QAAQ,EAAE,EAAE,EAAE,EACd,MAAM,EAAE,qBAAqB,EAC3C;IAEJ,OAAO,CAAC,sCAAsC;IAiBvC,8BAA8B,CAAC,aAAa,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,uBAAuB,CAE1G;IAEM,oCAAoC,CAAC,aAAa,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,uBAAuB,CAEhH;CACF"}

package/dest/public/avm/avm_execution_environment.js

@@ -1,33 +0,0 @@
-import { Fr } from '@aztec/foundation/curves/bn254';
-/**
- * Contains variables that remain constant during AVM execution
- * These variables are provided by the public kernel circuit
- */ export class AvmExecutionEnvironment {
-    address;
-    sender;
-    contractCallDepth;
-    transactionFee;
-    globals;
-    isStaticCall;
-    calldata;
-    config;
-    constructor(address, sender, contractCallDepth, transactionFee, globals, isStaticCall, calldata, config){
-        this.address = address;
-        this.sender = sender;
-        this.contractCallDepth = contractCallDepth;
-        this.transactionFee = transactionFee;
-        this.globals = globals;
-        this.isStaticCall = isStaticCall;
-        this.calldata = calldata;
-        this.config = config;
-    }
-    deriveEnvironmentForNestedCallInternal(targetAddress, calldata, isStaticCall) {
-        return new AvmExecutionEnvironment(/*address=*/ targetAddress, /*sender=*/ this.address, this.contractCallDepth.add(Fr.ONE), this.transactionFee, this.globals, isStaticCall, calldata, this.config);
-    }
-    deriveEnvironmentForNestedCall(targetAddress, calldata) {
-        return this.deriveEnvironmentForNestedCallInternal(targetAddress, calldata, /*isStaticCall=*/ false);
-    }
-    deriveEnvironmentForNestedStaticCall(targetAddress, calldata) {
-        return this.deriveEnvironmentForNestedCallInternal(targetAddress, calldata, /*isStaticCall=*/ true);
-    }
-}

package/dest/public/avm/avm_gas.d.ts

@@ -1,44 +0,0 @@
-import { TypeTag } from './avm_memory_types.js';
-import { Opcode } from './serialization/instruction_serialization.js';
-/** Gas counters in L1, L2, and DA. */
-export type Gas = {
-    l2Gas: number;
-    daGas: number;
-};
-/** Maps a Gas struct to gasLeft properties. */
-export declare function gasToGasLeft(gas: Gas): {
-    l2GasLeft: number;
-    daGasLeft: number;
-};
-/** Maps gasLeft properties to a gas struct. */
-export declare function gasLeftToGas(gasLeft: {
-    l2GasLeft: number;
-    daGasLeft: number;
-}): {
-    l2Gas: number;
-    daGas: number;
-};
-/** Creates a new instance with all values set to zero except the ones set. */
-export declare function makeGas(gasCost: Partial<Gas>): {
-    l2Gas: number;
-    daGas: number;
-};
-/** Sums together multiple instances of Gas. */
-export declare function sumGas(...gases: Partial<Gas>[]): Gas;
-/** Multiplies a gas instance by a scalar. */
-export declare function mulGas(gas: Partial<Gas>, scalar: number): {
-    l2Gas: number;
-    daGas: number;
-};
-/** Zero gas across all gas dimensions. */
-export declare const EmptyGas: Gas;
-/** Dimensions of gas usage: L1, L2, and DA. */
-export declare const GAS_DIMENSIONS: readonly ["l2Gas", "daGas"];
-/** Returns the fixed base gas cost for a given opcode. */
-export declare function getBaseGasCost(opcode: Opcode): Gas;
-export declare function computeAddressingCost(indirectOperandsCount: number, relativeOperandsCount: number): Gas;
-export declare function getDynamicGasCost(opcode: Opcode): Gas;
-/** Returns a multiplier based on the byte size of the type represented by the integer tag.
- * Used to account for necessary rows in the bitwise trace. Throws on invalid. */
-export declare function getBitwiseDynamicGasMultiplier(tag: TypeTag): 0 | 1 | 2 | 4 | 8 | 16;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX2dhcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3B1YmxpYy9hdm0vYXZtX2dhcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFFQSxPQUFPLEVBQUUsT0FBTyxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFaEQsT0FBTyxFQUFFLE1BQU0sRUFBRSxNQUFNLDhDQUE4QyxDQUFDO0FBRXRFLHNDQUFzQztBQUN0QyxNQUFNLE1BQU0sR0FBRyxHQUFHO0lBQ2hCLEtBQUssRUFBRSxNQUFNLENBQUM7SUFDZCxLQUFLLEVBQUUsTUFBTSxDQUFDO0NBQ2YsQ0FBQztBQUVGLCtDQUErQztBQUMvQyx3QkFBZ0IsWUFBWSxDQUFDLEdBQUcsRUFBRSxHQUFHOzs7RUFFcEM7QUFFRCwrQ0FBK0M7QUFDL0Msd0JBQWdCLFlBQVksQ0FBQyxPQUFPLEVBQUU7SUFBRSxTQUFTLEVBQUUsTUFBTSxDQUFDO0lBQUMsU0FBUyxFQUFFLE1BQU0sQ0FBQTtDQUFFOzs7RUFFN0U7QUFFRCw4RUFBOEU7QUFDOUUsd0JBQWdCLE9BQU8sQ0FBQyxPQUFPLEVBQUUsT0FBTyxDQUFDLEdBQUcsQ0FBQzs7O0VBRTVDO0FBRUQsK0NBQStDO0FBQy9DLHdCQUFnQixNQUFNLENBQUMsR0FBRyxLQUFLLEVBQUUsT0FBTyxDQUFDLEdBQUcsQ0FBQyxFQUFFLEdBQUcsR0FBRyxDQVFwRDtBQUVELDZDQUE2QztBQUM3Qyx3QkFBZ0IsTUFBTSxDQUFDLEdBQUcsRUFBRSxPQUFPLENBQUMsR0FBRyxDQUFDLEVBQUUsTUFBTSxFQUFFLE1BQU07OztFQUV2RDtBQUVELDBDQUEwQztBQUMxQyxlQUFPLE1BQU0sUUFBUSxFQUFFLEdBR3RCLENBQUM7QUFNRiwrQ0FBK0M7QUFDL0MsZUFBTyxNQUFNLGNBQWMsNkJBQThCLENBQUM7QUF5RjFELDBEQUEwRDtBQUMxRCx3QkFBZ0IsY0FBYyxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsR0FBRyxDQUVsRDtBQUVELHdCQUFnQixxQkFBcUIsQ0FBQyxxQkFBcUIsRUFBRSxNQUFNLEVBQUUscUJBQXFCLEVBQUUsTUFBTSxHQUFHLEdBQUcsQ0FPdkc7QUFFRCx3QkFBZ0IsaUJBQWlCLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxHQUFHLENBRXJEO0FBRUQ7aUZBQ2lGO0FBQ2pGLHdCQUFnQiw4QkFBOEIsQ0FBQyxHQUFHLEVBQUUsT0FBTywwQkFtQjFEIn0=

package/dest/public/avm/avm_gas.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"avm_gas.d.ts","sourceRoot":"","sources":["../../../src/public/avm/avm_gas.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAEhD,OAAO,EAAE,MAAM,EAAE,MAAM,8CAA8C,CAAC;AAEtE,sCAAsC;AACtC,MAAM,MAAM,GAAG,GAAG;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,+CAA+C;AAC/C,wBAAgB,YAAY,CAAC,GAAG,EAAE,GAAG;;;EAEpC;AAED,+CAA+C;AAC/C,wBAAgB,YAAY,CAAC,OAAO,EAAE;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE;;;EAE7E;AAED,8EAA8E;AAC9E,wBAAgB,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC;;;EAE5C;AAED,+CAA+C;AAC/C,wBAAgB,MAAM,CAAC,GAAG,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,GAAG,CAQpD;AAED,6CAA6C;AAC7C,wBAAgB,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM;;;EAEvD;AAED,0CAA0C;AAC1C,eAAO,MAAM,QAAQ,EAAE,GAGtB,CAAC;AAMF,+CAA+C;AAC/C,eAAO,MAAM,cAAc,6BAA8B,CAAC;AAyF1D,0DAA0D;AAC1D,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,GAAG,CAElD;AAED,wBAAgB,qBAAqB,CAAC,qBAAqB,EAAE,MAAM,EAAE,qBAAqB,EAAE,MAAM,GAAG,GAAG,CAOvG;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,GAAG,CAErD;AAED;iFACiF;AACjF,wBAAgB,8BAA8B,CAAC,GAAG,EAAE,OAAO,0BAmB1D"}

package/dest/public/avm/avm_gas.js

@@ -1,195 +0,0 @@
-import * as c from '@aztec/constants';
-import { TypeTag } from './avm_memory_types.js';
-import { InstructionExecutionError } from './errors.js';
-import { Opcode } from './serialization/instruction_serialization.js';
-/** Maps a Gas struct to gasLeft properties. */ export function gasToGasLeft(gas) {
-    return {
-        l2GasLeft: gas.l2Gas,
-        daGasLeft: gas.daGas
-    };
-}
-/** Maps gasLeft properties to a gas struct. */ export function gasLeftToGas(gasLeft) {
-    return {
-        l2Gas: gasLeft.l2GasLeft,
-        daGas: gasLeft.daGasLeft
-    };
-}
-/** Creates a new instance with all values set to zero except the ones set. */ export function makeGas(gasCost) {
-    return {
-        ...EmptyGas,
-        ...gasCost
-    };
-}
-/** Sums together multiple instances of Gas. */ export function sumGas(...gases) {
-    return gases.reduce((acc, gas)=>({
-            l2Gas: acc.l2Gas + (gas.l2Gas ?? 0),
-            daGas: acc.daGas + (gas.daGas ?? 0)
-        }), EmptyGas);
-}
-/** Multiplies a gas instance by a scalar. */ export function mulGas(gas, scalar) {
-    return {
-        l2Gas: (gas.l2Gas ?? 0) * scalar,
-        daGas: (gas.daGas ?? 0) * scalar
-    };
-}
-/** Zero gas across all gas dimensions. */ export const EmptyGas = {
-    l2Gas: 0,
-    daGas: 0
-};
-function makeCost(l2Gas, daGas) {
-    return {
-        l2Gas,
-        daGas
-    };
-}
-/** Dimensions of gas usage: L1, L2, and DA. */ export const GAS_DIMENSIONS = [
-    'l2Gas',
-    'daGas'
-];
-/** Base gas costs for each instruction. Additional gas cost may be added on top due to memory or storage accesses, etc. */ const BASE_GAS_COSTS = {
-    [Opcode.ADD_8]: makeCost(c.AVM_ADD_BASE_L2_GAS, 0),
-    [Opcode.ADD_16]: makeCost(c.AVM_ADD_BASE_L2_GAS, 0),
-    [Opcode.SUB_8]: makeCost(c.AVM_SUB_BASE_L2_GAS, 0),
-    [Opcode.SUB_16]: makeCost(c.AVM_SUB_BASE_L2_GAS, 0),
-    [Opcode.MUL_8]: makeCost(c.AVM_MUL_BASE_L2_GAS, 0),
-    [Opcode.MUL_16]: makeCost(c.AVM_MUL_BASE_L2_GAS, 0),
-    [Opcode.DIV_8]: makeCost(c.AVM_DIV_BASE_L2_GAS, 0),
-    [Opcode.DIV_16]: makeCost(c.AVM_DIV_BASE_L2_GAS, 0),
-    [Opcode.FDIV_8]: makeCost(c.AVM_FDIV_BASE_L2_GAS, 0),
-    [Opcode.FDIV_16]: makeCost(c.AVM_FDIV_BASE_L2_GAS, 0),
-    [Opcode.EQ_8]: makeCost(c.AVM_EQ_BASE_L2_GAS, 0),
-    [Opcode.EQ_16]: makeCost(c.AVM_EQ_BASE_L2_GAS, 0),
-    [Opcode.LT_8]: makeCost(c.AVM_LT_BASE_L2_GAS, 0),
-    [Opcode.LT_16]: makeCost(c.AVM_LT_BASE_L2_GAS, 0),
-    [Opcode.LTE_8]: makeCost(c.AVM_LTE_BASE_L2_GAS, 0),
-    [Opcode.LTE_16]: makeCost(c.AVM_LTE_BASE_L2_GAS, 0),
-    [Opcode.AND_8]: makeCost(c.AVM_AND_BASE_L2_GAS, 0),
-    [Opcode.AND_16]: makeCost(c.AVM_AND_BASE_L2_GAS, 0),
-    [Opcode.OR_8]: makeCost(c.AVM_OR_BASE_L2_GAS, 0),
-    [Opcode.OR_16]: makeCost(c.AVM_OR_BASE_L2_GAS, 0),
-    [Opcode.XOR_8]: makeCost(c.AVM_XOR_BASE_L2_GAS, 0),
-    [Opcode.XOR_16]: makeCost(c.AVM_XOR_BASE_L2_GAS, 0),
-    [Opcode.NOT_8]: makeCost(c.AVM_NOT_BASE_L2_GAS, 0),
-    [Opcode.NOT_16]: makeCost(c.AVM_NOT_BASE_L2_GAS, 0),
-    [Opcode.SHL_8]: makeCost(c.AVM_SHL_BASE_L2_GAS, 0),
-    [Opcode.SHL_16]: makeCost(c.AVM_SHL_BASE_L2_GAS, 0),
-    [Opcode.SHR_8]: makeCost(c.AVM_SHR_BASE_L2_GAS, 0),
-    [Opcode.SHR_16]: makeCost(c.AVM_SHR_BASE_L2_GAS, 0),
-    [Opcode.CAST_8]: makeCost(c.AVM_CAST_BASE_L2_GAS, 0),
-    [Opcode.CAST_16]: makeCost(c.AVM_CAST_BASE_L2_GAS, 0),
-    [Opcode.GETENVVAR_16]: makeCost(c.AVM_GETENVVAR_BASE_L2_GAS, 0),
-    [Opcode.CALLDATACOPY]: makeCost(c.AVM_CALLDATACOPY_BASE_L2_GAS, 0),
-    [Opcode.SUCCESSCOPY]: makeCost(c.AVM_SUCCESSCOPY_BASE_L2_GAS, 0),
-    [Opcode.RETURNDATASIZE]: makeCost(c.AVM_RETURNDATASIZE_BASE_L2_GAS, 0),
-    [Opcode.RETURNDATACOPY]: makeCost(c.AVM_RETURNDATACOPY_BASE_L2_GAS, 0),
-    [Opcode.JUMP_32]: makeCost(c.AVM_JUMP_BASE_L2_GAS, 0),
-    [Opcode.JUMPI_32]: makeCost(c.AVM_JUMPI_BASE_L2_GAS, 0),
-    [Opcode.INTERNALCALL]: makeCost(c.AVM_INTERNALCALL_BASE_L2_GAS, 0),
-    [Opcode.INTERNALRETURN]: makeCost(c.AVM_INTERNALRETURN_BASE_L2_GAS, 0),
-    [Opcode.SET_8]: makeCost(c.AVM_SET_BASE_L2_GAS, 0),
-    [Opcode.SET_16]: makeCost(c.AVM_SET_BASE_L2_GAS, 0),
-    [Opcode.SET_32]: makeCost(c.AVM_SET_BASE_L2_GAS, 0),
-    [Opcode.SET_64]: makeCost(c.AVM_SET_BASE_L2_GAS, 0),
-    [Opcode.SET_128]: makeCost(c.AVM_SET_BASE_L2_GAS, 0),
-    [Opcode.SET_FF]: makeCost(c.AVM_SET_BASE_L2_GAS, 0),
-    [Opcode.MOV_8]: makeCost(c.AVM_MOV_BASE_L2_GAS, 0),
-    [Opcode.MOV_16]: makeCost(c.AVM_MOV_BASE_L2_GAS, 0),
-    [Opcode.SLOAD]: makeCost(c.AVM_SLOAD_BASE_L2_GAS, 0),
-    [Opcode.SSTORE]: makeCost(c.AVM_SSTORE_BASE_L2_GAS, 0),
-    [Opcode.NOTEHASHEXISTS]: makeCost(c.AVM_NOTEHASHEXISTS_BASE_L2_GAS, 0),
-    [Opcode.EMITNOTEHASH]: makeCost(c.AVM_EMITNOTEHASH_BASE_L2_GAS, c.AVM_EMITNOTEHASH_BASE_DA_GAS),
-    [Opcode.NULLIFIEREXISTS]: makeCost(c.AVM_NULLIFIEREXISTS_BASE_L2_GAS, 0),
-    [Opcode.EMITNULLIFIER]: makeCost(c.AVM_EMITNULLIFIER_BASE_L2_GAS, c.AVM_EMITNULLIFIER_BASE_DA_GAS),
-    [Opcode.L1TOL2MSGEXISTS]: makeCost(c.AVM_L1TOL2MSGEXISTS_BASE_L2_GAS, 0),
-    [Opcode.EMITUNENCRYPTEDLOG]: makeCost(c.AVM_EMITUNENCRYPTEDLOG_BASE_L2_GAS, c.AVM_EMITUNENCRYPTEDLOG_BASE_DA_GAS),
-    [Opcode.SENDL2TOL1MSG]: makeCost(c.AVM_SENDL2TOL1MSG_BASE_L2_GAS, c.AVM_SENDL2TOL1MSG_BASE_DA_GAS),
-    [Opcode.GETCONTRACTINSTANCE]: makeCost(c.AVM_GETCONTRACTINSTANCE_BASE_L2_GAS, 0),
-    [Opcode.CALL]: makeCost(c.AVM_CALL_BASE_L2_GAS, 0),
-    [Opcode.STATICCALL]: makeCost(c.AVM_STATICCALL_BASE_L2_GAS, 0),
-    [Opcode.RETURN]: makeCost(c.AVM_RETURN_BASE_L2_GAS, 0),
-    [Opcode.REVERT_8]: makeCost(c.AVM_REVERT_BASE_L2_GAS, 0),
-    [Opcode.REVERT_16]: makeCost(c.AVM_REVERT_BASE_L2_GAS, 0),
-    [Opcode.DEBUGLOG]: makeCost(c.AVM_DEBUGLOG_BASE_L2_GAS, 0),
-    [Opcode.POSEIDON2]: makeCost(c.AVM_POSEIDON2_BASE_L2_GAS, 0),
-    [Opcode.SHA256COMPRESSION]: makeCost(c.AVM_SHA256COMPRESSION_BASE_L2_GAS, 0),
-    [Opcode.KECCAKF1600]: makeCost(c.AVM_KECCAKF1600_BASE_L2_GAS, 0),
-    [Opcode.ECADD]: makeCost(c.AVM_ECADD_BASE_L2_GAS, 0),
-    [Opcode.TORADIXBE]: makeCost(c.AVM_TORADIXBE_BASE_L2_GAS, 0)
-};
-const DYNAMIC_GAS_COSTS = new Map([
-    [
-        Opcode.CALLDATACOPY,
-        makeCost(c.AVM_CALLDATACOPY_DYN_L2_GAS, 0)
-    ],
-    [
-        Opcode.RETURNDATACOPY,
-        makeCost(c.AVM_RETURNDATACOPY_DYN_L2_GAS, 0)
-    ],
-    // TODO: Call and static call based on bytecode length
-    [
-        Opcode.EMITUNENCRYPTEDLOG,
-        makeCost(c.AVM_EMITUNENCRYPTEDLOG_DYN_L2_GAS, c.AVM_EMITUNENCRYPTEDLOG_DYN_DA_GAS)
-    ],
-    [
-        Opcode.TORADIXBE,
-        makeCost(c.AVM_TORADIXBE_DYN_L2_GAS, 0)
-    ],
-    [
-        Opcode.AND_8,
-        makeCost(c.AVM_BITWISE_DYN_L2_GAS, 0)
-    ],
-    [
-        Opcode.AND_16,
-        makeCost(c.AVM_BITWISE_DYN_L2_GAS, 0)
-    ],
-    [
-        Opcode.OR_8,
-        makeCost(c.AVM_BITWISE_DYN_L2_GAS, 0)
-    ],
-    [
-        Opcode.OR_16,
-        makeCost(c.AVM_BITWISE_DYN_L2_GAS, 0)
-    ],
-    [
-        Opcode.XOR_8,
-        makeCost(c.AVM_BITWISE_DYN_L2_GAS, 0)
-    ],
-    [
-        Opcode.XOR_16,
-        makeCost(c.AVM_BITWISE_DYN_L2_GAS, 0)
-    ],
-    [
-        Opcode.SSTORE,
-        makeCost(0, c.AVM_SSTORE_DYN_DA_GAS)
-    ]
-]);
-/** Returns the fixed base gas cost for a given opcode. */ export function getBaseGasCost(opcode) {
-    return BASE_GAS_COSTS[opcode];
-}
-export function computeAddressingCost(indirectOperandsCount, relativeOperandsCount) {
-    return makeCost((relativeOperandsCount !== 0 ? c.AVM_ADDRESSING_BASE_RESOLUTION_L2_GAS : 0) + indirectOperandsCount * c.AVM_ADDRESSING_INDIRECT_L2_GAS + relativeOperandsCount * c.AVM_ADDRESSING_RELATIVE_L2_GAS, 0);
-}
-export function getDynamicGasCost(opcode) {
-    return DYNAMIC_GAS_COSTS.has(opcode) ? DYNAMIC_GAS_COSTS.get(opcode) : makeCost(0, 0);
-}
-/** Returns a multiplier based on the byte size of the type represented by the integer tag.
- * Used to account for necessary rows in the bitwise trace. Throws on invalid. */ export function getBitwiseDynamicGasMultiplier(tag) {
-    switch(tag){
-        case TypeTag.UINT1:
-            return 1;
-        case TypeTag.UINT8:
-            return 1;
-        case TypeTag.UINT16:
-            return 2;
-        case TypeTag.UINT32:
-            return 4;
-        case TypeTag.UINT64:
-            return 8;
-        case TypeTag.UINT128:
-            return 16;
-        case TypeTag.FIELD:
-            return 0; // Field is not allowed for bitwise operations. However we don't fail in gas, since we'll fail in bitwise.
-        case TypeTag.INVALID:
-            throw new InstructionExecutionError(`Invalid tag type for gas cost multiplier: ${TypeTag[tag]}`);
-    }
-}

package/dest/public/avm/avm_machine_state.d.ts

@@ -1,97 +0,0 @@
-import type { Fr } from '@aztec/foundation/curves/bn254';
-import type { Gas } from './avm_gas.js';
-import { TaggedMemory } from './avm_memory_types.js';
-import { type AvmRevertReason } from './errors.js';
-/**
- * A few fields of machine state are initialized from AVM session inputs or call instruction arguments
- */
-export type InitialAvmMachineState = {
-    l2GasLeft: number;
-    daGasLeft: number;
-};
-/**
- * Used to track the call stack and revert data of nested calls.
- * This is used to provide a more detailed revert reason when a contract call reverts.
- * It is only a heuristic and may not always provide the correct revert reason.
- */
-type TrackedRevertInfo = {
-    revertDataRepresentative: Fr[];
-    recursiveRevertReason: AvmRevertReason;
-};
-type CallStackEntry = {
-    callPc: number;
-    returnPc: number;
-};
-/**
- * Avm state modified on an instruction-per-instruction basis.
- */
-export declare class AvmMachineState {
-    /** gas remaining of the gas allocated for a contract call */
-    l2GasLeft: number;
-    daGasLeft: number;
-    /** program counter, byte based */
-    pc: number;
-    /** program counter of the next instruction, byte based */
-    nextPc: number;
-    /** return/revertdata of the last nested call. */
-    nestedReturndata: Fr[];
-    /** Tracks whether the last external call was successful */
-    nestedCallSuccess: boolean;
-    /**
-     * Used to track the call stack and revert data of nested calls.
-     * This is used to provide a more detailed revert reason when a contract call reverts.
-     * It is only a heuristic and may not always provide the correct revert reason.
-     */
-    collectedRevertInfo: TrackedRevertInfo | undefined;
-    /**
-     * On INTERNALCALL, internal call stack is pushed to with the current pc and the return pc.
-     * On INTERNALRETURN, value is popped from the internal call stack and assigned to the return pc.
-     */
-    internalCallStack: CallStackEntry[];
-    /** Memory accessible to user code */
-    readonly memory: TaggedMemory;
-    /**
-     * Signals that execution should end.
-     * AvmContext execution continues executing instructions until the machine state signals "halted"
-     */
-    private halted;
-    /** Signals that execution has reverted normally (this does not cover exceptional halts) */
-    private reverted;
-    /** Output data must NOT be modified once it is set */
-    private output;
-    /** instruction counter, including nested calls */
-    instrCounter: number;
-    constructor(gasLeft: Gas);
-    constructor(l2GasLeft: number, daGasLeft: number);
-    get gasLeft(): Gas;
-    static fromState(state: InitialAvmMachineState): AvmMachineState;
-    /**
-     * Consumes the given gas.
-     * Should any of the gas dimensions get depleted, it sets all gas left to zero and triggers
-     * an exceptional halt by throwing an OutOfGasError.
-     */
-    consumeGas(gasCost: Partial<Gas>): void;
-    /** Increases the gas left by the amounts specified. */
-    refundGas(gasRefund: Partial<Gas>): void;
-    /**
-     * Halt as successful
-     * Output data must NOT be modified once it is set
-     * @param output
-     */
-    return(output: Fr[]): void;
-    /**
-     * Halt as reverted
-     * Output data must NOT be modified once it is set
-     * @param output
-     */
-    revert(output: Fr[]): void;
-    getHalted(): boolean;
-    getReverted(): boolean;
-    getOutput(): Fr[];
-    /**
-     * Flag an exceptional halt. Clears gas left and sets the reverted flag. No output data.
-     */
-    private exceptionalHalt;
-}
-export {};
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX21hY2hpbmVfc3RhdGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9wdWJsaWMvYXZtL2F2bV9tYWNoaW5lX3N0YXRlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBRXpELE9BQU8sS0FBSyxFQUFFLEdBQUcsRUFBRSxNQUFNLGNBQWMsQ0FBQztBQUN4QyxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDckQsT0FBTyxFQUFFLEtBQUssZUFBZSxFQUFpQixNQUFNLGFBQWEsQ0FBQztBQUVsRTs7R0FFRztBQUNILE1BQU0sTUFBTSxzQkFBc0IsR0FBRztJQUNuQyxTQUFTLEVBQUUsTUFBTSxDQUFDO0lBQ2xCLFNBQVMsRUFBRSxNQUFNLENBQUM7Q0FDbkIsQ0FBQztBQUVGOzs7O0dBSUc7QUFDSCxLQUFLLGlCQUFpQixHQUFHO0lBQ3ZCLHdCQUF3QixFQUFFLEVBQUUsRUFBRSxDQUFDO0lBQy9CLHFCQUFxQixFQUFFLGVBQWUsQ0FBQztDQUN4QyxDQUFDO0FBRUYsS0FBSyxjQUFjLEdBQUc7SUFDcEIsTUFBTSxFQUFFLE1BQU0sQ0FBQztJQUNmLFFBQVEsRUFBRSxNQUFNLENBQUM7Q0FDbEIsQ0FBQztBQUVGOztHQUVHO0FBQ0gscUJBQWEsZUFBZTtJQUMxQiw2REFBNkQ7SUFDdEQsU0FBUyxFQUFFLE1BQU0sQ0FBQztJQUNsQixTQUFTLEVBQUUsTUFBTSxDQUFDO0lBQ3pCLGtDQUFrQztJQUMzQixFQUFFLEVBQUUsTUFBTSxDQUFLO0lBQ3RCLDBEQUEwRDtJQUNuRCxNQUFNLEVBQUUsTUFBTSxDQUFLO0lBQzFCLGlEQUFpRDtJQUMxQyxnQkFBZ0IsRUFBRSxFQUFFLEVBQUUsQ0FBTTtJQUNuQywyREFBMkQ7SUFDcEQsaUJBQWlCLEVBQUUsT0FBTyxDQUFTO0lBQzFDOzs7O09BSUc7SUFDSSxtQkFBbUIsRUFBRSxpQkFBaUIsR0FBRyxTQUFTLENBQUM7SUFFMUQ7OztPQUdHO0lBQ0ksaUJBQWlCLEVBQUUsY0FBYyxFQUFFLENBQU07SUFFaEQscUNBQXFDO0lBQ3JDLFNBQWdCLE1BQU0sRUFBRSxZQUFZLENBQXNCO0lBRTFEOzs7T0FHRztJQUNILE9BQU8sQ0FBQyxNQUFNLENBQWtCO0lBQ2hDLDJGQUEyRjtJQUMzRixPQUFPLENBQUMsUUFBUSxDQUFrQjtJQUNsQyxzREFBc0Q7SUFDdEQsT0FBTyxDQUFDLE1BQU0sQ0FBWTtJQUcxQixrREFBa0Q7SUFDM0MsWUFBWSxFQUFFLE1BQU0sQ0FBSztJQUdoQyxZQUFZLE9BQU8sRUFBRSxHQUFHLEVBQUU7SUFDMUIsWUFBWSxTQUFTLEVBQUUsTUFBTSxFQUFFLFNBQVMsRUFBRSxNQUFNLEVBQUU7SUFVbEQsSUFBVyxPQUFPLElBQUksR0FBRyxDQUV4QjtJQUVELE9BQWMsU0FBUyxDQUFDLEtBQUssRUFBRSxzQkFBc0IsR0FBRyxlQUFlLENBRXRFO0lBRUQ7Ozs7T0FJRztJQUNJLFVBQVUsQ0FBQyxPQUFPLEVBQUUsT0FBTyxDQUFDLEdBQUcsQ0FBQyxRQW1CdEM7SUFFRCx1REFBdUQ7SUFDaEQsU0FBUyxDQUFDLFNBQVMsRUFBRSxPQUFPLENBQUMsR0FBRyxDQUFDLFFBR3ZDO0lBRUQ7Ozs7T0FJRztJQUNJLE1BQU0sQ0FBQyxNQUFNLEVBQUUsRUFBRSxFQUFFLFFBR3pCO0lBRUQ7Ozs7T0FJRztJQUNJLE1BQU0sQ0FBQyxNQUFNLEVBQUUsRUFBRSxFQUFFLFFBSXpCO0lBRU0sU0FBUyxJQUFJLE9BQU8sQ0FFMUI7SUFFTSxXQUFXLElBQUksT0FBTyxDQUU1QjtJQUVNLFNBQVMsSUFBSSxFQUFFLEVBQUUsQ0FFdkI7SUFFRDs7T0FFRztJQUNILE9BQU8sQ0FBQyxlQUFlO0NBTXhCIn0=