@aztec/simulator 0.0.1-commit.3100065 → 0.0.1-commit.330febf

package/dest/public/avm/avm_memory_types.js

@@ -1,354 +0,0 @@
-import { MEM_TAG_FF, MEM_TAG_U1, MEM_TAG_U8, MEM_TAG_U16, MEM_TAG_U32, MEM_TAG_U64, MEM_TAG_U128 } from '@aztec/constants';
-import { toBufferBE } from '@aztec/foundation/bigint-buffer';
-import { Fr } from '@aztec/foundation/curves/bn254';
-import { createLogger } from '@aztec/foundation/log';
-import { AztecAddress } from '@aztec/stdlib/aztec-address';
-import { strict as assert } from 'assert';
-import { InvalidTagValueError, MemorySliceOutOfRangeError, TagCheckError } from './errors.js';
-/** MemoryValue gathers the common operations for all memory types. */ export class MemoryValue {
-    getTag() {
-        return TaggedMemory.getTag(this);
-    }
-    // To field
-    toFr() {
-        return new Fr(this.toBigInt());
-    }
-    toAztecAddress() {
-        return new AztecAddress(this.toFr());
-    }
-    // To number. Throws if exceeds max safe int.
-    toNumber() {
-        return this.toFr().toNumber();
-    }
-    toString() {
-        return `${this.constructor.name}(0x${this.toBigInt().toString(16)})`;
-    }
-}
-/** IntegralValue gathers the common operations for all integral memory types. */ export class IntegralValue extends MemoryValue {
-}
-/**
- * This function creates a class for unsigned integers of a given number of bits.
- * In TypeScript terms, it's a class mixin.
- **/ function UnsignedIntegerClassFactory(bits) {
-    return class NewUintClass extends IntegralValue {
-        static bits = bits;
-        static mod = 1n << BigInt(bits);
-        static bitmask = this.mod - 1n;
-        n;
-        constructor(n){
-            super();
-            this.n = BigInt(n);
-            assert(n >= 0n, `${this.constructor.name} cannot handle negative values: ${n}.`);
-            assert(n < NewUintClass.mod, `Value ${n} is too large for ${this.constructor.name}.`);
-        }
-        build(n) {
-            return new this.constructor.prototype.constructor(n);
-        }
-        add(rhs) {
-            return this.build(this.n + rhs.n & NewUintClass.bitmask);
-        }
-        sub(rhs) {
-            const res = this.n - rhs.n;
-            return this.build(res >= 0 ? res : res + NewUintClass.mod);
-        }
-        mul(rhs) {
-            return this.build(this.n * rhs.n & NewUintClass.bitmask);
-        }
-        div(rhs) {
-            return this.build(this.n / rhs.n);
-        }
-        // No sign extension.
-        shr(rhs) {
-            // Note that this.n is >= 0 by class invariant.
-            return this.build(this.n >> rhs.n);
-        }
-        shl(rhs) {
-            const shiftAmount = rhs.n;
-            const bitSize = BigInt(NewUintClass.bits);
-            // Shifting by more than the bit size always results in 0
-            if (shiftAmount >= bitSize) {
-                return this.build(0n);
-            }
-            return this.build(this.n << shiftAmount & NewUintClass.bitmask);
-        }
-        and(rhs) {
-            return this.build(this.n & rhs.n);
-        }
-        or(rhs) {
-            return this.build(this.n | rhs.n);
-        }
-        xor(rhs) {
-            return this.build(this.n ^ rhs.n);
-        }
-        not() {
-            return this.build(~this.n & NewUintClass.bitmask);
-        }
-        equals(rhs) {
-            return this.n === rhs.n;
-        }
-        lt(rhs) {
-            return this.n < rhs.n;
-        }
-        toBigInt() {
-            return this.n;
-        }
-        toBuffer() {
-            if (bits < 8) {
-                return toBufferBE(this.n, 1);
-            }
-            return toBufferBE(this.n, bits / 8);
-        }
-    };
-}
-// Now we can create the classes for each unsigned integer type.
-// We extend instead of just assigning so that the class has the right name.
-// Otherwise they are all called "NewUintClass".
-export class Uint1 extends UnsignedIntegerClassFactory(1) {
-}
-export class Uint8 extends UnsignedIntegerClassFactory(8) {
-}
-export class Uint16 extends UnsignedIntegerClassFactory(16) {
-}
-export class Uint32 extends UnsignedIntegerClassFactory(32) {
-}
-export class Uint64 extends UnsignedIntegerClassFactory(64) {
-}
-export class Uint128 extends UnsignedIntegerClassFactory(128) {
-}
-export class Field extends MemoryValue {
-    static MODULUS = Fr.MODULUS;
-    rep;
-    constructor(v){
-        super();
-        this.rep = new Fr(v);
-    }
-    build(n) {
-        return new Field(n);
-    }
-    add(rhs) {
-        return new Field(this.rep.add(rhs.rep));
-    }
-    sub(rhs) {
-        return new Field(this.rep.sub(rhs.rep));
-    }
-    mul(rhs) {
-        return new Field(this.rep.mul(rhs.rep));
-    }
-    // Euclidean division.
-    div(rhs) {
-        return new Field(this.rep.ediv(rhs.rep));
-    }
-    // Field division.
-    fdiv(rhs) {
-        return new Field(this.rep.div(rhs.rep));
-    }
-    equals(rhs) {
-        return this.rep.equals(rhs.rep);
-    }
-    lt(rhs) {
-        return this.rep.lt(rhs.rep);
-    }
-    toBigInt() {
-        return this.rep.toBigInt();
-    }
-    toBuffer() {
-        return this.rep.toBuffer();
-    }
-}
-export var TypeTag = /*#__PURE__*/ function(TypeTag) {
-    TypeTag[TypeTag["FIELD"] = MEM_TAG_FF] = "FIELD";
-    TypeTag[TypeTag["UINT1"] = MEM_TAG_U1] = "UINT1";
-    TypeTag[TypeTag["UINT8"] = MEM_TAG_U8] = "UINT8";
-    TypeTag[TypeTag["UINT16"] = MEM_TAG_U16] = "UINT16";
-    TypeTag[TypeTag["UINT32"] = MEM_TAG_U32] = "UINT32";
-    TypeTag[TypeTag["UINT64"] = MEM_TAG_U64] = "UINT64";
-    TypeTag[TypeTag["UINT128"] = MEM_TAG_U128] = "UINT128";
-    TypeTag[TypeTag["INVALID"] = MEM_TAG_U128 + 1] = "INVALID";
-    return TypeTag;
-}({});
-export class TaggedMemory {
-    static log = createLogger('simulator:avm:memory');
-    // Whether to track and validate memory accesses for each instruction.
-    static TRACK_MEMORY_ACCESSES = process.env.NODE_ENV === 'test';
-    // Memory is modelled by a map with key type being number.
-    // We however restrict the keys to be non-negative integers smaller than
-    // MAX_MEMORY_SIZE.
-    static MAX_MEMORY_SIZE = Number(1n << 32n);
-    _mem;
-    constructor(){
-        this._mem = new Map();
-    }
-    getMaxMemorySize() {
-        return TaggedMemory.MAX_MEMORY_SIZE;
-    }
-    get(offset) {
-        return this.getAs(offset);
-    }
-    getAs(offset) {
-        assert(Number.isInteger(offset) && offset < TaggedMemory.MAX_MEMORY_SIZE);
-        const word = this._mem.get(offset);
-        //TaggedMemory.log.trace(`Memory read: ${offset} -> ${word}`);
-        if (word === undefined) {
-            TaggedMemory.log.debug(`WARNING: Memory at offset ${offset} is undefined!`);
-            return new Field(0);
-        }
-        return word;
-    }
-    getSlice(offset, size) {
-        assert(Number.isInteger(offset) && Number.isInteger(size));
-        if (offset + size > TaggedMemory.MAX_MEMORY_SIZE) {
-            throw new MemorySliceOutOfRangeError(offset, size);
-        }
-        const slice = new Array(size);
-        for(let i = 0; i < size; i++){
-            slice[i] = this._mem.get(offset + i) ?? new Field(0);
-        }
-        TaggedMemory.log.trace(`getSlice(${offset}, ${size}) = ${slice}`);
-        return slice;
-    }
-    getSliceAs(offset, size) {
-        return this.getSlice(offset, size);
-    }
-    getSliceTags(offset, size) {
-        return this.getSlice(offset, size).map(TaggedMemory.getTag);
-    }
-    set(offset, v) {
-        assert(Number.isInteger(offset) && offset < TaggedMemory.MAX_MEMORY_SIZE);
-        this._mem.set(offset, v);
-    //TaggedMemory.log.trace(`Memory write: ${offset} <- ${v}`);
-    }
-    setSlice(offset, slice) {
-        assert(Number.isInteger(offset));
-        if (offset + slice.length > TaggedMemory.MAX_MEMORY_SIZE) {
-            throw new MemorySliceOutOfRangeError(offset, slice.length);
-        }
-        slice.forEach((element, idx)=>{
-            this._mem.set(offset + idx, element);
-        });
-        TaggedMemory.log.trace(`setSlice(${offset}, ${slice})`);
-    }
-    getTag(offset) {
-        assert(Number.isInteger(offset) && offset < TaggedMemory.MAX_MEMORY_SIZE);
-        return TaggedMemory.getTag(this._mem.get(offset));
-    }
-    /**
-   * Check that the memory at the given offset matches the specified tag.
-   */ checkTag(tag, offset) {
-        const gotTag = this.getTag(offset);
-        if (gotTag !== tag) {
-            throw TagCheckError.forOffset(offset, TypeTag[gotTag], TypeTag[tag]);
-        }
-    }
-    static isValidMemoryAddressTag(tag) {
-        return tag === TypeTag.UINT32;
-    }
-    static checkIsIntegralTag(tag) {
-        if (!INTEGRAL_TAGS.has(tag)) {
-            throw TagCheckError.forTag(TypeTag[tag], 'integral');
-        }
-    }
-    static checkIsValidTag(tagNumber) {
-        if (!VALID_TAGS.has(tagNumber)) {
-            throw new InvalidTagValueError(tagNumber);
-        }
-    }
-    /**
-   * Check tags for memory at all of the specified offsets.
-   */ checkTags(tag, ...offsets) {
-        for (const offset of offsets){
-            this.checkTag(tag, offset);
-        }
-    }
-    /**
-   * Check that all tags at the given offsets are the same.
-   */ checkTagsAreSame(offset0, offset1) {
-        const tag0 = this.getTag(offset0);
-        this.checkTag(tag0, offset1);
-    }
-    /**
-   * Check tags for all memory in the specified range.
-   */ checkTagsRange(tag, startOffset, size) {
-        if (startOffset + size > TaggedMemory.MAX_MEMORY_SIZE) {
-            throw new MemorySliceOutOfRangeError(startOffset, size);
-        }
-        for(let offset = startOffset; offset < startOffset + size; offset++){
-            this.checkTag(tag, offset);
-        }
-    }
-    static getTag(v) {
-        if (v === undefined) {
-            return TypeTag.FIELD; // uninitialized memory is Field(0)
-        } else {
-            return TAG_FOR_MEM_VAL.get(v.constructor.name) ?? TypeTag.INVALID;
-        }
-    }
-    // Truncates the value to fit the type.
-    static buildFromTagTruncating(v, tag) {
-        v = BigInt(v);
-        switch(tag){
-            case TypeTag.FIELD:
-                return new Field(v);
-            case TypeTag.UINT1:
-                return new Uint1(v & 1n);
-            case TypeTag.UINT8:
-                return new Uint8(v & (1n << 8n) - 1n);
-            case TypeTag.UINT16:
-                return new Uint16(v & (1n << 16n) - 1n);
-            case TypeTag.UINT32:
-                return new Uint32(v & (1n << 32n) - 1n);
-            case TypeTag.UINT64:
-                return new Uint64(v & (1n << 64n) - 1n);
-            case TypeTag.UINT128:
-                return new Uint128(v & (1n << 128n) - 1n);
-            default:
-                throw new InvalidTagValueError(tag);
-        }
-    }
-}
-const TAG_FOR_MEM_VAL = new Map([
-    [
-        'Field',
-        TypeTag.FIELD
-    ],
-    [
-        'Uint1',
-        TypeTag.UINT1
-    ],
-    [
-        'Uint8',
-        TypeTag.UINT8
-    ],
-    [
-        'Uint16',
-        TypeTag.UINT16
-    ],
-    [
-        'Uint32',
-        TypeTag.UINT32
-    ],
-    [
-        'Uint64',
-        TypeTag.UINT64
-    ],
-    [
-        'Uint128',
-        TypeTag.UINT128
-    ]
-]);
-const VALID_TAGS = new Set([
-    TypeTag.FIELD,
-    TypeTag.UINT1,
-    TypeTag.UINT8,
-    TypeTag.UINT16,
-    TypeTag.UINT32,
-    TypeTag.UINT64,
-    TypeTag.UINT128
-]);
-const INTEGRAL_TAGS = new Set([
-    TypeTag.UINT1,
-    TypeTag.UINT8,
-    TypeTag.UINT16,
-    TypeTag.UINT32,
-    TypeTag.UINT64,
-    TypeTag.UINT128
-]);

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

