@aztec/stdlib 0.0.0-test.1 → 0.0.1-commit.5476d83

package/dest/tx/private_execution_result.d.ts

@@ -1,69 +1,53 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 import { Fr } from '@aztec/foundation/fields';
 import type { FieldsOf } from '@aztec/foundation/types';
 import { z } from 'zod';
 import { NoteSelector } from '../abi/note_selector.js';
 import { PrivateCircuitPublicInputs } from '../kernel/private_circuit_public_inputs.js';
 import type { IsEmpty } from '../kernel/utils/interfaces.js';
-import { ContractClassLog } from '../logs/contract_class_log.js';
+import { ContractClassLog, ContractClassLogFields } from '../logs/contract_class_log.js';
+import { type PreTag } from '../logs/pre_tag.js';
 import { Note } from '../note/note.js';
 import { type ZodFor } from '../schemas/index.js';
-import { PublicExecutionRequest } from './public_execution_request.js';
+import type { UInt32 } from '../types/index.js';
+import { HashedValues } from './hashed_values.js';
+import type { OffchainEffect } from './offchain_effect.js';
 /**
  * The contents of a new note.
  */
 export declare class NoteAndSlot {
-    /** The note. */
     note: Note;
-    /** The storage slot of the note. */
     storageSlot: Fr;
-    /** The note type identifier. */
+    randomness: Fr;
     noteTypeId: NoteSelector;
     constructor(
     /** The note. */
     note: Note, 
     /** The storage slot of the note. */
     storageSlot: Fr, 
+    /** The randomness injected to the note. */
+    randomness: Fr, 
     /** The note type identifier. */
     noteTypeId: NoteSelector);
     static get schema(): z.ZodEffects<z.ZodObject<{
-        note: z.ZodEffects<z.ZodUnion<[z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, Buffer, string>, z.ZodEffects<z.ZodObject<{
-            type: z.ZodLiteral<"Buffer">;
-            data: z.ZodArray<z.ZodNumber, "many">;
-        }, "strip", z.ZodTypeAny, {
-            type: "Buffer";
-            data: number[];
-        }, {
-            type: "Buffer";
-            data: number[];
-        }>, Buffer, {
-            type: "Buffer";
-            data: number[];
-        }>]>, Note, string | {
-            type: "Buffer";
-            data: number[];
-        }>;
+        note: z.ZodEffects<ZodFor<Buffer<ArrayBufferLike>>, Note, any>;
         storageSlot: ZodFor<Fr>;
+        randomness: ZodFor<Fr>;
         noteTypeId: z.ZodType<NoteSelector, any, string>;
     }, "strip", z.ZodTypeAny, {
-        storageSlot: Fr;
         note: Note;
+        storageSlot: Fr;
+        randomness: Fr;
         noteTypeId: NoteSelector;
     }, {
-        note: string | {
-            type: "Buffer";
-            data: number[];
-        };
-        noteTypeId: string;
+        note?: any;
         storageSlot?: any;
-    }>, NoteAndSlot, {
-        note: string | {
-            type: "Buffer";
-            data: number[];
-        };
+        randomness?: any;
         noteTypeId: string;
+    }>, NoteAndSlot, {
+        note?: any;
         storageSlot?: any;
+        randomness?: any;
+        noteTypeId: string;
     }>;
     static from(fields: FieldsOf<NoteAndSlot>): NoteAndSlot;
     static random(): NoteAndSlot;
@@ -79,57 +63,42 @@ export declare class CountedContractClassLog implements IsEmpty {
     }): CountedContractClassLog;
     isEmpty(): boolean;
 }
-export declare class CountedPublicExecutionRequest {
-    request: PublicExecutionRequest;
-    counter: number;
-    constructor(request: PublicExecutionRequest, counter: number);
-    static get schema(): ZodFor<CountedPublicExecutionRequest>;
-    static from(fields: FieldsOf<CountedPublicExecutionRequest>): CountedPublicExecutionRequest;
-    isEmpty(): boolean;
-    static random(): Promise<CountedPublicExecutionRequest>;
-}
 export declare class PrivateExecutionResult {
     entrypoint: PrivateCallExecutionResult;
-    /** The first non revertible nullifier, or zero if there was none. */
     firstNullifier: Fr;
+    publicFunctionCalldata: HashedValues[];
     constructor(entrypoint: PrivateCallExecutionResult, 
     /** The first non revertible nullifier, or zero if there was none. */
-    firstNullifier: Fr);
+    firstNullifier: Fr, 
+    /** An array of calldata for the enqueued public function calls and the teardown function call. */
+    publicFunctionCalldata: HashedValues[]);
     static get schema(): ZodFor<PrivateExecutionResult>;
     static from(fields: FieldsOf<PrivateExecutionResult>): PrivateExecutionResult;
     static random(nested?: number): Promise<PrivateExecutionResult>;
