@aztec/simulator 0.76.4 → 0.77.0-testnet-ignition.21

package/dest/private/providers/simulation_provider.js

@@ -0,0 +1,24 @@
+import { abiDecodeError } from '@noir-lang/noirc_abi';
+// Error handling taken from noir/noir-repo/tooling/noir_js/src/witness_generation.ts.
+// TODO: import this in isolation without having to import noir_js in its entirety.
+export function parseErrorPayload(abi, originalError) {
+    const payload = originalError.rawAssertionPayload;
+    if (!payload) {
+        return originalError;
+    }
+    const enrichedError = originalError;
+    try {
+        // Decode the payload
+        const decodedPayload = abiDecodeError(abi, payload);
+        if (typeof decodedPayload === 'string') {
+            // If it's a string, just add it to the error message
+            enrichedError.message = `Circuit execution failed: ${decodedPayload}`;
+        } else {
+            // If not, attach the payload to the original error
+            enrichedError.decodedAssertionPayload = decodedPayload;
+        }
+    } catch (_errorDecoding) {
+    // Ignore errors decoding the payload
+    }
+    return enrichedError;
+}

package/dest/private/simulator.d.ts

@@ -0,0 +1,36 @@
+import type { FunctionCall } from '@aztec/stdlib/abi';
+import { FunctionSelector } from '@aztec/stdlib/abi';
+import { AztecAddress } from '@aztec/stdlib/aztec-address';
+import type { AztecNode } from '@aztec/stdlib/interfaces/client';
+import { PrivateExecutionResult, TxExecutionRequest } from '@aztec/stdlib/tx';
+import type { DBOracle } from './db_oracle.js';
+import type { SimulationProvider } from './providers/simulation_provider.js';
+/**
+ * The ACIR simulator.
+ */
+export declare class AcirSimulator {
+    private db;
+    private node;
+    private simulationProvider;
+    private log;
+    constructor(db: DBOracle, node: AztecNode, simulationProvider: SimulationProvider);
+    /**
+     * Runs a private function.
+     * @param request - The transaction request.
+     * @param entryPointArtifact - The artifact of the entry point function.
+     * @param contractAddress - The address of the contract (should match request.origin)
+     * @param msgSender - The address calling the function. This can be replaced to simulate a call from another contract or a specific account.
+     * @param scopes - The accounts whose notes we can access in this call. Currently optional and will default to all.
+     * @returns The result of the execution.
+     */
+    run(request: TxExecutionRequest, contractAddress: AztecAddress, selector: FunctionSelector, msgSender?: AztecAddress, scopes?: AztecAddress[]): Promise<PrivateExecutionResult>;
+    /**
+     * Runs an unconstrained function.
+     * @param request - The transaction request.
+     * @param entryPointArtifact - The artifact of the entry point function.
+     * @param contractAddress - The address of the contract.
+     * @param scopes - The accounts whose notes we can access in this call. Currently optional and will default to all.
+     */
+    runUnconstrained(request: FunctionCall, contractAddress: AztecAddress, selector: FunctionSelector, scopes?: AztecAddress[]): Promise<import("@aztec/stdlib/abi").AbiDecoded>;
+}
+//# sourceMappingURL=simulator.d.ts.map

package/dest/private/simulator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"simulator.d.ts","sourceRoot":"","sources":["../../src/private/simulator.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAgB,MAAM,mBAAmB,CAAC;AACnE,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AACjE,OAAO,EAAe,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAI3F,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAI/C,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AAI7E;;GAEG;AACH,qBAAa,aAAa;IAGZ,OAAO,CAAC,EAAE;IAAY,OAAO,CAAC,IAAI;IAAa,OAAO,CAAC,kBAAkB;IAFrF,OAAO,CAAC,GAAG,CAAS;gBAEA,EAAE,EAAE,QAAQ,EAAU,IAAI,EAAE,SAAS,EAAU,kBAAkB,EAAE,kBAAkB;IAIzG;;;;;;;;OAQG;IACU,GAAG,CACd,OAAO,EAAE,kBAAkB,EAC3B,eAAe,EAAE,YAAY,EAC7B,QAAQ,EAAE,gBAAgB,EAC1B,SAAS,eAA6C,EACtD,MAAM,CAAC,EAAE,YAAY,EAAE,GACtB,OAAO,CAAC,sBAAsB,CAAC;IAmElC;;;;;;OAMG;IACU,gBAAgB,CAC3B,OAAO,EAAE,YAAY,EACrB,eAAe,EAAE,YAAY,EAC7B,QAAQ,EAAE,gBAAgB,EAC1B,MAAM,CAAC,EAAE,YAAY,EAAE;CA6B1B"}

package/dest/private/simulator.js

