@aztec/stdlib 0.82.3 → 0.83.0

package/dest/avm/avm.d.ts

@@ -5,9 +5,9 @@ import { z } from 'zod';
 import { AztecAddress } from '../aztec-address/index.js';
 import { PublicKeys } from '../keys/public_keys.js';
 import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
-import type { MerkleTreeId } from '../trees/merkle_tree_id.js';
-import { NullifierLeaf } from '../trees/nullifier_leaf.js';
-import { PublicDataTreeLeaf } from '../trees/public_data_leaf.js';
+import { MerkleTreeId } from '../trees/merkle_tree_id.js';
+import { NullifierLeafPreimage } from '../trees/nullifier_leaf.js';
+import { PublicDataTreeLeafPreimage } from '../trees/public_data_leaf.js';
 import { AvmCircuitPublicInputs } from './avm_circuit_public_inputs.js';
 export declare class AvmContractClassHint {
     readonly classId: Fr;
@@ -243,13 +243,12 @@ export declare class AvmGetPreviousValueIndexHint {
         alreadyPresent: boolean;
     }>;
 }
+type IndexedTreeLeafPreimages = NullifierLeafPreimage | PublicDataTreeLeafPreimage;
 declare const AvmGetLeafPreimageHintPublicDataTree_base: {
-    new (hintKey: AppendOnlyTreeSnapshot, index: bigint, leaf: PublicDataTreeLeaf, nextIndex: bigint, nextValue: Fr): {
+    new (hintKey: AppendOnlyTreeSnapshot, index: bigint, leafPreimage: IndexedTreeLeafPreimages): {
         readonly hintKey: AppendOnlyTreeSnapshot;
         readonly index: bigint;
-        readonly leaf: PublicDataTreeLeaf;
-        readonly nextIndex: bigint;
-        readonly nextValue: Fr;
+        readonly leafPreimage: IndexedTreeLeafPreimages;
     };
     readonly schema: z.ZodEffects<z.ZodObject<{
         hintKey: z.ZodEffects<z.ZodObject<{
@@ -266,50 +265,126 @@ declare const AvmGetLeafPreimageHintPublicDataTree_base: {
             nextAvailableLeafIndex: string | number | bigint;
         }>;
         index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-        leaf: z.ZodType<any, z.ZodTypeDef, any>;
-        nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-        nextValue: z.ZodType<Fr, any, string>;
+        leafPreimage: z.ZodEffects<z.ZodObject<{
+            leaf: z.ZodEffects<z.ZodObject<{
+                nullifier: z.ZodType<Fr, any, string>;
+            }, "strip", z.ZodTypeAny, {
+                nullifier: Fr;
+            }, {
+                nullifier: string;
+            }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                nullifier: string;
+            }>;
+            nextKey: z.ZodType<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: Fr;
+            nextIndex: bigint;
+        }, {
+            leaf: {
+                nullifier: string;
+            };
+            nextKey: string;
+            nextIndex: string | number | bigint;
+        }>, NullifierLeafPreimage, {
+            leaf: {
+                nullifier: string;
+            };
+            nextKey: string;
+            nextIndex: string | number | bigint;
+        }> | z.ZodEffects<z.ZodObject<{
+            leaf: z.ZodEffects<z.ZodObject<{
+                slot: z.ZodType<Fr, any, string>;
+                value: z.ZodType<Fr, any, string>;
+            }, "strip", z.ZodTypeAny, {
+                value: Fr;
+                slot: Fr;
+            }, {
+                value: string;
+                slot: string;
+            }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                value: string;
+                slot: string;
+            }>;
+            nextKey: z.ZodType<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: Fr;
+            nextIndex: bigint;
+        }, {
+            leaf: {
+                value: string;
+                slot: string;
+            };
+            nextKey: string;
+            nextIndex: string | number | bigint;
+        }>, PublicDataTreeLeafPreimage, {
+            leaf: {
+                value: string;
+                slot: string;
+            };
+            nextKey: string;
+            nextIndex: string | number | bigint;
+        }>;
     }, "strip", z.ZodTypeAny, {
         index: bigint;
-        nextIndex: bigint;
         hintKey: AppendOnlyTreeSnapshot;
-        nextValue: Fr;
-        leaf?: any;
+        leafPreimage: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
     }, {
         index: string | number | bigint;
-        nextIndex: string | number | bigint;
         hintKey: {
             root: string;
             nextAvailableLeafIndex: string | number | bigint;
         };
-        nextValue: string;
-        leaf?: any;
+        leafPreimage: {
+            leaf: {
+                nullifier: string;
+            };
+            nextKey: string;
+            nextIndex: string | number | bigint;
+        } | {
+            leaf: {
+                value: string;
+                slot: string;
+            };
+            nextKey: string;
+            nextIndex: string | number | bigint;
+        };
     }>, {
         readonly hintKey: AppendOnlyTreeSnapshot;
         readonly index: bigint;
-        readonly leaf: PublicDataTreeLeaf;
-        readonly nextIndex: bigint;
-        readonly nextValue: Fr;
+        readonly leafPreimage: IndexedTreeLeafPreimages;
     }, {
         index: string | number | bigint;
-        nextIndex: string | number | bigint;
         hintKey: {
             root: string;
             nextAvailableLeafIndex: string | number | bigint;
         };
-        nextValue: string;
-        leaf?: any;
+        leafPreimage: {
+            leaf: {
+                nullifier: string;
+            };
+            nextKey: string;
+            nextIndex: string | number | bigint;
+        } | {
+            leaf: {
+                value: string;
+                slot: string;
+            };
+            nextKey: string;
+            nextIndex: string | number | bigint;
+        };
     }>;
 };
 export declare class AvmGetLeafPreimageHintPublicDataTree extends AvmGetLeafPreimageHintPublicDataTree_base {
 }
 declare const AvmGetLeafPreimageHintNullifierTree_base: {
-    new (hintKey: AppendOnlyTreeSnapshot, index: bigint, leaf: NullifierLeaf, nextIndex: bigint, nextValue: Fr): {
+    new (hintKey: AppendOnlyTreeSnapshot, index: bigint, leafPreimage: IndexedTreeLeafPreimages): {
         readonly hintKey: AppendOnlyTreeSnapshot;
         readonly index: bigint;
-        readonly leaf: NullifierLeaf;
-        readonly nextIndex: bigint;
-        readonly nextValue: Fr;
+        readonly leafPreimage: IndexedTreeLeafPreimages;
     };
     readonly schema: z.ZodEffects<z.ZodObject<{
         hintKey: z.ZodEffects<z.ZodObject<{
@@ -326,39 +401,117 @@ declare const AvmGetLeafPreimageHintNullifierTree_base: {
             nextAvailableLeafIndex: string | number | bigint;
         }>;
         index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-        leaf: z.ZodType<any, z.ZodTypeDef, any>;
-        nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-        nextValue: z.ZodType<Fr, any, string>;
+        leafPreimage: z.ZodEffects<z.ZodObject<{
+            leaf: z.ZodEffects<z.ZodObject<{
+                nullifier: z.ZodType<Fr, any, string>;
+            }, "strip", z.ZodTypeAny, {
+                nullifier: Fr;
+            }, {
+                nullifier: string;
+            }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                nullifier: string;
+            }>;
+            nextKey: z.ZodType<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: Fr;
+            nextIndex: bigint;
+        }, {
+            leaf: {
+                nullifier: string;
+            };
+            nextKey: string;
+            nextIndex: string | number | bigint;
+        }>, NullifierLeafPreimage, {
+            leaf: {
+                nullifier: string;
+            };
+            nextKey: string;
+            nextIndex: string | number | bigint;
+        }> | z.ZodEffects<z.ZodObject<{
+            leaf: z.ZodEffects<z.ZodObject<{
+                slot: z.ZodType<Fr, any, string>;
+                value: z.ZodType<Fr, any, string>;
+            }, "strip", z.ZodTypeAny, {
+                value: Fr;
+                slot: Fr;
+            }, {
+                value: string;
+                slot: string;
+            }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                value: string;
+                slot: string;
+            }>;
+            nextKey: z.ZodType<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: Fr;
+            nextIndex: bigint;
+        }, {
+            leaf: {
+                value: string;
+                slot: string;
+            };
+            nextKey: string;
+            nextIndex: string | number | bigint;
+        }>, PublicDataTreeLeafPreimage, {
+            leaf: {
+                value: string;
+                slot: string;
+            };
+            nextKey: string;
+            nextIndex: string | number | bigint;
+        }>;
     }, "strip", z.ZodTypeAny, {
         index: bigint;
-        nextIndex: bigint;
         hintKey: AppendOnlyTreeSnapshot;
-        nextValue: Fr;
-        leaf?: any;
+        leafPreimage: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
     }, {
         index: string | number | bigint;
-        nextIndex: string | number | bigint;
         hintKey: {
             root: string;
             nextAvailableLeafIndex: string | number | bigint;
         };
-        nextValue: string;
-        leaf?: any;
+        leafPreimage: {
+            leaf: {
+                nullifier: string;
+            };
+            nextKey: string;
+            nextIndex: string | number | bigint;
+        } | {
+            leaf: {
+                value: string;
+                slot: string;
+            };
+            nextKey: string;
+            nextIndex: string | number | bigint;
+        };
     }>, {
         readonly hintKey: AppendOnlyTreeSnapshot;
         readonly index: bigint;
-        readonly leaf: NullifierLeaf;
-        readonly nextIndex: bigint;
-        readonly nextValue: Fr;
+        readonly leafPreimage: IndexedTreeLeafPreimages;
     }, {
         index: string | number | bigint;
-        nextIndex: string | number | bigint;
         hintKey: {
             root: string;
             nextAvailableLeafIndex: string | number | bigint;
         };
-        nextValue: string;
-        leaf?: any;
+        leafPreimage: {
+            leaf: {
+                nullifier: string;
+            };
+            nextKey: string;
+            nextIndex: string | number | bigint;
+        } | {
+            leaf: {
+                value: string;
+                slot: string;
+            };
+            nextKey: string;
+            nextIndex: string | number | bigint;
+        };
     }>;
 };
 export declare class AvmGetLeafPreimageHintNullifierTree extends AvmGetLeafPreimageHintNullifierTree_base {
@@ -409,112 +562,890 @@ export declare class AvmGetLeafValueHint {
         treeId: number;
     }>;
 }
