@aztec/simulator 0.0.1-commit.b655e406 → 0.0.1-commit.b9865e97

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

@@ -1,98 +0,0 @@
-import type { Point } from '@aztec/foundation/fields';
-import type { FailingFunction, NoirCallStack } from '@aztec/stdlib/errors';
-import { ExecutionError } from '../../common/errors.js';
-import { CheckedPublicExecutionError } from '../public_errors.js';
-/**
- * Avm-specific errors should derive from this
- */
-export declare abstract class AvmExecutionError extends CheckedPublicExecutionError {
-    constructor(message: string);
-}
-export declare class ArithmeticError extends AvmExecutionError {
-    constructor(message: string);
-}
-/**
- * Error is thrown when the program counter goes to an invalid location.
- * There is no instruction at the provided pc
- */
-export declare class InvalidProgramCounterError extends AvmExecutionError {
-    constructor(pc: number, max: number);
-}
-/**
- * Error is thrown when the program counter points to a byte
- * of an invalid opcode.
- */
-export declare class InvalidOpcodeError extends AvmExecutionError {
-    constructor(str: string);
-}
-/**
- * Error is thrown during parsing.
- */
-export declare class AvmParsingError extends AvmExecutionError {
-    constructor(str: string);
-}
-/**
- * Error is thrown when the tag has an invalid value.
- */
-export declare class InvalidTagValueError extends AvmExecutionError {
-    constructor(tagValue: number);
-}
-/**
- * Error thrown during an instruction's execution (during its execute()).
- */
-export declare class InstructionExecutionError extends AvmExecutionError {
-    constructor(message: string);
-}
-/**
- * Error thrown on failed AVM memory tag check.
- */
-export declare class TagCheckError extends AvmExecutionError {
-    static forOffset(offset: number, gotTag: string, expectedTag: string): TagCheckError;
-    static forTag(gotTag: string, expectedTag: string): TagCheckError;
-    constructor(message: string);
-}
-/**
- * Error is thrown when a relative memory address resolved to an offset which
- * is out of range, i.e, greater than maxUint32.
- */
-export declare class RelativeAddressOutOfRangeError extends AvmExecutionError {
-    constructor(baseAddr: number, relOffset: number);
-}
-/**
- * Error is thrown when a memory slice contains addresses which are
- * out of range, i.e, greater than maxUint32.
- */
-export declare class MemorySliceOutOfRangeError extends AvmExecutionError {
-    constructor(baseAddr: number, size: number);
-}
-/** Error thrown when out of gas. */
-export declare class OutOfGasError extends AvmExecutionError {
-    constructor(dimensions: string[]);
-}
-/**
- * Error is thrown when one of the supplied points does not lie on the Grumpkin curve. Specific for ECADD opcode.
- */
-export declare class EcAddPointNotOnCurveError extends AvmExecutionError {
-    constructor(pointIndex: number, point: Point);
-}
-/**
- * Error is thrown when some inputs of ToRadixBE are not valid.
- */
-export declare class InvalidToRadixInputsError extends AvmExecutionError {
-    constructor(errorString: string);
-}
-/**
- * Error is thrown when a static call attempts to alter some state
- */
-export declare class StaticCallAlterationError extends InstructionExecutionError {
-    constructor();
-}
-/**
- * Meaningfully named alias for ExecutionError when used in the context of the AVM.
- * Maintains a recursive structure reflecting the AVM's external callstack/errorstack, where
- * options.cause is the error that caused this error (if this is not the root-cause itself).
- */
-export declare class AvmRevertReason extends ExecutionError {
-    constructor(message: string, failingFunction: FailingFunction, noirCallStack: NoirCallStack, options?: ErrorOptions);
-}
-//# sourceMappingURL=errors.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../../src/public/avm/errors.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,KAAK,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE3E,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,2BAA2B,EAAE,MAAM,qBAAqB,CAAC;AAElE;;GAEG;AACH,8BAAsB,iBAAkB,SAAQ,2BAA2B;gBAC7D,OAAO,EAAE,MAAM;CAI5B;AAED,qBAAa,eAAgB,SAAQ,iBAAiB;gBACxC,OAAO,EAAE,MAAM;CAI5B;AAED;;;GAGG;AACH,qBAAa,0BAA2B,SAAQ,iBAAiB;gBACnD,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM;CAIpC;AAED;;;GAGG;AACH,qBAAa,kBAAmB,SAAQ,iBAAiB;gBAC3C,GAAG,EAAE,MAAM;CAIxB;AAED;;GAEG;AACH,qBAAa,eAAgB,SAAQ,iBAAiB;gBACxC,GAAG,EAAE,MAAM;CAIxB;AAED;;GAEG;AACH,qBAAa,oBAAqB,SAAQ,iBAAiB;gBAC7C,QAAQ,EAAE,MAAM;CAI7B;AAED;;GAEG;AACH,qBAAa,yBAA0B,SAAQ,iBAAiB;gBAClD,OAAO,EAAE,MAAM;CAI5B;AAED;;GAEG;AACH,qBAAa,aAAc,SAAQ,iBAAiB;WACpC,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,aAAa;WAI7E,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,aAAa;gBAI5D,OAAO,EAAE,MAAM;CAI5B;AAED;;;GAGG;AACH,qBAAa,8BAA+B,SAAQ,iBAAiB;gBACvD,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM;CAIhD;AAED;;;GAGG;AACH,qBAAa,0BAA2B,SAAQ,iBAAiB;gBACnD,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM;CAI3C;AAED,oCAAoC;AACpC,qBAAa,aAAc,SAAQ,iBAAiB;gBACtC,UAAU,EAAE,MAAM,EAAE;CAIjC;AAED;;GAEG;AACH,qBAAa,yBAA0B,SAAQ,iBAAiB;gBAClD,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK;CAI7C;AAED;;GAEG;AACH,qBAAa,yBAA0B,SAAQ,iBAAiB;gBAClD,WAAW,EAAE,MAAM;CAIhC;AAED;;GAEG;AACH,qBAAa,yBAA0B,SAAQ,yBAAyB;;CAKvE;AAED;;;;GAIG;AACH,qBAAa,eAAgB,SAAQ,cAAc;gBACrC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,eAAe,EAAE,aAAa,EAAE,aAAa,EAAE,OAAO,CAAC,EAAE,YAAY;CAGpH"}

