@aztec/pxe 0.0.0-test.1 → 0.0.1-commit.b655e406

package/dest/contract_function_simulator/hashed_values_cache.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hashed_values_cache.d.ts","sourceRoot":"","sources":["../../src/contract_function_simulator/hashed_values_cache.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAEhD;;GAEG;AACH,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,KAAK,CAAoB;gBAErB,gBAAgB,GAAE,YAAY,EAAO;IAOjD;;;;OAIG;WACW,MAAM,CAAC,gBAAgB,GAAE,YAAY,EAAO;IAI1D;;;;OAIG;IACI,WAAW,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,GAAG,SAAS;IAQ9C;;;;OAIG;IACI,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE;CAGpC"}

package/dest/contract_function_simulator/hashed_values_cache.js

@@ -0,0 +1,36 @@
+/**
+ * A cache for hashed values (arguments, returns) during transaction execution.
+ */ export class HashedValuesCache {
+    cache;
+    constructor(initialArguments = []){
+        this.cache = new Map();
+        for (const initialArg of initialArguments){
+            this.cache.set(initialArg.hash.toBigInt(), initialArg.values);
+        }
+    }
+    /**
+   * Creates a new hashed values cache.
+   * @param initialArguments - The initial arguments to add to the cache.
+   * @returns The new hashed values cache.
+   */ static create(initialArguments = []) {
+        return new HashedValuesCache(initialArguments);
+    }
+    /**
+   * Gets preimage of a hash.
+   * @param hash - The hash to get the preimage of.
+   * @returns The preimage.
+   */ getPreimage(hash) {
+        if (hash.isEmpty()) {
+            return [];
+        } else {
+            return this.cache.get(hash.toBigInt());
+        }
+    }
+    /**
+   * Stores values in cache and returns its hash.
+   * @param values - The values to store.
+   * @returns The hash of the values.
+   */ store(values, hash) {
+        this.cache.set(hash.toBigInt(), values);
+    }
+}

package/dest/contract_function_simulator/index.d.ts

@@ -0,0 +1,14 @@
+export { ExecutionNoteCache } from './execution_note_cache.js';
+export { ExecutionTaggingIndexCache } from './execution_tagging_index_cache.js';
+export { HashedValuesCache } from './hashed_values_cache.js';
+export { pickNotes } from './pick_notes.js';
+export type { NoteData, IMiscOracle, IUtilityExecutionOracle, IPrivateExecutionOracle } from './oracle/interfaces.js';
+export { MessageLoadOracleInputs } from './oracle/message_load_oracle_inputs.js';
+export { UtilityExecutionOracle } from './oracle/utility_execution_oracle.js';
+export { PrivateExecutionOracle } from './oracle/private_execution_oracle.js';
+export { Oracle } from './oracle/oracle.js';
+export { executePrivateFunction, extractPrivateCircuitPublicInputs } from './oracle/private_execution.js';
+export { generateSimulatedProvingResult } from './contract_function_simulator.js';
+export { packAsRetrievedNote } from './oracle/note_packing_utils.js';
+export { UtilityContext } from './noir-structs/utility_context.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/contract_function_simulator/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACtH,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC5C,OAAO,EAAE,sBAAsB,EAAE,iCAAiC,EAAE,MAAM,+BAA+B,CAAC;AAC1G,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAClF,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC"}

package/dest/contract_function_simulator/index.js

@@ -0,0 +1,12 @@
+export { ExecutionNoteCache } from './execution_note_cache.js';
+export { ExecutionTaggingIndexCache } from './execution_tagging_index_cache.js';
+export { HashedValuesCache } from './hashed_values_cache.js';
+export { pickNotes } from './pick_notes.js';
+export { MessageLoadOracleInputs } from './oracle/message_load_oracle_inputs.js';
+export { UtilityExecutionOracle } from './oracle/utility_execution_oracle.js';
+export { PrivateExecutionOracle } from './oracle/private_execution_oracle.js';
+export { Oracle } from './oracle/oracle.js';
+export { executePrivateFunction, extractPrivateCircuitPublicInputs } from './oracle/private_execution.js';
+export { generateSimulatedProvingResult } from './contract_function_simulator.js';
+export { packAsRetrievedNote } from './oracle/note_packing_utils.js';
+export { UtilityContext } from './noir-structs/utility_context.js';

package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts

@@ -0,0 +1,20 @@
+import { Fr } from '@aztec/foundation/fields';
+import { FieldReader } from '@aztec/foundation/serialize';
+import { EventSelector } from '@aztec/stdlib/abi';
+import { AztecAddress } from '@aztec/stdlib/aztec-address';
+import { TxHash } from '@aztec/stdlib/tx';
+/**
+ * Intermediate struct used to perform batch event validation by PXE. The `utilityValidateEnqueuedNotesAndEvents` oracle
+ * expects for values of this type to be stored in a `CapsuleArray`.
+ */
+export declare class EventValidationRequest {
+    contractAddress: AztecAddress;
+    eventTypeId: EventSelector;
+    serializedEvent: Fr[];
+    eventCommitment: Fr;
+    txHash: TxHash;
+    recipient: AztecAddress;
+    constructor(contractAddress: AztecAddress, eventTypeId: EventSelector, serializedEvent: Fr[], eventCommitment: Fr, txHash: TxHash, recipient: AztecAddress);
+    static fromFields(fields: Fr[] | FieldReader): EventValidationRequest;
+}
+//# sourceMappingURL=event_validation_request.d.ts.map

