@aztec/stdlib 0.84.0 → 0.85.0

package/dest/avm/avm.d.ts

@@ -8,7 +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 { GlobalVariables, TreeSnapshots, type Tx } from '../tx/index.js';
 import { AvmCircuitPublicInputs } from './avm_circuit_public_inputs.js';
 export declare class AvmContractClassHint {
     readonly classId: Fr;
@@ -1339,6 +1339,383 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
 };
 export declare class AvmSequentialInsertHintNullifierTree extends AvmSequentialInsertHintNullifierTree_base {
 }
+export declare class AvmAppendLeavesHint {
+    readonly hintKey: AppendOnlyTreeSnapshot;
+    readonly stateAfter: AppendOnlyTreeSnapshot;
+    readonly treeId: MerkleTreeId;
+    readonly leaves: Fr[];
+    constructor(hintKey: AppendOnlyTreeSnapshot, stateAfter: AppendOnlyTreeSnapshot, treeId: MerkleTreeId, leaves: Fr[]);
+    static get schema(): 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;
+        }>;
+        stateAfter: 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;
+        leaves: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        hintKey: AppendOnlyTreeSnapshot;
+        treeId: number;
+        stateAfter: AppendOnlyTreeSnapshot;
+        leaves: Fr[];
+    }, {
+        hintKey: {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        };
+        treeId: number;
+        stateAfter: {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        };
+        leaves: string[];
+    }>, AvmAppendLeavesHint, {
+        hintKey: {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        };
+        treeId: number;
+        stateAfter: {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        };
+        leaves: string[];
+    }>;
+}
+declare class AvmCheckpointActionNoStateChangeHint {
+    readonly actionCounter: number;
+    readonly oldCheckpointId: number;
+    readonly newCheckpointId: number;
+    constructor(actionCounter: number, oldCheckpointId: number, newCheckpointId: number);
+    static get schema(): z.ZodEffects<z.ZodObject<{
+        actionCounter: z.ZodNumber;
+        oldCheckpointId: z.ZodNumber;
+        newCheckpointId: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        actionCounter: number;
+        oldCheckpointId: number;
+        newCheckpointId: number;
+    }, {
+        actionCounter: number;
+        oldCheckpointId: number;
+        newCheckpointId: number;
+    }>, AvmCheckpointActionNoStateChangeHint, {
+        actionCounter: number;
+        oldCheckpointId: number;
+        newCheckpointId: number;
+    }>;
+}
+export declare class AvmCreateCheckpointHint extends AvmCheckpointActionNoStateChangeHint {
+}
+export declare class AvmCommitCheckpointHint extends AvmCheckpointActionNoStateChangeHint {
+}
+export declare class AvmRevertCheckpointHint {
+    readonly actionCounter: number;
+    readonly oldCheckpointId: number;
+    readonly newCheckpointId: number;
+    readonly stateBefore: TreeSnapshots;
+    readonly stateAfter: TreeSnapshots;
+    constructor(actionCounter: number, oldCheckpointId: number, newCheckpointId: number, stateBefore: TreeSnapshots, stateAfter: TreeSnapshots);
+    static create(actionCounter: number, oldCheckpointId: number, newCheckpointId: number, stateBefore: Record<MerkleTreeId, AppendOnlyTreeSnapshot>, stateAfter: Record<MerkleTreeId, AppendOnlyTreeSnapshot>): AvmRevertCheckpointHint;
+    static get schema(): z.ZodEffects<z.ZodObject<{
+        actionCounter: z.ZodNumber;
+        oldCheckpointId: z.ZodNumber;
+        newCheckpointId: z.ZodNumber;
+        stateBefore: z.ZodEffects<z.ZodObject<{
+            l1ToL2MessageTree: 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;
+            }>;
+            noteHashTree: 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;
+            }>;
+            nullifierTree: 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;
+            }>;
+            publicDataTree: 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;
+            }>;
+        }, "strip", z.ZodTypeAny, {
+            noteHashTree: AppendOnlyTreeSnapshot;
+            nullifierTree: AppendOnlyTreeSnapshot;
+            publicDataTree: AppendOnlyTreeSnapshot;
+            l1ToL2MessageTree: AppendOnlyTreeSnapshot;
+        }, {
+            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;
+            };
+        }>, TreeSnapshots, {
+            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;
+            };
+        }>;
+        stateAfter: z.ZodEffects<z.ZodObject<{
+            l1ToL2MessageTree: 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;
+            }>;
+            noteHashTree: 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;
+            }>;
+            nullifierTree: 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;
+            }>;
+            publicDataTree: 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;
+            }>;
+        }, "strip", z.ZodTypeAny, {
+            noteHashTree: AppendOnlyTreeSnapshot;
+            nullifierTree: AppendOnlyTreeSnapshot;
+            publicDataTree: AppendOnlyTreeSnapshot;
+            l1ToL2MessageTree: AppendOnlyTreeSnapshot;
+        }, {
+            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;
+            };
+        }>, TreeSnapshots, {
+            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;
+            };
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        stateAfter: TreeSnapshots;
+        actionCounter: number;
+        oldCheckpointId: number;
+        newCheckpointId: number;
+        stateBefore: TreeSnapshots;
+    }, {
+        stateAfter: {
+            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;
+            };
+        };
+        actionCounter: number;
+        oldCheckpointId: number;
+        newCheckpointId: number;
+        stateBefore: {
+            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;
+            };
+        };
+    }>, AvmRevertCheckpointHint, {
+        stateAfter: {
+            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;
+            };
+        };
+        actionCounter: number;
+        oldCheckpointId: number;
+        newCheckpointId: number;
+        stateBefore: {
+            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;
+            };
+        };
+    }>;
+}
 export declare class AvmEnqueuedCallHint {
     readonly msgSender: AztecAddress;
     readonly contractAddress: AztecAddress;
@@ -1368,6 +1745,8 @@ export declare class AvmEnqueuedCallHint {
     }>;
 }
 export declare class AvmTxHint {
+    readonly hash: string;
+    readonly globalVariables: GlobalVariables;
     readonly nonRevertibleAccumulatedData: {
         noteHashes: Fr[];
         nullifiers: Fr[];
@@ -1379,16 +1758,72 @@ export declare class AvmTxHint {
     readonly setupEnqueuedCalls: AvmEnqueuedCallHint[];
     readonly appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
     readonly teardownEnqueuedCall: AvmEnqueuedCallHint | null;
-    constructor(nonRevertibleAccumulatedData: {
+    constructor(hash: string, globalVariables: GlobalVariables, nonRevertibleAccumulatedData: {
         noteHashes: Fr[];
         nullifiers: Fr[];
     }, revertibleAccumulatedData: {
         noteHashes: Fr[];
         nullifiers: Fr[];
     }, setupEnqueuedCalls: AvmEnqueuedCallHint[], appLogicEnqueuedCalls: AvmEnqueuedCallHint[], teardownEnqueuedCall: AvmEnqueuedCallHint | null);
-    static fromTx(tx: Tx): AvmTxHint;
+    static fromTx(tx: Tx): Promise<AvmTxHint>;
     static empty(): AvmTxHint;
-    static get schema(): z.ZodObject<{
+    static get schema(): z.ZodEffects<z.ZodObject<{
+        hash: z.ZodString;
+        globalVariables: z.ZodEffects<z.ZodObject<{
+            chainId: import("@aztec/foundation/schemas").ZodFor<Fr>;
+            version: import("@aztec/foundation/schemas").ZodFor<Fr>;
+            blockNumber: import("@aztec/foundation/schemas").ZodFor<Fr>;
+            slotNumber: import("@aztec/foundation/schemas").ZodFor<Fr>;
+            timestamp: import("@aztec/foundation/schemas").ZodFor<Fr>;
+            coinbase: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
+            feeRecipient: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+            gasFees: z.ZodEffects<z.ZodObject<{
+                feePerDaGas: z.ZodType<Fr, any, string>;
+                feePerL2Gas: z.ZodType<Fr, any, string>;
+            }, "strip", z.ZodTypeAny, {
+                feePerDaGas: Fr;
+                feePerL2Gas: Fr;
+            }, {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            }>, import("../gas/gas_fees.js").GasFees, {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            }>;
+        }, "strip", z.ZodTypeAny, {
+            chainId: Fr;
+            version: Fr;
+            blockNumber: Fr;
+            slotNumber: Fr;
+            timestamp: Fr;
+            coinbase: import("@aztec/foundation/schemas").EthAddress;
+            feeRecipient: AztecAddress;
+            gasFees: import("../gas/gas_fees.js").GasFees;
+        }, {
+            gasFees: {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            };
+            chainId?: any;
+            version?: any;
+            blockNumber?: any;
+            slotNumber?: any;
+            timestamp?: any;
+            coinbase?: any;
+            feeRecipient?: any;
+        }>, GlobalVariables, {
+            gasFees: {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            };
+            chainId?: any;
+            version?: any;
+            blockNumber?: any;
+            slotNumber?: any;
+            timestamp?: any;
+            coinbase?: any;
+            feeRecipient?: any;
+        }>;
         nonRevertibleAccumulatedData: z.ZodObject<{
             noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
             nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
@@ -1473,6 +1908,8 @@ export declare class AvmTxHint {
             msgSender?: any;
         }>>;
     }, "strip", z.ZodTypeAny, {
+        hash: string;
+        globalVariables: GlobalVariables;
         nonRevertibleAccumulatedData: {
             noteHashes: Fr[];
             nullifiers: Fr[];
@@ -1485,6 +1922,61 @@ export declare class AvmTxHint {
         appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
         teardownEnqueuedCall: AvmEnqueuedCallHint | null;
     }, {
+        hash: string;
+        globalVariables: {
+            gasFees: {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            };
+            chainId?: any;
+            version?: any;
+            blockNumber?: any;
+            slotNumber?: any;
+            timestamp?: any;
+            coinbase?: any;
+            feeRecipient?: any;
+        };
+        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;
+    }>, AvmTxHint, {
+        hash: string;
+        globalVariables: {
+            gasFees: {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            };
+            chainId?: any;
+            version?: any;
+            blockNumber?: any;
+            slotNumber?: any;
+            timestamp?: any;
+            coinbase?: any;
+            feeRecipient?: any;
+        };
         nonRevertibleAccumulatedData: {
             noteHashes: string[];
             nullifiers: string[];
@@ -1518,6 +2010,7 @@ export declare class AvmExecutionHints {
     readonly contractInstances: AvmContractInstanceHint[];
     readonly contractClasses: AvmContractClassHint[];
     readonly bytecodeCommitments: AvmBytecodeCommitmentHint[];
+    startingTreeRoots: TreeSnapshots;
     readonly getSiblingPathHints: AvmGetSiblingPathHint[];
     readonly getPreviousValueIndexHints: AvmGetPreviousValueIndexHint[];
     readonly getLeafPreimageHintsPublicDataTree: AvmGetLeafPreimageHintPublicDataTree[];
@@ -1525,10 +2018,70 @@ export declare class AvmExecutionHints {
     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[]);
+    readonly appendLeavesHints: AvmAppendLeavesHint[];
+    readonly createCheckpointHints: AvmCreateCheckpointHint[];
+    readonly commitCheckpointHints: AvmCommitCheckpointHint[];
+    readonly revertCheckpointHints: AvmRevertCheckpointHint[];
+    constructor(tx: AvmTxHint, contractInstances?: AvmContractInstanceHint[], contractClasses?: AvmContractClassHint[], bytecodeCommitments?: AvmBytecodeCommitmentHint[], startingTreeRoots?: TreeSnapshots, getSiblingPathHints?: AvmGetSiblingPathHint[], getPreviousValueIndexHints?: AvmGetPreviousValueIndexHint[], getLeafPreimageHintsPublicDataTree?: AvmGetLeafPreimageHintPublicDataTree[], getLeafPreimageHintsNullifierTree?: AvmGetLeafPreimageHintNullifierTree[], getLeafValueHints?: AvmGetLeafValueHint[], sequentialInsertHintsPublicDataTree?: AvmSequentialInsertHintPublicDataTree[], sequentialInsertHintsNullifierTree?: AvmSequentialInsertHintNullifierTree[], appendLeavesHints?: AvmAppendLeavesHint[], createCheckpointHints?: AvmCreateCheckpointHint[], commitCheckpointHints?: AvmCommitCheckpointHint[], revertCheckpointHints?: AvmRevertCheckpointHint[]);
     static empty(): AvmExecutionHints;
     static get schema(): z.ZodEffects<z.ZodObject<{
-        tx: z.ZodObject<{
+        tx: z.ZodEffects<z.ZodObject<{
+            hash: z.ZodString;
+            globalVariables: z.ZodEffects<z.ZodObject<{
+                chainId: import("@aztec/foundation/schemas").ZodFor<Fr>;
+                version: import("@aztec/foundation/schemas").ZodFor<Fr>;
+                blockNumber: import("@aztec/foundation/schemas").ZodFor<Fr>;
+                slotNumber: import("@aztec/foundation/schemas").ZodFor<Fr>;
+                timestamp: import("@aztec/foundation/schemas").ZodFor<Fr>;
+                coinbase: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
+                feeRecipient: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                gasFees: z.ZodEffects<z.ZodObject<{
+                    feePerDaGas: z.ZodType<Fr, any, string>;
+                    feePerL2Gas: z.ZodType<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    feePerDaGas: Fr;
+                    feePerL2Gas: Fr;
+                }, {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                }>, import("../gas/gas_fees.js").GasFees, {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                }>;
+            }, "strip", z.ZodTypeAny, {
+                chainId: Fr;
+                version: Fr;
+                blockNumber: Fr;
+                slotNumber: Fr;
+                timestamp: Fr;
+                coinbase: import("@aztec/foundation/schemas").EthAddress;
+                feeRecipient: AztecAddress;
+                gasFees: import("../gas/gas_fees.js").GasFees;
+            }, {
+                gasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+                chainId?: any;
+                version?: any;
+                blockNumber?: any;
+                slotNumber?: any;
+                timestamp?: any;
+                coinbase?: any;
+                feeRecipient?: any;
+            }>, GlobalVariables, {
+                gasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+                chainId?: any;
+                version?: any;
+                blockNumber?: any;
+                slotNumber?: any;
+                timestamp?: any;
+                coinbase?: any;
+                feeRecipient?: any;
+            }>;
             nonRevertibleAccumulatedData: z.ZodObject<{
                 noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
                 nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
@@ -1613,6 +2166,8 @@ export declare class AvmExecutionHints {
                 msgSender?: any;
             }>>;
         }, "strip", z.ZodTypeAny, {
+            hash: string;
+            globalVariables: GlobalVariables;
             nonRevertibleAccumulatedData: {
                 noteHashes: Fr[];
                 nullifiers: Fr[];
@@ -1625,6 +2180,61 @@ export declare class AvmExecutionHints {
             appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
             teardownEnqueuedCall: AvmEnqueuedCallHint | null;
         }, {
+            hash: string;
+            globalVariables: {
+                gasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+                chainId?: any;
+                version?: any;
+                blockNumber?: any;
+                slotNumber?: any;
+                timestamp?: any;
+                coinbase?: any;
+                feeRecipient?: any;
+            };
+            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;
+        }>, AvmTxHint, {
+            hash: string;
+            globalVariables: {
+                gasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+                chainId?: any;
+                version?: any;
+                blockNumber?: any;
+                slotNumber?: any;
+                timestamp?: any;
+                coinbase?: any;
+                feeRecipient?: any;
+            };
             nonRevertibleAccumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -1767,6 +2377,99 @@ export declare class AvmExecutionHints {
             classId: string;
             commitment: string;
         }>, "many">;
+        startingTreeRoots: z.ZodEffects<z.ZodObject<{
+            l1ToL2MessageTree: 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;
+            }>;
+            noteHashTree: 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;
+            }>;
+            nullifierTree: 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;
+            }>;
+            publicDataTree: 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;
+            }>;
+        }, "strip", z.ZodTypeAny, {
+            noteHashTree: AppendOnlyTreeSnapshot;
+            nullifierTree: AppendOnlyTreeSnapshot;
+            publicDataTree: AppendOnlyTreeSnapshot;
+            l1ToL2MessageTree: AppendOnlyTreeSnapshot;
+        }, {
+            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;
+            };
+        }>, TreeSnapshots, {
+            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;
+            };
+        }>;
         getSiblingPathHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodEffects<z.ZodObject<{
                 root: z.ZodType<Fr, any, string>;
@@ -2695,21 +3398,155 @@ export declare class AvmExecutionHints {
                     };
                     nextKey: string;
                     nextIndex: string | number | bigint;
-                }>, PublicDataTreeLeafPreimage, {
+                }>, PublicDataTreeLeafPreimage, {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }>;
+                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;
+                leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+            }, {
+                path: string[];
+                index: string | number | bigint;
+                leaf: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
+            }>;
+        }, "strip", z.ZodTypeAny, {
+            leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+            hintKey: AppendOnlyTreeSnapshot;
+            treeId: number;
+            stateAfter: AppendOnlyTreeSnapshot;
+            lowLeavesWitnessData: {
+                path: Fr[];
+                index: bigint;
+                leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+            };
+            insertionWitnessData: {
+                path: Fr[];
+                index: bigint;
+                leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+            };
+        }, {
+            leaf: {
+                nullifier: string;
+            } | {
+                value: string;
+                slot: string;
+            };
+            hintKey: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            treeId: number;
+            stateAfter: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            lowLeavesWitnessData: {
+                path: string[];
+                index: string | number | bigint;
+                leaf: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
+            };
+            insertionWitnessData: {
+                path: string[];
+                index: string | number | bigint;
+                leaf: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
+            };
+        }>, {
+            readonly hintKey: AppendOnlyTreeSnapshot;
+            readonly stateAfter: AppendOnlyTreeSnapshot;
+            readonly treeId: MerkleTreeId;
+            readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+            readonly lowLeavesWitnessData: {
+                leaf: IndexedTreeLeafPreimages;
+                index: bigint;
+                path: Fr[];
+            };
+            readonly insertionWitnessData: {
+                leaf: IndexedTreeLeafPreimages;
+                index: bigint;
+                path: Fr[];
+            };
+        }, {
+            leaf: {
+                nullifier: string;
+            } | {
+                value: string;
+                slot: string;
+            };
+            hintKey: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            treeId: number;
+            stateAfter: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            lowLeavesWitnessData: {
+                path: string[];
+                index: string | number | bigint;
+                leaf: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
                     leaf: {
                         value: string;
                         slot: string;
                     };
                     nextKey: string;
                     nextIndex: string | number | bigint;
-                }>;
-                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;
-                leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
-            }, {
+                };
+            };
+            insertionWitnessData: {
                 path: string[];
                 index: string | number | bigint;
                 leaf: {
@@ -2726,159 +3563,382 @@ export declare class AvmExecutionHints {
                     nextKey: string;
                     nextIndex: string | number | bigint;
                 };
+            };
+        }>, "many">;
+        appendLeavesHints: 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;
+            }>;
+            stateAfter: 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;
+            leaves: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            hintKey: AppendOnlyTreeSnapshot;
+            treeId: number;
+            stateAfter: AppendOnlyTreeSnapshot;
+            leaves: Fr[];
+        }, {
+            hintKey: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            treeId: number;
+            stateAfter: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            leaves: string[];
+        }>, AvmAppendLeavesHint, {
+            hintKey: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            treeId: number;
+            stateAfter: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            leaves: string[];
+        }>, "many">;
+        createCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            actionCounter: z.ZodNumber;
+            oldCheckpointId: z.ZodNumber;
+            newCheckpointId: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            actionCounter: number;
+            oldCheckpointId: number;
+            newCheckpointId: number;
+        }, {
+            actionCounter: number;
+            oldCheckpointId: number;
+            newCheckpointId: number;
+        }>, AvmCheckpointActionNoStateChangeHint, {
+            actionCounter: number;
+            oldCheckpointId: number;
+            newCheckpointId: number;
+        }>, "many">;
+        commitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            actionCounter: z.ZodNumber;
+            oldCheckpointId: z.ZodNumber;
+            newCheckpointId: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            actionCounter: number;
+            oldCheckpointId: number;
+            newCheckpointId: number;
+        }, {
+            actionCounter: number;
+            oldCheckpointId: number;
+            newCheckpointId: number;
+        }>, AvmCheckpointActionNoStateChangeHint, {
+            actionCounter: number;
+            oldCheckpointId: number;
+            newCheckpointId: number;
+        }>, "many">;
+        revertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            actionCounter: z.ZodNumber;
+            oldCheckpointId: z.ZodNumber;
+            newCheckpointId: z.ZodNumber;
+            stateBefore: z.ZodEffects<z.ZodObject<{
+                l1ToL2MessageTree: 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;
+                }>;
+                noteHashTree: 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;
+                }>;
+                nullifierTree: 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;
+                }>;
+                publicDataTree: 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;
+                }>;
+            }, "strip", z.ZodTypeAny, {
+                noteHashTree: AppendOnlyTreeSnapshot;
+                nullifierTree: AppendOnlyTreeSnapshot;
+                publicDataTree: AppendOnlyTreeSnapshot;
+                l1ToL2MessageTree: AppendOnlyTreeSnapshot;
+            }, {
+                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;
+                };
+            }>, TreeSnapshots, {
+                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;
+                };
+            }>;
+            stateAfter: z.ZodEffects<z.ZodObject<{
+                l1ToL2MessageTree: 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;
+                }>;
+                noteHashTree: 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;
+                }>;
+                nullifierTree: 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;
+                }>;
+                publicDataTree: 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;
+                }>;
+            }, "strip", z.ZodTypeAny, {
+                noteHashTree: AppendOnlyTreeSnapshot;
+                nullifierTree: AppendOnlyTreeSnapshot;
+                publicDataTree: AppendOnlyTreeSnapshot;
+                l1ToL2MessageTree: AppendOnlyTreeSnapshot;
+            }, {
+                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;
+                };
+            }>, TreeSnapshots, {
+                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;
+                };
             }>;
         }, "strip", z.ZodTypeAny, {
-            leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
-            hintKey: AppendOnlyTreeSnapshot;
-            treeId: number;
-            stateAfter: AppendOnlyTreeSnapshot;
-            lowLeavesWitnessData: {
-                path: Fr[];
-                index: bigint;
-                leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
-            };
-            insertionWitnessData: {
-                path: Fr[];
-                index: bigint;
-                leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
-            };
+            stateAfter: TreeSnapshots;
+            actionCounter: number;
+            oldCheckpointId: number;
+            newCheckpointId: number;
+            stateBefore: TreeSnapshots;
         }, {
-            leaf: {
-                nullifier: string;
-            } | {
-                value: string;
-                slot: string;
-            };
-            hintKey: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            treeId: number;
             stateAfter: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            lowLeavesWitnessData: {
-                path: string[];
-                index: string | number | bigint;
-                leaf: {
-                    leaf: {
-                        nullifier: string;
-                    };
-                    nextKey: string;
-                    nextIndex: string | number | bigint;
-                } | {
-                    leaf: {
-                        value: string;
-                        slot: string;
-                    };
-                    nextKey: string;
-                    nextIndex: string | number | bigint;
+                noteHashTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
                 };
-            };
-            insertionWitnessData: {
-                path: string[];
-                index: string | number | bigint;
-                leaf: {
-                    leaf: {
-                        nullifier: string;
-                    };
-                    nextKey: string;
-                    nextIndex: string | number | bigint;
-                } | {
-                    leaf: {
-                        value: string;
-                        slot: string;
-                    };
-                    nextKey: string;
-                    nextIndex: string | number | bigint;
+                nullifierTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                publicDataTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
                 };
             };
-        }>, {
-            readonly hintKey: AppendOnlyTreeSnapshot;
-            readonly stateAfter: AppendOnlyTreeSnapshot;
-            readonly treeId: MerkleTreeId;
-            readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
-            readonly lowLeavesWitnessData: {
-                leaf: IndexedTreeLeafPreimages;
-                index: bigint;
-                path: Fr[];
-            };
-            readonly insertionWitnessData: {
-                leaf: IndexedTreeLeafPreimages;
-                index: bigint;
-                path: Fr[];
-            };
-        }, {
-            leaf: {
-                nullifier: string;
-            } | {
-                value: string;
-                slot: string;
-            };
-            hintKey: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
+            actionCounter: number;
+            oldCheckpointId: number;
+            newCheckpointId: number;
+            stateBefore: {
+                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;
+                };
             };