-export declare class AvmEnqueuedCallHint {
-    readonly msgSender: AztecAddress;
-    readonly contractAddress: AztecAddress;
-    readonly calldata: Fr[];
-    isStaticCall: boolean;
-    constructor(msgSender: AztecAddress, contractAddress: AztecAddress, calldata: Fr[], isStaticCall: boolean);
-    static get schema(): z.ZodEffects<z.ZodObject<{
-        msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-        contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-        calldata: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-        isStaticCall: z.ZodBoolean;
-    }, "strip", z.ZodTypeAny, {
-        contractAddress: AztecAddress;
-        msgSender: AztecAddress;
-        isStaticCall: boolean;
-        calldata: Fr[];
-    }, {
-        isStaticCall: boolean;
-        calldata: string[];
-        contractAddress?: any;
-        msgSender?: any;
-    }>, AvmEnqueuedCallHint, {
-        isStaticCall: boolean;
-        calldata: string[];
-        contractAddress?: any;
-        msgSender?: any;
-    }>;
-}
-export declare class AvmExecutionHints {
-    readonly enqueuedCalls: AvmEnqueuedCallHint[];
-    readonly contractInstances: AvmContractInstanceHint[];
-    readonly contractClasses: AvmContractClassHint[];
-    readonly bytecodeCommitments: AvmBytecodeCommitmentHint[];
-    readonly getSiblingPathHints: AvmGetSiblingPathHint[];
-    readonly getPreviousValueIndexHints: AvmGetPreviousValueIndexHint[];
-    readonly getLeafPreimageHintsPublicDataTree: AvmGetLeafPreimageHintPublicDataTree[];
-    readonly getLeafPreimageHintsNullifierTree: AvmGetLeafPreimageHintNullifierTree[];
-    readonly getLeafValueHints: AvmGetLeafValueHint[];
-    constructor(enqueuedCalls?: AvmEnqueuedCallHint[], contractInstances?: AvmContractInstanceHint[], contractClasses?: AvmContractClassHint[], bytecodeCommitments?: AvmBytecodeCommitmentHint[], getSiblingPathHints?: AvmGetSiblingPathHint[], getPreviousValueIndexHints?: AvmGetPreviousValueIndexHint[], getLeafPreimageHintsPublicDataTree?: AvmGetLeafPreimageHintPublicDataTree[], getLeafPreimageHintsNullifierTree?: AvmGetLeafPreimageHintNullifierTree[], getLeafValueHints?: AvmGetLeafValueHint[]);
-    static empty(): AvmExecutionHints;
-    static get schema(): z.ZodEffects<z.ZodObject<{
-        enqueuedCalls: z.ZodArray<z.ZodEffects<z.ZodObject<{
-            msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-            contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-            calldata: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-            isStaticCall: z.ZodBoolean;
+declare const AvmSequentialInsertHintPublicDataTree_base: {
+    new (hintKey: AppendOnlyTreeSnapshot, stateAfter: AppendOnlyTreeSnapshot, treeId: MerkleTreeId, leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf, lowLeavesWitnessData: {
+        leaf: IndexedTreeLeafPreimages;
+        index: bigint;
+        path: Fr[];
+    }, insertionWitnessData: {
+        leaf: IndexedTreeLeafPreimages;
+        index: bigint;
+        path: Fr[];
+    }): {
+        readonly hintKey: AppendOnlyTreeSnapshot;
+        readonly stateAfter: AppendOnlyTreeSnapshot;
+        readonly treeId: MerkleTreeId;
+        readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+        readonly lowLeavesWitnessData: {
+            leaf: IndexedTreeLeafPreimages;
+            index: bigint;
+            path: Fr[];
+        };
+        readonly insertionWitnessData: {
+            leaf: IndexedTreeLeafPreimages;
+            index: bigint;
+            path: Fr[];
+        };
+    };
+    readonly schema: z.ZodEffects<z.ZodObject<{
+        hintKey: z.ZodEffects<z.ZodObject<{
+            root: z.ZodType<Fr, any, string>;
+            nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
         }, "strip", z.ZodTypeAny, {
-            contractAddress: AztecAddress;
-            msgSender: AztecAddress;
-            isStaticCall: boolean;
-            calldata: Fr[];
+            root: Fr;
+            nextAvailableLeafIndex: number;
         }, {
-            isStaticCall: boolean;
-            calldata: string[];
-            contractAddress?: any;
-            msgSender?: any;
-        }>, AvmEnqueuedCallHint, {
-            isStaticCall: boolean;
-            calldata: string[];
-            contractAddress?: any;
-            msgSender?: any;
-        }>, "many">;
-        contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
-            address: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-            salt: z.ZodType<Fr, any, string>;
-            deployer: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-            currentContractClassId: z.ZodType<Fr, any, string>;
-            originalContractClassId: z.ZodType<Fr, any, string>;
-            initializationHash: z.ZodType<Fr, any, string>;
-            publicKeys: z.ZodEffects<z.ZodObject<{
-                masterNullifierPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
-                masterIncomingViewingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
-                masterOutgoingViewingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
-                masterTaggingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        }>, AppendOnlyTreeSnapshot, {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        }>;
+        stateAfter: z.ZodEffects<z.ZodObject<{
+            root: z.ZodType<Fr, any, string>;
+            nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            root: Fr;
+            nextAvailableLeafIndex: number;
+        }, {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        }>, AppendOnlyTreeSnapshot, {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        }>;
+        treeId: z.ZodNumber;
+        leaf: z.ZodEffects<z.ZodObject<{
+            nullifier: z.ZodType<Fr, any, string>;
+        }, "strip", z.ZodTypeAny, {
+            nullifier: Fr;
+        }, {
+            nullifier: string;
+        }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+            nullifier: string;
+        }> | z.ZodEffects<z.ZodObject<{
+            slot: z.ZodType<Fr, any, string>;
+            value: z.ZodType<Fr, any, string>;
+        }, "strip", z.ZodTypeAny, {
+            value: Fr;
+            slot: 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<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    nullifier: Fr;
+                }, {
+                    nullifier: string;
+                }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                    nullifier: string;
+                }>;
+                nextKey: z.ZodType<Fr, any, string>;
+                nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
             }, "strip", z.ZodTypeAny, {
-                masterNullifierPublicKey: import("@aztec/foundation/fields").Point;
-                masterIncomingViewingPublicKey: import("@aztec/foundation/fields").Point;
-                masterOutgoingViewingPublicKey: import("@aztec/foundation/fields").Point;
-                masterTaggingPublicKey: import("@aztec/foundation/fields").Point;
+                leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
+                nextKey: Fr;
+                nextIndex: bigint;
             }, {
-                masterNullifierPublicKey: string;
-                masterIncomingViewingPublicKey: string;
-                masterOutgoingViewingPublicKey: string;
-                masterTaggingPublicKey: string;
-            }>, PublicKeys, {
-                masterNullifierPublicKey: string;
-                masterIncomingViewingPublicKey: string;
-                masterOutgoingViewingPublicKey: string;
-                masterTaggingPublicKey: string;
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            }>, NullifierLeafPreimage, {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            }> | z.ZodEffects<z.ZodObject<{
+                leaf: z.ZodEffects<z.ZodObject<{
+                    slot: z.ZodType<Fr, any, string>;
+                    value: z.ZodType<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    value: Fr;
+                    slot: Fr;
+                }, {
+                    value: string;
+                    slot: string;
+                }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                    value: string;
+                    slot: string;
+                }>;
+                nextKey: z.ZodType<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: Fr;
+                nextIndex: bigint;
+            }, {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            }>, PublicDataTreeLeafPreimage, {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
             }>;
+            index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+            path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
         }, "strip", z.ZodTypeAny, {
-            address: AztecAddress;
-            salt: Fr;
-            deployer: AztecAddress;
-            currentContractClassId: Fr;
-            originalContractClassId: Fr;
-            initializationHash: Fr;
-            publicKeys: PublicKeys;
+            path: Fr[];
+            index: bigint;
+            leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
         }, {
-            salt: string;
-            currentContractClassId: string;
-            originalContractClassId: string;
-            initializationHash: string;
-            publicKeys: {
-                masterNullifierPublicKey: string;
-                masterIncomingViewingPublicKey: string;
+            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<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    nullifier: Fr;
+                }, {
+                    nullifier: string;
+                }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                    nullifier: string;
+                }>;
+                nextKey: z.ZodType<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: Fr;
+                nextIndex: bigint;
+            }, {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            }>, NullifierLeafPreimage, {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            }> | z.ZodEffects<z.ZodObject<{
+                leaf: z.ZodEffects<z.ZodObject<{
+                    slot: z.ZodType<Fr, any, string>;
+                    value: z.ZodType<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    value: Fr;
+                    slot: Fr;
+                }, {
+                    value: string;
+                    slot: string;
+                }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                    value: string;
+                    slot: string;
+                }>;
+                nextKey: z.ZodType<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: Fr;
+                nextIndex: bigint;
+            }, {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            }>, PublicDataTreeLeafPreimage, {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            }>;
+            index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+            path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            path: Fr[];
+            index: bigint;
+            leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+        }, {
+            path: string[];
+            index: string | number | bigint;
+            leaf: {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            } | {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            };
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+        hintKey: AppendOnlyTreeSnapshot;
+        treeId: number;
+        stateAfter: AppendOnlyTreeSnapshot;
+        lowLeavesWitnessData: {
+            path: Fr[];
+            index: bigint;
+            leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+        };
+        insertionWitnessData: {
+            path: Fr[];
+            index: bigint;
+            leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+        };
+    }, {
+        leaf: {
+            nullifier: string;
+        } | {
+            value: string;
+            slot: string;
+        };
+        hintKey: {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        };
+        treeId: number;
+        stateAfter: {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        };
+        lowLeavesWitnessData: {
+            path: string[];
+            index: string | number | bigint;
+            leaf: {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            } | {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            };
+        };
+        insertionWitnessData: {
+            path: string[];
+            index: string | number | bigint;
+            leaf: {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            } | {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            };
+        };
+    }>, {
+        readonly hintKey: AppendOnlyTreeSnapshot;
+        readonly stateAfter: AppendOnlyTreeSnapshot;
+        readonly treeId: MerkleTreeId;
+        readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+        readonly lowLeavesWitnessData: {
+            leaf: IndexedTreeLeafPreimages;
+            index: bigint;
+            path: Fr[];
+        };
+        readonly insertionWitnessData: {
+            leaf: IndexedTreeLeafPreimages;
+            index: bigint;
+            path: Fr[];
+        };
+    }, {
+        leaf: {
+            nullifier: string;
+        } | {
+            value: string;
+            slot: string;
+        };
+        hintKey: {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        };
+        treeId: number;
+        stateAfter: {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        };
+        lowLeavesWitnessData: {
+            path: string[];
+            index: string | number | bigint;
+            leaf: {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            } | {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            };
+        };
+        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;
+            };
+        };
+    }>;
+};
+export declare class AvmSequentialInsertHintPublicDataTree extends AvmSequentialInsertHintPublicDataTree_base {
+}
+declare const AvmSequentialInsertHintNullifierTree_base: {
+    new (hintKey: AppendOnlyTreeSnapshot, stateAfter: AppendOnlyTreeSnapshot, treeId: MerkleTreeId, leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf, lowLeavesWitnessData: {
+        leaf: IndexedTreeLeafPreimages;
+        index: bigint;
+        path: Fr[];
+    }, insertionWitnessData: {
+        leaf: IndexedTreeLeafPreimages;
+        index: bigint;
+        path: Fr[];
+    }): {
+        readonly hintKey: AppendOnlyTreeSnapshot;
+        readonly stateAfter: AppendOnlyTreeSnapshot;
+        readonly treeId: MerkleTreeId;
+        readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+        readonly lowLeavesWitnessData: {
+            leaf: IndexedTreeLeafPreimages;
+            index: bigint;
+            path: Fr[];
+        };
+        readonly insertionWitnessData: {
+            leaf: IndexedTreeLeafPreimages;
+            index: bigint;
+            path: Fr[];
+        };
+    };
+    readonly schema: z.ZodEffects<z.ZodObject<{
+        hintKey: z.ZodEffects<z.ZodObject<{
+            root: z.ZodType<Fr, any, string>;
+            nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            root: Fr;
+            nextAvailableLeafIndex: number;
+        }, {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        }>, AppendOnlyTreeSnapshot, {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        }>;
+        stateAfter: z.ZodEffects<z.ZodObject<{
+            root: z.ZodType<Fr, any, string>;
+            nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            root: Fr;
+            nextAvailableLeafIndex: number;
+        }, {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        }>, AppendOnlyTreeSnapshot, {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        }>;
+        treeId: z.ZodNumber;
+        leaf: z.ZodEffects<z.ZodObject<{
+            nullifier: z.ZodType<Fr, any, string>;
+        }, "strip", z.ZodTypeAny, {
+            nullifier: Fr;
+        }, {
+            nullifier: string;
+        }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+            nullifier: string;
+        }> | z.ZodEffects<z.ZodObject<{
+            slot: z.ZodType<Fr, any, string>;
+            value: z.ZodType<Fr, any, string>;
+        }, "strip", z.ZodTypeAny, {
+            value: Fr;
+            slot: 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<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    nullifier: Fr;
+                }, {
+                    nullifier: string;
+                }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                    nullifier: string;
+                }>;
+                nextKey: z.ZodType<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: Fr;
+                nextIndex: bigint;
+            }, {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            }>, NullifierLeafPreimage, {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            }> | z.ZodEffects<z.ZodObject<{
+                leaf: z.ZodEffects<z.ZodObject<{
+                    slot: z.ZodType<Fr, any, string>;
+                    value: z.ZodType<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    value: Fr;
+                    slot: Fr;
+                }, {
+                    value: string;
+                    slot: string;
+                }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                    value: string;
+                    slot: string;
+                }>;
+                nextKey: z.ZodType<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: Fr;
+                nextIndex: bigint;
+            }, {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            }>, PublicDataTreeLeafPreimage, {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            }>;
+            index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+            path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            path: Fr[];
+            index: bigint;
+            leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+        }, {
+            path: string[];
+            index: string | number | bigint;
+            leaf: {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            } | {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            };
+        }>;
+        insertionWitnessData: z.ZodObject<{
+            leaf: z.ZodEffects<z.ZodObject<{
+                leaf: z.ZodEffects<z.ZodObject<{
+                    nullifier: z.ZodType<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    nullifier: Fr;
+                }, {
+                    nullifier: string;
+                }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                    nullifier: string;
+                }>;
+                nextKey: z.ZodType<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: Fr;
+                nextIndex: bigint;
+            }, {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            }>, NullifierLeafPreimage, {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            }> | z.ZodEffects<z.ZodObject<{
+                leaf: z.ZodEffects<z.ZodObject<{
+                    slot: z.ZodType<Fr, any, string>;
+                    value: z.ZodType<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    value: Fr;
+                    slot: Fr;
+                }, {
+                    value: string;
+                    slot: string;
+                }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                    value: string;
+                    slot: string;
+                }>;
+                nextKey: z.ZodType<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: Fr;
+                nextIndex: bigint;
+            }, {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            }>, PublicDataTreeLeafPreimage, {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            }>;
+            index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+            path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            path: Fr[];
+            index: bigint;
+            leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+        }, {
+            path: string[];
+            index: string | number | bigint;
+            leaf: {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            } | {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            };
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+        hintKey: AppendOnlyTreeSnapshot;
+        treeId: number;
+        stateAfter: AppendOnlyTreeSnapshot;
+        lowLeavesWitnessData: {
+            path: Fr[];
+            index: bigint;
+            leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+        };
+        insertionWitnessData: {
+            path: Fr[];
+            index: bigint;
+            leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+        };
+    }, {
+        leaf: {
+            nullifier: string;
+        } | {
+            value: string;
+            slot: string;
+        };
+        hintKey: {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        };
+        treeId: number;
+        stateAfter: {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        };
+        lowLeavesWitnessData: {
+            path: string[];
+            index: string | number | bigint;
+            leaf: {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            } | {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            };
+        };
+        insertionWitnessData: {
+            path: string[];
+            index: string | number | bigint;
+            leaf: {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            } | {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            };
+        };
+    }>, {
+        readonly hintKey: AppendOnlyTreeSnapshot;
+        readonly stateAfter: AppendOnlyTreeSnapshot;
+        readonly treeId: MerkleTreeId;
+        readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+        readonly lowLeavesWitnessData: {
+            leaf: IndexedTreeLeafPreimages;
+            index: bigint;
+            path: Fr[];
+        };
+        readonly insertionWitnessData: {
+            leaf: IndexedTreeLeafPreimages;
+            index: bigint;
+            path: Fr[];
+        };
+    }, {
+        leaf: {
+            nullifier: string;
+        } | {
+            value: string;
+            slot: string;
+        };
+        hintKey: {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        };
+        treeId: number;
+        stateAfter: {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        };
+        lowLeavesWitnessData: {
+            path: string[];
+            index: string | number | bigint;
+            leaf: {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            } | {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            };
+        };
+        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;
+            };
+        };
+    }>;
+};
+export declare class AvmSequentialInsertHintNullifierTree extends AvmSequentialInsertHintNullifierTree_base {
+}
+export declare class AvmEnqueuedCallHint {
+    readonly msgSender: AztecAddress;
+    readonly contractAddress: AztecAddress;
+    readonly calldata: Fr[];
+    isStaticCall: boolean;
+    constructor(msgSender: AztecAddress, contractAddress: AztecAddress, calldata: Fr[], isStaticCall: boolean);
+    static get schema(): z.ZodEffects<z.ZodObject<{
+        msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+        contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+        calldata: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        isStaticCall: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        contractAddress: AztecAddress;
+        msgSender: AztecAddress;
+        isStaticCall: boolean;
+        calldata: Fr[];
+    }, {
+        isStaticCall: boolean;
+        calldata: string[];
+        contractAddress?: any;
+        msgSender?: any;
+    }>, AvmEnqueuedCallHint, {
+        isStaticCall: boolean;
+        calldata: string[];
+        contractAddress?: any;
+        msgSender?: any;
+    }>;
+}
+export declare class AvmExecutionHints {
+    readonly enqueuedCalls: AvmEnqueuedCallHint[];
+    readonly contractInstances: AvmContractInstanceHint[];
+    readonly contractClasses: AvmContractClassHint[];
+    readonly bytecodeCommitments: AvmBytecodeCommitmentHint[];
+    readonly getSiblingPathHints: AvmGetSiblingPathHint[];
+    readonly getPreviousValueIndexHints: AvmGetPreviousValueIndexHint[];
+    readonly getLeafPreimageHintsPublicDataTree: AvmGetLeafPreimageHintPublicDataTree[];
+    readonly getLeafPreimageHintsNullifierTree: AvmGetLeafPreimageHintNullifierTree[];
+    readonly getLeafValueHints: AvmGetLeafValueHint[];
+    readonly sequentialInsertHintsPublicDataTree: AvmSequentialInsertHintPublicDataTree[];
+    readonly sequentialInsertHintsNullifierTree: AvmSequentialInsertHintNullifierTree[];
+    constructor(enqueuedCalls?: AvmEnqueuedCallHint[], contractInstances?: AvmContractInstanceHint[], contractClasses?: AvmContractClassHint[], bytecodeCommitments?: AvmBytecodeCommitmentHint[], getSiblingPathHints?: AvmGetSiblingPathHint[], getPreviousValueIndexHints?: AvmGetPreviousValueIndexHint[], getLeafPreimageHintsPublicDataTree?: AvmGetLeafPreimageHintPublicDataTree[], getLeafPreimageHintsNullifierTree?: AvmGetLeafPreimageHintNullifierTree[], getLeafValueHints?: AvmGetLeafValueHint[], sequentialInsertHintsPublicDataTree?: AvmSequentialInsertHintPublicDataTree[], sequentialInsertHintsNullifierTree?: AvmSequentialInsertHintNullifierTree[]);
+    static empty(): AvmExecutionHints;
+    static get schema(): z.ZodEffects<z.ZodObject<{
+        enqueuedCalls: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+            contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+            calldata: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            isStaticCall: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            contractAddress: AztecAddress;
+            msgSender: AztecAddress;
+            isStaticCall: boolean;
+            calldata: Fr[];
+        }, {
+            isStaticCall: boolean;
+            calldata: string[];
+            contractAddress?: any;
+            msgSender?: any;
+        }>, AvmEnqueuedCallHint, {
+            isStaticCall: boolean;
+            calldata: string[];
+            contractAddress?: any;
+            msgSender?: any;
+        }>, "many">;
+        contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            address: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+            salt: z.ZodType<Fr, any, string>;
+            deployer: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+            currentContractClassId: z.ZodType<Fr, any, string>;
+            originalContractClassId: z.ZodType<Fr, any, string>;
+            initializationHash: z.ZodType<Fr, any, string>;
+            publicKeys: z.ZodEffects<z.ZodObject<{
+                masterNullifierPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
+                masterIncomingViewingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
+                masterOutgoingViewingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
+                masterTaggingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
+            }, "strip", z.ZodTypeAny, {
+                masterNullifierPublicKey: import("@aztec/foundation/fields").Point;
+                masterIncomingViewingPublicKey: import("@aztec/foundation/fields").Point;
+                masterOutgoingViewingPublicKey: import("@aztec/foundation/fields").Point;
+                masterTaggingPublicKey: import("@aztec/foundation/fields").Point;
+            }, {
+                masterNullifierPublicKey: string;
+                masterIncomingViewingPublicKey: string;
+                masterOutgoingViewingPublicKey: string;
+                masterTaggingPublicKey: string;
+            }>, PublicKeys, {
+                masterNullifierPublicKey: string;
+                masterIncomingViewingPublicKey: string;
+                masterOutgoingViewingPublicKey: string;
+                masterTaggingPublicKey: string;
+            }>;
+        }, "strip", z.ZodTypeAny, {
+            address: AztecAddress;
+            salt: Fr;
+            deployer: AztecAddress;
+            currentContractClassId: Fr;
+            originalContractClassId: Fr;
+            initializationHash: Fr;
+            publicKeys: PublicKeys;
+        }, {
+            salt: string;
+            currentContractClassId: string;
+            originalContractClassId: string;
+            initializationHash: string;
+            publicKeys: {
+                masterNullifierPublicKey: string;
+                masterIncomingViewingPublicKey: string;
                 masterOutgoingViewingPublicKey: string;
                 masterTaggingPublicKey: string;
             };
@@ -557,36 +1488,245 @@ export declare class AvmExecutionHints {
             privateFunctionsRoot: Fr;
             packedBytecode: Buffer;
         }, {
-            classId: string;
-            artifactHash: string;
-            privateFunctionsRoot: string;
-            packedBytecode: string | {
-                type: "Buffer";
-                data: number[];
+            classId: string;
+            artifactHash: string;
+            privateFunctionsRoot: string;
+            packedBytecode: string | {
+                type: "Buffer";
+                data: number[];
+            };
+        }>, AvmContractClassHint, {
+            classId: string;
+            artifactHash: string;
+            privateFunctionsRoot: string;
+            packedBytecode: string | {
+                type: "Buffer";
+                data: number[];
+            };
+        }>, "many">;
+        bytecodeCommitments: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            classId: z.ZodType<Fr, any, string>;
+            commitment: z.ZodType<Fr, any, string>;
+        }, "strip", z.ZodTypeAny, {
+            classId: Fr;
+            commitment: Fr;
+        }, {
+            classId: string;
+            commitment: string;
+        }>, AvmBytecodeCommitmentHint, {
+            classId: string;
+            commitment: string;
+        }>, "many">;
+        getSiblingPathHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            hintKey: z.ZodEffects<z.ZodObject<{
+                root: z.ZodType<Fr, any, string>;
+                nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }, {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            }>, AppendOnlyTreeSnapshot, {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            }>;
+            treeId: z.ZodNumber;
+            index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+            path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            path: Fr[];
+            index: bigint;
+            hintKey: AppendOnlyTreeSnapshot;
+            treeId: number;
+        }, {
+            path: string[];
+            index: string | number | bigint;
+            hintKey: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            treeId: number;
+        }>, 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<Fr, any, string>;
+                nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }, {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            }>, AppendOnlyTreeSnapshot, {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            }>;
+            treeId: z.ZodNumber;
+            value: z.ZodType<Fr, any, string>;
+            index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+            alreadyPresent: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            value: Fr;
+            index: bigint;
+            hintKey: AppendOnlyTreeSnapshot;
+            treeId: number;
+            alreadyPresent: boolean;
+        }, {
+            value: string;
+            index: string | number | bigint;
+            hintKey: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            treeId: number;
+            alreadyPresent: boolean;
+        }>, 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<Fr, any, string>;
+                nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }, {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            }>, AppendOnlyTreeSnapshot, {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            }>;
+            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<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    nullifier: Fr;
+                }, {
+                    nullifier: string;
+                }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                    nullifier: string;
+                }>;
+                nextKey: z.ZodType<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: Fr;
+                nextIndex: bigint;
+            }, {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            }>, NullifierLeafPreimage, {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            }> | z.ZodEffects<z.ZodObject<{
+                leaf: z.ZodEffects<z.ZodObject<{
+                    slot: z.ZodType<Fr, any, string>;
+                    value: z.ZodType<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    value: Fr;
+                    slot: Fr;
+                }, {
+                    value: string;
+                    slot: string;
+                }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                    value: string;
+                    slot: string;
+                }>;
+                nextKey: z.ZodType<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: Fr;
+                nextIndex: bigint;
+            }, {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            }>, PublicDataTreeLeafPreimage, {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            }>;
+        }, "strip", z.ZodTypeAny, {
+            index: bigint;
+            hintKey: AppendOnlyTreeSnapshot;
+            leafPreimage: NullifierLeafPreimage | 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: AppendOnlyTreeSnapshot;
+            readonly index: bigint;
+            readonly leafPreimage: IndexedTreeLeafPreimages;
+        }, {
+            index: string | number | bigint;
+            hintKey: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
             };
