@aztec/stdlib 0.84.0 → 0.85.0

package/dest/avm/avm_proving_request.d.ts

@@ -7,10 +7,64 @@ export type AvmProvingRequest = z.infer<typeof AvmProvingRequestSchema>;
 export declare const AvmProvingRequestSchema: z.ZodObject<{
     type: z.ZodLiteral<ProvingRequestType.PUBLIC_VM>;
     inputs: z.ZodEffects<z.ZodObject<{
-        functionName: z.ZodString;
-        calldata: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").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<import("@aztec/foundation/schemas").Fr>;
+                    version: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
+                    blockNumber: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
+                    slotNumber: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
+                    timestamp: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
+                    coinbase: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
+                    feeRecipient: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                    gasFees: z.ZodEffects<z.ZodObject<{
+                        feePerDaGas: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        feePerL2Gas: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                    }, "strip", z.ZodTypeAny, {
+                        feePerDaGas: import("@aztec/foundation/schemas").Fr;
+                        feePerL2Gas: import("@aztec/foundation/schemas").Fr;
+                    }, {
+                        feePerDaGas: string;
+                        feePerL2Gas: string;
+                    }>, import("../gas/gas_fees.js").GasFees, {
+                        feePerDaGas: string;
+                        feePerL2Gas: string;
+                    }>;
+                }, "strip", z.ZodTypeAny, {
+                    chainId: import("@aztec/foundation/schemas").Fr;
+                    version: import("@aztec/foundation/schemas").Fr;
+                    blockNumber: import("@aztec/foundation/schemas").Fr;
+                    slotNumber: import("@aztec/foundation/schemas").Fr;
+                    timestamp: import("@aztec/foundation/schemas").Fr;
+                    coinbase: import("@aztec/foundation/schemas").EthAddress;
+                    feeRecipient: import("../aztec-address/index.js").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;
+                }>, import("../tx/global_variables.js").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<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
                     nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
@@ -95,6 +149,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     msgSender?: any;
                 }>>;
             }, "strip", z.ZodTypeAny, {
+                hash: string;
+                globalVariables: import("../tx/global_variables.js").GlobalVariables;
                 nonRevertibleAccumulatedData: {
                     noteHashes: import("@aztec/foundation/schemas").Fr[];
                     nullifiers: import("@aztec/foundation/schemas").Fr[];
@@ -107,6 +163,61 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 appLogicEnqueuedCalls: import("./avm.js").AvmEnqueuedCallHint[];
                 teardownEnqueuedCall: import("./avm.js").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;
+            }>, import("./avm.js").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[];
@@ -249,6 +360,99 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 classId: string;
                 commitment: string;
             }>, "many">;
+            startingTreeRoots: z.ZodEffects<z.ZodObject<{
+                l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                }, "strip", z.ZodTypeAny, {
+                    root: import("@aztec/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>;
+                noteHashTree: z.ZodEffects<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                }, "strip", z.ZodTypeAny, {
+                    root: import("@aztec/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>;
+                nullifierTree: z.ZodEffects<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                }, "strip", z.ZodTypeAny, {
+                    root: import("@aztec/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>;
+                publicDataTree: z.ZodEffects<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                }, "strip", z.ZodTypeAny, {
+                    root: import("@aztec/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>;
+            }, "strip", z.ZodTypeAny, {
+                noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").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;
+                };
+            }>, import("../tx/tree_snapshots.js").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<import("@aztec/foundation/schemas").Fr, any, string>;
@@ -1344,23 +1548,388 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     };
                 };
             }>, "many">;