-            treeId: number;
+        }>, AvmRevertCheckpointHint, {
             stateAfter: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            lowLeavesWitnessData: {
-                path: string[];
-                index: string | number | bigint;
-                leaf: {
-                    leaf: {
-                        nullifier: string;
-                    };
-                    nextKey: string;
-                    nextIndex: string | number | bigint;
-                } | {
-                    leaf: {
-                        value: string;
-                        slot: string;
-                    };
-                    nextKey: string;
-                    nextIndex: string | number | bigint;
+                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;
                 };
             };
-            insertionWitnessData: {
-                path: string[];
-                index: string | number | bigint;
-                leaf: {
-                    leaf: {
-                        nullifier: string;
-                    };
-                    nextKey: string;
-                    nextIndex: string | number | bigint;
-                } | {
-                    leaf: {
-                        value: string;
-                        slot: string;
-                    };
-                    nextKey: string;
-                    nextIndex: string | number | bigint;
+            actionCounter: number;
+            oldCheckpointId: number;
+            newCheckpointId: number;
+            stateBefore: {
+                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;
                 };
             };
         }>, "many">;
     }, "strip", z.ZodTypeAny, {
-        tx: {
-            nonRevertibleAccumulatedData: {
-                noteHashes: Fr[];
-                nullifiers: Fr[];
-            };
-            revertibleAccumulatedData: {
-                noteHashes: Fr[];
-                nullifiers: Fr[];
-            };
-            setupEnqueuedCalls: AvmEnqueuedCallHint[];
-            appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
-            teardownEnqueuedCall: AvmEnqueuedCallHint | null;
-        };
+        tx: AvmTxHint;
         contractInstances: AvmContractInstanceHint[];
         contractClasses: AvmContractClassHint[];
         bytecodeCommitments: AvmBytecodeCommitmentHint[];
+        startingTreeRoots: TreeSnapshots;
         getSiblingPathHints: AvmGetSiblingPathHint[];
         getPreviousValueIndexHints: AvmGetPreviousValueIndexHint[];
         getLeafPreimageHintsPublicDataTree: {
@@ -2923,9 +3983,27 @@ export declare class AvmExecutionHints {
                 index: bigint;
                 path: Fr[];
             };
-        }[];
-    }, {
-        tx: {
+        }[];
+        appendLeavesHints: AvmAppendLeavesHint[];
+        createCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
+        commitCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
+        revertCheckpointHints: AvmRevertCheckpointHint[];
+    }, {
+        tx: {
+            hash: string;
+            globalVariables: {
+                gasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+                chainId?: any;
+                version?: any;
+                blockNumber?: any;
+                slotNumber?: any;
+                timestamp?: any;
+                coinbase?: any;
+                feeRecipient?: any;
+            };
             nonRevertibleAccumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -2980,6 +4058,24 @@ export declare class AvmExecutionHints {
             classId: string;
             commitment: string;
         }[];
+        startingTreeRoots: {
+            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;
+            };
+        };
         getSiblingPathHints: {
             path: string[];
             index: string | number | bigint;
@@ -3156,8 +4252,85 @@ export declare class AvmExecutionHints {
                 };
             };
         }[];
