@aztec-labs/stdlib 6.0.0-nightly.20260829

package/dest/tx/offchain_effect.js

@@ -0,0 +1,4 @@
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+// The following identifier was copied over from `noir-projects/aztec-nr/aztec/src/messages/offchain_messages.nr`.
+// poseidon2hash("aztecnr_offchain_message")
+export const OFFCHAIN_MESSAGE_IDENTIFIER = new Fr(6023466688192654631553769360478808766602235351827869819420284624004071427516n);

package/dest/tx/partial_state_reference.d.ts

@@ -0,0 +1,68 @@
+import type { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { BufferReader, BufferSink, FieldReader } from '@aztec-labs/foundation/serialize';
+import type { FieldsOf } from '@aztec-labs/foundation/types';
+import { z } from 'zod';
+import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
+/**
+ * Stores snapshots of trees which are commonly needed by base or merge rollup circuits.
+ */
+export declare class PartialStateReference {
+    /** Snapshot of the note hash tree. */
+    readonly noteHashTree: AppendOnlyTreeSnapshot;
+    /** Snapshot of the nullifier tree. */
+    readonly nullifierTree: AppendOnlyTreeSnapshot;
+    /** Snapshot of the public data tree. */
+    readonly publicDataTree: AppendOnlyTreeSnapshot;
+    constructor(
+    /** Snapshot of the note hash tree. */
+    noteHashTree: AppendOnlyTreeSnapshot, 
+    /** Snapshot of the nullifier tree. */
+    nullifierTree: AppendOnlyTreeSnapshot, 
+    /** Snapshot of the public data tree. */
+    publicDataTree: AppendOnlyTreeSnapshot);
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        noteHashTree: z.ZodPipe<z.ZodObject<{
+            root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+            root: Fr;
+            nextAvailableLeafIndex: number;
+        }>>;
+        nullifierTree: z.ZodPipe<z.ZodObject<{
+            root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+            root: Fr;
+            nextAvailableLeafIndex: number;
+        }>>;
+        publicDataTree: z.ZodPipe<z.ZodObject<{
+            root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+            root: Fr;
+            nextAvailableLeafIndex: number;
+        }>>;
+    }, z.core.$strip>, z.ZodTransform<PartialStateReference, {
+        noteHashTree: AppendOnlyTreeSnapshot;
+        nullifierTree: AppendOnlyTreeSnapshot;
+        publicDataTree: AppendOnlyTreeSnapshot;
+    }>>;
+    getSize(): number;
+    static getFields(fields: FieldsOf<PartialStateReference>): readonly [AppendOnlyTreeSnapshot, AppendOnlyTreeSnapshot, AppendOnlyTreeSnapshot];
+    static from(fields: FieldsOf<PartialStateReference>): PartialStateReference;
+    static fromBuffer(buffer: Buffer | BufferReader): PartialStateReference;
+    static fromFields(fields: Fr[] | FieldReader): PartialStateReference;
+    static random(): PartialStateReference;
+    toAbi(): [
+        ReturnType<AppendOnlyTreeSnapshot['toAbi']>,
+        ReturnType<AppendOnlyTreeSnapshot['toAbi']>,
+        ReturnType<AppendOnlyTreeSnapshot['toAbi']>
+    ];
+    static empty(): PartialStateReference;
+    toBuffer(): Buffer;
+    toBuffer(sink: BufferSink): void;
+    toFields(): Fr[];
+    isEmpty(): boolean;
+    equals(other: this): boolean;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicGFydGlhbF9zdGF0ZV9yZWZlcmVuY2UuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90eC9wYXJ0aWFsX3N0YXRlX3JlZmVyZW5jZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxxQ0FBcUMsQ0FBQztBQUM5RCxPQUFPLEVBQUUsWUFBWSxFQUFFLFVBQVUsRUFBRSxXQUFXLEVBQW1CLE1BQU0sa0NBQWtDLENBQUM7QUFDMUcsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0sOEJBQThCLENBQUM7QUFDN0QsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUV4QixPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx1Q0FBdUMsQ0FBQztBQUUvRTs7R0FFRztBQUNILHFCQUFhLHFCQUFxQjtJQUU5QixzQ0FBc0M7YUFDdEIsWUFBWSxFQUFFLHNCQUFzQjtJQUNwRCxzQ0FBc0M7YUFDdEIsYUFBYSxFQUFFLHNCQUFzQjtJQUNyRCx3Q0FBd0M7YUFDeEIsY0FBYyxFQUFFLHNCQUFzQjtJQU54RDtJQUNFLHNDQUFzQztJQUN0QixZQUFZLEVBQUUsc0JBQXNCO0lBQ3BELHNDQUFzQztJQUN0QixhQUFhLEVBQUUsc0JBQXNCO0lBQ3JELHdDQUF3QztJQUN4QixjQUFjLEVBQUUsc0JBQXNCLEVBQ3BEO0lBRUosTUFBTSxLQUFLLE1BQU07Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O1FBV2hCO0lBRUQsT0FBTyxXQUVOO0lBRUQsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLHFCQUFxQixDQUFDLHFGQUV2RDtJQUVELE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxxQkFBcUIsQ0FBQyx5QkFFbEQ7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLHFCQUFxQixDQU90RTtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLEVBQUUsRUFBRSxHQUFHLFdBQVcsR0FBRyxxQkFBcUIsQ0FRbkU7SUFFRCxNQUFNLENBQUMsTUFBTSxJQUFJLHFCQUFxQixDQU1yQztJQUVELEtBQUssSUFBSTtRQUNQLFVBQVUsQ0FBQyxzQkFBc0IsQ0FBQyxPQUFPLENBQUMsQ0FBQztRQUMzQyxVQUFVLENBQUMsc0JBQXNCLENBQUMsT0FBTyxDQUFDLENBQUM7UUFDM0MsVUFBVSxDQUFDLHNCQUFzQixDQUFDLE9BQU8sQ0FBQyxDQUFDO0tBQzVDLENBRUE7SUFFRCxNQUFNLENBQUMsS0FBSyxJQUFJLHFCQUFxQixDQU1wQztJQUVELFFBQVEsSUFBSSxNQUFNLENBQUM7SUFDbkIsUUFBUSxDQUFDLElBQUksRUFBRSxVQUFVLEdBQUcsSUFBSSxDQUFDO0lBUWpDLFFBQVEsU0FZUDtJQUVELE9BQU8sSUFBSSxPQUFPLENBRWpCO0lBRU0sTUFBTSxDQUFDLEtBQUssRUFBRSxJQUFJLEdBQUcsT0FBTyxDQU1sQztDQUNGIn0=

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

@@ -0,0 +1 @@
+{"version":3,"file":"partial_state_reference.d.ts","sourceRoot":"","sources":["../../src/tx/partial_state_reference.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,EAAmB,MAAM,kCAAkC,CAAC;AAC1G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAE/E;;GAEG;AACH,qBAAa,qBAAqB;IAE9B,sCAAsC;aACtB,YAAY,EAAE,sBAAsB;IACpD,sCAAsC;aACtB,aAAa,EAAE,sBAAsB;IACrD,wCAAwC;aACxB,cAAc,EAAE,sBAAsB;IANxD;IACE,sCAAsC;IACtB,YAAY,EAAE,sBAAsB;IACpD,sCAAsC;IACtB,aAAa,EAAE,sBAAsB;IACrD,wCAAwC;IACxB,cAAc,EAAE,sBAAsB,EACpD;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;QAWhB;IAED,OAAO,WAEN;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC,qFAEvD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC,yBAElD;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qBAAqB,CAOtE;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,qBAAqB,CAQnE;IAED,MAAM,CAAC,MAAM,IAAI,qBAAqB,CAMrC;IAED,KAAK,IAAI;QACP,UAAU,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC;QAC3C,UAAU,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC;QAC3C,UAAU,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC;KAC5C,CAEA;IAED,MAAM,CAAC,KAAK,IAAI,qBAAqB,CAMpC;IAED,QAAQ,IAAI,MAAM,CAAC;IACnB,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;IAQjC,QAAQ,SAYP;IAED,OAAO,IAAI,OAAO,CAEjB;IAEM,MAAM,CAAC,KAAK,EAAE,IAAI,GAAG,OAAO,CAMlC;CACF"}

package/dest/tx/partial_state_reference.js

@@ -0,0 +1,83 @@
+import { PARTIAL_STATE_REFERENCE_LENGTH } from '@aztec-labs/constants';
+import { BufferReader, BufferSink, FieldReader, serializeToSink } from '@aztec-labs/foundation/serialize';
+import { z } from 'zod';
+import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
+/**
+ * Stores snapshots of trees which are commonly needed by base or merge rollup circuits.
+ */ export class PartialStateReference {
+    noteHashTree;
+    nullifierTree;
+    publicDataTree;
+    constructor(/** Snapshot of the note hash tree. */ noteHashTree, /** Snapshot of the nullifier tree. */ nullifierTree, /** Snapshot of the public data tree. */ publicDataTree){
+        this.noteHashTree = noteHashTree;
+        this.nullifierTree = nullifierTree;
+        this.publicDataTree = publicDataTree;
+    }
+    static get schema() {
+        return z.object({
+            noteHashTree: AppendOnlyTreeSnapshot.schema,
+            nullifierTree: AppendOnlyTreeSnapshot.schema,
+            publicDataTree: AppendOnlyTreeSnapshot.schema
+        }).transform(({ noteHashTree, nullifierTree, publicDataTree })=>new PartialStateReference(noteHashTree, nullifierTree, publicDataTree));
+    }
+    getSize() {
+        return this.noteHashTree.getSize() + this.nullifierTree.getSize() + this.publicDataTree.getSize();
+    }
+    static getFields(fields) {
+        return [
+            fields.noteHashTree,
+            fields.nullifierTree,
+            fields.publicDataTree
+        ];
+    }
+    static from(fields) {
+        return new PartialStateReference(...PartialStateReference.getFields(fields));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new PartialStateReference(reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(AppendOnlyTreeSnapshot));
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        const noteHashTree = AppendOnlyTreeSnapshot.fromFields(reader);
+        const nullifierTree = AppendOnlyTreeSnapshot.fromFields(reader);
+        const publicDataTree = AppendOnlyTreeSnapshot.fromFields(reader);
+        return new PartialStateReference(noteHashTree, nullifierTree, publicDataTree);
+    }
+    static random() {
+        return new PartialStateReference(AppendOnlyTreeSnapshot.random(), AppendOnlyTreeSnapshot.random(), AppendOnlyTreeSnapshot.random());
+    }
+    toAbi() {
+        return [
+            this.noteHashTree.toAbi(),
+            this.nullifierTree.toAbi(),
+            this.publicDataTree.toAbi()
+        ];
+    }
+    static empty() {
+        return new PartialStateReference(AppendOnlyTreeSnapshot.empty(), AppendOnlyTreeSnapshot.empty(), AppendOnlyTreeSnapshot.empty());
+    }
+    toBuffer(sink) {
+        if (!sink) {
+            return BufferSink.serialize(this);
+        }
+        serializeToSink(sink, this.noteHashTree, this.nullifierTree, this.publicDataTree);
+    }
+    toFields() {
+        const fields = [
+            ...this.noteHashTree.toFields(),
+            ...this.nullifierTree.toFields(),
+            ...this.publicDataTree.toFields()
+        ];
+        if (fields.length !== PARTIAL_STATE_REFERENCE_LENGTH) {
+            throw new Error(`Invalid number of fields for PartialStateReference. Expected ${PARTIAL_STATE_REFERENCE_LENGTH}, got ${fields.length}`);
+        }
+        return fields;
+    }
+    isEmpty() {
+        return this.noteHashTree.isEmpty() && this.nullifierTree.isEmpty() && this.publicDataTree.isEmpty();
+    }
+    equals(other) {
+        return this.noteHashTree.equals(other.noteHashTree) && this.nullifierTree.equals(other.nullifierTree) && this.publicDataTree.equals(other.publicDataTree);
+    }
+}

package/dest/tx/private_execution_result.d.ts

@@ -0,0 +1,174 @@
+import type { BlockNumber } from '@aztec-labs/foundation/branded-types';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import type { FieldsOf } from '@aztec-labs/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, ContractClassLogFields } from '../logs/contract_class_log.js';
+import { type TaggingIndexRange } from '../logs/tagging_index_range.js';
+import { Note } from '../note/note.js';
+import { type ZodFor } from '../schemas/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 randomness injected to the note. */
+    randomness: Fr;
+    /** The note type identifier. */
+    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.ZodPipe<z.ZodObject<{
+        note: z.ZodPipe<ZodFor<Buffer<ArrayBufferLike>>, z.ZodTransform<Note, Buffer<ArrayBufferLike>>>;
+        storageSlot: ZodFor<Fr>;
+        randomness: ZodFor<Fr>;
+        noteTypeId: z.ZodType<NoteSelector, string, z.core.$ZodTypeInternals<NoteSelector, string>>;
+    }, z.core.$strip>, z.ZodTransform<NoteAndSlot, {
+        note: Note;
+        storageSlot: Fr;
+        randomness: Fr;
+        noteTypeId: NoteSelector;
+    }>>;
+    static from(fields: FieldsOf<NoteAndSlot>): NoteAndSlot;
+    static random(): NoteAndSlot;
+}
+export declare class CountedContractClassLog implements IsEmpty {
+    log: ContractClassLog;
+    counter: number;
+    constructor(log: ContractClassLog, counter: number);
+    static get schema(): ZodFor<CountedContractClassLog>;
+    static from(fields: {
+        log: ContractClassLog;
+        counter: number;
+    }): CountedContractClassLog;
+    isEmpty(): boolean;
+}
+export declare class PrivateExecutionResult {
+    entrypoint: PrivateCallExecutionResult;
+    /** The first non-revertible nullifier emitted by any private call, or the protocol nullifier if there was none. */
+    firstNullifier: Fr;
+    /** An array of calldata for the enqueued public function calls and the teardown function call. */
+    publicFunctionCalldata: HashedValues[];
+    constructor(entrypoint: PrivateCallExecutionResult, 
+    /** The first non-revertible nullifier emitted by any private call, or the protocol nullifier if there was none. */
+    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(): BlockNumber;
+}
+/**
+ * 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;
+    /** 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 offchain effects emitted during execution of this function call via the `emit_offchain_effect` oracle. */
+    offchainEffects: {
+        data: Fr[];
+    }[];
+    /** The tagging index ranges used in this tx to compute tags for private logs */
+    taggingIndexRanges: TaggingIndexRange[];
+    /** The nested executions. */
+    nestedExecutionResults: PrivateCallExecutionResult[];
+    /**
+     * Contract class logs emitted during execution of this function call.
+     * 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[];
+    profileResult?: PrivateExecutionProfileResult | undefined;
+    constructor(
+    /** The ACIR bytecode. */
+    acir: Buffer, 
+    /** The verification key. */
+    vk: Buffer, 
+    /** The partial witness. */
+    partialWitness: Map<number, string>, 
+    /** The call stack item. */
+    publicInputs: PrivateCircuitPublicInputs, 
+    /** 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 offchain effects emitted during execution of this function call via the `emit_offchain_effect` oracle. */
+    offchainEffects: {
+        data: Fr[];
+    }[], 
+    /** The tagging index ranges used in this tx to compute tags for private logs */
+    taggingIndexRanges: TaggingIndexRange[], 
+    /** The nested executions. */
+    nestedExecutionResults: PrivateCallExecutionResult[], 
+    /**
+     * Contract class logs emitted during execution of this function call.
+     * 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[], profileResult?: PrivateExecutionProfileResult | undefined);
+    static get schema(): ZodFor<PrivateCallExecutionResult>;
+    static from(fields: FieldsOf<PrivateCallExecutionResult>): PrivateCallExecutionResult;
+    static random(nested?: number): Promise<PrivateCallExecutionResult>;
+}
+export declare function collectNoteHashNullifierCounterMap(execResult: PrivateExecutionResult): Map<number, number>;
+/**
+ * Collect all contract class logs across all nested executions and sorts by counter.
+ * @param execResult - The topmost execution result.
+ * @returns All contract class logs.
+ */
+export declare function collectSortedContractClassLogs(execResult: PrivateExecutionResult): ContractClassLogFields[];
+/**
+ * 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 collectOffchainEffects(execResult: PrivateExecutionResult): OffchainEffect[];
+export declare function getFinalMinRevertibleSideEffectCounter(execResult: PrivateExecutionResult): number;
+export declare function collectNested<T>(executionStack: PrivateCallExecutionResult[], extractExecutionItems: (execution: PrivateCallExecutionResult) => T[]): T[];
+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,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9leGVjdXRpb25fcmVzdWx0LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdHgvcHJpdmF0ZV9leGVjdXRpb25fcmVzdWx0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLFdBQVcsRUFBRSxNQUFNLHNDQUFzQyxDQUFDO0FBR3hFLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxxQ0FBcUMsQ0FBQztBQUN6RCxPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSw4QkFBOEIsQ0FBQztBQUM3RCxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUN2RCxPQUFPLEVBQUUsMEJBQTBCLEVBQUUsTUFBTSw0Q0FBNEMsQ0FBQztBQUN4RixPQUFPLEtBQUssRUFBRSxPQUFPLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUU3RCxPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUN6RixPQUFPLEVBQUUsS0FBSyxpQkFBaUIsRUFBMkIsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNqRyxPQUFPLEVBQUUsSUFBSSxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFDdkMsT0FBTyxFQUFFLEtBQUssTUFBTSxFQUFzQixNQUFNLHFCQUFxQixDQUFDO0FBQ3RFLE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUNsRCxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUUzRDs7R0FFRztBQUNILHFCQUFhLFdBQVc7SUFFcEIsZ0JBQWdCO0lBQ1QsSUFBSSxFQUFFLElBQUk7SUFDakIsb0NBQW9DO0lBQzdCLFdBQVcsRUFBRSxFQUFFO0lBQ3RCLDJDQUEyQztJQUNwQyxVQUFVLEVBQUUsRUFBRTtJQUNyQixnQ0FBZ0M7SUFDekIsVUFBVSxFQUFFLFlBQVk7SUFSakM7SUFDRSxnQkFBZ0I7SUFDVCxJQUFJLEVBQUUsSUFBSTtJQUNqQixvQ0FBb0M7SUFDN0IsV0FBVyxFQUFFLEVBQUU7SUFDdEIsMkNBQTJDO0lBQ3BDLFVBQVUsRUFBRSxFQUFFO0lBQ3JCLGdDQUFnQztJQUN6QixVQUFVLEVBQUUsWUFBWSxFQUM3QjtJQUVKLE1BQU0sS0FBSyxNQUFNOzs7Ozs7Ozs7O1FBU2hCO0lBRUQsTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLFdBQVcsQ0FBQyxlQUV4QztJQUVELE1BQU0sQ0FBQyxNQUFNLGdCQUVaO0NBQ0Y7QUFFRCxxQkFBYSx1QkFBd0IsWUFBVyxPQUFPO0lBRTVDLEdBQUcsRUFBRSxnQkFBZ0I7SUFDckIsT0FBTyxFQUFFLE1BQU07SUFGeEIsWUFDUyxHQUFHLEVBQUUsZ0JBQWdCLEVBQ3JCLE9BQU8sRUFBRSxNQUFNLEVBQ3BCO0lBRUosTUFBTSxLQUFLLE1BQU0sSUFBSSxNQUFNLENBQUMsdUJBQXVCLENBQUMsQ0FPbkQ7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRTtRQUFFLEdBQUcsRUFBRSxnQkFBZ0IsQ0FBQztRQUFDLE9BQU8sRUFBRSxNQUFNLENBQUE7S0FBRSwyQkFFN0Q7SUFFRCxPQUFPLElBQUksT0FBTyxDQUVqQjtDQUNGO0FBRUQscUJBQWEsc0JBQXNCO0lBRXhCLFVBQVUsRUFBRSwwQkFBMEI7SUFDN0MsbUhBQW1IO0lBQzVHLGNBQWMsRUFBRSxFQUFFO0lBQ3pCLGtHQUFrRztJQUMzRixzQkFBc0IsRUFBRSxZQUFZLEVBQUU7SUFML0MsWUFDUyxVQUFVLEVBQUUsMEJBQTBCO0lBQzdDLG1IQUFtSDtJQUM1RyxjQUFjLEVBQUUsRUFBRTtJQUN6QixrR0FBa0c7SUFDM0Ysc0JBQXNCLEVBQUUsWUFBWSxFQUFFLEVBQzNDO0lBRUosTUFBTSxLQUFLLE1BQU0sSUFBSSxNQUFNLENBQUMsc0JBQXNCLENBQUMsQ0FRbEQ7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsc0JBQXNCLENBQUMsMEJBRW5EO0lBRUQsT0FBYSxNQUFNLENBQUMsTUFBTSxTQUFJLEdBQUcsT0FBTyxDQUFDLHNCQUFzQixDQUFDLENBSy9EO0lBRUQ7O09BRUc7SUFDSCw4QkFBOEIsSUFBSSxXQUFXLENBRTVDO0NBQ0Y7QUFFRDs7R0FFRztBQUNILHFCQUFhLDBCQUEwQjtJQUduQyx5QkFBeUI7SUFDbEIsSUFBSSxFQUFFLE1BQU07SUFDbkIsNEJBQTRCO0lBQ3JCLEVBQUUsRUFBRSxNQUFNO0lBQ2pCLDJCQUEyQjtJQUNwQixjQUFjLEVBQUUsR0FBRyxDQUFDLE1BQU0sRUFBRSxNQUFNLENBQUM7SUFFMUMsMkJBQTJCO0lBQ3BCLFlBQVksRUFBRSwwQkFBMEI7SUFDL0Msa0RBQWtEO0lBQzNDLFFBQVEsRUFBRSxXQUFXLEVBQUU7SUFDOUIsb0VBQW9FO0lBQzdELDJCQUEyQixFQUFFLEdBQUcsQ0FBQyxNQUFNLEVBQUUsTUFBTSxDQUFDO0lBQ3ZELHNEQUFzRDtJQUMvQyxZQUFZLEVBQUUsRUFBRSxFQUFFO0lBQ3pCLGlIQUFpSDtJQUMxRyxlQUFlLEVBQUU7UUFBRSxJQUFJLEVBQUUsRUFBRSxFQUFFLENBQUE7S0FBRSxFQUFFO0lBQ3hDLGdGQUFnRjtJQUN6RSxrQkFBa0IsRUFBRSxpQkFBaUIsRUFBRTtJQUM5Qyw2QkFBNkI7SUFDdEIsc0JBQXNCLEVBQUUsMEJBQTBCLEVBQUU7SUFDM0Q7Ozs7T0FJRztJQUNJLGlCQUFpQixFQUFFLHVCQUF1QixFQUFFO0lBQzVDLGFBQWEsQ0FBQztJQTdCdkI7SUFFRSx5QkFBeUI7SUFDbEIsSUFBSSxFQUFFLE1BQU07SUFDbkIsNEJBQTRCO0lBQ3JCLEVBQUUsRUFBRSxNQUFNO0lBQ2pCLDJCQUEyQjtJQUNwQixjQUFjLEVBQUUsR0FBRyxDQUFDLE1BQU0sRUFBRSxNQUFNLENBQUM7SUFFMUMsMkJBQTJCO0lBQ3BCLFlBQVksRUFBRSwwQkFBMEI7SUFDL0Msa0RBQWtEO0lBQzNDLFFBQVEsRUFBRSxXQUFXLEVBQUU7SUFDOUIsb0VBQW9FO0lBQzdELDJCQUEyQixFQUFFLEdBQUcsQ0FBQyxNQUFNLEVBQUUsTUFBTSxDQUFDO0lBQ3ZELHNEQUFzRDtJQUMvQyxZQUFZLEVBQUUsRUFBRSxFQUFFO0lBQ3pCLGlIQUFpSDtJQUMxRyxlQUFlLEVBQUU7UUFBRSxJQUFJLEVBQUUsRUFBRSxFQUFFLENBQUE7S0FBRSxFQUFFO0lBQ3hDLGdGQUFnRjtJQUN6RSxrQkFBa0IsRUFBRSxpQkFBaUIsRUFBRTtJQUM5Qyw2QkFBNkI7SUFDdEIsc0JBQXNCLEVBQUUsMEJBQTBCLEVBQUU7SUFDM0Q7Ozs7T0FJRztJQUNJLGlCQUFpQixFQUFFLHVCQUF1QixFQUFFLEVBQzVDLGFBQWEsQ0FBQywyQ0FBK0IsRUFDbEQ7SUFFSixNQUFNLEtBQUssTUFBTSxJQUFJLE1BQU0sQ0FBQywwQkFBMEIsQ0FBQyxDQWdCdEQ7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsMEJBQTBCLENBQUMsOEJBY3ZEO0lBRUQsT0FBYSxNQUFNLENBQUMsTUFBTSxTQUFJLEdBQUcsT0FBTyxDQUFDLDBCQUEwQixDQUFDLENBa0JuRTtDQUNGO0FBRUQsd0JBQWdCLGtDQUFrQyxDQUFDLFVBQVUsRUFBRSxzQkFBc0IsdUJBV3BGO0FBV0Q7Ozs7R0FJRztBQUNILHdCQUFnQiw4QkFBOEIsQ0FBQyxVQUFVLEVBQUUsc0JBQXNCLEdBQUcsc0JBQXNCLEVBQUUsQ0FJM0c7QUFFRDs7OztHQUlHO0FBQ0gsd0JBQWdCLHNCQUFzQixDQUFDLFVBQVUsRUFBRSxzQkFBc0IsR0FBRyxjQUFjLEVBQUUsQ0FXM0Y7QUFFRCx3QkFBZ0Isc0NBQXNDLENBQUMsVUFBVSxFQUFFLHNCQUFzQixHQUFHLE1BQU0sQ0FRakc7QUFFRCx3QkFBZ0IsYUFBYSxDQUFDLENBQUMsRUFDN0IsY0FBYyxFQUFFLDBCQUEwQixFQUFFLEVBQzVDLHFCQUFxQixFQUFFLENBQUMsU0FBUyxFQUFFLDBCQUEwQixLQUFLLENBQUMsRUFBRSxHQUNwRSxDQUFDLEVBQUUsQ0FRTDtBQUVELHFCQUFhLDZCQUE2QjtJQUNyQixPQUFPLEVBQUU7UUFBRSxNQUFNLEVBQUUsTUFBTSxDQUFDO1FBQUMsT0FBTyxDQUFDLEVBQUUsTUFBTSxDQUFDLE1BQU0sRUFBRTtZQUFFLEtBQUssRUFBRSxNQUFNLEVBQUUsQ0FBQTtTQUFFLENBQUMsQ0FBQTtLQUFFO0lBQTdGLFlBQW1CLE9BQU8sRUFBRTtRQUFFLE1BQU0sRUFBRSxNQUFNLENBQUM7UUFBQyxPQUFPLENBQUMsRUFBRSxNQUFNLENBQUMsTUFBTSxFQUFFO1lBQUUsS0FBSyxFQUFFLE1BQU0sRUFBRSxDQUFBO1NBQUUsQ0FBQyxDQUFBO0tBQUUsRUFBSTtDQUNsRyJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"private_execution_result.d.ts","sourceRoot":"","sources":["../../src/tx/private_execution_result.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sCAAsC,CAAC;AAGxE,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AACzD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAC7D,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,iBAAiB,EAA2B,MAAM,gCAAgC,CAAC;AACjG,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AACvC,OAAO,EAAE,KAAK,MAAM,EAAsB,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D;;GAEG;AACH,qBAAa,WAAW;IAEpB,gBAAgB;IACT,IAAI,EAAE,IAAI;IACjB,oCAAoC;IAC7B,WAAW,EAAE,EAAE;IACtB,2CAA2C;IACpC,UAAU,EAAE,EAAE;IACrB,gCAAgC;IACzB,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;;;;;;;;;;QAShB;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;IAC7C,mHAAmH;IAC5G,cAAc,EAAE,EAAE;IACzB,kGAAkG;IAC3F,sBAAsB,EAAE,YAAY,EAAE;IAL/C,YACS,UAAU,EAAE,0BAA0B;IAC7C,mHAAmH;IAC5G,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,WAAW,CAE5C;CACF;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,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,gFAAgF;IACzE,kBAAkB,EAAE,iBAAiB,EAAE;IAC9C,6BAA6B;IACtB,sBAAsB,EAAE,0BAA0B,EAAE;IAC3D;;;;OAIG;IACI,iBAAiB,EAAE,uBAAuB,EAAE;IAC5C,aAAa,CAAC;IA7BvB;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,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,gFAAgF;IACzE,kBAAkB,EAAE,iBAAiB,EAAE;IAC9C,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,CAgBtD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,8BAcvD;IAED,OAAa,MAAM,CAAC,MAAM,SAAI,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAkBnE;CACF;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

@@ -0,0 +1,235 @@
+import { timesParallel } from '@aztec-labs/foundation/collection';
+import { randomBytes, randomInt } from '@aztec-labs/foundation/crypto/random';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { z } from 'zod';
+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 { TaggingIndexRangeSchema } from '../logs/tagging_index_range.js';
+import { Note } from '../note/note.js';
+import { mapSchema, schemas } from '../schemas/index.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 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.randomness, fields.noteTypeId);
+    }
+    static random() {
+        return new NoteAndSlot(Note.random(), Fr.random(), Fr.random(), NoteSelector.random());
+    }
+}
+export class CountedContractClassLog {
+    log;
+    counter;
+    constructor(log, counter){
+        this.log = log;
+        this.counter = counter;
+    }
+    static get schema() {
+        return z.object({
+            log: ContractClassLog.schema,
+            counter: schemas.Integer
+        }).transform(CountedContractClassLog.from);
+    }
+    static from(fields) {
+        return new CountedContractClassLog(fields.log, fields.counter);
+    }
+    isEmpty() {
+        return this.log.isEmpty() && !this.counter;
+    }
+}
+export class PrivateExecutionResult {
+    entrypoint;
+    firstNullifier;
+    publicFunctionCalldata;
+    constructor(entrypoint, /** The first non-revertible nullifier emitted by any private call, or the protocol nullifier 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,
+            publicFunctionCalldata: z.array(HashedValues.schema)
+        }).transform(PrivateExecutionResult.from);
+    }
+    static from(fields) {
+        return new PrivateExecutionResult(fields.entrypoint, fields.firstNullifier, fields.publicFunctionCalldata);
+    }
+    static async random(nested = 1) {
+        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;
+    }
+}
+/**
+ * The result of executing a call to a private function.
+ */ export class PrivateCallExecutionResult {
+    acir;
+    vk;
+    partialWitness;
+    publicInputs;
+    newNotes;
+    noteHashNullifierCounterMap;
+    returnValues;
+    offchainEffects;
+    taggingIndexRanges;
+    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, /** 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 tagging index ranges used in this tx to compute tags for private logs */ taggingIndexRanges, /** The nested executions. */ nestedExecutionResults, /**
+     * Contract class logs emitted during execution of this function call.
+     * 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;
+        this.publicInputs = publicInputs;
+        this.newNotes = newNotes;
+        this.noteHashNullifierCounterMap = noteHashNullifierCounterMap;
+        this.returnValues = returnValues;
+        this.offchainEffects = offchainEffects;
+        this.taggingIndexRanges = taggingIndexRanges;
+        this.nestedExecutionResults = nestedExecutionResults;
+        this.contractClassLogs = contractClassLogs;
+        this.profileResult = profileResult;
+    }
+    static get schema() {
+        return z.object({
+            acir: schemas.Buffer,
+            vk: schemas.Buffer,
+            partialWitness: mapSchema(z.coerce.number(), z.string()),
+            publicInputs: PrivateCircuitPublicInputs.schema,
+            newNotes: z.array(NoteAndSlot.schema),
+            noteHashNullifierCounterMap: mapSchema(z.coerce.number(), z.number()),
+            returnValues: z.array(schemas.Fr),
+            offchainEffects: z.array(z.object({
+                data: z.array(schemas.Fr)
+            })),
+            taggingIndexRanges: z.array(TaggingIndexRangeSchema),
+            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.newNotes, fields.noteHashNullifierCounterMap, fields.returnValues, fields.offchainEffects, fields.taggingIndexRanges, fields.nestedExecutionResults, fields.contractClassLogs);
+    }
+    static async random(nested = 1) {
+        return new PrivateCallExecutionResult(randomBytes(4), randomBytes(4), new Map([
+            [
+                1,
+                'one'
+            ]
+        ]), PrivateCircuitPublicInputs.empty(), [
+            NoteAndSlot.random()
+        ], new Map([
+            [
+                0,
+                0
+            ]
+        ]), [
+            Fr.random()
+        ], [
+            {
+                data: [
+                    Fr.random()
+                ]
+            }
+        ], [], await timesParallel(nested, ()=>PrivateCallExecutionResult.random(0)), [
+            new CountedContractClassLog(await ContractClassLog.random(), randomInt(10))
+        ]);
+    }
+}
+export function collectNoteHashNullifierCounterMap(execResult) {
+    const accum = new Map();
+    const collectNoteHashNullifierCounterMapRecursive = (callResult, accum)=>{
+        callResult.noteHashNullifierCounterMap.forEach((value, key)=>accum.set(key, value));
+        callResult.nestedExecutionResults.forEach((nested)=>collectNoteHashNullifierCounterMapRecursive(nested, accum));
+    };
+    collectNoteHashNullifierCounterMapRecursive(execResult.entrypoint, accum);
+    return accum;
+}
+/**
+ * Collect all contract class logs across all nested executions.
+ * @param execResult - The topmost execution result.
+ * @returns All contract class logs.
+ */ function collectContractClassLogs(execResult) {
+    return [
+        execResult.contractClassLogs,
+        ...execResult.nestedExecutionResults.flatMap(collectContractClassLogs)
+    ].flat();
+}
+/**
+ * Collect all contract class logs across all nested executions and sorts by counter.
+ * @param execResult - The topmost execution result.
+ * @returns All contract class logs.
+ */ export function collectSortedContractClassLogs(execResult) {
+    const allLogs = collectContractClassLogs(execResult.entrypoint);
+    const sortedLogs = sortByCounter(allLogs);
+    return sortedLogs.map((l)=>l.log.fields);
+}
+/**
+ * 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.offchainEffects.map((msg)=>({
+                    ...msg,
+                    contractAddress: callResult.publicInputs.callContext.contractAddress
+                })),
+            ...callResult.nestedExecutionResults.flatMap((nested)=>collectEffectsRecursive(nested))
+        ];
+    };
+    return collectEffectsRecursive(execResult.entrypoint);
+}
+export function getFinalMinRevertibleSideEffectCounter(execResult) {
+    const collectFinalMinRevertibleSideEffectCounterRecursive = (callResult)=>{
+        return callResult.nestedExecutionResults.reduce((counter, exec)=>{
+            const nestedCounter = collectFinalMinRevertibleSideEffectCounterRecursive(exec);
+            return nestedCounter ? nestedCounter : counter;
+        }, callResult.publicInputs.minRevertibleSideEffectCounter.toNumber());
+    };
+    return collectFinalMinRevertibleSideEffectCounterRecursive(execResult.entrypoint);
+}
+export function collectNested(executionStack, extractExecutionItems) {
+    const thisExecutionReads = executionStack.flatMap(extractExecutionItems);
+    return thisExecutionReads.concat(executionStack.flatMap(({ nestedExecutionResults })=>collectNested(nestedExecutionResults, extractExecutionItems)));
+}
+export class PrivateExecutionProfileResult {
+    timings;
+    constructor(timings){
+        this.timings = timings;
+    }
+}