package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"event_validation_request.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/noir-structs/event_validation_request.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAC1D,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAK1C;;;GAGG;AACH,qBAAa,sBAAsB;IAExB,eAAe,EAAE,YAAY;IAC7B,WAAW,EAAE,aAAa;IAC1B,eAAe,EAAE,EAAE,EAAE;IACrB,eAAe,EAAE,EAAE;IACnB,MAAM,EAAE,MAAM;IACd,SAAS,EAAE,YAAY;gBALvB,eAAe,EAAE,YAAY,EAC7B,WAAW,EAAE,aAAa,EAC1B,eAAe,EAAE,EAAE,EAAE,EACrB,eAAe,EAAE,EAAE,EACnB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,YAAY;IAGhC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,sBAAsB;CAuBtE"}

package/dest/contract_function_simulator/noir-structs/event_validation_request.js

@@ -0,0 +1,37 @@
+import { FieldReader } from '@aztec/foundation/serialize';
+import { EventSelector } from '@aztec/stdlib/abi';
+import { AztecAddress } from '@aztec/stdlib/aztec-address';
+import { TxHash } from '@aztec/stdlib/tx';
+// TODO(#14617): should we compute this from constants? This value is aztec-nr specific.
+const MAX_EVENT_SERIALIZED_LEN = 12;
+/**
+ * Intermediate struct used to perform batch event validation by PXE. The `utilityValidateEnqueuedNotesAndEvents` oracle
+ * expects for values of this type to be stored in a `CapsuleArray`.
+ */ export class EventValidationRequest {
+    contractAddress;
+    eventTypeId;
+    serializedEvent;
+    eventCommitment;
+    txHash;
+    recipient;
+    constructor(contractAddress, eventTypeId, serializedEvent, eventCommitment, txHash, recipient){
+        this.contractAddress = contractAddress;
+        this.eventTypeId = eventTypeId;
+        this.serializedEvent = serializedEvent;
+        this.eventCommitment = eventCommitment;
+        this.txHash = txHash;
+        this.recipient = recipient;
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        const contractAddress = AztecAddress.fromField(reader.readField());
+        const eventTypeId = EventSelector.fromField(reader.readField());
+        const eventStorage = reader.readFieldArray(MAX_EVENT_SERIALIZED_LEN);
+        const eventLen = reader.readField().toNumber();
+        const serializedEvent = eventStorage.slice(0, eventLen);
+        const eventCommitment = reader.readField();
+        const txHash = TxHash.fromField(reader.readField());
+        const recipient = AztecAddress.fromField(reader.readField());
+        return new EventValidationRequest(contractAddress, eventTypeId, serializedEvent, eventCommitment, txHash, recipient);
+    }
+}

package/dest/contract_function_simulator/noir-structs/log_retrieval_request.d.ts

@@ -0,0 +1,15 @@
+import { Fr } from '@aztec/foundation/fields';
+import { FieldReader } from '@aztec/foundation/serialize';
+import { AztecAddress } from '@aztec/stdlib/aztec-address';
+/**
+ * Intermediate struct used to perform batch log retrieval by PXE. The `utilityBulkRetrieveLogs` oracle expects values of this
+ * type to be stored in a `CapsuleArray`.
+ */
+export declare class LogRetrievalRequest {
+    contractAddress: AztecAddress;
+    unsiloedTag: Fr;
+    constructor(contractAddress: AztecAddress, unsiloedTag: Fr);
+    toFields(): Fr[];
+    static fromFields(fields: Fr[] | FieldReader): LogRetrievalRequest;
+}
+//# sourceMappingURL=log_retrieval_request.d.ts.map

package/dest/contract_function_simulator/noir-structs/log_retrieval_request.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"log_retrieval_request.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/noir-structs/log_retrieval_request.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAE3D;;;GAGG;AACH,qBAAa,mBAAmB;IAErB,eAAe,EAAE,YAAY;IAC7B,WAAW,EAAE,EAAE;gBADf,eAAe,EAAE,YAAY,EAC7B,WAAW,EAAE,EAAE;IAGxB,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,mBAAmB;CAQnE"}

package/dest/contract_function_simulator/noir-structs/log_retrieval_request.js

@@ -0,0 +1,25 @@
+import { FieldReader } from '@aztec/foundation/serialize';
+import { AztecAddress } from '@aztec/stdlib/aztec-address';
+/**
+ * Intermediate struct used to perform batch log retrieval by PXE. The `utilityBulkRetrieveLogs` oracle expects values of this
+ * type to be stored in a `CapsuleArray`.
+ */ export class LogRetrievalRequest {
+    contractAddress;
+    unsiloedTag;
+    constructor(contractAddress, unsiloedTag){
+        this.contractAddress = contractAddress;
+        this.unsiloedTag = unsiloedTag;
+    }
+    toFields() {
+        return [
+            this.contractAddress.toField(),
+            this.unsiloedTag
+        ];
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        const contractAddress = AztecAddress.fromField(reader.readField());
+        const unsiloedTag = reader.readField();
+        return new LogRetrievalRequest(contractAddress, unsiloedTag);
+    }
+}

package/dest/contract_function_simulator/noir-structs/log_retrieval_response.d.ts