@@ -0,0 +1,78 @@
+import { Fr } from '@aztec/foundation/fields';
+import { createLogger } from '@aztec/foundation/log';
+import { FunctionSelector, FunctionType } from '@aztec/stdlib/abi';
+import { AztecAddress } from '@aztec/stdlib/aztec-address';
+import { CallContext, PrivateExecutionResult } from '@aztec/stdlib/tx';
+import { createSimulationError } from '../common/errors.js';
+import { ClientExecutionContext } from './client_execution_context.js';
+import { ExecutionNoteCache } from './execution_note_cache.js';
+import { HashedValuesCache } from './hashed_values_cache.js';
+import { executePrivateFunction, verifyCurrentClassId } from './private_execution.js';
+import { executeUnconstrainedFunction } from './unconstrained_execution.js';
+import { ViewDataOracle } from './view_data_oracle.js';
+/**
+ * The ACIR simulator.
+ */ export class AcirSimulator {
+    db;
+    node;
+    simulationProvider;
+    log;
+    constructor(db, node, simulationProvider){
+        this.db = db;
+        this.node = node;
+        this.simulationProvider = simulationProvider;
+        this.log = createLogger('simulator');
+    }
+    /**
+   * Runs a private function.
+   * @param request - The transaction request.
+   * @param entryPointArtifact - The artifact of the entry point function.
+   * @param contractAddress - The address of the contract (should match request.origin)
+   * @param msgSender - The address calling the function. This can be replaced to simulate a call from another contract or a specific account.
+   * @param scopes - The accounts whose notes we can access in this call. Currently optional and will default to all.
+   * @returns The result of the execution.
+   */ async run(request, contractAddress, selector, msgSender = AztecAddress.fromField(Fr.MAX_FIELD_VALUE), scopes) {
+        const header = await this.db.getBlockHeader();
+        await verifyCurrentClassId(contractAddress, await this.db.getContractInstance(contractAddress), this.node, header.globalVariables.blockNumber.toNumber());
+        const entryPointArtifact = await this.db.getFunctionArtifact(contractAddress, selector);
+        if (entryPointArtifact.functionType !== FunctionType.PRIVATE) {
+            throw new Error(`Cannot run ${entryPointArtifact.functionType} function as private`);
+        }
+        if (request.origin !== contractAddress) {
+            this.log.warn(`Request origin does not match contract address in simulation. Request origin: ${request.origin}, contract address: ${contractAddress}`);
+        }
+        // reserve the first side effect for the tx hash (inserted by the private kernel)
+        const startSideEffectCounter = 1;
+        const callContext = new CallContext(msgSender, contractAddress, await FunctionSelector.fromNameAndParameters(entryPointArtifact.name, entryPointArtifact.parameters), entryPointArtifact.isStatic);
+        const txRequestHash = await request.toTxRequest().hash();
+        const noteCache = new ExecutionNoteCache(txRequestHash);
+        const context = new ClientExecutionContext(request.firstCallArgsHash, request.txContext, callContext, header, request.authWitnesses, request.capsules, HashedValuesCache.create(request.argsOfCalls), noteCache, this.db, this.node, this.simulationProvider, startSideEffectCounter, undefined, scopes);
+        try {
+            const executionResult = await executePrivateFunction(this.simulationProvider, context, entryPointArtifact, contractAddress, request.functionSelector);
+            const { usedTxRequestHashForNonces } = noteCache.finish();
+            const firstNullifierHint = usedTxRequestHashForNonces ? Fr.ZERO : noteCache.getAllNullifiers()[0];
+            return new PrivateExecutionResult(executionResult, firstNullifierHint);
+        } catch (err) {
+            throw createSimulationError(err instanceof Error ? err : new Error('Unknown error during private execution'));
+        }
+    }
+    /**
+   * Runs an unconstrained function.
+   * @param request - The transaction request.
+   * @param entryPointArtifact - The artifact of the entry point function.
+   * @param contractAddress - The address of the contract.
+   * @param scopes - The accounts whose notes we can access in this call. Currently optional and will default to all.
+   */ async runUnconstrained(request, contractAddress, selector, scopes) {
+        await verifyCurrentClassId(contractAddress, await this.db.getContractInstance(contractAddress), this.node, await this.node.getBlockNumber());
+        const entryPointArtifact = await this.db.getFunctionArtifact(contractAddress, selector);
+        if (entryPointArtifact.functionType !== FunctionType.UNCONSTRAINED) {
+            throw new Error(`Cannot run ${entryPointArtifact.functionType} function as unconstrained`);
+        }
+        const context = new ViewDataOracle(contractAddress, [], [], this.db, this.node, undefined, scopes);
+        try {
+            return await executeUnconstrainedFunction(this.simulationProvider, context, entryPointArtifact, contractAddress, request.selector, request.args);
+        } catch (err) {
+            throw createSimulationError(err instanceof Error ? err : new Error('Unknown error during private execution'));
+        }
+    }
+}

package/dest/{client → private}/unconstrained_execution.d.ts

@@ -1,8 +1,8 @@
-import { type AbiDecoded, type FunctionArtifact, type FunctionSelector } from '@aztec/foundation/abi';
-import { type AztecAddress } from '@aztec/foundation/aztec-address';
-import { type Fr } from '@aztec/foundation/fields';
-import { type SimulationProvider } from '../server.js';
-import { type ViewDataOracle } from './view_data_oracle.js';
+import type { Fr } from '@aztec/foundation/fields';
+import { type AbiDecoded, type FunctionArtifact, type FunctionSelector } from '@aztec/stdlib/abi';
+import type { AztecAddress } from '@aztec/stdlib/aztec-address';
+import type { SimulationProvider } from './providers/simulation_provider.js';
+import type { ViewDataOracle } from './view_data_oracle.js';
 /**
  * Execute an unconstrained function and return the decoded values.
  */

