@aztec/stdlib 0.82.2 → 0.82.3-nightly.20250403

package/dest/avm/avm_proving_request.d.ts

@@ -146,357 +146,1152 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 classId: string;
                 commitment: string;
             }>, "many">;
-            publicDataReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            getSiblingPathHints: 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;
+                }>;
+                treeId: z.ZodNumber;
+                index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                path: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                path: import("@aztec/foundation/schemas").Fr[];
+                index: bigint;
+                hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                treeId: number;
+            }, {
+                path: string[];
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+            }>, import("./avm.js").AvmGetSiblingPathHint, {
+                path: string[];
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+            }>, "many">;
+            getPreviousValueIndexHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                hintKey: z.ZodEffects<z.ZodObject<{
+                    root: z.ZodType<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;
+                value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                alreadyPresent: z.ZodBoolean;
+            }, "strip", z.ZodTypeAny, {
+                value: import("@aztec/foundation/schemas").Fr;
+                index: bigint;
+                hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                treeId: number;
+                alreadyPresent: boolean;
+            }, {
+                value: string;
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                alreadyPresent: boolean;
+            }>, import("./avm.js").AvmGetPreviousValueIndexHint, {
+                value: string;
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                alreadyPresent: boolean;
+            }>, "many">;
+            getLeafPreimageHintsPublicDataTree: 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;
+                }>;
+                index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                 leafPreimage: z.ZodEffects<z.ZodObject<{
-                    slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    nextSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                    leaf: z.ZodEffects<z.ZodObject<{
+                        nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                    }, "strip", z.ZodTypeAny, {
+                        nullifier: import("@aztec/foundation/schemas").Fr;
+                    }, {
+                        nullifier: string;
+                    }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                        nullifier: string;
+                    }>;
+                    nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
                     nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                 }, "strip", z.ZodTypeAny, {
-                    value: import("@aztec/foundation/schemas").Fr;
-                    slot: import("@aztec/foundation/schemas").Fr;
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
+                    nextKey: import("@aztec/foundation/schemas").Fr;
                     nextIndex: bigint;
-                    nextSlot: import("@aztec/foundation/schemas").Fr;
                 }, {
-                    value: string;
-                    slot: string;
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }> | z.ZodEffects<z.ZodObject<{
+                    leaf: z.ZodEffects<z.ZodObject<{
+                        slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                    }, "strip", z.ZodTypeAny, {
+                        value: import("@aztec/foundation/schemas").Fr;
+                        slot: import("@aztec/foundation/schemas").Fr;
+                    }, {
+                        value: string;
+                        slot: string;
+                    }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                        value: string;
+                        slot: string;
+                    }>;
+                    nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                    nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                }, "strip", z.ZodTypeAny, {
+                    leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                    nextKey: import("@aztec/foundation/schemas").Fr;
+                    nextIndex: bigint;
+                }, {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
                     nextIndex: string | number | bigint;
-                    nextSlot: string;
                 }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
-                    value: string;
-                    slot: string;
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
                     nextIndex: string | number | bigint;
-                    nextSlot: string;
                 }>;
-                leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
             }, "strip", z.ZodTypeAny, {
-                leafIndex: import("@aztec/foundation/schemas").Fr;
-                siblingPath: import("@aztec/foundation/schemas").Fr[];
-                leafPreimage: import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                index: bigint;
+                hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
             }, {
-                leafIndex: string;
-                siblingPath: string[];
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
                 leafPreimage: {
-                    value: string;
-                    slot: string;
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
                     nextIndex: string | number | bigint;
-                    nextSlot: string;
                 };
-            }>, import("./avm.js").AvmPublicDataReadTreeHint, {
-                leafIndex: string;
-                siblingPath: string[];
+            }>, {
+                readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly index: bigint;
+                readonly leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+            }, {
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
                 leafPreimage: {
-                    value: string;
-                    slot: string;
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
                     nextIndex: string | number | bigint;
-                    nextSlot: string;
                 };
             }>, "many">;