@@ -0,0 +1,17 @@
+import { Fr } from '@aztec/foundation/fields';
+import type { TxHash } from '@aztec/stdlib/tx';
+/**
+ * Intermediate struct used to perform batch log retrieval by PXE. The `utilityBulkRetrieveLogs` oracle stores values of this
+ * type in a `CapsuleArray`.
+ */
+export declare class LogRetrievalResponse {
+    logPayload: Fr[];
+    txHash: TxHash;
+    uniqueNoteHashesInTx: Fr[];
+    firstNullifierInTx: Fr;
+    constructor(logPayload: Fr[], txHash: TxHash, uniqueNoteHashesInTx: Fr[], firstNullifierInTx: Fr);
+    toFields(): Fr[];
+    static toEmptyFields(): Fr[];
+    static toSerializedOption(response?: LogRetrievalResponse): Fr[];
+}
+//# sourceMappingURL=log_retrieval_response.d.ts.map

package/dest/contract_function_simulator/noir-structs/log_retrieval_response.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"log_retrieval_response.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/noir-structs/log_retrieval_response.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAO/C;;;GAGG;AACH,qBAAa,oBAAoB;IAEtB,UAAU,EAAE,EAAE,EAAE;IAChB,MAAM,EAAE,MAAM;IACd,oBAAoB,EAAE,EAAE,EAAE;IAC1B,kBAAkB,EAAE,EAAE;gBAHtB,UAAU,EAAE,EAAE,EAAE,EAChB,MAAM,EAAE,MAAM,EACd,oBAAoB,EAAE,EAAE,EAAE,EAC1B,kBAAkB,EAAE,EAAE;IAG/B,QAAQ,IAAI,EAAE,EAAE;IAWhB,MAAM,CAAC,aAAa,IAAI,EAAE,EAAE;IAW5B,MAAM,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,oBAAoB,GAAG,EAAE,EAAE;CAOjE"}

package/dest/contract_function_simulator/noir-structs/log_retrieval_response.js

@@ -0,0 +1,65 @@
+import { MAX_NOTE_HASHES_PER_TX, PRIVATE_LOG_CIPHERTEXT_LEN } from '@aztec/constants';
+import { range } from '@aztec/foundation/array';
+import { Fr } from '@aztec/foundation/fields';
+import { MAX_NOTE_PACKED_LEN } from './note_validation_request.js';
+const MAX_PUBLIC_LOG_LEN_FOR_NOTE_COMPLETION = MAX_NOTE_PACKED_LEN;
+const MAX_LOG_CONTENT_LEN = Math.max(MAX_PUBLIC_LOG_LEN_FOR_NOTE_COMPLETION, PRIVATE_LOG_CIPHERTEXT_LEN);
+/**
+ * Intermediate struct used to perform batch log retrieval by PXE. The `utilityBulkRetrieveLogs` oracle stores values of this
+ * type in a `CapsuleArray`.
+ */ export class LogRetrievalResponse {
+    logPayload;
+    txHash;
+    uniqueNoteHashesInTx;
+    firstNullifierInTx;
+    constructor(logPayload, txHash, uniqueNoteHashesInTx, firstNullifierInTx){
+        this.logPayload = logPayload;
+        this.txHash = txHash;
+        this.uniqueNoteHashesInTx = uniqueNoteHashesInTx;
+        this.firstNullifierInTx = firstNullifierInTx;
+    }
+    toFields() {
+        return [
+            // We need to trim the payload since public logs can be larger than MAX_LOG_CONTENT_LEN.
+            // This is currently not a problem since this class is only used with public logs for note completion.
+            ...serializeBoundedVec(this.logPayload.slice(0, MAX_LOG_CONTENT_LEN), MAX_LOG_CONTENT_LEN),
+            this.txHash.hash,
+            ...serializeBoundedVec(this.uniqueNoteHashesInTx, MAX_NOTE_HASHES_PER_TX),
+            this.firstNullifierInTx
+        ];
+    }
+    static toEmptyFields() {
+        const serializationLen = MAX_LOG_CONTENT_LEN + 1 /* logPayload BVec */  + 1 /* txHash */  + MAX_NOTE_HASHES_PER_TX + 1 /* uniqueNoteHashesInTx BVec */  + 1; /* firstNullifierInTx */ 
+        return range(serializationLen).map((_)=>Fr.zero());
+    }
+    static toSerializedOption(response) {
+        if (response) {
+            return [
+                new Fr(1),
+                ...response.toFields()
+            ];
+        } else {
+            return [
+                new Fr(0),
+                ...LogRetrievalResponse.toEmptyFields()
+            ];
+        }
+    }
+}
+/**
+ * Helper function to serialize a bounded vector according to Noir's BoundedVec format
+ * @param values - The values to serialize
+ * @param maxLength - The maximum length of the bounded vector
+ * @returns The serialized bounded vector as Fr[]
+ */ function serializeBoundedVec(values, maxLength) {
+    if (values.length > maxLength) {
+        throw new Error(`Attempted to serialize ${values} values into a BoundedVec with max length ${maxLength}`);
+    }
+    const lengthDiff = maxLength - values.length;
+    const zeroPaddingArray = Array(lengthDiff).fill(Fr.ZERO);
+    const storage = values.concat(zeroPaddingArray);
+    return [
+        ...storage,
+        new Fr(values.length)
+    ];
+}