+        appendLeavesHints: {
+            hintKey: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            treeId: number;
+            stateAfter: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            leaves: string[];
+        }[];
+        createCheckpointHints: {
+            actionCounter: number;
+            oldCheckpointId: number;
+            newCheckpointId: number;
+        }[];
+        commitCheckpointHints: {
+            actionCounter: number;
+            oldCheckpointId: number;
+            newCheckpointId: number;
+        }[];
+        revertCheckpointHints: {
+            stateAfter: {
+                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;
+                };
+            };
+            actionCounter: number;
+            oldCheckpointId: number;
+            newCheckpointId: number;
+            stateBefore: {
+                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;
+                };
+            };
+        }[];
     }>, AvmExecutionHints, {
         tx: {
+            hash: string;
+            globalVariables: {
+                gasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+                chainId?: any;
+                version?: any;
+                blockNumber?: any;
+                slotNumber?: any;
+                timestamp?: any;
+                coinbase?: any;
+                feeRecipient?: any;
+            };
             nonRevertibleAccumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -3212,6 +4385,24 @@ export declare class AvmExecutionHints {
             classId: string;
             commitment: string;
         }[];
+        startingTreeRoots: {
+            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;
+            };
+        };
         getSiblingPathHints: {
             path: string[];
             index: string | number | bigint;
@@ -3388,21 +4579,135 @@ export declare class AvmExecutionHints {
                 };
             };
         }[];
