@aztec/simulator 0.74.0 → 0.75.0-commit.c03ba01a2a4122e43e90d5133ba017e54b90e9d2

package/dest/avm/errors.d.ts

@@ -1,121 +0,0 @@
-import { type FailingFunction, type NoirCallStack } from '@aztec/circuit-types';
-import { type AztecAddress, type Fr, type Point } from '@aztec/circuits.js';
-import { ExecutionError } from '../common/errors.js';
-import { type AvmContext } from './avm_context.js';
-/**
- * Avm-specific errors should derive from this
- */
-export declare abstract class AvmExecutionError extends Error {
-    constructor(message: string);
-}
-export declare class NoBytecodeForContractError extends AvmExecutionError {
-    constructor(contractAddress: AztecAddress);
-}
-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 the supplied points length is not a multiple of 3. Specific for MSM opcode.
- */
-export declare class MSMPointsLengthError extends AvmExecutionError {
-    constructor(pointsReadLength: number);
-}
-/**
- * Error is thrown when one of the supplied points does not lie on the Grumpkin curve. Specific for MSM opcode.
- */
-export declare class MSMPointNotOnCurveError extends AvmExecutionError {
-    constructor(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);
-}
-/**
- * Create a "revert reason" error for an exceptional halt.
- *
- * @param haltingError - the lower-level error causing the exceptional halt
- * @param context - the context of the AVM execution used to extract the failingFunction and noirCallStack
- */
-export declare function revertReasonFromExceptionalHalt(haltingError: AvmExecutionError, context: AvmContext): Promise<AvmRevertReason>;
-/**
- * Create a "revert reason" error for an explicit revert (a root cause).
- *
- * @param revertData - output data of the explicit REVERT instruction
- * @param context - the context of the AVM execution used to extract the failingFunction and noirCallStack
- */
-export declare function revertReasonFromExplicitRevert(revertData: Fr[], context: AvmContext): Promise<AvmRevertReason>;
-//# sourceMappingURL=errors.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/avm/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,eAAe,EAAE,KAAK,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAChF,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,EAAE,EAAE,KAAK,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAE5E,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD;;GAEG;AACH,8BAAsB,iBAAkB,SAAQ,KAAK;gBACvC,OAAO,EAAE,MAAM;CAI5B;AAED,qBAAa,0BAA2B,SAAQ,iBAAiB;gBACnD,eAAe,EAAE,YAAY;CAI1C;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,oBAAqB,SAAQ,iBAAiB;gBAC7C,gBAAgB,EAAE,MAAM;CAIrC;AAED;;GAEG;AACH,qBAAa,uBAAwB,SAAQ,iBAAiB;gBAChD,KAAK,EAAE,KAAK;CAIzB;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;AA8BD;;;;;GAKG;AACH,wBAAsB,+BAA+B,CACnD,YAAY,EAAE,iBAAiB,EAC/B,OAAO,EAAE,UAAU,GAClB,OAAO,CAAC,eAAe,CAAC,CAE1B;AAED;;;;;GAKG;AACH,wBAAsB,8BAA8B,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,eAAe,CAAC,CAEpH"}

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

