@aztec/stdlib 0.80.0 → 0.82.0

package/dest/avm/avm.d.ts

@@ -8,37 +8,43 @@ import { NullifierLeafPreimage } from '../trees/nullifier_leaf.js';
 import { PublicDataTreeLeafPreimage } from '../trees/public_data_leaf.js';
 import { AvmCircuitPublicInputs } from './avm_circuit_public_inputs.js';
 export declare class AvmEnqueuedCallHint {
+    readonly msgSender: AztecAddress;
     readonly contractAddress: AztecAddress;
     readonly calldata: Fr[];
-    constructor(contractAddress: AztecAddress, calldata: Fr[]);
+    isStaticCall: boolean;
+    constructor(msgSender: AztecAddress, contractAddress: AztecAddress, calldata: Fr[], isStaticCall: boolean);
     static get schema(): z.ZodEffects<z.ZodObject<{
+        msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
         contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
         calldata: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        isStaticCall: z.ZodBoolean;
     }, "strip", z.ZodTypeAny, {
         contractAddress: AztecAddress;
+        msgSender: AztecAddress;
+        isStaticCall: boolean;
         calldata: Fr[];
     }, {
+        isStaticCall: boolean;
         calldata: string[];
         contractAddress?: any;
+        msgSender?: any;
     }>, AvmEnqueuedCallHint, {
+        isStaticCall: boolean;
         calldata: string[];
         contractAddress?: any;
+        msgSender?: any;
     }>;
 }
 export declare class AvmContractClassHint {
     readonly classId: Fr;
-    readonly exists: boolean;
     readonly artifactHash: Fr;
     readonly privateFunctionsRoot: Fr;
-    readonly publicBytecodeCommitment: Fr;
     readonly packedBytecode: Buffer;
-    constructor(classId: Fr, exists: boolean, artifactHash: Fr, privateFunctionsRoot: Fr, publicBytecodeCommitment: Fr, packedBytecode: Buffer);
+    constructor(classId: Fr, artifactHash: Fr, privateFunctionsRoot: Fr, packedBytecode: Buffer);
     static get schema(): z.ZodEffects<z.ZodObject<{
         classId: z.ZodType<Fr, any, string>;
-        exists: z.ZodBoolean;
         artifactHash: z.ZodType<Fr, any, string>;
         privateFunctionsRoot: z.ZodType<Fr, any, string>;
-        publicBytecodeCommitment: z.ZodType<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">;
@@ -54,48 +60,56 @@ export declare class AvmContractClassHint {
         }>]>;
     }, "strip", z.ZodTypeAny, {
         classId: Fr;
-        exists: boolean;
         artifactHash: Fr;
         privateFunctionsRoot: Fr;
-        publicBytecodeCommitment: Fr;
         packedBytecode: Buffer;
     }, {
         classId: string;
-        exists: boolean;
         artifactHash: string;
         privateFunctionsRoot: string;
-        publicBytecodeCommitment: string;
         packedBytecode: string | {
             type: "Buffer";
             data: number[];
         };
     }>, AvmContractClassHint, {
         classId: string;
-        exists: boolean;
         artifactHash: string;
         privateFunctionsRoot: string;
-        publicBytecodeCommitment: string;
         packedBytecode: string | {
             type: "Buffer";
             data: number[];
         };
     }>;
 }