-            publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                lowLeafRead: z.ZodEffects<z.ZodObject<{
-                    leafPreimage: z.ZodEffects<z.ZodObject<{
+            getLeafPreimageHintsNullifierTree: 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;
+                }>;
+                index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                leafPreimage: z.ZodEffects<z.ZodObject<{
+                    leaf: z.ZodEffects<z.ZodObject<{
+                        nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                    }, "strip", z.ZodTypeAny, {
+                        nullifier: import("@aztec/foundation/schemas").Fr;
+                    }, {
+                        nullifier: string;
+                    }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                        nullifier: string;
+                    }>;
+                    nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                    nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                }, "strip", z.ZodTypeAny, {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
+                    nextKey: import("@aztec/foundation/schemas").Fr;
+                    nextIndex: bigint;
+                }, {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }> | z.ZodEffects<z.ZodObject<{
+                    leaf: z.ZodEffects<z.ZodObject<{
                         slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
                         value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                        nextSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                        nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                     }, "strip", z.ZodTypeAny, {
                         value: import("@aztec/foundation/schemas").Fr;
                         slot: import("@aztec/foundation/schemas").Fr;
-                        nextIndex: bigint;
-                        nextSlot: import("@aztec/foundation/schemas").Fr;
                     }, {
                         value: string;
                         slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
+                    }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
                         value: string;
                         slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
                     }>;
-                    leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
+                    nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                    nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                 }, "strip", z.ZodTypeAny, {
-                    leafIndex: import("@aztec/foundation/schemas").Fr;
-                    siblingPath: import("@aztec/foundation/schemas").Fr[];
-                    leafPreimage: import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                    nextKey: import("@aztec/foundation/schemas").Fr;
+                    nextIndex: bigint;
                 }, {
-                    leafIndex: string;
-                    siblingPath: string[];
-                    leafPreimage: {
+                    leaf: {
                         value: string;
                         slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
                     };
-                }>, import("./avm.js").AvmPublicDataReadTreeHint, {
-                    leafIndex: string;
-                    siblingPath: string[];
-                    leafPreimage: {
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }>;
+            }, "strip", z.ZodTypeAny, {
+                index: bigint;
+                hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+            }, {
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                leafPreimage: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
+            }>, {
+                readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly index: bigint;
+                readonly leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+            }, {
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                leafPreimage: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
                         value: string;
                         slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
                     };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
+            }>, "many">;
+            getLeafValueHints: 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;
                 }>;
-                newLeafPreimage: z.ZodEffects<z.ZodObject<{
+                treeId: z.ZodNumber;
+                index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+            }, "strip", z.ZodTypeAny, {
+                value: import("@aztec/foundation/schemas").Fr;
+                index: bigint;
+                hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                treeId: number;
+            }, {
+                value: string;
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+            }>, import("./avm.js").AvmGetLeafValueHint, {
+                value: string;
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+            }>, "many">;
+            sequentialInsertHintsPublicDataTree: 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;
+                leaf: z.ZodEffects<z.ZodObject<{
+                    nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    nullifier: import("@aztec/foundation/schemas").Fr;
+                }, {
+                    nullifier: string;
+                }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                    nullifier: string;
+                }> | z.ZodEffects<z.ZodObject<{
                     slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
                     value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    nextSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                 }, "strip", z.ZodTypeAny, {
                     value: import("@aztec/foundation/schemas").Fr;
                     slot: import("@aztec/foundation/schemas").Fr;
-                    nextIndex: bigint;
-                    nextSlot: import("@aztec/foundation/schemas").Fr;
                 }, {
                     value: string;
                     slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
+                }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
                     value: string;
                     slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
                 }>;