@@ -1,21 +0,0 @@
-import { type MerkleTreeWriteOperations } from '@aztec/circuit-types';
-import { type AztecAddress } from '@aztec/foundation/aztec-address';
-import { type AvmContractCallResult } from '../../avm/avm_contract_call_result.js';
-import { AvmPersistableStateManager } from '../../server.js';
-import { BaseAvmSimulationTester } from './base_avm_simulation_tester.js';
-import { SimpleContractDataSource } from './simple_contract_data_source.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, skipContractDeployments: boolean | undefined, stateManager: AvmPersistableStateManager);
-    static create(skipContractDeployments?: boolean): 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/avm/fixtures/avm_simulation_tester.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"avm_simulation_tester.d.ts","sourceRoot":"","sources":["../../../src/avm/fixtures/avm_simulation_tester.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AAGtE,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAIpE,OAAO,EAAE,KAAK,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AAUnF,OAAO,EAAE,0BAA0B,EAAgB,MAAM,iBAAiB,CAAC;AAC3E,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAK5E;;;;GAIG;AACH,qBAAa,mBAAoB,SAAQ,uBAAuB;IAK5D,OAAO,CAAC,YAAY;gBAHpB,kBAAkB,EAAE,wBAAwB,EAC5C,WAAW,EAAE,yBAAyB,EACtC,uBAAuB,qBAAQ,EACvB,YAAY,EAAE,0BAA0B;WAKrC,MAAM,CAAC,uBAAuB,UAAQ,GAAG,OAAO,CAAC,mBAAmB,CAAC;IAiBlF;;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/avm/fixtures/base_avm_simulation_tester.d.ts

@@ -1,35 +0,0 @@
-import { type MerkleTreeWriteOperations } from '@aztec/circuit-types';
-import { type ContractClassPublic, type ContractInstanceWithAddress } from '@aztec/circuits.js';
-import { type ContractArtifact } from '@aztec/foundation/abi';
-import { AztecAddress } from '@aztec/foundation/aztec-address';
-import { type Fr } from '@aztec/foundation/fields';
-import { type SimpleContractDataSource } from './simple_contract_data_source.js';
-/**
- * An abstract test class that enables tests of real apps in the AVM without requiring e2e tests.
- * It enables this by letting us (1) perform pseudo-contract-deployments (and registrations)
- * that trigger merkle tree operations and (2) maintain a contract data source to store
- * and retrieve contract classes and instances.
- *
- * This class is meant to be extended when writing tests for a specific simulation interface.
- * For example, has been extended for testing of the core AvmSimulator, and again for the PublicTxSimulator,
- * both of which benefit from such pseudo-deployments by populating merkle trees and a contract data source
- * with contract information.
- */
-export declare abstract class BaseAvmSimulationTester {
-    contractDataSource: SimpleContractDataSource;
-    merkleTrees: MerkleTreeWriteOperations;
-    private skipContractDeployments;
-    logger: import("@aztec/foundation/log").Logger;
-    constructor(contractDataSource: SimpleContractDataSource, merkleTrees: MerkleTreeWriteOperations, skipContractDeployments?: boolean);
-    setFeePayerBalance(feePayer: AztecAddress, balance: Fr): Promise<void>;
-    setPublicStorage(address: AztecAddress, slot: Fr, value: Fr): Promise<void>;
-    /**
-     * Derive the contract class and instance with some seed.
-     * Add both to the contract data source along with the contract artifact.
-     */
-    registerAndDeployContract(constructorArgs: any[], deployer: AztecAddress, contractArtifact: ContractArtifact, seed?: number): Promise<ContractInstanceWithAddress>;
-    getFirstContractInstance(): ContractInstanceWithAddress;
-    addContractClass(contractClass: ContractClassPublic, contractArtifact: ContractArtifact): Promise<void>;
-    addContractInstance(contractInstance: ContractInstanceWithAddress): Promise<void>;
-}
-//# sourceMappingURL=base_avm_simulation_tester.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"base_avm_simulation_tester.d.ts","sourceRoot":"","sources":["../../../src/avm/fixtures/base_avm_simulation_tester.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,KAAK,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AACpF,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,2BAA2B,EAKjC,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EAAE,KAAK,gBAAgB,EAAoB,MAAM,uBAAuB,CAAC;AAChF,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,KAAK,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAMnD,OAAO,EAAE,KAAK,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAEjF;;;;;;;;;;GAUG;AACH,8BAAsB,uBAAuB;IAIlC,kBAAkB,EAAE,wBAAwB;IAC5C,WAAW,EAAE,yBAAyB;IAE7C,OAAO,CAAC,uBAAuB;IAN1B,MAAM,yCAAyC;gBAG7C,kBAAkB,EAAE,wBAAwB,EAC5C,WAAW,EAAE,yBAAyB,EAErC,uBAAuB,UAAQ;IAGnC,kBAAkB,CAAC,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE;IAMtD,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,IAAI,SAAI,GACP,OAAO,CAAC,2BAA2B,CAAC;IAmBvC,wBAAwB,IAAI,2BAA2B;IAIvD,gBAAgB,CAAC,aAAa,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC;IAMjG,mBAAmB,CAAC,gBAAgB,EAAE,2BAA2B;CAUxE"}

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

@@ -1,67 +0,0 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-import { GlobalVariables } from '@aztec/circuits.js';
-import { type ContractArtifact, type FunctionArtifact, FunctionSelector } from '@aztec/foundation/abi';
-import { Fr } from '@aztec/foundation/fields';
-import { type PublicSideEffectTraceInterface } from '../../public/side_effect_trace_interface.js';
-import { type WorldStateDB } from '../../server.js';
-import { AvmContext } from '../avm_context.js';
-import { AvmExecutionEnvironment } from '../avm_execution_environment.js';
-import { AvmMachineState } from '../avm_machine_state.js';
-import { Field, Uint8, Uint32, Uint64 } from '../avm_memory_types.js';
-import { type AvmEphemeralForest } from '../avm_tree.js';
-import { type AvmRevertReason } from '../errors.js';
-import { AvmPersistableStateManager } from '../journal/journal.js';
-import { NullifierManager } from '../journal/nullifiers.js';
-import { PublicStorage } from '../journal/public_storage.js';
-export declare const PUBLIC_DISPATCH_FN_NAME = "public_dispatch";
-/**
- * Create a new AVM context with default values.
- */
-export declare function initContext(overrides?: {
-    persistableState?: AvmPersistableStateManager;
-    env?: AvmExecutionEnvironment;
-    machineState?: AvmMachineState;
-}): AvmContext;
-/** Creates an empty state manager with mocked host storage. */
-export declare function initPersistableStateManager(overrides?: {
-    worldStateDB?: WorldStateDB;
-    trace?: PublicSideEffectTraceInterface;
-    publicStorage?: PublicStorage;
-    nullifiers?: NullifierManager;
-    doMerkleOperations?: boolean;
-    merkleTrees?: AvmEphemeralForest;
-    firstNullifier?: Fr;
-}): AvmPersistableStateManager;
-/**
- * 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;
-/**
- * Create a new object with all the same properties as the original, except for the ones in the overrides object.
- */
-export declare function allSameExcept(original: any, overrides: any): any;
-export declare function randomMemoryBytes(length: number): Uint8[];
-export declare function randomMemoryUint32s(length: number): Uint32[];
-export declare function randomMemoryUint64s(length: number): Uint64[];
-export declare function randomMemoryFields(length: number): Field[];
-export declare function getFunctionSelector(functionName: string, contractArtifact: ContractArtifact): Promise<FunctionSelector>;
-export declare function getContractFunctionArtifact(functionName: string, contractArtifact: ContractArtifact): FunctionArtifact | undefined;
-export declare function resolveContractAssertionMessage(functionName: string, revertReason: AvmRevertReason, output: Fr[], contractArtifact: ContractArtifact): string | undefined;
-export declare function getAvmTestContractFunctionSelector(functionName: string): Promise<FunctionSelector>;
-export declare function getAvmGadgetsTestContractFunctionSelector(functionName: string): Promise<FunctionSelector>;
-export declare function getAvmTestContractArtifact(functionName: string): FunctionArtifact;
-export declare function getAvmGadgetsTestContractArtifact(functionName: string): FunctionArtifact;
-export declare function getAvmTestContractBytecode(functionName: string): Buffer;
-export declare function getAvmGadgetsTestContractBytecode(functionName: string): Buffer;
-export declare function resolveAvmTestContractAssertionMessage(functionName: string, revertReason: AvmRevertReason, output: Fr[]): string | undefined;
-export declare function resolveAvmGadgetsTestContractAssertionMessage(functionName: string, revertReason: AvmRevertReason, output: Fr[]): string | undefined;
-//# sourceMappingURL=index.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/avm/fixtures/index.ts"],"names":[],"mappings":";;AACA,OAAO,EAAW,eAAe,EAAoC,MAAM,oBAAoB,CAAC;AAChG,OAAO,EAAE,KAAK,gBAAgB,EAAE,KAAK,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAGvG,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAS9C,OAAO,EAAE,KAAK,8BAA8B,EAAE,MAAM,6CAA6C,CAAC;AAClG,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AACtE,OAAO,EAAE,KAAK,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACzD,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAE7D,eAAO,MAAM,uBAAuB,oBAAoB,CAAC;AAEzD;;GAEG;AACH,wBAAgB,WAAW,CAAC,SAAS,CAAC,EAAE;IACtC,gBAAgB,CAAC,EAAE,0BAA0B,CAAC;IAC9C,GAAG,CAAC,EAAE,uBAAuB,CAAC;IAC9B,YAAY,CAAC,EAAE,eAAe,CAAC;CAChC,GAAG,UAAU,CAMb;AAED,+DAA+D;AAC/D,wBAAgB,2BAA2B,CAAC,SAAS,CAAC,EAAE;IACtD,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,KAAK,CAAC,EAAE,8BAA8B,CAAC;IACvC,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B,UAAU,CAAC,EAAE,gBAAgB,CAAC;IAC9B,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,WAAW,CAAC,EAAE,kBAAkB,CAAC;IACjC,cAAc,CAAC,EAAE,EAAE,CAAC;CACrB,GAAG,0BAA0B,CAW7B;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,uBAAuB,CAAC,GAAG,uBAAuB,CAU9G;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;AAED;;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,CAM9B;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,wBAAgB,kCAAkC,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAElG;AAED,wBAAgB,yCAAyC,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAKzG;AAED,wBAAgB,0BAA0B,CAAC,YAAY,EAAE,MAAM,GAAG,gBAAgB,CAOjF;AAED,wBAAgB,iCAAiC,CAAC,YAAY,EAAE,MAAM,GAAG,gBAAgB,CAOxF;AAED,wBAAgB,0BAA0B,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAGvE;AAED,wBAAgB,iCAAiC,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAG9E;AAED,wBAAgB,sCAAsC,CACpD,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,eAAe,EAC7B,MAAM,EAAE,EAAE,EAAE,GACX,MAAM,GAAG,SAAS,CAEpB;AAED,wBAAgB,6CAA6C,CAC3D,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,eAAe,EAC7B,MAAM,EAAE,EAAE,EAAE,GACX,MAAM,GAAG,SAAS,CAWpB"}

package/dest/avm/fixtures/simple_contract_data_source.d.ts

@@ -1,31 +0,0 @@
-import { type ContractClassPublic, type ContractDataSource, type ContractInstanceWithAddress, type FunctionSelector, type PublicFunction } from '@aztec/circuits.js';
-import { type ContractArtifact } from '@aztec/foundation/abi';
-import { type AztecAddress } from '@aztec/foundation/aztec-address';
-import { type Fr } from '@aztec/foundation/fields';
-/**
- * This class is used during public/avm testing to function as a database of
- * contract contract classes and instances. Tests can populate it with classes
- * and instances and then probe it via the ContractDataSource interface.
- *
- * This class does not include any real merkle trees & merkle operations.
- */
-export declare class SimpleContractDataSource implements ContractDataSource {
-    logger: import("@aztec/foundation/log").Logger;
-    private contractClasses;
-    private contractInstances;
-    private contractArtifacts;
-    getFirstContractInstance(): ContractInstanceWithAddress;
-    addContractArtifact(classId: Fr, artifact: ContractArtifact): void;
-    getPublicFunction(_address: AztecAddress, _selector: FunctionSelector): Promise<PublicFunction>;
-    getBlockNumber(): Promise<number>;
-    getContractClass(id: Fr): Promise<ContractClassPublic | undefined>;
-    getBytecodeCommitment(id: Fr): Promise<Fr | undefined>;
-    getContract(address: AztecAddress): Promise<ContractInstanceWithAddress | undefined>;
-    getContractClassIds(): Promise<Fr[]>;
-    getContractArtifact(address: AztecAddress): Promise<ContractArtifact | undefined>;
-    getContractFunctionName(_address: AztecAddress, _selector: FunctionSelector): Promise<string>;
-    registerContractFunctionSignatures(_address: AztecAddress, _signatures: string[]): Promise<void>;
-    addContractClass(contractClass: ContractClassPublic): Promise<void>;
-    addContractInstance(contractInstance: ContractInstanceWithAddress): Promise<void>;
-}
-//# sourceMappingURL=simple_contract_data_source.d.ts.map

package/dest/avm/fixtures/simple_contract_data_source.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"simple_contract_data_source.d.ts","sourceRoot":"","sources":["../../../src/avm/fixtures/simple_contract_data_source.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,kBAAkB,EACvB,KAAK,2BAA2B,EAChC,KAAK,gBAAgB,EACrB,KAAK,cAAc,EAEpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,KAAK,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,KAAK,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAKnD;;;;;;GAMG;AACH,qBAAa,wBAAyB,YAAW,kBAAkB;IAC1D,MAAM,yCAA+C;IAG5D,OAAO,CAAC,eAAe,CAA+C;IAEtE,OAAO,CAAC,iBAAiB,CAAuD;IAEhF,OAAO,CAAC,iBAAiB,CAA4C;IAIrE,wBAAwB,IAAI,2BAA2B;IAIvD,mBAAmB,CAAC,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,gBAAgB,GAAG,IAAI;IAMlE,iBAAiB,CAAC,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,gBAAgB,GAAG,OAAO,CAAC,cAAc,CAAC;IAI/F,cAAc,IAAI,OAAO,CAAC,MAAM,CAAC;IAIjC,gBAAgB,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,mBAAmB,GAAG,SAAS,CAAC;IAI5D,qBAAqB,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC;IAK5D,WAAW,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,2BAA2B,GAAG,SAAS,CAAC;IAIpF,mBAAmB,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC;IAI9B,mBAAmB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,gBAAgB,GAAG,SAAS,CAAC;IAWvF,uBAAuB,CAAC,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,gBAAgB,GAAG,OAAO,CAAC,MAAM,CAAC;IAI7F,kCAAkC,CAAC,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAIhG,gBAAgB,CAAC,aAAa,EAAE,mBAAmB,GAAG,OAAO,CAAC,IAAI,CAAC;IAKnE,mBAAmB,CAAC,gBAAgB,EAAE,2BAA2B,GAAG,OAAO,CAAC,IAAI,CAAC;CAIlF"}

package/dest/avm/index.d.ts

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

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

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

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

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

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

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

package/dest/avm/journal/journal.d.ts

@@ -1,176 +0,0 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-import { AztecAddress, type PublicCallRequest, SerializableContractInstance } from '@aztec/circuits.js';
-import { Fr } from '@aztec/foundation/fields';
-import { type WorldStateDB } from '../../public/public_db_sources.js';
-import { type PublicSideEffectTraceInterface } from '../../public/side_effect_trace_interface.js';
-import { type AvmExecutionEnvironment } from '../avm_execution_environment.js';
-import { AvmEphemeralForest } from '../avm_tree.js';
-import { NullifierManager } from './nullifiers.js';
-import { PublicStorage } from './public_storage.js';
-/**
- * A class to manage persistable AVM state for contract calls.
- * Maintains a cache of the current world state,
- * a trace of all side effects.
- *
- * The simulator should make any world state / tree queries through this object.
- *
- * Manages merging of successful/reverted child state into current state.
- */
-export declare class AvmPersistableStateManager {
-    /** Reference to node storage */
-    private readonly worldStateDB;
-    /** Side effect trace */
-    readonly trace: PublicSideEffectTraceInterface;
-    /** Public storage, including cached writes */
-    private readonly publicStorage;
-    /** Nullifier set, including cached/recently-emitted nullifiers */
-    private readonly nullifiers;
-    private readonly doMerkleOperations;
-    /** Ephmeral forest for merkle tree operations */
-    merkleTrees: AvmEphemeralForest;
-    readonly firstNullifier: Fr;
-    private readonly log;
-    /** Make sure a forked state is never merged twice. */
-    private alreadyMergedIntoParent;
-    constructor(
-    /** Reference to node storage */
-    worldStateDB: WorldStateDB, 
-    /** Side effect trace */
-    trace: PublicSideEffectTraceInterface, 
-    /** Public storage, including cached writes */
-    publicStorage: PublicStorage, 
-    /** Nullifier set, including cached/recently-emitted nullifiers */
-    nullifiers: NullifierManager, doMerkleOperations: boolean, 
-    /** Ephmeral forest for merkle tree operations */
-    merkleTrees: AvmEphemeralForest, firstNullifier: Fr);
-    /**
-     * Create a new state manager
-     */
-    static create(worldStateDB: WorldStateDB, trace: PublicSideEffectTraceInterface, doMerkleOperations: boolean | undefined, firstNullifier: Fr): Promise<AvmPersistableStateManager>;
-    /**
-     * Create a new state manager forked from this one
-     */
-    fork(): AvmPersistableStateManager;
-    /**
-     * Accept forked world state modifications & traced side effects / hints
-     */
-    merge(forkedState: AvmPersistableStateManager): void;
-    /**
-     * Reject forked world state modifications & traced side effects, keep traced hints
-     */
-    reject(forkedState: AvmPersistableStateManager): void;
-    private _merge;
-    /**
-     * Write to public storage, journal/trace the write.
-     *
-     * @param contractAddress - the address of the contract whose storage is being written to
-     * @param slot - the slot in the contract's storage being written to
-     * @param value - the value being written to the slot
-     */
-    writeStorage(contractAddress: AztecAddress, slot: Fr, value: Fr, protocolWrite?: boolean): Promise<void>;
-    /**
-     * Read from public storage, trace the read.
-     *
-     * @param contractAddress - the address of the contract whose storage is being read from
-     * @param slot - the slot in the contract's storage being read from
-     * @returns the latest value written to slot, or 0 if never written to before
-     */
-    readStorage(contractAddress: AztecAddress, slot: Fr): Promise<Fr>;
-    /**
-     * Read from public storage, don't trace the read.
-     *
-     * @param contractAddress - the address of the contract whose storage is being read from
-     * @param slot - the slot in the contract's storage being read from
-     * @returns the latest value written to slot, or 0 if never written to before
-     */
-    peekStorage(contractAddress: AztecAddress, slot: Fr): Promise<Fr>;
-    /**
-     * Check if a note hash exists at the given leaf index, trace the check.
-     *
-     * @param contractAddress - the address of the contract whose storage is being read from
-     * @param noteHash - the unsiloed note hash being checked
-     * @param leafIndex - the leaf index being checked
-     * @returns true if the note hash exists at the given leaf index, false otherwise
-     */
-    checkNoteHashExists(contractAddress: AztecAddress, noteHash: Fr, leafIndex: Fr): Promise<boolean>;
-    /**
-     * Write a raw note hash, silo it and make it unique, then trace the write.
-     * @param noteHash - the unsiloed note hash to write
-     */
-    writeNoteHash(contractAddress: AztecAddress, noteHash: Fr): Promise<void>;
-    /**
-     * Write a note hash, make it unique, trace the write.
-     * @param noteHash - the non unique note hash to write
-     */
-    writeSiloedNoteHash(noteHash: Fr): Promise<void>;
-    /**
-     * Write a note hash, trace the write.
-     * @param noteHash - the siloed unique hash to write
-     */
-    writeUniqueNoteHash(noteHash: Fr): Promise<void>;
-    /**
-     * Check if a nullifier exists, trace the check.
-     * @param contractAddress - address of the contract that the nullifier is associated with
-     * @param nullifier - the unsiloed nullifier to check
-     * @returns exists - whether the nullifier exists in the nullifier set
-     */
-    checkNullifierExists(contractAddress: AztecAddress, nullifier: Fr): Promise<boolean>;
-    /**
-     * Helper to get membership information for a siloed nullifier when checking its existence.
-     * Optionally trace the nullifier check.
-     *
-     * @param siloedNullifier - the siloed nullifier to get membership information for
-     * @returns
-     *     - exists - whether the nullifier exists in the nullifier set
-     *     - leafOrLowLeafPreimage - the preimage of the nullifier leaf or its low-leaf if it doesn't exist
-     *     - leafOrLowLeafIndex - the leaf index of the nullifier leaf or its low-leaf if it doesn't exist
-     *     - leafOrLowLeafPath - the sibling path of the nullifier leaf or its low-leaf if it doesn't exist
-     */
-    private getNullifierMembership;
-    /**
-     * Write a nullifier to the nullifier set, trace the write.
-     * @param contractAddress - address of the contract that the nullifier is associated with
-     * @param nullifier - the unsiloed nullifier to write
-     */
-    writeNullifier(contractAddress: AztecAddress, nullifier: Fr): Promise<void>;
-    /**
-     * Write a nullifier to the nullifier set, trace the write.
-     * @param siloedNullifier - the siloed nullifier to write
-     */
-    writeSiloedNullifier(siloedNullifier: Fr): Promise<void>;
-    writeSiloedNullifiersFromPrivate(siloedNullifiers: Fr[]): Promise<void>;
-    /**
-     * Check if an L1 to L2 message exists, trace the check.
-     * @param msgHash - the message hash to check existence of
-     * @param msgLeafIndex - the message leaf index to use in the check
-     * @returns exists - whether the message exists in the L1 to L2 Messages tree
-     */
-    checkL1ToL2MessageExists(contractAddress: AztecAddress, msgHash: Fr, msgLeafIndex: Fr): Promise<boolean>;
-    /**
-     * Write an L2 to L1 message.
-     * @param contractAddress - L2 contract address that created this message
-     * @param recipient - L1 contract address to send the message to.
-     * @param content - Message content.
-     */
-    writeL2ToL1Message(contractAddress: AztecAddress, recipient: Fr, content: Fr): void;
-    /**
-     * Write a public log
-     * @param contractAddress - address of the contract that emitted the log
-     * @param log - log contents
-     */
-    writePublicLog(contractAddress: AztecAddress, log: Fr[]): void;
-    /**
-     * Get a contract instance.
-     * @param contractAddress - address of the contract instance to retrieve.
-     * @returns the contract instance or undefined if it does not exist.
-     */
-    getContractInstance(contractAddress: AztecAddress): Promise<SerializableContractInstance | undefined>;
-    /**
-     * Get a contract's bytecode from the contracts DB, also trace the contract class and instance
-     */
-    getBytecode(contractAddress: AztecAddress): Promise<Buffer | undefined>;
-    traceEnqueuedCall(publicCallRequest: PublicCallRequest, calldata: Fr[], reverted: boolean): void;
-    getPublicFunctionDebugName(avmEnvironment: AvmExecutionEnvironment): Promise<string>;
-}
-//# sourceMappingURL=journal.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"journal.d.ts","sourceRoot":"","sources":["../../../src/avm/journal/journal.ts"],"names":[],"mappings":";;AACA,OAAO,EACL,YAAY,EAMZ,KAAK,iBAAiB,EAItB,4BAA4B,EAC7B,MAAM,oBAAoB,CAAC;AAQ5B,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAO9C,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,mCAAmC,CAAC;AACtE,OAAO,EAAE,KAAK,8BAA8B,EAAE,MAAM,6CAA6C,CAAC;AAClG,OAAO,EAAE,KAAK,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC/E,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EAA2B,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAC5E,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEpD;;;;;;;;GAQG;AACH,qBAAa,0BAA0B;IAOnC,gCAAgC;IAChC,OAAO,CAAC,QAAQ,CAAC,YAAY;IAC7B,wBAAwB;aAER,KAAK,EAAE,8BAA8B;IACrD,8CAA8C;IAC9C,OAAO,CAAC,QAAQ,CAAC,aAAa;IAC9B,kEAAkE;IAClE,OAAO,CAAC,QAAQ,CAAC,UAAU;IAC3B,OAAO,CAAC,QAAQ,CAAC,kBAAkB;IACnC,iDAAiD;IAC1C,WAAW,EAAE,kBAAkB;aACtB,cAAc,EAAE,EAAE;IAlBpC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAA+C;IAEnE,sDAAsD;IACtD,OAAO,CAAC,uBAAuB,CAAS;;IAGtC,gCAAgC;IACf,YAAY,EAAE,YAAY;IAC3C,wBAAwB;IAER,KAAK,EAAE,8BAA8B;IACrD,8CAA8C;IAC7B,aAAa,EAAE,aAA+C;IAC/E,kEAAkE;IACjD,UAAU,EAAE,gBAAqD,EACjE,kBAAkB,EAAE,OAAe;IACpD,iDAAiD;IAC1C,WAAW,EAAE,kBAAkB,EACtB,cAAc,EAAE,EAAE;IAGpC;;OAEG;WACiB,MAAM,CACxB,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,8BAA8B,EACrC,kBAAkB,qBAAiB,EACnC,cAAc,EAAE,EAAE,GACjB,OAAO,CAAC,0BAA0B,CAAC;IAatC;;OAEG;IACI,IAAI;IAYX;;OAEG;IACI,KAAK,CAAC,WAAW,EAAE,0BAA0B;IAIpD;;OAEG;IACI,MAAM,CAAC,WAAW,EAAE,0BAA0B;IAIrD,OAAO,CAAC,MAAM;IAsBd;;;;;;OAMG;IACU,YAAY,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,aAAa,UAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;IA2CnH;;;;;;OAMG;IACU,WAAW,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC;IAgD9E;;;;;;OAMG;IACU,WAAW,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC;IAO9E;;;;;;;OAOG;IACU,mBAAmB,CAAC,eAAe,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC;IAiB9G;;;OAGG;IACU,aAAa,CAAC,eAAe,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAMtF;;;OAGG;IACU,mBAAmB,CAAC,QAAQ,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAO7D;;;OAGG;IACU,mBAAmB,CAAC,QAAQ,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAa7D;;;;;OAKG;IACU,oBAAoB,CAAC,eAAe,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC;IAqBjG;;;;;;;;;;OAUG;YACW,sBAAsB;IA6CpC;;;;OAIG;IACU,cAAc,CAAC,eAAe,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE;IAMxE;;;OAGG;IACU,oBAAoB,CAAC,eAAe,EAAE,EAAE;IA6DxC,gCAAgC,CAAC,gBAAgB,EAAE,EAAE,EAAE;IAMpE;;;;;OAKG;IACU,wBAAwB,CACnC,eAAe,EAAE,YAAY,EAC7B,OAAO,EAAE,EAAE,EACX,YAAY,EAAE,EAAE,GACf,OAAO,CAAC,OAAO,CAAC;IAsBnB;;;;;OAKG;IACI,kBAAkB,CAAC,eAAe,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE;IAKnF;;;;OAIG;IACI,cAAc,CAAC,eAAe,EAAE,YAAY,EAAE,GAAG,EAAE,EAAE,EAAE;IAK9D;;;;OAIG;IACU,mBAAmB,CAAC,eAAe,EAAE,YAAY,GAAG,OAAO,CAAC,4BAA4B,GAAG,SAAS,CAAC;IA8DlH;;OAEG;IACU,WAAW,CAAC,eAAe,EAAE,YAAY,GAAG,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC;IA0F7E,iBAAiB,CAAC,iBAAiB,EAAE,iBAAiB,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO;IAInF,0BAA0B,CAAC,cAAc,EAAE,uBAAuB,GAAG,OAAO,CAAC,MAAM,CAAC;CAGlG"}

package/dest/avm/journal/nullifiers.d.ts

@@ -1,62 +0,0 @@
-import { Fr } from '@aztec/foundation/fields';
-import type { CommitmentsDB } from '../../server.js';
-/**
- * A class to manage new nullifier staging and existence checks during a contract call's AVM simulation.
- * Maintains a siloed nullifier cache, and ensures that existence checks fall back to the correct source.
- * When a contract call completes, its cached nullifier set can be merged into its parent's.
- */
-export declare class NullifierManager {
-    /** Reference to node storage. Checked on parent cache-miss. */
-    private readonly hostNullifiers;
-    /** Cache of siloed nullifiers. */
-    private cache;
-    /** Parent nullifier manager to fall back on */
-    private readonly parent?;
-    constructor(
-    /** Reference to node storage. Checked on parent cache-miss. */
-    hostNullifiers: CommitmentsDB, 
-    /** Cache of siloed nullifiers. */
-    cache?: Set<bigint>, 
-    /** Parent nullifier manager to fall back on */
-    parent?: NullifierManager | undefined);
-    /**
-     * Create a new nullifiers manager forked from this one
-     */
-    fork(): NullifierManager;
-    /**
-     * Get a nullifier's existence in this' cache or parent's (recursively).
-     * DOES NOT CHECK HOST STORAGE!
-     * @param siloedNullifier - the nullifier to check for
-     * @returns exists: whether the nullifier exists in cache here or in parent's
-     */
-    private checkExistsHereOrParent;
-    /**
-     * Get a nullifier's existence status.
-     * 1. Check cache.
-     * 2. Check parent cache.
-     * 3. Fall back to the host state.
-     * 4. Not found! Nullifier does not exist.
-     *
-     * @param siloedNullifier - the nullifier to check for
-     * @returns exists: whether the nullifier exists at all,
-     *          isPending: whether the nullifier was found in a cache,
-     *          leafIndex: the nullifier's leaf index if it exists and is not pending (comes from host state).
-     */
-    checkExists(siloedNullifier: Fr): Promise<[/*exists=*/ boolean, /*isPending=*/ boolean, /*leafIndex=*/ Fr]>;
-    /**
-     * Stage a new nullifier (append it to the cache).
-     *
-     * @param siloedNullifier - the nullifier to stage
-     */
-    append(siloedNullifier: Fr): Promise<void>;
-    /**
-     * Merges another nullifier cache into this one.
-     *
-     * @param incomingNullifiers - the incoming cached nullifiers to merge into this instance's
-     */
-    acceptAndMerge(incomingNullifiers: NullifierManager): void;
-}
-export declare class NullifierCollisionError extends Error {
-    constructor(message: string, ...rest: any[]);
-}
-//# sourceMappingURL=nullifiers.d.ts.map

package/dest/avm/journal/nullifiers.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"nullifiers.d.ts","sourceRoot":"","sources":["../../../src/avm/journal/nullifiers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAErD;;;;GAIG;AACH,qBAAa,gBAAgB;IAEzB,+DAA+D;IAC/D,OAAO,CAAC,QAAQ,CAAC,cAAc;IAC/B,kCAAkC;IAClC,OAAO,CAAC,KAAK;IACb,+CAA+C;IAC/C,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;;IALxB,+DAA+D;IAC9C,cAAc,EAAE,aAAa;IAC9C,kCAAkC;IAC1B,KAAK,GAAE,GAAG,CAAC,MAAM,CAAa;IACtC,+CAA+C;IAC9B,MAAM,CAAC,8BAAkB;IAG5C;;OAEG;IACI,IAAI;IAIX;;;;;OAKG;IACH,OAAO,CAAC,uBAAuB;IAW/B;;;;;;;;;;;OAWG;IACU,WAAW,CACtB,eAAe,EAAE,EAAE,GAClB,OAAO,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE,CAAC,CAAC;IAe5E;;;;OAIG;IACU,MAAM,CAAC,eAAe,EAAE,EAAE;IAQvC;;;;OAIG;IACI,cAAc,CAAC,kBAAkB,EAAE,gBAAgB;CAU3D;AAED,qBAAa,uBAAwB,SAAQ,KAAK;gBACpC,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE;CAI5C"}

package/dest/avm/journal/public_storage.d.ts

@@ -1,66 +0,0 @@
-import { type AztecAddress } from '@aztec/circuits.js';
-import { Fr } from '@aztec/foundation/fields';
-import type { PublicStateDB } from '../../server.js';
-type PublicStorageReadResult = {
-    value: Fr;
-    cached: boolean;
-};
-/**
- * A class to manage public storage reads and writes during a contract call's AVM simulation.
- * Maintains a storage write cache, and ensures that reads fall back to the correct source.
- * When a contract call completes, its storage cache can be merged into its parent's.
- */
-export declare class PublicStorage {
-    /** Reference to node storage. Checked on parent cache-miss. */
-    private readonly hostPublicStorage;
-    /** Parent's storage. Checked on this' cache-miss. */
-    private readonly parent?;
-    /** Cached storage writes. */
-    private readonly cache;
-    constructor(
-    /** Reference to node storage. Checked on parent cache-miss. */
-    hostPublicStorage: PublicStateDB, 
-    /** Parent's storage. Checked on this' cache-miss. */
-    parent?: PublicStorage | undefined);
-    /**
-     * Create a new public storage manager forked from this one
-     */
-    fork(): PublicStorage;
-    /**
-     * Read a storage value from this' cache or parent's (recursively).
-     * DOES NOT CHECK HOST STORAGE!
-     *
-     * @param contractAddress - the address of the contract whose storage is being read from
-     * @param slot - the slot in the contract's storage being read from
-     * @returns value: the latest value written according to this cache or the parent's. undefined on cache miss.
-     */
-    readHereOrParent(contractAddress: AztecAddress, slot: Fr): Fr | undefined;
-    /**
-     * Read a value from storage.
-     * 1. Check cache.
-     * 2. Check parent cache.
-     * 3. Fall back to the host state.
-     * 4. Not found! Value has never been written to before. Flag it as non-existent and return value zero.
-     *
-     * @param contractAddress - the address of the contract whose storage is being read from
-     * @param slot - the slot in the contract's storage being read from
-     * @returns exists: whether the slot has EVER been written to before, value: the latest value written to slot, or 0 if never written to before
-     */
-    read(contractAddress: AztecAddress, slot: Fr): Promise<PublicStorageReadResult>;
-    /**
-     * Stage a storage write.
-     *
-     * @param contractAddress - the address of the contract whose storage is being written to
-     * @param slot - the slot in the contract's storage being written to
-     * @param value - the value being written to the slot
-     */
-    write(contractAddress: AztecAddress, slot: Fr, value: Fr): void;
-    /**
-     * Merges another PublicStorage's cache (pending writes) into this one.
-     *
-     * @param incomingPublicStorage - the incoming public storage to merge into this instance's
-     */
-    acceptAndMerge(incomingPublicStorage: PublicStorage): void;
-}
-export {};
-//# sourceMappingURL=public_storage.d.ts.map