@aztec/simulator 0.0.0-test.1 → 0.0.1-commit.5daedc8

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

@@ -1,84 +0,0 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-import { Fr } from '@aztec/foundation/fields';
-import { type ContractArtifact, type FunctionArtifact, FunctionSelector } from '@aztec/stdlib/abi';
-import { AztecAddress } from '@aztec/stdlib/aztec-address';
-import { type ContractClassPublic, type ContractInstanceWithAddress } from '@aztec/stdlib/contract';
-import type { MerkleTreeWriteOperations } from '@aztec/stdlib/interfaces/server';
-import { GlobalVariables } from '@aztec/stdlib/tx';
-import type { WorldStateDB } from '../../public_db_sources.js';
-import type { PublicSideEffectTraceInterface } from '../../side_effect_trace_interface.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 { 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;
-    db?: MerkleTreeWriteOperations;
-    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;
-/**
- * Create a contract class and instance given constructor args, artifact, etc.
- * NOTE: This is useful for testing real-ish contract class registration and instance deployment TXs (via logs)
- * @param constructorArgs - The constructor arguments for the contract.
- * @param deployer - The deployer of the contract.
- * @param contractArtifact - The contract artifact for the contract.
- * @param seed - The seed for the contract.
- * @param originalContractClassId - The original contract class ID (if upgraded)
- * @returns The contract class, instance, and contract address nullifier.
- */
-export declare function createContractClassAndInstance(constructorArgs: any[], deployer: AztecAddress, contractArtifact: ContractArtifact, seed?: number, originalContractClassId?: Fr): Promise<{
-    contractClass: ContractClassPublic;
-    contractInstance: ContractInstanceWithAddress;
-    contractAddressNullifier: Fr;
-}>;
-//# sourceMappingURL=index.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/fixtures/index.ts"],"names":[],"mappings":";;AAMA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAG9C,OAAO,EAAE,KAAK,gBAAgB,EAAE,KAAK,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACnG,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,2BAA2B,EAEjC,MAAM,wBAAwB,CAAC;AAIhC,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAEjF,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAOnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,sCAAsC,CAAC;AAC3F,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;AAEtE,OAAO,KAAK,EAAE,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,CAQb;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,EAAE,CAAC,EAAE,yBAAyB,CAAC;IAC/B,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;AAED;;;;;;;;;GASG;AACH,wBAAsB,8BAA8B,CAClD,eAAe,EAAE,GAAG,EAAE,EACtB,QAAQ,EAAE,YAAY,EACtB,gBAAgB,EAAE,gBAAgB,EAClC,IAAI,SAAI,EACR,uBAAuB,CAAC,EAAE,EAAE,GAC3B,OAAO,CAAC;IACT,aAAa,EAAE,mBAAmB,CAAC;IACnC,gBAAgB,EAAE,2BAA2B,CAAC;IAC9C,wBAAwB,EAAE,EAAE,CAAC;CAC9B,CAAC,CA2BD"}

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

