@aztec/stdlib 0.84.0-alpha-testnet.1 → 0.84.0-nightly.20250406

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 { 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,7 @@ export declare class AvmEnqueuedCallHint {
     }>;
 }
 export declare class AvmTxHint {
+    readonly hash: string;
     readonly nonRevertibleAccumulatedData: {
         noteHashes: Fr[];
         nullifiers: Fr[];
@@ -1379,16 +1757,17 @@ export declare class AvmTxHint {
     readonly setupEnqueuedCalls: AvmEnqueuedCallHint[];
     readonly appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
     readonly teardownEnqueuedCall: AvmEnqueuedCallHint | null;
-    constructor(nonRevertibleAccumulatedData: {
+    constructor(hash: string, 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;
         nonRevertibleAccumulatedData: z.ZodObject<{
             noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
             nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
@@ -1473,6 +1852,7 @@ export declare class AvmTxHint {
             msgSender?: any;
         }>>;
     }, "strip", z.ZodTypeAny, {
+        hash: string;
         nonRevertibleAccumulatedData: {
             noteHashes: Fr[];
             nullifiers: Fr[];
@@ -1485,6 +1865,35 @@ export declare class AvmTxHint {
         appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
         teardownEnqueuedCall: AvmEnqueuedCallHint | null;
     }, {
+        hash: string;
+        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;
         nonRevertibleAccumulatedData: {
             noteHashes: string[];
             nullifiers: string[];
@@ -1525,10 +1934,15 @@ 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[], 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;
             nonRevertibleAccumulatedData: z.ZodObject<{
                 noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
                 nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
@@ -1613,6 +2027,7 @@ export declare class AvmExecutionHints {
                 msgSender?: any;
             }>>;
         }, "strip", z.ZodTypeAny, {
+            hash: string;
             nonRevertibleAccumulatedData: {
                 noteHashes: Fr[];
                 nullifiers: Fr[];
@@ -1625,6 +2040,35 @@ export declare class AvmExecutionHints {
             appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
             teardownEnqueuedCall: AvmEnqueuedCallHint | null;
         }, {
+            hash: string;
+            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;
             nonRevertibleAccumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -2740,7 +3184,74 @@ export declare class AvmExecutionHints {
             insertionWitnessData: {
                 path: Fr[];
                 index: bigint;
-                leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+                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: {
@@ -2794,88 +3305,377 @@ export declare class AvmExecutionHints {
                     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[];
+        }>, "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;
             };
-            readonly insertionWitnessData: {
-                leaf: IndexedTreeLeafPreimages;
-                index: bigint;
-                path: Fr[];
+            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[];
@@ -2924,8 +3724,13 @@ export declare class AvmExecutionHints {
                 path: Fr[];
             };
         }[];
+        appendLeavesHints: AvmAppendLeavesHint[];
+        createCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
+        commitCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
+        revertCheckpointHints: AvmRevertCheckpointHint[];
     }, {
         tx: {
+            hash: string;
             nonRevertibleAccumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -3156,8 +3961,72 @@ 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;
             nonRevertibleAccumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -3388,21 +4257,80 @@ 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;
                 nonRevertibleAccumulatedData: z.ZodObject<{
                     noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
                     nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
@@ -3474,31 +4402,61 @@ export declare class AvmCircuitInputs {
                     contractAddress: AztecAddress;
                     msgSender: AztecAddress;
                     isStaticCall: boolean;
-                    calldata: Fr[];
-                }, {
+                    calldata: Fr[];
+                }, {
+                    isStaticCall: boolean;
+                    calldata: string[];
+                    contractAddress?: any;
+                    msgSender?: any;
+                }>, AvmEnqueuedCallHint, {
+                    isStaticCall: boolean;
+                    calldata: string[];
+                    contractAddress?: any;
+                    msgSender?: any;
+                }>>;
+            }, "strip", z.ZodTypeAny, {
+                hash: string;
+                nonRevertibleAccumulatedData: {
+                    noteHashes: Fr[];
+                    nullifiers: Fr[];
+                };
+                revertibleAccumulatedData: {
+                    noteHashes: Fr[];
+                    nullifiers: Fr[];
+                };
+                setupEnqueuedCalls: AvmEnqueuedCallHint[];
+                appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
+                teardownEnqueuedCall: AvmEnqueuedCallHint | null;
+            }, {
+                hash: string;
+                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;
-                }>, AvmEnqueuedCallHint, {
+                }[];
+                teardownEnqueuedCall: {
                     isStaticCall: boolean;
                     calldata: string[];
                     contractAddress?: any;
                     msgSender?: any;
-                }>>;
-            }, "strip", z.ZodTypeAny, {
-                nonRevertibleAccumulatedData: {
-                    noteHashes: Fr[];
-                    nullifiers: Fr[];
-                };
-                revertibleAccumulatedData: {
-                    noteHashes: Fr[];
-                    nullifiers: Fr[];
-                };
-                setupEnqueuedCalls: AvmEnqueuedCallHint[];
-                appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
-                teardownEnqueuedCall: AvmEnqueuedCallHint | null;
-            }, {
+                } | null;
+            }>, AvmTxHint, {
+                hash: string;
                 nonRevertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
@@ -4736,20 +5694,376 @@ export declare class AvmCircuitInputs {
                     };
                 };
             }>, "many">;
-        }, "strip", z.ZodTypeAny, {
-            tx: {
-                nonRevertibleAccumulatedData: {
-                    noteHashes: Fr[];
-                    nullifiers: Fr[];
+            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;
                 };
-                revertibleAccumulatedData: {
-                    noteHashes: Fr[];
-                    nullifiers: Fr[];
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
                 };
-                setupEnqueuedCalls: AvmEnqueuedCallHint[];
-                appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
-                teardownEnqueuedCall: AvmEnqueuedCallHint | null;
-            };
+                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;
+            }, {
+                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;
+                    };
+                };
+            }>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            tx: AvmTxHint;
             contractInstances: AvmContractInstanceHint[];
             contractClasses: AvmContractClassHint[];
             bytecodeCommitments: AvmBytecodeCommitmentHint[];
@@ -4798,8 +6112,13 @@ export declare class AvmCircuitInputs {
                     path: Fr[];
                 };
             }[];
+            appendLeavesHints: AvmAppendLeavesHint[];
+            createCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
+            commitCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
+            revertCheckpointHints: AvmRevertCheckpointHint[];
         }, {
             tx: {
+                hash: string;
                 nonRevertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
@@ -5030,8 +6349,72 @@ 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;
                 nonRevertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
@@ -5262,6 +6645,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<{
@@ -5394,7 +6840,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 +7271,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;
@@ -5957,7 +7403,7 @@ export declare class AvmCircuitInputs {
             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 +7411,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 +7714,6 @@ export declare class AvmCircuitInputs {
         }>;
     }, "strip", z.ZodTypeAny, {
         publicInputs: AvmCircuitPublicInputs;
-        calldata: Fr[];
-        functionName: string;
         hints: AvmExecutionHints;
     }, {
         publicInputs: {
@@ -6421,10 +7865,9 @@ export declare class AvmCircuitInputs {
             reverted: boolean;
             feePayer?: any;
         };
-        calldata: string[];
-        functionName: string;
         hints: {
             tx: {
+                hash: string;
                 nonRevertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
@@ -6655,6 +8098,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 +8312,9 @@ export declare class AvmCircuitInputs {
             reverted: boolean;
             feePayer?: any;
         };
-        calldata: string[];
-        functionName: string;
         hints: {
             tx: {
+                hash: string;
                 nonRevertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
@@ -7040,6 +8545,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;