package/dest/public/avm/errors.js

@@ -1,129 +0,0 @@
-import { ExecutionError } from '../../common/errors.js';
-import { CheckedPublicExecutionError } from '../public_errors.js';
-/**
- * Avm-specific errors should derive from this
- */ export class AvmExecutionError extends CheckedPublicExecutionError {
-    constructor(message){
-        super(message);
-        this.name = 'AvmExecutionError';
-    }
-}
-export class ArithmeticError extends AvmExecutionError {
-    constructor(message){
-        super(message);
-        this.name = 'ArithmeticError';
-    }
-}
-/**
- * Error is thrown when the program counter goes to an invalid location.
- * There is no instruction at the provided pc
- */ export class InvalidProgramCounterError extends AvmExecutionError {
-    constructor(pc, max){
-        super(`Invalid program counter ${pc}, max is ${max}`);
-        this.name = 'InvalidProgramCounterError';
-    }
-}
-/**
- * Error is thrown when the program counter points to a byte
- * of an invalid opcode.
- */ export class InvalidOpcodeError extends AvmExecutionError {
-    constructor(str){
-        super(str);
-        this.name = 'InvalidOpcodeError';
-    }
-}
-/**
- * Error is thrown during parsing.
- */ export class AvmParsingError extends AvmExecutionError {
-    constructor(str){
-        super(str);
-        this.name = 'AvmParsingError';
-    }
-}
-/**
- * Error is thrown when the tag has an invalid value.
- */ export class InvalidTagValueError extends AvmExecutionError {
-    constructor(tagValue){
-        super(`Tag value ${tagValue} is invalid.`);
-        this.name = 'InvalidTagValueError';
-    }
-}
-/**
- * Error thrown during an instruction's execution (during its execute()).
- */ export class InstructionExecutionError extends AvmExecutionError {
-    constructor(message){
-        super(message);
-        this.name = 'InstructionExecutionError';
-    }
-}
-/**
- * Error thrown on failed AVM memory tag check.
- */ export class TagCheckError extends AvmExecutionError {
-    static forOffset(offset, gotTag, expectedTag) {
-        return new TagCheckError(`Tag mismatch at offset ${offset}, got ${gotTag}, expected ${expectedTag}`);
-    }
-    static forTag(gotTag, expectedTag) {
-        return new TagCheckError(`Tag mismatch, got ${gotTag}, expected ${expectedTag}`);
-    }
-    constructor(message){
-        super(message);
-        this.name = 'TagCheckError';
-    }
-}
-/**
- * Error is thrown when a relative memory address resolved to an offset which
- * is out of range, i.e, greater than maxUint32.
- */ export class RelativeAddressOutOfRangeError extends AvmExecutionError {
-    constructor(baseAddr, relOffset){
-        super(`Address out of range. Base address ${baseAddr}, relative offset ${relOffset}`);
-        this.name = 'RelativeAddressOutOfRangeError';
-    }
-}
-/**
- * Error is thrown when a memory slice contains addresses which are
- * out of range, i.e, greater than maxUint32.
- */ export class MemorySliceOutOfRangeError extends AvmExecutionError {
-    constructor(baseAddr, size){
-        super(`Memory slice is out of range. Base address ${baseAddr}, size ${size}`);
-        this.name = 'MemorySliceOutOfRangeError';
-    }
-}
-/** Error thrown when out of gas. */ export class OutOfGasError extends AvmExecutionError {
-    constructor(dimensions){
-        super(`Not enough ${dimensions.map((d)=>d.toUpperCase()).join(', ')} gas left`);
-        this.name = 'OutOfGasError';
-    }
-}
-/**
- * Error is thrown when one of the supplied points does not lie on the Grumpkin curve. Specific for ECADD opcode.
- */ export class EcAddPointNotOnCurveError extends AvmExecutionError {
-    constructor(pointIndex, point){
-        super(`EcAdd point${pointIndex} (${point.toString()}) is not on the curve.`);
-        this.name = 'EcAddPointNotOnCurveError';
-    }
-}
-/**
- * Error is thrown when some inputs of ToRadixBE are not valid.
- */ export class InvalidToRadixInputsError extends AvmExecutionError {
-    constructor(errorString){
-        super(errorString);
-        this.name = 'InvalidToRadixInputsError';
-    }
-}
-/**
- * Error is thrown when a static call attempts to alter some state
- */ export class StaticCallAlterationError extends InstructionExecutionError {
-    constructor(){
-        super('Static call cannot update the state, emit L2->L1 messages or generate logs');
-        this.name = 'StaticCallAlterationError';
-    }
-}
-/**
- * Meaningfully named alias for ExecutionError when used in the context of the AVM.
- * Maintains a recursive structure reflecting the AVM's external callstack/errorstack, where
- * options.cause is the error that caused this error (if this is not the root-cause itself).
- */ export class AvmRevertReason extends ExecutionError {
-    constructor(message, failingFunction, noirCallStack, options){
-        super(message, failingFunction, noirCallStack, options);
-    }
-}

