@aztec/simulator 0.73.0 → 0.75.0-commit.c03ba01a2a4122e43e90d5133ba017e54b90e9d2

package/dest/avm/avm_gas.d.ts

@@ -1,60 +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 getDynamicGasCost(opcode: Opcode): Gas;
-/** Returns the gas cost associated with the memory operations performed. */
-export declare function getMemoryGasCost(args: {
-    reads?: number;
-    writes?: number;
-    indirect?: number;
-}): {
-    l2Gas: number;
-    daGas: number;
-};
-/** Constants used in base cost calculations. */
-export declare const GAS_COST_CONSTANTS: {
-    MEMORY_READ: number;
-    MEMORY_INDIRECT_READ_PENALTY: number;
-    MEMORY_WRITE: number;
-};
-/** Returns gas cost for an operation on a given type tag based on the base cost per byte. */
-export declare function getGasCostForTypeTag(tag: TypeTag, baseCost: Gas): {
-    l2Gas: number;
-    daGas: number;
-};
-//# sourceMappingURL=avm_gas.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"avm_gas.d.ts","sourceRoot":"","sources":["../../src/avm/avm_gas.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAGhD,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,OAQ9C;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;AAwF1D,0DAA0D;AAC1D,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,GAAG,CAElD;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,GAAG,CAErD;AAED,4EAA4E;AAC5E,wBAAgB,gBAAgB,CAAC,IAAI,EAAE;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE;;;EAQ5F;AAED,gDAAgD;AAChD,eAAO,MAAM,kBAAkB;;;;CAI9B,CAAC;AAEF,6FAA6F;AAC7F,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG;;;EAE/D"}

package/dest/avm/avm_machine_state.d.ts