@@ -1,41 +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';
-import type { PublicPersistableStateManager } from '../state_manager/state_manager.js';
-import { AvmContext } from './avm_context.js';
-import { AvmContractCallResult } from './avm_contract_call_result.js';
-import type { Gas } from './avm_gas.js';
-import type { AvmSimulatorInterface } from './avm_simulator_interface.js';
-import { type CallData } from './calldata.js';
-import { type InstructionSet } from './serialization/bytecode_serialization.js';
-export declare class AvmSimulator implements AvmSimulatorInterface {
-    private context;
-    private instructionSet;
-    private log;
-    private bytecode;
-    private opcodeTallies;
-    private deserializedInstructionsCache;
-    private tallyPrintFunction;
-    private tallyInstructionFunction;
-    constructor(context: AvmContext, instructionSet?: InstructionSet, enableTallying?: boolean);
-    static build(context: AvmContext): Promise<AvmSimulator>;
-    static create(stateManager: PublicPersistableStateManager, address: AztecAddress, sender: AztecAddress, transactionFee: Fr, globals: GlobalVariables, isStaticCall: boolean, calldata: CallData, allocatedGas: Gas, config: PublicSimulatorConfig): 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=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX3NpbXVsYXRvci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3B1YmxpYy9hdm0vYXZtX3NpbXVsYXRvci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFHcEQsT0FBTyxLQUFLLEVBQUUscUJBQXFCLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUMvRCxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUNoRSxPQUFPLEtBQUssRUFBRSxlQUFlLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUt4RCxPQUFPLEtBQUssRUFBRSw2QkFBNkIsRUFBRSxNQUFNLG1DQUFtQyxDQUFDO0FBQ3ZGLE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUM5QyxPQUFPLEVBQUUscUJBQXFCLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUV0RSxPQUFPLEtBQUssRUFBRSxHQUFHLEVBQUUsTUFBTSxjQUFjLENBQUM7QUFFeEMsT0FBTyxLQUFLLEVBQUUscUJBQXFCLEVBQUUsTUFBTSw4QkFBOEIsQ0FBQztBQUMxRSxPQUFPLEVBQUUsS0FBSyxRQUFRLEVBQW1CLE1BQU0sZUFBZSxDQUFDO0FBSS9ELE9BQU8sRUFFTCxLQUFLLGNBQWMsRUFFcEIsTUFBTSwyQ0FBMkMsQ0FBQztBQU9uRCxxQkFBYSxZQUFhLFlBQVcscUJBQXFCO0lBYXRELE9BQU8sQ0FBQyxPQUFPO0lBQ2YsT0FBTyxDQUFDLGNBQWM7SUFieEIsT0FBTyxDQUFDLEdBQUcsQ0FBUztJQUNwQixPQUFPLENBQUMsUUFBUSxDQUFxQjtJQUNyQyxPQUFPLENBQUMsYUFBYSxDQUF1QztJQUU1RCxPQUFPLENBQUMsNkJBQTZCLENBQWlEO0lBRXRGLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBWTtJQUN0QyxPQUFPLENBQUMsd0JBQXdCLENBQStCO0lBSS9ELFlBQ1UsT0FBTyxFQUFFLFVBQVUsRUFDbkIsY0FBYyxHQUFFLGNBQWdDLEVBQ3hELGNBQWMsVUFBUSxFQVd2QjtJQUlELE9BQW9CLEtBQUssQ0FBQyxPQUFPLEVBQUUsVUFBVSxHQUFHLE9BQU8sQ0FBQyxZQUFZLENBQUMsQ0FNcEU7SUFFRCxPQUFvQixNQUFNLENBQ3hCLFlBQVksRUFBRSw2QkFBNkIsRUFDM0MsT0FBTyxFQUFFLFlBQVksRUFDckIsTUFBTSxFQUFFLFlBQVksRUFDcEIsY0FBYyxFQUFFLEVBQUUsRUFDbEIsT0FBTyxFQUFFLGVBQWUsRUFDeEIsWUFBWSxFQUFFLE9BQU8sRUFDckIsUUFBUSxFQUFFLFFBQVEsRUFDbEIsWUFBWSxFQUFFLEdBQUcsRUFDakIsTUFBTSxFQUFFLHFCQUFxQix5QkFnQjlCO0lBRUQ7O09BRUc7SUFDVSxPQUFPLElBQUksT0FBTyxDQUFDLHFCQUFxQixDQUFDLENBWXJEO0lBRUQ7O09BRUc7SUFDSSxXQUFXLElBQUksTUFBTSxHQUFHLFNBQVMsQ0FFdkM7SUFFRDs7O09BR0c7SUFDVSxlQUFlLENBQUMsUUFBUSxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMscUJBQXFCLENBQUMsQ0ErRzdFO1lBRWEsK0JBQStCO0lBdUI3QyxPQUFPLENBQUMsZ0JBQWdCO0lBUXhCLE9BQU8sQ0FBQyxrQkFBa0I7Q0FTM0IifQ==

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

@@ -1 +0,0 @@
-{"version":3,"file":"avm_simulator.d.ts","sourceRoot":"","sources":["../../../src/public/avm/avm_simulator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAGpD,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;AAKxD,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAC;AACvF,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAEtE,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,cAAc,CAAC;AAExC,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,EAAE,KAAK,QAAQ,EAAmB,MAAM,eAAe,CAAC;AAI/D,OAAO,EAEL,KAAK,cAAc,EAEpB,MAAM,2CAA2C,CAAC;AAOnD,qBAAa,YAAa,YAAW,qBAAqB;IAatD,OAAO,CAAC,OAAO;IACf,OAAO,CAAC,cAAc;IAbxB,OAAO,CAAC,GAAG,CAAS;IACpB,OAAO,CAAC,QAAQ,CAAqB;IACrC,OAAO,CAAC,aAAa,CAAuC;IAE5D,OAAO,CAAC,6BAA6B,CAAiD;IAEtF,OAAO,CAAC,kBAAkB,CAAY;IACtC,OAAO,CAAC,wBAAwB,CAA+B;IAI/D,YACU,OAAO,EAAE,UAAU,EACnB,cAAc,GAAE,cAAgC,EACxD,cAAc,UAAQ,EAWvB;IAID,OAAoB,KAAK,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,YAAY,CAAC,CAMpE;IAED,OAAoB,MAAM,CACxB,YAAY,EAAE,6BAA6B,EAC3C,OAAO,EAAE,YAAY,EACrB,MAAM,EAAE,YAAY,EACpB,cAAc,EAAE,EAAE,EAClB,OAAO,EAAE,eAAe,EACxB,YAAY,EAAE,OAAO,EACrB,QAAQ,EAAE,QAAQ,EAClB,YAAY,EAAE,GAAG,EACjB,MAAM,EAAE,qBAAqB,yBAgB9B;IAED;;OAEG;IACU,OAAO,IAAI,OAAO,CAAC,qBAAqB,CAAC,CAYrD;IAED;;OAEG;IACI,WAAW,IAAI,MAAM,GAAG,SAAS,CAEvC;IAED;;;OAGG;IACU,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,qBAAqB,CAAC,CA+G7E;YAEa,+BAA+B;IAuB7C,OAAO,CAAC,gBAAgB;IAQxB,OAAO,CAAC,kBAAkB;CAS3B"}

package/dest/public/avm/avm_simulator.js

@@ -1,192 +0,0 @@
-import { Fr } from '@aztec/foundation/curves/bn254';
-import { createLogger } from '@aztec/foundation/log';
-import { Timer } from '@aztec/foundation/timer';
-import { strict as assert } from 'assert';
-import { CheckedPublicExecutionError } from '../public_errors.js';
-import { AvmContext } from './avm_context.js';
-import { AvmContractCallResult } from './avm_contract_call_result.js';
-import { AvmExecutionEnvironment } from './avm_execution_environment.js';
-import { AvmMachineState } from './avm_machine_state.js';
-import { ReturnDataArray } from './calldata.js';
-import { AvmRevertReason, InvalidProgramCounterError } from './errors.js';
-import { revertReasonFromExceptionalHalt, revertReasonFromExplicitRevert } from './revert_reason.js';
-import { INSTRUCTION_SET, decodeInstructionFromBytecode } from './serialization/bytecode_serialization.js';
-export class AvmSimulator {
-    context;
-    instructionSet;
-    log;
-    bytecode;
-    opcodeTallies;
-    // maps pc to [instr, bytesRead]
-    deserializedInstructionsCache;
-    tallyPrintFunction;
-    tallyInstructionFunction;
-    // Test Purposes only: Logger will not have the proper function name. Use this constructor for testing purposes
-    // only. Otherwise, use build() below.
-    constructor(context, instructionSet = INSTRUCTION_SET, enableTallying = false){
-        this.context = context;
-        this.instructionSet = instructionSet;
-        this.opcodeTallies = new Map();
-        this.deserializedInstructionsCache = new Map();
-        this.tallyPrintFunction = ()=>{};
-        this.tallyInstructionFunction = (_b, _c)=>{};
-        // This will be used by the CALL opcode to create a new simulator. It is required to
-        // avoid a dependency cycle.
-        context.provideSimulator = AvmSimulator.build;
-        this.log = createLogger(`simulator:avm(calldata[0]: ${context.environment.calldata.read(0)})`);
-        // Turn on tallying if explicitly enabled or if trace logging
-        if (enableTallying || this.log.isLevelEnabled('trace')) {
-            this.tallyPrintFunction = this.printOpcodeTallies;
-            this.tallyInstructionFunction = this.tallyInstruction;
-        }
-    }
-    // Factory to have a proper function name in the logger. Retrieving the name is asynchronous and
-    // cannot be done as part of the constructor.
-    static async build(context) {
-        const simulator = new AvmSimulator(context);
-        const fnName = await context.persistableState.getPublicFunctionDebugName(context.environment);
-        simulator.log = createLogger(`simulator:avm(f:${fnName.slice(0, 128)})`);
-        return simulator;
-    }
-    static async create(stateManager, address, sender, transactionFee, globals, isStaticCall, calldata, allocatedGas, config) {
-        const avmExecutionEnv = new AvmExecutionEnvironment(address, sender, /*contractCallDepth=*/ Fr.zero(), transactionFee, globals, isStaticCall, calldata, config);
-        const avmMachineState = new AvmMachineState(allocatedGas);
-        const avmContext = new AvmContext(stateManager, avmExecutionEnv, avmMachineState);
-        return await AvmSimulator.build(avmContext);
-    }
-    /**
-   * Fetch the bytecode and execute it in the current context.
-   */ async execute() {
-        const bytecode = await this.context.persistableState.getBytecode(this.context.environment.address);
-        // getBytecode returns undefined if bytecode is not found or if the limit of contract calls to unique class IDs is reached.
-        // If it throws an error that reaches this point, it is a bug.
-        if (!bytecode) {
-            return await this.handleFailureToRetrieveBytecode(`No bytecode found. Contract is not deployed, or limit encountered for max calls to unique contract class IDs. Contract address: ${this.context.environment.address}. Reverting...`);
-        }
-        return await this.executeBytecode(bytecode);
-    }
-    /**
-   * Return the bytecode used for execution, if any.
-   */ getBytecode() {
-        return this.bytecode;
-    }
-    /**
-   * Executes the provided bytecode in the current context.
-   * This method is useful for testing and debugging.
-   */ async executeBytecode(bytecode) {
-        const timer = new Timer();
-        assert(bytecode.length > 0, "AVM simulator can't execute empty bytecode");
-        this.bytecode = bytecode;
-        let instructionName = 'NONE'; // This is used for logging purposes
-        const { machineState } = this.context;
-        const callStartGas = machineState.gasLeft; // Save gas before executing instruction (for profiling)
-        try {
-            // Execute instruction pointed to by the current program counter
-            // continuing until the machine state signifies a halt
-            while(!machineState.getHalted()){
-                // Get the instruction from cache, or deserialize for the first time
-                let cachedInstruction = this.deserializedInstructionsCache.get(machineState.pc);
-                if (cachedInstruction === undefined) {
-                    cachedInstruction = decodeInstructionFromBytecode(bytecode, machineState.pc, this.instructionSet);
-                    this.deserializedInstructionsCache.set(machineState.pc, cachedInstruction);
-                }
-                const [instruction, bytesRead] = cachedInstruction;
-                const instrStartGas = machineState.gasLeft; // Save gas before executing instruction (for profiling)
-                if (this.log.isLevelEnabled('trace')) {
-                    // Skip this entirely to avoid toStringing etc if trace is not enabled
-                    this.log.trace(`[PC:${machineState.pc}] [IC:${machineState.instrCounter}] ${instruction.toString()} (gasLeft l2=${machineState.l2GasLeft} da=${machineState.daGasLeft})`);
-                }
-                machineState.nextPc = machineState.pc + bytesRead;
-                instructionName = instruction.constructor.name;
-                // Execute the instruction.
-                // Normal returns and reverts will return normally here.
-                // "Exceptional halts" will throw.
-                await instruction.execute(this.context);
-                if (!instruction.handlesPC()) {
-                    // Increment PC if the instruction doesn't handle it itself
-                    machineState.pc += bytesRead;
-                }
-                machineState.instrCounter++;
-                // gas used by this instruction - used for profiling/tallying
-                const gasUsed = {
-                    l2Gas: instrStartGas.l2Gas - machineState.l2GasLeft,
-                    daGas: instrStartGas.daGas - machineState.daGasLeft
-                };
-                this.tallyInstructionFunction(instruction.constructor.name, gasUsed);
-                if (machineState.pc >= bytecode.length) {
-                    this.log.warn('Passed end of program');
-                    throw new InvalidProgramCounterError(machineState.pc, /*max=*/ bytecode.length - 1);
-                }
-            }
-            const output = machineState.getOutput();
-            const reverted = machineState.getReverted();
-            const revertReason = reverted ? await revertReasonFromExplicitRevert(output.bestEffortReadAll(), this.context) : undefined;
-            const results = new AvmContractCallResult(reverted, output, machineState.gasLeft, revertReason, machineState.instrCounter);
-            this.log.debug(`Context execution results: ${results.toString()}`);
-            const totalGasUsed = {
-                l2Gas: callStartGas.l2Gas - machineState.l2GasLeft,
-                daGas: callStartGas.daGas - machineState.daGasLeft
-            };
-            this.log.debug(`Executed ${machineState.instrCounter} instructions and consumed ${totalGasUsed.l2Gas} L2 Gas`);
-            this.tallyPrintFunction();
-            this.log.debug(`Core AVM simulation took ${timer.ms()}ms`);
-            // Return results for processing by calling context
-            return results;
-        } catch (err) {
-            this.log.info(`Exceptional halt (revert by something other than REVERT opcode) for instruction
-         ${instructionName} at pc ${machineState.pc} and instruction counter ${machineState.instrCounter}`);
-            if (!(err instanceof CheckedPublicExecutionError)) {
-                this.log.error(`Unchecked/unknown error thrown by AVM. This is a bug. Error: ${err}`);
-                throw err;
-            }
-            const revertReason = await revertReasonFromExceptionalHalt(err, this.context);
-            // Exceptional halts consume all allocated gas
-            const noGasLeft = {
-                l2Gas: 0,
-                daGas: 0
-            };
-            // Note: "exceptional halts" cannot return data, hence [].
-            const results = new AvmContractCallResult(/*reverted=*/ true, /*output=*/ new ReturnDataArray([]), noGasLeft, revertReason, machineState.instrCounter);
-            this.log.debug(`Context execution results: ${results.toString()}`);
-            this.tallyPrintFunction();
-            // Return results for processing by calling context
-            return results;
-        }
-    }
-    async handleFailureToRetrieveBytecode(message) {
-        // revert, consuming all gas
-        const { functionSelector, functionName } = await this.context.persistableState.getPublicFunctionSelectorAndName(this.context.environment);
-        const revertReason = new AvmRevertReason(message, /*failingFunction=*/ {
-            contractAddress: this.context.environment.address,
-            functionSelector,
-            functionName
-        }, /*noirCallStack=*/ []);
-        this.log.warn(message);
-        return new AvmContractCallResult(/*reverted=*/ true, /*output=*/ new ReturnDataArray([]), /*gasLeft=*/ {
-            l2Gas: 0,
-            daGas: 0
-        }, revertReason);
-    }
-    tallyInstruction(opcode, gasUsed) {
-        const opcodeTally = this.opcodeTallies.get(opcode) || {
-            count: 0,
-            gas: {
-                l2Gas: 0,
-                daGas: 0
-            }
-        };
-        opcodeTally.count++;
-        opcodeTally.gas.l2Gas += gasUsed.l2Gas;
-        opcodeTally.gas.daGas += gasUsed.daGas;
-        this.opcodeTallies.set(opcode, opcodeTally);
-    }
-    printOpcodeTallies() {
-        this.log.debug(`Printing tallies per opcode sorted by gas...`);
-        // sort descending by L2 gas consumed
-        const sortedOpcodes = Array.from(this.opcodeTallies.entries()).sort((a, b)=>b[1].gas.l2Gas - a[1].gas.l2Gas);
-        for (const [opcode, tally] of sortedOpcodes){
-            // NOTE: don't care to clutter the logs with DA gas for now
-            this.log.debug(`${opcode} executed ${tally.count} times consuming a total of ${tally.gas.l2Gas} L2 gas`);
-        }
-    }
-}

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

@@ -1,9 +0,0 @@
-/**
- * Interface for AvmSimulator to break the circular dependency between avm_context.ts and avm_simulator.ts
- */
-export interface AvmSimulatorInterface {
-    execute(): Promise<any>;
-    executeBytecode(bytecode: Buffer): Promise<any>;
-    getBytecode(): Buffer | undefined;
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX3NpbXVsYXRvcl9pbnRlcmZhY2UuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9wdWJsaWMvYXZtL2F2bV9zaW11bGF0b3JfaW50ZXJmYWNlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBOztHQUVHO0FBQ0gsTUFBTSxXQUFXLHFCQUFxQjtJQUNwQyxPQUFPLElBQUksT0FBTyxDQUFDLEdBQUcsQ0FBQyxDQUFDO0lBQ3hCLGVBQWUsQ0FBQyxRQUFRLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxHQUFHLENBQUMsQ0FBQztJQUNoRCxXQUFXLElBQUksTUFBTSxHQUFHLFNBQVMsQ0FBQztDQUNuQyJ9

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

@@ -1 +0,0 @@
-{"version":3,"file":"avm_simulator_interface.d.ts","sourceRoot":"","sources":["../../../src/public/avm/avm_simulator_interface.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,OAAO,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC;IACxB,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IAChD,WAAW,IAAI,MAAM,GAAG,SAAS,CAAC;CACnC"}

package/dest/public/avm/avm_simulator_interface.js

@@ -1,3 +0,0 @@
-/**
- * Interface for AvmSimulator to break the circular dependency between avm_context.ts and avm_simulator.ts
- */ export { };

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

@@ -1,51 +0,0 @@
-import type { Fr } from '@aztec/foundation/schemas';
-import { TaggedMemory } from './avm_memory_types.js';
-export interface LazyReader {
-    bestEffortReadAll(readCap?: number): Fr[];
-    readAll(): Fr[];
-    read(idx: number): Fr | undefined;
-    slice(start: number, end: number): Fr[];
-    length(): number;
-}
-export declare class LazyReaderMemory implements LazyReader {
-    private memory;
-    private offset;
-    private size;
-    constructor(memory: TaggedMemory, offset: number, size: number);
-    bestEffortReadAll(readCap?: number): Fr[];
-    read(idx: number): Fr | undefined;
-    slice(start: number, end: number): Fr[];
-    readAll(): Fr[];
-    length(): number;
-}
-export declare class LazyReaderArray implements LazyReader {
-    private array;
-    constructor(array: Fr[]);
-    bestEffortReadAll(readCap?: number): Fr[];
-    read(idx: number): Fr | undefined;
-    slice(start: number, end: number): Fr[];
-    readAll(): Fr[];
-    length(): number;
-}
-declare const CallDataBrand: unique symbol;
-declare const ReturnDataBrand: unique symbol;
-export type CallData = LazyReader & {
-    readonly [CallDataBrand]: true;
-};
-export type ReturnData = LazyReader & {
-    readonly [ReturnDataBrand]: true;
-};
-export declare class CallDataArray extends LazyReaderArray implements CallData {
-    readonly [CallDataBrand]: true;
-}
-export declare class CallDataMemory extends LazyReaderMemory implements CallData {
-    readonly [CallDataBrand]: true;
-}
-export declare class ReturnDataArray extends LazyReaderArray implements ReturnData {
-    readonly [ReturnDataBrand]: true;
-}
-export declare class ReturnDataMemory extends LazyReaderMemory implements ReturnData {
-    readonly [ReturnDataBrand]: true;
-}
-export {};
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2FsbGRhdGEuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9wdWJsaWMvYXZtL2NhbGxkYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBRXBELE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUtyRCxNQUFNLFdBQVcsVUFBVTtJQUN6QixpQkFBaUIsQ0FBQyxPQUFPLENBQUMsRUFBRSxNQUFNLEdBQUcsRUFBRSxFQUFFLENBQUM7SUFDMUMsT0FBTyxJQUFJLEVBQUUsRUFBRSxDQUFDO0lBQ2hCLElBQUksQ0FBQyxHQUFHLEVBQUUsTUFBTSxHQUFHLEVBQUUsR0FBRyxTQUFTLENBQUM7SUFDbEMsS0FBSyxDQUFDLEtBQUssRUFBRSxNQUFNLEVBQUUsR0FBRyxFQUFFLE1BQU0sR0FBRyxFQUFFLEVBQUUsQ0FBQztJQUN4QyxNQUFNLElBQUksTUFBTSxDQUFDO0NBQ2xCO0FBRUQscUJBQWEsZ0JBQWlCLFlBQVcsVUFBVTtJQUUvQyxPQUFPLENBQUMsTUFBTTtJQUNkLE9BQU8sQ0FBQyxNQUFNO0lBQ2QsT0FBTyxDQUFDLElBQUk7SUFIZCxZQUNVLE1BQU0sRUFBRSxZQUFZLEVBQ3BCLE1BQU0sRUFBRSxNQUFNLEVBQ2QsSUFBSSxFQUFFLE1BQU0sRUFDbEI7SUFFRyxpQkFBaUIsQ0FBQyxPQUFPLFNBQStCLEdBQUcsRUFBRSxFQUFFLENBR3JFO0lBRU0sSUFBSSxDQUFDLEdBQUcsRUFBRSxNQUFNLEdBQUcsRUFBRSxHQUFHLFNBQVMsQ0FLdkM7SUFFTSxLQUFLLENBQUMsS0FBSyxFQUFFLE1BQU0sRUFBRSxHQUFHLEVBQUUsTUFBTSxHQUFHLEVBQUUsRUFBRSxDQUk3QztJQUVNLE9BQU8sSUFBSSxFQUFFLEVBQUUsQ0FHckI7SUFFTSxNQUFNLElBQUksTUFBTSxDQUV0QjtDQUNGO0FBRUQscUJBQWEsZUFBZ0IsWUFBVyxVQUFVO0lBQ3BDLE9BQU8sQ0FBQyxLQUFLO0lBQXpCLFlBQW9CLEtBQUssRUFBRSxFQUFFLEVBQUUsRUFBSTtJQUU1QixpQkFBaUIsQ0FBQyxPQUFPLFNBQStCLEdBQUcsRUFBRSxFQUFFLENBRXJFO0lBRU0sSUFBSSxDQUFDLEdBQUcsRUFBRSxNQUFNLEdBQUcsRUFBRSxHQUFHLFNBQVMsQ0FFdkM7SUFFTSxLQUFLLENBQUMsS0FBSyxFQUFFLE1BQU0sRUFBRSxHQUFHLEVBQUUsTUFBTSxHQUFHLEVBQUUsRUFBRSxDQUU3QztJQUVNLE9BQU8sSUFBSSxFQUFFLEVBQUUsQ0FFckI7SUFFTSxNQUFNLElBQUksTUFBTSxDQUV0QjtDQUNGO0FBR0QsT0FBTyxDQUFDLE1BQU0sYUFBYSxFQUFFLE9BQU8sTUFBTSxDQUFDO0FBQzNDLE9BQU8sQ0FBQyxNQUFNLGVBQWUsRUFBRSxPQUFPLE1BQU0sQ0FBQztBQUU3QyxNQUFNLE1BQU0sUUFBUSxHQUFHLFVBQVUsR0FBRztJQUNsQyxRQUFRLENBQUMsQ0FBQyxhQUFhLENBQUMsRUFBRSxJQUFJLENBQUM7Q0FDaEMsQ0FBQztBQUVGLE1BQU0sTUFBTSxVQUFVLEdBQUcsVUFBVSxHQUFHO0lBQ3BDLFFBQVEsQ0FBQyxDQUFDLGVBQWUsQ0FBQyxFQUFFLElBQUksQ0FBQztDQUNsQyxDQUFDO0FBRUYscUJBQWEsYUFBYyxTQUFRLGVBQWdCLFlBQVcsUUFBUTtJQUNwRSxTQUFpQixDQUFDLGFBQWEsQ0FBQyxFQUFFLElBQUksQ0FBQztDQUN4QztBQUVELHFCQUFhLGNBQWUsU0FBUSxnQkFBaUIsWUFBVyxRQUFRO0lBQ3RFLFNBQWlCLENBQUMsYUFBYSxDQUFDLEVBQUUsSUFBSSxDQUFDO0NBQ3hDO0FBRUQscUJBQWEsZUFBZ0IsU0FBUSxlQUFnQixZQUFXLFVBQVU7SUFDeEUsU0FBaUIsQ0FBQyxlQUFlLENBQUMsRUFBRSxJQUFJLENBQUM7Q0FDMUM7QUFFRCxxQkFBYSxnQkFBaUIsU0FBUSxnQkFBaUIsWUFBVyxVQUFVO0lBQzFFLFNBQWlCLENBQUMsZUFBZSxDQUFDLEVBQUUsSUFBSSxDQUFDO0NBQzFDIn0=

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

@@ -1 +0,0 @@
-{"version":3,"file":"calldata.d.ts","sourceRoot":"","sources":["../../../src/public/avm/calldata.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,2BAA2B,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAKrD,MAAM,WAAW,UAAU;IACzB,iBAAiB,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,EAAE,EAAE,CAAC;IAC1C,OAAO,IAAI,EAAE,EAAE,CAAC;IAChB,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,EAAE,GAAG,SAAS,CAAC;IAClC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,EAAE,EAAE,CAAC;IACxC,MAAM,IAAI,MAAM,CAAC;CAClB;AAED,qBAAa,gBAAiB,YAAW,UAAU;IAE/C,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,IAAI;IAHd,YACU,MAAM,EAAE,YAAY,EACpB,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EAClB;IAEG,iBAAiB,CAAC,OAAO,SAA+B,GAAG,EAAE,EAAE,CAGrE;IAEM,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,EAAE,GAAG,SAAS,CAKvC;IAEM,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,EAAE,EAAE,CAI7C;IAEM,OAAO,IAAI,EAAE,EAAE,CAGrB;IAEM,MAAM,IAAI,MAAM,CAEtB;CACF;AAED,qBAAa,eAAgB,YAAW,UAAU;IACpC,OAAO,CAAC,KAAK;IAAzB,YAAoB,KAAK,EAAE,EAAE,EAAE,EAAI;IAE5B,iBAAiB,CAAC,OAAO,SAA+B,GAAG,EAAE,EAAE,CAErE;IAEM,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,EAAE,GAAG,SAAS,CAEvC;IAEM,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,EAAE,EAAE,CAE7C;IAEM,OAAO,IAAI,EAAE,EAAE,CAErB;IAEM,MAAM,IAAI,MAAM,CAEtB;CACF;AAGD,OAAO,CAAC,MAAM,aAAa,EAAE,OAAO,MAAM,CAAC;AAC3C,OAAO,CAAC,MAAM,eAAe,EAAE,OAAO,MAAM,CAAC;AAE7C,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG;IAClC,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG;IACpC,QAAQ,CAAC,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC;CAClC,CAAC;AAEF,qBAAa,aAAc,SAAQ,eAAgB,YAAW,QAAQ;IACpE,SAAiB,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC;CACxC;AAED,qBAAa,cAAe,SAAQ,gBAAiB,YAAW,QAAQ;IACtE,SAAiB,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC;CACxC;AAED,qBAAa,eAAgB,SAAQ,eAAgB,YAAW,UAAU;IACxE,SAAiB,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC;CAC1C;AAED,qBAAa,gBAAiB,SAAQ,gBAAiB,YAAW,UAAU;IAC1E,SAAiB,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC;CAC1C"}