-        }>, AvmContractClassHint, {
-            classId: string;
-            artifactHash: string;
-            privateFunctionsRoot: string;
-            packedBytecode: string | {
-                type: "Buffer";
-                data: number[];
+            leafPreimage: {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            } | {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
             };
         }>, "many">;
-        bytecodeCommitments: z.ZodArray<z.ZodEffects<z.ZodObject<{
-            classId: z.ZodType<Fr, any, string>;
-            commitment: z.ZodType<Fr, any, string>;
-        }, "strip", z.ZodTypeAny, {
-            classId: Fr;
-            commitment: Fr;
-        }, {
-            classId: string;
-            commitment: string;
-        }>, AvmBytecodeCommitmentHint, {
-            classId: string;
-            commitment: string;
-        }>, "many">;
-        getSiblingPathHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
+        getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodEffects<z.ZodObject<{
                 root: z.ZodType<Fr, any, string>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
@@ -600,32 +1740,120 @@ export declare class AvmExecutionHints {
                 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<Fr, any, string>, "many">;
+            leafPreimage: z.ZodEffects<z.ZodObject<{
+                leaf: z.ZodEffects<z.ZodObject<{
+                    nullifier: z.ZodType<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    nullifier: Fr;
+                }, {
+                    nullifier: string;
+                }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                    nullifier: string;
+                }>;
+                nextKey: z.ZodType<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: Fr;
+                nextIndex: bigint;
+            }, {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            }>, NullifierLeafPreimage, {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            }> | z.ZodEffects<z.ZodObject<{
+                leaf: z.ZodEffects<z.ZodObject<{
+                    slot: z.ZodType<Fr, any, string>;
+                    value: z.ZodType<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    value: Fr;
+                    slot: Fr;
+                }, {
+                    value: string;
+                    slot: string;
+                }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                    value: string;
+                    slot: string;
+                }>;
+                nextKey: z.ZodType<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: Fr;
+                nextIndex: bigint;
+            }, {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            }>, PublicDataTreeLeafPreimage, {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            }>;
         }, "strip", z.ZodTypeAny, {
-            path: Fr[];
             index: bigint;
             hintKey: AppendOnlyTreeSnapshot;
-            treeId: number;
+            leafPreimage: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
         }, {
-            path: string[];
             index: string | number | bigint;
             hintKey: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
-            treeId: number;
-        }>, AvmGetSiblingPathHint, {
-            path: string[];
+            leafPreimage: {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            } | {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            };
+        }>, {
+            readonly hintKey: AppendOnlyTreeSnapshot;
+            readonly index: bigint;
+            readonly leafPreimage: IndexedTreeLeafPreimages;
+        }, {
             index: string | number | bigint;
             hintKey: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
-            treeId: number;
+            leafPreimage: {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            } | {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            };
         }>, "many">;