package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts

@@ -0,0 +1,22 @@
+import { Fr } from '@aztec/foundation/fields';
+import { FieldReader } from '@aztec/foundation/serialize';
+import { AztecAddress } from '@aztec/stdlib/aztec-address';
+import { TxHash } from '@aztec/stdlib/tx';
+export declare const MAX_NOTE_PACKED_LEN = 12;
+/**
+ * Intermediate struct used to perform batch note validation by PXE. The `utilityValidateEnqueuedNotesAndEvents` oracle
+ * expects for values of this type to be stored in a `CapsuleArray`.
+ */
+export declare class NoteValidationRequest {
+    contractAddress: AztecAddress;
+    storageSlot: Fr;
+    noteNonce: Fr;
+    content: Fr[];
+    noteHash: Fr;
+    nullifier: Fr;
+    txHash: TxHash;
+    recipient: AztecAddress;
+    constructor(contractAddress: AztecAddress, storageSlot: Fr, noteNonce: Fr, content: Fr[], noteHash: Fr, nullifier: Fr, txHash: TxHash, recipient: AztecAddress);
+    static fromFields(fields: Fr[] | FieldReader): NoteValidationRequest;
+}
+//# sourceMappingURL=note_validation_request.d.ts.map

package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"note_validation_request.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/noir-structs/note_validation_request.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAG1C,eAAO,MAAM,mBAAmB,KAAK,CAAC;AAEtC;;;GAGG;AACH,qBAAa,qBAAqB;IAEvB,eAAe,EAAE,YAAY;IAC7B,WAAW,EAAE,EAAE;IACf,SAAS,EAAE,EAAE;IACb,OAAO,EAAE,EAAE,EAAE;IACb,QAAQ,EAAE,EAAE;IACZ,SAAS,EAAE,EAAE;IACb,MAAM,EAAE,MAAM;IACd,SAAS,EAAE,YAAY;gBAPvB,eAAe,EAAE,YAAY,EAC7B,WAAW,EAAE,EAAE,EACf,SAAS,EAAE,EAAE,EACb,OAAO,EAAE,EAAE,EAAE,EACb,QAAQ,EAAE,EAAE,EACZ,SAAS,EAAE,EAAE,EACb,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,YAAY;IAGhC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,qBAAqB;CA2BrE"}

package/dest/contract_function_simulator/noir-structs/note_validation_request.js

@@ -0,0 +1,42 @@
+import { FieldReader } from '@aztec/foundation/serialize';
+import { AztecAddress } from '@aztec/stdlib/aztec-address';
+import { TxHash } from '@aztec/stdlib/tx';
+// TODO(#14617): should we compute this from constants? This value is aztec-nr specific.
+export const MAX_NOTE_PACKED_LEN = 12;
+/**
+ * Intermediate struct used to perform batch note validation by PXE. The `utilityValidateEnqueuedNotesAndEvents` oracle
+ * expects for values of this type to be stored in a `CapsuleArray`.
+ */ export class NoteValidationRequest {
+    contractAddress;
+    storageSlot;
+    noteNonce;
+    content;
+    noteHash;
+    nullifier;
+    txHash;
+    recipient;
+    constructor(contractAddress, storageSlot, noteNonce, content, noteHash, nullifier, txHash, recipient){
+        this.contractAddress = contractAddress;
+        this.storageSlot = storageSlot;
+        this.noteNonce = noteNonce;
+        this.content = content;
+        this.noteHash = noteHash;
+        this.nullifier = nullifier;
+        this.txHash = txHash;
+        this.recipient = recipient;
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        const contractAddress = AztecAddress.fromField(reader.readField());
+        const storageSlot = reader.readField();
+        const noteNonce = reader.readField();
+        const contentStorage = reader.readFieldArray(MAX_NOTE_PACKED_LEN);
+        const contentLen = reader.readField().toNumber();
+        const content = contentStorage.slice(0, contentLen);
+        const noteHash = reader.readField();
+        const nullifier = reader.readField();
+        const txHash = TxHash.fromField(reader.readField());
+        const recipient = AztecAddress.fromField(reader.readField());
+        return new NoteValidationRequest(contractAddress, storageSlot, noteNonce, content, noteHash, nullifier, txHash, recipient);
+    }
+}

package/dest/contract_function_simulator/noir-structs/utility_context.d.ts

@@ -0,0 +1,22 @@
+import { Fr } from '@aztec/foundation/fields';
+import type { FieldsOf } from '@aztec/foundation/types';
+import type { AztecAddress } from '@aztec/stdlib/aztec-address';
+import type { UInt64 } from '@aztec/stdlib/types';
+/**
+ * TypeScript counterpart of utility_context.nr. Used only as a return value for the utilityGetUtilityContext oracle.
+ */
+export declare class UtilityContext {
+    readonly blockNumber: number;
+    readonly timestamp: UInt64;
+    readonly contractAddress: AztecAddress;
+    readonly version: Fr;
+    readonly chainId: Fr;
+    private constructor();
+    static from(fields: FieldsOf<UtilityContext>): UtilityContext;
+    /**
+     * Returns a representation of the utility context as expected by intrinsic Noir deserialization.
+     * The order of the fields has to be the same as the order of the fields in the utility_context.nr.
+     */
+    toNoirRepresentation(): (string | string[])[];
+}
+//# sourceMappingURL=utility_context.d.ts.map