package/dest/public/avm/fixtures/avm_simulation_tester.d.ts

@@ -1,22 +0,0 @@
-import type { AztecAddress } from '@aztec/stdlib/aztec-address';
-import type { MerkleTreeWriteOperations } from '@aztec/stdlib/interfaces/server';
-import { NativeWorldStateService } from '@aztec/world-state';
-import type { AvmContractCallResult } from '../../avm/avm_contract_call_result.js';
-import { SimpleContractDataSource } from '../../fixtures/simple_contract_data_source.js';
-import { PublicPersistableStateManager } from '../../state_manager/state_manager.js';
-import { BaseAvmSimulationTester } from './base_avm_simulation_tester.js';
-/**
- * A test class that extends the BaseAvmSimulationTester to enable real-app testing of the core AvmSimulator.
- * It provides an interface for simulating one top-level call at a time and maintains state between
- * subsequent top-level calls.
- */
-export declare class AvmSimulationTester extends BaseAvmSimulationTester {
-    private stateManager;
-    constructor(contractDataSource: SimpleContractDataSource, merkleTrees: MerkleTreeWriteOperations, stateManager: PublicPersistableStateManager);
-    static create(worldStateService: NativeWorldStateService): Promise<AvmSimulationTester>;
-    /**
-     * Simulate a top-level contract call.
-     */
-    simulateCall(sender: AztecAddress, address: AztecAddress, fnName: string, args: any[], isStaticCall?: boolean): Promise<AvmContractCallResult>;
-}
-//# sourceMappingURL=avm_simulation_tester.d.ts.map

package/dest/public/avm/fixtures/avm_simulation_tester.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"avm_simulation_tester.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/fixtures/avm_simulation_tester.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAEjF,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAG7D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AACnF,OAAO,EAAE,wBAAwB,EAAE,MAAM,+CAA+C,CAAC;AAEzF,OAAO,EAAE,6BAA6B,EAAE,MAAM,sCAAsC,CAAC;AAErF,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAW1E;;;;GAIG;AACH,qBAAa,mBAAoB,SAAQ,uBAAuB;IAI5D,OAAO,CAAC,YAAY;gBAFpB,kBAAkB,EAAE,wBAAwB,EAC5C,WAAW,EAAE,yBAAyB,EAC9B,YAAY,EAAE,6BAA6B;WAKxC,MAAM,CACjB,iBAAiB,EAAE,uBAAuB,GACzC,OAAO,CAAC,mBAAmB,CAAC;IAmB/B;;OAEG;IACG,YAAY,CAChB,MAAM,EAAE,YAAY,EACpB,OAAO,EAAE,YAAY,EACrB,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,GAAG,EAAE,EACX,YAAY,UAAQ,GACnB,OAAO,CAAC,qBAAqB,CAAC;CAsClC"}

