@aztec/stdlib 0.80.0 → 0.82.0

package/dest/interfaces/proving-job.d.ts

@@ -40,21 +40,28 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
         calldata: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
         hints: z.ZodEffects<z.ZodObject<{
             enqueuedCalls: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                msgSender: ZodFor<import("../aztec-address/index.js").AztecAddress>;
                 contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
                 calldata: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
+                isStaticCall: z.ZodBoolean;
             }, "strip", z.ZodTypeAny, {
                 contractAddress: import("../aztec-address/index.js").AztecAddress;
+                msgSender: import("../aztec-address/index.js").AztecAddress;
+                isStaticCall: boolean;
                 calldata: import("@aztec/foundation/schemas").Fr[];
             }, {
+                isStaticCall: boolean;
                 calldata: string[];
                 contractAddress?: any;
+                msgSender?: any;
             }>, import("../avm/avm.js").AvmEnqueuedCallHint, {
+                isStaticCall: boolean;
                 calldata: string[];
                 contractAddress?: any;
+                msgSender?: any;
             }>, "many">;
             contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 address: ZodFor<import("../aztec-address/index.js").AztecAddress>;
-                exists: z.ZodBoolean;
                 salt: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
                 deployer: ZodFor<import("../aztec-address/index.js").AztecAddress>;
                 currentContractClassId: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
@@ -81,56 +88,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     masterOutgoingViewingPublicKey: string;
                     masterTaggingPublicKey: string;
                 }>;
-                updateMembershipHint: z.ZodEffects<z.ZodObject<{
-                    leafPreimage: z.ZodEffects<z.ZodObject<{
-                        slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                        value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                        nextSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                        nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                    }, "strip", z.ZodTypeAny, {
-                        value: import("@aztec/foundation/schemas").Fr;
-                        slot: import("@aztec/foundation/schemas").Fr;
-                        nextIndex: bigint;
-                        nextSlot: import("@aztec/foundation/schemas").Fr;
-                    }, {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    }>;
-                    leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-                }, "strip", z.ZodTypeAny, {
-                    leafPreimage: import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
-                    leafIndex: import("@aztec/foundation/schemas").Fr;
-                    siblingPath: import("@aztec/foundation/schemas").Fr[];
-                }, {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                }>, import("../avm/avm.js").AvmPublicDataReadTreeHint, {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                }>;
-                updatePreimage: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
             }, "strip", z.ZodTypeAny, {
-                exists: boolean;
                 address: import("../aztec-address/index.js").AztecAddress;
                 salt: import("@aztec/foundation/schemas").Fr;
                 deployer: import("../aztec-address/index.js").AztecAddress;
@@ -138,10 +96,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 originalContractClassId: import("@aztec/foundation/schemas").Fr;
                 initializationHash: import("@aztec/foundation/schemas").Fr;
                 publicKeys: import("../keys/public_keys.js").PublicKeys;
-                updateMembershipHint: import("../avm/avm.js").AvmPublicDataReadTreeHint;
-                updatePreimage: import("@aztec/foundation/schemas").Fr[];
             }, {
-                exists: boolean;
                 salt: string;
                 currentContractClassId: string;
                 originalContractClassId: string;
@@ -152,21 +107,9 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     masterOutgoingViewingPublicKey: string;
                     masterTaggingPublicKey: string;
                 };
-                updateMembershipHint: {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                };
-                updatePreimage: string[];
                 address?: any;
                 deployer?: any;
             }>, import("../avm/avm.js").AvmContractInstanceHint, {
-                exists: boolean;
                 salt: string;
                 currentContractClassId: string;
                 originalContractClassId: string;
@@ -177,26 +120,13 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     masterOutgoingViewingPublicKey: string;
                     masterTaggingPublicKey: string;
                 };
-                updateMembershipHint: {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                };
-                updatePreimage: string[];
                 address?: any;
                 deployer?: any;
             }>, "many">;
             contractClasses: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 classId: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                exists: z.ZodBoolean;
                 artifactHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
                 privateFunctionsRoot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                publicBytecodeCommitment: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
                 packedBytecode: 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">;
