@aztec/simulator 0.0.1-commit.2f68f620 → 0.0.1-commit.3100065

package/dest/public/avm/avm_context.js

@@ -0,0 +1,44 @@
+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

@@ -0,0 +1,32 @@
+import type { SimulationError } from '@aztec/stdlib/errors';
+import { Gas } from '@aztec/stdlib/gas';
+import type { Gas as AvmGas } from './avm_gas.js';
+import type { ReturnData } from './calldata.js';
+import type { AvmRevertReason } from './errors.js';
+/**
+ * Results of an contract call's execution in the AVM.
+ */
+export declare class AvmContractCallResult {
+    reverted: boolean;
+    output: ReturnData;
+    gasLeft: AvmGas;
+    revertReason?: AvmRevertReason | undefined;
+    totalInstructions: number;
+    constructor(reverted: boolean, output: ReturnData, 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: ReturnData;
+    gasLeft: Gas;
+    revertReason?: SimulationError | undefined;
+    totalInstructions: number;
+    constructor(reverted: boolean, output: ReturnData, gasLeft: Gas, revertReason?: SimulationError | undefined, totalInstructions?: number);
+    toString(): string;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX2NvbnRyYWN0X2NhbGxfcmVzdWx0LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvcHVibGljL2F2bS9hdm1fY29udHJhY3RfY2FsbF9yZXN1bHQudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFDNUQsT0FBTyxFQUFFLEdBQUcsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBS3hDLE9BQU8sS0FBSyxFQUFFLEdBQUcsSUFBSSxNQUFNLEVBQUUsTUFBTSxjQUFjLENBQUM7QUFDbEQsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sZUFBZSxDQUFDO0FBQ2hELE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSxNQUFNLGFBQWEsQ0FBQztBQUVuRDs7R0FFRztBQUNILHFCQUFhLHFCQUFxQjtJQUV2QixRQUFRLEVBQUUsT0FBTztJQUNqQixNQUFNLEVBQUUsVUFBVTtJQUNsQixPQUFPLEVBQUUsTUFBTTtJQUNmLFlBQVksQ0FBQztJQUNiLGlCQUFpQixFQUFFLE1BQU07SUFMbEMsWUFDUyxRQUFRLEVBQUUsT0FBTyxFQUNqQixNQUFNLEVBQUUsVUFBVSxFQUNsQixPQUFPLEVBQUUsTUFBTSxFQUNmLFlBQVksQ0FBQyw2QkFBaUIsRUFDOUIsaUJBQWlCLEdBQUUsTUFBVSxFQUNsQztJQUVKLFFBQVEsSUFBSSxNQUFNLENBUWpCO0lBRUQsUUFBUSxJQUFJLHNCQUFzQixDQVdqQztDQUNGO0FBRUQ7OztHQUdHO0FBQ0gscUJBQWEsc0JBQXNCO0lBRXhCLFFBQVEsRUFBRSxPQUFPO0lBQ2pCLE1BQU0sRUFBRSxVQUFVO0lBQ2xCLE9BQU8sRUFBRSxHQUFHO0lBQ1osWUFBWSxDQUFDO0lBQ2IsaUJBQWlCLEVBQUUsTUFBTTtJQUxsQyxZQUNTLFFBQVEsRUFBRSxPQUFPLEVBQ2pCLE1BQU0sRUFBRSxVQUFVLEVBQ2xCLE9BQU8sRUFBRSxHQUFHLEVBQ1osWUFBWSxDQUFDLDZCQUFpQixFQUM5QixpQkFBaUIsR0FBRSxNQUFVLEVBQ2xDO0lBRUosUUFBUSxJQUFJLE1BQU0sQ0FRakI7Q0FDRiJ9

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

@@ -0,0 +1 @@
+{"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,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,UAAU,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEnD;;GAEG;AACH,qBAAa,qBAAqB;IAEvB,QAAQ,EAAE,OAAO;IACjB,MAAM,EAAE,UAAU;IAClB,OAAO,EAAE,MAAM;IACf,YAAY,CAAC;IACb,iBAAiB,EAAE,MAAM;IALlC,YACS,QAAQ,EAAE,OAAO,EACjB,MAAM,EAAE,UAAU,EAClB,OAAO,EAAE,MAAM,EACf,YAAY,CAAC,6BAAiB,EAC9B,iBAAiB,GAAE,MAAU,EAClC;IAEJ,QAAQ,IAAI,MAAM,CAQjB;IAED,QAAQ,IAAI,sBAAsB,CAWjC;CACF;AAED;;;GAGG;AACH,qBAAa,sBAAsB;IAExB,QAAQ,EAAE,OAAO;IACjB,MAAM,EAAE,UAAU;IAClB,OAAO,EAAE,GAAG;IACZ,YAAY,CAAC;IACb,iBAAiB,EAAE,MAAM;IALlC,YACS,QAAQ,EAAE,OAAO,EACjB,MAAM,EAAE,UAAU,EAClB,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

@@ -0,0 +1,54 @@
+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.bestEffortReadAll(10)}${this.output.length() > 10 ? ' ...' : ''}, 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.bestEffortReadAll()) : 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.bestEffortReadAll(10)}${this.output.length() > 10 ? ' ...' : ''}, 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