@@ -1,93 +0,0 @@
-import { type Fr } from '@aztec/circuits.js';
-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[];
-    /**
-     * 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;
-    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=avm_machine_state.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"avm_machine_state.d.ts","sourceRoot":"","sources":["../../src/avm/avm_machine_state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,EAAE,MAAM,oBAAoB,CAAC;AAE7C,OAAO,EAAkB,KAAK,GAAG,EAAE,MAAM,cAAc,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,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,EAAE,EAAE,CAAM;IACnC;;;;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,CAAY;gBAEd,OAAO,EAAE,GAAG;gBACZ,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM;IAUhD,IAAW,OAAO,IAAI,GAAG,CAExB;WAEa,SAAS,CAAC,KAAK,EAAE,sBAAsB,GAAG,eAAe;IAIvE;;;;OAIG;IACI,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC;IAiBvC,uDAAuD;IAChD,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,GAAG,CAAC;IAMxC;;;;OAIG;IACI,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE;IAK1B;;;;OAIG;IACI,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE;IAMnB,SAAS,IAAI,OAAO;IAIpB,WAAW,IAAI,OAAO;IAItB,SAAS,IAAI,EAAE,EAAE;IAIxB;;OAEG;IACH,OAAO,CAAC,eAAe;CAKxB"}

package/dest/avm/avm_memory_types.d.ts

@@ -1,310 +0,0 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-import { AztecAddress } from '@aztec/foundation/aztec-address';
-import { Fr } from '@aztec/foundation/fields';
-import { type Logger } from '@aztec/foundation/log';
-import { type FunctionsOf } from '@aztec/foundation/types';
-import { Addressing } from './opcodes/addressing_mode.js';
-/** MemoryValue gathers the common operations for all memory types. */
-export declare abstract class MemoryValue {
-    abstract add(rhs: MemoryValue): MemoryValue;
-    abstract sub(rhs: MemoryValue): MemoryValue;
-    abstract mul(rhs: MemoryValue): MemoryValue;
-    abstract div(rhs: MemoryValue): MemoryValue;
-    abstract equals(rhs: MemoryValue): boolean;
-    abstract lt(rhs: MemoryValue): boolean;
-    abstract build(n: bigint): MemoryValue;
-    abstract toBigInt(): bigint;
-    abstract toBuffer(): Buffer;
-    toFr(): Fr;
-    toAztecAddress(): AztecAddress;
-    toNumber(): number;
-    toString(): string;
-}
-/** IntegralValue gathers the common operations for all integral memory types. */
-export declare abstract class IntegralValue extends MemoryValue {
-    abstract shl(rhs: IntegralValue): IntegralValue;
-    abstract shr(rhs: IntegralValue): IntegralValue;
-    abstract and(rhs: IntegralValue): IntegralValue;
-    abstract or(rhs: IntegralValue): IntegralValue;
-    abstract xor(rhs: IntegralValue): IntegralValue;
-    abstract not(): IntegralValue;
-}
-declare const Uint1_base: {
-    new (n: number | bigint): {
-        readonly n: bigint;
-        build(n: bigint): any;
-        add(rhs: any): any;
-        sub(rhs: any): any;
-        mul(rhs: any): any;
-        div(rhs: any): any;
-        shr(rhs: any): any;
-        shl(rhs: any): any;
-        and(rhs: any): any;
-        or(rhs: any): any;
-        xor(rhs: any): any;
-        not(): any;
-        equals(rhs: any): boolean;
-        lt(rhs: any): boolean;
-        toBigInt(): bigint;
-        toBuffer(): Buffer;
-        toFr(): Fr;
-        toAztecAddress(): AztecAddress;
-        toNumber(): number;
-        toString(): string;
-    };
-    readonly mod: bigint;
-    readonly bitmask: bigint;
-};
-export declare class Uint1 extends Uint1_base {
-}
-declare const Uint8_base: {
-    new (n: number | bigint): {
-        readonly n: bigint;
-        build(n: bigint): any;
-        add(rhs: any): any;
-        sub(rhs: any): any;
-        mul(rhs: any): any;
-        div(rhs: any): any;
-        shr(rhs: any): any;
-        shl(rhs: any): any;
-        and(rhs: any): any;
-        or(rhs: any): any;
-        xor(rhs: any): any;
-        not(): any;
-        equals(rhs: any): boolean;
-        lt(rhs: any): boolean;
-        toBigInt(): bigint;
-        toBuffer(): Buffer;
-        toFr(): Fr;
-        toAztecAddress(): AztecAddress;
-        toNumber(): number;
-        toString(): string;
-    };
-    readonly mod: bigint;
-    readonly bitmask: bigint;
-};
-export declare class Uint8 extends Uint8_base {
-}
-declare const Uint16_base: {
-    new (n: number | bigint): {
-        readonly n: bigint;
-        build(n: bigint): any;
-        add(rhs: any): any;
-        sub(rhs: any): any;
-        mul(rhs: any): any;
-        div(rhs: any): any;
-        shr(rhs: any): any;
-        shl(rhs: any): any;
-        and(rhs: any): any;
-        or(rhs: any): any;
-        xor(rhs: any): any;
-        not(): any;
-        equals(rhs: any): boolean;
-        lt(rhs: any): boolean;
-        toBigInt(): bigint;
-        toBuffer(): Buffer;
-        toFr(): Fr;
-        toAztecAddress(): AztecAddress;
-        toNumber(): number;
-        toString(): string;
-    };
-    readonly mod: bigint;
-    readonly bitmask: bigint;
-};
-export declare class Uint16 extends Uint16_base {
-}
-declare const Uint32_base: {
-    new (n: number | bigint): {
-        readonly n: bigint;
-        build(n: bigint): any;
-        add(rhs: any): any;
-        sub(rhs: any): any;
-        mul(rhs: any): any;
-        div(rhs: any): any;
-        shr(rhs: any): any;
-        shl(rhs: any): any;
-        and(rhs: any): any;
-        or(rhs: any): any;
-        xor(rhs: any): any;
-        not(): any;
-        equals(rhs: any): boolean;
-        lt(rhs: any): boolean;
-        toBigInt(): bigint;
-        toBuffer(): Buffer;
-        toFr(): Fr;
-        toAztecAddress(): AztecAddress;
-        toNumber(): number;
-        toString(): string;
-    };
-    readonly mod: bigint;
-    readonly bitmask: bigint;
-};
-export declare class Uint32 extends Uint32_base {
-}
-declare const Uint64_base: {
-    new (n: number | bigint): {
-        readonly n: bigint;
-        build(n: bigint): any;
-        add(rhs: any): any;
-        sub(rhs: any): any;
-        mul(rhs: any): any;
-        div(rhs: any): any;
-        shr(rhs: any): any;
-        shl(rhs: any): any;
-        and(rhs: any): any;
-        or(rhs: any): any;
-        xor(rhs: any): any;
-        not(): any;
-        equals(rhs: any): boolean;
-        lt(rhs: any): boolean;
-        toBigInt(): bigint;
-        toBuffer(): Buffer;
-        toFr(): Fr;
-        toAztecAddress(): AztecAddress;
-        toNumber(): number;
-        toString(): string;
-    };
-    readonly mod: bigint;
-    readonly bitmask: bigint;
-};
-export declare class Uint64 extends Uint64_base {
-}
-declare const Uint128_base: {
-    new (n: number | bigint): {
-        readonly n: bigint;
-        build(n: bigint): any;
-        add(rhs: any): any;
-        sub(rhs: any): any;
-        mul(rhs: any): any;
-        div(rhs: any): any;
-        shr(rhs: any): any;
-        shl(rhs: any): any;
-        and(rhs: any): any;
-        or(rhs: any): any;
-        xor(rhs: any): any;
-        not(): any;
-        equals(rhs: any): boolean;
-        lt(rhs: any): boolean;
-        toBigInt(): bigint;
-        toBuffer(): Buffer;
-        toFr(): Fr;
-        toAztecAddress(): AztecAddress;
-        toNumber(): number;
-        toString(): string;
-    };
-    readonly mod: bigint;
-    readonly bitmask: bigint;
-};
-export declare class Uint128 extends Uint128_base {
-}
-export declare class Field extends MemoryValue {
-    static readonly MODULUS: bigint;
-    private readonly rep;
-    constructor(v: number | bigint | Fr | Buffer);
-    build(n: bigint): Field;
-    add(rhs: Field): Field;
-    sub(rhs: Field): Field;
-    mul(rhs: Field): Field;
-    div(rhs: Field): Field;
-    fdiv(rhs: Field): Field;
-    equals(rhs: Field): boolean;
-    lt(rhs: Field): boolean;
-    toBigInt(): bigint;
-    toBuffer(): Buffer;
-}
-export declare enum TypeTag {
-    FIELD = 0,
-    UINT1 = 1,
-    UINT8 = 2,
-    UINT16 = 3,
-    UINT32 = 4,
-    UINT64 = 5,
-    UINT128 = 6,
-    INVALID = 7
-}
-export type TaggedMemoryInterface = FunctionsOf<TaggedMemory>;
-export declare class TaggedMemory implements TaggedMemoryInterface {
-    static readonly log: Logger;
-    static readonly TRACK_MEMORY_ACCESSES: boolean;
-    static readonly MAX_MEMORY_SIZE: number;
-    private _mem;
-    constructor();
-    getMaxMemorySize(): number;
-    /** Returns a MeteredTaggedMemory instance to track the number of reads and writes if TRACK_MEMORY_ACCESSES is set. */
-    track(type?: string): TaggedMemoryInterface;
-    get(offset: number): MemoryValue;
-    getAs<T>(offset: number): T;
-    getSlice(offset: number, size: number): MemoryValue[];
-    getSliceAs<T>(offset: number, size: number): T[];
-    getSliceTags(offset: number, size: number): TypeTag[];
-    set(offset: number, v: MemoryValue): void;
-    setSlice(offset: number, slice: MemoryValue[]): void;
-    getTag(offset: number): TypeTag;
-    /**
-     * Check that the memory at the given offset matches the specified tag.
-     */
-    checkTag(tag: TypeTag, offset: number): void;
-    checkIsValidMemoryOffsetTag(offset: number): void;
-    static checkIsIntegralTag(tag: TypeTag): void;
-    static checkIsValidTag(tagNumber: number): void;
-    /**
-     * Check tags for memory at all of the specified offsets.
-     */
-    checkTags(tag: TypeTag, ...offsets: number[]): void;
-    /**
-     * Check that all tags at the given offsets are the same.
-     */
-    checkTagsAreSame(...offsets: number[]): void;
-    /**
-     * Check tags for all memory in the specified range.
-     */
-    checkTagsRange(tag: TypeTag, startOffset: number, size: number): void;
-    static getTag(v: MemoryValue | undefined): TypeTag;
-    static buildFromTagTruncating(v: bigint | number, tag: TypeTag): MemoryValue;
-    /** No-op. Implemented here for compatibility with the MeteredTaggedMemory. */
-    assert(_operations: Partial<MemoryOperations & {
-        addressing: Addressing;
-    }>): void;
-}
-/** Tagged memory wrapper with metering for each memory read and write operation. */
-export declare class MeteredTaggedMemory implements TaggedMemoryInterface {
-    private wrapped;
-    private type;
-    private reads;
-    private writes;
-    constructor(wrapped: TaggedMemory, type?: string);
-    /** Returns the number of reads and writes tracked so far and resets them to zero. */
-    reset(): MemoryOperations;
-    /**
-     * Asserts that the exact number of memory operations have been performed.
-     * Indirect represents the flags for indirect accesses: each bit set to one counts as an extra read.
-     */
-    assert(operations: Partial<MemoryOperations & {
-        addressing: Addressing;
-    }>): void;
-    getMaxMemorySize(): number;
-    track(type?: string): MeteredTaggedMemory;
-    get(offset: number): MemoryValue;
-    getSliceAs<T>(offset: number, size: number): T[];
-    getAs<T>(offset: number): T;
-    getSlice(offset: number, size: number): MemoryValue[];
-    set(offset: number, v: MemoryValue): void;
-    setSlice(offset: number, vs: MemoryValue[]): void;
-    getSliceTags(offset: number, size: number): TypeTag[];
-    getTag(offset: number): TypeTag;
-    checkTag(tag: TypeTag, offset: number): void;
-    checkIsValidMemoryOffsetTag(offset: number): void;
-    checkTags(tag: TypeTag, ...offsets: number[]): void;
-    checkTagsAreSame(...offsets: number[]): void;
-    checkTagsRange(tag: TypeTag, startOffset: number, size: number): void;
-}
-/** Tracks number of memory reads and writes. */
-export type MemoryOperations = {
-    /** How many total reads are performed. Slice reads are count as one per element. */
-    reads: number;
-    /** How many total writes are performed. Slice writes are count as one per element. */
-    writes: number;
-};
-export {};
-//# sourceMappingURL=avm_memory_types.d.ts.map