@@ -212,32 +142,39 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 }>]>;
             }, "strip", z.ZodTypeAny, {
                 classId: import("@aztec/foundation/schemas").Fr;
-                exists: boolean;
                 artifactHash: import("@aztec/foundation/schemas").Fr;
                 privateFunctionsRoot: import("@aztec/foundation/schemas").Fr;
-                publicBytecodeCommitment: import("@aztec/foundation/schemas").Fr;
                 packedBytecode: Buffer;
             }, {
                 classId: string;
-                exists: boolean;
                 artifactHash: string;
                 privateFunctionsRoot: string;
-                publicBytecodeCommitment: string;
                 packedBytecode: string | {
                     type: "Buffer";
                     data: number[];
                 };
             }>, import("../avm/avm.js").AvmContractClassHint, {
                 classId: string;
-                exists: boolean;
                 artifactHash: string;
                 privateFunctionsRoot: string;
-                publicBytecodeCommitment: string;
                 packedBytecode: string | {
                     type: "Buffer";
                     data: number[];
                 };
             }>, "many">;
+            bytecodeCommitments: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                classId: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                commitment: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+            }, "strip", z.ZodTypeAny, {
+                classId: import("@aztec/foundation/schemas").Fr;
+                commitment: import("@aztec/foundation/schemas").Fr;
+            }, {
+                classId: string;
+                commitment: string;
+            }>, import("../avm/avm.js").AvmBytecodeCommitmentHint, {
+                classId: string;
+                commitment: string;
+            }>, "many">;
             publicDataReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 leafPreimage: z.ZodEffects<z.ZodObject<{
                     slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
@@ -263,27 +200,27 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
                 siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
             }, "strip", z.ZodTypeAny, {
-                leafPreimage: import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
                 leafIndex: import("@aztec/foundation/schemas").Fr;
                 siblingPath: import("@aztec/foundation/schemas").Fr[];
+                leafPreimage: import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
             }, {
+                leafIndex: string;
+                siblingPath: string[];
                 leafPreimage: {
                     value: string;
                     slot: string;
                     nextIndex: string | number | bigint;
                     nextSlot: string;
                 };
+            }>, import("../avm/avm.js").AvmPublicDataReadTreeHint, {
                 leafIndex: string;
                 siblingPath: string[];
-            }>, import("../avm/avm.js").AvmPublicDataReadTreeHint, {
                 leafPreimage: {
                     value: string;
                     slot: string;
                     nextIndex: string | number | bigint;
                     nextSlot: string;
                 };
-                leafIndex: string;
-                siblingPath: string[];
             }>, "many">;
             publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 lowLeafRead: z.ZodEffects<z.ZodObject<{
@@ -311,27 +248,27 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
                     siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
                 }, "strip", z.ZodTypeAny, {
-                    leafPreimage: import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
                     leafIndex: import("@aztec/foundation/schemas").Fr;
                     siblingPath: import("@aztec/foundation/schemas").Fr[];
+                    leafPreimage: import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
                 }, {
+                    leafIndex: string;
+                    siblingPath: string[];
                     leafPreimage: {
                         value: string;
                         slot: string;
                         nextIndex: string | number | bigint;
                         nextSlot: string;
                     };
+                }>, import("../avm/avm.js").AvmPublicDataReadTreeHint, {
                     leafIndex: string;
                     siblingPath: string[];
-                }>, import("../avm/avm.js").AvmPublicDataReadTreeHint, {
                     leafPreimage: {
                         value: string;
                         slot: string;
                         nextIndex: string | number | bigint;
                         nextSlot: string;
                     };
-                    leafIndex: string;
-                    siblingPath: string[];
                 }>;
                 newLeafPreimage: z.ZodEffects<z.ZodObject<{
                     slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
@@ -361,14 +298,14 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 newLeafPreimage: import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
             }, {
                 lowLeafRead: {
+                    leafIndex: string;
+                    siblingPath: string[];
                     leafPreimage: {
                         value: string;
                         slot: string;
                         nextIndex: string | number | bigint;
                         nextSlot: string;
                     };
-                    leafIndex: string;
-                    siblingPath: string[];
                 };
                 insertionPath: string[];
                 newLeafPreimage: {
@@ -379,14 +316,14 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 };
             }>, import("../avm/avm.js").AvmPublicDataWriteTreeHint, {
                 lowLeafRead: {
+                    leafIndex: string;
+                    siblingPath: string[];
                     leafPreimage: {
                         value: string;
                         slot: string;
                         nextIndex: string | number | bigint;
                         nextSlot: string;
                     };
-                    leafIndex: string;
-                    siblingPath: string[];
                 };
                 insertionPath: string[];
                 newLeafPreimage: {
@@ -562,6 +499,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
             enqueuedCalls: import("../avm/avm.js").AvmEnqueuedCallHint[];
             contractInstances: import("../avm/avm.js").AvmContractInstanceHint[];
             contractClasses: import("../avm/avm.js").AvmContractClassHint[];
+            bytecodeCommitments: import("../avm/avm.js").AvmBytecodeCommitmentHint[];
             publicDataReads: import("../avm/avm.js").AvmPublicDataReadTreeHint[];
             nullifierReads: import("../avm/avm.js").AvmNullifierReadTreeHint[];
             nullifierWrites: import("../avm/avm.js").AvmNullifierWriteTreeHint[];
@@ -571,14 +509,14 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
         }, {
             publicDataWrites: {
                 lowLeafRead: {
+                    leafIndex: string;
+                    siblingPath: string[];
                     leafPreimage: {
                         value: string;
                         slot: string;
                         nextIndex: string | number | bigint;
                         nextSlot: string;
                     };
-                    leafIndex: string;
-                    siblingPath: string[];
                 };
                 insertionPath: string[];
                 newLeafPreimage: {
@@ -589,11 +527,12 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 };
             }[];
             enqueuedCalls: {
+                isStaticCall: boolean;
                 calldata: string[];
                 contractAddress?: any;
+                msgSender?: any;
             }[];
             contractInstances: {
-                exists: boolean;
                 salt: string;
                 currentContractClassId: string;
                 originalContractClassId: string;
@@ -604,40 +543,31 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     masterOutgoingViewingPublicKey: string;
                     masterTaggingPublicKey: string;
                 };
-                updateMembershipHint: {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                };
-                updatePreimage: string[];
                 address?: any;
                 deployer?: any;
             }[];
             contractClasses: {
                 classId: string;
-                exists: boolean;
                 artifactHash: string;
                 privateFunctionsRoot: string;
-                publicBytecodeCommitment: string;
                 packedBytecode: string | {
                     type: "Buffer";
                     data: number[];
                 };
             }[];
+            bytecodeCommitments: {
+                classId: string;
+                commitment: string;
+            }[];
             publicDataReads: {
+                leafIndex: string;
+                siblingPath: string[];
                 leafPreimage: {
                     value: string;
                     slot: string;
                     nextIndex: string | number | bigint;
                     nextSlot: string;
                 };
-                leafIndex: string;
-                siblingPath: string[];
             }[];
             nullifierReads: {
                 lowLeafPreimage: {
@@ -678,14 +608,14 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
         }>, import("../avm/avm.js").AvmExecutionHints, {
             publicDataWrites: {
                 lowLeafRead: {
+                    leafIndex: string;
+                    siblingPath: string[];
                     leafPreimage: {
                         value: string;
                         slot: string;
                         nextIndex: string | number | bigint;
                         nextSlot: string;
                     };
-                    leafIndex: string;
-                    siblingPath: string[];
                 };
                 insertionPath: string[];
                 newLeafPreimage: {
@@ -696,11 +626,12 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 };
             }[];
             enqueuedCalls: {
+                isStaticCall: boolean;
                 calldata: string[];
                 contractAddress?: any;
+                msgSender?: any;
             }[];
             contractInstances: {
-                exists: boolean;
                 salt: string;
                 currentContractClassId: string;
                 originalContractClassId: string;
@@ -711,40 +642,31 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     masterOutgoingViewingPublicKey: string;
                     masterTaggingPublicKey: string;
                 };
-                updateMembershipHint: {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                };
-                updatePreimage: string[];
                 address?: any;
                 deployer?: any;
             }[];
             contractClasses: {
                 classId: string;
-                exists: boolean;
                 artifactHash: string;
                 privateFunctionsRoot: string;
-                publicBytecodeCommitment: string;
                 packedBytecode: string | {
                     type: "Buffer";
                     data: number[];
                 };
             }[];
+            bytecodeCommitments: {
+                classId: string;
+                commitment: string;
+            }[];
             publicDataReads: {
+                leafIndex: string;
+                siblingPath: string[];
                 leafPreimage: {
                     value: string;
                     slot: string;
                     nextIndex: string | number | bigint;
                     nextSlot: string;
                 };
-                leafIndex: string;
-                siblingPath: string[];
             }[];
             nullifierReads: {
                 lowLeafPreimage: {
@@ -1815,14 +1737,14 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
         hints: {
             publicDataWrites: {
                 lowLeafRead: {
+                    leafIndex: string;
+                    siblingPath: string[];
                     leafPreimage: {
                         value: string;
                         slot: string;
                         nextIndex: string | number | bigint;
                         nextSlot: string;
                     };
-                    leafIndex: string;
-                    siblingPath: string[];
                 };
                 insertionPath: string[];
                 newLeafPreimage: {
@@ -1833,11 +1755,12 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 };
             }[];
             enqueuedCalls: {
+                isStaticCall: boolean;
                 calldata: string[];
                 contractAddress?: any;
+                msgSender?: any;
             }[];
             contractInstances: {
-                exists: boolean;
                 salt: string;
                 currentContractClassId: string;
                 originalContractClassId: string;
@@ -1848,40 +1771,31 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     masterOutgoingViewingPublicKey: string;
                     masterTaggingPublicKey: string;
                 };
-                updateMembershipHint: {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                };
-                updatePreimage: string[];
                 address?: any;
                 deployer?: any;
             }[];
             contractClasses: {
                 classId: string;
-                exists: boolean;
                 artifactHash: string;
                 privateFunctionsRoot: string;
-                publicBytecodeCommitment: string;
                 packedBytecode: string | {
                     type: "Buffer";
                     data: number[];
                 };
             }[];
+            bytecodeCommitments: {
+                classId: string;
+                commitment: string;
+            }[];
             publicDataReads: {
+                leafIndex: string;
+                siblingPath: string[];
                 leafPreimage: {
                     value: string;
                     slot: string;
                     nextIndex: string | number | bigint;
                     nextSlot: string;
                 };
-                leafIndex: string;
-                siblingPath: string[];
             }[];
             nullifierReads: {
                 lowLeafPreimage: {
@@ -2078,14 +1992,14 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
         hints: {
             publicDataWrites: {
                 lowLeafRead: {
+                    leafIndex: string;
+                    siblingPath: string[];
                     leafPreimage: {
                         value: string;
                         slot: string;
                         nextIndex: string | number | bigint;
                         nextSlot: string;
                     };
-                    leafIndex: string;
-                    siblingPath: string[];
                 };
                 insertionPath: string[];
                 newLeafPreimage: {
@@ -2096,11 +2010,12 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 };
             }[];
             enqueuedCalls: {
+                isStaticCall: boolean;
                 calldata: string[];
                 contractAddress?: any;
+                msgSender?: any;
             }[];
             contractInstances: {
-                exists: boolean;
                 salt: string;
                 currentContractClassId: string;
                 originalContractClassId: string;
@@ -2111,40 +2026,31 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     masterOutgoingViewingPublicKey: string;
                     masterTaggingPublicKey: string;
                 };
-                updateMembershipHint: {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                };
-                updatePreimage: string[];
                 address?: any;
                 deployer?: any;
             }[];
             contractClasses: {
                 classId: string;
-                exists: boolean;
                 artifactHash: string;
                 privateFunctionsRoot: string;
-                publicBytecodeCommitment: string;
                 packedBytecode: string | {
                     type: "Buffer";
                     data: number[];
                 };
             }[];
+            bytecodeCommitments: {
+                classId: string;
+                commitment: string;
+            }[];
             publicDataReads: {
+                leafIndex: string;
+                siblingPath: string[];
                 leafPreimage: {
                     value: string;
                     slot: string;
                     nextIndex: string | number | bigint;
                     nextSlot: string;
                 };
-                leafIndex: string;
-                siblingPath: string[];
             }[];
             nullifierReads: {
                 lowLeafPreimage: {
@@ -2347,14 +2253,14 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
         hints: {
             publicDataWrites: {
                 lowLeafRead: {
+                    leafIndex: string;
+                    siblingPath: string[];
                     leafPreimage: {
                         value: string;
                         slot: string;
                         nextIndex: string | number | bigint;
                         nextSlot: string;
                     };
-                    leafIndex: string;
-                    siblingPath: string[];
                 };
                 insertionPath: string[];
                 newLeafPreimage: {
@@ -2365,11 +2271,12 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 };
             }[];
             enqueuedCalls: {
+                isStaticCall: boolean;
                 calldata: string[];
                 contractAddress?: any;
+                msgSender?: any;
             }[];
             contractInstances: {
-                exists: boolean;
                 salt: string;
                 currentContractClassId: string;
                 originalContractClassId: string;
@@ -2380,40 +2287,31 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     masterOutgoingViewingPublicKey: string;
                     masterTaggingPublicKey: string;
                 };
-                updateMembershipHint: {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                };
-                updatePreimage: string[];
                 address?: any;
                 deployer?: any;
             }[];
             contractClasses: {
                 classId: string;
-                exists: boolean;
                 artifactHash: string;
                 privateFunctionsRoot: string;
-                publicBytecodeCommitment: string;
                 packedBytecode: string | {
                     type: "Buffer";
                     data: number[];
                 };
             }[];
+            bytecodeCommitments: {
+                classId: string;
+                commitment: string;
+            }[];
             publicDataReads: {
+                leafIndex: string;
+                siblingPath: string[];
                 leafPreimage: {
                     value: string;
                     slot: string;
                     nextIndex: string | number | bigint;
                     nextSlot: string;
                 };
-                leafIndex: string;
-                siblingPath: string[];
             }[];
             nullifierReads: {
                 lowLeafPreimage: {
@@ -2732,100 +2630,100 @@ export declare const ProvingJobResult: z.ZodDiscriminatedUnion<"type", [z.ZodObj
     result?: any;
 }>, z.ZodObject<{
     type: z.ZodLiteral<ProvingRequestType.PRIVATE_BASE_ROLLUP>;
-    result: ZodFor<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, 538>>;
+    result: ZodFor<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, 535>>;
 }, "strip", z.ZodTypeAny, {
     type: ProvingRequestType.PRIVATE_BASE_ROLLUP;
-    result: PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, 538>;
+    result: PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, 535>;
 }, {
     type: ProvingRequestType.PRIVATE_BASE_ROLLUP;
     result?: any;
 }>, z.ZodObject<{
     type: z.ZodLiteral<ProvingRequestType.PUBLIC_BASE_ROLLUP>;
-    result: ZodFor<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, 538>>;
+    result: ZodFor<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, 535>>;
 }, "strip", z.ZodTypeAny, {
     type: ProvingRequestType.PUBLIC_BASE_ROLLUP;
-    result: PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, 538>;
+    result: PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, 535>;
 }, {
     type: ProvingRequestType.PUBLIC_BASE_ROLLUP;
     result?: any;
 }>, z.ZodObject<{
     type: z.ZodLiteral<ProvingRequestType.MERGE_ROLLUP>;
-    result: ZodFor<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, 538>>;
+    result: ZodFor<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, 535>>;
 }, "strip", z.ZodTypeAny, {
     type: ProvingRequestType.MERGE_ROLLUP;
-    result: PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, 538>;
+    result: PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, 535>;
 }, {
     type: ProvingRequestType.MERGE_ROLLUP;
     result?: any;
 }>, z.ZodObject<{
     type: z.ZodLiteral<ProvingRequestType.EMPTY_BLOCK_ROOT_ROLLUP>;
-    result: ZodFor<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 538>>;
+    result: ZodFor<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 535>>;
 }, "strip", z.ZodTypeAny, {
     type: ProvingRequestType.EMPTY_BLOCK_ROOT_ROLLUP;
-    result: PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 538>;
+    result: PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 535>;
 }, {
     type: ProvingRequestType.EMPTY_BLOCK_ROOT_ROLLUP;
     result?: any;
 }>, z.ZodObject<{
     type: z.ZodLiteral<ProvingRequestType.BLOCK_ROOT_ROLLUP>;
-    result: ZodFor<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 538>>;
+    result: ZodFor<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 535>>;
 }, "strip", z.ZodTypeAny, {
     type: ProvingRequestType.BLOCK_ROOT_ROLLUP;
-    result: PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 538>;
+    result: PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 535>;
 }, {
     type: ProvingRequestType.BLOCK_ROOT_ROLLUP;
     result?: any;
 }>, z.ZodObject<{
     type: z.ZodLiteral<ProvingRequestType.SINGLE_TX_BLOCK_ROOT_ROLLUP>;
-    result: ZodFor<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 538>>;
+    result: ZodFor<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 535>>;
 }, "strip", z.ZodTypeAny, {
     type: ProvingRequestType.SINGLE_TX_BLOCK_ROOT_ROLLUP;
-    result: PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 538>;
+    result: PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 535>;
 }, {
     type: ProvingRequestType.SINGLE_TX_BLOCK_ROOT_ROLLUP;
     result?: any;
 }>, z.ZodObject<{
     type: z.ZodLiteral<ProvingRequestType.BLOCK_MERGE_ROLLUP>;
-    result: ZodFor<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 538>>;
+    result: ZodFor<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 535>>;
 }, "strip", z.ZodTypeAny, {
     type: ProvingRequestType.BLOCK_MERGE_ROLLUP;
-    result: PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 538>;
+    result: PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 535>;
 }, {
     type: ProvingRequestType.BLOCK_MERGE_ROLLUP;
     result?: any;
 }>, z.ZodObject<{
     type: z.ZodLiteral<ProvingRequestType.ROOT_ROLLUP>;
-    result: ZodFor<PublicInputsAndRecursiveProof<RootRollupPublicInputs, 459>>;
+    result: ZodFor<PublicInputsAndRecursiveProof<RootRollupPublicInputs, 456>>;
 }, "strip", z.ZodTypeAny, {
     type: ProvingRequestType.ROOT_ROLLUP;
-    result: PublicInputsAndRecursiveProof<RootRollupPublicInputs, 459>;
+    result: PublicInputsAndRecursiveProof<RootRollupPublicInputs, 456>;
 }, {
     type: ProvingRequestType.ROOT_ROLLUP;
     result?: any;
 }>, z.ZodObject<{
     type: z.ZodLiteral<ProvingRequestType.BASE_PARITY>;
-    result: ZodFor<PublicInputsAndRecursiveProof<ParityPublicInputs, 459>>;
+    result: ZodFor<PublicInputsAndRecursiveProof<ParityPublicInputs, 456>>;
 }, "strip", z.ZodTypeAny, {
     type: ProvingRequestType.BASE_PARITY;
-    result: PublicInputsAndRecursiveProof<ParityPublicInputs, 459>;
+    result: PublicInputsAndRecursiveProof<ParityPublicInputs, 456>;
 }, {
     type: ProvingRequestType.BASE_PARITY;
     result?: any;
 }>, z.ZodObject<{
     type: z.ZodLiteral<ProvingRequestType.ROOT_PARITY>;
-    result: ZodFor<PublicInputsAndRecursiveProof<ParityPublicInputs, 459>>;
+    result: ZodFor<PublicInputsAndRecursiveProof<ParityPublicInputs, 456>>;
 }, "strip", z.ZodTypeAny, {
     type: ProvingRequestType.ROOT_PARITY;
-    result: PublicInputsAndRecursiveProof<ParityPublicInputs, 459>;
+    result: PublicInputsAndRecursiveProof<ParityPublicInputs, 456>;
 }, {
     type: ProvingRequestType.ROOT_PARITY;
     result?: any;
 }>, z.ZodObject<{
     type: z.ZodLiteral<ProvingRequestType.TUBE_PROOF>;
-    result: ZodFor<ProofAndVerificationKey<538>>;
+    result: ZodFor<ProofAndVerificationKey<535>>;
 }, "strip", z.ZodTypeAny, {
     type: ProvingRequestType.TUBE_PROOF;
-    result: ProofAndVerificationKey<538>;
+    result: ProofAndVerificationKey<535>;
 }, {
     type: ProvingRequestType.TUBE_PROOF;
     result?: any;