package/dest/contract_function_simulator/noir-structs/utility_context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utility_context.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/noir-structs/utility_context.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAElD;;GAEG;AACH,qBAAa,cAAc;aAEP,WAAW,EAAE,MAAM;aACnB,SAAS,EAAE,MAAM;aACjB,eAAe,EAAE,YAAY;aAC7B,OAAO,EAAE,EAAE;aACX,OAAO,EAAE,EAAE;IAL7B,OAAO;IAQP,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,cAAc,CAAC;IAU5C;;;OAGG;IACI,oBAAoB,IAAI,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC,EAAE;CAUrD"}

package/dest/contract_function_simulator/noir-structs/utility_context.js

@@ -0,0 +1,33 @@
+import { Fr } from '@aztec/foundation/fields';
+/**
+ * TypeScript counterpart of utility_context.nr. Used only as a return value for the utilityGetUtilityContext oracle.
+ */ export class UtilityContext {
+    blockNumber;
+    timestamp;
+    contractAddress;
+    version;
+    chainId;
+    constructor(blockNumber, timestamp, contractAddress, version, chainId){
+        this.blockNumber = blockNumber;
+        this.timestamp = timestamp;
+        this.contractAddress = contractAddress;
+        this.version = version;
+        this.chainId = chainId;
+    }
+    static from(fields) {
+        return new UtilityContext(fields.blockNumber, fields.timestamp, fields.contractAddress, fields.version, fields.chainId);
+    }
+    /**
+   * Returns a representation of the utility context as expected by intrinsic Noir deserialization.
+   * The order of the fields has to be the same as the order of the fields in the utility_context.nr.
+   */ toNoirRepresentation() {
+        // TODO(#12874): remove the stupid as string conversion by modifying ForeignCallOutput type in acvm.js
+        return [
+            new Fr(this.blockNumber).toString(),
+            new Fr(this.timestamp).toString(),
+            this.contractAddress.toString(),
+            this.version.toString(),
+            this.chainId.toString()
+        ];
+    }
+}

package/dest/contract_function_simulator/oracle/index.d.ts

@@ -0,0 +1,14 @@
+import type { Oracle } from './oracle.js';
+export * from './oracle.js';
+export * from './interfaces.js';
+/**
+ * A conditional type that takes a type `T` and returns a union of its method names.
+ */
+type MethodNames<T> = {
+    [K in keyof T]: T[K] extends (...args: any[]) => any ? K : never;
+}[keyof T];
+/**
+ * Available oracle function names.
+ */
+export type ORACLE_NAMES = MethodNames<Oracle>;
+//# sourceMappingURL=index.d.ts.map

package/dest/contract_function_simulator/oracle/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/oracle/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE1C,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAEhC;;GAEG;AACH,KAAK,WAAW,CAAC,CAAC,IAAI;KACnB,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GAAG,CAAC,GAAG,KAAK;CACjE,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC"}

package/dest/contract_function_simulator/oracle/index.js

@@ -0,0 +1,2 @@
+export * from './oracle.js';
+export * from './interfaces.js';

package/dest/contract_function_simulator/oracle/interfaces.d.ts