+export declare class AvmBytecodeCommitmentHint {
+    readonly classId: Fr;
+    readonly commitment: Fr;
+    constructor(classId: Fr, commitment: Fr);
+    static get schema(): z.ZodEffects<z.ZodObject<{
+        classId: z.ZodType<Fr, any, string>;
+        commitment: z.ZodType<Fr, any, string>;
+    }, "strip", z.ZodTypeAny, {
+        classId: Fr;
+        commitment: Fr;
+    }, {
+        classId: string;
+        commitment: string;
+    }>, AvmBytecodeCommitmentHint, {
+        classId: string;
+        commitment: string;
+    }>;
+}
 export declare class AvmContractInstanceHint {
     readonly address: AztecAddress;
-    readonly exists: boolean;
     readonly salt: Fr;
     readonly deployer: AztecAddress;
     readonly currentContractClassId: Fr;
     readonly originalContractClassId: Fr;
     readonly initializationHash: Fr;
     readonly publicKeys: PublicKeys;
-    readonly updateMembershipHint: AvmPublicDataReadTreeHint;
-    readonly updatePreimage: Fr[];
-    constructor(address: AztecAddress, exists: boolean, salt: Fr, deployer: AztecAddress, currentContractClassId: Fr, originalContractClassId: Fr, initializationHash: Fr, publicKeys: PublicKeys, updateMembershipHint: AvmPublicDataReadTreeHint, updatePreimage?: Fr[]);
+    constructor(address: AztecAddress, salt: Fr, deployer: AztecAddress, currentContractClassId: Fr, originalContractClassId: Fr, initializationHash: Fr, publicKeys: PublicKeys);
     static get schema(): z.ZodEffects<z.ZodObject<{
         address: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-        exists: z.ZodBoolean;
         salt: z.ZodType<Fr, any, string>;
         deployer: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
         currentContractClassId: z.ZodType<Fr, any, string>;
@@ -122,56 +136,7 @@ export declare class AvmContractInstanceHint {
             masterOutgoingViewingPublicKey: string;
             masterTaggingPublicKey: string;
         }>;
-        updateMembershipHint: z.ZodEffects<z.ZodObject<{
-            leafPreimage: z.ZodEffects<z.ZodObject<{
-                slot: z.ZodType<Fr, any, string>;
-                value: z.ZodType<Fr, any, string>;
-                nextSlot: z.ZodType<Fr, any, string>;
-                nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            }, "strip", z.ZodTypeAny, {
-                value: Fr;
-                slot: Fr;
-                nextIndex: bigint;
-                nextSlot: Fr;
-            }, {
-                value: string;
-                slot: string;
-                nextIndex: string | number | bigint;
-                nextSlot: string;
-            }>, PublicDataTreeLeafPreimage, {
-                value: string;
-                slot: string;
-                nextIndex: string | number | bigint;
-                nextSlot: string;
-            }>;
-            leafIndex: z.ZodType<Fr, any, string>;
-            siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-        }, "strip", z.ZodTypeAny, {
-            leafPreimage: PublicDataTreeLeafPreimage;
-            leafIndex: Fr;
-            siblingPath: Fr[];
-        }, {
-            leafPreimage: {
-                value: string;
-                slot: string;
-                nextIndex: string | number | bigint;
-                nextSlot: string;
-            };
-            leafIndex: string;
-            siblingPath: string[];
-        }>, AvmPublicDataReadTreeHint, {
-            leafPreimage: {
-                value: string;
-                slot: string;
-                nextIndex: string | number | bigint;
-                nextSlot: string;
-            };
-            leafIndex: string;
-            siblingPath: string[];
-        }>;
-        updatePreimage: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
     }, "strip", z.ZodTypeAny, {
-        exists: boolean;
         address: AztecAddress;
         salt: Fr;
         deployer: AztecAddress;
@@ -179,10 +144,7 @@ export declare class AvmContractInstanceHint {
         originalContractClassId: Fr;
         initializationHash: Fr;
         publicKeys: PublicKeys;
-        updateMembershipHint: AvmPublicDataReadTreeHint;
-        updatePreimage: Fr[];
     }, {
-        exists: boolean;
         salt: string;
         currentContractClassId: string;
         originalContractClassId: string;
@@ -193,21 +155,9 @@ export declare class AvmContractInstanceHint {
             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;
     }>, AvmContractInstanceHint, {
-        exists: boolean;
         salt: string;
         currentContractClassId: string;
         originalContractClassId: string;
@@ -218,17 +168,6 @@ export declare class AvmContractInstanceHint {
             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;
     }>;
@@ -408,27 +347,27 @@ export declare class AvmPublicDataReadTreeHint {
         leafIndex: z.ZodType<Fr, any, string>;
         siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
     }, "strip", z.ZodTypeAny, {
-        leafPreimage: PublicDataTreeLeafPreimage;
         leafIndex: Fr;
         siblingPath: Fr[];
+        leafPreimage: PublicDataTreeLeafPreimage;
     }, {
+        leafIndex: string;
+        siblingPath: string[];
         leafPreimage: {
             value: string;
             slot: string;
             nextIndex: string | number | bigint;
             nextSlot: string;
         };
+    }>, AvmPublicDataReadTreeHint, {
         leafIndex: string;
         siblingPath: string[];
-    }>, AvmPublicDataReadTreeHint, {
         leafPreimage: {
             value: string;
             slot: string;
             nextIndex: string | number | bigint;
             nextSlot: string;
         };
-        leafIndex: string;
-        siblingPath: string[];
     }>;
 }
 export declare class AvmPublicDataWriteTreeHint {
@@ -462,27 +401,27 @@ export declare class AvmPublicDataWriteTreeHint {
             leafIndex: z.ZodType<Fr, any, string>;
             siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
         }, "strip", z.ZodTypeAny, {
-            leafPreimage: PublicDataTreeLeafPreimage;
             leafIndex: Fr;
             siblingPath: Fr[];
+            leafPreimage: PublicDataTreeLeafPreimage;
         }, {
+            leafIndex: string;
+            siblingPath: string[];
             leafPreimage: {
                 value: string;
                 slot: string;
                 nextIndex: string | number | bigint;
                 nextSlot: string;
             };
+        }>, AvmPublicDataReadTreeHint, {
             leafIndex: string;
             siblingPath: string[];
-        }>, AvmPublicDataReadTreeHint, {
             leafPreimage: {
                 value: string;
                 slot: string;
                 nextIndex: string | number | bigint;
                 nextSlot: string;
             };
-            leafIndex: string;
-            siblingPath: string[];
         }>;
         newLeafPreimage: z.ZodEffects<z.ZodObject<{
             slot: z.ZodType<Fr, any, string>;
@@ -512,14 +451,14 @@ export declare class AvmPublicDataWriteTreeHint {
         newLeafPreimage: PublicDataTreeLeafPreimage;
     }, {
         lowLeafRead: {
+            leafIndex: string;
+            siblingPath: string[];
             leafPreimage: {
                 value: string;
                 slot: string;
                 nextIndex: string | number | bigint;
                 nextSlot: string;
             };
-            leafIndex: string;
-            siblingPath: string[];
         };
         insertionPath: string[];
         newLeafPreimage: {
@@ -530,14 +469,14 @@ export declare class AvmPublicDataWriteTreeHint {
         };
     }>, AvmPublicDataWriteTreeHint, {
         lowLeafRead: {
+            leafIndex: string;
+            siblingPath: string[];
             leafPreimage: {
                 value: string;
                 slot: string;
                 nextIndex: string | number | bigint;
                 nextSlot: string;
             };
-            leafIndex: string;
-            siblingPath: string[];
         };
         insertionPath: string[];
         newLeafPreimage: {
@@ -552,6 +491,7 @@ export declare class AvmExecutionHints {
     readonly enqueuedCalls: AvmEnqueuedCallHint[];
     readonly contractInstances: AvmContractInstanceHint[];
     readonly contractClasses: AvmContractClassHint[];
+    readonly bytecodeCommitments: AvmBytecodeCommitmentHint[];
     readonly publicDataReads: AvmPublicDataReadTreeHint[];
     readonly publicDataWrites: AvmPublicDataWriteTreeHint[];
     readonly nullifierReads: AvmNullifierReadTreeHint[];
@@ -559,25 +499,32 @@ export declare class AvmExecutionHints {
     readonly noteHashReads: AvmAppendTreeHint[];
     readonly noteHashWrites: AvmAppendTreeHint[];
     readonly l1ToL2MessageReads: AvmAppendTreeHint[];
-    constructor(enqueuedCalls: AvmEnqueuedCallHint[], contractInstances: AvmContractInstanceHint[], contractClasses: AvmContractClassHint[], publicDataReads: AvmPublicDataReadTreeHint[], publicDataWrites: AvmPublicDataWriteTreeHint[], nullifierReads: AvmNullifierReadTreeHint[], nullifierWrites: AvmNullifierWriteTreeHint[], noteHashReads: AvmAppendTreeHint[], noteHashWrites: AvmAppendTreeHint[], l1ToL2MessageReads: AvmAppendTreeHint[]);
+    constructor(enqueuedCalls?: AvmEnqueuedCallHint[], contractInstances?: AvmContractInstanceHint[], contractClasses?: AvmContractClassHint[], bytecodeCommitments?: AvmBytecodeCommitmentHint[], publicDataReads?: AvmPublicDataReadTreeHint[], publicDataWrites?: AvmPublicDataWriteTreeHint[], nullifierReads?: AvmNullifierReadTreeHint[], nullifierWrites?: AvmNullifierWriteTreeHint[], noteHashReads?: AvmAppendTreeHint[], noteHashWrites?: AvmAppendTreeHint[], l1ToL2MessageReads?: AvmAppendTreeHint[]);
     static empty(): AvmExecutionHints;
     static get schema(): z.ZodEffects<z.ZodObject<{
         enqueuedCalls: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
             contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
             calldata: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            isStaticCall: z.ZodBoolean;
         }, "strip", z.ZodTypeAny, {
             contractAddress: AztecAddress;
+            msgSender: AztecAddress;
+            isStaticCall: boolean;
             calldata: Fr[];
         }, {
+            isStaticCall: boolean;
             calldata: string[];
             contractAddress?: any;
+            msgSender?: any;
         }>, AvmEnqueuedCallHint, {
+            isStaticCall: boolean;
             calldata: string[];
             contractAddress?: any;
+            msgSender?: any;
         }>, "many">;
         contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
             address: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-            exists: z.ZodBoolean;
             salt: z.ZodType<Fr, any, string>;
             deployer: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
             currentContractClassId: z.ZodType<Fr, any, string>;
@@ -604,56 +551,7 @@ export declare class AvmExecutionHints {
                 masterOutgoingViewingPublicKey: string;
                 masterTaggingPublicKey: string;
             }>;
-            updateMembershipHint: z.ZodEffects<z.ZodObject<{
-                leafPreimage: z.ZodEffects<z.ZodObject<{
-                    slot: z.ZodType<Fr, any, string>;
-                    value: z.ZodType<Fr, any, string>;
-                    nextSlot: z.ZodType<Fr, any, string>;
-                    nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                }, "strip", z.ZodTypeAny, {
-                    value: Fr;
-                    slot: Fr;
-                    nextIndex: bigint;
-                    nextSlot: Fr;
-                }, {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                }>, PublicDataTreeLeafPreimage, {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                }>;
-                leafIndex: z.ZodType<Fr, any, string>;
-                siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-            }, "strip", z.ZodTypeAny, {
-                leafPreimage: PublicDataTreeLeafPreimage;
-                leafIndex: Fr;
-                siblingPath: Fr[];
-            }, {
-                leafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                };
-                leafIndex: string;
-                siblingPath: string[];
-            }>, AvmPublicDataReadTreeHint, {
-                leafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                };
-                leafIndex: string;
-                siblingPath: string[];
-            }>;
-            updatePreimage: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
         }, "strip", z.ZodTypeAny, {
-            exists: boolean;
             address: AztecAddress;
             salt: Fr;
             deployer: AztecAddress;
@@ -661,10 +559,7 @@ export declare class AvmExecutionHints {
             originalContractClassId: Fr;
             initializationHash: Fr;
             publicKeys: PublicKeys;
-            updateMembershipHint: AvmPublicDataReadTreeHint;
-            updatePreimage: Fr[];
         }, {
-            exists: boolean;
             salt: string;
             currentContractClassId: string;
             originalContractClassId: string;
@@ -675,21 +570,9 @@ export declare class AvmExecutionHints {
                 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;
         }>, AvmContractInstanceHint, {
-            exists: boolean;
             salt: string;
             currentContractClassId: string;
             originalContractClassId: string;
@@ -700,26 +583,13 @@ export declare class AvmExecutionHints {
                 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<Fr, any, string>;
-            exists: z.ZodBoolean;
             artifactHash: z.ZodType<Fr, any, string>;
             privateFunctionsRoot: z.ZodType<Fr, any, string>;
-            publicBytecodeCommitment: z.ZodType<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">;
@@ -735,32 +605,39 @@ export declare class AvmExecutionHints {
             }>]>;
         }, "strip", z.ZodTypeAny, {
             classId: Fr;
-            exists: boolean;
             artifactHash: Fr;
             privateFunctionsRoot: Fr;
-            publicBytecodeCommitment: Fr;
             packedBytecode: Buffer;
         }, {
             classId: string;
-            exists: boolean;
             artifactHash: string;
             privateFunctionsRoot: string;
-            publicBytecodeCommitment: string;
             packedBytecode: string | {
                 type: "Buffer";
                 data: number[];
             };
         }>, 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<Fr, any, string>;
+            commitment: z.ZodType<Fr, any, string>;
+        }, "strip", z.ZodTypeAny, {
+            classId: Fr;
+            commitment: Fr;
+        }, {
+            classId: string;
+            commitment: string;
+        }>, AvmBytecodeCommitmentHint, {
+            classId: string;
+            commitment: string;
+        }>, "many">;
         publicDataReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
             leafPreimage: z.ZodEffects<z.ZodObject<{
                 slot: z.ZodType<Fr, any, string>;
@@ -786,27 +663,27 @@ export declare class AvmExecutionHints {
             leafIndex: z.ZodType<Fr, any, string>;
             siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
         }, "strip", z.ZodTypeAny, {
-            leafPreimage: PublicDataTreeLeafPreimage;
             leafIndex: Fr;
             siblingPath: Fr[];
+            leafPreimage: PublicDataTreeLeafPreimage;
         }, {
+            leafIndex: string;
+            siblingPath: string[];
             leafPreimage: {
                 value: string;
                 slot: string;
                 nextIndex: string | number | bigint;
                 nextSlot: string;
             };
+        }>, AvmPublicDataReadTreeHint, {
             leafIndex: string;
             siblingPath: string[];
-        }>, 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<{
@@ -834,27 +711,27 @@ export declare class AvmExecutionHints {
                 leafIndex: z.ZodType<Fr, any, string>;
                 siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
             }, "strip", z.ZodTypeAny, {
-                leafPreimage: PublicDataTreeLeafPreimage;
                 leafIndex: Fr;
                 siblingPath: Fr[];
+                leafPreimage: PublicDataTreeLeafPreimage;
             }, {
+                leafIndex: string;
+                siblingPath: string[];
                 leafPreimage: {
                     value: string;
                     slot: string;
                     nextIndex: string | number | bigint;
                     nextSlot: string;
                 };
+            }>, AvmPublicDataReadTreeHint, {
                 leafIndex: string;
                 siblingPath: string[];
-            }>, AvmPublicDataReadTreeHint, {
                 leafPreimage: {
                     value: string;
                     slot: string;
                     nextIndex: string | number | bigint;
                     nextSlot: string;
                 };
-                leafIndex: string;
-                siblingPath: string[];
             }>;
             newLeafPreimage: z.ZodEffects<z.ZodObject<{
                 slot: z.ZodType<Fr, any, string>;
@@ -884,14 +761,14 @@ export declare class AvmExecutionHints {
             newLeafPreimage: PublicDataTreeLeafPreimage;
         }, {
             lowLeafRead: {
+                leafIndex: string;
+                siblingPath: string[];
                 leafPreimage: {
                     value: string;
                     slot: string;
                     nextIndex: string | number | bigint;
                     nextSlot: string;
                 };
-                leafIndex: string;
-                siblingPath: string[];
             };
             insertionPath: string[];
             newLeafPreimage: {
@@ -902,14 +779,14 @@ export declare class AvmExecutionHints {
             };
         }>, AvmPublicDataWriteTreeHint, {
             lowLeafRead: {
+                leafIndex: string;
+                siblingPath: string[];
                 leafPreimage: {
                     value: string;
                     slot: string;
                     nextIndex: string | number | bigint;
                     nextSlot: string;
                 };
-                leafIndex: string;
-                siblingPath: string[];
             };
             insertionPath: string[];
             newLeafPreimage: {
@@ -1085,6 +962,7 @@ export declare class AvmExecutionHints {
         enqueuedCalls: AvmEnqueuedCallHint[];
         contractInstances: AvmContractInstanceHint[];
         contractClasses: AvmContractClassHint[];
+        bytecodeCommitments: AvmBytecodeCommitmentHint[];
         publicDataReads: AvmPublicDataReadTreeHint[];
         nullifierReads: AvmNullifierReadTreeHint[];
         nullifierWrites: AvmNullifierWriteTreeHint[];
@@ -1094,14 +972,14 @@ export declare class 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: {
@@ -1112,11 +990,12 @@ export declare class AvmExecutionHints {
             };
         }[];
         enqueuedCalls: {
+            isStaticCall: boolean;
             calldata: string[];
             contractAddress?: any;
+            msgSender?: any;
         }[];
         contractInstances: {
-            exists: boolean;
             salt: string;
             currentContractClassId: string;
             originalContractClassId: string;
@@ -1127,40 +1006,31 @@ export declare class AvmExecutionHints {
                 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: {
@@ -1201,14 +1071,14 @@ export declare class AvmExecutionHints {
     }>, 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: {
@@ -1219,11 +1089,12 @@ export declare class AvmExecutionHints {
             };
         }[];
         enqueuedCalls: {
+            isStaticCall: boolean;
             calldata: string[];
             contractAddress?: any;
+            msgSender?: any;
         }[];
         contractInstances: {
-            exists: boolean;
             salt: string;
             currentContractClassId: string;
             originalContractClassId: string;
@@ -1234,40 +1105,31 @@ export declare class AvmExecutionHints {
                 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: {
@@ -1320,21 +1182,28 @@ export declare class AvmCircuitInputs {
         calldata: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
         hints: z.ZodEffects<z.ZodObject<{
             enqueuedCalls: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
                 contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
                 calldata: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                isStaticCall: z.ZodBoolean;
             }, "strip", z.ZodTypeAny, {
                 contractAddress: AztecAddress;
+                msgSender: AztecAddress;
+                isStaticCall: boolean;
                 calldata: Fr[];
             }, {
+                isStaticCall: boolean;
                 calldata: string[];
                 contractAddress?: any;
+                msgSender?: any;
             }>, AvmEnqueuedCallHint, {
+                isStaticCall: boolean;
                 calldata: string[];
                 contractAddress?: any;
+                msgSender?: any;
             }>, "many">;
             contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 address: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-                exists: z.ZodBoolean;
                 salt: z.ZodType<Fr, any, string>;
                 deployer: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
                 currentContractClassId: z.ZodType<Fr, any, string>;
@@ -1361,56 +1230,7 @@ export declare class AvmCircuitInputs {
                     masterOutgoingViewingPublicKey: string;
                     masterTaggingPublicKey: string;
                 }>;
-                updateMembershipHint: z.ZodEffects<z.ZodObject<{
-                    leafPreimage: z.ZodEffects<z.ZodObject<{
-                        slot: z.ZodType<Fr, any, string>;
-                        value: z.ZodType<Fr, any, string>;
-                        nextSlot: z.ZodType<Fr, any, string>;
-                        nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                    }, "strip", z.ZodTypeAny, {
-                        value: Fr;
-                        slot: Fr;
-                        nextIndex: bigint;
-                        nextSlot: Fr;
-                    }, {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    }>, PublicDataTreeLeafPreimage, {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    }>;
-                    leafIndex: z.ZodType<Fr, any, string>;
-                    siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-                }, "strip", z.ZodTypeAny, {
-                    leafPreimage: PublicDataTreeLeafPreimage;
-                    leafIndex: Fr;
-                    siblingPath: Fr[];
-                }, {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                }>, AvmPublicDataReadTreeHint, {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                }>;
-                updatePreimage: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
             }, "strip", z.ZodTypeAny, {
-                exists: boolean;
                 address: AztecAddress;
                 salt: Fr;
                 deployer: AztecAddress;
@@ -1418,10 +1238,7 @@ export declare class AvmCircuitInputs {
                 originalContractClassId: Fr;
                 initializationHash: Fr;
                 publicKeys: PublicKeys;
-                updateMembershipHint: AvmPublicDataReadTreeHint;
-                updatePreimage: Fr[];
             }, {
-                exists: boolean;
                 salt: string;
                 currentContractClassId: string;
                 originalContractClassId: string;
@@ -1432,21 +1249,9 @@ export declare class AvmCircuitInputs {
                     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;
             }>, AvmContractInstanceHint, {
-                exists: boolean;
                 salt: string;
                 currentContractClassId: string;
                 originalContractClassId: string;
@@ -1457,26 +1262,13 @@ export declare class AvmCircuitInputs {
                     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<Fr, any, string>;
-                exists: z.ZodBoolean;
                 artifactHash: z.ZodType<Fr, any, string>;
                 privateFunctionsRoot: z.ZodType<Fr, any, string>;
-                publicBytecodeCommitment: z.ZodType<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">;
@@ -1492,32 +1284,39 @@ export declare class AvmCircuitInputs {
                 }>]>;
             }, "strip", z.ZodTypeAny, {
                 classId: Fr;
-                exists: boolean;
                 artifactHash: Fr;
                 privateFunctionsRoot: Fr;
-                publicBytecodeCommitment: Fr;
                 packedBytecode: Buffer;
             }, {
                 classId: string;
-                exists: boolean;
                 artifactHash: string;
                 privateFunctionsRoot: string;
-                publicBytecodeCommitment: string;
                 packedBytecode: string | {
                     type: "Buffer";
                     data: number[];
                 };
             }>, 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<Fr, any, string>;
+                commitment: z.ZodType<Fr, any, string>;
+            }, "strip", z.ZodTypeAny, {
+                classId: Fr;
+                commitment: Fr;
+            }, {
+                classId: string;
+                commitment: string;
+            }>, AvmBytecodeCommitmentHint, {
+                classId: string;
+                commitment: string;
+            }>, "many">;
             publicDataReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 leafPreimage: z.ZodEffects<z.ZodObject<{
                     slot: z.ZodType<Fr, any, string>;
@@ -1543,27 +1342,27 @@ export declare class AvmCircuitInputs {
                 leafIndex: z.ZodType<Fr, any, string>;
                 siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
             }, "strip", z.ZodTypeAny, {
-                leafPreimage: PublicDataTreeLeafPreimage;
                 leafIndex: Fr;
                 siblingPath: Fr[];
+                leafPreimage: PublicDataTreeLeafPreimage;
             }, {
+                leafIndex: string;
+                siblingPath: string[];
                 leafPreimage: {
                     value: string;
                     slot: string;
                     nextIndex: string | number | bigint;
                     nextSlot: string;
                 };
+            }>, AvmPublicDataReadTreeHint, {
                 leafIndex: string;
                 siblingPath: string[];
-            }>, 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<{
@@ -1591,27 +1390,27 @@ export declare class AvmCircuitInputs {
                     leafIndex: z.ZodType<Fr, any, string>;
                     siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
                 }, "strip", z.ZodTypeAny, {
-                    leafPreimage: PublicDataTreeLeafPreimage;
                     leafIndex: Fr;
                     siblingPath: Fr[];
+                    leafPreimage: PublicDataTreeLeafPreimage;
                 }, {
+                    leafIndex: string;
+                    siblingPath: string[];
                     leafPreimage: {
                         value: string;
                         slot: string;
                         nextIndex: string | number | bigint;
                         nextSlot: string;
                     };
+                }>, AvmPublicDataReadTreeHint, {
                     leafIndex: string;
                     siblingPath: string[];
-                }>, AvmPublicDataReadTreeHint, {
                     leafPreimage: {
                         value: string;
                         slot: string;
                         nextIndex: string | number | bigint;
                         nextSlot: string;
                     };
-                    leafIndex: string;
-                    siblingPath: string[];
                 }>;
                 newLeafPreimage: z.ZodEffects<z.ZodObject<{
                     slot: z.ZodType<Fr, any, string>;
@@ -1641,14 +1440,14 @@ export declare class AvmCircuitInputs {
                 newLeafPreimage: PublicDataTreeLeafPreimage;
             }, {
                 lowLeafRead: {
+                    leafIndex: string;
+                    siblingPath: string[];
                     leafPreimage: {
                         value: string;
                         slot: string;
                         nextIndex: string | number | bigint;
                         nextSlot: string;
                     };
-                    leafIndex: string;
-                    siblingPath: string[];
                 };
                 insertionPath: string[];
                 newLeafPreimage: {
@@ -1659,14 +1458,14 @@ export declare class AvmCircuitInputs {
                 };
             }>, AvmPublicDataWriteTreeHint, {
                 lowLeafRead: {
+                    leafIndex: string;
+                    siblingPath: string[];
                     leafPreimage: {
                         value: string;
                         slot: string;
                         nextIndex: string | number | bigint;
                         nextSlot: string;
                     };
-                    leafIndex: string;
-                    siblingPath: string[];
                 };
                 insertionPath: string[];
                 newLeafPreimage: {
@@ -1842,6 +1641,7 @@ export declare class AvmCircuitInputs {
             enqueuedCalls: AvmEnqueuedCallHint[];
             contractInstances: AvmContractInstanceHint[];
             contractClasses: AvmContractClassHint[];
+            bytecodeCommitments: AvmBytecodeCommitmentHint[];
             publicDataReads: AvmPublicDataReadTreeHint[];
             nullifierReads: AvmNullifierReadTreeHint[];
             nullifierWrites: AvmNullifierWriteTreeHint[];
@@ -1851,14 +1651,14 @@ export declare class AvmCircuitInputs {
         }, {
             publicDataWrites: {
                 lowLeafRead: {
+                    leafIndex: string;
+                    siblingPath: string[];
                     leafPreimage: {
                         value: string;
                         slot: string;
                         nextIndex: string | number | bigint;
                         nextSlot: string;
                     };
-                    leafIndex: string;
-                    siblingPath: string[];
                 };
                 insertionPath: string[];
                 newLeafPreimage: {
@@ -1869,11 +1669,12 @@ export declare class AvmCircuitInputs {
                 };
             }[];
             enqueuedCalls: {
+                isStaticCall: boolean;
                 calldata: string[];
                 contractAddress?: any;
+                msgSender?: any;
             }[];
             contractInstances: {
-                exists: boolean;
                 salt: string;
                 currentContractClassId: string;
                 originalContractClassId: string;
@@ -1884,40 +1685,31 @@ export declare class AvmCircuitInputs {
                     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: {
@@ -1958,14 +1750,14 @@ export declare class AvmCircuitInputs {
         }>, 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: {
@@ -1976,11 +1768,12 @@ export declare class AvmCircuitInputs {
                 };
             }[];
             enqueuedCalls: {
+                isStaticCall: boolean;
                 calldata: string[];
                 contractAddress?: any;
+                msgSender?: any;
             }[];
             contractInstances: {
-                exists: boolean;
                 salt: string;
                 currentContractClassId: string;
                 originalContractClassId: string;
@@ -1991,40 +1784,31 @@ export declare class AvmCircuitInputs {
                     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: {
@@ -3095,14 +2879,14 @@ export declare class AvmCircuitInputs {
         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: {
@@ -3113,11 +2897,12 @@ export declare class AvmCircuitInputs {
                 };
             }[];
             enqueuedCalls: {
+                isStaticCall: boolean;
                 calldata: string[];
                 contractAddress?: any;
+                msgSender?: any;
             }[];
             contractInstances: {
-                exists: boolean;
                 salt: string;
                 currentContractClassId: string;
                 originalContractClassId: string;
@@ -3128,40 +2913,31 @@ export declare class AvmCircuitInputs {
                     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: {
@@ -3358,14 +3134,14 @@ export declare class AvmCircuitInputs {
         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: {
@@ -3376,11 +3152,12 @@ export declare class AvmCircuitInputs {
                 };
             }[];
             enqueuedCalls: {
+                isStaticCall: boolean;
                 calldata: string[];
                 contractAddress?: any;
+                msgSender?: any;
             }[];
             contractInstances: {
-                exists: boolean;
                 salt: string;
                 currentContractClassId: string;
                 originalContractClassId: string;
@@ -3391,40 +3168,31 @@ export declare class AvmCircuitInputs {
                     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: {