-        }, "strip", z.ZodTypeAny, {
-            tx: {
-                nonRevertibleAccumulatedData: {
-                    noteHashes: import("@aztec/foundation/schemas").Fr[];
-                    nullifiers: import("@aztec/foundation/schemas").Fr[];
+            appendLeavesHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                hintKey: z.ZodEffects<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                }, "strip", z.ZodTypeAny, {
+                    root: import("@aztec/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>;
+                stateAfter: z.ZodEffects<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                }, "strip", z.ZodTypeAny, {
+                    root: import("@aztec/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>;
+                treeId: z.ZodNumber;
+                leaves: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                treeId: number;
+                stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                leaves: import("@aztec/foundation/schemas").Fr[];
+            }, {
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
                 };
-                revertibleAccumulatedData: {
-                    noteHashes: import("@aztec/foundation/schemas").Fr[];
-                    nullifiers: import("@aztec/foundation/schemas").Fr[];
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
                 };
-                setupEnqueuedCalls: import("./avm.js").AvmEnqueuedCallHint[];
-                appLogicEnqueuedCalls: import("./avm.js").AvmEnqueuedCallHint[];
-                teardownEnqueuedCall: import("./avm.js").AvmEnqueuedCallHint | null;
-            };
+                leaves: string[];
+            }>, import("./avm.js").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;
+            }>, {
+                readonly actionCounter: number;
+                readonly oldCheckpointId: number;
+                readonly newCheckpointId: number;
+            }, {
+                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;
+            }>, {
+                readonly actionCounter: number;
+                readonly oldCheckpointId: number;
+                readonly newCheckpointId: number;
+            }, {
+                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<import("@aztec/foundation/schemas").Fr, any, string>;
+                        nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                    }, "strip", z.ZodTypeAny, {
+                        root: import("@aztec/foundation/schemas").Fr;
+                        nextAvailableLeafIndex: number;
+                    }, {
+                        root: string;
+                        nextAvailableLeafIndex: string | number | bigint;
+                    }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                        root: string;
+                        nextAvailableLeafIndex: string | number | bigint;
+                    }>;
+                    noteHashTree: z.ZodEffects<z.ZodObject<{
+                        root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                    }, "strip", z.ZodTypeAny, {
+                        root: import("@aztec/foundation/schemas").Fr;
+                        nextAvailableLeafIndex: number;
+                    }, {
+                        root: string;
+                        nextAvailableLeafIndex: string | number | bigint;
+                    }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                        root: string;
+                        nextAvailableLeafIndex: string | number | bigint;
+                    }>;
+                    nullifierTree: z.ZodEffects<z.ZodObject<{
+                        root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                    }, "strip", z.ZodTypeAny, {
+                        root: import("@aztec/foundation/schemas").Fr;
+                        nextAvailableLeafIndex: number;
+                    }, {
+                        root: string;
+                        nextAvailableLeafIndex: string | number | bigint;
+                    }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                        root: string;
+                        nextAvailableLeafIndex: string | number | bigint;
+                    }>;
+                    publicDataTree: z.ZodEffects<z.ZodObject<{
+                        root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                    }, "strip", z.ZodTypeAny, {
+                        root: import("@aztec/foundation/schemas").Fr;
+                        nextAvailableLeafIndex: number;
+                    }, {
+                        root: string;
+                        nextAvailableLeafIndex: string | number | bigint;
+                    }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                        root: string;
+                        nextAvailableLeafIndex: string | number | bigint;
+                    }>;
+                }, "strip", z.ZodTypeAny, {
+                    noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                    nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                    publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                    l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").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;
+                    };
+                }>, import("../tx/tree_snapshots.js").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<import("@aztec/foundation/schemas").Fr, any, string>;
+                        nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                    }, "strip", z.ZodTypeAny, {
+                        root: import("@aztec/foundation/schemas").Fr;
+                        nextAvailableLeafIndex: number;
+                    }, {
+                        root: string;
+                        nextAvailableLeafIndex: string | number | bigint;
+                    }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                        root: string;
+                        nextAvailableLeafIndex: string | number | bigint;
+                    }>;
+                    noteHashTree: z.ZodEffects<z.ZodObject<{
+                        root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                    }, "strip", z.ZodTypeAny, {
+                        root: import("@aztec/foundation/schemas").Fr;
+                        nextAvailableLeafIndex: number;
+                    }, {
+                        root: string;
+                        nextAvailableLeafIndex: string | number | bigint;
+                    }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                        root: string;
+                        nextAvailableLeafIndex: string | number | bigint;
+                    }>;
+                    nullifierTree: z.ZodEffects<z.ZodObject<{
+                        root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                    }, "strip", z.ZodTypeAny, {
+                        root: import("@aztec/foundation/schemas").Fr;
+                        nextAvailableLeafIndex: number;
+                    }, {
+                        root: string;
+                        nextAvailableLeafIndex: string | number | bigint;
+                    }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                        root: string;
+                        nextAvailableLeafIndex: string | number | bigint;
+                    }>;
+                    publicDataTree: z.ZodEffects<z.ZodObject<{
+                        root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                    }, "strip", z.ZodTypeAny, {
+                        root: import("@aztec/foundation/schemas").Fr;
+                        nextAvailableLeafIndex: number;
+                    }, {
+                        root: string;
+                        nextAvailableLeafIndex: string | number | bigint;
+                    }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                        root: string;
+                        nextAvailableLeafIndex: string | number | bigint;
+                    }>;
+                }, "strip", z.ZodTypeAny, {
+                    noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                    nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                    publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                    l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").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;
+                    };
+                }>, import("../tx/tree_snapshots.js").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: import("../tx/tree_snapshots.js").TreeSnapshots;
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+                stateBefore: import("../tx/tree_snapshots.js").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;
+                    };
+                };
+            }>, import("./avm.js").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: import("./avm.js").AvmTxHint;
             contractInstances: import("./avm.js").AvmContractInstanceHint[];
             contractClasses: import("./avm.js").AvmContractClassHint[];
             bytecodeCommitments: import("./avm.js").AvmBytecodeCommitmentHint[];