+        appendLeavesHints: {
+            hintKey: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            treeId: number;
+            stateAfter: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            leaves: string[];
+        }[];
+        createCheckpointHints: {
+            actionCounter: number;
+            oldCheckpointId: number;
+            newCheckpointId: number;
+        }[];
+        commitCheckpointHints: {
+            actionCounter: number;
+            oldCheckpointId: number;
+            newCheckpointId: number;
+        }[];
+        revertCheckpointHints: {
+            stateAfter: {
+                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;
+                };
+            };
+            actionCounter: number;
+            oldCheckpointId: number;
+            newCheckpointId: number;
+            stateBefore: {
+                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;
+                };
+            };
+        }[];
     }>;
 }
 export declare class AvmCircuitInputs {
-    readonly functionName: string;
-    readonly calldata: Fr[];
     readonly hints: AvmExecutionHints;
     publicInputs: AvmCircuitPublicInputs;
-    constructor(functionName: string, // only informational
-    calldata: Fr[], hints: AvmExecutionHints, publicInputs: AvmCircuitPublicInputs);
+    constructor(hints: AvmExecutionHints, publicInputs: AvmCircuitPublicInputs);
     static empty(): AvmCircuitInputs;
     static get schema(): z.ZodEffects<z.ZodObject<{
-        functionName: z.ZodString;
-        calldata: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
         hints: z.ZodEffects<z.ZodObject<{
-            tx: z.ZodObject<{
+            tx: z.ZodEffects<z.ZodObject<{
+                hash: z.ZodString;
+                globalVariables: z.ZodEffects<z.ZodObject<{
+                    chainId: import("@aztec/foundation/schemas").ZodFor<Fr>;
+                    version: import("@aztec/foundation/schemas").ZodFor<Fr>;
+                    blockNumber: import("@aztec/foundation/schemas").ZodFor<Fr>;
+                    slotNumber: import("@aztec/foundation/schemas").ZodFor<Fr>;
+                    timestamp: import("@aztec/foundation/schemas").ZodFor<Fr>;
+                    coinbase: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
+                    feeRecipient: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                    gasFees: z.ZodEffects<z.ZodObject<{
+                        feePerDaGas: z.ZodType<Fr, any, string>;
+                        feePerL2Gas: z.ZodType<Fr, any, string>;
+                    }, "strip", z.ZodTypeAny, {
+                        feePerDaGas: Fr;
+                        feePerL2Gas: Fr;
+                    }, {
+                        feePerDaGas: string;
+                        feePerL2Gas: string;
+                    }>, import("../gas/gas_fees.js").GasFees, {
+                        feePerDaGas: string;
+                        feePerL2Gas: string;
+                    }>;
+                }, "strip", z.ZodTypeAny, {
+                    chainId: Fr;
+                    version: Fr;
+                    blockNumber: Fr;
+                    slotNumber: Fr;
+                    timestamp: Fr;
+                    coinbase: import("@aztec/foundation/schemas").EthAddress;
+                    feeRecipient: AztecAddress;
+                    gasFees: import("../gas/gas_fees.js").GasFees;
+                }, {
+                    gasFees: {
+                        feePerDaGas: string;
+                        feePerL2Gas: string;
+                    };
+                    chainId?: any;
+                    version?: any;
+                    blockNumber?: any;
+                    slotNumber?: any;
+                    timestamp?: any;
+                    coinbase?: any;
+                    feeRecipient?: any;
+                }>, GlobalVariables, {
+                    gasFees: {
+                        feePerDaGas: string;
+                        feePerL2Gas: string;
+                    };
+                    chainId?: any;
+                    version?: any;
+                    blockNumber?: any;
+                    slotNumber?: any;
+                    timestamp?: any;
+                    coinbase?: any;
+                    feeRecipient?: any;
+                }>;
                 nonRevertibleAccumulatedData: z.ZodObject<{
                     noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
                     nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
@@ -3487,6 +4792,8 @@ export declare class AvmCircuitInputs {
                     msgSender?: any;
                 }>>;
             }, "strip", z.ZodTypeAny, {
+                hash: string;
+                globalVariables: GlobalVariables;
                 nonRevertibleAccumulatedData: {
                     noteHashes: Fr[];
                     nullifiers: Fr[];
@@ -3499,6 +4806,61 @@ export declare class AvmCircuitInputs {
                 appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
                 teardownEnqueuedCall: AvmEnqueuedCallHint | null;
             }, {
+                hash: string;
+                globalVariables: {
+                    gasFees: {
+                        feePerDaGas: string;
+                        feePerL2Gas: string;
+                    };
+                    chainId?: any;
+                    version?: any;
+                    blockNumber?: any;
+                    slotNumber?: any;
+                    timestamp?: any;
+                    coinbase?: any;
+                    feeRecipient?: any;
+                };
+                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;
+            }>, AvmTxHint, {
+                hash: string;
+                globalVariables: {
+                    gasFees: {
+                        feePerDaGas: string;
+                        feePerL2Gas: string;
+                    };
+                    chainId?: any;
+                    version?: any;
+                    blockNumber?: any;
+                    slotNumber?: any;
+                    timestamp?: any;
+                    coinbase?: any;
+                    feeRecipient?: any;
+                };
                 nonRevertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
@@ -3597,50 +4959,143 @@ export declare class AvmCircuitInputs {
                     type: z.ZodLiteral<"Buffer">;
                     data: z.ZodArray<z.ZodNumber, "many">;
                 }, "strip", z.ZodTypeAny, {
-                    type: "Buffer";
-                    data: number[];
+                    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">;
+            startingTreeRoots: z.ZodEffects<z.ZodObject<{
+                l1ToL2MessageTree: 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;
+                }>;
+                noteHashTree: 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;
+                }>;
+                nullifierTree: 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;
+                }>;
+                publicDataTree: 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;
                 }, {
-                    type: "Buffer";
-                    data: number[];
-                }>, Buffer, {
-                    type: "Buffer";
-                    data: number[];
-                }>]>;
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>, AppendOnlyTreeSnapshot, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>;
             }, "strip", z.ZodTypeAny, {
-                classId: Fr;
-                artifactHash: Fr;
-                privateFunctionsRoot: Fr;
-                packedBytecode: Buffer;
+                noteHashTree: AppendOnlyTreeSnapshot;
+                nullifierTree: AppendOnlyTreeSnapshot;
+                publicDataTree: AppendOnlyTreeSnapshot;
+                l1ToL2MessageTree: AppendOnlyTreeSnapshot;
             }, {
-                classId: string;
-                artifactHash: string;
-                privateFunctionsRoot: string;
-                packedBytecode: string | {
-                    type: "Buffer";
-                    data: number[];
+                noteHashTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
                 };
-            }>, AvmContractClassHint, {
-                classId: string;
-                artifactHash: string;
-                privateFunctionsRoot: string;
-                packedBytecode: string | {
-                    type: "Buffer";
-                    data: number[];
+                nullifierTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
                 };
-            }>, "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">;
+                publicDataTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+            }>, TreeSnapshots, {
+                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;
+                };
+            }>;
             getSiblingPathHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 hintKey: z.ZodEffects<z.ZodObject<{
                     root: z.ZodType<Fr, any, string>;
@@ -4667,92 +6122,449 @@ export declare class AvmCircuitInputs {
                         nextKey: string;
                         nextIndex: string | number | bigint;
                     };
-                };
-            }>, {
-                readonly hintKey: AppendOnlyTreeSnapshot;
-                readonly stateAfter: AppendOnlyTreeSnapshot;
-                readonly treeId: MerkleTreeId;
-                readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
-                readonly lowLeavesWitnessData: {
-                    leaf: IndexedTreeLeafPreimages;
-                    index: bigint;
-                    path: Fr[];
-                };
-                readonly insertionWitnessData: {
-                    leaf: IndexedTreeLeafPreimages;
-                    index: bigint;
-                    path: Fr[];
-                };
+                };
+            }>, {
+                readonly hintKey: AppendOnlyTreeSnapshot;
+                readonly stateAfter: AppendOnlyTreeSnapshot;
+                readonly treeId: MerkleTreeId;
+                readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                readonly lowLeavesWitnessData: {
+                    leaf: IndexedTreeLeafPreimages;
+                    index: bigint;
+                    path: Fr[];
+                };
+                readonly insertionWitnessData: {
+                    leaf: IndexedTreeLeafPreimages;
+                    index: bigint;
+                    path: Fr[];
+                };
+            }, {
+                leaf: {
+                    nullifier: string;
+                } | {
+                    value: string;
+                    slot: string;
+                };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                lowLeavesWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
+                insertionWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
+            }>, "many">;
+            appendLeavesHints: 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;
+                }>;
+                stateAfter: 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;
+                leaves: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                hintKey: AppendOnlyTreeSnapshot;
+                treeId: number;
+                stateAfter: AppendOnlyTreeSnapshot;
+                leaves: Fr[];
+            }, {
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                leaves: string[];
+            }>, AvmAppendLeavesHint, {
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                leaves: string[];
+            }>, "many">;
+            createCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                actionCounter: z.ZodNumber;
+                oldCheckpointId: z.ZodNumber;
+                newCheckpointId: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }, {
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }>, AvmCheckpointActionNoStateChangeHint, {
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }>, "many">;
+            commitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                actionCounter: z.ZodNumber;
+                oldCheckpointId: z.ZodNumber;
+                newCheckpointId: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }, {
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }>, AvmCheckpointActionNoStateChangeHint, {
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }>, "many">;
+            revertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                actionCounter: z.ZodNumber;
+                oldCheckpointId: z.ZodNumber;
+                newCheckpointId: z.ZodNumber;
+                stateBefore: z.ZodEffects<z.ZodObject<{
+                    l1ToL2MessageTree: 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;
+                    }>;
+                    noteHashTree: 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;
+                    }>;
+                    nullifierTree: 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;
+                    }>;
+                    publicDataTree: 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;
+                    }>;
+                }, "strip", z.ZodTypeAny, {
+                    noteHashTree: AppendOnlyTreeSnapshot;
+                    nullifierTree: AppendOnlyTreeSnapshot;
+                    publicDataTree: AppendOnlyTreeSnapshot;
+                    l1ToL2MessageTree: AppendOnlyTreeSnapshot;
+                }, {
+                    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;
+                    };
+                }>, TreeSnapshots, {
+                    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;
+                    };
+                }>;
+                stateAfter: z.ZodEffects<z.ZodObject<{
+                    l1ToL2MessageTree: 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;
+                    }>;
+                    noteHashTree: 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;
+                    }>;
+                    nullifierTree: 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;
+                    }>;
+                    publicDataTree: 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;
+                    }>;
+                }, "strip", z.ZodTypeAny, {
+                    noteHashTree: AppendOnlyTreeSnapshot;
+                    nullifierTree: AppendOnlyTreeSnapshot;
+                    publicDataTree: AppendOnlyTreeSnapshot;
+                    l1ToL2MessageTree: AppendOnlyTreeSnapshot;
+                }, {
+                    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;
+                    };
+                }>, TreeSnapshots, {
+                    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;
+                    };
+                }>;
+            }, "strip", z.ZodTypeAny, {
+                stateAfter: TreeSnapshots;
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+                stateBefore: TreeSnapshots;
             }, {
-                leaf: {
-                    nullifier: string;
-                } | {
-                    value: string;
-                    slot: string;
+                stateAfter: {
+                    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;
+                    };
                 };
-                hintKey: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+                stateBefore: {
+                    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;
+                    };
                 };