package/dest/public/avm/fixtures/avm_simulation_tester.js

@@ -1,74 +0,0 @@
-import { Fr } from '@aztec/foundation/fields';
-import { encodeArguments } from '@aztec/stdlib/abi';
-import { GasFees } from '@aztec/stdlib/gas';
-import { GlobalVariables } from '@aztec/stdlib/tx';
-import { SideEffectTrace } from '../../../public/side_effect_trace.js';
-import { SimpleContractDataSource } from '../../fixtures/simple_contract_data_source.js';
-import { PublicContractsDB, PublicTreesDB } from '../../public_db_sources.js';
-import { PublicPersistableStateManager } from '../../state_manager/state_manager.js';
-import { AvmSimulator } from '../avm_simulator.js';
-import { BaseAvmSimulationTester } from './base_avm_simulation_tester.js';
-import { initContext, initExecutionEnvironment } from './initializers.js';
-import { DEFAULT_TIMESTAMP, getContractFunctionAbi, getFunctionSelector, resolveContractAssertionMessage } from './utils.js';
-const DEFAULT_GAS_FEES = new GasFees(2, 3);
-/**
- * A test class that extends the BaseAvmSimulationTester to enable real-app testing of the core AvmSimulator.
- * It provides an interface for simulating one top-level call at a time and maintains state between
- * subsequent top-level calls.
- */ export class AvmSimulationTester extends BaseAvmSimulationTester {
-    stateManager;
-    constructor(contractDataSource, merkleTrees, stateManager){
-        super(contractDataSource, merkleTrees), this.stateManager = stateManager;
-    }
-    static async create(worldStateService) {
-        const contractDataSource = new SimpleContractDataSource();
-        const merkleTrees = await worldStateService.fork();
-        const treesDB = new PublicTreesDB(merkleTrees);
-        const contractsDB = new PublicContractsDB(contractDataSource);
-        const trace = new SideEffectTrace();
-        const firstNullifier = new Fr(420000);
-        const stateManager = PublicPersistableStateManager.create(treesDB, contractsDB, trace, /*doMerkleOperations=*/ false, firstNullifier, DEFAULT_TIMESTAMP);
-        return new AvmSimulationTester(contractDataSource, merkleTrees, stateManager);
-    }
-    /**
-   * Simulate a top-level contract call.
-   */ async simulateCall(sender, address, fnName, args, isStaticCall = false) {
-        const contractArtifact = await this.contractDataSource.getContractArtifact(address);
-        if (!contractArtifact) {
-            throw new Error(`Contract not found at address: ${address}`);
-        }
-        const fnSelector = await getFunctionSelector(fnName, contractArtifact);
-        const fnAbi = getContractFunctionAbi(fnName, contractArtifact);
-        const encodedArgs = encodeArguments(fnAbi, args);
-        const calldata = [
-            fnSelector.toField(),
-            ...encodedArgs
-        ];
-        const globals = GlobalVariables.empty();
-        globals.timestamp = DEFAULT_TIMESTAMP;
-        globals.gasFees = DEFAULT_GAS_FEES;
-        const environment = initExecutionEnvironment({
-            calldata,
-            globals,
-            address,
-            sender,
-            isStaticCall
-        });
-        const persistableState = await this.stateManager.fork();
-        const context = initContext({
-            env: environment,
-            persistableState
-        });
-        // First we simulate (though it's not needed in this simple case).
-        const simulator = new AvmSimulator(context);
-        const result = await simulator.execute();
-        if (result.reverted) {
-            this.logger.error(`Error in ${fnName}:`);
-            this.logger.error(resolveContractAssertionMessage(fnName, result.revertReason, result.output, contractArtifact));
-        } else {
-            this.logger.info(`Simulation of function ${fnName} succeeded!`);
-            await this.stateManager.merge(persistableState);
-        }
-        return result;
-    }
-}