package/dest/avm/avm_memory_types.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"avm_memory_types.d.ts","sourceRoot":"","sources":["../../src/avm/avm_memory_types.ts"],"names":[],"mappings":";;AASA,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAE/D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAU3D,OAAO,EAAE,UAAU,EAAkB,MAAM,8BAA8B,CAAC;AAE1E,sEAAsE;AACtE,8BAAsB,WAAW;aACf,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW;aAClC,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW;aAClC,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW;aAClC,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW;aAElC,MAAM,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO;aACjC,EAAE,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO;aAG7B,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,WAAW;aAG7B,QAAQ,IAAI,MAAM;aAGlB,QAAQ,IAAI,MAAM;IAG3B,IAAI,IAAI,EAAE;IAIV,cAAc,IAAI,YAAY;IAK9B,QAAQ,IAAI,MAAM;IAIlB,QAAQ,IAAI,MAAM;CAG1B;AAED,iFAAiF;AACjF,8BAAsB,aAAc,SAAQ,WAAW;aACrC,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa;aACtC,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa;aACtC,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa;aACtC,EAAE,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa;aACrC,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa;aACtC,GAAG,IAAI,aAAa;CACrC;;;;;;;;;;;;;;;;;;;;;;;;;;;AAyFD,qBAAa,KAAM,SAAQ,UAA8B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC5D,qBAAa,KAAM,SAAQ,UAA8B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC5D,qBAAa,MAAO,SAAQ,WAA+B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC9D,qBAAa,MAAO,SAAQ,WAA+B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC9D,qBAAa,MAAO,SAAQ,WAA+B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC9D,qBAAa,OAAQ,SAAQ,YAAgC;CAAG;AAEhE,qBAAa,KAAM,SAAQ,WAAW;IACpC,gBAAuB,OAAO,EAAE,MAAM,CAAc;IACpD,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAK;gBAEb,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,EAAE,GAAG,MAAM;IAKrC,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,KAAK;IAIvB,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK;IAItB,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK;IAItB,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK;IAKtB,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK;IAKtB,IAAI,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK;IAIvB,MAAM,CAAC,GAAG,EAAE,KAAK,GAAG,OAAO;IAI3B,EAAE,CAAC,GAAG,EAAE,KAAK,GAAG,OAAO;IAIvB,QAAQ,IAAI,MAAM;IAIlB,QAAQ,IAAI,MAAM;CAG1B;AAED,oBAAY,OAAO;IACjB,KAAK,IAAa;IAClB,KAAK,IAAa;IAClB,KAAK,IAAa;IAClB,MAAM,IAAc;IACpB,MAAM,IAAc;IACpB,MAAM,IAAc;IACpB,OAAO,IAAe;IACtB,OAAO,IAAA;CACR;AAGD,MAAM,MAAM,qBAAqB,GAAG,WAAW,CAAC,YAAY,CAAC,CAAC;AAE9D,qBAAa,YAAa,YAAW,qBAAqB;IACxD,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAwC;IAGnE,MAAM,CAAC,QAAQ,CAAC,qBAAqB,UAAmC;IAKxE,MAAM,CAAC,QAAQ,CAAC,eAAe,SAAqB;IACpD,OAAO,CAAC,IAAI,CAA2B;;IAMhC,gBAAgB,IAAI,MAAM;IAIjC,sHAAsH;IAC/G,KAAK,CAAC,IAAI,GAAE,MAAsB,GAAG,qBAAqB;IAI1D,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW;IAMhC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC;IAY3B,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,EAAE;IAiBrD,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,EAAE;IAIhD,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,EAAE;IAIrD,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,WAAW;IAOlC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE;IAa7C,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO;IAMtC;;OAEG;IACI,QAAQ,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM;IAOrC,2BAA2B,CAAC,MAAM,EAAE,MAAM;WAInC,kBAAkB,CAAC,GAAG,EAAE,OAAO;WAQ/B,eAAe,CAAC,SAAS,EAAE,MAAM;IAgB/C;;OAEG;IACI,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE;IAMnD;;OAEG;IACI,gBAAgB,CAAC,GAAG,OAAO,EAAE,MAAM,EAAE;IAO5C;;OAEG;IACI,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM;WAQvD,MAAM,CAAC,CAAC,EAAE,WAAW,GAAG,SAAS,GAAG,OAAO;WA2B3C,sBAAsB,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,EAAE,OAAO,GAAG,WAAW;IAsBnF,8EAA8E;IACvE,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,gBAAgB,GAAG;QAAE,UAAU,EAAE,UAAU,CAAA;KAAE,CAAC;CAClF;AAED,oFAAoF;AACpF,qBAAa,mBAAoB,YAAW,qBAAqB;IAInD,OAAO,CAAC,OAAO;IAAgB,OAAO,CAAC,IAAI;IAHvD,OAAO,CAAC,KAAK,CAAa;IAC1B,OAAO,CAAC,MAAM,CAAa;gBAEP,OAAO,EAAE,YAAY,EAAU,IAAI,GAAE,MAAsB;IAE/E,qFAAqF;IAC9E,KAAK,IAAI,gBAAgB;IAOhC;;;OAGG;IACI,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,gBAAgB,GAAG;QAAE,UAAU,EAAE,UAAU,CAAA;KAAE,CAAC;IAsBzE,gBAAgB,IAAI,MAAM;IAI1B,KAAK,CAAC,IAAI,GAAE,MAAsB,GAAG,mBAAmB;IAIxD,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW;IAKhC,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,EAAE;IAKhD,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC;IAK3B,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,EAAE;IAKrD,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,WAAW,GAAG,IAAI;IAKzC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,WAAW,EAAE,GAAG,IAAI;IAKjD,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,EAAE;IAIrD,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO;IAI/B,QAAQ,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAI5C,2BAA2B,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAIjD,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI;IAInD,gBAAgB,CAAC,GAAG,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI;IAI5C,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;CAG7E;AAED,gDAAgD;AAChD,MAAM,MAAM,gBAAgB,GAAG;IAC7B,oFAAoF;IACpF,KAAK,EAAE,MAAM,CAAC;IACd,sFAAsF;IACtF,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC"}