@@ -0,0 +1,24 @@
+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';
+import type { CallData } from './calldata.js';
+/**
+ * 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: CallData;
+    readonly config: PublicSimulatorConfig;
+    constructor(address: AztecAddress, sender: AztecAddress, contractCallDepth: Fr, transactionFee: Fr, globals: GlobalVariables, isStaticCall: boolean, calldata: CallData, config: PublicSimulatorConfig);
+    private deriveEnvironmentForNestedCallInternal;
+    deriveEnvironmentForNestedCall(targetAddress: AztecAddress, calldata: CallData): AvmExecutionEnvironment;
+    deriveEnvironmentForNestedStaticCall(targetAddress: AztecAddress, calldata: CallData): AvmExecutionEnvironment;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX2V4ZWN1dGlvbl9lbnZpcm9ubWVudC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3B1YmxpYy9hdm0vYXZtX2V4ZWN1dGlvbl9lbnZpcm9ubWVudC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxLQUFLLEVBQUUscUJBQXFCLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUMvRCxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUNoRSxPQUFPLEtBQUssRUFBRSxlQUFlLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUV4RCxPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSxlQUFlLENBQUM7QUFFOUM7OztHQUdHO0FBQ0gscUJBQWEsdUJBQXVCO2FBRWhCLE9BQU8sRUFBRSxZQUFZO2FBQ3JCLE1BQU0sRUFBRSxZQUFZO2FBQ3BCLGlCQUFpQixFQUFFLEVBQUU7YUFDckIsY0FBYyxFQUFFLEVBQUU7YUFDbEIsT0FBTyxFQUFFLGVBQWU7YUFDeEIsWUFBWSxFQUFFLE9BQU87YUFDckIsUUFBUSxFQUFFLFFBQVE7YUFDbEIsTUFBTSxFQUFFLHFCQUFxQjtJQVIvQyxZQUNrQixPQUFPLEVBQUUsWUFBWSxFQUNyQixNQUFNLEVBQUUsWUFBWSxFQUNwQixpQkFBaUIsRUFBRSxFQUFFLEVBQ3JCLGNBQWMsRUFBRSxFQUFFLEVBQ2xCLE9BQU8sRUFBRSxlQUFlLEVBQ3hCLFlBQVksRUFBRSxPQUFPLEVBQ3JCLFFBQVEsRUFBRSxRQUFRLEVBQ2xCLE1BQU0sRUFBRSxxQkFBcUIsRUFDM0M7SUFFSixPQUFPLENBQUMsc0NBQXNDO0lBaUJ2Qyw4QkFBOEIsQ0FBQyxhQUFhLEVBQUUsWUFBWSxFQUFFLFFBQVEsRUFBRSxRQUFRLEdBQUcsdUJBQXVCLENBRTlHO0lBRU0sb0NBQW9DLENBQ3pDLGFBQWEsRUFBRSxZQUFZLEVBQzNCLFFBQVEsRUFBRSxRQUFRLEdBQ2pCLHVCQUF1QixDQUV6QjtDQUNGIn0=

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

@@ -0,0 +1 @@
+{"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,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE9C;;;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,QAAQ;aAClB,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,QAAQ,EAClB,MAAM,EAAE,qBAAqB,EAC3C;IAEJ,OAAO,CAAC,sCAAsC;IAiBvC,8BAA8B,CAAC,aAAa,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,GAAG,uBAAuB,CAE9G;IAEM,oCAAoC,CACzC,aAAa,EAAE,YAAY,EAC3B,QAAQ,EAAE,QAAQ,GACjB,uBAAuB,CAEzB;CACF"}

package/dest/public/avm/avm_execution_environment.js

@@ -0,0 +1,33 @@
+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

@@ -0,0 +1,44 @@
+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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,195 @@
+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.EMITPUBLICLOG]: makeCost(c.AVM_EMITPUBLICLOG_BASE_L2_GAS, c.AVM_EMITPUBLICLOG_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.EMITPUBLICLOG,
+        makeCost(c.AVM_EMITPUBLICLOG_DYN_L2_GAS, c.AVM_EMITPUBLICLOG_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

@@ -0,0 +1,98 @@
+import type { Fr } from '@aztec/foundation/curves/bn254';
+import type { Gas } from './avm_gas.js';
+import { TaggedMemory } from './avm_memory_types.js';
+import { type ReturnData } from './calldata.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: ReturnData;
+    /** 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: ReturnData): void;
+    /**
+     * Halt as reverted
+     * Output data must NOT be modified once it is set
+     * @param output
+     */
+    revert(output: ReturnData): void;
+    getHalted(): boolean;
+    getReverted(): boolean;
+    getOutput(): ReturnData;
+    /**
+     * Flag an exceptional halt. Clears gas left and sets the reverted flag. No output data.
+     */
+    private exceptionalHalt;
+}
+export {};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX21hY2hpbmVfc3RhdGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9wdWJsaWMvYXZtL2F2bV9tYWNoaW5lX3N0YXRlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBRXpELE9BQU8sS0FBSyxFQUFFLEdBQUcsRUFBRSxNQUFNLGNBQWMsQ0FBQztBQUN4QyxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDckQsT0FBTyxFQUFFLEtBQUssVUFBVSxFQUFtQixNQUFNLGVBQWUsQ0FBQztBQUNqRSxPQUFPLEVBQUUsS0FBSyxlQUFlLEVBQWlCLE1BQU0sYUFBYSxDQUFDO0FBRWxFOztHQUVHO0FBQ0gsTUFBTSxNQUFNLHNCQUFzQixHQUFHO0lBQ25DLFNBQVMsRUFBRSxNQUFNLENBQUM7SUFDbEIsU0FBUyxFQUFFLE1BQU0sQ0FBQztDQUNuQixDQUFDO0FBRUY7Ozs7R0FJRztBQUNILEtBQUssaUJBQWlCLEdBQUc7SUFDdkIsd0JBQXdCLEVBQUUsRUFBRSxFQUFFLENBQUM7SUFDL0IscUJBQXFCLEVBQUUsZUFBZSxDQUFDO0NBQ3hDLENBQUM7QUFFRixLQUFLLGNBQWMsR0FBRztJQUNwQixNQUFNLEVBQUUsTUFBTSxDQUFDO0lBQ2YsUUFBUSxFQUFFLE1BQU0sQ0FBQztDQUNsQixDQUFDO0FBRUY7O0dBRUc7QUFDSCxxQkFBYSxlQUFlO0lBQzFCLDZEQUE2RDtJQUN0RCxTQUFTLEVBQUUsTUFBTSxDQUFDO0lBQ2xCLFNBQVMsRUFBRSxNQUFNLENBQUM7SUFDekIsa0NBQWtDO0lBQzNCLEVBQUUsRUFBRSxNQUFNLENBQUs7SUFDdEIsMERBQTBEO0lBQ25ELE1BQU0sRUFBRSxNQUFNLENBQUs7SUFDMUIsaURBQWlEO0lBQzFDLGdCQUFnQixFQUFFLFVBQVUsQ0FBMkI7SUFDOUQsMkRBQTJEO0lBQ3BELGlCQUFpQixFQUFFLE9BQU8sQ0FBUztJQUMxQzs7OztPQUlHO0lBQ0ksbUJBQW1CLEVBQUUsaUJBQWlCLEdBQUcsU0FBUyxDQUFDO0lBRTFEOzs7T0FHRztJQUNJLGlCQUFpQixFQUFFLGNBQWMsRUFBRSxDQUFNO0lBRWhELHFDQUFxQztJQUNyQyxTQUFnQixNQUFNLEVBQUUsWUFBWSxDQUFzQjtJQUUxRDs7O09BR0c7SUFDSCxPQUFPLENBQUMsTUFBTSxDQUFrQjtJQUNoQywyRkFBMkY7SUFDM0YsT0FBTyxDQUFDLFFBQVEsQ0FBa0I7SUFDbEMsc0RBQXNEO0lBQ3RELE9BQU8sQ0FBQyxNQUFNLENBQXVDO0lBR3JELGtEQUFrRDtJQUMzQyxZQUFZLEVBQUUsTUFBTSxDQUFLO0lBR2hDLFlBQVksT0FBTyxFQUFFLEdBQUcsRUFBRTtJQUMxQixZQUFZLFNBQVMsRUFBRSxNQUFNLEVBQUUsU0FBUyxFQUFFLE1BQU0sRUFBRTtJQVVsRCxJQUFXLE9BQU8sSUFBSSxHQUFHLENBRXhCO0lBRUQsT0FBYyxTQUFTLENBQUMsS0FBSyxFQUFFLHNCQUFzQixHQUFHLGVBQWUsQ0FFdEU7SUFFRDs7OztPQUlHO0lBQ0ksVUFBVSxDQUFDLE9BQU8sRUFBRSxPQUFPLENBQUMsR0FBRyxDQUFDLFFBbUJ0QztJQUVELHVEQUF1RDtJQUNoRCxTQUFTLENBQUMsU0FBUyxFQUFFLE9BQU8sQ0FBQyxHQUFHLENBQUMsUUFHdkM7SUFFRDs7OztPQUlHO0lBQ0ksTUFBTSxDQUFDLE1BQU0sRUFBRSxVQUFVLFFBRy9CO0lBRUQ7Ozs7T0FJRztJQUNJLE1BQU0sQ0FBQyxNQUFNLEVBQUUsVUFBVSxRQUkvQjtJQUVNLFNBQVMsSUFBSSxPQUFPLENBRTFCO0lBRU0sV0FBVyxJQUFJLE9BQU8sQ0FFNUI7SUFFTSxTQUFTLElBQUksVUFBVSxDQUU3QjtJQUVEOztPQUVHO0lBQ0gsT0FBTyxDQUFDLGVBQWU7Q0FNeEIifQ==

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