@@ -0,0 +1,97 @@
+import type { L1_TO_L2_MSG_TREE_HEIGHT } from '@aztec/constants';
+import { Fr, Point } from '@aztec/foundation/fields';
+import type { FunctionSelector, NoteSelector } from '@aztec/stdlib/abi';
+import type { AztecAddress } from '@aztec/stdlib/aztec-address';
+import type { CompleteAddress, ContractInstance } from '@aztec/stdlib/contract';
+import type { KeyValidationRequest } from '@aztec/stdlib/kernel';
+import type { ContractClassLog } from '@aztec/stdlib/logs';
+import type { Note, NoteStatus } from '@aztec/stdlib/note';
+import { type MerkleTreeId, type NullifierMembershipWitness, PublicDataWitness } from '@aztec/stdlib/trees';
+import type { BlockHeader } from '@aztec/stdlib/tx';
+import type { Tag } from '../../tagging/tag.js';
+import type { UtilityContext } from '../noir-structs/utility_context.js';
+import type { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
+/**
+ * Information about a note needed during execution.
+ */
+export interface NoteData {
+    /** The actual note content (the fields of the Noir #[note] struct). */
+    note: Note;
+    /** The address of the contract that owns the note. */
+    contractAddress: AztecAddress;
+    /** The storage slot of the note. */
+    storageSlot: Fr;
+    /** The nonce injected into the note hash preimage by kernels. */
+    noteNonce: Fr;
+    /** A hash of the note as it gets stored in the note hash tree. */
+    noteHash: Fr;
+    /** The corresponding nullifier of the note. Undefined for pending notes. */
+    siloedNullifier?: Fr;
+    /** The note's leaf index in the note hash tree. Undefined for pending notes. */
+    index?: bigint;
+}
+/**
+ * Miscellaneous oracle methods, not very Aztec-specific and expected to be available all scenarios in which aztec-nr
+ * code runs, except #[external("public")] functions (since those are transpiled to AVM bytecode, where there are no oracles).
+ */
+export interface IMiscOracle {
+    isMisc: true;
+    utilityGetRandomField(): Fr;
+    utilityAssertCompatibleOracleVersion(version: number): void;
+    utilityDebugLog(level: number, message: string, fields: Fr[]): void;
+}
+/**
+ * Oracle methods associated with the execution of an Aztec #[external("utility")] function. Note that the IMiscOracles are also
+ * expected to be available in these contexts.
+ */
+export interface IUtilityExecutionOracle {
+    isUtility: true;
+    utilityGetUtilityContext(): Promise<UtilityContext>;
+    utilityGetKeyValidationRequest(pkMHash: Fr): Promise<KeyValidationRequest>;
+    utilityGetContractInstance(address: AztecAddress): Promise<ContractInstance>;
+    utilityGetMembershipWitness(blockNumber: number, treeId: MerkleTreeId, leafValue: Fr): Promise<Fr[] | undefined>;
+    utilityGetNullifierMembershipWitness(blockNumber: number, nullifier: Fr): Promise<NullifierMembershipWitness | undefined>;
+    utilityGetPublicDataWitness(blockNumber: number, leafSlot: Fr): Promise<PublicDataWitness | undefined>;
+    utilityGetLowNullifierMembershipWitness(blockNumber: number, nullifier: Fr): Promise<NullifierMembershipWitness | undefined>;
+    utilityGetBlockHeader(blockNumber: number): Promise<BlockHeader | undefined>;
+    utilityGetPublicKeysAndPartialAddress(account: AztecAddress): Promise<CompleteAddress>;
+    utilityGetAuthWitness(messageHash: Fr): Promise<Fr[] | undefined>;
+    utilityGetNotes(storageSlot: Fr, numSelects: number, selectByIndexes: number[], selectByOffsets: number[], selectByLengths: number[], selectValues: Fr[], selectComparators: number[], sortByIndexes: number[], sortByOffsets: number[], sortByLengths: number[], sortOrder: number[], limit: number, offset: number, status: NoteStatus): Promise<NoteData[]>;
+    utilityCheckNullifierExists(innerNullifier: Fr): Promise<boolean>;
+    utilityGetL1ToL2MembershipWitness(contractAddress: AztecAddress, messageHash: Fr, secret: Fr): Promise<MessageLoadOracleInputs<typeof L1_TO_L2_MSG_TREE_HEIGHT>>;
+    utilityStorageRead(contractAddress: AztecAddress, startStorageSlot: Fr, blockNumber: number, numberOfElements: number): Promise<Fr[]>;
+    utilityFetchTaggedLogs(pendingTaggedLogArrayBaseSlot: Fr): Promise<void>;
+    utilityValidateEnqueuedNotesAndEvents(contractAddress: AztecAddress, noteValidationRequestsArrayBaseSlot: Fr, eventValidationRequestsArrayBaseSlot: Fr): Promise<void>;
+    utilityBulkRetrieveLogs(contractAddress: AztecAddress, logRetrievalRequestsArrayBaseSlot: Fr, logRetrievalResponsesArrayBaseSlot: Fr): Promise<void>;
+    utilityStoreCapsule(contractAddress: AztecAddress, key: Fr, capsule: Fr[]): Promise<void>;
+    utilityLoadCapsule(contractAddress: AztecAddress, key: Fr): Promise<Fr[] | null>;
+    utilityDeleteCapsule(contractAddress: AztecAddress, key: Fr): Promise<void>;
+    utilityCopyCapsule(contractAddress: AztecAddress, srcKey: Fr, dstKey: Fr, numEntries: number): Promise<void>;
+    utilityAes128Decrypt(ciphertext: Buffer, iv: Buffer, symKey: Buffer): Promise<Buffer>;
+    utilityGetSharedSecret(address: AztecAddress, ephPk: Point): Promise<Point>;
+}
+/**
+ * Oracle methods associated with the execution of an Aztec #[external("private")] function. Note that both the IMiscOracles and
+ * IUtilityExecutionOracle are also expected to be available in these contexts.
+ */
+export interface IPrivateExecutionOracle {
+    isPrivate: true;
+    privateStoreInExecutionCache(values: Fr[], hash: Fr): void;
+    privateLoadFromExecutionCache(hash: Fr): Promise<Fr[]>;
+    privateNotifyCreatedNote(storageSlot: Fr, noteTypeId: NoteSelector, note: Fr[], noteHash: Fr, counter: number): void;
+    privateNotifyNullifiedNote(innerNullifier: Fr, noteHash: Fr, counter: number): Promise<void>;
+    privateNotifyCreatedNullifier(innerNullifier: Fr): Promise<void>;
+    privateNotifyCreatedContractClassLog(log: ContractClassLog, counter: number): void;
+    privateCallPrivateFunction(targetContractAddress: AztecAddress, functionSelector: FunctionSelector, argsHash: Fr, sideEffectCounter: number, isStaticCall: boolean): Promise<{
+        endSideEffectCounter: Fr;
+        returnsHash: Fr;
+    }>;
+    privateNotifyEnqueuedPublicFunctionCall(targetContractAddress: AztecAddress, calldataHash: Fr, sideEffectCounter: number, isStaticCall: boolean): Promise<void>;
+    privateNotifySetPublicTeardownFunctionCall(targetContractAddress: AztecAddress, calldataHash: Fr, sideEffectCounter: number, isStaticCall: boolean): Promise<void>;
+    privateNotifySetMinRevertibleSideEffectCounter(minRevertibleSideEffectCounter: number): Promise<void>;
+    privateGetSenderForTags(): Promise<AztecAddress | undefined>;
+    privateSetSenderForTags(senderForTags: AztecAddress): Promise<void>;
+    privateGetNextAppTagAsSender(sender: AztecAddress, recipient: AztecAddress): Promise<Tag>;
+    utilityEmitOffchainEffect(data: Fr[]): Promise<void>;
+}
+//# sourceMappingURL=interfaces.d.ts.map

package/dest/contract_function_simulator/oracle/interfaces.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"interfaces.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/oracle/interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AACjE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AACrD,OAAO,KAAK,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACxE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAChF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,0BAA0B,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC5G,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAEpD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,sBAAsB,CAAC;AAChD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAE/E;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,uEAAuE;IACvE,IAAI,EAAE,IAAI,CAAC;IACX,sDAAsD;IACtD,eAAe,EAAE,YAAY,CAAC;IAC9B,oCAAoC;IACpC,WAAW,EAAE,EAAE,CAAC;IAChB,iEAAiE;IACjE,SAAS,EAAE,EAAE,CAAC;IACd,kEAAkE;IAClE,QAAQ,EAAE,EAAE,CAAC;IACb,4EAA4E;IAC5E,eAAe,CAAC,EAAE,EAAE,CAAC;IACrB,gFAAgF;IAChF,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAOD;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,IAAI,CAAC;IAEb,qBAAqB,IAAI,EAAE,CAAC;IAC5B,oCAAoC,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5D,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC;CACrE;AAED;;;GAGG;AACH,MAAM,WAAW,uBAAuB;IACtC,SAAS,EAAE,IAAI,CAAC;IAEhB,wBAAwB,IAAI,OAAO,CAAC,cAAc,CAAC,CAAC;IACpD,8BAA8B,CAAC,OAAO,EAAE,EAAE,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAC3E,0BAA0B,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC7E,2BAA2B,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,GAAG,SAAS,CAAC,CAAC;IACjH,oCAAoC,CAClC,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,EAAE,GACZ,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC,CAAC;IACnD,2BAA2B,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,GAAG,OAAO,CAAC,iBAAiB,GAAG,SAAS,CAAC,CAAC;IACvG,uCAAuC,CACrC,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,EAAE,GACZ,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC,CAAC;IACnD,qBAAqB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC,CAAC;IAC7E,qCAAqC,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;IACvF,qBAAqB,CAAC,WAAW,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,GAAG,SAAS,CAAC,CAAC;IAClE,eAAe,CACb,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,CAAC;IACvB,2BAA2B,CAAC,cAAc,EAAE,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAClE,iCAAiC,CAC/B,eAAe,EAAE,YAAY,EAC7B,WAAW,EAAE,EAAE,EACf,MAAM,EAAE,EAAE,GACT,OAAO,CAAC,uBAAuB,CAAC,OAAO,wBAAwB,CAAC,CAAC,CAAC;IACrE,kBAAkB,CAChB,eAAe,EAAE,YAAY,EAC7B,gBAAgB,EAAE,EAAE,EACpB,WAAW,EAAE,MAAM,EACnB,gBAAgB,EAAE,MAAM,GACvB,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;IACjB,sBAAsB,CAAC,6BAA6B,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACzE,qCAAqC,CACnC,eAAe,EAAE,YAAY,EAC7B,mCAAmC,EAAE,EAAE,EACvC,oCAAoC,EAAE,EAAE,GACvC,OAAO,CAAC,IAAI,CAAC,CAAC;IACjB,uBAAuB,CACrB,eAAe,EAAE,YAAY,EAC7B,iCAAiC,EAAE,EAAE,EACrC,kCAAkC,EAAE,EAAE,GACrC,OAAO,CAAC,IAAI,CAAC,CAAC;IACjB,mBAAmB,CAAC,eAAe,EAAE,YAAY,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1F,kBAAkB,CAAC,eAAe,EAAE,YAAY,EAAE,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC;IACjF,oBAAoB,CAAC,eAAe,EAAE,YAAY,EAAE,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5E,kBAAkB,CAAC,eAAe,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC7G,oBAAoB,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACtF,sBAAsB,CAAC,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;CAC7E;AAED;;;GAGG;AACH,MAAM,WAAW,uBAAuB;IACtC,SAAS,EAAE,IAAI,CAAC;IAEhB,4BAA4B,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC;IAC3D,6BAA6B,CAAC,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;IACvD,wBAAwB,CAAC,WAAW,EAAE,EAAE,EAAE,UAAU,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACrH,0BAA0B,CAAC,cAAc,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC7F,6BAA6B,CAAC,cAAc,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACjE,oCAAoC,CAAC,GAAG,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACnF,0BAA0B,CACxB,qBAAqB,EAAE,YAAY,EACnC,gBAAgB,EAAE,gBAAgB,EAClC,QAAQ,EAAE,EAAE,EACZ,iBAAiB,EAAE,MAAM,EACzB,YAAY,EAAE,OAAO,GACpB,OAAO,CAAC;QAAE,oBAAoB,EAAE,EAAE,CAAC;QAAC,WAAW,EAAE,EAAE,CAAA;KAAE,CAAC,CAAC;IAC1D,uCAAuC,CACrC,qBAAqB,EAAE,YAAY,EACnC,YAAY,EAAE,EAAE,EAChB,iBAAiB,EAAE,MAAM,EACzB,YAAY,EAAE,OAAO,GACpB,OAAO,CAAC,IAAI,CAAC,CAAC;IACjB,0CAA0C,CACxC,qBAAqB,EAAE,YAAY,EACnC,YAAY,EAAE,EAAE,EAChB,iBAAiB,EAAE,MAAM,EACzB,YAAY,EAAE,OAAO,GACpB,OAAO,CAAC,IAAI,CAAC,CAAC;IACjB,8CAA8C,CAAC,8BAA8B,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACtG,uBAAuB,IAAI,OAAO,CAAC,YAAY,GAAG,SAAS,CAAC,CAAC;IAC7D,uBAAuB,CAAC,aAAa,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACpE,4BAA4B,CAAC,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IAC1F,yBAAyB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACtD"}