package/dest/avm/avm_simulator.d.ts

@@ -1,37 +0,0 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-import { type AztecAddress, Fr, type GlobalVariables } from '@aztec/circuits.js';
-import { AvmContext } from './avm_context.js';
-import { AvmContractCallResult } from './avm_contract_call_result.js';
-import { type Gas } from './avm_gas.js';
-import { type AvmPersistableStateManager } from './journal/journal.js';
-import { type InstructionSet } from './serialization/bytecode_serialization.js';
-export declare class AvmSimulator {
-    private context;
-    private instructionSet;
-    private log;
-    private bytecode;
-    private opcodeTallies;
-    private tallyPrintFunction;
-    private tallyInstructionFunction;
-    constructor(context: AvmContext, instructionSet?: InstructionSet);
-    static build(context: AvmContext): Promise<AvmSimulator>;
-    static create(stateManager: AvmPersistableStateManager, address: AztecAddress, sender: AztecAddress, transactionFee: Fr, globals: GlobalVariables, isStaticCall: boolean, calldata: Fr[], allocatedGas: Gas): Promise<AvmSimulator>;
-    /**
-     * Fetch the bytecode and execute it in the current context.
-     */
-    execute(): Promise<AvmContractCallResult>;
-    /**
-     * Return the bytecode used for execution, if any.
-     */
-    getBytecode(): Buffer | undefined;
-    /**
-     * Executes the provided bytecode in the current context.
-     * This method is useful for testing and debugging.
-     */
-    executeBytecode(bytecode: Buffer): Promise<AvmContractCallResult>;
-    private handleFailureToRetrieveBytecode;
-    private tallyInstruction;
-    private printOpcodeTallies;
-}
-//# sourceMappingURL=avm_simulator.d.ts.map

