@aztec/stdlib 3.0.0-nightly.20250923 → 3.0.0-nightly.20250925

package/dest/interfaces/pxe.d.ts

@@ -1,5 +1,4 @@
 import type { Fr } from '@aztec/foundation/fields';
-import type { ApiSchemaFor, ZodFor } from '@aztec/foundation/schemas';
 import { z } from 'zod';
 import { type AbiType, type ContractArtifact } from '../abi/abi.js';
 import type { EventSelector } from '../abi/event_selector.js';
@@ -7,8 +6,8 @@ import { AuthWitness } from '../auth_witness/auth_witness.js';
 import type { AztecAddress } from '../aztec-address/index.js';
 import { CompleteAddress, type ContractClassWithId, type ContractInstanceWithAddress, type PartialAddress, type ProtocolContractAddresses } from '../contract/index.js';
 import { UniqueNote } from '../note/extended_note.js';
-import { type NotesFilter } from '../note/notes_filter.js';
-import { PrivateExecutionResult, SimulationOverrides, TxExecutionRequest, TxSimulationResult } from '../tx/index.js';
+import type { NotesFilter } from '../note/notes_filter.js';
+import { SimulationOverrides, TxExecutionRequest, TxSimulationResult } from '../tx/index.js';
 import { TxProfileResult, UtilitySimulationResult } from '../tx/profiling.js';
 import { TxProvingResult } from '../tx/proven_tx.js';
 /**
@@ -91,13 +90,11 @@ export interface PXE {
      * (where validators prove the public portion).
      *
      * @param txRequest - An authenticated tx request ready for proving
-     * @param privateExecutionResult - (optional) The result of the private execution of the transaction. The txRequest
-     * will be executed if not provided
      * @returns A result containing the proof and public inputs of the tail circuit.
      * @throws If contract code not found, or public simulation reverts.
      * Also throws if simulatePublic is true and public simulation reverts.
      */
-    proveTx(txRequest: TxExecutionRequest, privateExecutionResult?: PrivateExecutionResult): Promise<TxProvingResult>;
+    proveTx(txRequest: TxExecutionRequest): Promise<TxProvingResult>;
     /**
      * Simulates a transaction based on the provided preauthenticated execution request.
      * This will run a local simulation of private execution (and optionally of public as well), run the
@@ -190,6 +187,10 @@ export interface PXE {
      * @returns - The deserialized events.
      */
     getPrivateEvents<T>(contractAddress: AztecAddress, eventMetadata: EventMetadataDefinition, from: number, numBlocks: number, recipients: AztecAddress[]): Promise<T[]>;