-        getPreviousValueIndexHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
+        getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodEffects<z.ZodObject<{
                 root: z.ZodType<Fr, any, string>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
@@ -640,15 +1868,13 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             }>;
             treeId: z.ZodNumber;
-            value: z.ZodType<Fr, any, string>;
             index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            alreadyPresent: z.ZodBoolean;
+            value: z.ZodType<Fr, any, string>;
         }, "strip", z.ZodTypeAny, {
             value: Fr;
             index: bigint;
             hintKey: AppendOnlyTreeSnapshot;
             treeId: number;
-            alreadyPresent: boolean;
         }, {
             value: string;
             index: string | number | bigint;
@@ -657,8 +1883,7 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             };
             treeId: number;
-            alreadyPresent: boolean;
-        }>, AvmGetPreviousValueIndexHint, {
+        }>, AvmGetLeafValueHint, {
             value: string;
             index: string | number | bigint;
             hintKey: {
@@ -666,9 +1891,8 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             };
             treeId: number;
-            alreadyPresent: boolean;
         }>, "many">;
-        getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
+        sequentialInsertHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodEffects<z.ZodObject<{
                 root: z.ZodType<Fr, any, string>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
@@ -682,92 +1906,367 @@ export declare class AvmExecutionHints {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             }>;
-            index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            leaf: z.ZodType<any, z.ZodTypeDef, any>;
-            nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            nextValue: z.ZodType<Fr, any, string>;
+            stateAfter: z.ZodEffects<z.ZodObject<{
+                root: z.ZodType<Fr, any, string>;
+                nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }, {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            }>, AppendOnlyTreeSnapshot, {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            }>;
+            treeId: z.ZodNumber;
+            leaf: z.ZodEffects<z.ZodObject<{
+                nullifier: z.ZodType<Fr, any, string>;
+            }, "strip", z.ZodTypeAny, {
+                nullifier: Fr;
+            }, {
+                nullifier: string;
+            }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                nullifier: string;
+            }> | z.ZodEffects<z.ZodObject<{
+                slot: z.ZodType<Fr, any, string>;
+                value: z.ZodType<Fr, any, string>;
+            }, "strip", z.ZodTypeAny, {
+                value: Fr;
+                slot: 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<Fr, any, string>;
+                    }, "strip", z.ZodTypeAny, {
+                        nullifier: Fr;
+                    }, {
+                        nullifier: string;
+                    }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                        nullifier: string;
+                    }>;
+                    nextKey: z.ZodType<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: Fr;
+                    nextIndex: bigint;
+                }, {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }>, NullifierLeafPreimage, {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }> | z.ZodEffects<z.ZodObject<{
+                    leaf: z.ZodEffects<z.ZodObject<{
+                        slot: z.ZodType<Fr, any, string>;
+                        value: z.ZodType<Fr, any, string>;
+                    }, "strip", z.ZodTypeAny, {
+                        value: Fr;
+                        slot: Fr;
+                    }, {
+                        value: string;
+                        slot: string;
+                    }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                        value: string;
+                        slot: string;
+                    }>;
+                    nextKey: z.ZodType<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: Fr;
+                    nextIndex: bigint;
+                }, {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }>, PublicDataTreeLeafPreimage, {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }>;
+                index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                path: Fr[];
+                index: bigint;
+                leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+            }, {
+                path: string[];
+                index: string | number | bigint;
+                leaf: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
+            }>;
+            insertionWitnessData: z.ZodObject<{
+                leaf: z.ZodEffects<z.ZodObject<{
+                    leaf: z.ZodEffects<z.ZodObject<{
+                        nullifier: z.ZodType<Fr, any, string>;
+                    }, "strip", z.ZodTypeAny, {
+                        nullifier: Fr;
+                    }, {
+                        nullifier: string;
+                    }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                        nullifier: string;
+                    }>;
+                    nextKey: z.ZodType<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: Fr;
+                    nextIndex: bigint;
+                }, {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }>, NullifierLeafPreimage, {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }> | z.ZodEffects<z.ZodObject<{
+                    leaf: z.ZodEffects<z.ZodObject<{
+                        slot: z.ZodType<Fr, any, string>;
+                        value: z.ZodType<Fr, any, string>;
+                    }, "strip", z.ZodTypeAny, {
+                        value: Fr;
+                        slot: Fr;
+                    }, {
+                        value: string;
+                        slot: string;
+                    }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                        value: string;
+                        slot: string;
+                    }>;
+                    nextKey: z.ZodType<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: Fr;
+                    nextIndex: bigint;
+                }, {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }>, PublicDataTreeLeafPreimage, {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }>;
+                index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                path: Fr[];
+                index: bigint;
+                leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+            }, {
+                path: string[];
+                index: string | number | bigint;
+                leaf: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
+            }>;
         }, "strip", z.ZodTypeAny, {
-            index: bigint;
-            nextIndex: bigint;
+            leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
             hintKey: AppendOnlyTreeSnapshot;
-            nextValue: Fr;
-            leaf?: any;
+            treeId: number;
+            stateAfter: AppendOnlyTreeSnapshot;
+            lowLeavesWitnessData: {
+                path: Fr[];
+                index: bigint;
+                leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+            };
+            insertionWitnessData: {
+                path: Fr[];
+                index: bigint;
+                leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+            };
         }, {
-            index: string | number | bigint;
-            nextIndex: string | number | bigint;
+            leaf: {
+                nullifier: string;
+            } | {
+                value: string;
+                slot: string;
+            };
             hintKey: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
-            nextValue: string;
-            leaf?: any;
+            treeId: number;
+            stateAfter: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            lowLeavesWitnessData: {
+                path: string[];
+                index: string | number | bigint;
+                leaf: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
+            };
+            insertionWitnessData: {
+                path: string[];
+                index: string | number | bigint;
+                leaf: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
+            };
         }>, {
             readonly hintKey: AppendOnlyTreeSnapshot;
-            readonly index: bigint;
-            readonly leaf: PublicDataTreeLeaf;
-            readonly nextIndex: bigint;
-            readonly nextValue: Fr;
+            readonly stateAfter: AppendOnlyTreeSnapshot;
+            readonly treeId: MerkleTreeId;
+            readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+            readonly lowLeavesWitnessData: {
+                leaf: IndexedTreeLeafPreimages;
+                index: bigint;
+                path: Fr[];
+            };
+            readonly insertionWitnessData: {
+                leaf: IndexedTreeLeafPreimages;
+                index: bigint;
+                path: Fr[];
+            };
         }, {
-            index: string | number | bigint;
-            nextIndex: string | number | bigint;
+            leaf: {
+                nullifier: string;
+            } | {
+                value: string;
+                slot: string;
+            };
             hintKey: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
-            nextValue: string;
-            leaf?: any;
+            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">;
-        getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
+        sequentialInsertHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodEffects<z.ZodObject<{
                 root: z.ZodType<Fr, any, string>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
                 nextAvailableLeafIndex: number;
-            }, {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            }>, AppendOnlyTreeSnapshot, {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            }>;
-            index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            leaf: z.ZodType<any, z.ZodTypeDef, any>;
-            nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            nextValue: z.ZodType<Fr, any, string>;
-        }, "strip", z.ZodTypeAny, {
-            index: bigint;
-            nextIndex: bigint;
-            hintKey: AppendOnlyTreeSnapshot;
-            nextValue: Fr;
-            leaf?: any;
-        }, {
-            index: string | number | bigint;
-            nextIndex: string | number | bigint;
-            hintKey: {
+            }, {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
-            };
-            nextValue: string;
-            leaf?: any;
-        }>, {
-            readonly hintKey: AppendOnlyTreeSnapshot;
-            readonly index: bigint;
-            readonly leaf: NullifierLeaf;
-            readonly nextIndex: bigint;
-            readonly nextValue: Fr;
-        }, {
-            index: string | number | bigint;
-            nextIndex: string | number | bigint;
-            hintKey: {
+            }>, AppendOnlyTreeSnapshot, {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
-            };
-            nextValue: string;
-            leaf?: any;
-        }>, "many">;
-        getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
-            hintKey: z.ZodEffects<z.ZodObject<{
+            }>;
+            stateAfter: z.ZodEffects<z.ZodObject<{
                 root: z.ZodType<Fr, any, string>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
@@ -781,29 +2280,337 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             }>;
             treeId: z.ZodNumber;