package/dest/private/unconstrained_execution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unconstrained_execution.d.ts","sourceRoot":"","sources":["../../src/private/unconstrained_execution.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,gBAAgB,EAAE,KAAK,gBAAgB,EAAiB,MAAM,mBAAmB,CAAC;AACjH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAKhE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AAC7E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAG5D;;GAEG;AACH,wBAAsB,4BAA4B,CAChD,iBAAiB,EAAE,kBAAkB,EACrC,MAAM,EAAE,cAAc,EACtB,QAAQ,EAAE,gBAAgB,EAC1B,eAAe,EAAE,YAAY,EAC7B,gBAAgB,EAAE,gBAAgB,EAClC,IAAI,EAAE,EAAE,EAAE,EACV,GAAG,yCAAoD,GACtD,OAAO,CAAC,UAAU,CAAC,CAyBrB"}

package/dest/private/unconstrained_execution.js

@@ -0,0 +1,27 @@
+import { createLogger } from '@aztec/foundation/log';
+import { decodeFromAbi } from '@aztec/stdlib/abi';
+import { ExecutionError, resolveAssertionMessageFromError } from '../common/errors.js';
+import { witnessMapToFields } from './acvm/deserialize.js';
+import { Oracle, extractCallStack, toACVMWitness } from './acvm/index.js';
+// docs:start:execute_unconstrained_function
+/**
+ * Execute an unconstrained function and return the decoded values.
+ */ export async function executeUnconstrainedFunction(simulatorProvider, oracle, artifact, contractAddress, functionSelector, args, log = createLogger('simulator:unconstrained_execution')) {
+    log.verbose(`Executing unconstrained function ${artifact.name}`, {
+        contract: contractAddress,
+        selector: functionSelector
+    });
+    const acir = artifact.bytecode;
+    const initialWitness = toACVMWitness(0, args);
+    const acirExecutionResult = await simulatorProvider.executeUserCircuit(acir, initialWitness, new Oracle(oracle)).catch((err)=>{
+        err.message = resolveAssertionMessageFromError(err, artifact);
+        throw new ExecutionError(err.message, {
+            contractAddress,
+            functionSelector
+        }, extractCallStack(err, artifact.debug), {
+            cause: err
+        });
+    });
+    const returnWitness = witnessMapToFields(acirExecutionResult.returnWitness);
+    return decodeFromAbi(artifact.returnTypes, returnWitness);
+} // docs:end:execute_unconstrained_function

package/dest/{client → private}/view_data_oracle.d.ts

@@ -1,11 +1,17 @@
 /// <reference types="node" resolution-mode="require"/>
 /// <reference types="node" resolution-mode="require"/>
-import { type AuthWitness, type AztecNode, type CompleteAddress, type MerkleTreeId, type NoteStatus, type NullifierMembershipWitness, type PublicDataWitness } from '@aztec/circuit-types';
-import { type BlockHeader, type ContractInstance, type IndexedTaggingSecret, type KeyValidationRequest } from '@aztec/circuits.js';
-import { AztecAddress } from '@aztec/foundation/aztec-address';
 import { Fr } from '@aztec/foundation/fields';
-import { type NoteData, TypedOracle } from '../acvm/index.js';
-import { type DBOracle } from './db_oracle.js';
+import type { AuthWitness } from '@aztec/stdlib/auth-witness';
+import { AztecAddress } from '@aztec/stdlib/aztec-address';
+import type { CompleteAddress, ContractInstance } from '@aztec/stdlib/contract';
+import type { AztecNode } from '@aztec/stdlib/interfaces/client';
+import type { KeyValidationRequest } from '@aztec/stdlib/kernel';
+import { IndexedTaggingSecret, LogWithTxData } from '@aztec/stdlib/logs';
+import type { NoteStatus } from '@aztec/stdlib/note';
+import { type MerkleTreeId, type NullifierMembershipWitness, PublicDataWitness } from '@aztec/stdlib/trees';
+import type { BlockHeader, Capsule } from '@aztec/stdlib/tx';
+import { type NoteData, TypedOracle } from './acvm/index.js';
+import type { DBOracle } from './db_oracle.js';
 /**
  * The execution context for a client view tx simulation.
  * It only reads data from data sources. Nothing will be updated or created during this simulation.
@@ -14,13 +20,14 @@ export declare class ViewDataOracle extends TypedOracle {
     protected readonly contractAddress: AztecAddress;
     /** List of transient auth witnesses to be used during this simulation */
     protected readonly authWitnesses: AuthWitness[];
+    protected readonly capsules: Capsule[];
     protected readonly db: DBOracle;
     protected readonly aztecNode: AztecNode;
     protected log: import("@aztec/foundation/log").Logger;
     protected readonly scopes?: AztecAddress[] | undefined;
     constructor(contractAddress: AztecAddress, 
     /** List of transient auth witnesses to be used during this simulation */
-    authWitnesses: AuthWitness[], db: DBOracle, aztecNode: AztecNode, log?: import("@aztec/foundation/log").Logger, scopes?: AztecAddress[] | undefined);
+    authWitnesses: AuthWitness[], capsules: Capsule[], db: DBOracle, aztecNode: AztecNode, log?: import("@aztec/foundation/log").Logger, scopes?: AztecAddress[] | undefined);
     getBlockNumber(): Promise<number>;
     getContractAddress(): Promise<AztecAddress>;
     getChainId(): Promise<Fr>;