+    /**
+     * The anchor block number that this execution was simulated with.
+     */
+    getSimulationAnchorBlockNumber(): UInt32;
 }
 /**
  * The result of executing a call to a private function.
  */
 export declare class PrivateCallExecutionResult {
-    /** The ACIR bytecode. */
     acir: Buffer;
-    /** The verification key. */
     vk: Buffer;
-    /** The partial witness. */
     partialWitness: Map<number, string>;
-    /** The call stack item. */
     publicInputs: PrivateCircuitPublicInputs;
-    /** Mapping of note hash to its index in the note hash tree. Used for building hints for note hash read requests. */
     noteHashLeafIndexMap: Map<bigint, bigint>;
-    /** The notes created in the executed function. */
     newNotes: NoteAndSlot[];
-    /** Mapping of note hash counter to the counter of its nullifier. */
     noteHashNullifierCounterMap: Map<number, number>;
-    /** The raw return values of the executed function. */
     returnValues: Fr[];
-    /** The nested executions. */
-    nestedExecutions: PrivateCallExecutionResult[];
-    /** Enqueued public function execution requests to be picked up by the sequencer. */
-    enqueuedPublicFunctionCalls: CountedPublicExecutionRequest[];
-    /** Public function execution requested for teardown */
-    publicTeardownFunctionCall: PublicExecutionRequest;
-    /**
-     * Contract class logs emitted during execution of this function call.
-     * Note: These are preimages to `contractClassLogsHashes`.
-     */
+    offchainEffects: {
+        data: Fr[];
+    }[];
+    preTags: PreTag[];
+    nestedExecutionResults: PrivateCallExecutionResult[];
     contractClassLogs: CountedContractClassLog[];
+    profileResult?: PrivateExecutionProfileResult | undefined;
     constructor(
     /** The ACIR bytecode. */
     acir: Buffer, 
@@ -147,17 +116,20 @@ export declare class PrivateCallExecutionResult {
     noteHashNullifierCounterMap: Map<number, number>, 
     /** The raw return values of the executed function. */
     returnValues: Fr[], 
+    /** The offchain effects emitted during execution of this function call via the `emit_offchain_effect` oracle. */
+    offchainEffects: {
+        data: Fr[];
+    }[], 
+    /** The pre tags used in this tx to compute tags for private logs */
+    preTags: PreTag[], 
     /** The nested executions. */
-    nestedExecutions: PrivateCallExecutionResult[], 
-    /** Enqueued public function execution requests to be picked up by the sequencer. */
-    enqueuedPublicFunctionCalls: CountedPublicExecutionRequest[], 
-    /** Public function execution requested for teardown */
-    publicTeardownFunctionCall: PublicExecutionRequest, 
+    nestedExecutionResults: PrivateCallExecutionResult[], 
     /**
      * Contract class logs emitted during execution of this function call.
-     * Note: These are preimages to `contractClassLogsHashes`.
+     * Note: We only need to collect the ContractClassLogFields as preimages for the tx.
+     * But keep them as ContractClassLog so that we can verify the log hashes before submitting the tx (TODO).
      */
-    contractClassLogs: CountedContractClassLog[]);
+    contractClassLogs: CountedContractClassLog[], profileResult?: PrivateExecutionProfileResult | undefined);
     static get schema(): ZodFor<PrivateCallExecutionResult>;
     static from(fields: FieldsOf<PrivateCallExecutionResult>): PrivateCallExecutionResult;
     static random(nested?: number): Promise<PrivateCallExecutionResult>;
@@ -169,14 +141,27 @@ export declare function collectNoteHashNullifierCounterMap(execResult: PrivateEx
  * @param execResult - The topmost execution result.
  * @returns All contract class logs.
  */
-export declare function collectSortedContractClassLogs(execResult: PrivateExecutionResult): ContractClassLog[];
+export declare function collectSortedContractClassLogs(execResult: PrivateExecutionResult): ContractClassLogFields[];
 /**
- * Collect all enqueued public function calls across all nested executions.
- * @param execResult - The topmost execution result.
- * @returns All enqueued public function calls.
+ * Collect all offchain effects emitted across all nested executions.
+ * @param execResult - The execution result to collect offchain effects from.
+ * @returns Array of offchain effects.
  */
-export declare function collectEnqueuedPublicFunctionCalls(execResult: PrivateExecutionResult): PublicExecutionRequest[];
-export declare function collectPublicTeardownFunctionCall(execResult: PrivateExecutionResult): PublicExecutionRequest;
+export declare function collectOffchainEffects(execResult: PrivateExecutionResult): OffchainEffect[];
 export declare function getFinalMinRevertibleSideEffectCounter(execResult: PrivateExecutionResult): number;
 export declare function collectNested<T>(executionStack: PrivateCallExecutionResult[], extractExecutionItems: (execution: PrivateCallExecutionResult) => T[]): T[];
-//# sourceMappingURL=private_execution_result.d.ts.map
+export declare class PrivateExecutionProfileResult {
+    timings: {
+        witgen: number;
+        oracles?: Record<string, {
+            times: number[];
+        }>;
+    };
+    constructor(timings: {
+        witgen: number;
+        oracles?: Record<string, {
+            times: number[];
+        }>;
+    });
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9leGVjdXRpb25fcmVzdWx0LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdHgvcHJpdmF0ZV9leGVjdXRpb25fcmVzdWx0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUM5QyxPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUV4RCxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUN2RCxPQUFPLEVBQUUsMEJBQTBCLEVBQUUsTUFBTSw0Q0FBNEMsQ0FBQztBQUN4RixPQUFPLEtBQUssRUFBRSxPQUFPLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUU3RCxPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUN6RixPQUFPLEVBQUUsS0FBSyxNQUFNLEVBQWdCLE1BQU0sb0JBQW9CLENBQUM7QUFDL0QsT0FBTyxFQUFFLElBQUksRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBQ3ZDLE9BQU8sRUFBRSxLQUFLLE1BQU0sRUFBc0IsTUFBTSxxQkFBcUIsQ0FBQztBQUN0RSxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUNoRCxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDbEQsT0FBTyxLQUFLLEVBQUUsY0FBYyxFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFFM0Q7O0dBRUc7QUFDSCxxQkFBYSxXQUFXO0lBR2IsSUFBSSxFQUFFLElBQUk7SUFFVixXQUFXLEVBQUUsRUFBRTtJQUVmLFVBQVUsRUFBRSxFQUFFO0lBRWQsVUFBVSxFQUFFLFlBQVk7SUFSakM7SUFDRSxnQkFBZ0I7SUFDVCxJQUFJLEVBQUUsSUFBSTtJQUNqQixvQ0FBb0M7SUFDN0IsV0FBVyxFQUFFLEVBQUU7SUFDdEIsMkNBQTJDO0lBQ3BDLFVBQVUsRUFBRSxFQUFFO0lBQ3JCLGdDQUFnQztJQUN6QixVQUFVLEVBQUUsWUFBWSxFQUM3QjtJQUVKLE1BQU0sS0FBSyxNQUFNOzs7Ozs7Ozs7Ozs7Ozs7Ozs7OztPQVNoQjtJQUVELE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxXQUFXLENBQUMsZUFFeEM7SUFFRCxNQUFNLENBQUMsTUFBTSxnQkFFWjtDQUNGO0FBRUQscUJBQWEsdUJBQXdCLFlBQVcsT0FBTztJQUU1QyxHQUFHLEVBQUUsZ0JBQWdCO0lBQ3JCLE9BQU8sRUFBRSxNQUFNO0lBRnhCLFlBQ1MsR0FBRyxFQUFFLGdCQUFnQixFQUNyQixPQUFPLEVBQUUsTUFBTSxFQUNwQjtJQUVKLE1BQU0sS0FBSyxNQUFNLElBQUksTUFBTSxDQUFDLHVCQUF1QixDQUFDLENBT25EO0lBRUQsTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUU7UUFBRSxHQUFHLEVBQUUsZ0JBQWdCLENBQUM7UUFBQyxPQUFPLEVBQUUsTUFBTSxDQUFBO0tBQUUsMkJBRTdEO0lBRUQsT0FBTyxJQUFJLE9BQU8sQ0FFakI7Q0FDRjtBQUVELHFCQUFhLHNCQUFzQjtJQUV4QixVQUFVLEVBQUUsMEJBQTBCO0lBRXRDLGNBQWMsRUFBRSxFQUFFO0lBRWxCLHNCQUFzQixFQUFFLFlBQVksRUFBRTtJQUwvQyxZQUNTLFVBQVUsRUFBRSwwQkFBMEI7SUFDN0MscUVBQXFFO0lBQzlELGNBQWMsRUFBRSxFQUFFO0lBQ3pCLGtHQUFrRztJQUMzRixzQkFBc0IsRUFBRSxZQUFZLEVBQUUsRUFDM0M7SUFFSixNQUFNLEtBQUssTUFBTSxJQUFJLE1BQU0sQ0FBQyxzQkFBc0IsQ0FBQyxDQVFsRDtJQUVELE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxzQkFBc0IsQ0FBQywwQkFFbkQ7SUFFRCxPQUFhLE1BQU0sQ0FBQyxNQUFNLFNBQUksR0FBRyxPQUFPLENBQUMsc0JBQXNCLENBQUMsQ0FLL0Q7SUFFRDs7T0FFRztJQUNILDhCQUE4QixJQUFJLE1BQU0sQ0FFdkM7Q0FDRjtBQUVEOztHQUVHO0FBQ0gscUJBQWEsMEJBQTBCO0lBSTVCLElBQUksRUFBRSxNQUFNO0lBRVosRUFBRSxFQUFFLE1BQU07SUFFVixjQUFjLEVBQUUsR0FBRyxDQUFDLE1BQU0sRUFBRSxNQUFNLENBQUM7SUFHbkMsWUFBWSxFQUFFLDBCQUEwQjtJQUV4QyxvQkFBb0IsRUFBRSxHQUFHLENBQUMsTUFBTSxFQUFFLE1BQU0sQ0FBQztJQUV6QyxRQUFRLEVBQUUsV0FBVyxFQUFFO0lBRXZCLDJCQUEyQixFQUFFLEdBQUcsQ0FBQyxNQUFNLEVBQUUsTUFBTSxDQUFDO0lBRWhELFlBQVksRUFBRSxFQUFFLEVBQUU7SUFFbEIsZUFBZSxFQUFFO1FBQUUsSUFBSSxFQUFFLEVBQUUsRUFBRSxDQUFBO0tBQUUsRUFBRTtJQUVqQyxPQUFPLEVBQUUsTUFBTSxFQUFFO0lBRWpCLHNCQUFzQixFQUFFLDBCQUEwQixFQUFFO0lBTXBELGlCQUFpQixFQUFFLHVCQUF1QixFQUFFO0lBQzVDLGFBQWEsQ0FBQztJQS9CdkI7SUFFRSx5QkFBeUI7SUFDbEIsSUFBSSxFQUFFLE1BQU07SUFDbkIsNEJBQTRCO0lBQ3JCLEVBQUUsRUFBRSxNQUFNO0lBQ2pCLDJCQUEyQjtJQUNwQixjQUFjLEVBQUUsR0FBRyxDQUFDLE1BQU0sRUFBRSxNQUFNLENBQUM7SUFFMUMsMkJBQTJCO0lBQ3BCLFlBQVksRUFBRSwwQkFBMEI7SUFDL0Msb0hBQW9IO0lBQzdHLG9CQUFvQixFQUFFLEdBQUcsQ0FBQyxNQUFNLEVBQUUsTUFBTSxDQUFDO0lBQ2hELGtEQUFrRDtJQUMzQyxRQUFRLEVBQUUsV0FBVyxFQUFFO0lBQzlCLG9FQUFvRTtJQUM3RCwyQkFBMkIsRUFBRSxHQUFHLENBQUMsTUFBTSxFQUFFLE1BQU0sQ0FBQztJQUN2RCxzREFBc0Q7SUFDL0MsWUFBWSxFQUFFLEVBQUUsRUFBRTtJQUN6QixpSEFBaUg7SUFDMUcsZUFBZSxFQUFFO1FBQUUsSUFBSSxFQUFFLEVBQUUsRUFBRSxDQUFBO0tBQUUsRUFBRTtJQUN4QyxvRUFBb0U7SUFDN0QsT0FBTyxFQUFFLE1BQU0sRUFBRTtJQUN4Qiw2QkFBNkI7SUFDdEIsc0JBQXNCLEVBQUUsMEJBQTBCLEVBQUU7SUFDM0Q7Ozs7T0FJRztJQUNJLGlCQUFpQixFQUFFLHVCQUF1QixFQUFFLEVBQzVDLGFBQWEsQ0FBQywyQ0FBK0IsRUFDbEQ7SUFFSixNQUFNLEtBQUssTUFBTSxJQUFJLE1BQU0sQ0FBQywwQkFBMEIsQ0FBQyxDQWlCdEQ7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsMEJBQTBCLENBQUMsOEJBZXZEO0lBRUQsT0FBYSxNQUFNLENBQUMsTUFBTSxTQUFJLEdBQUcsT0FBTyxDQUFDLDBCQUEwQixDQUFDLENBbUJuRTtDQUNGO0FBRUQsd0JBQWdCLDJCQUEyQixDQUFDLFVBQVUsRUFBRSxzQkFBc0IsdUJBUTdFO0FBRUQsd0JBQWdCLGtDQUFrQyxDQUFDLFVBQVUsRUFBRSxzQkFBc0IsdUJBV3BGO0FBV0Q7Ozs7R0FJRztBQUNILHdCQUFnQiw4QkFBOEIsQ0FBQyxVQUFVLEVBQUUsc0JBQXNCLEdBQUcsc0JBQXNCLEVBQUUsQ0FJM0c7QUFFRDs7OztHQUlHO0FBQ0gsd0JBQWdCLHNCQUFzQixDQUFDLFVBQVUsRUFBRSxzQkFBc0IsR0FBRyxjQUFjLEVBQUUsQ0FXM0Y7QUFFRCx3QkFBZ0Isc0NBQXNDLENBQUMsVUFBVSxFQUFFLHNCQUFzQixHQUFHLE1BQU0sQ0FRakc7QUFFRCx3QkFBZ0IsYUFBYSxDQUFDLENBQUMsRUFDN0IsY0FBYyxFQUFFLDBCQUEwQixFQUFFLEVBQzVDLHFCQUFxQixFQUFFLENBQUMsU0FBUyxFQUFFLDBCQUEwQixLQUFLLENBQUMsRUFBRSxHQUNwRSxDQUFDLEVBQUUsQ0FRTDtBQUVELHFCQUFhLDZCQUE2QjtJQUNyQixPQUFPLEVBQUU7UUFBRSxNQUFNLEVBQUUsTUFBTSxDQUFDO1FBQUMsT0FBTyxDQUFDLEVBQUUsTUFBTSxDQUFDLE1BQU0sRUFBRTtZQUFFLEtBQUssRUFBRSxNQUFNLEVBQUUsQ0FBQTtTQUFFLENBQUMsQ0FBQTtLQUFFO0lBQTdGLFlBQW1CLE9BQU8sRUFBRTtRQUFFLE1BQU0sRUFBRSxNQUFNLENBQUM7UUFBQyxPQUFPLENBQUMsRUFBRSxNQUFNLENBQUMsTUFBTSxFQUFFO1lBQUUsS0FBSyxFQUFFLE1BQU0sRUFBRSxDQUFBO1NBQUUsQ0FBQyxDQUFBO0tBQUUsRUFBSTtDQUNsRyJ9

package/dest/tx/private_execution_result.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"private_execution_result.d.ts","sourceRoot":"","sources":["../../src/tx/private_execution_result.ts"],"names":[],"mappings":";;AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,0BAA0B,EAAE,MAAM,4CAA4C,CAAC;AACxF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,+BAA+B,CAAC;AAE7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AACvC,OAAO,EAAE,KAAK,MAAM,EAAsB,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAEvE;;GAEG;AACH,qBAAa,WAAW;IAEpB,gBAAgB;IACT,IAAI,EAAE,IAAI;IACjB,oCAAoC;IAC7B,WAAW,EAAE,EAAE;IACtB,gCAAgC;IACzB,UAAU,EAAE,YAAY;;IAL/B,gBAAgB;IACT,IAAI,EAAE,IAAI;IACjB,oCAAoC;IAC7B,WAAW,EAAE,EAAE;IACtB,gCAAgC;IACzB,UAAU,EAAE,YAAY;IAGjC,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAQhB;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,WAAW,CAAC;IAIzC,MAAM,CAAC,MAAM;CAGd;AAED,qBAAa,uBAAwB,YAAW,OAAO;IAClC,GAAG,EAAE,gBAAgB;IAAS,OAAO,EAAE,MAAM;gBAA7C,GAAG,EAAE,gBAAgB,EAAS,OAAO,EAAE,MAAM;IAEhE,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,uBAAuB,CAAC,CAOnD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE;QAAE,GAAG,EAAE,gBAAgB,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE;IAI9D,OAAO,IAAI,OAAO;CAGnB;AAED,qBAAa,6BAA6B;IACrB,OAAO,EAAE,sBAAsB;IAAS,OAAO,EAAE,MAAM;gBAAvD,OAAO,EAAE,sBAAsB,EAAS,OAAO,EAAE,MAAM;IAE1E,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,6BAA6B,CAAC,CAOzD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,6BAA6B,CAAC;IAI3D,OAAO,IAAI,OAAO;WAIL,MAAM;CAGpB;AAED,qBAAa,sBAAsB;IAExB,UAAU,EAAE,0BAA0B;IAC7C,qEAAqE;IAC9D,cAAc,EAAE,EAAE;gBAFlB,UAAU,EAAE,0BAA0B;IAC7C,qEAAqE;IAC9D,cAAc,EAAE,EAAE;IAG3B,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,sBAAsB,CAAC,CAOlD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC;WAIvC,MAAM,CAAC,MAAM,SAAI,GAAG,OAAO,CAAC,sBAAsB,CAAC;CAGjE;AAED;;GAEG;AACH,qBAAa,0BAA0B;IAGnC,yBAAyB;IAClB,IAAI,EAAE,MAAM;IACnB,4BAA4B;IACrB,EAAE,EAAE,MAAM;IACjB,2BAA2B;IACpB,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAE1C,2BAA2B;IACpB,YAAY,EAAE,0BAA0B;IAC/C,oHAAoH;IAC7G,oBAAoB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAChD,kDAAkD;IAC3C,QAAQ,EAAE,WAAW,EAAE;IAC9B,oEAAoE;IAC7D,2BAA2B,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IACvD,sDAAsD;IAC/C,YAAY,EAAE,EAAE,EAAE;IACzB,6BAA6B;IACtB,gBAAgB,EAAE,0BAA0B,EAAE;IACrD,oFAAoF;IAC7E,2BAA2B,EAAE,6BAA6B,EAAE;IACnE,uDAAuD;IAChD,0BAA0B,EAAE,sBAAsB;IACzD;;;OAGG;IACI,iBAAiB,EAAE,uBAAuB,EAAE;;IA3BnD,yBAAyB;IAClB,IAAI,EAAE,MAAM;IACnB,4BAA4B;IACrB,EAAE,EAAE,MAAM;IACjB,2BAA2B;IACpB,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAE1C,2BAA2B;IACpB,YAAY,EAAE,0BAA0B;IAC/C,oHAAoH;IAC7G,oBAAoB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAChD,kDAAkD;IAC3C,QAAQ,EAAE,WAAW,EAAE;IAC9B,oEAAoE;IAC7D,2BAA2B,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IACvD,sDAAsD;IAC/C,YAAY,EAAE,EAAE,EAAE;IACzB,6BAA6B;IACtB,gBAAgB,EAAE,0BAA0B,EAAE;IACrD,oFAAoF;IAC7E,2BAA2B,EAAE,6BAA6B,EAAE;IACnE,uDAAuD;IAChD,0BAA0B,EAAE,sBAAsB;IACzD;;;OAGG;IACI,iBAAiB,EAAE,uBAAuB,EAAE;IAGrD,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,0BAA0B,CAAC,CAiBtD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC;WAiB3C,MAAM,CAAC,MAAM,SAAI,GAAG,OAAO,CAAC,0BAA0B,CAAC;CAgBrE;AAED,wBAAgB,2BAA2B,CAAC,UAAU,EAAE,sBAAsB,uBAQ7E;AAED,wBAAgB,kCAAkC,CAAC,UAAU,EAAE,sBAAsB,uBAWpF;AAWD;;;;GAIG;AACH,wBAAgB,8BAA8B,CAAC,UAAU,EAAE,sBAAsB,GAAG,gBAAgB,EAAE,CAIrG;AAWD;;;;GAIG;AACH,wBAAgB,kCAAkC,CAAC,UAAU,EAAE,sBAAsB,GAAG,sBAAsB,EAAE,CAK/G;AAED,wBAAgB,iCAAiC,CAAC,UAAU,EAAE,sBAAsB,GAAG,sBAAsB,CAoB5G;AAED,wBAAgB,sCAAsC,CAAC,UAAU,EAAE,sBAAsB,GAAG,MAAM,CAQjG;AAED,wBAAgB,aAAa,CAAC,CAAC,EAC7B,cAAc,EAAE,0BAA0B,EAAE,EAC5C,qBAAqB,EAAE,CAAC,SAAS,EAAE,0BAA0B,KAAK,CAAC,EAAE,GACpE,CAAC,EAAE,CAML"}
+{"version":3,"file":"private_execution_result.d.ts","sourceRoot":"","sources":["../../src/tx/private_execution_result.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,0BAA0B,EAAE,MAAM,4CAA4C,CAAC;AACxF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,+BAA+B,CAAC;AAE7D,OAAO,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACzF,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,oBAAoB,CAAC;AAC/D,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AACvC,OAAO,EAAE,KAAK,MAAM,EAAsB,MAAM,qBAAqB,CAAC;AACtE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D;;GAEG;AACH,qBAAa,WAAW;IAGb,IAAI,EAAE,IAAI;IAEV,WAAW,EAAE,EAAE;IAEf,UAAU,EAAE,EAAE;IAEd,UAAU,EAAE,YAAY;IARjC;IACE,gBAAgB;IACT,IAAI,EAAE,IAAI;IACjB,oCAAoC;IAC7B,WAAW,EAAE,EAAE;IACtB,2CAA2C;IACpC,UAAU,EAAE,EAAE;IACrB,gCAAgC;IACzB,UAAU,EAAE,YAAY,EAC7B;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;OAShB;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,WAAW,CAAC,eAExC;IAED,MAAM,CAAC,MAAM,gBAEZ;CACF;AAED,qBAAa,uBAAwB,YAAW,OAAO;IAE5C,GAAG,EAAE,gBAAgB;IACrB,OAAO,EAAE,MAAM;IAFxB,YACS,GAAG,EAAE,gBAAgB,EACrB,OAAO,EAAE,MAAM,EACpB;IAEJ,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,uBAAuB,CAAC,CAOnD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE;QAAE,GAAG,EAAE,gBAAgB,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,2BAE7D;IAED,OAAO,IAAI,OAAO,CAEjB;CACF;AAED,qBAAa,sBAAsB;IAExB,UAAU,EAAE,0BAA0B;IAEtC,cAAc,EAAE,EAAE;IAElB,sBAAsB,EAAE,YAAY,EAAE;IAL/C,YACS,UAAU,EAAE,0BAA0B;IAC7C,qEAAqE;IAC9D,cAAc,EAAE,EAAE;IACzB,kGAAkG;IAC3F,sBAAsB,EAAE,YAAY,EAAE,EAC3C;IAEJ,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,sBAAsB,CAAC,CAQlD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,0BAEnD;IAED,OAAa,MAAM,CAAC,MAAM,SAAI,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAK/D;IAED;;OAEG;IACH,8BAA8B,IAAI,MAAM,CAEvC;CACF;AAED;;GAEG;AACH,qBAAa,0BAA0B;IAI5B,IAAI,EAAE,MAAM;IAEZ,EAAE,EAAE,MAAM;IAEV,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAGnC,YAAY,EAAE,0BAA0B;IAExC,oBAAoB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAEzC,QAAQ,EAAE,WAAW,EAAE;IAEvB,2BAA2B,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAEhD,YAAY,EAAE,EAAE,EAAE;IAElB,eAAe,EAAE;QAAE,IAAI,EAAE,EAAE,EAAE,CAAA;KAAE,EAAE;IAEjC,OAAO,EAAE,MAAM,EAAE;IAEjB,sBAAsB,EAAE,0BAA0B,EAAE;IAMpD,iBAAiB,EAAE,uBAAuB,EAAE;IAC5C,aAAa,CAAC;IA/BvB;IAEE,yBAAyB;IAClB,IAAI,EAAE,MAAM;IACnB,4BAA4B;IACrB,EAAE,EAAE,MAAM;IACjB,2BAA2B;IACpB,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAE1C,2BAA2B;IACpB,YAAY,EAAE,0BAA0B;IAC/C,oHAAoH;IAC7G,oBAAoB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAChD,kDAAkD;IAC3C,QAAQ,EAAE,WAAW,EAAE;IAC9B,oEAAoE;IAC7D,2BAA2B,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IACvD,sDAAsD;IAC/C,YAAY,EAAE,EAAE,EAAE;IACzB,iHAAiH;IAC1G,eAAe,EAAE;QAAE,IAAI,EAAE,EAAE,EAAE,CAAA;KAAE,EAAE;IACxC,oEAAoE;IAC7D,OAAO,EAAE,MAAM,EAAE;IACxB,6BAA6B;IACtB,sBAAsB,EAAE,0BAA0B,EAAE;IAC3D;;;;OAIG;IACI,iBAAiB,EAAE,uBAAuB,EAAE,EAC5C,aAAa,CAAC,2CAA+B,EAClD;IAEJ,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,0BAA0B,CAAC,CAiBtD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,8BAevD;IAED,OAAa,MAAM,CAAC,MAAM,SAAI,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAmBnE;CACF;AAED,wBAAgB,2BAA2B,CAAC,UAAU,EAAE,sBAAsB,uBAQ7E;AAED,wBAAgB,kCAAkC,CAAC,UAAU,EAAE,sBAAsB,uBAWpF;AAWD;;;;GAIG;AACH,wBAAgB,8BAA8B,CAAC,UAAU,EAAE,sBAAsB,GAAG,sBAAsB,EAAE,CAI3G;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,sBAAsB,GAAG,cAAc,EAAE,CAW3F;AAED,wBAAgB,sCAAsC,CAAC,UAAU,EAAE,sBAAsB,GAAG,MAAM,CAQjG;AAED,wBAAgB,aAAa,CAAC,CAAC,EAC7B,cAAc,EAAE,0BAA0B,EAAE,EAC5C,qBAAqB,EAAE,CAAC,SAAS,EAAE,0BAA0B,KAAK,CAAC,EAAE,GACpE,CAAC,EAAE,CAQL;AAED,qBAAa,6BAA6B;IACrB,OAAO,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;YAAE,KAAK,EAAE,MAAM,EAAE,CAAA;SAAE,CAAC,CAAA;KAAE;IAA7F,YAAmB,OAAO,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;YAAE,KAAK,EAAE,MAAM,EAAE,CAAA;SAAE,CAAC,CAAA;KAAE,EAAI;CAClG"}

package/dest/tx/private_execution_result.js

@@ -6,32 +6,36 @@ import { NoteSelector } from '../abi/note_selector.js';
 import { PrivateCircuitPublicInputs } from '../kernel/private_circuit_public_inputs.js';
 import { sortByCounter } from '../kernel/utils/order_and_comparison.js';
 import { ContractClassLog } from '../logs/contract_class_log.js';
+import { PreTagSchema } from '../logs/pre_tag.js';
 import { Note } from '../note/note.js';
 import { mapSchema, schemas } from '../schemas/index.js';
-import { PublicExecutionRequest } from './public_execution_request.js';
+import { HashedValues } from './hashed_values.js';
 /**
  * The contents of a new note.
  */ export class NoteAndSlot {
     note;
     storageSlot;
+    randomness;
     noteTypeId;
-    constructor(/** The note. */ note, /** The storage slot of the note. */ storageSlot, /** The note type identifier. */ noteTypeId){
+    constructor(/** The note. */ note, /** The storage slot of the note. */ storageSlot, /** The randomness injected to the note. */ randomness, /** The note type identifier. */ noteTypeId){
         this.note = note;
         this.storageSlot = storageSlot;
+        this.randomness = randomness;
         this.noteTypeId = noteTypeId;
     }
     static get schema() {
         return z.object({
             note: Note.schema,
             storageSlot: schemas.Fr,
+            randomness: schemas.Fr,
             noteTypeId: schemas.NoteSelector
         }).transform(NoteAndSlot.from);
     }
     static from(fields) {
-        return new NoteAndSlot(fields.note, fields.storageSlot, fields.noteTypeId);
+        return new NoteAndSlot(fields.note, fields.storageSlot, fields.randomness, fields.noteTypeId);
     }
     static random() {
-        return new NoteAndSlot(Note.random(), Fr.random(), NoteSelector.random());
+        return new NoteAndSlot(Note.random(), Fr.random(), Fr.random(), NoteSelector.random());
     }
 }
 export class CountedContractClassLog {
@@ -54,47 +58,35 @@ export class CountedContractClassLog {
         return this.log.isEmpty() && !this.counter;
     }
 }
-export class CountedPublicExecutionRequest {
-    request;
-    counter;
-    constructor(request, counter){
-        this.request = request;
-        this.counter = counter;
-    }
-    static get schema() {
-        return z.object({
-            request: PublicExecutionRequest.schema,
-            counter: schemas.Integer
-        }).transform(CountedPublicExecutionRequest.from);
-    }
-    static from(fields) {
-        return new CountedPublicExecutionRequest(fields.request, fields.counter);
-    }
-    isEmpty() {
-        return this.request.isEmpty() && !this.counter;
-    }
-    static async random() {
-        return new CountedPublicExecutionRequest(await PublicExecutionRequest.random(), 0);
-    }
-}
 export class PrivateExecutionResult {
     entrypoint;
     firstNullifier;
-    constructor(entrypoint, /** The first non revertible nullifier, or zero if there was none. */ firstNullifier){
+    publicFunctionCalldata;
+    constructor(entrypoint, /** The first non revertible nullifier, or zero if there was none. */ firstNullifier, /** An array of calldata for the enqueued public function calls and the teardown function call. */ publicFunctionCalldata){
         this.entrypoint = entrypoint;
         this.firstNullifier = firstNullifier;
+        this.publicFunctionCalldata = publicFunctionCalldata;
     }
     static get schema() {
         return z.object({
             entrypoint: PrivateCallExecutionResult.schema,
-            firstNullifier: schemas.Fr
+            firstNullifier: schemas.Fr,
+            publicFunctionCalldata: z.array(HashedValues.schema)
         }).transform(PrivateExecutionResult.from);
     }
     static from(fields) {
-        return new PrivateExecutionResult(fields.entrypoint, fields.firstNullifier);
+        return new PrivateExecutionResult(fields.entrypoint, fields.firstNullifier, fields.publicFunctionCalldata);
     }
     static async random(nested = 1) {
-        return new PrivateExecutionResult(await PrivateCallExecutionResult.random(nested), Fr.random());
+        return new PrivateExecutionResult(await PrivateCallExecutionResult.random(nested), Fr.random(), [
+            HashedValues.random(),
+            HashedValues.random()
+        ]);
+    }
+    /**
+   * The anchor block number that this execution was simulated with.
+   */ getSimulationAnchorBlockNumber() {
+        return this.entrypoint.publicInputs.anchorBlockHeader.globalVariables.blockNumber;
     }
 }
 /**
@@ -108,16 +100,18 @@ export class PrivateExecutionResult {
     newNotes;
     noteHashNullifierCounterMap;
     returnValues;
-    nestedExecutions;
-    enqueuedPublicFunctionCalls;
-    publicTeardownFunctionCall;
+    offchainEffects;
+    preTags;
+    nestedExecutionResults;
     contractClassLogs;
+    profileResult;
     constructor(// Needed for prover
     /** The ACIR bytecode. */ acir, /** The verification key. */ vk, /** The partial witness. */ partialWitness, // Needed for the verifier (kernel)
-    /** The call stack item. */ publicInputs, /** Mapping of note hash to its index in the note hash tree. Used for building hints for note hash read requests. */ noteHashLeafIndexMap, /** The notes created in the executed function. */ newNotes, /** Mapping of note hash counter to the counter of its nullifier. */ noteHashNullifierCounterMap, /** The raw return values of the executed function. */ returnValues, /** The nested executions. */ nestedExecutions, /** Enqueued public function execution requests to be picked up by the sequencer. */ enqueuedPublicFunctionCalls, /** Public function execution requested for teardown */ publicTeardownFunctionCall, /**
+    /** The call stack item. */ publicInputs, /** Mapping of note hash to its index in the note hash tree. Used for building hints for note hash read requests. */ noteHashLeafIndexMap, /** The notes created in the executed function. */ newNotes, /** Mapping of note hash counter to the counter of its nullifier. */ noteHashNullifierCounterMap, /** The raw return values of the executed function. */ returnValues, /** The offchain effects emitted during execution of this function call via the `emit_offchain_effect` oracle. */ offchainEffects, /** The pre tags used in this tx to compute tags for private logs */ preTags, /** The nested executions. */ nestedExecutionResults, /**
      * Contract class logs emitted during execution of this function call.
-     * Note: These are preimages to `contractClassLogsHashes`.
-     */ contractClassLogs){
+     * Note: We only need to collect the ContractClassLogFields as preimages for the tx.
+     * But keep them as ContractClassLog so that we can verify the log hashes before submitting the tx (TODO).
+     */ contractClassLogs, profileResult){
         this.acir = acir;
         this.vk = vk;
         this.partialWitness = partialWitness;
@@ -126,10 +120,11 @@ export class PrivateExecutionResult {
         this.newNotes = newNotes;
         this.noteHashNullifierCounterMap = noteHashNullifierCounterMap;
         this.returnValues = returnValues;
-        this.nestedExecutions = nestedExecutions;
-        this.enqueuedPublicFunctionCalls = enqueuedPublicFunctionCalls;
-        this.publicTeardownFunctionCall = publicTeardownFunctionCall;
+        this.offchainEffects = offchainEffects;
+        this.preTags = preTags;
+        this.nestedExecutionResults = nestedExecutionResults;
         this.contractClassLogs = contractClassLogs;
+        this.profileResult = profileResult;
     }
     static get schema() {
         return z.object({
@@ -141,14 +136,16 @@ export class PrivateExecutionResult {
             newNotes: z.array(NoteAndSlot.schema),
             noteHashNullifierCounterMap: mapSchema(z.coerce.number(), z.number()),
             returnValues: z.array(schemas.Fr),
-            nestedExecutions: z.array(z.lazy(()=>PrivateCallExecutionResult.schema)),
-            enqueuedPublicFunctionCalls: z.array(CountedPublicExecutionRequest.schema),
-            publicTeardownFunctionCall: PublicExecutionRequest.schema,
+            offchainEffects: z.array(z.object({
+                data: z.array(schemas.Fr)
+            })),
+            preTags: z.array(PreTagSchema),
+            nestedExecutionResults: z.array(z.lazy(()=>PrivateCallExecutionResult.schema)),
             contractClassLogs: z.array(CountedContractClassLog.schema)
         }).transform(PrivateCallExecutionResult.from);
     }
     static from(fields) {
-        return new PrivateCallExecutionResult(fields.acir, fields.vk, fields.partialWitness, fields.publicInputs, fields.noteHashLeafIndexMap, fields.newNotes, fields.noteHashNullifierCounterMap, fields.returnValues, fields.nestedExecutions, fields.enqueuedPublicFunctionCalls, fields.publicTeardownFunctionCall, fields.contractClassLogs);
+        return new PrivateCallExecutionResult(fields.acir, fields.vk, fields.partialWitness, fields.publicInputs, fields.noteHashLeafIndexMap, fields.newNotes, fields.noteHashNullifierCounterMap, fields.returnValues, fields.offchainEffects, fields.preTags, fields.nestedExecutionResults, fields.contractClassLogs);
     }
     static async random(nested = 1) {
         return new PrivateCallExecutionResult(randomBytes(4), randomBytes(4), new Map([
@@ -170,9 +167,13 @@ export class PrivateExecutionResult {
             ]
         ]), [
             Fr.random()
-        ], await timesParallel(nested, ()=>PrivateCallExecutionResult.random(0)), [
-            await CountedPublicExecutionRequest.random()
-        ], await PublicExecutionRequest.random(), [
+        ], [
+            {
+                data: [
+                    Fr.random()
+                ]
+            }
+        ], [], await timesParallel(nested, ()=>PrivateCallExecutionResult.random(0)), [
             new CountedContractClassLog(await ContractClassLog.random(), randomInt(10))
         ]);
     }
@@ -181,7 +182,7 @@ export function collectNoteHashLeafIndexMap(execResult) {
     const accum = new Map();
     const collectNoteHashLeafIndexMapRecursive = (callResult, accum)=>{
         callResult.noteHashLeafIndexMap.forEach((value, key)=>accum.set(key, value));
-        callResult.nestedExecutions.forEach((nested)=>collectNoteHashLeafIndexMapRecursive(nested, accum));
+        callResult.nestedExecutionResults.forEach((nested)=>collectNoteHashLeafIndexMapRecursive(nested, accum));
     };
     collectNoteHashLeafIndexMapRecursive(execResult.entrypoint, accum);
     return accum;
@@ -190,7 +191,7 @@ export function collectNoteHashNullifierCounterMap(execResult) {
     const accum = new Map();
     const collectNoteHashNullifierCounterMapRecursive = (callResult, accum)=>{
         callResult.noteHashNullifierCounterMap.forEach((value, key)=>accum.set(key, value));
-        callResult.nestedExecutions.forEach((nested)=>collectNoteHashNullifierCounterMapRecursive(nested, accum));
+        callResult.nestedExecutionResults.forEach((nested)=>collectNoteHashNullifierCounterMapRecursive(nested, accum));
     };
     collectNoteHashNullifierCounterMapRecursive(execResult.entrypoint, accum);
     return accum;
@@ -202,7 +203,7 @@ export function collectNoteHashNullifierCounterMap(execResult) {
  */ function collectContractClassLogs(execResult) {
     return [
         execResult.contractClassLogs,
-        ...execResult.nestedExecutions.flatMap(collectContractClassLogs)
+        ...execResult.nestedExecutionResults.flatMap(collectContractClassLogs)
     ].flat();
 }
 /**
@@ -212,43 +213,27 @@ export function collectNoteHashNullifierCounterMap(execResult) {
  */ export function collectSortedContractClassLogs(execResult) {
     const allLogs = collectContractClassLogs(execResult.entrypoint);
     const sortedLogs = sortByCounter(allLogs);
-    return sortedLogs.map((l)=>l.log);
-}
-function collectEnqueuedCountedPublicExecutionRequests(execResult) {
-    return [
-        ...execResult.enqueuedPublicFunctionCalls,
-        ...execResult.nestedExecutions.flatMap(collectEnqueuedCountedPublicExecutionRequests)
-    ];
+    return sortedLogs.map((l)=>l.log.fields);
 }
 /**
- * Collect all enqueued public function calls across all nested executions.
- * @param execResult - The topmost execution result.
- * @returns All enqueued public function calls.
- */ export function collectEnqueuedPublicFunctionCalls(execResult) {
-    const countedRequests = collectEnqueuedCountedPublicExecutionRequests(execResult.entrypoint);
-    // without the reverse sort, the logs will be in a queue like fashion which is wrong
-    // as the kernel processes it like a stack, popping items off and pushing them to output
-    return sortByCounter(countedRequests, false).map((r)=>r.request);
-}
-export function collectPublicTeardownFunctionCall(execResult) {
-    const collectPublicTeardownFunctionCallRecursive = (callResult)=>{
+ * Collect all offchain effects emitted across all nested executions.
+ * @param execResult - The execution result to collect offchain effects from.
+ * @returns Array of offchain effects.
+ */ export function collectOffchainEffects(execResult) {
+    const collectEffectsRecursive = (callResult)=>{
         return [
-            callResult.publicTeardownFunctionCall,
-            ...callResult.nestedExecutions.flatMap(collectPublicTeardownFunctionCallRecursive)
-        ].filter((call)=>!call.isEmpty());
+            ...callResult.offchainEffects.map((msg)=>({
+                    ...msg,
+                    contractAddress: callResult.publicInputs.callContext.contractAddress
+                })),
+            ...callResult.nestedExecutionResults.flatMap((nested)=>collectEffectsRecursive(nested))
+        ];
     };
-    const teardownCalls = collectPublicTeardownFunctionCallRecursive(execResult.entrypoint);
-    if (teardownCalls.length === 1) {
-        return teardownCalls[0];
-    }
-    if (teardownCalls.length > 1) {
-        throw new Error('Multiple public teardown calls detected');
-    }
-    return PublicExecutionRequest.empty();
+    return collectEffectsRecursive(execResult.entrypoint);
 }
 export function getFinalMinRevertibleSideEffectCounter(execResult) {
     const collectFinalMinRevertibleSideEffectCounterRecursive = (callResult)=>{
-        return callResult.nestedExecutions.reduce((counter, exec)=>{
+        return callResult.nestedExecutionResults.reduce((counter, exec)=>{
             const nestedCounter = collectFinalMinRevertibleSideEffectCounterRecursive(exec);
             return nestedCounter ? nestedCounter : counter;
         }, callResult.publicInputs.minRevertibleSideEffectCounter.toNumber());
@@ -257,5 +242,11 @@ export function getFinalMinRevertibleSideEffectCounter(execResult) {
 }
 export function collectNested(executionStack, extractExecutionItems) {
     const thisExecutionReads = executionStack.flatMap(extractExecutionItems);
-    return thisExecutionReads.concat(executionStack.flatMap(({ nestedExecutions })=>collectNested(nestedExecutions, extractExecutionItems)));
+    return thisExecutionReads.concat(executionStack.flatMap(({ nestedExecutionResults })=>collectNested(nestedExecutionResults, extractExecutionItems)));
+}
+export class PrivateExecutionProfileResult {
+    timings;
+    constructor(timings){
+        this.timings = timings;
+    }
 }

package/dest/tx/private_tx_constant_data.d.ts

@@ -0,0 +1,45 @@
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
+import type { FieldsOf } from '@aztec/foundation/types';
+import { BlockHeader } from './block_header.js';
+import { ProtocolContracts } from './protocol_contracts.js';
+import { TxContext } from './tx_context.js';
+/**
+ * Data that is constant/not modified by neither of the kernels.
+ */
+export declare class PrivateTxConstantData {
+    anchorBlockHeader: BlockHeader;
+    txContext: TxContext;
+    vkTreeRoot: Fr;
+    protocolContracts: ProtocolContracts;
+    constructor(
+    /** Header of a block whose state is used during execution (not the block the transaction is included in). */
+    anchorBlockHeader: BlockHeader, 
+    /**
+     * Context of the transaction.
+     *
+     * Note: `chainId` and `version` in txContext are not redundant to the values in
+     * self.anchor_block_header.global_variables because they can be different in case of a protocol upgrade. In such
+     * a situation we could be using header from a block before the upgrade took place but be using the updated
+     * protocol to execute and prove the transaction.
+     */
+    txContext: TxContext, 
+    /**
+     * Root of the vk tree for the protocol circuits.
+     */
+    vkTreeRoot: Fr, 
+    /**
+     * List of protocol contracts.
+     */
+    protocolContracts: ProtocolContracts);
+    static from(fields: FieldsOf<PrivateTxConstantData>): PrivateTxConstantData;
+    static getFields(fields: FieldsOf<PrivateTxConstantData>): readonly [BlockHeader, TxContext, Fr, ProtocolContracts];
+    static fromFields(fields: Fr[] | FieldReader): PrivateTxConstantData;
+    toFields(): Fr[];
+    static fromBuffer(buffer: Buffer | BufferReader): PrivateTxConstantData;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static empty(): PrivateTxConstantData;
+    getSize(): number;
+    clone(): PrivateTxConstantData;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV90eF9jb25zdGFudF9kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdHgvcHJpdmF0ZV90eF9jb25zdGFudF9kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUM5QyxPQUFPLEVBQUUsWUFBWSxFQUFFLFdBQVcsRUFBd0MsTUFBTSw2QkFBNkIsQ0FBQztBQUM5RyxPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUV4RCxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFDaEQsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDNUQsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBRTVDOztHQUVHO0FBQ0gscUJBQWEscUJBQXFCO0lBR3ZCLGlCQUFpQixFQUFFLFdBQVc7SUFTOUIsU0FBUyxFQUFFLFNBQVM7SUFJcEIsVUFBVSxFQUFFLEVBQUU7SUFJZCxpQkFBaUIsRUFBRSxpQkFBaUI7SUFuQjdDO0lBQ0UsNkdBQTZHO0lBQ3RHLGlCQUFpQixFQUFFLFdBQVc7SUFDckM7Ozs7Ozs7T0FPRztJQUNJLFNBQVMsRUFBRSxTQUFTO0lBQzNCOztPQUVHO0lBQ0ksVUFBVSxFQUFFLEVBQUU7SUFDckI7O09BRUc7SUFDSSxpQkFBaUIsRUFBRSxpQkFBaUIsRUFDekM7SUFFSixNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMscUJBQXFCLENBQUMseUJBRWxEO0lBRUQsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLHFCQUFxQixDQUFDLDREQUV2RDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLEVBQUUsRUFBRSxHQUFHLFdBQVcsR0FBRyxxQkFBcUIsQ0FRbkU7SUFFRCxRQUFRLElBQUksRUFBRSxFQUFFLENBUWY7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLHFCQUFxQixDQVF0RTtJQUVELFFBQVEsNEJBRVA7SUFFRCxNQUFNLENBQUMsS0FBSywwQkFFWDtJQUVELE9BQU8sV0FPTjtJQUVELEtBQUssSUFBSSxxQkFBcUIsQ0FFN0I7Q0FDRiJ9

package/dest/tx/private_tx_constant_data.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"private_tx_constant_data.d.ts","sourceRoot":"","sources":["../../src/tx/private_tx_constant_data.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAwC,MAAM,6BAA6B,CAAC;AAC9G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C;;GAEG;AACH,qBAAa,qBAAqB;IAGvB,iBAAiB,EAAE,WAAW;IAS9B,SAAS,EAAE,SAAS;IAIpB,UAAU,EAAE,EAAE;IAId,iBAAiB,EAAE,iBAAiB;IAnB7C;IACE,6GAA6G;IACtG,iBAAiB,EAAE,WAAW;IACrC;;;;;;;OAOG;IACI,SAAS,EAAE,SAAS;IAC3B;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,iBAAiB,EAAE,iBAAiB,EACzC;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC,yBAElD;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC,4DAEvD;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,qBAAqB,CAQnE;IAED,QAAQ,IAAI,EAAE,EAAE,CAQf;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qBAAqB,CAQtE;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,KAAK,0BAEX;IAED,OAAO,WAON;IAED,KAAK,IAAI,qBAAqB,CAE7B;CACF"}