-                insertionPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
+                lowLeavesWitnessData: z.ZodObject<{
+                    leaf: z.ZodEffects<z.ZodObject<{
+                        leaf: z.ZodEffects<z.ZodObject<{
+                            nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        }, "strip", z.ZodTypeAny, {
+                            nullifier: import("@aztec/foundation/schemas").Fr;
+                        }, {
+                            nullifier: string;
+                        }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                            nullifier: string;
+                        }>;
+                        nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                    }, "strip", z.ZodTypeAny, {
+                        leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
+                        nextKey: import("@aztec/foundation/schemas").Fr;
+                        nextIndex: bigint;
+                    }, {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }> | z.ZodEffects<z.ZodObject<{
+                        leaf: z.ZodEffects<z.ZodObject<{
+                            slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                            value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        }, "strip", z.ZodTypeAny, {
+                            value: import("@aztec/foundation/schemas").Fr;
+                            slot: import("@aztec/foundation/schemas").Fr;
+                        }, {
+                            value: string;
+                            slot: string;
+                        }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                            value: string;
+                            slot: string;
+                        }>;
+                        nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                    }, "strip", z.ZodTypeAny, {
+                        leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                        nextKey: import("@aztec/foundation/schemas").Fr;
+                        nextIndex: bigint;
+                    }, {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }>;
+                    index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                    path: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
+                }, "strip", z.ZodTypeAny, {
+                    path: import("@aztec/foundation/schemas").Fr[];
+                    index: bigint;
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                }, {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                }>;
+                insertionWitnessData: z.ZodObject<{
+                    leaf: z.ZodEffects<z.ZodObject<{
+                        leaf: z.ZodEffects<z.ZodObject<{
+                            nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        }, "strip", z.ZodTypeAny, {
+                            nullifier: import("@aztec/foundation/schemas").Fr;
+                        }, {
+                            nullifier: string;
+                        }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                            nullifier: string;
+                        }>;
+                        nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                    }, "strip", z.ZodTypeAny, {
+                        leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
+                        nextKey: import("@aztec/foundation/schemas").Fr;
+                        nextIndex: bigint;
+                    }, {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }> | z.ZodEffects<z.ZodObject<{
+                        leaf: z.ZodEffects<z.ZodObject<{
+                            slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                            value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        }, "strip", z.ZodTypeAny, {
+                            value: import("@aztec/foundation/schemas").Fr;
+                            slot: import("@aztec/foundation/schemas").Fr;
+                        }, {
+                            value: string;
+                            slot: string;
+                        }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                            value: string;
+                            slot: string;
+                        }>;
+                        nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                    }, "strip", z.ZodTypeAny, {
+                        leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                        nextKey: import("@aztec/foundation/schemas").Fr;
+                        nextIndex: bigint;
+                    }, {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }>;
+                    index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                    path: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
+                }, "strip", z.ZodTypeAny, {
+                    path: import("@aztec/foundation/schemas").Fr[];
+                    index: bigint;
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                }, {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                }>;
             }, "strip", z.ZodTypeAny, {
-                lowLeafRead: import("./avm.js").AvmPublicDataReadTreeHint;
-                insertionPath: import("@aztec/foundation/schemas").Fr[];
-                newLeafPreimage: import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                treeId: number;
+                stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                lowLeavesWitnessData: {
+                    path: import("@aztec/foundation/schemas").Fr[];
+                    index: bigint;
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                };
+                insertionWitnessData: {
+                    path: import("@aztec/foundation/schemas").Fr[];
+                    index: bigint;
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                };
             }, {
-                lowLeafRead: {
-                    leafIndex: string;
-                    siblingPath: string[];
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
+                leaf: {
+                    nullifier: string;
+                } | {
+                    value: string;
+                    slot: string;
+                };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                lowLeavesWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
+                insertionWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
                         nextIndex: string | number | bigint;
-                        nextSlot: string;
                     };
                 };
-                insertionPath: string[];
-                newLeafPreimage: {
+            }>, {
+                readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly treeId: import("../trees/merkle_tree_id.js").MerkleTreeId;
+                readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                readonly lowLeavesWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec/foundation/schemas").Fr[];
+                };
+                readonly insertionWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec/foundation/schemas").Fr[];
+                };
+            }, {
+                leaf: {
+                    nullifier: string;
+                } | {
                     value: string;
                     slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
                 };
-            }>, import("./avm.js").AvmPublicDataWriteTreeHint, {
-                lowLeafRead: {
-                    leafIndex: string;
-                    siblingPath: string[];
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                lowLeavesWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
+                insertionWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
+            }>, "many">;
+            sequentialInsertHintsNullifierTree: 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;
+                leaf: z.ZodEffects<z.ZodObject<{
+                    nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    nullifier: import("@aztec/foundation/schemas").Fr;
+                }, {
+                    nullifier: string;
+                }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                    nullifier: string;
+                }> | z.ZodEffects<z.ZodObject<{
+                    slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                    value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    value: import("@aztec/foundation/schemas").Fr;
+                    slot: import("@aztec/foundation/schemas").Fr;
+                }, {
+                    value: string;
+                    slot: string;
+                }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                    value: string;
+                    slot: string;
+                }>;
+                lowLeavesWitnessData: z.ZodObject<{
+                    leaf: z.ZodEffects<z.ZodObject<{
+                        leaf: z.ZodEffects<z.ZodObject<{
+                            nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        }, "strip", z.ZodTypeAny, {
+                            nullifier: import("@aztec/foundation/schemas").Fr;
+                        }, {
+                            nullifier: string;
+                        }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                            nullifier: string;
+                        }>;
+                        nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                    }, "strip", z.ZodTypeAny, {
+                        leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
+                        nextKey: import("@aztec/foundation/schemas").Fr;
+                        nextIndex: bigint;
+                    }, {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }> | z.ZodEffects<z.ZodObject<{
+                        leaf: z.ZodEffects<z.ZodObject<{
+                            slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                            value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        }, "strip", z.ZodTypeAny, {
+                            value: import("@aztec/foundation/schemas").Fr;
+                            slot: import("@aztec/foundation/schemas").Fr;
+                        }, {
+                            value: string;
+                            slot: string;
+                        }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                            value: string;
+                            slot: string;
+                        }>;
+                        nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                    }, "strip", z.ZodTypeAny, {
+                        leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                        nextKey: import("@aztec/foundation/schemas").Fr;
+                        nextIndex: bigint;
+                    }, {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
                         nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                };