@@ -0,0 +1 @@
+{"version":3,"file":"avm_machine_state.d.ts","sourceRoot":"","sources":["../../../src/public/avm/avm_machine_state.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEzD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,KAAK,UAAU,EAAmB,MAAM,eAAe,CAAC;AACjE,OAAO,EAAE,KAAK,eAAe,EAAiB,MAAM,aAAa,CAAC;AAElE;;GAEG;AACH,MAAM,MAAM,sBAAsB,GAAG;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF;;;;GAIG;AACH,KAAK,iBAAiB,GAAG;IACvB,wBAAwB,EAAE,EAAE,EAAE,CAAC;IAC/B,qBAAqB,EAAE,eAAe,CAAC;CACxC,CAAC;AAEF,KAAK,cAAc,GAAG;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF;;GAEG;AACH,qBAAa,eAAe;IAC1B,6DAA6D;IACtD,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IACzB,kCAAkC;IAC3B,EAAE,EAAE,MAAM,CAAK;IACtB,0DAA0D;IACnD,MAAM,EAAE,MAAM,CAAK;IAC1B,iDAAiD;IAC1C,gBAAgB,EAAE,UAAU,CAA2B;IAC9D,2DAA2D;IACpD,iBAAiB,EAAE,OAAO,CAAS;IAC1C;;;;OAIG;IACI,mBAAmB,EAAE,iBAAiB,GAAG,SAAS,CAAC;IAE1D;;;OAGG;IACI,iBAAiB,EAAE,cAAc,EAAE,CAAM;IAEhD,qCAAqC;IACrC,SAAgB,MAAM,EAAE,YAAY,CAAsB;IAE1D;;;OAGG;IACH,OAAO,CAAC,MAAM,CAAkB;IAChC,2FAA2F;IAC3F,OAAO,CAAC,QAAQ,CAAkB;IAClC,sDAAsD;IACtD,OAAO,CAAC,MAAM,CAAuC;IAGrD,kDAAkD;IAC3C,YAAY,EAAE,MAAM,CAAK;IAGhC,YAAY,OAAO,EAAE,GAAG,EAAE;IAC1B,YAAY,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE;IAUlD,IAAW,OAAO,IAAI,GAAG,CAExB;IAED,OAAc,SAAS,CAAC,KAAK,EAAE,sBAAsB,GAAG,eAAe,CAEtE;IAED;;;;OAIG;IACI,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,QAmBtC;IAED,uDAAuD;IAChD,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,GAAG,CAAC,QAGvC;IAED;;;;OAIG;IACI,MAAM,CAAC,MAAM,EAAE,UAAU,QAG/B;IAED;;;;OAIG;IACI,MAAM,CAAC,MAAM,EAAE,UAAU,QAI/B;IAEM,SAAS,IAAI,OAAO,CAE1B;IAEM,WAAW,IAAI,OAAO,CAE5B;IAEM,SAAS,IAAI,UAAU,CAE7B;IAED;;OAEG;IACH,OAAO,CAAC,eAAe;CAMxB"}