@@ -126,7 +133,7 @@ export declare class ViewDataOracle extends TypedOracle {
      * @dev Contract address and secret are only used to compute the nullifier to get non-nullified messages
      * @returns The l1 to l2 membership witness (index of message in the tree and sibling path).
      */
-    getL1ToL2MembershipWitness(contractAddress: AztecAddress, messageHash: Fr, secret: Fr): Promise<import("./index.js").MessageLoadOracleInputs<39>>;
+    getL1ToL2MembershipWitness(contractAddress: AztecAddress, messageHash: Fr, secret: Fr): Promise<import("../client.js").MessageLoadOracleInputs<39>>;
     /**
      * Read the public storage data.
      * @param contractAddress - The address to read storage from.
@@ -147,6 +154,7 @@ export declare class ViewDataOracle extends TypedOracle {
     getIndexedTaggingSecretAsSender(sender: AztecAddress, recipient: AztecAddress): Promise<IndexedTaggingSecret>;
     syncNotes(): Promise<void>;
     deliverNote(contractAddress: AztecAddress, storageSlot: Fr, nonce: Fr, content: Fr[], noteHash: Fr, nullifier: Fr, txHash: Fr, recipient: AztecAddress): Promise<void>;
+    getLogByTag(tag: Fr): Promise<LogWithTxData | null>;
     storeCapsule(contractAddress: AztecAddress, slot: Fr, capsule: Fr[]): Promise<void>;
     loadCapsule(contractAddress: AztecAddress, slot: Fr): Promise<Fr[] | null>;
     deleteCapsule(contractAddress: AztecAddress, slot: Fr): Promise<void>;

package/dest/private/view_data_oracle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"view_data_oracle.d.ts","sourceRoot":"","sources":["../../src/private/view_data_oracle.ts"],"names":[],"mappings":";;AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAEhF,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AACjE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACzE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,0BAA0B,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC5G,OAAO,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAE7D,OAAO,EAAE,KAAK,QAAQ,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC7D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG/C;;;GAGG;AACH,qBAAa,cAAe,SAAQ,WAAW;IAE3C,SAAS,CAAC,QAAQ,CAAC,eAAe,EAAE,YAAY;IAChD,yEAAyE;IACzE,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,WAAW,EAAE;IAC/C,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE;IACtC,SAAS,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ;IAC/B,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,SAAS;IACvC,SAAS,CAAC,GAAG;IACb,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAPP,eAAe,EAAE,YAAY;IAChD,yEAAyE;IACtD,aAAa,EAAE,WAAW,EAAE,EAC5B,QAAQ,EAAE,OAAO,EAAE,EACnB,EAAE,EAAE,QAAQ,EACZ,SAAS,EAAE,SAAS,EAC7B,GAAG,yCAAgD,EAC1C,MAAM,CAAC,4BAAgB;IAK5B,cAAc,IAAI,OAAO,CAAC,MAAM,CAAC;IAIjC,kBAAkB,IAAI,OAAO,CAAC,YAAY,CAAC;IAI3C,UAAU,IAAI,OAAO,CAAC,EAAE,CAAC;IAIzB,UAAU,IAAI,OAAO,CAAC,EAAE,CAAC;IAIzC;;;;;OAKG;IACa,uBAAuB,CAAC,OAAO,EAAE,EAAE,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAInF;;;;;;OAMG;IACa,oBAAoB,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC;IAI7G;;;;;OAKG;IACmB,6BAA6B,CACjD,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,EAAE,GACZ,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC;IAIlD;;;;;;;;OAQG;IACmB,gCAAgC,CACpD,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,EAAE,GACZ,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC;IAIlD;;;;;OAKG;IACmB,wBAAwB,CAC5C,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,EAAE,GACX,OAAO,CAAC,iBAAiB,GAAG,SAAS,CAAC;IAIzC;;;;OAIG;IACmB,cAAc,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC;IAQ3F;;;;;OAKG;IACa,kBAAkB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,eAAe,CAAC;IAInF;;;;OAIG;IACa,mBAAmB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAIrF;;;;;OAKG;IACa,cAAc,CAAC,WAAW,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,GAAG,SAAS,CAAC;IAM1E;;;;;;;;;;;;;;;;;;;;OAoBG;IACmB,QAAQ,CAC5B,WAAW,EAAE,EAAE,EACf,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EAAE,EACzB,eAAe,EAAE,MAAM,EAAE,EACzB,eAAe,EAAE,MAAM,EAAE,EACzB,YAAY,EAAE,EAAE,EAAE,EAClB,iBAAiB,EAAE,MAAM,EAAE,EAC3B,aAAa,EAAE,MAAM,EAAE,EACvB,aAAa,EAAE,MAAM,EAAE,EACvB,aAAa,EAAE,MAAM,EAAE,EACvB,SAAS,EAAE,MAAM,EAAE,EACnB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,UAAU,GACjB,OAAO,CAAC,QAAQ,EAAE,CAAC;IAiBtB;;;;OAIG;IACmB,oBAAoB,CAAC,cAAc,EAAE,EAAE;IAM7D;;;;;;;OAOG;IACmB,0BAA0B,CAAC,eAAe,EAAE,YAAY,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE;IAI3G;;;;;;OAMG;IACmB,WAAW,CAC/B,eAAe,EAAE,YAAY,EAC7B,gBAAgB,EAAE,EAAE,EACpB,WAAW,EAAE,MAAM,EACnB,gBAAgB,EAAE,MAAM;IAeV,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,IAAI;IAQ7D;;;;;;;OAOG;IACmB,+BAA+B,CACnD,MAAM,EAAE,YAAY,EACpB,SAAS,EAAE,YAAY,GACtB,OAAO,CAAC,oBAAoB,CAAC;IAIV,SAAS;IAcT,WAAW,CAC/B,eAAe,EAAE,YAAY,EAC7B,WAAW,EAAE,EAAE,EACf,KAAK,EAAE,EAAE,EACT,OAAO,EAAE,EAAE,EAAE,EACb,QAAQ,EAAE,EAAE,EACZ,SAAS,EAAE,EAAE,EACb,MAAM,EAAE,EAAE,EACV,SAAS,EAAE,YAAY;IAUT,WAAW,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,aAAa,GAAG,IAAI,CAAC;IAInD,YAAY,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAQ7E,WAAW,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC;IAWhF,aAAa,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAQrE,WAAW,CACzB,eAAe,EAAE,YAAY,EAC7B,OAAO,EAAE,EAAE,EACX,OAAO,EAAE,EAAE,EACX,UAAU,EAAE,MAAM,GACjB,OAAO,CAAC,IAAI,CAAC;IASA,aAAa,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;CAI/F"}

package/dest/private/view_data_oracle.js

@@ -0,0 +1,260 @@
+import { Aes128 } from '@aztec/foundation/crypto';
+import { Fr } from '@aztec/foundation/fields';
+import { applyStringFormatting, createLogger } from '@aztec/foundation/log';
+import { AztecAddress } from '@aztec/stdlib/aztec-address';
+import { siloNullifier } from '@aztec/stdlib/hash';
+import { TypedOracle } from './acvm/index.js';
+import { pickNotes } from './pick_notes.js';
+/**
+ * The execution context for a client view tx simulation.
+ * It only reads data from data sources. Nothing will be updated or created during this simulation.
+ */ export class ViewDataOracle extends TypedOracle {
+    contractAddress;
+    authWitnesses;
+    capsules;
+    db;
+    aztecNode;
+    log;
+    scopes;
+    constructor(contractAddress, /** List of transient auth witnesses to be used during this simulation */ authWitnesses, capsules, db, aztecNode, log = createLogger('simulator:client_view_context'), scopes){
+        super(), this.contractAddress = contractAddress, this.authWitnesses = authWitnesses, this.capsules = capsules, this.db = db, this.aztecNode = aztecNode, this.log = log, this.scopes = scopes;
+    }
+    getBlockNumber() {
+        return this.aztecNode.getBlockNumber();
+    }
+    getContractAddress() {
+        return Promise.resolve(this.contractAddress);
+    }
+    getChainId() {
+        return Promise.resolve(this.aztecNode.getChainId().then((id)=>new Fr(id)));
+    }
+    getVersion() {
+        return Promise.resolve(this.aztecNode.getVersion().then((v)=>new Fr(v)));
+    }
+    /**
+   * Retrieve keys associated with a specific master public key and app address.
+   * @param pkMHash - The master public key hash.
+   * @returns A Promise that resolves to nullifier keys.
+   * @throws If the keys are not registered in the key store.
+   */ getKeyValidationRequest(pkMHash) {
+        return this.db.getKeyValidationRequest(pkMHash, this.contractAddress);
+    }
+    /**
+   * Fetches the index and sibling path of a leaf at a given block from a given tree.
+   * @param blockNumber - The block number at which to get the membership witness.
+   * @param treeId - Id of the tree to get the sibling path from.
+   * @param leafValue - The leaf value
+   * @returns The index and sibling path concatenated [index, sibling_path]
+   */ getMembershipWitness(blockNumber, treeId, leafValue) {
+        return this.db.getMembershipWitness(blockNumber, treeId, leafValue);
+    }
+    /**
+   * Returns a nullifier membership witness for a given nullifier at a given block.
+   * @param blockNumber - The block number at which to get the index.
+   * @param nullifier - Nullifier we try to find witness for.
+   * @returns The nullifier membership witness (if found).
+   */ async getNullifierMembershipWitness(blockNumber, nullifier) {
+        return await this.db.getNullifierMembershipWitness(blockNumber, nullifier);
+    }
+    /**
+   * Returns a low nullifier membership witness for a given nullifier at a given block.
+   * @param blockNumber - The block number at which to get the index.
+   * @param nullifier - Nullifier we try to find the low nullifier witness for.
+   * @returns The low nullifier membership witness (if found).
+   * @remarks Low nullifier witness can be used to perform a nullifier non-inclusion proof by leveraging the "linked
+   * list structure" of leaves and proving that a lower nullifier is pointing to a bigger next value than the nullifier
+   * we are trying to prove non-inclusion for.
+   */ async getLowNullifierMembershipWitness(blockNumber, nullifier) {
+        return await this.db.getLowNullifierMembershipWitness(blockNumber, nullifier);
+    }
+    /**
+   * Returns a public data tree witness for a given leaf slot at a given block.
+   * @param blockNumber - The block number at which to get the index.
+   * @param leafSlot - The slot of the public data tree to get the witness for.
+   * @returns - The witness
+   */ async getPublicDataTreeWitness(blockNumber, leafSlot) {
+        return await this.db.getPublicDataTreeWitness(blockNumber, leafSlot);
+    }
+    /**
+   * Fetches a block header of a given block.
+   * @param blockNumber - The number of a block of which to get the block header.
+   * @returns Block extracted from a block with block number `blockNumber`.
+   */ async getBlockHeader(blockNumber) {
+        const block = await this.db.getBlock(blockNumber);
+        if (!block) {
+            return undefined;
+        }
+        return block.header;
+    }
+    /**
+   * Retrieve the complete address associated to a given address.
+   * @param account - The account address.
+   * @returns A complete address associated with the input address.
+   * @throws An error if the account is not registered in the database.
+   */ getCompleteAddress(account) {
+        return this.db.getCompleteAddress(account);
+    }
+    /**
+   * Returns a contract instance associated with an address or throws if not found.
+   * @param address - Address.
+   * @returns A contract instance.
+   */ getContractInstance(address) {
+        return this.db.getContractInstance(address);
+    }
+    /**
+   * Returns an auth witness for the given message hash. Checks on the list of transient witnesses
+   * for this transaction first, and falls back to the local database if not found.
+   * @param messageHash - Hash of the message to authenticate.
+   * @returns Authentication witness for the requested message hash.
+   */ getAuthWitness(messageHash) {
+        return Promise.resolve(this.authWitnesses.find((w)=>w.requestHash.equals(messageHash))?.witness ?? this.db.getAuthWitness(messageHash));
+    }
+    /**
+   * Gets some notes for a contract address and storage slot.
+   * Returns a flattened array containing filtered notes.
+   *
+   * @remarks
+   * Check for pending notes with matching slot.
+   * Real notes coming from DB will have a leafIndex which
+   * represents their index in the note hash tree.
+   *
+   * @param storageSlot - The storage slot.
+   * @param numSelects - The number of valid selects in selectBy and selectValues.
+   * @param selectBy - An array of indices of the fields to selects.
+   * @param selectValues - The values to match.
+   * @param selectComparators - The comparators to use to match values.
+   * @param sortBy - An array of indices of the fields to sort.
+   * @param sortOrder - The order of the corresponding index in sortBy. (1: DESC, 2: ASC, 0: Do nothing)
+   * @param limit - The number of notes to retrieve per query.
+   * @param offset - The starting index for pagination.
+   * @param status - The status of notes to fetch.
+   * @returns Array of note data.
+   */ async getNotes(storageSlot, numSelects, selectByIndexes, selectByOffsets, selectByLengths, selectValues, selectComparators, sortByIndexes, sortByOffsets, sortByLengths, sortOrder, limit, offset, status) {
+        const dbNotes = await this.db.getNotes(this.contractAddress, storageSlot, status, this.scopes);
+        return pickNotes(dbNotes, {
+            selects: selectByIndexes.slice(0, numSelects).map((index, i)=>({
+                    selector: {
+                        index,
+                        offset: selectByOffsets[i],
+                        length: selectByLengths[i]
+                    },
+                    value: selectValues[i],
+                    comparator: selectComparators[i]
+                })),
+            sorts: sortByIndexes.map((index, i)=>({
+                    selector: {
+                        index,
+                        offset: sortByOffsets[i],
+                        length: sortByLengths[i]
+                    },
+                    order: sortOrder[i]
+                })),
+            limit,
+            offset
+        });
+    }
+    /**
+   * Check if a nullifier exists in the nullifier tree.
+   * @param innerNullifier - The inner nullifier.
+   * @returns A boolean indicating whether the nullifier exists in the tree or not.
+   */ async checkNullifierExists(innerNullifier) {
+        const nullifier = await siloNullifier(this.contractAddress, innerNullifier);
+        const index = await this.db.getNullifierIndex(nullifier);
+        return index !== undefined;
+    }
+    /**
+   * Fetches a message from the db, given its key.
+   * @param contractAddress - Address of a contract by which the message was emitted.
+   * @param messageHash - Hash of the message.
+   * @param secret - Secret used to compute a nullifier.
+   * @dev Contract address and secret are only used to compute the nullifier to get non-nullified messages
+   * @returns The l1 to l2 membership witness (index of message in the tree and sibling path).
+   */ async getL1ToL2MembershipWitness(contractAddress, messageHash, secret) {
+        return await this.db.getL1ToL2MembershipWitness(contractAddress, messageHash, secret);
+    }
+    /**
+   * Read the public storage data.
+   * @param contractAddress - The address to read storage from.
+   * @param startStorageSlot - The starting storage slot.
+   * @param blockNumber - The block number to read storage at.
+   * @param numberOfElements - Number of elements to read from the starting storage slot.
+   */ async storageRead(contractAddress, startStorageSlot, blockNumber, numberOfElements) {
+        const values = [];
+        for(let i = 0n; i < numberOfElements; i++){
+            const storageSlot = new Fr(startStorageSlot.value + i);
+            const value = await this.aztecNode.getPublicStorageAt(contractAddress, storageSlot, blockNumber);
+            this.log.debug(`Oracle storage read: slot=${storageSlot.toString()} address-${contractAddress.toString()} value=${value}`);
+            values.push(value);
+        }
+        return values;
+    }
+    debugLog(message, fields) {
+        // TODO(#10558) Remove this check once the debug log is fixed
+        if (message.startsWith('Context.note_hashes, after pushing new note hash:')) {
+            return;
+        }
+        this.log.verbose(`${applyStringFormatting(message, fields)}`, {
+            module: `${this.log.module}:debug_log`
+        });
+    }
+    /**
+   * Returns the tagging secret for a given sender and recipient pair, siloed to the current contract address.
+   * Includes the next index to be used used for tagging with this secret.
+   * For this to work, the ivsk_m of the sender must be known.
+   * @param sender - The address sending the note
+   * @param recipient - The address receiving the note
+   * @returns A tagging secret that can be used to tag notes.
+   */ async getIndexedTaggingSecretAsSender(sender, recipient) {
+        return await this.db.getIndexedTaggingSecretAsSender(this.contractAddress, sender, recipient);
+    }
+    async syncNotes() {
+        const taggedLogsByRecipient = await this.db.syncTaggedLogs(this.contractAddress, await this.aztecNode.getBlockNumber(), this.scopes);
+        for (const [recipient, taggedLogs] of taggedLogsByRecipient.entries()){
+            await this.db.processTaggedLogs(taggedLogs, AztecAddress.fromString(recipient));
+        }
+        await this.db.removeNullifiedNotes(this.contractAddress);
+    }
+    async deliverNote(contractAddress, storageSlot, nonce, content, noteHash, nullifier, txHash, recipient) {
+        // TODO(#10727): allow other contracts to deliver notes
+        if (!this.contractAddress.equals(contractAddress)) {
+            throw new Error(`Got a note delivery request from ${contractAddress}, expected ${this.contractAddress}`);
+        }
+        await this.db.deliverNote(contractAddress, storageSlot, nonce, content, noteHash, nullifier, txHash, recipient);
+    }
+    getLogByTag(tag) {
+        return this.db.getLogByTag(tag);
+    }
+    storeCapsule(contractAddress, slot, capsule) {
+        if (!contractAddress.equals(this.contractAddress)) {
+            // TODO(#10727): instead of this check that this.contractAddress is allowed to access the external DB
+            throw new Error(`Contract ${contractAddress} is not allowed to access ${this.contractAddress}'s PXE DB`);
+        }
+        return this.db.storeCapsule(this.contractAddress, slot, capsule);
+    }
+    async loadCapsule(contractAddress, slot) {
+        if (!contractAddress.equals(this.contractAddress)) {
+            // TODO(#10727): instead of this check that this.contractAddress is allowed to access the external DB
+            throw new Error(`Contract ${contractAddress} is not allowed to access ${this.contractAddress}'s PXE DB`);
+        }
+        return this.capsules.find((c)=>c.contractAddress.equals(contractAddress) && c.storageSlot.equals(slot))?.data ?? await this.db.loadCapsule(this.contractAddress, slot);
+    }
+    deleteCapsule(contractAddress, slot) {
+        if (!contractAddress.equals(this.contractAddress)) {
+            // TODO(#10727): instead of this check that this.contractAddress is allowed to access the external DB
+            throw new Error(`Contract ${contractAddress} is not allowed to access ${this.contractAddress}'s PXE DB`);
+        }
+        return this.db.deleteCapsule(this.contractAddress, slot);
+    }
+    copyCapsule(contractAddress, srcSlot, dstSlot, numEntries) {
+        if (!contractAddress.equals(this.contractAddress)) {
+            // TODO(#10727): instead of this check that this.contractAddress is allowed to access the external DB
+            throw new Error(`Contract ${contractAddress} is not allowed to access ${this.contractAddress}'s PXE DB`);
+        }
+        return this.db.copyCapsule(this.contractAddress, srcSlot, dstSlot, numEntries);
+    }
+    // TODO(#11849): consider replacing this oracle with a pure Noir implementation of aes decryption.
+    aes128Decrypt(ciphertext, iv, symKey) {
+        const aes128 = new Aes128();
+        return aes128.decryptBufferCBC(ciphertext, iv, symKey);
+    }
+}

package/dest/{avm → public/avm}/avm_context.d.ts

@@ -1,9 +1,10 @@
-import { type AztecAddress } from '@aztec/circuits.js';
-import { type Fr } from '@aztec/foundation/fields';
-import { type AvmExecutionEnvironment } from './avm_execution_environment.js';
+import type { Fr } from '@aztec/foundation/fields';
+import type { AztecAddress } from '@aztec/stdlib/aztec-address';
+import type { AvmExecutionEnvironment } from './avm_execution_environment.js';
 import { type Gas } from './avm_gas.js';
 import { AvmMachineState } from './avm_machine_state.js';
-import { type AvmPersistableStateManager } from './journal/journal.js';
+import type { AvmSimulator } from './avm_simulator.js';
+import type { AvmPersistableStateManager } from './journal/journal.js';
 /**
  * An execution context includes the information necessary to initiate AVM
  * execution along with all state maintained by the AVM throughout execution.
@@ -20,6 +21,7 @@ export declare class AvmContext {
      * @returns new AvmContext instance
      */
     constructor(persistableState: AvmPersistableStateManager, environment: AvmExecutionEnvironment, machineState: AvmMachineState);
+    provideSimulator?: (ctx: this) => Promise<AvmSimulator>;
     /**
      * Prepare a new AVM context that will be ready for an external/nested call
      * - Fork the world state journal
@@ -34,6 +36,6 @@ export declare class AvmContext {
      * @param callType - Type of call (CALL or STATICCALL)
      * @returns new AvmContext instance
      */
-    createNestedContractCallContext(address: AztecAddress, calldata: Fr[], allocatedGas: Gas, callType: 'CALL' | 'STATICCALL'): AvmContext;
+    createNestedContractCallContext(address: AztecAddress, calldata: Fr[], allocatedGas: Gas, callType: 'CALL' | 'STATICCALL'): Promise<AvmContext>;
 }
 //# sourceMappingURL=avm_context.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"avm_context.d.ts","sourceRoot":"","sources":["../../../src/public/avm/avm_context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AAC9E,OAAO,EAAE,KAAK,GAAG,EAAgB,MAAM,cAAc,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAEvE;;;GAGG;AACH,qBAAa,UAAU;IASZ,gBAAgB,EAAE,0BAA0B;IAC5C,WAAW,EAAE,uBAAuB;IACpC,YAAY,EAAE,eAAe;IAVtC;;;;;;OAMG;gBAEM,gBAAgB,EAAE,0BAA0B,EAC5C,WAAW,EAAE,uBAAuB,EACpC,YAAY,EAAE,eAAe;IAK/B,gBAAgB,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,KAAK,OAAO,CAAC,YAAY,CAAC,CAAC;IAE/D;;;;;;;;;;;;;OAaG;IACU,+BAA+B,CAC1C,OAAO,EAAE,YAAY,EACrB,QAAQ,EAAE,EAAE,EAAE,EACd,YAAY,EAAE,GAAG,EACjB,QAAQ,EAAE,MAAM,GAAG,YAAY,GAC9B,OAAO,CAAC,UAAU,CAAC;CAUvB"}