+            startingTreeRoots: import("../tx/tree_snapshots.js").TreeSnapshots;
             getSiblingPathHints: import("./avm.js").AvmGetSiblingPathHint[];
             getPreviousValueIndexHints: import("./avm.js").AvmGetPreviousValueIndexHint[];
             getLeafPreimageHintsPublicDataTree: {
@@ -1406,8 +1975,34 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     path: import("@aztec/foundation/schemas").Fr[];
                 };
             }[];
+            appendLeavesHints: import("./avm.js").AvmAppendLeavesHint[];
+            createCheckpointHints: {
+                readonly actionCounter: number;
+                readonly oldCheckpointId: number;
+                readonly newCheckpointId: number;
+            }[];
+            commitCheckpointHints: {
+                readonly actionCounter: number;
+                readonly oldCheckpointId: number;
+                readonly newCheckpointId: number;
+            }[];
+            revertCheckpointHints: import("./avm.js").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[];
@@ -1462,6 +2057,24 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 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;
@@ -1638,8 +2251,85 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     };
                 };
             }[];
+            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;
+                    };
+                };
+            }[];
         }>, import("./avm.js").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[];
@@ -1694,6 +2384,24 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 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;
@@ -1870,6 +2578,69 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     };
                 };
             }[];
+            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<{
@@ -2876,8 +3647,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
         }>;
     }, "strip", z.ZodTypeAny, {
         publicInputs: import("./avm_circuit_public_inputs.js").AvmCircuitPublicInputs;
-        calldata: import("@aztec/foundation/schemas").Fr[];
-        functionName: string;
         hints: import("./avm.js").AvmExecutionHints;
     }, {
         publicInputs: {
@@ -3029,10 +3798,22 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
             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[];
@@ -3087,6 +3868,24 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 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;
@@ -3263,6 +4062,69 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     };
                 };
             }[];
+            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: {
@@ -3414,10 +4276,22 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
             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[];
@@ -3472,6 +4346,24 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 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;
@@ -3648,6 +4540,69 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     };
                 };
             }[];
+            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;
+                    };
+                };
+            }[];
         };
     }>;
 }, "strip", z.ZodTypeAny, {
@@ -3805,10 +4760,22 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
             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[];
@@ -3863,6 +4830,24 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 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;
@@ -4039,6 +5024,69 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     };
                 };
             }[];
+            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;
+                    };
+                };
+            }[];
         };
     };
 }>;