@@ -1,175 +0,0 @@
-import { DEPLOYER_CONTRACT_ADDRESS, MAX_L2_GAS_PER_TX_PUBLIC_PORTION, PUBLIC_DISPATCH_SELECTOR } from '@aztec/constants';
-import { EthAddress } from '@aztec/foundation/eth-address';
-import { Fr } from '@aztec/foundation/fields';
-import { AvmGadgetsTestContractArtifact } from '@aztec/noir-contracts.js/AvmGadgetsTest';
-import { AvmTestContractArtifact } from '@aztec/noir-contracts.js/AvmTest';
-import { FunctionSelector } from '@aztec/stdlib/abi';
-import { AztecAddress } from '@aztec/stdlib/aztec-address';
-import { computeInitializationHash } from '@aztec/stdlib/contract';
-import { isNoirCallStackUnresolved } from '@aztec/stdlib/errors';
-import { GasFees } from '@aztec/stdlib/gas';
-import { siloNullifier } from '@aztec/stdlib/hash';
-import { makeContractClassPublic, makeContractInstanceFromClassId } from '@aztec/stdlib/testing';
-import { GlobalVariables } from '@aztec/stdlib/tx';
-import { strict as assert } from 'assert';
-import { mock } from 'jest-mock-extended';
-import merge from 'lodash.merge';
-import { resolveAssertionMessageFromRevertData, traverseCauseChain } from '../../../common/index.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 { AvmSimulator } from '../avm_simulator.js';
-import { AvmPersistableStateManager } from '../journal/journal.js';
-import { NullifierManager } from '../journal/nullifiers.js';
-import { PublicStorage } from '../journal/public_storage.js';
-export const PUBLIC_DISPATCH_FN_NAME = 'public_dispatch';
-/**
- * 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 worldStateDB = overrides?.worldStateDB || mock();
-    return new AvmPersistableStateManager(worldStateDB, overrides?.trace || mock(), overrides?.publicStorage || new PublicStorage(worldStateDB), overrides?.nullifiers || new NullifierManager(worldStateDB), overrides?.doMerkleOperations || false, overrides?.db || mock(), overrides?.firstNullifier || new Fr(27));
-}
-/**
- * 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 ?? []);
-}
-/**
- * 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 ?? Fr.zero(), overrides?.slotNumber ?? Fr.zero(), overrides?.timestamp ?? Fr.zero(), 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 ?? MAX_L2_GAS_PER_TX_PUBLIC_PORTION,
-        daGasLeft: overrides?.daGasLeft ?? 1e8
-    });
-}
-/**
- * Create a new object with all the same properties as the original, except for the ones in the overrides object.
- */ export function allSameExcept(original, overrides) {
-    return merge({}, original, overrides);
-}
-export function randomMemoryBytes(length) {
-    return [
-        ...Array(length)
-    ].map((_)=>new Uint8(Math.floor(Math.random() * 255)));
-}
-export function randomMemoryUint32s(length) {
-    return [
-        ...Array(length)
-    ].map((_)=>new Uint32(Math.floor(Math.random() * 255)));
-}
-export function randomMemoryUint64s(length) {
-    return [
-        ...Array(length)
-    ].map((_)=>new Uint64(Math.floor(Math.random() * 255)));
-}
-export function randomMemoryFields(length) {
-    return [
-        ...Array(length)
-    ].map((_)=>new Field(Fr.random()));
-}
-export function getFunctionSelector(functionName, contractArtifact) {
-    const fnArtifact = contractArtifact.functions.find((f)=>f.name === functionName);
-    assert(!!fnArtifact, `Function ${functionName} not found in ${contractArtifact.name}`);
-    const params = fnArtifact.parameters;
-    return FunctionSelector.fromNameAndParameters(fnArtifact.name, params);
-}
-export function getContractFunctionArtifact(functionName, contractArtifact) {
-    const artifact = contractArtifact.functions.find((f)=>f.name === functionName);
-    if (!artifact) {
-        return undefined;
-    }
-    return artifact;
-}
-export function resolveContractAssertionMessage(functionName, revertReason, output, contractArtifact) {
-    traverseCauseChain(revertReason, (cause)=>{
-        revertReason = cause;
-    });
-    const functionArtifact = contractArtifact.functions.find((f)=>f.name === functionName);
-    if (!functionArtifact || !revertReason.noirCallStack || !isNoirCallStackUnresolved(revertReason.noirCallStack)) {
-        return undefined;
-    }
-    return resolveAssertionMessageFromRevertData(output, functionArtifact);
-}
-export function getAvmTestContractFunctionSelector(functionName) {
-    return getFunctionSelector(functionName, AvmTestContractArtifact);
-}
-export function getAvmGadgetsTestContractFunctionSelector(functionName) {
-    const artifact = AvmGadgetsTestContractArtifact.functions.find((f)=>f.name === functionName);
-    assert(!!artifact, `Function ${functionName} not found in AvmGadgetsTestContractArtifact`);
-    const params = artifact.parameters;
-    return FunctionSelector.fromNameAndParameters(artifact.name, params);
-}
-export function getAvmTestContractArtifact(functionName) {
-    const artifact = getContractFunctionArtifact(functionName, AvmTestContractArtifact);
-    assert(!!artifact?.bytecode, `No bytecode found for function ${functionName}. Try re-running bootstrap.sh on the repository root.`);
-    return artifact;
-}
-export function getAvmGadgetsTestContractArtifact(functionName) {
-    const artifact = AvmGadgetsTestContractArtifact.functions.find((f)=>f.name === functionName);
-    assert(!!artifact?.bytecode, `No bytecode found for function ${functionName}. Try re-running bootstrap.sh on the repository root.`);
-    return artifact;
-}
-export function getAvmTestContractBytecode(functionName) {
-    const artifact = getAvmTestContractArtifact(functionName);
-    return artifact.bytecode;
-}
-export function getAvmGadgetsTestContractBytecode(functionName) {
-    const artifact = getAvmGadgetsTestContractArtifact(functionName);
-    return artifact.bytecode;
-}
-export function resolveAvmTestContractAssertionMessage(functionName, revertReason, output) {
-    return resolveContractAssertionMessage(functionName, revertReason, output, AvmTestContractArtifact);
-}
-export function resolveAvmGadgetsTestContractAssertionMessage(functionName, revertReason, output) {
-    traverseCauseChain(revertReason, (cause)=>{
-        revertReason = cause;
-    });
-    const functionArtifact = AvmGadgetsTestContractArtifact.functions.find((f)=>f.name === functionName);
-    if (!functionArtifact || !revertReason.noirCallStack || !isNoirCallStackUnresolved(revertReason.noirCallStack)) {
-        return undefined;
-    }
-    return resolveAssertionMessageFromRevertData(output, functionArtifact);
-}
-/**
- * Create a contract class and instance given constructor args, artifact, etc.
- * NOTE: This is useful for testing real-ish contract class registration and instance deployment TXs (via logs)
- * @param constructorArgs - The constructor arguments for the contract.
- * @param deployer - The deployer of the contract.
- * @param contractArtifact - The contract artifact for the contract.
- * @param seed - The seed for the contract.
- * @param originalContractClassId - The original contract class ID (if upgraded)
- * @returns The contract class, instance, and contract address nullifier.
- */ export async function createContractClassAndInstance(constructorArgs, deployer, contractArtifact, seed = 0, originalContractClassId) {
-    const bytecode = getContractFunctionArtifact(PUBLIC_DISPATCH_FN_NAME, contractArtifact).bytecode;
-    const contractClass = await makeContractClassPublic(seed, /*publicDispatchFunction=*/ {
-        bytecode,
-        selector: new FunctionSelector(PUBLIC_DISPATCH_SELECTOR)
-    });
-    const constructorAbi = getContractFunctionArtifact('constructor', contractArtifact);
-    const initializationHash = await computeInitializationHash(constructorAbi, constructorArgs);
-    const contractInstance = originalContractClassId === undefined ? await makeContractInstanceFromClassId(contractClass.id, seed, {
-        deployer,
-        initializationHash
-    }) : await makeContractInstanceFromClassId(originalContractClassId, seed, {
-        deployer,
-        initializationHash,
-        currentClassId: contractClass.id
-    });
-    const contractAddressNullifier = await siloNullifier(AztecAddress.fromNumber(DEPLOYER_CONTRACT_ADDRESS), contractInstance.address.toField());
-    return {
-        contractClass,
-        contractInstance,
-        contractAddressNullifier
-    };
-}

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