package/dest/public/avm/avm_context.js

@@ -0,0 +1,44 @@
+import { gasToGasLeft } from './avm_gas.js';
+import { AvmMachineState } from './avm_machine_state.js';
+/**
+ * An execution context includes the information necessary to initiate AVM
+ * execution along with all state maintained by the AVM throughout execution.
+ */ export class AvmContext {
+    persistableState;
+    environment;
+    machineState;
+    /**
+   * Create a new AVM context
+   * @param persistableState - Manages world state and accrued substate during execution - (caching, fetching, tracing)
+   * @param environment - Contains constant variables provided by the kernel
+   * @param machineState - VM state that is modified on an instruction-by-instruction basis
+   * @returns new AvmContext instance
+   */ constructor(persistableState, environment, machineState){
+        this.persistableState = persistableState;
+        this.environment = environment;
+        this.machineState = machineState;
+    }
+    // This is needed to break a dependency cycle created by the CALL opcode,
+    // which needs to create a new simulator but cannot depend directly on AvmSimulator.
+    provideSimulator;
+    /**
+   * Prepare a new AVM context that will be ready for an external/nested call
+   * - Fork the world state journal
+   * - Derive a machine state from the current state
+   *   - E.g., gas metering is preserved but pc is reset
+   * - Derive an execution environment from the caller/parent
+   *   - Alter address
+   *
+   * @param address - The contract instance to initialize a context for
+   * @param calldata - Data/arguments for nested call
+   * @param allocatedGas - Gas allocated for the nested call
+   * @param callType - Type of call (CALL or STATICCALL)
+   * @returns new AvmContext instance
+   */ async createNestedContractCallContext(address, calldata, allocatedGas, callType) {
+        const deriveFn = callType === 'CALL' ? this.environment.deriveEnvironmentForNestedCall : this.environment.deriveEnvironmentForNestedStaticCall;
+        const newExecutionEnvironment = deriveFn.call(this.environment, address, calldata);
+        const forkedWorldState = await this.persistableState.fork();
+        const machineState = AvmMachineState.fromState(gasToGasLeft(allocatedGas));
+        return new AvmContext(forkedWorldState, newExecutionEnvironment, machineState);
+    }
+}

