@aztec/stdlib 0.83.0 → 0.83.1-nightly.20250404

package/dest/avm/avm.d.ts

@@ -8,6 +8,7 @@ import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
 import { MerkleTreeId } from '../trees/merkle_tree_id.js';
 import { NullifierLeafPreimage } from '../trees/nullifier_leaf.js';
 import { PublicDataTreeLeafPreimage } from '../trees/public_data_leaf.js';
+import type { Tx } from '../tx/index.js';
 import { AvmCircuitPublicInputs } from './avm_circuit_public_inputs.js';
 export declare class AvmContractClassHint {
     readonly classId: Fr;
@@ -112,36 +113,36 @@ export declare class AvmContractInstanceHint {
         }>;
     }, "strip", z.ZodTypeAny, {
         address: AztecAddress;
+        publicKeys: PublicKeys;
         salt: Fr;
         deployer: AztecAddress;
         currentContractClassId: Fr;
         originalContractClassId: Fr;
         initializationHash: Fr;
-        publicKeys: PublicKeys;
     }, {
-        salt: string;
-        currentContractClassId: string;
-        originalContractClassId: string;
-        initializationHash: string;
         publicKeys: {
             masterNullifierPublicKey: string;
             masterIncomingViewingPublicKey: string;
             masterOutgoingViewingPublicKey: string;
             masterTaggingPublicKey: string;
         };
-        address?: any;
-        deployer?: any;
-    }>, AvmContractInstanceHint, {
         salt: string;
         currentContractClassId: string;
         originalContractClassId: string;
         initializationHash: string;
+        address?: any;
+        deployer?: any;
+    }>, AvmContractInstanceHint, {
         publicKeys: {
             masterNullifierPublicKey: string;
             masterIncomingViewingPublicKey: string;
             masterOutgoingViewingPublicKey: string;
             masterTaggingPublicKey: string;
         };
+        salt: string;
+        currentContractClassId: string;
+        originalContractClassId: string;
+        initializationHash: string;
         address?: any;
         deployer?: any;
     }>;
@@ -220,27 +221,27 @@ export declare class AvmGetPreviousValueIndexHint {
     }, "strip", z.ZodTypeAny, {
         value: Fr;
         index: bigint;
+        alreadyPresent: boolean;
         hintKey: AppendOnlyTreeSnapshot;
         treeId: number;
-        alreadyPresent: boolean;
     }, {
         value: string;
         index: string | number | bigint;
+        alreadyPresent: boolean;
         hintKey: {
             root: string;
             nextAvailableLeafIndex: string | number | bigint;
         };
         treeId: number;
-        alreadyPresent: boolean;
     }>, AvmGetPreviousValueIndexHint, {
         value: string;
         index: string | number | bigint;
+        alreadyPresent: boolean;
         hintKey: {
             root: string;
             nextAvailableLeafIndex: string | number | bigint;
         };
         treeId: number;
-        alreadyPresent: boolean;
     }>;
 }
 type IndexedTreeLeafPreimages = NullifierLeafPreimage | PublicDataTreeLeafPreimage;
