@aztec/stdlib 0.84.0 → 0.85.0

package/dest/interfaces/proving-job.d.ts

@@ -36,10 +36,64 @@ export declare function mapProvingRequestTypeToCircuitName(type: ProvingRequestT
 export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [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: ZodFor<import("@aztec/foundation/schemas").Fr>;
+                    version: ZodFor<import("@aztec/foundation/schemas").Fr>;
+                    blockNumber: ZodFor<import("@aztec/foundation/schemas").Fr>;
+                    slotNumber: ZodFor<import("@aztec/foundation/schemas").Fr>;
+                    timestamp: ZodFor<import("@aztec/foundation/schemas").Fr>;
+                    coinbase: ZodFor<import("@aztec/foundation/schemas").EthAddress>;
+                    feeRecipient: 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">;
@@ -124,6 +178,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     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[];
@@ -136,6 +192,61 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 appLogicEnqueuedCalls: import("../avm/avm.js").AvmEnqueuedCallHint[];
                 teardownEnqueuedCall: import("../avm/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/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[];
@@ -278,6 +389,99 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 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>;
@@ -1373,23 +1577,388 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     };
                 };
             }>, "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/avm.js").AvmEnqueuedCallHint[];
-                appLogicEnqueuedCalls: import("../avm/avm.js").AvmEnqueuedCallHint[];
-                teardownEnqueuedCall: import("../avm/avm.js").AvmEnqueuedCallHint | null;
-            };
+                leaves: string[];
+            }>, import("../avm/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/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/avm.js").AvmTxHint;
             contractInstances: import("../avm/avm.js").AvmContractInstanceHint[];
             contractClasses: import("../avm/avm.js").AvmContractClassHint[];
             bytecodeCommitments: import("../avm/avm.js").AvmBytecodeCommitmentHint[];
+            startingTreeRoots: import("../tx/tree_snapshots.js").TreeSnapshots;
             getSiblingPathHints: import("../avm/avm.js").AvmGetSiblingPathHint[];
             getPreviousValueIndexHints: import("../avm/avm.js").AvmGetPreviousValueIndexHint[];
             getLeafPreimageHintsPublicDataTree: {
@@ -1435,8 +2004,34 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     path: import("@aztec/foundation/schemas").Fr[];
                 };
             }[];
+            appendLeavesHints: import("../avm/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/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[];
@@ -1491,6 +2086,24 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 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;
@@ -1667,8 +2280,85 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     };
                 };
             }[];
+            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/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[];
@@ -1723,6 +2413,24 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 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;
@@ -1899,6 +2607,69 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     };
                 };
             }[];
+            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<{
@@ -2905,8 +3676,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
         }>;
     }, "strip", z.ZodTypeAny, {
         publicInputs: import("../avm/avm_circuit_public_inputs.js").AvmCircuitPublicInputs;
-        calldata: import("@aztec/foundation/schemas").Fr[];
-        functionName: string;
         hints: import("../avm/avm.js").AvmExecutionHints;
     }, {
         publicInputs: {
@@ -3058,10 +3827,22 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
             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[];
@@ -3116,6 +3897,24 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 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;
@@ -3292,6 +4091,69 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     };
                 };
             }[];
+            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: {
@@ -3443,10 +4305,22 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
             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[];
@@ -3501,6 +4375,24 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 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;
@@ -3677,6 +4569,69 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     };
                 };
             }[];
+            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, {
@@ -3834,10 +4789,22 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
             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[];
@@ -3892,6 +4859,24 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 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;
@@ -4068,6 +5053,69 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     };
                 };
             }[];
+            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;
+                    };
+                };
+            }[];
         };
     };
 }>, z.ZodObject<{