package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"base_avm_simulation_tester.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/fixtures/base_avm_simulation_tester.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAM9C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAE1D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAE1E,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAGjF,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,+CAA+C,CAAC;AAG9F;;;;;;;;;;GAUG;AACH,8BAAsB,uBAAuB;IAIlC,kBAAkB,EAAE,wBAAwB;IAC5C,WAAW,EAAE,yBAAyB;IAC7C,OAAO,CAAC,sBAAsB;IALzB,MAAM,yCAAyC;gBAG7C,kBAAkB,EAAE,wBAAwB,EAC5C,WAAW,EAAE,yBAAyB,EACrC,sBAAsB,KAAmB;IAG7C,kBAAkB,CAAC,QAAQ,EAAE,YAAY,EAAE,OAAO,KAA8B;IAMhF,gBAAgB,CAAC,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE;IAOjE;;;OAGG;IACG,yBAAyB,CAC7B,eAAe,EAAE,GAAG,EAAE,EACtB,QAAQ,EAAE,YAAY,EACtB,gBAAgB,EAAE,gBAAgB,EAClC,sBAAsB,UAAQ,EAC9B,IAAI,SAAI,EACR,iBAAiB,SAAO,EACxB,uBAAuB,CAAC,EAAE,EAAE,GAC3B,OAAO,CAAC,2BAA2B,CAAC;IAkBjC,wBAAwB,IAAI,OAAO,CAAC,2BAA2B,CAAC;IAWhE,oBAAoB,IAAI,OAAO,CAAC,2BAA2B,CAAC;IAe5D,gCAAgC,IAAI,OAAO,CAAC,2BAA2B,CAAC;IAexE,mBAAmB,CAAC,gBAAgB,EAAE,2BAA2B,EAAE,sBAAsB,UAAQ;YAOzF,8BAA8B;IAQtC,eAAe,CAAC,mBAAmB,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE;CAIvE"}

package/dest/public/avm/fixtures/initializers.d.ts

@@ -1,43 +0,0 @@
-import { Fr } from '@aztec/foundation/fields';
-import { GlobalVariables } from '@aztec/stdlib/tx';
-import type { UInt64 } from '@aztec/stdlib/types';
-import type { PublicContractsDB, PublicTreesDB } from '../../public_db_sources.js';
-import type { PublicSideEffectTraceInterface } from '../../side_effect_trace_interface.js';
-import { NullifierManager } from '../../state_manager/nullifiers.js';
-import { PublicStorage } from '../../state_manager/public_storage.js';
-import { PublicPersistableStateManager } from '../../state_manager/state_manager.js';
-import { AvmContext } from '../avm_context.js';
-import { AvmExecutionEnvironment } from '../avm_execution_environment.js';
-import { AvmMachineState } from '../avm_machine_state.js';
-/**
- * Create a new AVM context with default values.
- */
-export declare function initContext(overrides?: {
-    persistableState?: PublicPersistableStateManager;
-    env?: AvmExecutionEnvironment;
-    machineState?: AvmMachineState;
-}): AvmContext;
-/** Creates an empty state manager with mocked host storage. */
-export declare function initPersistableStateManager(overrides?: {
-    treesDB?: PublicTreesDB;
-    contractsDB?: PublicContractsDB;
-    trace?: PublicSideEffectTraceInterface;
-    publicStorage?: PublicStorage;
-    nullifiers?: NullifierManager;
-    doMerkleOperations?: boolean;
-    firstNullifier?: Fr;
-    timestamp?: UInt64;
-}): PublicPersistableStateManager;
-/**
- * Create an empty instance of the Execution Environment where all values are zero, unless overridden in the overrides object
- */
-export declare function initExecutionEnvironment(overrides?: Partial<AvmExecutionEnvironment>): AvmExecutionEnvironment;
-/**
- * Create an empty instance of the Execution Environment where all values are zero, unless overridden in the overrides object
- */
-export declare function initGlobalVariables(overrides?: Partial<GlobalVariables>): GlobalVariables;
-/**
- * Create an empty instance of the Machine State where all values are set to a large enough amount, unless overridden in the overrides object
- */
-export declare function initMachineState(overrides?: Partial<AvmMachineState>): AvmMachineState;
-//# sourceMappingURL=initializers.d.ts.map