-                treeId: number;
+            }>, AvmRevertCheckpointHint, {
                 stateAfter: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                lowLeavesWitnessData: {
-                    path: string[];
-                    index: string | number | bigint;
-                    leaf: {
-                        leaf: {
-                            nullifier: string;
-                        };
-                        nextKey: string;
-                        nextIndex: string | number | bigint;
-                    } | {
-                        leaf: {
-                            value: string;
-                            slot: string;
-                        };
-                        nextKey: string;
-                        nextIndex: string | number | bigint;
+                    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;
                     };
                 };
-                insertionWitnessData: {
-                    path: string[];
-                    index: string | number | bigint;
-                    leaf: {
-                        leaf: {
-                            nullifier: string;
-                        };
-                        nextKey: string;
-                        nextIndex: string | number | bigint;
-                    } | {
-                        leaf: {
-                            value: string;
-                            slot: string;
-                        };
-                        nextKey: string;
-                        nextIndex: string | number | bigint;
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+                stateBefore: {
+                    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;
                     };
                 };
             }>, "many">;
         }, "strip", z.ZodTypeAny, {
-            tx: {
-                nonRevertibleAccumulatedData: {
-                    noteHashes: Fr[];
-                    nullifiers: Fr[];
-                };
-                revertibleAccumulatedData: {
-                    noteHashes: Fr[];
-                    nullifiers: Fr[];
-                };
-                setupEnqueuedCalls: AvmEnqueuedCallHint[];
-                appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
-                teardownEnqueuedCall: AvmEnqueuedCallHint | null;
-            };
+            tx: AvmTxHint;
             contractInstances: AvmContractInstanceHint[];
             contractClasses: AvmContractClassHint[];
             bytecodeCommitments: AvmBytecodeCommitmentHint[];
+            startingTreeRoots: TreeSnapshots;
             getSiblingPathHints: AvmGetSiblingPathHint[];
             getPreviousValueIndexHints: AvmGetPreviousValueIndexHint[];
             getLeafPreimageHintsPublicDataTree: {
@@ -4798,8 +6610,26 @@ export declare class AvmCircuitInputs {
                     path: Fr[];
                 };
             }[];
+            appendLeavesHints: AvmAppendLeavesHint[];
+            createCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
+            commitCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
+            revertCheckpointHints: AvmRevertCheckpointHint[];
         }, {
             tx: {
+                hash: string;
+                globalVariables: {
+                    gasFees: {
+                        feePerDaGas: string;
+                        feePerL2Gas: string;
+                    };
+                    chainId?: any;
+                    version?: any;
+                    blockNumber?: any;
+                    slotNumber?: any;
+                    timestamp?: any;
+                    coinbase?: any;
+                    feeRecipient?: any;
+                };
                 nonRevertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
@@ -4854,6 +6684,24 @@ export declare class AvmCircuitInputs {
                 classId: string;
                 commitment: string;
             }[];
+            startingTreeRoots: {
+                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;
+                };
+            };
             getSiblingPathHints: {
                 path: string[];
                 index: string | number | bigint;
@@ -5030,8 +6878,85 @@ export declare class AvmCircuitInputs {
                     };
                 };
             }[];