@@ -330,14 +331,10 @@ declare const AvmGetLeafPreimageHintPublicDataTree_base: {
         }>;
     }, "strip", z.ZodTypeAny, {
         index: bigint;
-        hintKey: AppendOnlyTreeSnapshot;
         leafPreimage: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+        hintKey: AppendOnlyTreeSnapshot;
     }, {
         index: string | number | bigint;
-        hintKey: {
-            root: string;
-            nextAvailableLeafIndex: string | number | bigint;
-        };
         leafPreimage: {
             leaf: {
                 nullifier: string;
@@ -352,16 +349,16 @@ declare const AvmGetLeafPreimageHintPublicDataTree_base: {
             nextKey: string;
             nextIndex: string | number | bigint;
         };
+        hintKey: {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        };
     }>, {
         readonly hintKey: AppendOnlyTreeSnapshot;
         readonly index: bigint;
         readonly leafPreimage: IndexedTreeLeafPreimages;
     }, {
         index: string | number | bigint;
-        hintKey: {
-            root: string;
-            nextAvailableLeafIndex: string | number | bigint;
-        };
         leafPreimage: {
             leaf: {
                 nullifier: string;
@@ -376,6 +373,10 @@ declare const AvmGetLeafPreimageHintPublicDataTree_base: {
             nextKey: string;
             nextIndex: string | number | bigint;
         };
+        hintKey: {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        };
     }>;
 };
 export declare class AvmGetLeafPreimageHintPublicDataTree extends AvmGetLeafPreimageHintPublicDataTree_base {
@@ -466,14 +467,10 @@ declare const AvmGetLeafPreimageHintNullifierTree_base: {
         }>;
     }, "strip", z.ZodTypeAny, {
         index: bigint;
-        hintKey: AppendOnlyTreeSnapshot;
         leafPreimage: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+        hintKey: AppendOnlyTreeSnapshot;
     }, {
         index: string | number | bigint;
-        hintKey: {
-            root: string;
-            nextAvailableLeafIndex: string | number | bigint;
-        };
         leafPreimage: {
             leaf: {
                 nullifier: string;
@@ -488,16 +485,16 @@ declare const AvmGetLeafPreimageHintNullifierTree_base: {
             nextKey: string;
             nextIndex: string | number | bigint;
         };
+        hintKey: {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        };
     }>, {
         readonly hintKey: AppendOnlyTreeSnapshot;
         readonly index: bigint;
         readonly leafPreimage: IndexedTreeLeafPreimages;
     }, {
         index: string | number | bigint;
-        hintKey: {
-            root: string;
-            nextAvailableLeafIndex: string | number | bigint;
-        };
         leafPreimage: {
             leaf: {
                 nullifier: string;
@@ -512,6 +509,10 @@ declare const AvmGetLeafPreimageHintNullifierTree_base: {
             nextKey: string;
             nextIndex: string | number | bigint;
         };
+        hintKey: {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        };
     }>;
 };
 export declare class AvmGetLeafPreimageHintNullifierTree extends AvmGetLeafPreimageHintNullifierTree_base {
@@ -1366,22 +1367,49 @@ export declare class AvmEnqueuedCallHint {
         msgSender?: any;
     }>;
 }
-export declare class AvmExecutionHints {
-    readonly enqueuedCalls: AvmEnqueuedCallHint[];
-    readonly contractInstances: AvmContractInstanceHint[];
-    readonly contractClasses: AvmContractClassHint[];
-    readonly bytecodeCommitments: AvmBytecodeCommitmentHint[];
-    readonly getSiblingPathHints: AvmGetSiblingPathHint[];
-    readonly getPreviousValueIndexHints: AvmGetPreviousValueIndexHint[];
-    readonly getLeafPreimageHintsPublicDataTree: AvmGetLeafPreimageHintPublicDataTree[];
-    readonly getLeafPreimageHintsNullifierTree: AvmGetLeafPreimageHintNullifierTree[];
-    readonly getLeafValueHints: AvmGetLeafValueHint[];
-    readonly sequentialInsertHintsPublicDataTree: AvmSequentialInsertHintPublicDataTree[];
-    readonly sequentialInsertHintsNullifierTree: AvmSequentialInsertHintNullifierTree[];
-    constructor(enqueuedCalls?: AvmEnqueuedCallHint[], contractInstances?: AvmContractInstanceHint[], contractClasses?: AvmContractClassHint[], bytecodeCommitments?: AvmBytecodeCommitmentHint[], getSiblingPathHints?: AvmGetSiblingPathHint[], getPreviousValueIndexHints?: AvmGetPreviousValueIndexHint[], getLeafPreimageHintsPublicDataTree?: AvmGetLeafPreimageHintPublicDataTree[], getLeafPreimageHintsNullifierTree?: AvmGetLeafPreimageHintNullifierTree[], getLeafValueHints?: AvmGetLeafValueHint[], sequentialInsertHintsPublicDataTree?: AvmSequentialInsertHintPublicDataTree[], sequentialInsertHintsNullifierTree?: AvmSequentialInsertHintNullifierTree[]);
-    static empty(): AvmExecutionHints;
-    static get schema(): z.ZodEffects<z.ZodObject<{
-        enqueuedCalls: z.ZodArray<z.ZodEffects<z.ZodObject<{
+export declare class AvmTxHint {
+    readonly nonRevertibleAccumulatedData: {
+        noteHashes: Fr[];
+        nullifiers: Fr[];
+    };
+    readonly revertibleAccumulatedData: {
+        noteHashes: Fr[];
+        nullifiers: Fr[];
+    };
+    readonly setupEnqueuedCalls: AvmEnqueuedCallHint[];
+    readonly appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
+    readonly teardownEnqueuedCall: AvmEnqueuedCallHint | null;
+    constructor(nonRevertibleAccumulatedData: {
+        noteHashes: Fr[];
+        nullifiers: Fr[];
+    }, revertibleAccumulatedData: {
+        noteHashes: Fr[];
+        nullifiers: Fr[];
+    }, setupEnqueuedCalls: AvmEnqueuedCallHint[], appLogicEnqueuedCalls: AvmEnqueuedCallHint[], teardownEnqueuedCall: AvmEnqueuedCallHint | null);
+    static fromTx(tx: Tx): AvmTxHint;
+    static empty(): AvmTxHint;
+    static get schema(): z.ZodObject<{
+        nonRevertibleAccumulatedData: z.ZodObject<{
+            noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            noteHashes: Fr[];
+            nullifiers: Fr[];
+        }, {
+            noteHashes: string[];
+            nullifiers: string[];
+        }>;
+        revertibleAccumulatedData: z.ZodObject<{
+            noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            noteHashes: Fr[];
+            nullifiers: Fr[];
+        }, {
+            noteHashes: string[];
+            nullifiers: string[];
+        }>;
+        setupEnqueuedCalls: 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">;
@@ -1402,163 +1430,385 @@ export declare class AvmExecutionHints {
             contractAddress?: any;
             msgSender?: any;
         }>, "many">;
-        contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
-            address: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-            salt: z.ZodType<Fr, any, string>;
-            deployer: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-            currentContractClassId: z.ZodType<Fr, any, string>;
-            originalContractClassId: z.ZodType<Fr, any, string>;
-            initializationHash: z.ZodType<Fr, any, string>;
-            publicKeys: z.ZodEffects<z.ZodObject<{
-                masterNullifierPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
-                masterIncomingViewingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
-                masterOutgoingViewingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
-                masterTaggingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
-            }, "strip", z.ZodTypeAny, {
-                masterNullifierPublicKey: import("@aztec/foundation/fields").Point;
-                masterIncomingViewingPublicKey: import("@aztec/foundation/fields").Point;
-                masterOutgoingViewingPublicKey: import("@aztec/foundation/fields").Point;
-                masterTaggingPublicKey: import("@aztec/foundation/fields").Point;
-            }, {
-                masterNullifierPublicKey: string;
-                masterIncomingViewingPublicKey: string;
-                masterOutgoingViewingPublicKey: string;
-                masterTaggingPublicKey: string;
-            }>, PublicKeys, {
-                masterNullifierPublicKey: string;
-                masterIncomingViewingPublicKey: string;
-                masterOutgoingViewingPublicKey: string;
-                masterTaggingPublicKey: string;
-            }>;
-        }, "strip", z.ZodTypeAny, {
-            address: AztecAddress;
-            salt: Fr;
-            deployer: AztecAddress;
-            currentContractClassId: Fr;
-            originalContractClassId: Fr;
-            initializationHash: Fr;
-            publicKeys: PublicKeys;
-        }, {
-            salt: string;
-            currentContractClassId: string;
-            originalContractClassId: string;
-            initializationHash: string;
-            publicKeys: {
-                masterNullifierPublicKey: string;
-                masterIncomingViewingPublicKey: string;
-                masterOutgoingViewingPublicKey: string;
-                masterTaggingPublicKey: string;
-            };
-            address?: any;
-            deployer?: any;
-        }>, AvmContractInstanceHint, {
-            salt: string;
-            currentContractClassId: string;
-            originalContractClassId: string;
-            initializationHash: string;
-            publicKeys: {
-                masterNullifierPublicKey: string;
-                masterIncomingViewingPublicKey: string;
-                masterOutgoingViewingPublicKey: string;
-                masterTaggingPublicKey: string;
-            };
-            address?: any;
-            deployer?: any;
-        }>, "many">;
-        contractClasses: z.ZodArray<z.ZodEffects<z.ZodObject<{
-            classId: z.ZodType<Fr, any, string>;
-            artifactHash: z.ZodType<Fr, any, string>;
-            privateFunctionsRoot: 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">;
-            }, "strip", z.ZodTypeAny, {
-                type: "Buffer";
-                data: number[];
-            }, {
-                type: "Buffer";
-                data: number[];
-            }>, Buffer, {
-                type: "Buffer";
-                data: number[];
-            }>]>;
-        }, "strip", z.ZodTypeAny, {
-            classId: Fr;
-            artifactHash: Fr;
-            privateFunctionsRoot: Fr;
-            packedBytecode: Buffer;
-        }, {
-            classId: string;
-            artifactHash: string;
-            privateFunctionsRoot: string;
-            packedBytecode: string | {
-                type: "Buffer";
-                data: number[];
-            };
-        }>, AvmContractClassHint, {
-            classId: string;
-            artifactHash: string;
-            privateFunctionsRoot: 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>;
+        appLogicEnqueuedCalls: 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, {
-            classId: Fr;
-            commitment: Fr;
+            contractAddress: AztecAddress;
+            msgSender: AztecAddress;
+            isStaticCall: boolean;
+            calldata: Fr[];
         }, {
-            classId: string;
-            commitment: string;
-        }>, AvmBytecodeCommitmentHint, {
-            classId: string;
-            commitment: string;
+            isStaticCall: boolean;
+            calldata: string[];
+            contractAddress?: any;
+            msgSender?: any;
+        }>, AvmEnqueuedCallHint, {
+            isStaticCall: boolean;
+            calldata: string[];
+            contractAddress?: any;
+            msgSender?: any;
         }>, "many">;
-        getSiblingPathHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
-            hintKey: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
-                nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            }, "strip", z.ZodTypeAny, {
-                root: Fr;
-                nextAvailableLeafIndex: number;
-            }, {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            }>, AppendOnlyTreeSnapshot, {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            }>;
-            treeId: z.ZodNumber;
-            index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        teardownEnqueuedCall: z.ZodNullable<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, {
-            path: Fr[];
-            index: bigint;
-            hintKey: AppendOnlyTreeSnapshot;
-            treeId: number;
+            contractAddress: AztecAddress;
+            msgSender: AztecAddress;
+            isStaticCall: boolean;
+            calldata: Fr[];
         }, {
-            path: string[];
-            index: string | number | bigint;
-            hintKey: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            treeId: number;
-        }>, AvmGetSiblingPathHint, {
-            path: string[];
-            index: string | number | bigint;
-            hintKey: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            treeId: number;
-        }>, "many">;
-        getPreviousValueIndexHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
-            hintKey: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+            isStaticCall: boolean;
+            calldata: string[];
+            contractAddress?: any;
+            msgSender?: any;
+        }>, AvmEnqueuedCallHint, {
+            isStaticCall: boolean;
+            calldata: string[];
+            contractAddress?: any;
+            msgSender?: any;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        nonRevertibleAccumulatedData: {
+            noteHashes: Fr[];
+            nullifiers: Fr[];
+        };
+        revertibleAccumulatedData: {
+            noteHashes: Fr[];
+            nullifiers: Fr[];
+        };
+        setupEnqueuedCalls: AvmEnqueuedCallHint[];
+        appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
+        teardownEnqueuedCall: AvmEnqueuedCallHint | null;
+    }, {
+        nonRevertibleAccumulatedData: {
+            noteHashes: string[];
+            nullifiers: string[];
+        };
+        revertibleAccumulatedData: {
+            noteHashes: string[];
+            nullifiers: string[];
+        };
+        setupEnqueuedCalls: {
+            isStaticCall: boolean;
+            calldata: string[];
+            contractAddress?: any;
+            msgSender?: any;
+        }[];
+        appLogicEnqueuedCalls: {
+            isStaticCall: boolean;
+            calldata: string[];
+            contractAddress?: any;
+            msgSender?: any;
+        }[];
+        teardownEnqueuedCall: {
+            isStaticCall: boolean;
+            calldata: string[];
+            contractAddress?: any;
+            msgSender?: any;
+        } | null;
+    }>;
+}
+export declare class AvmExecutionHints {
+    tx: AvmTxHint;
+    readonly contractInstances: AvmContractInstanceHint[];
+    readonly contractClasses: AvmContractClassHint[];
+    readonly bytecodeCommitments: AvmBytecodeCommitmentHint[];
+    readonly getSiblingPathHints: AvmGetSiblingPathHint[];
+    readonly getPreviousValueIndexHints: AvmGetPreviousValueIndexHint[];
+    readonly getLeafPreimageHintsPublicDataTree: AvmGetLeafPreimageHintPublicDataTree[];
+    readonly getLeafPreimageHintsNullifierTree: AvmGetLeafPreimageHintNullifierTree[];
+    readonly getLeafValueHints: AvmGetLeafValueHint[];
+    readonly sequentialInsertHintsPublicDataTree: AvmSequentialInsertHintPublicDataTree[];
+    readonly sequentialInsertHintsNullifierTree: AvmSequentialInsertHintNullifierTree[];
+    constructor(tx: AvmTxHint, contractInstances?: AvmContractInstanceHint[], contractClasses?: AvmContractClassHint[], bytecodeCommitments?: AvmBytecodeCommitmentHint[], getSiblingPathHints?: AvmGetSiblingPathHint[], getPreviousValueIndexHints?: AvmGetPreviousValueIndexHint[], getLeafPreimageHintsPublicDataTree?: AvmGetLeafPreimageHintPublicDataTree[], getLeafPreimageHintsNullifierTree?: AvmGetLeafPreimageHintNullifierTree[], getLeafValueHints?: AvmGetLeafValueHint[], sequentialInsertHintsPublicDataTree?: AvmSequentialInsertHintPublicDataTree[], sequentialInsertHintsNullifierTree?: AvmSequentialInsertHintNullifierTree[]);
+    static empty(): AvmExecutionHints;
+    static get schema(): z.ZodEffects<z.ZodObject<{
+        tx: z.ZodObject<{
+            nonRevertibleAccumulatedData: z.ZodObject<{
+                noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                noteHashes: Fr[];
+                nullifiers: Fr[];
+            }, {
+                noteHashes: string[];
+                nullifiers: string[];
+            }>;
+            revertibleAccumulatedData: z.ZodObject<{
+                noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                noteHashes: Fr[];
+                nullifiers: Fr[];
+            }, {
+                noteHashes: string[];
+                nullifiers: string[];
+            }>;
+            setupEnqueuedCalls: 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">;
+            appLogicEnqueuedCalls: 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">;
+            teardownEnqueuedCall: z.ZodNullable<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;
+            }>>;
+        }, "strip", z.ZodTypeAny, {
+            nonRevertibleAccumulatedData: {
+                noteHashes: Fr[];
+                nullifiers: Fr[];
+            };
+            revertibleAccumulatedData: {
+                noteHashes: Fr[];
+                nullifiers: Fr[];
+            };
+            setupEnqueuedCalls: AvmEnqueuedCallHint[];
+            appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
+            teardownEnqueuedCall: AvmEnqueuedCallHint | null;
+        }, {
+            nonRevertibleAccumulatedData: {
+                noteHashes: string[];
+                nullifiers: string[];
+            };
+            revertibleAccumulatedData: {
+                noteHashes: string[];
+                nullifiers: string[];
+            };
+            setupEnqueuedCalls: {
+                isStaticCall: boolean;
+                calldata: string[];
+                contractAddress?: any;
+                msgSender?: any;
+            }[];
+            appLogicEnqueuedCalls: {
+                isStaticCall: boolean;
+                calldata: string[];
+                contractAddress?: any;
+                msgSender?: any;
+            }[];
+            teardownEnqueuedCall: {
+                isStaticCall: boolean;
+                calldata: string[];
+                contractAddress?: any;
+                msgSender?: any;
+            } | null;
+        }>;
+        contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            address: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+            salt: z.ZodType<Fr, any, string>;
+            deployer: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+            currentContractClassId: z.ZodType<Fr, any, string>;
+            originalContractClassId: z.ZodType<Fr, any, string>;
+            initializationHash: z.ZodType<Fr, any, string>;
+            publicKeys: z.ZodEffects<z.ZodObject<{
+                masterNullifierPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
+                masterIncomingViewingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
+                masterOutgoingViewingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
+                masterTaggingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
+            }, "strip", z.ZodTypeAny, {
+                masterNullifierPublicKey: import("@aztec/foundation/fields").Point;
+                masterIncomingViewingPublicKey: import("@aztec/foundation/fields").Point;
+                masterOutgoingViewingPublicKey: import("@aztec/foundation/fields").Point;
+                masterTaggingPublicKey: import("@aztec/foundation/fields").Point;
+            }, {
+                masterNullifierPublicKey: string;
+                masterIncomingViewingPublicKey: string;
+                masterOutgoingViewingPublicKey: string;
+                masterTaggingPublicKey: string;
+            }>, PublicKeys, {
+                masterNullifierPublicKey: string;
+                masterIncomingViewingPublicKey: string;
+                masterOutgoingViewingPublicKey: string;
+                masterTaggingPublicKey: string;
+            }>;
+        }, "strip", z.ZodTypeAny, {
+            address: AztecAddress;
+            publicKeys: PublicKeys;
+            salt: Fr;
+            deployer: AztecAddress;
+            currentContractClassId: Fr;
+            originalContractClassId: Fr;
+            initializationHash: Fr;
+        }, {
+            publicKeys: {
+                masterNullifierPublicKey: string;
+                masterIncomingViewingPublicKey: string;
+                masterOutgoingViewingPublicKey: string;
+                masterTaggingPublicKey: string;
+            };
+            salt: string;
+            currentContractClassId: string;
+            originalContractClassId: string;
+            initializationHash: string;
+            address?: any;
+            deployer?: any;
+        }>, AvmContractInstanceHint, {
+            publicKeys: {
+                masterNullifierPublicKey: string;
+                masterIncomingViewingPublicKey: string;
+                masterOutgoingViewingPublicKey: string;
+                masterTaggingPublicKey: string;
+            };
+            salt: string;
+            currentContractClassId: string;
+            originalContractClassId: string;
+            initializationHash: string;
+            address?: any;
+            deployer?: any;
+        }>, "many">;
+        contractClasses: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            classId: z.ZodType<Fr, any, string>;
+            artifactHash: z.ZodType<Fr, any, string>;
+            privateFunctionsRoot: 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">;
+            }, "strip", z.ZodTypeAny, {
+                type: "Buffer";
+                data: number[];
+            }, {
+                type: "Buffer";
+                data: number[];
+            }>, Buffer, {
+                type: "Buffer";
+                data: number[];
+            }>]>;
+        }, "strip", z.ZodTypeAny, {
+            classId: Fr;
+            artifactHash: Fr;
+            privateFunctionsRoot: Fr;
+            packedBytecode: Buffer;
+        }, {
+            classId: string;
+            artifactHash: string;
+            privateFunctionsRoot: string;
+            packedBytecode: string | {
+                type: "Buffer";
+                data: number[];
+            };
+        }>, AvmContractClassHint, {
+            classId: string;
+            artifactHash: string;
+            privateFunctionsRoot: 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">;
+        getSiblingPathHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            hintKey: z.ZodEffects<z.ZodObject<{
+                root: z.ZodType<Fr, any, string>;
+                nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }, {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            }>, AppendOnlyTreeSnapshot, {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            }>;
+            treeId: z.ZodNumber;
+            index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+            path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            path: Fr[];
+            index: bigint;
+            hintKey: AppendOnlyTreeSnapshot;
+            treeId: number;
+        }, {
+            path: string[];
+            index: string | number | bigint;
+            hintKey: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            treeId: number;
+        }>, AvmGetSiblingPathHint, {
+            path: string[];
+            index: string | number | bigint;
+            hintKey: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            treeId: number;
+        }>, "many">;
+        getPreviousValueIndexHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            hintKey: z.ZodEffects<z.ZodObject<{
+                root: z.ZodType<Fr, any, string>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -1577,27 +1827,27 @@ export declare class AvmExecutionHints {
         }, "strip", z.ZodTypeAny, {
             value: Fr;
             index: bigint;
+            alreadyPresent: boolean;
             hintKey: AppendOnlyTreeSnapshot;
             treeId: number;
-            alreadyPresent: boolean;
         }, {
             value: string;
             index: string | number | bigint;
+            alreadyPresent: boolean;
             hintKey: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
             treeId: number;
-            alreadyPresent: boolean;
         }>, AvmGetPreviousValueIndexHint, {
             value: string;
             index: string | number | bigint;
+            alreadyPresent: boolean;
             hintKey: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
             treeId: number;
-            alreadyPresent: boolean;
         }>, "many">;
         getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodEffects<z.ZodObject<{
@@ -1679,14 +1929,10 @@ export declare class AvmExecutionHints {
             }>;
         }, "strip", z.ZodTypeAny, {
             index: bigint;
-            hintKey: AppendOnlyTreeSnapshot;
             leafPreimage: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+            hintKey: AppendOnlyTreeSnapshot;
         }, {
             index: string | number | bigint;
-            hintKey: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
             leafPreimage: {
                 leaf: {
                     nullifier: string;
@@ -1701,16 +1947,16 @@ export declare class AvmExecutionHints {
                 nextKey: string;
                 nextIndex: string | number | bigint;
             };
+            hintKey: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
         }>, {
             readonly hintKey: AppendOnlyTreeSnapshot;
             readonly index: bigint;
             readonly leafPreimage: IndexedTreeLeafPreimages;
         }, {
             index: string | number | bigint;
-            hintKey: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
             leafPreimage: {
                 leaf: {
                     nullifier: string;
@@ -1725,6 +1971,10 @@ export declare class AvmExecutionHints {
                 nextKey: string;
                 nextIndex: string | number | bigint;
             };
+            hintKey: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
         }>, "many">;
         getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodEffects<z.ZodObject<{
@@ -1806,14 +2056,10 @@ export declare class AvmExecutionHints {
             }>;
         }, "strip", z.ZodTypeAny, {
             index: bigint;
-            hintKey: AppendOnlyTreeSnapshot;
             leafPreimage: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+            hintKey: AppendOnlyTreeSnapshot;
         }, {
             index: string | number | bigint;
-            hintKey: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
             leafPreimage: {
                 leaf: {
                     nullifier: string;
@@ -1828,16 +2074,16 @@ export declare class AvmExecutionHints {
                 nextKey: string;
                 nextIndex: string | number | bigint;
             };
+            hintKey: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
         }>, {
             readonly hintKey: AppendOnlyTreeSnapshot;
             readonly index: bigint;
             readonly leafPreimage: IndexedTreeLeafPreimages;
         }, {
             index: string | number | bigint;
-            hintKey: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
             leafPreimage: {
                 leaf: {
                     nullifier: string;
@@ -1852,6 +2098,10 @@ export declare class AvmExecutionHints {
                 nextKey: string;
                 nextIndex: string | number | bigint;
             };
+            hintKey: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
         }>, "many">;
         getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodEffects<z.ZodObject<{
@@ -2613,7 +2863,19 @@ export declare class AvmExecutionHints {
             };
         }>, "many">;
     }, "strip", z.ZodTypeAny, {
-        enqueuedCalls: AvmEnqueuedCallHint[];
+        tx: {
+            nonRevertibleAccumulatedData: {
+                noteHashes: Fr[];
+                nullifiers: Fr[];
+            };
+            revertibleAccumulatedData: {
+                noteHashes: Fr[];
+                nullifiers: Fr[];
+            };
+            setupEnqueuedCalls: AvmEnqueuedCallHint[];
+            appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
+            teardownEnqueuedCall: AvmEnqueuedCallHint | null;
+        };
         contractInstances: AvmContractInstanceHint[];
         contractClasses: AvmContractClassHint[];
         bytecodeCommitments: AvmBytecodeCommitmentHint[];
@@ -2663,23 +2925,45 @@ export declare class AvmExecutionHints {
             };
         }[];
     }, {
-        enqueuedCalls: {
-            isStaticCall: boolean;
-            calldata: string[];
-            contractAddress?: any;
-            msgSender?: any;
-        }[];
+        tx: {
+            nonRevertibleAccumulatedData: {
+                noteHashes: string[];
+                nullifiers: string[];
+            };
+            revertibleAccumulatedData: {
+                noteHashes: string[];
+                nullifiers: string[];
+            };
+            setupEnqueuedCalls: {
+                isStaticCall: boolean;
+                calldata: string[];
+                contractAddress?: any;
+                msgSender?: any;
+            }[];
+            appLogicEnqueuedCalls: {
+                isStaticCall: boolean;
+                calldata: string[];
+                contractAddress?: any;
+                msgSender?: any;
+            }[];
+            teardownEnqueuedCall: {
+                isStaticCall: boolean;
+                calldata: string[];
+                contractAddress?: any;
+                msgSender?: any;
+            } | null;
+        };
         contractInstances: {
-            salt: string;
-            currentContractClassId: string;
-            originalContractClassId: string;
-            initializationHash: string;
             publicKeys: {
                 masterNullifierPublicKey: string;
                 masterIncomingViewingPublicKey: string;
                 masterOutgoingViewingPublicKey: string;
                 masterTaggingPublicKey: string;
             };
+            salt: string;
+            currentContractClassId: string;
+            originalContractClassId: string;
+            initializationHash: string;
             address?: any;
             deployer?: any;
         }[];
@@ -2708,19 +2992,15 @@ export declare class AvmExecutionHints {
         getPreviousValueIndexHints: {
             value: string;
             index: string | number | bigint;
+            alreadyPresent: boolean;
             hintKey: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
             treeId: number;
-            alreadyPresent: boolean;
         }[];
         getLeafPreimageHintsPublicDataTree: {
             index: string | number | bigint;
-            hintKey: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
             leafPreimage: {
                 leaf: {
                     nullifier: string;
@@ -2735,13 +3015,13 @@ export declare class AvmExecutionHints {
                 nextKey: string;
                 nextIndex: string | number | bigint;
             };
-        }[];
-        getLeafPreimageHintsNullifierTree: {
-            index: string | number | bigint;
             hintKey: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
+        }[];
+        getLeafPreimageHintsNullifierTree: {
+            index: string | number | bigint;
             leafPreimage: {
                 leaf: {
                     nullifier: string;
@@ -2756,6 +3036,10 @@ export declare class AvmExecutionHints {
                 nextKey: string;
                 nextIndex: string | number | bigint;
             };
+            hintKey: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
         }[];
         getLeafValueHints: {
             value: string;
@@ -2873,23 +3157,45 @@ export declare class AvmExecutionHints {
             };
         }[];
     }>, AvmExecutionHints, {
-        enqueuedCalls: {
-            isStaticCall: boolean;
-            calldata: string[];
-            contractAddress?: any;
-            msgSender?: any;
-        }[];
+        tx: {
+            nonRevertibleAccumulatedData: {
+                noteHashes: string[];
+                nullifiers: string[];
+            };
+            revertibleAccumulatedData: {
+                noteHashes: string[];
+                nullifiers: string[];
+            };
+            setupEnqueuedCalls: {
+                isStaticCall: boolean;
+                calldata: string[];
+                contractAddress?: any;
+                msgSender?: any;
+            }[];
+            appLogicEnqueuedCalls: {
+                isStaticCall: boolean;
+                calldata: string[];
+                contractAddress?: any;
+                msgSender?: any;
+            }[];
+            teardownEnqueuedCall: {
+                isStaticCall: boolean;
+                calldata: string[];
+                contractAddress?: any;
+                msgSender?: any;
+            } | null;
+        };
         contractInstances: {
-            salt: string;
-            currentContractClassId: string;
-            originalContractClassId: string;
-            initializationHash: string;
             publicKeys: {
                 masterNullifierPublicKey: string;
                 masterIncomingViewingPublicKey: string;
                 masterOutgoingViewingPublicKey: string;
                 masterTaggingPublicKey: string;
             };
+            salt: string;
+            currentContractClassId: string;
+            originalContractClassId: string;
+            initializationHash: string;
             address?: any;
             deployer?: any;
         }[];
@@ -2918,19 +3224,15 @@ export declare class AvmExecutionHints {
         getPreviousValueIndexHints: {
             value: string;
             index: string | number | bigint;
+            alreadyPresent: boolean;
             hintKey: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
             treeId: number;
-            alreadyPresent: boolean;
         }[];
         getLeafPreimageHintsPublicDataTree: {
             index: string | number | bigint;
-            hintKey: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
             leafPreimage: {
                 leaf: {
                     nullifier: string;
@@ -2945,13 +3247,13 @@ export declare class AvmExecutionHints {
                 nextKey: string;
                 nextIndex: string | number | bigint;
             };
-        }[];
-        getLeafPreimageHintsNullifierTree: {
-            index: string | number | bigint;
             hintKey: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
+        }[];
+        getLeafPreimageHintsNullifierTree: {
+            index: string | number | bigint;
             leafPreimage: {
                 leaf: {
                     nullifier: string;
@@ -2966,6 +3268,10 @@ export declare class AvmExecutionHints {
                 nextKey: string;
                 nextIndex: string | number | bigint;
             };
+            hintKey: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
         }[];
         getLeafValueHints: {
             value: string;
@@ -3096,27 +3402,130 @@ export declare class AvmCircuitInputs {
         functionName: z.ZodString;
         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;
+            tx: z.ZodObject<{
+                nonRevertibleAccumulatedData: z.ZodObject<{
+                    noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                    nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                }, "strip", z.ZodTypeAny, {
+                    noteHashes: Fr[];
+                    nullifiers: Fr[];
+                }, {
+                    noteHashes: string[];
+                    nullifiers: string[];
+                }>;
+                revertibleAccumulatedData: z.ZodObject<{
+                    noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                    nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                }, "strip", z.ZodTypeAny, {
+                    noteHashes: Fr[];
+                    nullifiers: Fr[];
+                }, {
+                    noteHashes: string[];
+                    nullifiers: string[];
+                }>;
+                setupEnqueuedCalls: 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">;
+                appLogicEnqueuedCalls: 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">;
+                teardownEnqueuedCall: z.ZodNullable<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;
+                }>>;
             }, "strip", z.ZodTypeAny, {
-                contractAddress: AztecAddress;
-                msgSender: AztecAddress;
-                isStaticCall: boolean;
-                calldata: Fr[];
+                nonRevertibleAccumulatedData: {
+                    noteHashes: Fr[];
+                    nullifiers: Fr[];
+                };
+                revertibleAccumulatedData: {
+                    noteHashes: Fr[];
+                    nullifiers: Fr[];
+                };
+                setupEnqueuedCalls: AvmEnqueuedCallHint[];
+                appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
+                teardownEnqueuedCall: AvmEnqueuedCallHint | null;
             }, {
-                isStaticCall: boolean;
-                calldata: string[];
-                contractAddress?: any;
-                msgSender?: any;
-            }>, AvmEnqueuedCallHint, {
-                isStaticCall: boolean;
-                calldata: string[];
-                contractAddress?: any;
-                msgSender?: any;
-            }>, "many">;
+                nonRevertibleAccumulatedData: {
+                    noteHashes: string[];
+                    nullifiers: string[];
+                };
+                revertibleAccumulatedData: {
+                    noteHashes: string[];
+                    nullifiers: string[];
+                };
+                setupEnqueuedCalls: {
+                    isStaticCall: boolean;
+                    calldata: string[];
+                    contractAddress?: any;
+                    msgSender?: any;
+                }[];
+                appLogicEnqueuedCalls: {
+                    isStaticCall: boolean;
+                    calldata: string[];
+                    contractAddress?: any;
+                    msgSender?: any;
+                }[];
+                teardownEnqueuedCall: {
+                    isStaticCall: boolean;
+                    calldata: string[];
+                    contractAddress?: any;
+                    msgSender?: any;
+                } | null;
+            }>;
             contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 address: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
                 salt: z.ZodType<Fr, any, string>;
@@ -3147,36 +3556,36 @@ export declare class AvmCircuitInputs {
                 }>;
             }, "strip", z.ZodTypeAny, {
                 address: AztecAddress;
+                publicKeys: PublicKeys;
                 salt: Fr;
                 deployer: AztecAddress;
                 currentContractClassId: Fr;
                 originalContractClassId: Fr;
                 initializationHash: Fr;
-                publicKeys: PublicKeys;
             }, {
-                salt: string;
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
                 publicKeys: {
                     masterNullifierPublicKey: string;
                     masterIncomingViewingPublicKey: string;
                     masterOutgoingViewingPublicKey: string;
                     masterTaggingPublicKey: string;
                 };
-                address?: any;
-                deployer?: any;
-            }>, AvmContractInstanceHint, {
                 salt: string;
                 currentContractClassId: string;
                 originalContractClassId: string;
                 initializationHash: string;
+                address?: any;
+                deployer?: any;
+            }>, AvmContractInstanceHint, {
                 publicKeys: {
                     masterNullifierPublicKey: string;
                     masterIncomingViewingPublicKey: string;
                     masterOutgoingViewingPublicKey: string;
                     masterTaggingPublicKey: string;
                 };
+                salt: string;
+                currentContractClassId: string;
+                originalContractClassId: string;
+                initializationHash: string;
                 address?: any;
                 deployer?: any;
             }>, "many">;
@@ -3292,27 +3701,27 @@ export declare class AvmCircuitInputs {
             }, "strip", z.ZodTypeAny, {
                 value: Fr;
                 index: bigint;
+                alreadyPresent: boolean;
                 hintKey: AppendOnlyTreeSnapshot;
                 treeId: number;
-                alreadyPresent: boolean;
             }, {
                 value: string;
                 index: string | number | bigint;
+                alreadyPresent: boolean;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 treeId: number;
-                alreadyPresent: boolean;
             }>, AvmGetPreviousValueIndexHint, {
                 value: string;
                 index: string | number | bigint;
+                alreadyPresent: boolean;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 treeId: number;
-                alreadyPresent: boolean;
             }>, "many">;
             getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 hintKey: z.ZodEffects<z.ZodObject<{
@@ -3394,14 +3803,10 @@ export declare class AvmCircuitInputs {
                 }>;
             }, "strip", z.ZodTypeAny, {
                 index: bigint;
-                hintKey: AppendOnlyTreeSnapshot;
                 leafPreimage: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+                hintKey: AppendOnlyTreeSnapshot;
             }, {
                 index: string | number | bigint;
-                hintKey: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
                 leafPreimage: {
                     leaf: {
                         nullifier: string;
@@ -3416,16 +3821,16 @@ export declare class AvmCircuitInputs {
                     nextKey: string;
                     nextIndex: string | number | bigint;
                 };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
             }>, {
                 readonly hintKey: AppendOnlyTreeSnapshot;
                 readonly index: bigint;
                 readonly leafPreimage: IndexedTreeLeafPreimages;
             }, {
                 index: string | number | bigint;
-                hintKey: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
                 leafPreimage: {
                     leaf: {
                         nullifier: string;
@@ -3440,6 +3845,10 @@ export declare class AvmCircuitInputs {
                     nextKey: string;
                     nextIndex: string | number | bigint;
                 };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
             }>, "many">;
             getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 hintKey: z.ZodEffects<z.ZodObject<{
@@ -3521,14 +3930,10 @@ export declare class AvmCircuitInputs {
                 }>;
             }, "strip", z.ZodTypeAny, {
                 index: bigint;
-                hintKey: AppendOnlyTreeSnapshot;
                 leafPreimage: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+                hintKey: AppendOnlyTreeSnapshot;
             }, {
                 index: string | number | bigint;
-                hintKey: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
                 leafPreimage: {
                     leaf: {
                         nullifier: string;
@@ -3543,16 +3948,16 @@ export declare class AvmCircuitInputs {
                     nextKey: string;
                     nextIndex: string | number | bigint;
                 };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
             }>, {
                 readonly hintKey: AppendOnlyTreeSnapshot;
                 readonly index: bigint;
                 readonly leafPreimage: IndexedTreeLeafPreimages;
             }, {
                 index: string | number | bigint;
-                hintKey: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
                 leafPreimage: {
                     leaf: {
                         nullifier: string;
@@ -3567,6 +3972,10 @@ export declare class AvmCircuitInputs {
                     nextKey: string;
                     nextIndex: string | number | bigint;
                 };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
             }>, "many">;
             getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 hintKey: z.ZodEffects<z.ZodObject<{
@@ -4328,7 +4737,19 @@ export declare class AvmCircuitInputs {
                 };
             }>, "many">;
         }, "strip", z.ZodTypeAny, {
-            enqueuedCalls: AvmEnqueuedCallHint[];
+            tx: {
+                nonRevertibleAccumulatedData: {
+                    noteHashes: Fr[];
+                    nullifiers: Fr[];
+                };
+                revertibleAccumulatedData: {
+                    noteHashes: Fr[];
+                    nullifiers: Fr[];
+                };
+                setupEnqueuedCalls: AvmEnqueuedCallHint[];
+                appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
+                teardownEnqueuedCall: AvmEnqueuedCallHint | null;
+            };
             contractInstances: AvmContractInstanceHint[];
             contractClasses: AvmContractClassHint[];
             bytecodeCommitments: AvmBytecodeCommitmentHint[];
@@ -4374,27 +4795,49 @@ export declare class AvmCircuitInputs {
                 readonly insertionWitnessData: {
                     leaf: IndexedTreeLeafPreimages;
                     index: bigint;
-                    path: Fr[];
-                };
-            }[];
-        }, {
-            enqueuedCalls: {
-                isStaticCall: boolean;
-                calldata: string[];
-                contractAddress?: any;
-                msgSender?: any;
+                    path: Fr[];
+                };
             }[];
+        }, {
+            tx: {
+                nonRevertibleAccumulatedData: {
+                    noteHashes: string[];
+                    nullifiers: string[];
+                };
+                revertibleAccumulatedData: {
+                    noteHashes: string[];
+                    nullifiers: string[];
+                };
+                setupEnqueuedCalls: {
+                    isStaticCall: boolean;
+                    calldata: string[];
+                    contractAddress?: any;
+                    msgSender?: any;
+                }[];
+                appLogicEnqueuedCalls: {
+                    isStaticCall: boolean;
+                    calldata: string[];
+                    contractAddress?: any;
+                    msgSender?: any;
+                }[];
+                teardownEnqueuedCall: {
+                    isStaticCall: boolean;
+                    calldata: string[];
+                    contractAddress?: any;
+                    msgSender?: any;
+                } | null;
+            };
             contractInstances: {
-                salt: string;
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
                 publicKeys: {
                     masterNullifierPublicKey: string;
                     masterIncomingViewingPublicKey: string;
                     masterOutgoingViewingPublicKey: string;
                     masterTaggingPublicKey: string;
                 };
+                salt: string;
+                currentContractClassId: string;
+                originalContractClassId: string;
+                initializationHash: string;
                 address?: any;
                 deployer?: any;
             }[];
@@ -4423,19 +4866,15 @@ export declare class AvmCircuitInputs {
             getPreviousValueIndexHints: {
                 value: string;
                 index: string | number | bigint;
+                alreadyPresent: boolean;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 treeId: number;
-                alreadyPresent: boolean;
             }[];
             getLeafPreimageHintsPublicDataTree: {
                 index: string | number | bigint;
-                hintKey: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
                 leafPreimage: {
                     leaf: {
                         nullifier: string;
@@ -4450,13 +4889,13 @@ export declare class AvmCircuitInputs {
                     nextKey: string;
                     nextIndex: string | number | bigint;
                 };
-            }[];
-            getLeafPreimageHintsNullifierTree: {
-                index: string | number | bigint;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
+            }[];
+            getLeafPreimageHintsNullifierTree: {
+                index: string | number | bigint;
                 leafPreimage: {
                     leaf: {
                         nullifier: string;
@@ -4471,6 +4910,10 @@ export declare class AvmCircuitInputs {
                     nextKey: string;
                     nextIndex: string | number | bigint;
                 };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
             }[];
             getLeafValueHints: {
                 value: string;
@@ -4588,23 +5031,45 @@ export declare class AvmCircuitInputs {
                 };
             }[];
         }>, AvmExecutionHints, {
-            enqueuedCalls: {
-                isStaticCall: boolean;
-                calldata: string[];
-                contractAddress?: any;
-                msgSender?: any;
-            }[];
+            tx: {
+                nonRevertibleAccumulatedData: {
+                    noteHashes: string[];
+                    nullifiers: string[];
+                };
+                revertibleAccumulatedData: {
+                    noteHashes: string[];
+                    nullifiers: string[];
+                };
+                setupEnqueuedCalls: {
+                    isStaticCall: boolean;
+                    calldata: string[];
+                    contractAddress?: any;
+                    msgSender?: any;
+                }[];
+                appLogicEnqueuedCalls: {
+                    isStaticCall: boolean;
+                    calldata: string[];
+                    contractAddress?: any;
+                    msgSender?: any;
+                }[];
+                teardownEnqueuedCall: {
+                    isStaticCall: boolean;
+                    calldata: string[];
+                    contractAddress?: any;
+                    msgSender?: any;
+                } | null;
+            };
             contractInstances: {
-                salt: string;
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
                 publicKeys: {
                     masterNullifierPublicKey: string;
                     masterIncomingViewingPublicKey: string;
                     masterOutgoingViewingPublicKey: string;
                     masterTaggingPublicKey: string;
                 };
+                salt: string;
+                currentContractClassId: string;
+                originalContractClassId: string;
+                initializationHash: string;
                 address?: any;
                 deployer?: any;
             }[];
@@ -4633,19 +5098,15 @@ export declare class AvmCircuitInputs {
             getPreviousValueIndexHints: {
                 value: string;
                 index: string | number | bigint;
+                alreadyPresent: boolean;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 treeId: number;
-                alreadyPresent: boolean;
             }[];
             getLeafPreimageHintsPublicDataTree: {
                 index: string | number | bigint;
-                hintKey: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
                 leafPreimage: {
                     leaf: {
                         nullifier: string;
@@ -4660,13 +5121,13 @@ export declare class AvmCircuitInputs {
                     nextKey: string;
                     nextIndex: string | number | bigint;
                 };
-            }[];
-            getLeafPreimageHintsNullifierTree: {
-                index: string | number | bigint;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
+            }[];
+            getLeafPreimageHintsNullifierTree: {
+                index: string | number | bigint;
                 leafPreimage: {
                     leaf: {
                         nullifier: string;
@@ -4681,6 +5142,10 @@ export declare class AvmCircuitInputs {
                     nextKey: string;
                     nextIndex: string | number | bigint;
                 };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
             }[];
             getLeafValueHints: {
                 value: string;
@@ -4908,15 +5373,11 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
             }, "strip", z.ZodTypeAny, {
-                l1ToL2MessageTree: AppendOnlyTreeSnapshot;
                 noteHashTree: AppendOnlyTreeSnapshot;
                 nullifierTree: AppendOnlyTreeSnapshot;
                 publicDataTree: AppendOnlyTreeSnapshot;
+                l1ToL2MessageTree: AppendOnlyTreeSnapshot;
             }, {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
                 noteHashTree: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
@@ -4929,11 +5390,11 @@ export declare class AvmCircuitInputs {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
-            }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
                 l1ToL2MessageTree: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
+            }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
                 noteHashTree: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
@@ -4946,6 +5407,10 @@ export declare class AvmCircuitInputs {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
             }>;
             startGasUsed: z.ZodEffects<z.ZodObject<{
                 daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
@@ -5339,15 +5804,11 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
             }, "strip", z.ZodTypeAny, {
-                l1ToL2MessageTree: AppendOnlyTreeSnapshot;
                 noteHashTree: AppendOnlyTreeSnapshot;
                 nullifierTree: AppendOnlyTreeSnapshot;
                 publicDataTree: AppendOnlyTreeSnapshot;
+                l1ToL2MessageTree: AppendOnlyTreeSnapshot;
             }, {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
                 noteHashTree: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
@@ -5360,11 +5821,11 @@ export declare class AvmCircuitInputs {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
-            }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
                 l1ToL2MessageTree: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
+            }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
                 noteHashTree: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
@@ -5377,6 +5838,10 @@ export declare class AvmCircuitInputs {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
             }>;
             endGasUsed: z.ZodEffects<z.ZodObject<{
                 daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
@@ -5430,28 +5895,176 @@ export declare class AvmCircuitInputs {
                         content: string;
                     };
                     contractAddress?: any;
-                }>, "many">;
-                publicLogs: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("../logs/public_log.js").PublicLog>, "many">;
-                publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                    leafSlot: z.ZodType<Fr, any, string>;
-                    value: z.ZodType<Fr, any, string>;
-                }, "strip", z.ZodTypeAny, {
-                    value: Fr;
-                    leafSlot: Fr;
-                }, {
-                    value: string;
-                    leafSlot: string;
-                }>, import("./public_data_write.js").PublicDataWrite, {
-                    value: string;
-                    leafSlot: string;
-                }>, "many">;
-            }, "strip", z.ZodTypeAny, {
-                noteHashes: Fr[];
-                nullifiers: Fr[];
-                l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
-                publicLogs: import("../logs/public_log.js").PublicLog[];
-                publicDataWrites: import("./public_data_write.js").PublicDataWrite[];
-            }, {
+                }>, "many">;
+                publicLogs: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("../logs/public_log.js").PublicLog>, "many">;
+                publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                    leafSlot: z.ZodType<Fr, any, string>;
+                    value: z.ZodType<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    value: Fr;
+                    leafSlot: Fr;
+                }, {
+                    value: string;
+                    leafSlot: string;
+                }>, import("./public_data_write.js").PublicDataWrite, {
+                    value: string;
+                    leafSlot: string;
+                }>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                noteHashes: Fr[];
+                nullifiers: Fr[];
+                l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
+                publicLogs: import("../logs/public_log.js").PublicLog[];
+                publicDataWrites: import("./public_data_write.js").PublicDataWrite[];
+            }, {
+                noteHashes: string[];
+                nullifiers: string[];
+                l2ToL1Msgs: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
+                publicLogs: any[];
+                publicDataWrites: {
+                    value: string;
+                    leafSlot: string;
+                }[];
+            }>, import("./avm_accumulated_data.js").AvmAccumulatedData, {
+                noteHashes: string[];
+                nullifiers: string[];
+                l2ToL1Msgs: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
+                publicLogs: any[];
+                publicDataWrites: {
+                    value: string;
+                    leafSlot: string;
+                }[];
+            }>;
+            transactionFee: z.ZodType<Fr, any, string>;
+            reverted: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            globalVariables: import("../tx/global_variables.js").GlobalVariables;
+            gasSettings: import("../gas/gas_settings.js").GasSettings;
+            publicTeardownCallRequest: import("../kernel/public_call_request.js").PublicCallRequest;
+            transactionFee: Fr;
+            feePayer: AztecAddress;
+            startTreeSnapshots: import("../tx/tree_snapshots.js").TreeSnapshots;
+            startGasUsed: import("../gas/gas.js").Gas;
+            publicSetupCallRequests: import("../kernel/public_call_request.js").PublicCallRequest[];
+            publicAppLogicCallRequests: import("../kernel/public_call_request.js").PublicCallRequest[];
+            previousNonRevertibleAccumulatedDataArrayLengths: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths;
+            previousRevertibleAccumulatedDataArrayLengths: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths;
+            previousNonRevertibleAccumulatedData: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData;
+            previousRevertibleAccumulatedData: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData;
+            endTreeSnapshots: import("../tx/tree_snapshots.js").TreeSnapshots;
+            endGasUsed: import("../gas/gas.js").Gas;
+            accumulatedData: import("./avm_accumulated_data.js").AvmAccumulatedData;
+            reverted: boolean;
+        }, {
+            globalVariables: {
+                gasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+                chainId?: any;
+                version?: any;
+                blockNumber?: any;
+                slotNumber?: any;
+                timestamp?: any;
+                coinbase?: any;
+                feeRecipient?: any;
+            };
+            gasSettings: {
+                gasLimits: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
+                teardownGasLimits: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
+                maxFeesPerGas: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+                maxPriorityFeesPerGas: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+            };
+            publicTeardownCallRequest: {
+                isStaticCall: boolean;
+                calldataHash: string;
+                contractAddress?: any;
+                msgSender?: any;
+            };
+            transactionFee: string;
+            startTreeSnapshots: {
+                noteHashTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                nullifierTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                publicDataTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+            };
+            startGasUsed: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
+            publicSetupCallRequests: {
+                isStaticCall: boolean;
+                calldataHash: string;
+                contractAddress?: any;
+                msgSender?: any;
+            }[];
+            publicAppLogicCallRequests: {
+                isStaticCall: boolean;
+                calldataHash: string;
+                contractAddress?: any;
+                msgSender?: any;
+            }[];
+            previousNonRevertibleAccumulatedDataArrayLengths: {
+                noteHashes: string | number | bigint;
+                nullifiers: string | number | bigint;
+                l2ToL1Msgs: string | number | bigint;
+            };
+            previousRevertibleAccumulatedDataArrayLengths: {
+                noteHashes: string | number | bigint;
+                nullifiers: string | number | bigint;
+                l2ToL1Msgs: string | number | bigint;
+            };
+            previousNonRevertibleAccumulatedData: {
+                noteHashes: string[];
+                nullifiers: string[];
+                l2ToL1Msgs: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
+            };
+            previousRevertibleAccumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
                 l2ToL1Msgs: {
@@ -5462,12 +6075,30 @@ export declare class AvmCircuitInputs {
                     };
                     contractAddress?: any;
                 }[];
-                publicLogs: any[];
-                publicDataWrites: {
-                    value: string;
-                    leafSlot: string;
-                }[];
-            }>, import("./avm_accumulated_data.js").AvmAccumulatedData, {
+            };
+            endTreeSnapshots: {
+                noteHashTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                nullifierTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                publicDataTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+            };
+            endGasUsed: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
+            accumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
                 l2ToL1Msgs: {
@@ -5483,28 +6114,10 @@ export declare class AvmCircuitInputs {
                     value: string;
                     leafSlot: string;
                 }[];
-            }>;
-            transactionFee: z.ZodType<Fr, any, string>;
-            reverted: z.ZodBoolean;
-        }, "strip", z.ZodTypeAny, {
-            globalVariables: import("../tx/global_variables.js").GlobalVariables;
-            startTreeSnapshots: import("../tx/tree_snapshots.js").TreeSnapshots;
-            startGasUsed: import("../gas/gas.js").Gas;
-            gasSettings: import("../gas/gas_settings.js").GasSettings;
-            feePayer: AztecAddress;
-            publicSetupCallRequests: import("../kernel/public_call_request.js").PublicCallRequest[];
-            publicAppLogicCallRequests: import("../kernel/public_call_request.js").PublicCallRequest[];
-            publicTeardownCallRequest: import("../kernel/public_call_request.js").PublicCallRequest;
-            previousNonRevertibleAccumulatedDataArrayLengths: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths;
-            previousRevertibleAccumulatedDataArrayLengths: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths;
-            previousNonRevertibleAccumulatedData: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData;
-            previousRevertibleAccumulatedData: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData;
-            endTreeSnapshots: import("../tx/tree_snapshots.js").TreeSnapshots;
-            endGasUsed: import("../gas/gas.js").Gas;
-            accumulatedData: import("./avm_accumulated_data.js").AvmAccumulatedData;
-            transactionFee: Fr;
+            };
             reverted: boolean;
-        }, {
+            feePayer?: any;
+        }>, AvmCircuitPublicInputs, {
             globalVariables: {
                 gasFees: {
                     feePerDaGas: string;
@@ -5518,28 +6131,6 @@ export declare class AvmCircuitInputs {
                 coinbase?: any;
                 feeRecipient?: any;
             };
-            startTreeSnapshots: {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                noteHashTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                nullifierTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                publicDataTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-            };
-            startGasUsed: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
             gasSettings: {
                 gasLimits: {
                     daGas: string | number | bigint;
@@ -5558,24 +6149,47 @@ export declare class AvmCircuitInputs {
                     feePerL2Gas: string;
                 };
             };
-            publicSetupCallRequests: {
+            publicTeardownCallRequest: {
                 isStaticCall: boolean;
                 calldataHash: string;
                 contractAddress?: any;
                 msgSender?: any;
-            }[];
-            publicAppLogicCallRequests: {
+            };
+            transactionFee: string;
+            startTreeSnapshots: {
+                noteHashTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                nullifierTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                publicDataTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+            };
+            startGasUsed: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
+            publicSetupCallRequests: {
                 isStaticCall: boolean;
                 calldataHash: string;
                 contractAddress?: any;
                 msgSender?: any;
             }[];
-            publicTeardownCallRequest: {
+            publicAppLogicCallRequests: {
                 isStaticCall: boolean;
                 calldataHash: string;
                 contractAddress?: any;
                 msgSender?: any;
-            };
+            }[];
             previousNonRevertibleAccumulatedDataArrayLengths: {
                 noteHashes: string | number | bigint;
                 nullifiers: string | number | bigint;
@@ -5611,10 +6225,6 @@ export declare class AvmCircuitInputs {
                 }[];
             };
             endTreeSnapshots: {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
                 noteHashTree: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
@@ -5627,6 +6237,10 @@ export declare class AvmCircuitInputs {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
             };
             endGasUsed: {
                 daGas: string | number | bigint;
@@ -5649,10 +6263,16 @@ export declare class AvmCircuitInputs {
                     leafSlot: string;
                 }[];
             };
-            transactionFee: string;
             reverted: boolean;
             feePayer?: any;
-        }>, AvmCircuitPublicInputs, {
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        publicInputs: AvmCircuitPublicInputs;
+        calldata: Fr[];
+        functionName: string;
+        hints: AvmExecutionHints;
+    }, {
+        publicInputs: {
             globalVariables: {
                 gasFees: {
                     feePerDaGas: string;
@@ -5666,28 +6286,6 @@ export declare class AvmCircuitInputs {
                 coinbase?: any;
                 feeRecipient?: any;
             };
-            startTreeSnapshots: {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                noteHashTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                nullifierTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                publicDataTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-            };
-            startGasUsed: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
             gasSettings: {
                 gasLimits: {
                     daGas: string | number | bigint;
@@ -5706,24 +6304,47 @@ export declare class AvmCircuitInputs {
                     feePerL2Gas: string;
                 };
             };
-            publicSetupCallRequests: {
+            publicTeardownCallRequest: {
                 isStaticCall: boolean;
                 calldataHash: string;
                 contractAddress?: any;
                 msgSender?: any;
-            }[];
-            publicAppLogicCallRequests: {
+            };
+            transactionFee: string;
+            startTreeSnapshots: {
+                noteHashTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                nullifierTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                publicDataTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+            };
+            startGasUsed: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
+            publicSetupCallRequests: {
                 isStaticCall: boolean;
                 calldataHash: string;
                 contractAddress?: any;
                 msgSender?: any;
             }[];
-            publicTeardownCallRequest: {
+            publicAppLogicCallRequests: {
                 isStaticCall: boolean;
                 calldataHash: string;
                 contractAddress?: any;
                 msgSender?: any;
-            };
+            }[];
             previousNonRevertibleAccumulatedDataArrayLengths: {
                 noteHashes: string | number | bigint;
                 nullifiers: string | number | bigint;
@@ -5759,10 +6380,6 @@ export declare class AvmCircuitInputs {
                 }[];
             };
             endTreeSnapshots: {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
                 noteHashTree: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
@@ -5775,6 +6392,10 @@ export declare class AvmCircuitInputs {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
             };
             endGasUsed: {
                 daGas: string | number | bigint;
@@ -5797,36 +6418,51 @@ export declare class AvmCircuitInputs {
                     leafSlot: string;
                 }[];
             };
-            transactionFee: string;
             reverted: boolean;
             feePayer?: any;
-        }>;
-    }, "strip", z.ZodTypeAny, {
-        calldata: Fr[];
-        functionName: string;
-        hints: AvmExecutionHints;
-        publicInputs: AvmCircuitPublicInputs;
-    }, {
+        };
         calldata: string[];
         functionName: string;
         hints: {
-            enqueuedCalls: {
-                isStaticCall: boolean;
-                calldata: string[];
-                contractAddress?: any;
-                msgSender?: any;
-            }[];
+            tx: {
+                nonRevertibleAccumulatedData: {
+                    noteHashes: string[];
+                    nullifiers: string[];
+                };
+                revertibleAccumulatedData: {
+                    noteHashes: string[];
+                    nullifiers: string[];
+                };
+                setupEnqueuedCalls: {
+                    isStaticCall: boolean;
+                    calldata: string[];
+                    contractAddress?: any;
+                    msgSender?: any;
+                }[];
+                appLogicEnqueuedCalls: {
+                    isStaticCall: boolean;
+                    calldata: string[];
+                    contractAddress?: any;
+                    msgSender?: any;
+                }[];
+                teardownEnqueuedCall: {
+                    isStaticCall: boolean;
+                    calldata: string[];
+                    contractAddress?: any;
+                    msgSender?: any;
+                } | null;
+            };
             contractInstances: {
-                salt: string;
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
                 publicKeys: {
                     masterNullifierPublicKey: string;
                     masterIncomingViewingPublicKey: string;
                     masterOutgoingViewingPublicKey: string;
                     masterTaggingPublicKey: string;
                 };
+                salt: string;
+                currentContractClassId: string;
+                originalContractClassId: string;
+                initializationHash: string;
                 address?: any;
                 deployer?: any;
             }[];
@@ -5855,19 +6491,15 @@ export declare class AvmCircuitInputs {
             getPreviousValueIndexHints: {
                 value: string;
                 index: string | number | bigint;
+                alreadyPresent: boolean;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 treeId: number;
-                alreadyPresent: boolean;
             }[];
             getLeafPreimageHintsPublicDataTree: {
                 index: string | number | bigint;
-                hintKey: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
                 leafPreimage: {
                     leaf: {
                         nullifier: string;
@@ -5882,13 +6514,13 @@ export declare class AvmCircuitInputs {
                     nextKey: string;
                     nextIndex: string | number | bigint;
                 };
-            }[];
-            getLeafPreimageHintsNullifierTree: {
-                index: string | number | bigint;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
+            }[];
+            getLeafPreimageHintsNullifierTree: {
+                index: string | number | bigint;
                 leafPreimage: {
                     leaf: {
                         nullifier: string;
@@ -5903,6 +6535,10 @@ export declare class AvmCircuitInputs {
                     nextKey: string;
                     nextIndex: string | number | bigint;
                 };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
             }[];
             getLeafValueHints: {
                 value: string;
@@ -6020,6 +6656,7 @@ export declare class AvmCircuitInputs {
                 };
             }[];
         };
+    }>, AvmCircuitInputs, {
         publicInputs: {
             globalVariables: {
                 gasFees: {
@@ -6034,28 +6671,6 @@ export declare class AvmCircuitInputs {
                 coinbase?: any;
                 feeRecipient?: any;
             };
-            startTreeSnapshots: {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                noteHashTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                nullifierTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                publicDataTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-            };
-            startGasUsed: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
             gasSettings: {
                 gasLimits: {
                     daGas: string | number | bigint;
@@ -6074,24 +6689,47 @@ export declare class AvmCircuitInputs {
                     feePerL2Gas: string;
                 };
             };
-            publicSetupCallRequests: {
+            publicTeardownCallRequest: {
                 isStaticCall: boolean;
                 calldataHash: string;
                 contractAddress?: any;
                 msgSender?: any;
-            }[];
-            publicAppLogicCallRequests: {
+            };
+            transactionFee: string;
+            startTreeSnapshots: {
+                noteHashTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                nullifierTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                publicDataTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+            };
+            startGasUsed: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
+            publicSetupCallRequests: {
                 isStaticCall: boolean;
                 calldataHash: string;
                 contractAddress?: any;
                 msgSender?: any;
             }[];
-            publicTeardownCallRequest: {
+            publicAppLogicCallRequests: {
                 isStaticCall: boolean;
                 calldataHash: string;
                 contractAddress?: any;
                 msgSender?: any;
-            };
+            }[];
             previousNonRevertibleAccumulatedDataArrayLengths: {
                 noteHashes: string | number | bigint;
                 nullifiers: string | number | bigint;
@@ -6127,10 +6765,6 @@ export declare class AvmCircuitInputs {
                 }[];
             };
             endTreeSnapshots: {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
                 noteHashTree: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
@@ -6143,6 +6777,10 @@ export declare class AvmCircuitInputs {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
             };
             endGasUsed: {
                 daGas: string | number | bigint;
@@ -6165,31 +6803,51 @@ export declare class AvmCircuitInputs {
                     leafSlot: string;
                 }[];
             };
-            transactionFee: string;
             reverted: boolean;
             feePayer?: any;
         };
-    }>, AvmCircuitInputs, {
         calldata: string[];
         functionName: string;
         hints: {
-            enqueuedCalls: {
-                isStaticCall: boolean;
-                calldata: string[];
-                contractAddress?: any;
-                msgSender?: any;
-            }[];
+            tx: {
+                nonRevertibleAccumulatedData: {
+                    noteHashes: string[];
+                    nullifiers: string[];
+                };
+                revertibleAccumulatedData: {
+                    noteHashes: string[];
+                    nullifiers: string[];
+                };
+                setupEnqueuedCalls: {
+                    isStaticCall: boolean;
+                    calldata: string[];
+                    contractAddress?: any;
+                    msgSender?: any;
+                }[];
+                appLogicEnqueuedCalls: {
+                    isStaticCall: boolean;
+                    calldata: string[];
+                    contractAddress?: any;
+                    msgSender?: any;
+                }[];
+                teardownEnqueuedCall: {
+                    isStaticCall: boolean;
+                    calldata: string[];
+                    contractAddress?: any;
+                    msgSender?: any;
+                } | null;
+            };
             contractInstances: {
-                salt: string;
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
                 publicKeys: {
                     masterNullifierPublicKey: string;
                     masterIncomingViewingPublicKey: string;
                     masterOutgoingViewingPublicKey: string;
                     masterTaggingPublicKey: string;
                 };
+                salt: string;
+                currentContractClassId: string;
+                originalContractClassId: string;
+                initializationHash: string;
                 address?: any;
                 deployer?: any;
             }[];
@@ -6218,19 +6876,15 @@ export declare class AvmCircuitInputs {
             getPreviousValueIndexHints: {
                 value: string;
                 index: string | number | bigint;
+                alreadyPresent: boolean;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 treeId: number;
-                alreadyPresent: boolean;
             }[];
             getLeafPreimageHintsPublicDataTree: {
                 index: string | number | bigint;
-                hintKey: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
                 leafPreimage: {
                     leaf: {
                         nullifier: string;
@@ -6245,13 +6899,13 @@ export declare class AvmCircuitInputs {
                     nextKey: string;
                     nextIndex: string | number | bigint;
                 };
-            }[];
-            getLeafPreimageHintsNullifierTree: {
-                index: string | number | bigint;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
+            }[];
+            getLeafPreimageHintsNullifierTree: {
+                index: string | number | bigint;
                 leafPreimage: {
                     leaf: {
                         nullifier: string;
@@ -6266,6 +6920,10 @@ export declare class AvmCircuitInputs {
                     nextKey: string;
                     nextIndex: string | number | bigint;
                 };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
             }[];
             getLeafValueHints: {
                 value: string;
@@ -6383,155 +7041,6 @@ export declare class AvmCircuitInputs {
                 };
             }[];
         };
-        publicInputs: {
-            globalVariables: {
-                gasFees: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-                chainId?: any;
-                version?: any;
-                blockNumber?: any;
-                slotNumber?: any;
-                timestamp?: any;
-                coinbase?: any;
-                feeRecipient?: any;
-            };
-            startTreeSnapshots: {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                noteHashTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                nullifierTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                publicDataTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-            };
-            startGasUsed: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            gasSettings: {
-                gasLimits: {
-                    daGas: string | number | bigint;
-                    l2Gas: string | number | bigint;
-                };
-                teardownGasLimits: {
-                    daGas: string | number | bigint;
-                    l2Gas: string | number | bigint;
-                };
-                maxFeesPerGas: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-                maxPriorityFeesPerGas: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-            };
-            publicSetupCallRequests: {
-                isStaticCall: boolean;
-                calldataHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-            }[];
-            publicAppLogicCallRequests: {
-                isStaticCall: boolean;
-                calldataHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-            }[];
-            publicTeardownCallRequest: {
-                isStaticCall: boolean;
-                calldataHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-            };
-            previousNonRevertibleAccumulatedDataArrayLengths: {
-                noteHashes: string | number | bigint;
-                nullifiers: string | number | bigint;
-                l2ToL1Msgs: string | number | bigint;
-            };
-            previousRevertibleAccumulatedDataArrayLengths: {
-                noteHashes: string | number | bigint;
-                nullifiers: string | number | bigint;
-                l2ToL1Msgs: string | number | bigint;
-            };
-            previousNonRevertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-            };
-            previousRevertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-            };
-            endTreeSnapshots: {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                noteHashTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                nullifierTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                publicDataTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-            };
-            endGasUsed: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            accumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-                publicLogs: any[];
-                publicDataWrites: {
-                    value: string;
-                    leafSlot: string;
-                }[];
-            };
-            transactionFee: string;
-            reverted: boolean;
-            feePayer?: any;
-        };
     }>;
     serializeWithMessagePack(): Buffer;
     toBuffer(): Buffer;