package/dest/public/avm/fixtures/initializers.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"initializers.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/fixtures/initializers.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAG9C,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAIlD,OAAO,KAAK,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AACnF,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,sCAAsC,CAAC;AAC3F,OAAO,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AACrE,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AACtE,OAAO,EAAE,6BAA6B,EAAE,MAAM,sCAAsC,CAAC;AACrF,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAI1D;;GAEG;AACH,wBAAgB,WAAW,CAAC,SAAS,CAAC,EAAE;IACtC,gBAAgB,CAAC,EAAE,6BAA6B,CAAC;IACjD,GAAG,CAAC,EAAE,uBAAuB,CAAC;IAC9B,YAAY,CAAC,EAAE,eAAe,CAAC;CAChC,GAAG,UAAU,CAQb;AAED,+DAA+D;AAC/D,wBAAgB,2BAA2B,CAAC,SAAS,CAAC,EAAE;IACtD,OAAO,CAAC,EAAE,aAAa,CAAC;IACxB,WAAW,CAAC,EAAE,iBAAiB,CAAC;IAChC,KAAK,CAAC,EAAE,8BAA8B,CAAC;IACvC,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B,UAAU,CAAC,EAAE,gBAAgB,CAAC;IAC9B,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,cAAc,CAAC,EAAE,EAAE,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,GAAG,6BAA6B,CAYhC;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,uBAAuB,CAAC,GAAG,uBAAuB,CAY9G;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,eAAe,CAAC,GAAG,eAAe,CAWzF;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,eAAe,CAAC,GAAG,eAAe,CAKtF"}

package/dest/public/avm/fixtures/initializers.js

@@ -1,42 +0,0 @@
-import { AVM_MAX_PROCESSABLE_L2_GAS, DEFAULT_MAX_DEBUG_LOG_MEMORY_READS } from '@aztec/constants';
-import { EthAddress } from '@aztec/foundation/eth-address';
-import { Fr } from '@aztec/foundation/fields';
-import { AztecAddress } from '@aztec/stdlib/aztec-address';
-import { GasFees } from '@aztec/stdlib/gas';
-import { GlobalVariables } from '@aztec/stdlib/tx';
-import { mock } from 'jest-mock-extended';
-import { PublicPersistableStateManager } from '../../state_manager/state_manager.js';
-import { AvmContext } from '../avm_context.js';
-import { AvmExecutionEnvironment } from '../avm_execution_environment.js';
-import { AvmMachineState } from '../avm_machine_state.js';
-import { AvmSimulator } from '../avm_simulator.js';
-import { DEFAULT_TIMESTAMP } from './utils.js';
-/**
- * Create a new AVM context with default values.
- */ export function initContext(overrides) {
-    const ctx = new AvmContext(overrides?.persistableState || initPersistableStateManager(), overrides?.env || initExecutionEnvironment(), overrides?.machineState || initMachineState());
-    ctx.provideSimulator = AvmSimulator.build;
-    return ctx;
-}
-/** Creates an empty state manager with mocked host storage. */ export function initPersistableStateManager(overrides) {
-    const treesDB = overrides?.treesDB || mock();
-    return new PublicPersistableStateManager(treesDB, overrides?.contractsDB || mock(), overrides?.trace || mock(), overrides?.firstNullifier || new Fr(27), overrides?.timestamp || DEFAULT_TIMESTAMP, overrides?.doMerkleOperations || false, overrides?.publicStorage, overrides?.nullifiers);
-}
-/**
- * Create an empty instance of the Execution Environment where all values are zero, unless overridden in the overrides object
- */ export function initExecutionEnvironment(overrides) {
-    return new AvmExecutionEnvironment(overrides?.address ?? AztecAddress.zero(), overrides?.sender ?? AztecAddress.zero(), overrides?.contractCallDepth ?? Fr.zero(), overrides?.transactionFee ?? Fr.zero(), overrides?.globals ?? GlobalVariables.empty(), overrides?.isStaticCall ?? false, overrides?.calldata ?? [], overrides?.clientInitiatedSimulation ?? true, overrides?.maxDebugLogMemoryReads ?? DEFAULT_MAX_DEBUG_LOG_MEMORY_READS);
-}
-/**
- * Create an empty instance of the Execution Environment where all values are zero, unless overridden in the overrides object
- */ export function initGlobalVariables(overrides) {
-    return new GlobalVariables(overrides?.chainId ?? Fr.zero(), overrides?.version ?? Fr.zero(), overrides?.blockNumber ?? 0, overrides?.slotNumber ?? Fr.zero(), overrides?.timestamp ?? 0n, overrides?.coinbase ?? EthAddress.ZERO, overrides?.feeRecipient ?? AztecAddress.zero(), overrides?.gasFees ?? GasFees.empty());
-}
-/**
- * Create an empty instance of the Machine State where all values are set to a large enough amount, unless overridden in the overrides object
- */ export function initMachineState(overrides) {
-    return AvmMachineState.fromState({
-        l2GasLeft: overrides?.l2GasLeft ?? AVM_MAX_PROCESSABLE_L2_GAS,
-        daGasLeft: overrides?.daGasLeft ?? 1e8
-    });
-}