package/dest/contract_function_simulator/oracle/interfaces.js

@@ -0,0 +1,4 @@
+/**
+ * Oracle methods associated with the execution of an Aztec #[external("private")] function. Note that both the IMiscOracles and
+ * IUtilityExecutionOracle are also expected to be available in these contexts.
+ */ export { };

package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts

@@ -0,0 +1,19 @@
+import { Fr } from '@aztec/foundation/fields';
+import type { SiblingPath } from '@aztec/foundation/trees';
+export declare class MessageLoadOracleInputs<N extends number> {
+    /** The index of the message commitment in the merkle tree. */
+    index: bigint;
+    /** The path in the merkle tree to the message. */
+    siblingPath: SiblingPath<N>;
+    constructor(
+    /** The index of the message commitment in the merkle tree. */
+    index: bigint, 
+    /** The path in the merkle tree to the message. */
+    siblingPath: SiblingPath<N>);
+    toFields(): Fr[];
+    /**
+     * Returns a representation of the public data witness as expected by intrinsic Noir deserialization.
+     */
+    toNoirRepresentation(): (string | string[])[];
+}
+//# sourceMappingURL=message_load_oracle_inputs.d.ts.map

package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"message_load_oracle_inputs.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/oracle/message_load_oracle_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAE3D,qBAAa,uBAAuB,CAAC,CAAC,SAAS,MAAM;IAEjD,8DAA8D;IACvD,KAAK,EAAE,MAAM;IACpB,kDAAkD;IAC3C,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;;IAHlC,8DAA8D;IACvD,KAAK,EAAE,MAAM;IACpB,kDAAkD;IAC3C,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;IAGpC,QAAQ,IAAI,EAAE,EAAE;IAIhB;;OAEG;IACI,oBAAoB,IAAI,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC,EAAE;CAIrD"}