@@ -1,35 +0,0 @@
-import type { Fr } from '@aztec/foundation/fields';
-import { type ContractArtifact, FunctionSelector } from '@aztec/stdlib/abi';
-import type { AztecAddress } from '@aztec/stdlib/aztec-address';
-import type { ContractClassPublic, ContractDataSource, ContractInstanceWithAddress, PublicFunction } from '@aztec/stdlib/contract';
-/**
- * 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;
-    /**
-     * Derive the contract class and instance with some seed.
-     * Add both to the contract data source along with the contract artifact.
-     */
-    addNewContract(contractArtifact: ContractArtifact, contractClass: ContractClassPublic, contractInstance: ContractInstanceWithAddress): Promise<void>;
-    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/public/avm/fixtures/simple_contract_data_source.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"simple_contract_data_source.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/fixtures/simple_contract_data_source.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,EAAE,KAAK,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC5E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EACV,mBAAmB,EACnB,kBAAkB,EAClB,2BAA2B,EAC3B,cAAc,EACf,MAAM,wBAAwB,CAAC;AAIhC;;;;;;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;;;OAGG;IACG,cAAc,CAClB,gBAAgB,EAAE,gBAAgB,EAClC,aAAa,EAAE,mBAAmB,EAClC,gBAAgB,EAAE,2BAA2B;IAO/C,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;IAIlE,qBAAqB,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC;IAIvD,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/public/avm/journal/index.d.ts

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

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

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