package/dest/public/avm/fixtures/utils.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/fixtures/utils.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EACL,KAAK,gBAAgB,EACrB,KAAK,WAAW,EAChB,KAAK,gBAAgB,EACrB,gBAAgB,EAEjB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,2BAA2B,EAEjC,MAAM,wBAAwB,CAAC;AAKhC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAMlD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AACtE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAEpD,eAAO,MAAM,uBAAuB,oBAAoB,CAAC;AACzD,eAAO,MAAM,iBAAiB,EAAE,MAAe,CAAC;AAChD,eAAO,MAAM,oBAAoB,KAAK,CAAC;AAEvC;;GAEG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,GAAG,GAAG,CAEhE;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,EAAE,CAEzD;AAED,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAE5D;AAED,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAE5D;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,EAAE,CAE1D;AAED,wBAAgB,mBAAmB,CACjC,YAAY,EAAE,MAAM,EACpB,gBAAgB,EAAE,gBAAgB,GACjC,OAAO,CAAC,gBAAgB,CAAC,CAK3B;AAED,wBAAgB,2BAA2B,CACzC,YAAY,EAAE,MAAM,EACpB,gBAAgB,EAAE,gBAAgB,GACjC,gBAAgB,GAAG,SAAS,CAE9B;AAED,wBAAgB,sBAAsB,CACpC,YAAY,EAAE,MAAM,EACpB,gBAAgB,EAAE,gBAAgB,GACjC,WAAW,GAAG,SAAS,CAKzB;AAED,wBAAgB,+BAA+B,CAC7C,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,eAAe,EAC7B,MAAM,EAAE,EAAE,EAAE,EACZ,gBAAgB,EAAE,gBAAgB,GACjC,MAAM,GAAG,SAAS,CAWpB;AAED;;;;;;;;;GASG;AACH,wBAAsB,8BAA8B,CAClD,eAAe,EAAE,GAAG,EAAE,EACtB,QAAQ,EAAE,YAAY,EACtB,gBAAgB,EAAE,gBAAgB,EAClC,IAAI,SAAI,EACR,iBAAiB,SAAO,EACxB,uBAAuB,CAAC,EAAE,EAAE,GAC3B,OAAO,CAAC;IACT,aAAa,EAAE,mBAAmB,CAAC;IACnC,gBAAgB,EAAE,2BAA2B,CAAC;IAC9C,wBAAwB,EAAE,EAAE,CAAC;CAC9B,CAAC,CA4BD"}

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

@@ -1,2 +0,0 @@
-export * from './avm_simulator.js';
-//# sourceMappingURL=index.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/public/avm/index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAC"}

package/dest/public/avm/index.js

@@ -1 +0,0 @@
-export * from './avm_simulator.js';

package/dest/public/avm/opcodes/accrued_substate.d.ts

@@ -1,75 +0,0 @@
-import type { AvmContext } from '../avm_context.js';
-import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
-import { Instruction } from './instruction.js';
-export declare class NoteHashExists extends Instruction {
-    private indirect;
-    private noteHashOffset;
-    private leafIndexOffset;
-    private existsOffset;
-    static type: string;
-    static readonly opcode: Opcode;
-    static readonly wireFormat: OperandType[];
-    constructor(indirect: number, noteHashOffset: number, leafIndexOffset: number, existsOffset: number);
-    execute(context: AvmContext): Promise<void>;
-}
-export declare class EmitNoteHash extends Instruction {
-    private indirect;
-    private noteHashOffset;
-    static type: string;
-    static readonly opcode: Opcode;
-    static readonly wireFormat: OperandType[];
-    constructor(indirect: number, noteHashOffset: number);
-    execute(context: AvmContext): Promise<void>;
-}
-export declare class NullifierExists extends Instruction {
-    private indirect;
-    private nullifierOffset;
-    private addressOffset;
-    private existsOffset;
-    static type: string;
-    static readonly opcode: Opcode;
-    static readonly wireFormat: OperandType[];
-    constructor(indirect: number, nullifierOffset: number, addressOffset: number, existsOffset: number);
-    execute(context: AvmContext): Promise<void>;
-}
-export declare class EmitNullifier extends Instruction {
-    private indirect;
-    private nullifierOffset;
-    static type: string;
-    static readonly opcode: Opcode;
-    static readonly wireFormat: OperandType[];
-    constructor(indirect: number, nullifierOffset: number);
-    execute(context: AvmContext): Promise<void>;
-}
-export declare class L1ToL2MessageExists extends Instruction {
-    private indirect;
-    private msgHashOffset;
-    private msgLeafIndexOffset;
-    private existsOffset;
-    static type: string;
-    static readonly opcode: Opcode;
-    static readonly wireFormat: OperandType[];
-    constructor(indirect: number, msgHashOffset: number, msgLeafIndexOffset: number, existsOffset: number);
-    execute(context: AvmContext): Promise<void>;
-}
-export declare class EmitUnencryptedLog extends Instruction {
-    private indirect;
-    private logSizeOffset;
-    private logOffset;
-    static type: string;
-    static readonly opcode: Opcode;
-    static readonly wireFormat: OperandType[];
-    constructor(indirect: number, logSizeOffset: number, logOffset: number);
-    execute(context: AvmContext): Promise<void>;
-}
-export declare class SendL2ToL1Message extends Instruction {
-    private indirect;
-    private recipientOffset;
-    private contentOffset;
-    static type: string;
-    static readonly opcode: Opcode;
-    static readonly wireFormat: OperandType[];
-    constructor(indirect: number, recipientOffset: number, contentOffset: number);
-    execute(context: AvmContext): Promise<void>;
-}
-//# sourceMappingURL=accrued_substate.d.ts.map