-                insertionPath: string[];
-                newLeafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                };
-            }>, "many">;
-            nullifierReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                lowLeafPreimage: z.ZodEffects<z.ZodObject<{
-                    nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    nextNullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                    }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }>;
+                    index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                    path: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
                 }, "strip", z.ZodTypeAny, {
-                    nullifier: import("@aztec/foundation/schemas").Fr;
-                    nextNullifier: import("@aztec/foundation/schemas").Fr;
-                    nextIndex: bigint;
+                    path: import("@aztec/foundation/schemas").Fr[];
+                    index: bigint;
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
                 }, {
-                    nullifier: string;
-                    nextNullifier: string;
-                    nextIndex: string | number | bigint;
-                }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
-                    nullifier: string;
-                    nextNullifier: string;
-                    nextIndex: string | number | bigint;
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
                 }>;
-                lowLeafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                lowLeafSiblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-            }, "strip", z.ZodTypeAny, {
-                lowLeafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage;
-                lowLeafIndex: import("@aztec/foundation/schemas").Fr;
-                lowLeafSiblingPath: import("@aztec/foundation/schemas").Fr[];
-            }, {
-                lowLeafPreimage: {
-                    nullifier: string;
-                    nextNullifier: string;
-                    nextIndex: string | number | bigint;
-                };
-                lowLeafIndex: string;
-                lowLeafSiblingPath: string[];
-            }>, import("./avm.js").AvmNullifierReadTreeHint, {
-                lowLeafPreimage: {
-                    nullifier: string;
-                    nextNullifier: string;
-                    nextIndex: string | number | bigint;
-                };
-                lowLeafIndex: string;
-                lowLeafSiblingPath: string[];
-            }>, "many">;
-            nullifierWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                lowLeafRead: z.ZodEffects<z.ZodObject<{
-                    lowLeafPreimage: z.ZodEffects<z.ZodObject<{
-                        nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                        nextNullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                insertionWitnessData: z.ZodObject<{
+                    leaf: z.ZodEffects<z.ZodObject<{
+                        leaf: z.ZodEffects<z.ZodObject<{
+                            nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        }, "strip", z.ZodTypeAny, {
+                            nullifier: import("@aztec/foundation/schemas").Fr;
+                        }, {
+                            nullifier: string;
+                        }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                            nullifier: string;
+                        }>;
+                        nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
                         nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                     }, "strip", z.ZodTypeAny, {
-                        nullifier: import("@aztec/foundation/schemas").Fr;
-                        nextNullifier: import("@aztec/foundation/schemas").Fr;
+                        leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
+                        nextKey: import("@aztec/foundation/schemas").Fr;
                         nextIndex: bigint;
                     }, {
-                        nullifier: string;
-                        nextNullifier: string;
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
                         nextIndex: string | number | bigint;
                     }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
-                        nullifier: string;
-                        nextNullifier: string;
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }> | z.ZodEffects<z.ZodObject<{
+                        leaf: z.ZodEffects<z.ZodObject<{
+                            slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                            value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        }, "strip", z.ZodTypeAny, {
+                            value: import("@aztec/foundation/schemas").Fr;
+                            slot: import("@aztec/foundation/schemas").Fr;
+                        }, {
+                            value: string;
+                            slot: string;
+                        }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                            value: string;
+                            slot: string;
+                        }>;
+                        nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                    }, "strip", z.ZodTypeAny, {
+                        leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                        nextKey: import("@aztec/foundation/schemas").Fr;
+                        nextIndex: bigint;
+                    }, {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
                         nextIndex: string | number | bigint;
                     }>;