package/dest/{avm → public/avm}/avm_contract_call_result.d.ts

@@ -1,8 +1,8 @@
-import { type SimulationError } from '@aztec/circuit-types';
-import { Gas } from '@aztec/circuits.js';
-import { type Fr } from '@aztec/foundation/fields';
-import { type Gas as AvmGas } from './avm_gas.js';
-import { type AvmRevertReason } from './errors.js';
+import type { Fr } from '@aztec/foundation/fields';
+import type { SimulationError } from '@aztec/stdlib/errors';
+import { Gas } from '@aztec/stdlib/gas';
+import type { Gas as AvmGas } from './avm_gas.js';
+import type { AvmRevertReason } from './errors.js';
 /**
  * Results of an contract call's execution in the AVM.
  */

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

@@ -0,0 +1 @@
+{"version":3,"file":"avm_contract_call_result.d.ts","sourceRoot":"","sources":["../../../src/public/avm/avm_contract_call_result.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAC;AAKxC,OAAO,KAAK,EAAE,GAAG,IAAI,MAAM,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEnD;;GAEG;AACH,qBAAa,qBAAqB;IAEvB,QAAQ,EAAE,OAAO;IACjB,MAAM,EAAE,EAAE,EAAE;IACZ,OAAO,EAAE,MAAM;IACf,YAAY,CAAC;gBAHb,QAAQ,EAAE,OAAO,EACjB,MAAM,EAAE,EAAE,EAAE,EACZ,OAAO,EAAE,MAAM,EACf,YAAY,CAAC,6BAAiB;IAGvC,QAAQ,IAAI,MAAM;IAQlB,QAAQ,IAAI,sBAAsB;CAInC;AAED;;;GAGG;AACH,qBAAa,sBAAsB;IAExB,QAAQ,EAAE,OAAO;IACjB,MAAM,EAAE,EAAE,EAAE;IACZ,OAAO,EAAE,GAAG;IACZ,YAAY,CAAC;gBAHb,QAAQ,EAAE,OAAO,EACjB,MAAM,EAAE,EAAE,EAAE,EACZ,OAAO,EAAE,GAAG,EACZ,YAAY,CAAC,6BAAiB;IAGvC,QAAQ,IAAI,MAAM;CAOnB"}