package/dest/public/avm/opcodes/accrued_substate.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"accrued_substate.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/accrued_substate.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAGpD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAEpF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,qBAAa,cAAe,SAAQ,WAAW;IAa3C,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,eAAe;IACvB,OAAO,CAAC,YAAY;IAftB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAoB;IACvC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAyB;IAEvD,MAAM,CAAC,QAAQ,CAAC,UAAU,gBAMxB;gBAGQ,QAAQ,EAAE,MAAM,EAChB,cAAc,EAAE,MAAM,EACtB,eAAe,EAAE,MAAM,EACvB,YAAY,EAAE,MAAM;IAKjB,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAmBzD;AAED,qBAAa,YAAa,SAAQ,WAAW;IAOzC,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,cAAc;IAPxB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAkB;IACrC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAuB;IAErD,MAAM,CAAC,QAAQ,CAAC,UAAU,gBAA8D;gBAG9E,QAAQ,EAAE,MAAM,EAChB,cAAc,EAAE,MAAM;IAKnB,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAmBzD;AAED,qBAAa,eAAgB,SAAQ,WAAW;IAa5C,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,eAAe;IACvB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,YAAY;IAftB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAqB;IACxC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAA0B;IAExD,MAAM,CAAC,QAAQ,CAAC,UAAU,gBAMxB;gBAGQ,QAAQ,EAAE,MAAM,EAChB,eAAe,EAAE,MAAM,EACvB,aAAa,EAAE,MAAM,EACrB,YAAY,EAAE,MAAM;IAKjB,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAkBzD;AAED,qBAAa,aAAc,SAAQ,WAAW;IAO1C,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,eAAe;IAPzB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAmB;IACtC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAwB;IAEtD,MAAM,CAAC,QAAQ,CAAC,UAAU,gBAA8D;gBAG9E,QAAQ,EAAE,MAAM,EAChB,eAAe,EAAE,MAAM;IAKpB,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CA8BzD;AAED,qBAAa,mBAAoB,SAAQ,WAAW;IAahD,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,YAAY;IAftB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAqB;IACxC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAA0B;IAExD,MAAM,CAAC,QAAQ,CAAC,UAAU,gBAMxB;gBAGQ,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,kBAAkB,EAAE,MAAM,EAC1B,YAAY,EAAE,MAAM;IAKjB,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAmBzD;AAED,qBAAa,kBAAmB,SAAQ,WAAW;IAQ/C,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,SAAS;IARnB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAwB;IAC3C,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAA6B;IAE3D,MAAM,CAAC,QAAQ,CAAC,UAAU,gBAAkF;gBAGlG,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,MAAM;IAKd,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAwBzD;AAED,qBAAa,iBAAkB,SAAQ,WAAW;IAO9C,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,eAAe;IACvB,OAAO,CAAC,aAAa;IARvB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAmB;IACtC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAwB;IAEtD,MAAM,CAAC,QAAQ,CAAC,UAAU,gBAAkF;gBAGlG,QAAQ,EAAE,MAAM,EAChB,eAAe,EAAE,MAAM,EACvB,aAAa,EAAE,MAAM;IAKlB,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAoBzD"}