package/dest/public/avm/journal/index.js

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

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

@@ -1,209 +0,0 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-import { Fr } from '@aztec/foundation/fields';
-import type { IndexedTreeLeafPreimage } from '@aztec/foundation/trees';
-import { AvmPublicDataReadTreeHint } from '@aztec/stdlib/avm';
-import { AztecAddress } from '@aztec/stdlib/aztec-address';
-import { SerializableContractInstance } from '@aztec/stdlib/contract';
-import type { ContractClassWithCommitment } from '@aztec/stdlib/contract';
-import type { IndexedTreeId, MerkleTreeWriteOperations } from '@aztec/stdlib/interfaces/server';
-import type { PublicCallRequest } from '@aztec/stdlib/kernel';
-import { PublicDataTreeLeafPreimage } from '@aztec/stdlib/trees';
-import type { WorldStateDB } from '../../../public/public_db_sources.js';
-import type { PublicSideEffectTraceInterface } from '../../side_effect_trace_interface.js';
-import type { AvmExecutionEnvironment } from '../avm_execution_environment.js';
-import { NullifierManager } from './nullifiers.js';
-import { PublicStorage } from './public_storage.js';
-/**
- * The result of fetching a leaf from an indexed tree. Contains the preimage and wether the leaf was already present
- * or it's a low leaf.
- */
-type GetLeafResult<T extends IndexedTreeLeafPreimage> = {
-    preimage: T;
-    leafOrLowLeafIndex: bigint;
-    alreadyPresent: boolean;
-};
-/**
- * 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;
-    /** DB interface for merkle tree operations */
-    db: MerkleTreeWriteOperations;
-    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, 
-    /** DB interface for merkle tree operations */
-    db: MerkleTreeWriteOperations, firstNullifier: Fr);
-    /**
-     * Create a new state manager
-     */
-    static create(worldStateDB: WorldStateDB, trace: PublicSideEffectTraceInterface, doMerkleOperations: boolean | undefined, firstNullifier: Fr): AvmPersistableStateManager;
-    /**
-     * Create a new state manager forked from this one
-     */
-    fork(): Promise<AvmPersistableStateManager>;
-    /**
-     * Accept forked world state modifications & traced side effects / hints
-     */
-    merge(forkedState: AvmPersistableStateManager): Promise<void>;
-    /**
-     * Reject forked world state modifications & traced side effects, keep traced hints
-     */
-    reject(forkedState: AvmPersistableStateManager): Promise<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>;
-    getPublicDataMembership(contractAddress: AztecAddress, slot: Fr): Promise<{
-        value: Fr;
-        leafPreimage: PublicDataTreeLeafPreimage;
-        leafIndex: Fr;
-        leafPath: 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 siloedNoteHash - the non unique note hash to write
-     */
-    writeSiloedNoteHash(siloedNoteHash: Fr): Promise<void>;
-    /**
-     * Write a note hash, trace the write.
-     * @param uniqueNoteHash - the siloed unique hash to write
-     */
-    writeUniqueNoteHash(uniqueNoteHash: 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 class.
-     * @param classId - class id to retrieve.
-     * @returns the contract class or undefined if it does not exist.
-     */
-    getContractClass(classId: Fr): Promise<ContractClassWithCommitment | undefined>;
-    /**
-     * Get a contract's bytecode from the contracts DB, also trace the contract class and instance indirectly.
-     */
-    getBytecode(contractAddress: AztecAddress): Promise<Buffer | undefined>;
-    getContractUpdateHints(contractAddress: AztecAddress): Promise<{
-        updateMembership: AvmPublicDataReadTreeHint;
-        updatePreimage: Fr[];
-    }>;
-    traceEnqueuedCall(publicCallRequest: PublicCallRequest, calldata: Fr[], reverted: boolean): void;
-    getPublicFunctionDebugName(avmEnvironment: AvmExecutionEnvironment): Promise<string>;
-    getLeafOrLowLeafInfo<ID extends IndexedTreeId, T extends IndexedTreeLeafPreimage>(treeId: ID, key: bigint): Promise<GetLeafResult<T>>;
-}
-export {};
-//# sourceMappingURL=journal.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"journal.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/journal/journal.ts"],"names":[],"mappings":";;AASA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAG9C,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAEvE,OAAO,EAAE,yBAAyB,EAAmB,MAAM,mBAAmB,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,4BAA4B,EAAE,MAAM,wBAAwB,CAAC;AACtE,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAQ1E,OAAO,KAAK,EAAE,aAAa,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAChG,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAE9D,OAAO,EAAuC,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AAMtG,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AACzE,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,sCAAsC,CAAC;AAC3F,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC/E,OAAO,EAA2B,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAC5E,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEpD;;;GAGG;AACH,KAAK,aAAa,CAAC,CAAC,SAAS,uBAAuB,IAAI;IACtD,QAAQ,EAAE,CAAC,CAAC;IACZ,kBAAkB,EAAE,MAAM,CAAC;IAC3B,cAAc,EAAE,OAAO,CAAC;CACzB,CAAC;AASF;;;;;;;;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,8CAA8C;IACvC,EAAE,EAAE,yBAAyB;aACpB,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,8CAA8C;IACvC,EAAE,EAAE,yBAAyB,EACpB,cAAc,EAAE,EAAE;IAGpC;;OAEG;WACW,MAAM,CAClB,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,8BAA8B,EACrC,kBAAkB,qBAAiB,EACnC,cAAc,EAAE,EAAE,GACjB,0BAA0B;IAe7B;;OAEG;IACU,IAAI;IAajB;;OAEG;IACU,KAAK,CAAC,WAAW,EAAE,0BAA0B;IAI1D;;OAEG;IACU,MAAM,CAAC,WAAW,EAAE,0BAA0B;YAI7C,MAAM;IAuBpB;;;;;;OAMG;IACU,YAAY,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,aAAa,UAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;IAuDnH;;;;;;OAMG;IACU,WAAW,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC;IAexE,uBAAuB,CAC3B,eAAe,EAAE,YAAY,EAC7B,IAAI,EAAE,EAAE,GACP,OAAO,CAAC;QACT,KAAK,EAAE,EAAE,CAAC;QACV,YAAY,EAAE,0BAA0B,CAAC;QACzC,SAAS,EAAE,EAAE,CAAC;QACd,QAAQ,EAAE,EAAE,EAAE,CAAC;KAChB,CAAC;IAsCF;;;;;;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;IAe9G;;;OAGG;IACU,aAAa,CAAC,eAAe,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAOtF;;;OAGG;IACU,mBAAmB,CAAC,cAAc,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAOnE;;;OAGG;IACU,mBAAmB,CAAC,cAAc,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAenE;;;;;OAKG;IACU,oBAAoB,CAAC,eAAe,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC;IAuBjG;;;;;;;;;;OAUG;YACW,sBAAsB;IA+BpC;;;;OAIG;IACU,cAAc,CAAC,eAAe,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE;IAMxE;;;OAGG;IACU,oBAAoB,CAAC,eAAe,EAAE,EAAE;IAkDxC,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;IAgBnB;;;;;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;IAyClH;;;;OAIG;IACU,gBAAgB,CAAC,OAAO,EAAE,EAAE,GAAG,OAAO,CAAC,2BAA2B,GAAG,SAAS,CAAC;IA4B5F;;OAEG;IACU,WAAW,CAAC,eAAe,EAAE,YAAY,GAAG,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC;IAoB9E,sBAAsB,CAAC,eAAe,EAAE,YAAY;;;;IAuCnD,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;IAIpF,oBAAoB,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC,SAAS,uBAAuB,EAC3F,MAAM,EAAE,EAAE,EACV,GAAG,EAAE,MAAM,GACV,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;CAiB7B"}