-                    lowLeafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    lowLeafSiblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
+                    index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                    path: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
                 }, "strip", z.ZodTypeAny, {
-                    lowLeafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage;
-                    lowLeafIndex: import("@aztec/foundation/schemas").Fr;
-                    lowLeafSiblingPath: import("@aztec/foundation/schemas").Fr[];
+                    path: import("@aztec/foundation/schemas").Fr[];
+                    index: bigint;
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
                 }, {
-                    lowLeafPreimage: {
-                        nullifier: string;
-                        nextNullifier: string;
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
                         nextIndex: string | number | bigint;
-                    };
-                    lowLeafIndex: string;
-                    lowLeafSiblingPath: string[];
-                }>, import("./avm.js").AvmNullifierReadTreeHint, {
-                    lowLeafPreimage: {
-                        nullifier: string;
-                        nextNullifier: string;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
                         nextIndex: string | number | bigint;
                     };
-                    lowLeafIndex: string;
-                    lowLeafSiblingPath: string[];
                 }>;
-                insertionPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
             }, "strip", z.ZodTypeAny, {
-                lowLeafRead: import("./avm.js").AvmNullifierReadTreeHint;
-                insertionPath: import("@aztec/foundation/schemas").Fr[];
+                leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                treeId: number;
+                stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                lowLeavesWitnessData: {
+                    path: import("@aztec/foundation/schemas").Fr[];
+                    index: bigint;
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                };
+                insertionWitnessData: {
+                    path: import("@aztec/foundation/schemas").Fr[];
+                    index: bigint;
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                };
             }, {
-                lowLeafRead: {
-                    lowLeafPreimage: {
-                        nullifier: string;
-                        nextNullifier: string;
+                leaf: {
+                    nullifier: string;
+                } | {
+                    value: string;
+                    slot: string;
+                };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                lowLeavesWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
                         nextIndex: string | number | bigint;
                     };
-                    lowLeafIndex: string;
-                    lowLeafSiblingPath: string[];
                 };
-                insertionPath: string[];
-            }>, import("./avm.js").AvmNullifierWriteTreeHint, {
-                lowLeafRead: {
-                    lowLeafPreimage: {
-                        nullifier: string;
-                        nextNullifier: string;
+                insertionWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
                         nextIndex: string | number | bigint;
                     };
-                    lowLeafIndex: string;
-                    lowLeafSiblingPath: string[];
                 };
-                insertionPath: string[];
-            }>, "many">;
-            noteHashReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-            }, "strip", z.ZodTypeAny, {
-                value: import("@aztec/foundation/schemas").Fr;
-                leafIndex: import("@aztec/foundation/schemas").Fr;
-                siblingPath: import("@aztec/foundation/schemas").Fr[];
-            }, {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }>, import("./avm.js").AvmAppendTreeHint, {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }>, "many">;
-            noteHashWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-            }, "strip", z.ZodTypeAny, {
-                value: import("@aztec/foundation/schemas").Fr;
-                leafIndex: import("@aztec/foundation/schemas").Fr;
-                siblingPath: import("@aztec/foundation/schemas").Fr[];
-            }, {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }>, import("./avm.js").AvmAppendTreeHint, {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }>, "many">;
-            l1ToL2MessageReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-            }, "strip", z.ZodTypeAny, {
-                value: import("@aztec/foundation/schemas").Fr;
-                leafIndex: import("@aztec/foundation/schemas").Fr;
-                siblingPath: import("@aztec/foundation/schemas").Fr[];
+            }>, {
+                readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly treeId: import("../trees/merkle_tree_id.js").MerkleTreeId;
+                readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                readonly lowLeavesWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec/foundation/schemas").Fr[];
+                };
+                readonly insertionWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec/foundation/schemas").Fr[];
+                };
             }, {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }>, import("./avm.js").AvmAppendTreeHint, {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
+                leaf: {
+                    nullifier: string;
+                } | {
+                    value: string;
+                    slot: string;
+                };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                lowLeavesWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
+                insertionWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
             }>, "many">;
         }, "strip", z.ZodTypeAny, {
-            publicDataWrites: import("./avm.js").AvmPublicDataWriteTreeHint[];
             enqueuedCalls: import("./avm.js").AvmEnqueuedCallHint[];
             contractInstances: import("./avm.js").AvmContractInstanceHint[];
             contractClasses: import("./avm.js").AvmContractClassHint[];
             bytecodeCommitments: import("./avm.js").AvmBytecodeCommitmentHint[];
-            publicDataReads: import("./avm.js").AvmPublicDataReadTreeHint[];
-            nullifierReads: import("./avm.js").AvmNullifierReadTreeHint[];
-            nullifierWrites: import("./avm.js").AvmNullifierWriteTreeHint[];
-            noteHashReads: import("./avm.js").AvmAppendTreeHint[];
-            noteHashWrites: import("./avm.js").AvmAppendTreeHint[];
-            l1ToL2MessageReads: import("./avm.js").AvmAppendTreeHint[];
-        }, {
-            publicDataWrites: {
-                lowLeafRead: {
-                    leafIndex: string;
-                    siblingPath: string[];
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                };
-                insertionPath: string[];
-                newLeafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
+            getSiblingPathHints: import("./avm.js").AvmGetSiblingPathHint[];
+            getPreviousValueIndexHints: import("./avm.js").AvmGetPreviousValueIndexHint[];
+            getLeafPreimageHintsPublicDataTree: {
+                readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly index: bigint;
+                readonly leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+            }[];
+            getLeafPreimageHintsNullifierTree: {
+                readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly index: bigint;
+                readonly leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+            }[];
+            getLeafValueHints: import("./avm.js").AvmGetLeafValueHint[];
+            sequentialInsertHintsPublicDataTree: {
+                readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly treeId: import("../trees/merkle_tree_id.js").MerkleTreeId;
+                readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                readonly lowLeavesWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec/foundation/schemas").Fr[];
+                };
+                readonly insertionWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec/foundation/schemas").Fr[];
+                };
+            }[];
+            sequentialInsertHintsNullifierTree: {
+                readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly treeId: import("../trees/merkle_tree_id.js").MerkleTreeId;
+                readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                readonly lowLeavesWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec/foundation/schemas").Fr[];
+                };
+                readonly insertionWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec/foundation/schemas").Fr[];
                 };
             }[];