-            index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            value: z.ZodType<Fr, any, string>;
+            leaf: z.ZodEffects<z.ZodObject<{
+                nullifier: z.ZodType<Fr, any, string>;
+            }, "strip", z.ZodTypeAny, {
+                nullifier: Fr;
+            }, {
+                nullifier: string;
+            }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                nullifier: string;
+            }> | z.ZodEffects<z.ZodObject<{
+                slot: z.ZodType<Fr, any, string>;
+                value: z.ZodType<Fr, any, string>;
+            }, "strip", z.ZodTypeAny, {
+                value: Fr;
+                slot: 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<Fr, any, string>;
+                    }, "strip", z.ZodTypeAny, {
+                        nullifier: Fr;
+                    }, {
+                        nullifier: string;
+                    }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                        nullifier: string;
+                    }>;
+                    nextKey: z.ZodType<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: Fr;
+                    nextIndex: bigint;
+                }, {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }>, NullifierLeafPreimage, {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }> | z.ZodEffects<z.ZodObject<{
+                    leaf: z.ZodEffects<z.ZodObject<{
+                        slot: z.ZodType<Fr, any, string>;
+                        value: z.ZodType<Fr, any, string>;
+                    }, "strip", z.ZodTypeAny, {
+                        value: Fr;
+                        slot: Fr;
+                    }, {
+                        value: string;
+                        slot: string;
+                    }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                        value: string;
+                        slot: string;
+                    }>;
+                    nextKey: z.ZodType<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: Fr;
+                    nextIndex: bigint;
+                }, {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }>, PublicDataTreeLeafPreimage, {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }>;
+                index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                path: Fr[];
+                index: bigint;
+                leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+            }, {
+                path: string[];
+                index: string | number | bigint;
+                leaf: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
+            }>;
+            insertionWitnessData: z.ZodObject<{
+                leaf: z.ZodEffects<z.ZodObject<{
+                    leaf: z.ZodEffects<z.ZodObject<{
+                        nullifier: z.ZodType<Fr, any, string>;
+                    }, "strip", z.ZodTypeAny, {
+                        nullifier: Fr;
+                    }, {
+                        nullifier: string;
+                    }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                        nullifier: string;
+                    }>;
+                    nextKey: z.ZodType<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: Fr;
+                    nextIndex: bigint;
+                }, {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }>, NullifierLeafPreimage, {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }> | z.ZodEffects<z.ZodObject<{
+                    leaf: z.ZodEffects<z.ZodObject<{
+                        slot: z.ZodType<Fr, any, string>;
+                        value: z.ZodType<Fr, any, string>;
+                    }, "strip", z.ZodTypeAny, {
+                        value: Fr;
+                        slot: Fr;
+                    }, {
+                        value: string;
+                        slot: string;
+                    }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                        value: string;
+                        slot: string;
+                    }>;
+                    nextKey: z.ZodType<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: Fr;
+                    nextIndex: bigint;
+                }, {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }>, PublicDataTreeLeafPreimage, {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }>;
+                index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                path: Fr[];
+                index: bigint;
+                leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+            }, {
+                path: string[];
+                index: string | number | bigint;
+                leaf: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
+            }>;
         }, "strip", z.ZodTypeAny, {
-            value: Fr;
-            index: bigint;
+            leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
             hintKey: AppendOnlyTreeSnapshot;
             treeId: number;
+            stateAfter: AppendOnlyTreeSnapshot;
+            lowLeavesWitnessData: {
+                path: Fr[];
+                index: bigint;
+                leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+            };
+            insertionWitnessData: {
+                path: Fr[];
+                index: bigint;
+                leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+            };
         }, {
-            value: string;
-            index: string | number | bigint;
+            leaf: {
+                nullifier: string;
+            } | {
+                value: string;
+                slot: string;
+            };
             hintKey: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
             treeId: number;
-        }>, AvmGetLeafValueHint, {
-            value: string;
-            index: string | number | bigint;
+            stateAfter: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            lowLeavesWitnessData: {
+                path: string[];
+                index: string | number | bigint;
+                leaf: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
+            };
+            insertionWitnessData: {
+                path: string[];
+                index: string | number | bigint;
+                leaf: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
+            };
+        }>, {
+            readonly hintKey: AppendOnlyTreeSnapshot;
+            readonly stateAfter: AppendOnlyTreeSnapshot;
+            readonly treeId: MerkleTreeId;
+            readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+            readonly lowLeavesWitnessData: {
+                leaf: IndexedTreeLeafPreimages;
+                index: bigint;
+                path: Fr[];
+            };
+            readonly insertionWitnessData: {
+                leaf: IndexedTreeLeafPreimages;
+                index: bigint;
+                path: Fr[];
+            };
+        }, {
+            leaf: {
+                nullifier: string;
+            } | {
+                value: string;
+                slot: string;
+            };
             hintKey: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
             treeId: number;
+            stateAfter: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            lowLeavesWitnessData: {
+                path: string[];
+                index: string | number | bigint;
+                leaf: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
+            };
+            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, {
         enqueuedCalls: AvmEnqueuedCallHint[];
@@ -815,18 +2622,46 @@ export declare class AvmExecutionHints {
         getLeafPreimageHintsPublicDataTree: {
             readonly hintKey: AppendOnlyTreeSnapshot;
             readonly index: bigint;
-            readonly leaf: PublicDataTreeLeaf;
-            readonly nextIndex: bigint;
-            readonly nextValue: Fr;
+            readonly leafPreimage: IndexedTreeLeafPreimages;
         }[];
         getLeafPreimageHintsNullifierTree: {
             readonly hintKey: AppendOnlyTreeSnapshot;
             readonly index: bigint;
-            readonly leaf: NullifierLeaf;
-            readonly nextIndex: bigint;
-            readonly nextValue: Fr;
+            readonly leafPreimage: IndexedTreeLeafPreimages;
         }[];
         getLeafValueHints: AvmGetLeafValueHint[];
+        sequentialInsertHintsPublicDataTree: {
+            readonly hintKey: AppendOnlyTreeSnapshot;
+            readonly stateAfter: AppendOnlyTreeSnapshot;
+            readonly treeId: MerkleTreeId;
+            readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+            readonly lowLeavesWitnessData: {
+                leaf: IndexedTreeLeafPreimages;
+                index: bigint;
+                path: Fr[];
+            };
+            readonly insertionWitnessData: {
+                leaf: IndexedTreeLeafPreimages;
+                index: bigint;
+                path: Fr[];
+            };
+        }[];
+        sequentialInsertHintsNullifierTree: {
+            readonly hintKey: AppendOnlyTreeSnapshot;
+            readonly stateAfter: AppendOnlyTreeSnapshot;
+            readonly treeId: MerkleTreeId;
+            readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+            readonly lowLeavesWitnessData: {
+                leaf: IndexedTreeLeafPreimages;
+                index: bigint;
+                path: Fr[];
+            };
+            readonly insertionWitnessData: {
+                leaf: IndexedTreeLeafPreimages;
+                index: bigint;
+                path: Fr[];
+            };
+        }[];
     }, {
         enqueuedCalls: {
             isStaticCall: boolean;
@@ -882,23 +2717,45 @@ export declare class AvmExecutionHints {
         }[];
         getLeafPreimageHintsPublicDataTree: {
             index: string | number | bigint;
-            nextIndex: string | number | bigint;
             hintKey: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
-            nextValue: string;
-            leaf?: any;
+            leafPreimage: {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            } | {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            };
         }[];
         getLeafPreimageHintsNullifierTree: {
             index: string | number | bigint;
-            nextIndex: string | number | bigint;
             hintKey: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
-            nextValue: string;
-            leaf?: any;
+            leafPreimage: {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            } | {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            };
         }[];
         getLeafValueHints: {
             value: string;
@@ -909,6 +2766,112 @@ export declare class AvmExecutionHints {
             };
             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;
+                };
+            };
+        }[];
     }>, AvmExecutionHints, {
         enqueuedCalls: {
             isStaticCall: boolean;
@@ -943,8 +2906,69 @@ export declare class AvmExecutionHints {
             classId: string;
             commitment: string;
         }[];
-        getSiblingPathHints: {
-            path: 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: {
+                leaf: {
+                    nullifier: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            } | {
+                leaf: {
+                    value: string;
+                    slot: string;
+                };
+                nextKey: string;
+                nextIndex: string | number | bigint;
+            };
+        }[];
+        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;
+            };
+        }[];
+        getLeafValueHints: {
+            value: string;
             index: string | number | bigint;
             hintKey: {
                 root: string;
@@ -952,44 +2976,111 @@ export declare class AvmExecutionHints {
             };
             treeId: number;
         }[];
-        getPreviousValueIndexHints: {
-            value: string;
-            index: string | number | bigint;
+        sequentialInsertHintsPublicDataTree: {
+            leaf: {
+                nullifier: string;
+            } | {
+                value: string;
+                slot: string;
+            };
             hintKey: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
             treeId: number;
-            alreadyPresent: boolean;
-        }[];
-        getLeafPreimageHintsPublicDataTree: {
-            index: string | number | bigint;
-            nextIndex: string | number | bigint;
-            hintKey: {
+            stateAfter: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
-            nextValue: string;
-            leaf?: any;
+            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;
+                };
+            };
         }[];
-        getLeafPreimageHintsNullifierTree: {
-            index: string | number | bigint;
-            nextIndex: string | number | bigint;
+        sequentialInsertHintsNullifierTree: {
+            leaf: {
+                nullifier: string;
+            } | {
+                value: string;
+                slot: string;
+            };
             hintKey: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
-            nextValue: string;
-            leaf?: any;
-        }[];
-        getLeafValueHints: {
-            value: string;
-            index: string | number | bigint;
-            hintKey: {
+            treeId: number;
+            stateAfter: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
-            treeId: number;
+            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;
+                };
+            };
         }[];
     }>;
 }
@@ -1238,41 +3329,645 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                leaf: z.ZodType<any, z.ZodTypeDef, any>;
-                nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                nextValue: z.ZodType<Fr, any, string>;
+                leafPreimage: z.ZodEffects<z.ZodObject<{
+                    leaf: z.ZodEffects<z.ZodObject<{
+                        nullifier: z.ZodType<Fr, any, string>;
+                    }, "strip", z.ZodTypeAny, {
+                        nullifier: Fr;
+                    }, {
+                        nullifier: string;
+                    }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                        nullifier: string;
+                    }>;
+                    nextKey: z.ZodType<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: Fr;
+                    nextIndex: bigint;
+                }, {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }>, NullifierLeafPreimage, {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }> | z.ZodEffects<z.ZodObject<{
+                    leaf: z.ZodEffects<z.ZodObject<{
+                        slot: z.ZodType<Fr, any, string>;
+                        value: z.ZodType<Fr, any, string>;
+                    }, "strip", z.ZodTypeAny, {
+                        value: Fr;
+                        slot: Fr;
+                    }, {
+                        value: string;
+                        slot: string;
+                    }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                        value: string;
+                        slot: string;
+                    }>;
+                    nextKey: z.ZodType<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: Fr;
+                    nextIndex: bigint;
+                }, {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }>, PublicDataTreeLeafPreimage, {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }>;
             }, "strip", z.ZodTypeAny, {
                 index: bigint;
-                nextIndex: bigint;
                 hintKey: AppendOnlyTreeSnapshot;
-                nextValue: Fr;
-                leaf?: any;
+                leafPreimage: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
             }, {
                 index: string | number | bigint;
-                nextIndex: string | number | bigint;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
-                nextValue: string;
-                leaf?: any;
+                leafPreimage: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
             }>, {
                 readonly hintKey: AppendOnlyTreeSnapshot;
                 readonly index: bigint;
-                readonly leaf: PublicDataTreeLeaf;
-                readonly nextIndex: bigint;
-                readonly nextValue: Fr;
+                readonly leafPreimage: IndexedTreeLeafPreimages;
             }, {
                 index: string | number | bigint;
-                nextIndex: string | number | bigint;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
-                nextValue: string;
-                leaf?: any;
+                leafPreimage: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
+            }>, "many">;
+            getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                hintKey: z.ZodEffects<z.ZodObject<{
+                    root: z.ZodType<Fr, any, string>;
+                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                }, "strip", z.ZodTypeAny, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>, AppendOnlyTreeSnapshot, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>;
+                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<Fr, any, string>;
+                    }, "strip", z.ZodTypeAny, {
+                        nullifier: Fr;
+                    }, {
+                        nullifier: string;
+                    }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                        nullifier: string;
+                    }>;
+                    nextKey: z.ZodType<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: Fr;
+                    nextIndex: bigint;
+                }, {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }>, NullifierLeafPreimage, {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }> | z.ZodEffects<z.ZodObject<{
+                    leaf: z.ZodEffects<z.ZodObject<{
+                        slot: z.ZodType<Fr, any, string>;
+                        value: z.ZodType<Fr, any, string>;
+                    }, "strip", z.ZodTypeAny, {
+                        value: Fr;
+                        slot: Fr;
+                    }, {
+                        value: string;
+                        slot: string;
+                    }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                        value: string;
+                        slot: string;
+                    }>;
+                    nextKey: z.ZodType<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: Fr;
+                    nextIndex: bigint;
+                }, {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }>, PublicDataTreeLeafPreimage, {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                }>;
+            }, "strip", z.ZodTypeAny, {
+                index: bigint;
+                hintKey: AppendOnlyTreeSnapshot;
+                leafPreimage: NullifierLeafPreimage | 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: AppendOnlyTreeSnapshot;
+                readonly index: bigint;
+                readonly leafPreimage: IndexedTreeLeafPreimages;
+            }, {
+                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;
+                };
+            }>, "many">;
+            getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                hintKey: z.ZodEffects<z.ZodObject<{
+                    root: z.ZodType<Fr, any, string>;
+                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                }, "strip", z.ZodTypeAny, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>, AppendOnlyTreeSnapshot, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>;
+                treeId: z.ZodNumber;
+                index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                value: z.ZodType<Fr, any, string>;
+            }, "strip", z.ZodTypeAny, {
+                value: Fr;
+                index: bigint;
+                hintKey: AppendOnlyTreeSnapshot;
+                treeId: number;
+            }, {
+                value: string;
+                index: string | number | bigint;
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+            }>, 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<Fr, any, string>;
+                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                }, "strip", z.ZodTypeAny, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>, AppendOnlyTreeSnapshot, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>;
+                stateAfter: z.ZodEffects<z.ZodObject<{
+                    root: z.ZodType<Fr, any, string>;
+                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                }, "strip", z.ZodTypeAny, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>, AppendOnlyTreeSnapshot, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>;
+                treeId: z.ZodNumber;
+                leaf: z.ZodEffects<z.ZodObject<{
+                    nullifier: z.ZodType<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    nullifier: Fr;
+                }, {
+                    nullifier: string;
+                }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                    nullifier: string;
+                }> | z.ZodEffects<z.ZodObject<{
+                    slot: z.ZodType<Fr, any, string>;
+                    value: z.ZodType<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    value: Fr;
+                    slot: 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<Fr, any, string>;
+                        }, "strip", z.ZodTypeAny, {
+                            nullifier: Fr;
+                        }, {
+                            nullifier: string;
+                        }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                            nullifier: string;
+                        }>;
+                        nextKey: z.ZodType<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: Fr;
+                        nextIndex: bigint;
+                    }, {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }>, NullifierLeafPreimage, {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }> | z.ZodEffects<z.ZodObject<{
+                        leaf: z.ZodEffects<z.ZodObject<{
+                            slot: z.ZodType<Fr, any, string>;
+                            value: z.ZodType<Fr, any, string>;
+                        }, "strip", z.ZodTypeAny, {
+                            value: Fr;
+                            slot: Fr;
+                        }, {
+                            value: string;
+                            slot: string;
+                        }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                            value: string;
+                            slot: string;
+                        }>;
+                        nextKey: z.ZodType<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: Fr;
+                        nextIndex: bigint;
+                    }, {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }>, PublicDataTreeLeafPreimage, {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }>;
+                    index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                    path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                }, "strip", z.ZodTypeAny, {
+                    path: Fr[];
+                    index: bigint;
+                    leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+                }, {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                }>;
+                insertionWitnessData: z.ZodObject<{
+                    leaf: z.ZodEffects<z.ZodObject<{
+                        leaf: z.ZodEffects<z.ZodObject<{
+                            nullifier: z.ZodType<Fr, any, string>;
+                        }, "strip", z.ZodTypeAny, {
+                            nullifier: Fr;
+                        }, {
+                            nullifier: string;
+                        }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                            nullifier: string;
+                        }>;
+                        nextKey: z.ZodType<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: Fr;
+                        nextIndex: bigint;
+                    }, {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }>, NullifierLeafPreimage, {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }> | z.ZodEffects<z.ZodObject<{
+                        leaf: z.ZodEffects<z.ZodObject<{
+                            slot: z.ZodType<Fr, any, string>;
+                            value: z.ZodType<Fr, any, string>;
+                        }, "strip", z.ZodTypeAny, {
+                            value: Fr;
+                            slot: Fr;
+                        }, {
+                            value: string;
+                            slot: string;
+                        }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                            value: string;
+                            slot: string;
+                        }>;
+                        nextKey: z.ZodType<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: Fr;
+                        nextIndex: bigint;
+                    }, {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }>, PublicDataTreeLeafPreimage, {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }>;
+                    index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                    path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                }, "strip", z.ZodTypeAny, {
+                    path: Fr[];
+                    index: bigint;
+                    leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+                }, {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                }>;
+            }, "strip", z.ZodTypeAny, {
+                leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                hintKey: AppendOnlyTreeSnapshot;
+                treeId: number;
+                stateAfter: AppendOnlyTreeSnapshot;
+                lowLeavesWitnessData: {
+                    path: Fr[];
+                    index: bigint;
+                    leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+                };
+                insertionWitnessData: {
+                    path: Fr[];
+                    index: bigint;
+                    leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+                };
+            }, {
+                leaf: {
+                    nullifier: string;
+                } | {
+                    value: string;
+                    slot: string;
+                };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                lowLeavesWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
+                insertionWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
+            }>, {
+                readonly hintKey: AppendOnlyTreeSnapshot;
+                readonly stateAfter: AppendOnlyTreeSnapshot;
+                readonly treeId: MerkleTreeId;
+                readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                readonly lowLeavesWitnessData: {
+                    leaf: IndexedTreeLeafPreimages;
+                    index: bigint;
+                    path: Fr[];
+                };
+                readonly insertionWitnessData: {
+                    leaf: IndexedTreeLeafPreimages;
+                    index: bigint;
+                    path: Fr[];
+                };
+            }, {
+                leaf: {
+                    nullifier: string;
+                } | {
+                    value: string;
+                    slot: string;
+                };
+                hintKey: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                lowLeavesWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
+                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">;
-            getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            sequentialInsertHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 hintKey: z.ZodEffects<z.ZodObject<{
                     root: z.ZodType<Fr, any, string>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
@@ -1286,43 +3981,7 @@ export declare class AvmCircuitInputs {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
-                index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                leaf: z.ZodType<any, z.ZodTypeDef, any>;
-                nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                nextValue: z.ZodType<Fr, any, string>;
-            }, "strip", z.ZodTypeAny, {
-                index: bigint;
-                nextIndex: bigint;
-                hintKey: AppendOnlyTreeSnapshot;
-                nextValue: Fr;
-                leaf?: any;
-            }, {
-                index: string | number | bigint;
-                nextIndex: string | number | bigint;
-                hintKey: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                nextValue: string;
-                leaf?: any;
-            }>, {
-                readonly hintKey: AppendOnlyTreeSnapshot;
-                readonly index: bigint;
-                readonly leaf: NullifierLeaf;
-                readonly nextIndex: bigint;
-                readonly nextValue: Fr;
-            }, {
-                index: string | number | bigint;
-                nextIndex: string | number | bigint;
-                hintKey: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                nextValue: string;
-                leaf?: any;
-            }>, "many">;
-            getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                hintKey: z.ZodEffects<z.ZodObject<{
+                stateAfter: z.ZodEffects<z.ZodObject<{
                     root: z.ZodType<Fr, any, string>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
@@ -1336,29 +3995,337 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 treeId: z.ZodNumber;
-                index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                value: z.ZodType<Fr, any, string>;
+                leaf: z.ZodEffects<z.ZodObject<{
+                    nullifier: z.ZodType<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    nullifier: Fr;
+                }, {
+                    nullifier: string;
+                }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                    nullifier: string;
+                }> | z.ZodEffects<z.ZodObject<{
+                    slot: z.ZodType<Fr, any, string>;
+                    value: z.ZodType<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    value: Fr;
+                    slot: 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<Fr, any, string>;
+                        }, "strip", z.ZodTypeAny, {
+                            nullifier: Fr;
+                        }, {
+                            nullifier: string;
+                        }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                            nullifier: string;
+                        }>;
+                        nextKey: z.ZodType<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: Fr;
+                        nextIndex: bigint;
+                    }, {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }>, NullifierLeafPreimage, {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }> | z.ZodEffects<z.ZodObject<{
+                        leaf: z.ZodEffects<z.ZodObject<{
+                            slot: z.ZodType<Fr, any, string>;
+                            value: z.ZodType<Fr, any, string>;
+                        }, "strip", z.ZodTypeAny, {
+                            value: Fr;
+                            slot: Fr;
+                        }, {
+                            value: string;
+                            slot: string;
+                        }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                            value: string;
+                            slot: string;
+                        }>;
+                        nextKey: z.ZodType<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: Fr;
+                        nextIndex: bigint;
+                    }, {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }>, PublicDataTreeLeafPreimage, {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }>;
+                    index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                    path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                }, "strip", z.ZodTypeAny, {
+                    path: Fr[];
+                    index: bigint;
+                    leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+                }, {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                }>;
+                insertionWitnessData: z.ZodObject<{
+                    leaf: z.ZodEffects<z.ZodObject<{
+                        leaf: z.ZodEffects<z.ZodObject<{
+                            nullifier: z.ZodType<Fr, any, string>;
+                        }, "strip", z.ZodTypeAny, {
+                            nullifier: Fr;
+                        }, {
+                            nullifier: string;
+                        }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                            nullifier: string;
+                        }>;
+                        nextKey: z.ZodType<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: Fr;
+                        nextIndex: bigint;
+                    }, {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }>, NullifierLeafPreimage, {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }> | z.ZodEffects<z.ZodObject<{
+                        leaf: z.ZodEffects<z.ZodObject<{
+                            slot: z.ZodType<Fr, any, string>;
+                            value: z.ZodType<Fr, any, string>;
+                        }, "strip", z.ZodTypeAny, {
+                            value: Fr;
+                            slot: Fr;
+                        }, {
+                            value: string;
+                            slot: string;
+                        }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                            value: string;
+                            slot: string;
+                        }>;
+                        nextKey: z.ZodType<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: Fr;
+                        nextIndex: bigint;
+                    }, {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }>, PublicDataTreeLeafPreimage, {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    }>;
+                    index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                    path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                }, "strip", z.ZodTypeAny, {
+                    path: Fr[];
+                    index: bigint;
+                    leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+                }, {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                }>;
             }, "strip", z.ZodTypeAny, {
-                value: Fr;
-                index: bigint;
+                leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
                 hintKey: AppendOnlyTreeSnapshot;
                 treeId: number;
+                stateAfter: AppendOnlyTreeSnapshot;
+                lowLeavesWitnessData: {
+                    path: Fr[];
+                    index: bigint;
+                    leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+                };
+                insertionWitnessData: {
+                    path: Fr[];
+                    index: bigint;
+                    leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+                };
             }, {
-                value: string;
-                index: string | number | bigint;
+                leaf: {
+                    nullifier: string;
+                } | {
+                    value: string;
+                    slot: string;
+                };
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 treeId: number;
-            }>, AvmGetLeafValueHint, {
-                value: string;
-                index: string | number | bigint;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                lowLeavesWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
+                insertionWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
+            }>, {
+                readonly hintKey: AppendOnlyTreeSnapshot;
+                readonly stateAfter: AppendOnlyTreeSnapshot;
+                readonly treeId: MerkleTreeId;
+                readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                readonly lowLeavesWitnessData: {
+                    leaf: IndexedTreeLeafPreimages;
+                    index: bigint;
+                    path: Fr[];
+                };
+                readonly insertionWitnessData: {
+                    leaf: IndexedTreeLeafPreimages;
+                    index: bigint;
+                    path: Fr[];
+                };
+            }, {
+                leaf: {
+                    nullifier: string;
+                } | {
+                    value: string;
+                    slot: string;
+                };
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 treeId: number;
+                stateAfter: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                lowLeavesWitnessData: {
+                    path: string[];
+                    index: string | number | bigint;
+                    leaf: {
+                        leaf: {
+                            nullifier: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    } | {
+                        leaf: {
+                            value: string;
+                            slot: string;
+                        };
+                        nextKey: string;
+                        nextIndex: string | number | bigint;
+                    };
+                };
+                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, {
             enqueuedCalls: AvmEnqueuedCallHint[];
@@ -1370,18 +4337,46 @@ export declare class AvmCircuitInputs {
             getLeafPreimageHintsPublicDataTree: {
                 readonly hintKey: AppendOnlyTreeSnapshot;
                 readonly index: bigint;
-                readonly leaf: PublicDataTreeLeaf;
-                readonly nextIndex: bigint;
-                readonly nextValue: Fr;
+                readonly leafPreimage: IndexedTreeLeafPreimages;
             }[];
             getLeafPreimageHintsNullifierTree: {
                 readonly hintKey: AppendOnlyTreeSnapshot;
                 readonly index: bigint;
-                readonly leaf: NullifierLeaf;
-                readonly nextIndex: bigint;
-                readonly nextValue: Fr;
+                readonly leafPreimage: IndexedTreeLeafPreimages;
             }[];
             getLeafValueHints: AvmGetLeafValueHint[];
+            sequentialInsertHintsPublicDataTree: {
+                readonly hintKey: AppendOnlyTreeSnapshot;
+                readonly stateAfter: AppendOnlyTreeSnapshot;
+                readonly treeId: MerkleTreeId;
+                readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                readonly lowLeavesWitnessData: {
+                    leaf: IndexedTreeLeafPreimages;
+                    index: bigint;
+                    path: Fr[];
+                };
+                readonly insertionWitnessData: {
+                    leaf: IndexedTreeLeafPreimages;
+                    index: bigint;
+                    path: Fr[];
+                };
+            }[];
+            sequentialInsertHintsNullifierTree: {
+                readonly hintKey: AppendOnlyTreeSnapshot;
+                readonly stateAfter: AppendOnlyTreeSnapshot;
+                readonly treeId: MerkleTreeId;
+                readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                readonly lowLeavesWitnessData: {
+                    leaf: IndexedTreeLeafPreimages;
+                    index: bigint;
+                    path: Fr[];
+                };
+                readonly insertionWitnessData: {
+                    leaf: IndexedTreeLeafPreimages;
+                    index: bigint;
+                    path: Fr[];
+                };
+            }[];
         }, {
             enqueuedCalls: {
                 isStaticCall: boolean;
@@ -1437,23 +4432,45 @@ export declare class AvmCircuitInputs {
             }[];
             getLeafPreimageHintsPublicDataTree: {
                 index: string | number | bigint;
-                nextIndex: string | number | bigint;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
-                nextValue: string;
-                leaf?: any;
+                leafPreimage: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
             }[];
             getLeafPreimageHintsNullifierTree: {
                 index: string | number | bigint;
-                nextIndex: string | number | bigint;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
-                nextValue: string;
-                leaf?: any;
+                leafPreimage: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
             }[];
             getLeafValueHints: {
                 value: string;
@@ -1464,6 +4481,112 @@ export declare class AvmCircuitInputs {
                 };
                 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;
+                    };
+                };
+            }[];
         }>, AvmExecutionHints, {
             enqueuedCalls: {
                 isStaticCall: boolean;
@@ -1519,23 +4642,45 @@ export declare class AvmCircuitInputs {
             }[];
             getLeafPreimageHintsPublicDataTree: {
                 index: string | number | bigint;
-                nextIndex: string | number | bigint;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
-                nextValue: string;
-                leaf?: any;
+                leafPreimage: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
             }[];
             getLeafPreimageHintsNullifierTree: {
                 index: string | number | bigint;
-                nextIndex: string | number | bigint;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
-                nextValue: string;
-                leaf?: any;
+                leafPreimage: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
             }[];
             getLeafValueHints: {
                 value: string;
@@ -1546,6 +4691,112 @@ export declare class AvmCircuitInputs {
                 };
                 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;
+                    };
+                };
+            }[];
         }>;
         publicInputs: z.ZodEffects<z.ZodObject<{
             globalVariables: z.ZodEffects<z.ZodObject<{
@@ -2613,23 +5864,45 @@ export declare class AvmCircuitInputs {
             }[];
             getLeafPreimageHintsPublicDataTree: {
                 index: string | number | bigint;
-                nextIndex: string | number | bigint;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
-                nextValue: string;
-                leaf?: any;
+                leafPreimage: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
             }[];
             getLeafPreimageHintsNullifierTree: {
                 index: string | number | bigint;
-                nextIndex: string | number | bigint;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
-                nextValue: string;
-                leaf?: any;
+                leafPreimage: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
             }[];
             getLeafValueHints: {
                 value: string;
@@ -2640,6 +5913,112 @@ export declare class AvmCircuitInputs {
                 };
                 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;
+                    };
+                };
+            }[];
         };
         publicInputs: {
             globalVariables: {
@@ -2848,23 +6227,45 @@ export declare class AvmCircuitInputs {
             }[];
             getLeafPreimageHintsPublicDataTree: {
                 index: string | number | bigint;
-                nextIndex: string | number | bigint;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
-                nextValue: string;
-                leaf?: any;
+                leafPreimage: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
             }[];
             getLeafPreimageHintsNullifierTree: {
                 index: string | number | bigint;
-                nextIndex: string | number | bigint;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
-                nextValue: string;
-                leaf?: any;
+                leafPreimage: {
+                    leaf: {
+                        nullifier: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                } | {
+                    leaf: {
+                        value: string;
+                        slot: string;
+                    };
+                    nextKey: string;
+                    nextIndex: string | number | bigint;
+                };
             }[];
             getLeafValueHints: {
                 value: string;
@@ -2875,6 +6276,112 @@ export declare class AvmCircuitInputs {
                 };
                 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;
+                    };
+                };
+            }[];
         };
         publicInputs: {
             globalVariables: {