package/dest/avm/avm_simulator.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"avm_simulator.d.ts","sourceRoot":"","sources":["../../src/avm/avm_simulator.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,KAAK,YAAY,EAAE,EAAE,EAAE,KAAK,eAAe,EAAoC,MAAM,oBAAoB,CAAC;AAMnH,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAEtE,OAAO,EAAE,KAAK,GAAG,EAAE,MAAM,cAAc,CAAC;AAUxC,OAAO,EAAE,KAAK,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AACvE,OAAO,EAEL,KAAK,cAAc,EAEpB,MAAM,2CAA2C,CAAC;AAOnD,qBAAa,YAAY;IAUX,OAAO,CAAC,OAAO;IAAc,OAAO,CAAC,cAAc;IAT/D,OAAO,CAAC,GAAG,CAAS;IACpB,OAAO,CAAC,QAAQ,CAAqB;IACrC,OAAO,CAAC,aAAa,CAAuC;IAE5D,OAAO,CAAC,kBAAkB,CAAY;IACtC,OAAO,CAAC,wBAAwB,CAA+B;gBAI3C,OAAO,EAAE,UAAU,EAAU,cAAc,GAAE,cAAkC;WAe/E,KAAK,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,YAAY,CAAC;WAQjD,MAAM,CACxB,YAAY,EAAE,0BAA0B,EACxC,OAAO,EAAE,YAAY,EACrB,MAAM,EAAE,YAAY,EACpB,cAAc,EAAE,EAAE,EAClB,OAAO,EAAE,eAAe,EACxB,YAAY,EAAE,OAAO,EACrB,QAAQ,EAAE,EAAE,EAAE,EACd,YAAY,EAAE,GAAG;IAiBnB;;OAEG;IACU,OAAO,IAAI,OAAO,CAAC,qBAAqB,CAAC;IAuBtD;;OAEG;IACI,WAAW,IAAI,MAAM,GAAG,SAAS;IAIxC;;;OAGG;IACU,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,qBAAqB,CAAC;YAwFhE,+BAA+B;IAoB7C,OAAO,CAAC,gBAAgB;IAQxB,OAAO,CAAC,kBAAkB;CAS3B"}