+        }, {
             enqueuedCalls: {
                 isStaticCall: boolean;
                 calldata: string[];
@@ -530,72 +1325,183 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 classId: string;
                 commitment: string;
             }[];
-            publicDataReads: {
-                leafIndex: string;
-                siblingPath: string[];
-                leafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
+            getSiblingPathHints: {
+                path: string[];
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
                 };
+                treeId: number;
             }[];
-            nullifierReads: {
-                lowLeafPreimage: {
-                    nullifier: string;
-                    nextNullifier: string;
-                    nextIndex: string | number | bigint;
+            getPreviousValueIndexHints: {
+                value: string;
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
                 };
-                lowLeafIndex: string;
-                lowLeafSiblingPath: string[];
+                treeId: number;
+                alreadyPresent: boolean;
             }[];
-            nullifierWrites: {
-                lowLeafRead: {
-                    lowLeafPreimage: {
+            getLeafPreimageHintsPublicDataTree: {
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                leafPreimage: {
+                    leaf: {
                         nullifier: string;
-                        nextNullifier: string;
-                        nextIndex: string | number | bigint;
                     };
-                    lowLeafIndex: string;
-                    lowLeafSiblingPath: string[];
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
                 };
-                insertionPath: string[];
             }[];
-            noteHashReads: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }[];
-            noteHashWrites: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
+            getLeafPreimageHintsNullifierTree: {
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                leafPreimage: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
             }[];
-            l1ToL2MessageReads: {
+            getLeafValueHints: {
                 value: string;
-                leafIndex: string;
-                siblingPath: string[];
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
             }[];
-        }>, import("./avm.js").AvmExecutionHints, {
-            publicDataWrites: {
-                lowLeafRead: {
-                    leafIndex: string;
-                    siblingPath: string[];
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
+            sequentialInsertHintsPublicDataTree: {
+                leaf: {
+                    nullifier: string;
+                } | {
+                    value: string;
+                    slot: string;
+                };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                lowLeavesWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
+                insertionWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
                         nextIndex: string | number | bigint;
-                        nextSlot: string;
                     };
                 };
-                insertionPath: string[];
-                newLeafPreimage: {
+            }[];
+            sequentialInsertHintsNullifierTree: {
+                leaf: {
+                    nullifier: string;
+                } | {
                     value: string;
                     slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
+                };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                lowLeavesWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
+                insertionWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
                 };
             }[];
+        }>, import("./avm.js").AvmExecutionHints, {
             enqueuedCalls: {
                 isStaticCall: boolean;
                 calldata: string[];
@@ -629,51 +1535,181 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 classId: string;
                 commitment: string;
             }[];
-            publicDataReads: {
-                leafIndex: string;
-                siblingPath: string[];
+            getSiblingPathHints: {
+                path: string[];
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+            }[];
+            getPreviousValueIndexHints: {
+                value: string;
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                alreadyPresent: boolean;
+            }[];
+            getLeafPreimageHintsPublicDataTree: {
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
                 leafPreimage: {
-                    value: string;
-                    slot: string;
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
                     nextIndex: string | number | bigint;
-                    nextSlot: string;
                 };
             }[];
-            nullifierReads: {
-                lowLeafPreimage: {
-                    nullifier: string;
-                    nextNullifier: string;
+            getLeafPreimageHintsNullifierTree: {
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                leafPreimage: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
                     nextIndex: string | number | bigint;
                 };
-                lowLeafIndex: string;
-                lowLeafSiblingPath: string[];
             }[];
-            nullifierWrites: {
-                lowLeafRead: {
-                    lowLeafPreimage: {
-                        nullifier: string;
-                        nextNullifier: string;
+            getLeafValueHints: {
+                value: string;
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+            }[];
+            sequentialInsertHintsPublicDataTree: {
+                leaf: {
+                    nullifier: string;
+                } | {
+                    value: string;
+                    slot: string;
+                };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                lowLeavesWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
+                insertionWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
+            }[];
+            sequentialInsertHintsNullifierTree: {
+                leaf: {
+                    nullifier: string;
+                } | {
+                    value: string;
+                    slot: string;
+                };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                lowLeavesWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
+                insertionWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
                         nextIndex: string | number | bigint;
                     };
-                    lowLeafIndex: string;
-                    lowLeafSiblingPath: string[];
                 };
-                insertionPath: string[];
-            }[];
-            noteHashReads: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }[];
-            noteHashWrites: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }[];
-            l1ToL2MessageReads: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
             }[];
         }>;
         publicInputs: z.ZodEffects<z.ZodObject<{
@@ -1688,25 +2724,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
         calldata: string[];
         functionName: string;
         hints: {
-            publicDataWrites: {
-                lowLeafRead: {
-                    leafIndex: string;
-                    siblingPath: string[];
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                };
-                insertionPath: string[];
-                newLeafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                };
-            }[];
             enqueuedCalls: {
                 isStaticCall: boolean;
                 calldata: string[];
@@ -1740,51 +2757,181 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 classId: string;
                 commitment: string;
             }[];
-            publicDataReads: {
-                leafIndex: string;
-                siblingPath: string[];
-                leafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
+            getSiblingPathHints: {
+                path: string[];
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
                 };
+                treeId: number;
             }[];
-            nullifierReads: {
-                lowLeafPreimage: {
-                    nullifier: string;
-                    nextNullifier: string;
+            getPreviousValueIndexHints: {
+                value: string;
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                alreadyPresent: boolean;
+            }[];
+            getLeafPreimageHintsPublicDataTree: {
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                leafPreimage: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
                     nextIndex: string | number | bigint;
                 };
-                lowLeafIndex: string;
-                lowLeafSiblingPath: string[];
             }[];
-            nullifierWrites: {
-                lowLeafRead: {
-                    lowLeafPreimage: {
+            getLeafPreimageHintsNullifierTree: {
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                leafPreimage: {
+                    leaf: {
                         nullifier: string;
-                        nextNullifier: string;
-                        nextIndex: string | number | bigint;
                     };
-                    lowLeafIndex: string;
-                    lowLeafSiblingPath: string[];
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
                 };
-                insertionPath: string[];
             }[];
-            noteHashReads: {
+            getLeafValueHints: {
                 value: string;
-                leafIndex: string;
-                siblingPath: string[];
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
             }[];
-            noteHashWrites: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
+            sequentialInsertHintsPublicDataTree: {
+                leaf: {
+                    nullifier: string;
+                } | {
+                    value: string;
+                    slot: string;
+                };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                lowLeavesWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
+                insertionWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
             }[];
-            l1ToL2MessageReads: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
+            sequentialInsertHintsNullifierTree: {
+                leaf: {
+                    nullifier: string;
+                } | {
+                    value: string;
+                    slot: string;
+                };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                lowLeavesWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
+                insertionWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
             }[];
         };
         publicInputs: {
@@ -1940,25 +3087,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
         calldata: string[];
         functionName: string;
         hints: {
-            publicDataWrites: {
-                lowLeafRead: {
-                    leafIndex: string;
-                    siblingPath: string[];
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                };
-                insertionPath: string[];
-                newLeafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                };
-            }[];
             enqueuedCalls: {
                 isStaticCall: boolean;
                 calldata: string[];
@@ -1992,51 +3120,181 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 classId: string;
                 commitment: string;
             }[];
-            publicDataReads: {
-                leafIndex: string;
-                siblingPath: string[];
-                leafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
+            getSiblingPathHints: {
+                path: string[];
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
                 };
+                treeId: number;
             }[];
-            nullifierReads: {
-                lowLeafPreimage: {
-                    nullifier: string;
-                    nextNullifier: string;
+            getPreviousValueIndexHints: {
+                value: string;
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                alreadyPresent: boolean;
+            }[];
+            getLeafPreimageHintsPublicDataTree: {
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                leafPreimage: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
                     nextIndex: string | number | bigint;
                 };
-                lowLeafIndex: string;
-                lowLeafSiblingPath: string[];
             }[];
-            nullifierWrites: {
-                lowLeafRead: {
-                    lowLeafPreimage: {
+            getLeafPreimageHintsNullifierTree: {
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                leafPreimage: {
+                    leaf: {
                         nullifier: string;
-                        nextNullifier: string;
-                        nextIndex: string | number | bigint;
                     };
-                    lowLeafIndex: string;
-                    lowLeafSiblingPath: string[];
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
                 };
-                insertionPath: string[];
             }[];
-            noteHashReads: {
+            getLeafValueHints: {
                 value: string;
-                leafIndex: string;
-                siblingPath: string[];
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
             }[];
-            noteHashWrites: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
+            sequentialInsertHintsPublicDataTree: {
+                leaf: {
+                    nullifier: string;
+                } | {
+                    value: string;
+                    slot: string;
+                };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                lowLeavesWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
+                insertionWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
             }[];
-            l1ToL2MessageReads: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
+            sequentialInsertHintsNullifierTree: {
+                leaf: {
+                    nullifier: string;
+                } | {
+                    value: string;
+                    slot: string;
+                };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                lowLeavesWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
+                insertionWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
             }[];
         };
         publicInputs: {
@@ -2198,25 +3456,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
         calldata: string[];
         functionName: string;
         hints: {
-            publicDataWrites: {
-                lowLeafRead: {
-                    leafIndex: string;
-                    siblingPath: string[];
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                };
-                insertionPath: string[];
-                newLeafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                };
-            }[];
             enqueuedCalls: {
                 isStaticCall: boolean;
                 calldata: string[];
@@ -2250,51 +3489,181 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 classId: string;
                 commitment: string;
             }[];
-            publicDataReads: {
-                leafIndex: string;
-                siblingPath: string[];
-                leafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
+            getSiblingPathHints: {
+                path: string[];
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
                 };
+                treeId: number;
             }[];
-            nullifierReads: {
-                lowLeafPreimage: {
-                    nullifier: string;
-                    nextNullifier: string;
+            getPreviousValueIndexHints: {
+                value: string;
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                alreadyPresent: boolean;
+            }[];
+            getLeafPreimageHintsPublicDataTree: {
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                leafPreimage: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
                     nextIndex: string | number | bigint;
                 };
-                lowLeafIndex: string;
-                lowLeafSiblingPath: string[];
             }[];
-            nullifierWrites: {
-                lowLeafRead: {
-                    lowLeafPreimage: {
+            getLeafPreimageHintsNullifierTree: {
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                leafPreimage: {
+                    leaf: {
                         nullifier: string;
-                        nextNullifier: string;
-                        nextIndex: string | number | bigint;
                     };
-                    lowLeafIndex: string;
-                    lowLeafSiblingPath: string[];
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
                 };
-                insertionPath: string[];
             }[];
-            noteHashReads: {
+            getLeafValueHints: {
                 value: string;
-                leafIndex: string;
-                siblingPath: string[];
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
             }[];
-            noteHashWrites: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
+            sequentialInsertHintsPublicDataTree: {
+                leaf: {
+                    nullifier: string;
+                } | {
+                    value: string;
+                    slot: string;
+                };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                lowLeavesWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
+                insertionWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
             }[];
-            l1ToL2MessageReads: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
+            sequentialInsertHintsNullifierTree: {
+                leaf: {
+                    nullifier: string;
+                } | {
+                    value: string;
+                    slot: string;
+                };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                lowLeavesWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
+                insertionWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
             }[];
         };
         publicInputs: {