+            appendLeavesHints: {
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                leaves: string[];
+            }[];
+            createCheckpointHints: {
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }[];
+            commitCheckpointHints: {
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }[];
+            revertCheckpointHints: {
+                stateAfter: {
+                    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;
+                    };
+                };
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+                stateBefore: {
+                    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;
+                    };
+                };
+            }[];
         }>, AvmExecutionHints, {
             tx: {
+                hash: string;
+                globalVariables: {
+                    gasFees: {
+                        feePerDaGas: string;
+                        feePerL2Gas: string;
+                    };
+                    chainId?: any;
+                    version?: any;
+                    blockNumber?: any;
+                    slotNumber?: any;
+                    timestamp?: any;
+                    coinbase?: any;
+                    feeRecipient?: any;
+                };
                 nonRevertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
@@ -5086,6 +7011,24 @@ export declare class AvmCircuitInputs {
                 classId: string;
                 commitment: string;
             }[];
+            startingTreeRoots: {
+                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;
+                };
+            };
             getSiblingPathHints: {
                 path: string[];
                 index: string | number | bigint;
@@ -5262,6 +7205,69 @@ export declare class AvmCircuitInputs {
                     };
                 };
             }[];
+            appendLeavesHints: {
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                leaves: string[];
+            }[];
+            createCheckpointHints: {
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }[];
+            commitCheckpointHints: {
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }[];
+            revertCheckpointHints: {
+                stateAfter: {
+                    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;
+                    };
+                };
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+                stateBefore: {
+                    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;
+                    };
+                };
+            }[];
         }>;
         publicInputs: z.ZodEffects<z.ZodObject<{
             globalVariables: z.ZodEffects<z.ZodObject<{
@@ -5306,7 +7312,7 @@ export declare class AvmCircuitInputs {
                 timestamp?: any;
                 coinbase?: any;
                 feeRecipient?: any;
-            }>, import("../tx/global_variables.js").GlobalVariables, {
+            }>, GlobalVariables, {
                 gasFees: {
                     feePerDaGas: string;
                     feePerL2Gas: string;
@@ -5394,7 +7400,7 @@ export declare class AvmCircuitInputs {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
-            }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
+            }>, TreeSnapshots, {
                 noteHashTree: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
@@ -5825,7 +7831,7 @@ export declare class AvmCircuitInputs {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
-            }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
+            }>, TreeSnapshots, {
                 noteHashTree: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
@@ -5952,12 +7958,12 @@ export declare class AvmCircuitInputs {
             transactionFee: z.ZodType<Fr, any, string>;
             reverted: z.ZodBoolean;
         }, "strip", z.ZodTypeAny, {
-            globalVariables: import("../tx/global_variables.js").GlobalVariables;
+            globalVariables: 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;
+            startTreeSnapshots: TreeSnapshots;
             startGasUsed: import("../gas/gas.js").Gas;
             publicSetupCallRequests: import("../kernel/public_call_request.js").PublicCallRequest[];
             publicAppLogicCallRequests: import("../kernel/public_call_request.js").PublicCallRequest[];
@@ -5965,7 +7971,7 @@ export declare class AvmCircuitInputs {
             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;
+            endTreeSnapshots: TreeSnapshots;
             endGasUsed: import("../gas/gas.js").Gas;
             accumulatedData: import("./avm_accumulated_data.js").AvmAccumulatedData;
             reverted: boolean;
@@ -6268,8 +8274,6 @@ export declare class AvmCircuitInputs {
         }>;
     }, "strip", z.ZodTypeAny, {
         publicInputs: AvmCircuitPublicInputs;
-        calldata: Fr[];
-        functionName: string;
         hints: AvmExecutionHints;
     }, {
         publicInputs: {
@@ -6421,10 +8425,22 @@ export declare class AvmCircuitInputs {
             reverted: boolean;
             feePayer?: any;
         };
-        calldata: string[];
-        functionName: string;
         hints: {
             tx: {
+                hash: string;
+                globalVariables: {
+                    gasFees: {
+                        feePerDaGas: string;
+                        feePerL2Gas: string;
+                    };
+                    chainId?: any;
+                    version?: any;
+                    blockNumber?: any;
+                    slotNumber?: any;
+                    timestamp?: any;
+                    coinbase?: any;
+                    feeRecipient?: any;
+                };
                 nonRevertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
@@ -6479,6 +8495,24 @@ export declare class AvmCircuitInputs {
                 classId: string;
                 commitment: string;
             }[];
+            startingTreeRoots: {
+                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;
+                };
+            };
             getSiblingPathHints: {
                 path: string[];
                 index: string | number | bigint;
@@ -6655,6 +8689,69 @@ export declare class AvmCircuitInputs {
                     };
                 };
             }[];
+            appendLeavesHints: {
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                leaves: string[];
+            }[];
+            createCheckpointHints: {
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }[];
+            commitCheckpointHints: {
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }[];
+            revertCheckpointHints: {
+                stateAfter: {
+                    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;
+                    };
+                };
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+                stateBefore: {
+                    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;
+                    };
+                };
+            }[];
         };
     }>, AvmCircuitInputs, {
         publicInputs: {
@@ -6806,10 +8903,22 @@ export declare class AvmCircuitInputs {
             reverted: boolean;
             feePayer?: any;
         };
-        calldata: string[];
-        functionName: string;
         hints: {
             tx: {
+                hash: string;
+                globalVariables: {
+                    gasFees: {
+                        feePerDaGas: string;
+                        feePerL2Gas: string;
+                    };
+                    chainId?: any;
+                    version?: any;
+                    blockNumber?: any;
+                    slotNumber?: any;
+                    timestamp?: any;
+                    coinbase?: any;
+                    feeRecipient?: any;
+                };
                 nonRevertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
@@ -6864,6 +8973,24 @@ export declare class AvmCircuitInputs {
                 classId: string;
                 commitment: string;
             }[];
+            startingTreeRoots: {
+                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;
+                };
+            };
             getSiblingPathHints: {
                 path: string[];
                 index: string | number | bigint;
@@ -7040,6 +9167,69 @@ export declare class AvmCircuitInputs {
                     };
                 };
             }[];
+            appendLeavesHints: {
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                leaves: string[];
+            }[];
+            createCheckpointHints: {
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }[];
+            commitCheckpointHints: {
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }[];
+            revertCheckpointHints: {
+                stateAfter: {
+                    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;
+                    };
+                };
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+                stateBefore: {
+                    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;
+                    };
+                };
+            }[];
         };
     }>;
     serializeWithMessagePack(): Buffer;