+    /**
+     * Stops the PXE's job queue.
+     */
+    stop(): Promise<void>;
 }
 export type EventMetadataDefinition = {
     eventSelector: EventSelector;
@@ -231,181 +232,4 @@ export interface ContractClassMetadata {
     isContractClassPubliclyRegistered: boolean;
     artifact?: ContractArtifact | undefined;
 }
-export declare const ContractMetadataSchema: z.ZodObject<{
-    contractInstance: z.ZodUnion<[z.ZodIntersection<z.ZodObject<{
-        version: z.ZodLiteral<1>;
-        salt: ZodFor<Fr>;
-        deployer: ZodFor<AztecAddress>;
-        currentContractClassId: ZodFor<Fr>;
-        originalContractClassId: ZodFor<Fr>;
-        initializationHash: ZodFor<Fr>;
-        publicKeys: z.ZodEffects<z.ZodObject<{
-            masterNullifierPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
-            masterIncomingViewingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
-            masterOutgoingViewingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
-            masterTaggingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
-        }, "strip", z.ZodTypeAny, {
-            masterNullifierPublicKey: import("@aztec/foundation/fields").Point;
-            masterIncomingViewingPublicKey: import("@aztec/foundation/fields").Point;
-            masterOutgoingViewingPublicKey: import("@aztec/foundation/fields").Point;
-            masterTaggingPublicKey: import("@aztec/foundation/fields").Point;
-        }, {
-            masterNullifierPublicKey: string;
-            masterIncomingViewingPublicKey: string;
-            masterOutgoingViewingPublicKey: string;
-            masterTaggingPublicKey: string;
-        }>, import("../keys/public_keys.js").PublicKeys, {
-            masterNullifierPublicKey: string;
-            masterIncomingViewingPublicKey: string;
-            masterOutgoingViewingPublicKey: string;
-            masterTaggingPublicKey: string;
-        }>;
-    }, "strip", z.ZodTypeAny, {
-        version: 1;
-        salt: Fr;
-        publicKeys: import("../keys/public_keys.js").PublicKeys;
-        deployer: AztecAddress;
-        currentContractClassId: Fr;
-        originalContractClassId: Fr;
-        initializationHash: Fr;
-    }, {
-        version: 1;
-        publicKeys: {
-            masterNullifierPublicKey: string;
-            masterIncomingViewingPublicKey: string;
-            masterOutgoingViewingPublicKey: string;
-            masterTaggingPublicKey: string;
-        };
-        salt?: any;
-        deployer?: any;
-        currentContractClassId?: any;
-        originalContractClassId?: any;
-        initializationHash?: any;
-    }>, z.ZodObject<{
-        address: ZodFor<AztecAddress>;
-    }, "strip", z.ZodTypeAny, {
-        address: AztecAddress;
-    }, {
-        address?: any;
-    }>>, z.ZodUndefined]>;
-    isContractInitialized: z.ZodBoolean;
-    isContractPublished: z.ZodBoolean;
-}, "strip", z.ZodTypeAny, {
-    isContractInitialized: boolean;
-    isContractPublished: boolean;
-    contractInstance?: ({
-        version: 1;
-        salt: Fr;
-        publicKeys: import("../keys/public_keys.js").PublicKeys;
-        deployer: AztecAddress;
-        currentContractClassId: Fr;
-        originalContractClassId: Fr;
-        initializationHash: Fr;
-    } & {
-        address: AztecAddress;
-    }) | undefined;
-}, {
-    isContractInitialized: boolean;
-    isContractPublished: boolean;
-    contractInstance?: ({
-        version: 1;
-        publicKeys: {
-            masterNullifierPublicKey: string;
-            masterIncomingViewingPublicKey: string;
-            masterOutgoingViewingPublicKey: string;
-            masterTaggingPublicKey: string;
-        };
-        salt?: any;
-        deployer?: any;
-        currentContractClassId?: any;
-        originalContractClassId?: any;
-        initializationHash?: any;
-    } & {
-        address?: any;
-    }) | undefined;
-}>;
-export declare const ContractClassMetadataSchema: z.ZodObject<{
-    contractClass: z.ZodUnion<[z.ZodObject<z.objectUtil.extendShape<{
-        version: z.ZodLiteral<1>;
-        artifactHash: z.ZodType<Fr, any, string>;
-        privateFunctions: z.ZodArray<z.ZodObject<{
-            selector: ZodFor<import("../abi/function_selector.js").FunctionSelector>;
-            vkHash: z.ZodType<Fr, any, string>;
-        }, "strip", z.ZodTypeAny, {
-            selector: import("../abi/function_selector.js").FunctionSelector;
-            vkHash: Fr;
-        }, {
-            vkHash: string;
-            selector?: any;
-        }>, "many">;
-        packedBytecode: z.ZodUnion<[z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, Buffer<ArrayBuffer>, 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<ArrayBuffer>, {
-            type: "Buffer";
-            data: number[];
-        }>]>;
-    }, {
-        id: z.ZodType<Fr, any, string>;
-    }>, "strip", z.ZodTypeAny, {
-        version: 1;
-        id: Fr;
-        artifactHash: Fr;
-        packedBytecode: Buffer<ArrayBuffer>;
-        privateFunctions: {
-            selector: import("../abi/function_selector.js").FunctionSelector;
-            vkHash: Fr;
-        }[];
-    }, {
-        version: 1;
-        id: string;
-        artifactHash: string;
-        packedBytecode: string | {
-            type: "Buffer";
-            data: number[];
-        };
-        privateFunctions: {
-            vkHash: string;
-            selector?: any;
-        }[];
-    }>, z.ZodUndefined]>;
-    isContractClassPubliclyRegistered: z.ZodBoolean;
-    artifact: z.ZodUnion<[ZodFor<ContractArtifact>, z.ZodUndefined]>;
-}, "strip", z.ZodTypeAny, {
-    isContractClassPubliclyRegistered: boolean;
-    artifact?: ContractArtifact | undefined;
-    contractClass?: {
-        version: 1;
-        id: Fr;
-        artifactHash: Fr;
-        packedBytecode: Buffer<ArrayBuffer>;
-        privateFunctions: {
-            selector: import("../abi/function_selector.js").FunctionSelector;
-            vkHash: Fr;
-        }[];
-    } | undefined;
-}, {
-    isContractClassPubliclyRegistered: boolean;
-    artifact?: any;
-    contractClass?: {
-        version: 1;
-        id: string;
-        artifactHash: string;
-        packedBytecode: string | {
-            type: "Buffer";
-            data: number[];
-        };
-        privateFunctions: {
-            vkHash: string;
-            selector?: any;
-        }[];
-    } | undefined;
-}>;
-export declare const PXESchema: ApiSchemaFor<PXE>;
 //# sourceMappingURL=pxe.d.ts.map

package/dest/interfaces/pxe.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pxe.d.ts","sourceRoot":"","sources":["../../src/interfaces/pxe.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAEtE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,KAAK,OAAO,EAAiB,KAAK,gBAAgB,EAA0B,MAAM,eAAe,CAAC;AAC3G,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EACL,eAAe,EACf,KAAK,mBAAmB,EAExB,KAAK,2BAA2B,EAEhC,KAAK,cAAc,EACnB,KAAK,yBAAyB,EAE/B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,EAAE,KAAK,WAAW,EAAqB,MAAM,yBAAyB,CAAC;AAE9E,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACrH,OAAO,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAGrD;;;;;GAKG;AACH,MAAM,WAAW,GAAG;IAClB;;;;;;;;;OASG;IACH,eAAe,CAAC,SAAS,EAAE,EAAE,EAAE,cAAc,EAAE,cAAc,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;IAEzF;;;OAGG;IACH,qBAAqB,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC;IAEpD;;;;;;;;OAQG;IACH,cAAc,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IAE7D;;;OAGG;IACH,UAAU,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;IAEtC;;OAEG;IACH,YAAY,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEnD;;;;OAIG;IACH,qBAAqB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEjE;;;;;;;OAOG;IACH,gBAAgB,CAAC,QAAQ,EAAE;QAAE,QAAQ,EAAE,2BAA2B,CAAC;QAAC,QAAQ,CAAC,EAAE,gBAAgB,CAAA;KAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAElH;;;;;;;;OAQG;IACH,cAAc,CAAC,eAAe,EAAE,YAAY,EAAE,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEzF;;;OAGG;IACH,YAAY,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;IAExC;;;;;;;;;;OAUG;IACH,OAAO,CAAC,SAAS,EAAE,kBAAkB,EAAE,sBAAsB,CAAC,EAAE,sBAAsB,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;IAElH;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,UAAU,CACR,SAAS,EAAE,kBAAkB,EAC7B,cAAc,EAAE,OAAO,EACvB,gBAAgB,CAAC,EAAE,OAAO,EAC1B,kBAAkB,CAAC,EAAE,OAAO,EAC5B,SAAS,CAAC,EAAE,mBAAmB,EAC/B,MAAM,CAAC,EAAE,YAAY,EAAE,GACtB,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAE/B;;;;;;;;OAQG;IACH,SAAS,CACP,SAAS,EAAE,kBAAkB,EAC7B,WAAW,EAAE,OAAO,GAAG,iBAAiB,GAAG,MAAM,EACjD,mBAAmB,CAAC,EAAE,OAAO,EAC7B,SAAS,CAAC,EAAE,YAAY,GACvB,OAAO,CAAC,eAAe,CAAC,CAAC;IAE5B;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IAErD;;;;;;;;;;;OAWG;IACH,eAAe,CACb,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,GAAG,EAAE,EACX,EAAE,EAAE,YAAY,EAChB,QAAQ,CAAC,EAAE,WAAW,EAAE,EACxB,IAAI,CAAC,EAAE,YAAY,EACnB,MAAM,CAAC,EAAE,YAAY,EAAE,GACtB,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAEpC;;OAEG;IACH,UAAU,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC;IAE/B;;;;;;;;;;OAUG;IACH,mBAAmB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAEtE;;;;;;;;;;;;;OAaG;IACH,wBAAwB,CAAC,EAAE,EAAE,EAAE,EAAE,eAAe,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC;IAE5F;;;;;;;;OAQG;IACH,gBAAgB,CAAC,CAAC,EAChB,eAAe,EAAE,YAAY,EAC7B,aAAa,EAAE,uBAAuB,EACtC,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,YAAY,EAAE,GACzB,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;CACjB;AAGD,MAAM,MAAM,uBAAuB,GAAG;IACpC,aAAa,EAAE,aAAa,CAAC;IAC7B,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB,CAAC;AAEF,eAAO,MAAM,6BAA6B;;;;;;;;;;;;EAIxC,CAAC;AAEH,oDAAoD;AACpD,oBAAY,SAAS;IACnB,SAAS,cAAc;IACvB,WAAW,gBAAgB;CAC5B;AAED,wDAAwD;AACxD,MAAM,WAAW,OAAO;IACtB,2DAA2D;IAC3D,UAAU,EAAE,MAAM,CAAC;IACnB,kCAAkC;IAClC,yBAAyB,EAAE,yBAAyB,CAAC;CACtD;AAED,MAAM,WAAW,gBAAgB;IAC/B,gBAAgB,CAAC,EAAE,2BAA2B,GAAG,SAAS,CAAC;IAC3D,qBAAqB,EAAE,OAAO,CAAC;IAC/B,mBAAmB,EAAE,OAAO,CAAC;CAC9B;AAED,MAAM,WAAW,qBAAqB;IACpC,aAAa,CAAC,EAAE,mBAAmB,GAAG,SAAS,CAAC;IAChD,iCAAiC,EAAE,OAAO,CAAC;IAC3C,QAAQ,CAAC,EAAE,gBAAgB,GAAG,SAAS,CAAC;CACzC;AAED,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIE,CAAC;AAEtC,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIE,CAAC;AAO3C,eAAO,MAAM,SAAS,EAAE,YAAY,CAAC,GAAG,CAyDvC,CAAC"}
+{"version":3,"file":"pxe.d.ts","sourceRoot":"","sources":["../../src/interfaces/pxe.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,KAAK,OAAO,EAAiB,KAAK,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACnF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EACL,eAAe,EACf,KAAK,mBAAmB,EACxB,KAAK,2BAA2B,EAChC,KAAK,cAAc,EACnB,KAAK,yBAAyB,EAC/B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAE3D,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAC7F,OAAO,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAGrD;;;;;GAKG;AACH,MAAM,WAAW,GAAG;IAClB;;;;;;;;;OASG;IACH,eAAe,CAAC,SAAS,EAAE,EAAE,EAAE,cAAc,EAAE,cAAc,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;IAEzF;;;OAGG;IACH,qBAAqB,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC;IAEpD;;;;;;;;OAQG;IACH,cAAc,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IAE7D;;;OAGG;IACH,UAAU,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;IAEtC;;OAEG;IACH,YAAY,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEnD;;;;OAIG;IACH,qBAAqB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEjE;;;;;;;OAOG;IACH,gBAAgB,CAAC,QAAQ,EAAE;QAAE,QAAQ,EAAE,2BAA2B,CAAC;QAAC,QAAQ,CAAC,EAAE,gBAAgB,CAAA;KAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAElH;;;;;;;;OAQG;IACH,cAAc,CAAC,eAAe,EAAE,YAAY,EAAE,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEzF;;;OAGG;IACH,YAAY,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;IAExC;;;;;;;;OAQG;IACH,OAAO,CAAC,SAAS,EAAE,kBAAkB,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;IAEjE;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,UAAU,CACR,SAAS,EAAE,kBAAkB,EAC7B,cAAc,EAAE,OAAO,EACvB,gBAAgB,CAAC,EAAE,OAAO,EAC1B,kBAAkB,CAAC,EAAE,OAAO,EAC5B,SAAS,CAAC,EAAE,mBAAmB,EAC/B,MAAM,CAAC,EAAE,YAAY,EAAE,GACtB,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAE/B;;;;;;;;OAQG;IACH,SAAS,CACP,SAAS,EAAE,kBAAkB,EAC7B,WAAW,EAAE,OAAO,GAAG,iBAAiB,GAAG,MAAM,EACjD,mBAAmB,CAAC,EAAE,OAAO,EAC7B,SAAS,CAAC,EAAE,YAAY,GACvB,OAAO,CAAC,eAAe,CAAC,CAAC;IAE5B;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IAErD;;;;;;;;;;;OAWG;IACH,eAAe,CACb,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,GAAG,EAAE,EACX,EAAE,EAAE,YAAY,EAChB,QAAQ,CAAC,EAAE,WAAW,EAAE,EACxB,IAAI,CAAC,EAAE,YAAY,EACnB,MAAM,CAAC,EAAE,YAAY,EAAE,GACtB,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAEpC;;OAEG;IACH,UAAU,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC;IAE/B;;;;;;;;;;OAUG;IACH,mBAAmB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAEtE;;;;;;;;;;;;;OAaG;IACH,wBAAwB,CAAC,EAAE,EAAE,EAAE,EAAE,eAAe,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC;IAE5F;;;;;;;;OAQG;IACH,gBAAgB,CAAC,CAAC,EAChB,eAAe,EAAE,YAAY,EAC7B,aAAa,EAAE,uBAAuB,EACtC,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,YAAY,EAAE,GACzB,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;IAEhB;;OAEG;IACH,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACvB;AAGD,MAAM,MAAM,uBAAuB,GAAG;IACpC,aAAa,EAAE,aAAa,CAAC;IAC7B,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB,CAAC;AAEF,eAAO,MAAM,6BAA6B;;;;;;;;;;;;EAIxC,CAAC;AAEH,oDAAoD;AACpD,oBAAY,SAAS;IACnB,SAAS,cAAc;IACvB,WAAW,gBAAgB;CAC5B;AAED,wDAAwD;AACxD,MAAM,WAAW,OAAO;IACtB,2DAA2D;IAC3D,UAAU,EAAE,MAAM,CAAC;IACnB,kCAAkC;IAClC,yBAAyB,EAAE,yBAAyB,CAAC;CACtD;AAED,MAAM,WAAW,gBAAgB;IAC/B,gBAAgB,CAAC,EAAE,2BAA2B,GAAG,SAAS,CAAC;IAC3D,qBAAqB,EAAE,OAAO,CAAC;IAC/B,mBAAmB,EAAE,OAAO,CAAC;CAC9B;AAED,MAAM,WAAW,qBAAqB;IACpC,aAAa,CAAC,EAAE,mBAAmB,GAAG,SAAS,CAAC;IAChD,iCAAiC,EAAE,OAAO,CAAC;IAC3C,QAAQ,CAAC,EAAE,gBAAgB,GAAG,SAAS,CAAC;CACzC"}

package/dest/interfaces/pxe.js

@@ -1,13 +1,6 @@
 import { z } from 'zod';
-import { AbiTypeSchema, ContractArtifactSchema } from '../abi/abi.js';
-import { AuthWitness } from '../auth_witness/auth_witness.js';
-import { CompleteAddress, ContractClassWithIdSchema, ContractInstanceWithAddressSchema, ProtocolContractAddressesSchema } from '../contract/index.js';
-import { UniqueNote } from '../note/extended_note.js';
-import { NotesFilterSchema } from '../note/notes_filter.js';
-import { AbiDecodedSchema, optional, schemas } from '../schemas/schemas.js';
-import { PrivateExecutionResult, SimulationOverrides, TxExecutionRequest, TxSimulationResult } from '../tx/index.js';
-import { TxProfileResult, UtilitySimulationResult } from '../tx/profiling.js';
-import { TxProvingResult } from '../tx/proven_tx.js';
+import { AbiTypeSchema } from '../abi/abi.js';
+import { schemas } from '../schemas/schemas.js';
 export const EventMetadataDefinitionSchema = z.object({
     eventSelector: schemas.EventSelector,
     abiType: AbiTypeSchema,
@@ -18,53 +11,3 @@ export const EventMetadataDefinitionSchema = z.object({
     EventType["Unencrypted"] = "Unencrypted";
     return EventType;
 }({});
-export const ContractMetadataSchema = z.object({
-    contractInstance: z.union([
-        ContractInstanceWithAddressSchema,
-        z.undefined()
-    ]),
-    isContractInitialized: z.boolean(),
-    isContractPublished: z.boolean()
-});
-export const ContractClassMetadataSchema = z.object({
-    contractClass: z.union([
-        ContractClassWithIdSchema,
-        z.undefined()
-    ]),
-    isContractClassPubliclyRegistered: z.boolean(),
-    artifact: z.union([
-        ContractArtifactSchema,
-        z.undefined()
-    ])
-});
-const PXEInfoSchema = z.object({
-    pxeVersion: z.string(),
-    protocolContractAddresses: ProtocolContractAddressesSchema
-});
-export const PXESchema = {
-    registerAccount: z.function().args(schemas.Fr, schemas.Fr).returns(CompleteAddress.schema),
-    getRegisteredAccounts: z.function().returns(z.array(CompleteAddress.schema)),
-    registerSender: z.function().args(schemas.AztecAddress).returns(schemas.AztecAddress),
-    getSenders: z.function().returns(z.array(schemas.AztecAddress)),
-    removeSender: z.function().args(schemas.AztecAddress).returns(z.void()),
-    registerContractClass: z.function().args(ContractArtifactSchema).returns(z.void()),
-    registerContract: z.function().args(z.object({
-        instance: ContractInstanceWithAddressSchema,
-        artifact: z.optional(ContractArtifactSchema)
-    })).returns(z.void()),
-    updateContract: z.function().args(schemas.AztecAddress, ContractArtifactSchema).returns(z.void()),
-    getContracts: z.function().returns(z.array(schemas.AztecAddress)),
-    proveTx: z.function().args(TxExecutionRequest.schema, optional(PrivateExecutionResult.schema)).returns(TxProvingResult.schema),
-    profileTx: z.function().args(TxExecutionRequest.schema, z.union([
-        z.literal('gates'),
-        z.literal('full'),
-        z.literal('execution-steps')
-    ]), optional(z.boolean()), optional(schemas.AztecAddress)).returns(TxProfileResult.schema),
-    simulateTx: z.function().args(TxExecutionRequest.schema, z.boolean(), optional(z.boolean()), optional(z.boolean()), optional(SimulationOverrides.schema), optional(z.array(schemas.AztecAddress))).returns(TxSimulationResult.schema),
-    getNotes: z.function().args(NotesFilterSchema).returns(z.array(UniqueNote.schema)),
-    simulateUtility: z.function().args(z.string(), z.array(z.any()), schemas.AztecAddress, optional(z.array(AuthWitness.schema)), optional(schemas.AztecAddress), optional(z.array(schemas.AztecAddress))).returns(UtilitySimulationResult.schema),
-    getPXEInfo: z.function().returns(PXEInfoSchema),
-    getContractMetadata: z.function().args(schemas.AztecAddress).returns(ContractMetadataSchema),
-    getContractClassMetadata: z.function().args(schemas.Fr, optional(z.boolean())).returns(ContractClassMetadataSchema),
-    getPrivateEvents: z.function().args(schemas.AztecAddress, EventMetadataDefinitionSchema, z.number(), z.number(), z.array(schemas.AztecAddress)).returns(z.array(AbiDecodedSchema))
-};

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec/stdlib",
-  "version": "3.0.0-nightly.20250923",
+  "version": "3.0.0-nightly.20250925",
   "type": "module",
   "inherits": [
     "../package.common.json",
@@ -69,13 +69,13 @@
     "test": "NODE_NO_WARNINGS=1 node --experimental-vm-modules ../node_modules/.bin/jest --passWithNoTests --maxWorkers=${JEST_MAX_WORKERS:-8}"
   },
   "dependencies": {
-    "@aztec/bb.js": "3.0.0-nightly.20250923",
-    "@aztec/blob-lib": "3.0.0-nightly.20250923",
-    "@aztec/constants": "3.0.0-nightly.20250923",
-    "@aztec/ethereum": "3.0.0-nightly.20250923",
-    "@aztec/foundation": "3.0.0-nightly.20250923",
-    "@aztec/l1-artifacts": "3.0.0-nightly.20250923",
-    "@aztec/noir-noirc_abi": "3.0.0-nightly.20250923",
+    "@aztec/bb.js": "3.0.0-nightly.20250925",
+    "@aztec/blob-lib": "3.0.0-nightly.20250925",
+    "@aztec/constants": "3.0.0-nightly.20250925",
+    "@aztec/ethereum": "3.0.0-nightly.20250925",
+    "@aztec/foundation": "3.0.0-nightly.20250925",
+    "@aztec/l1-artifacts": "3.0.0-nightly.20250925",
+    "@aztec/noir-noirc_abi": "3.0.0-nightly.20250925",
     "@google-cloud/storage": "^7.15.0",
     "axios": "^1.9.0",
     "json-stringify-deterministic": "1.0.12",

package/src/interfaces/pxe.ts

@@ -1,26 +1,22 @@
 import type { Fr } from '@aztec/foundation/fields';
-import type { ApiSchemaFor, ZodFor } from '@aztec/foundation/schemas';
 
 import { z } from 'zod';
 
-import { type AbiType, AbiTypeSchema, type ContractArtifact, ContractArtifactSchema } from '../abi/abi.js';
+import { type AbiType, AbiTypeSchema, type ContractArtifact } from '../abi/abi.js';
 import type { EventSelector } from '../abi/event_selector.js';
 import { AuthWitness } from '../auth_witness/auth_witness.js';
 import type { AztecAddress } from '../aztec-address/index.js';
 import {
   CompleteAddress,
   type ContractClassWithId,
-  ContractClassWithIdSchema,
   type ContractInstanceWithAddress,
-  ContractInstanceWithAddressSchema,
   type PartialAddress,
   type ProtocolContractAddresses,
-  ProtocolContractAddressesSchema,
 } from '../contract/index.js';
 import { UniqueNote } from '../note/extended_note.js';
-import { type NotesFilter, NotesFilterSchema } from '../note/notes_filter.js';
-import { AbiDecodedSchema, optional, schemas } from '../schemas/schemas.js';
-import { PrivateExecutionResult, SimulationOverrides, TxExecutionRequest, TxSimulationResult } from '../tx/index.js';
+import type { NotesFilter } from '../note/notes_filter.js';
+import { schemas } from '../schemas/schemas.js';
+import { SimulationOverrides, TxExecutionRequest, TxSimulationResult } from '../tx/index.js';
 import { TxProfileResult, UtilitySimulationResult } from '../tx/profiling.js';
 import { TxProvingResult } from '../tx/proven_tx.js';
 
@@ -111,13 +107,11 @@ export interface PXE {
    * (where validators prove the public portion).
    *
    * @param txRequest - An authenticated tx request ready for proving
-   * @param privateExecutionResult - (optional) The result of the private execution of the transaction. The txRequest
-   * will be executed if not provided
    * @returns A result containing the proof and public inputs of the tail circuit.
    * @throws If contract code not found, or public simulation reverts.
    * Also throws if simulatePublic is true and public simulation reverts.
    */
-  proveTx(txRequest: TxExecutionRequest, privateExecutionResult?: PrivateExecutionResult): Promise<TxProvingResult>;
+  proveTx(txRequest: TxExecutionRequest): Promise<TxProvingResult>;
 
   /**
    * Simulates a transaction based on the provided preauthenticated execution request.
@@ -243,6 +237,11 @@ export interface PXE {
     numBlocks: number,
     recipients: AztecAddress[],
   ): Promise<T[]>;
+
+  /**
+   * Stops the PXE's job queue.
+   */
+  stop(): Promise<void>;
 }
 // docs:end:pxe-interface
 
@@ -283,79 +282,3 @@ export interface ContractClassMetadata {
   isContractClassPubliclyRegistered: boolean;
   artifact?: ContractArtifact | undefined;
 }
-
-export const ContractMetadataSchema = z.object({
-  contractInstance: z.union([ContractInstanceWithAddressSchema, z.undefined()]),
-  isContractInitialized: z.boolean(),
-  isContractPublished: z.boolean(),
-}) satisfies ZodFor<ContractMetadata>;
-
-export const ContractClassMetadataSchema = z.object({
-  contractClass: z.union([ContractClassWithIdSchema, z.undefined()]),
-  isContractClassPubliclyRegistered: z.boolean(),
-  artifact: z.union([ContractArtifactSchema, z.undefined()]),
-}) satisfies ZodFor<ContractClassMetadata>;
-
-const PXEInfoSchema = z.object({
-  pxeVersion: z.string(),
-  protocolContractAddresses: ProtocolContractAddressesSchema,
-}) satisfies ZodFor<PXEInfo>;
-
-export const PXESchema: ApiSchemaFor<PXE> = {
-  registerAccount: z.function().args(schemas.Fr, schemas.Fr).returns(CompleteAddress.schema),
-  getRegisteredAccounts: z.function().returns(z.array(CompleteAddress.schema)),
-  registerSender: z.function().args(schemas.AztecAddress).returns(schemas.AztecAddress),
-  getSenders: z.function().returns(z.array(schemas.AztecAddress)),
-  removeSender: z.function().args(schemas.AztecAddress).returns(z.void()),
-  registerContractClass: z.function().args(ContractArtifactSchema).returns(z.void()),
-  registerContract: z
-    .function()
-    .args(z.object({ instance: ContractInstanceWithAddressSchema, artifact: z.optional(ContractArtifactSchema) }))
-    .returns(z.void()),
-  updateContract: z.function().args(schemas.AztecAddress, ContractArtifactSchema).returns(z.void()),
-  getContracts: z.function().returns(z.array(schemas.AztecAddress)),
-  proveTx: z
-    .function()
-    .args(TxExecutionRequest.schema, optional(PrivateExecutionResult.schema))
-    .returns(TxProvingResult.schema),
-  profileTx: z
-    .function()
-    .args(
-      TxExecutionRequest.schema,
-      z.union([z.literal('gates'), z.literal('full'), z.literal('execution-steps')]),
-      optional(z.boolean()),
-      optional(schemas.AztecAddress),
-    )
-    .returns(TxProfileResult.schema),
-  simulateTx: z
-    .function()
-    .args(
-      TxExecutionRequest.schema,
-      z.boolean(),
-      optional(z.boolean()),
-      optional(z.boolean()),
-      optional(SimulationOverrides.schema),
-      optional(z.array(schemas.AztecAddress)),
-    )
-    .returns(TxSimulationResult.schema),
-  getNotes: z.function().args(NotesFilterSchema).returns(z.array(UniqueNote.schema)),
-
-  simulateUtility: z
-    .function()
-    .args(
-      z.string(),
-      z.array(z.any()),
-      schemas.AztecAddress,
-      optional(z.array(AuthWitness.schema)),
-      optional(schemas.AztecAddress),
-      optional(z.array(schemas.AztecAddress)),
-    )
-    .returns(UtilitySimulationResult.schema),
-  getPXEInfo: z.function().returns(PXEInfoSchema),
-  getContractMetadata: z.function().args(schemas.AztecAddress).returns(ContractMetadataSchema),
-  getContractClassMetadata: z.function().args(schemas.Fr, optional(z.boolean())).returns(ContractClassMetadataSchema),
-  getPrivateEvents: z
-    .function()
-    .args(schemas.AztecAddress, EventMetadataDefinitionSchema, z.number(), z.number(), z.array(schemas.AztecAddress))
-    .returns(z.array(AbiDecodedSchema)),
-};