package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.js

@@ -0,0 +1,24 @@
+import { Fr } from '@aztec/foundation/fields';
+export class MessageLoadOracleInputs {
+    index;
+    siblingPath;
+    constructor(/** The index of the message commitment in the merkle tree. */ index, /** The path in the merkle tree to the message. */ siblingPath){
+        this.index = index;
+        this.siblingPath = siblingPath;
+    }
+    toFields() {
+        return [
+            new Fr(this.index),
+            ...this.siblingPath.toFields()
+        ];
+    }
+    /**
+   * Returns a representation of the public data witness as expected by intrinsic Noir deserialization.
+   */ toNoirRepresentation() {
+        // TODO(#12874): remove the stupid as string conversion by modifying ForeignCallOutput type in acvm.js
+        return [
+            new Fr(this.index).toString(),
+            this.siblingPath.toFields().map((fr)=>fr.toString())
+        ];
+    }
+}

package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts

@@ -0,0 +1,22 @@
+import { Fr } from '@aztec/foundation/fields';
+import type { AztecAddress } from '@aztec/stdlib/aztec-address';
+import type { Note } from '@aztec/stdlib/note';
+/**
+ * Packs a note in a format that is compatible with the default Packable implementation of the retrieved note.
+ *
+ * @dev Unlike the default Packable implementation, this function first constructs the note metadata from the inputs
+ * and only after that it packs the retrieved note. Hence it doesn't map one to one with `RetrievedNote::pack()`.
+ *
+ * @param contractAddress - The address of the contract that owns the note
+ * @param noteNonce - The nonce injected into the note hash preimage by kernels.
+ * @param index - Optional index in the note hash tree. If undefined, indicates a transient note
+ * @param note - The note content containing the actual note data
+ * @returns The packed note as an array of field elements
+ */
+export declare function packAsRetrievedNote({ contractAddress, noteNonce, index, note, }: {
+    contractAddress: AztecAddress;
+    noteNonce: Fr;
+    index?: bigint;
+    note: Note;
+}): (Fr | AztecAddress)[];
+//# sourceMappingURL=note_packing_utils.d.ts.map

package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"note_packing_utils.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/oracle/note_packing_utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAiB/C;;;;;;;;;;;GAWG;AACH,wBAAgB,mBAAmB,CAAC,EAClC,eAAe,EACf,SAAS,EACT,KAAK,EACL,IAAI,GACL,EAAE;IACD,eAAe,EAAE,YAAY,CAAC;IAC9B,SAAS,EAAE,EAAE,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,IAAI,CAAC;CACZ,yBAUA"}