@aztec-labs/stdlib 6.0.0-nightly.20260829

package/dest/avm/avm.d.ts

@@ -0,0 +1,3617 @@
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { z } from 'zod';
+import { AztecAddress } from '../aztec-address/index.js';
+import { ContractDeploymentData } from '../contract/index.js';
+import { SimulationError } from '../errors/simulation_error.js';
+import { Gas } from '../gas/gas.js';
+import { GasFees } from '../gas/gas_fees.js';
+import { GasSettings } from '../gas/gas_settings.js';
+import { GasUsed } from '../gas/gas_used.js';
+import { PublicKeys } from '../keys/public_keys.js';
+import { DebugLog } from '../logs/debug_log.js';
+import { PublicLog } from '../logs/public_log.js';
+import { ScopedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
+import { type ZodFor } from '../schemas/schemas.js';
+import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
+import { MerkleTreeId } from '../trees/merkle_tree_id.js';
+import { NullifierLeaf, NullifierLeafPreimage } from '../trees/nullifier_leaf.js';
+import { PublicDataTreeLeaf, PublicDataTreeLeafPreimage } from '../trees/public_data_leaf.js';
+import { GlobalVariables, NestedProcessReturnValues, ProtocolContracts, PublicCallRequestWithCalldata, TreeSnapshots, type Tx } from '../tx/index.js';
+import { TxExecutionPhase } from '../tx/processed_tx.js';
+import { WorldStateRevision } from '../world-state/world_state_revision.js';
+import { AvmCircuitPublicInputs } from './avm_circuit_public_inputs.js';
+import { PublicDataWrite } from './public_data_write.js';
+import { RevertCode } from './revert_code.js';
+export declare class AvmContractClassHint {
+    readonly hintKey: number;
+    readonly classId: Fr;
+    readonly artifactHash: Fr;
+    readonly privateFunctionsRoot: Fr;
+    readonly packedBytecode: Buffer;
+    constructor(hintKey: number, classId: Fr, artifactHash: Fr, privateFunctionsRoot: Fr, packedBytecode: Buffer);
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        hintKey: z.ZodNumber;
+        classId: ZodFor<Fr>;
+        artifactHash: ZodFor<Fr>;
+        privateFunctionsRoot: ZodFor<Fr>;
+        packedBytecode: ZodFor<Buffer<ArrayBufferLike>>;
+    }, z.core.$strip>, z.ZodTransform<AvmContractClassHint, {
+        hintKey: number;
+        classId: Fr;
+        artifactHash: Fr;
+        privateFunctionsRoot: Fr;
+        packedBytecode: Buffer<ArrayBufferLike>;
+    }>>;
+    /**
+     * Creates an AvmContractClassHint from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * @param obj - Plain object containing AvmContractClassHint fields
+     * @returns An AvmContractClassHint instance
+     */
+    static fromPlainObject(obj: any): AvmContractClassHint;
+}
+export declare class AvmBytecodeCommitmentHint {
+    readonly hintKey: number;
+    readonly classId: Fr;
+    readonly commitment: Fr;
+    constructor(hintKey: number, classId: Fr, commitment: Fr);
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        hintKey: z.ZodNumber;
+        classId: ZodFor<Fr>;
+        commitment: ZodFor<Fr>;
+    }, z.core.$strip>, z.ZodTransform<AvmBytecodeCommitmentHint, {
+        hintKey: number;
+        classId: Fr;
+        commitment: Fr;
+    }>>;
+    /**
+     * Creates an AvmBytecodeCommitmentHint from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * @param obj - Plain object containing AvmBytecodeCommitmentHint fields
+     * @returns An AvmBytecodeCommitmentHint instance
+     */
+    static fromPlainObject(obj: any): AvmBytecodeCommitmentHint;
+}
+export declare class AvmContractInstanceHint {
+    readonly hintKey: number;
+    readonly address: AztecAddress;
+    readonly salt: Fr;
+    readonly deployer: AztecAddress;
+    readonly currentContractClassId: Fr;
+    readonly originalContractClassId: Fr;
+    readonly initializationHash: Fr;
+    readonly immutablesHash: Fr;
+    readonly publicKeys: PublicKeys;
+    constructor(hintKey: number, address: AztecAddress, salt: Fr, deployer: AztecAddress, currentContractClassId: Fr, originalContractClassId: Fr, initializationHash: Fr, immutablesHash: Fr, publicKeys: PublicKeys);
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        hintKey: z.ZodNumber;
+        address: ZodFor<AztecAddress>;
+        salt: ZodFor<Fr>;
+        deployer: ZodFor<AztecAddress>;
+        currentContractClassId: ZodFor<Fr>;
+        originalContractClassId: ZodFor<Fr>;
+        initializationHash: ZodFor<Fr>;
+        immutablesHash: ZodFor<Fr>;
+        publicKeys: z.ZodPipe<z.ZodObject<{
+            npkMHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            ivpkM: z.ZodType<import("@aztec-labs/foundation/schemas").Point, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Point, string>>;
+            ovpkMHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            tpkMHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            mspkMHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            fbpkMHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+        }, z.core.$strip>, z.ZodTransform<PublicKeys, {
+            npkMHash: Fr;
+            ivpkM: import("@aztec-labs/foundation/schemas").Point;
+            ovpkMHash: Fr;
+            tpkMHash: Fr;
+            mspkMHash: Fr;
+            fbpkMHash: Fr;
+        }>>;
+    }, z.core.$strip>, z.ZodTransform<AvmContractInstanceHint, {
+        hintKey: number;
+        address: AztecAddress;
+        salt: Fr;
+        deployer: AztecAddress;
+        currentContractClassId: Fr;
+        originalContractClassId: Fr;
+        initializationHash: Fr;
+        immutablesHash: Fr;
+        publicKeys: PublicKeys;
+    }>>;
+    /**
+     * Creates an AvmContractInstanceHint from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * @param obj - Plain object containing AvmContractInstanceHint fields
+     * @returns An AvmContractInstanceHint instance
+     */
+    static fromPlainObject(obj: any): AvmContractInstanceHint;
+}
+export declare class AvmDebugFunctionNameHint {
+    readonly address: AztecAddress;
+    readonly selector: Fr;
+    readonly name: string;
+    constructor(address: AztecAddress, selector: Fr, name: string);
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        address: ZodFor<AztecAddress>;
+        selector: ZodFor<Fr>;
+        name: z.ZodString;
+    }, z.core.$strip>, z.ZodTransform<AvmDebugFunctionNameHint, {
+        address: AztecAddress;
+        selector: Fr;
+        name: string;
+    }>>;
+    /**
+     * Creates an AvmDebugFunctionNameHint from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * @param obj - Plain object containing AvmDebugFunctionNameHint fields
+     * @returns An AvmDebugFunctionNameHint instance
+     */
+    static fromPlainObject(obj: any): AvmDebugFunctionNameHint;
+}
+export declare class AvmGetSiblingPathHint {
+    readonly hintKey: AppendOnlyTreeSnapshot;
+    readonly treeId: MerkleTreeId;
+    readonly index: bigint;
+    readonly path: Fr[];
+    constructor(hintKey: AppendOnlyTreeSnapshot, treeId: MerkleTreeId, index: bigint, path: Fr[]);
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        hintKey: z.ZodPipe<z.ZodObject<{
+            root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+            root: Fr;
+            nextAvailableLeafIndex: number;
+        }>>;
+        treeId: z.ZodNumber;
+        index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+        path: z.ZodArray<ZodFor<Fr>>;
+    }, z.core.$strip>, z.ZodTransform<AvmGetSiblingPathHint, {
+        hintKey: AppendOnlyTreeSnapshot;
+        treeId: number;
+        index: bigint;
+        path: Fr[];
+    }>>;
+    /**
+     * Creates an AvmGetSiblingPathHint from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * @param obj - Plain object containing AvmGetSiblingPathHint fields
+     * @returns An AvmGetSiblingPathHint instance
+     */
+    static fromPlainObject(obj: any): AvmGetSiblingPathHint;
+}
+export declare class AvmGetPreviousValueIndexHint {
+    readonly hintKey: AppendOnlyTreeSnapshot;
+    readonly treeId: MerkleTreeId;
+    readonly value: Fr;
+    readonly index: bigint;
+    readonly alreadyPresent: boolean;
+    constructor(hintKey: AppendOnlyTreeSnapshot, treeId: MerkleTreeId, value: Fr, index: bigint, alreadyPresent: boolean);
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        hintKey: z.ZodPipe<z.ZodObject<{
+            root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+            root: Fr;
+            nextAvailableLeafIndex: number;
+        }>>;
+        treeId: z.ZodNumber;
+        value: ZodFor<Fr>;
+        index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+        alreadyPresent: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodTransform<AvmGetPreviousValueIndexHint, {
+        hintKey: AppendOnlyTreeSnapshot;
+        treeId: number;
+        value: Fr;
+        index: bigint;
+        alreadyPresent: boolean;
+    }>>;
+    /**
+     * Creates an AvmGetPreviousValueIndexHint from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * @param obj - Plain object containing AvmGetPreviousValueIndexHint fields
+     * @returns An AvmGetPreviousValueIndexHint instance
+     */
+    static fromPlainObject(obj: any): AvmGetPreviousValueIndexHint;
+}
+type IndexedTreeLeafPreimages = NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+declare const AvmGetLeafPreimageHintPublicDataTree_base: {
+    new (hintKey: AppendOnlyTreeSnapshot, index: bigint, leafPreimage: IndexedTreeLeafPreimages): {
+        readonly hintKey: AppendOnlyTreeSnapshot;
+        readonly index: bigint;
+        readonly leafPreimage: IndexedTreeLeafPreimages;
+    };
+    get schema(): z.ZodPipe<z.ZodObject<{
+        hintKey: z.ZodPipe<z.ZodObject<{
+            root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+            root: Fr;
+            nextAvailableLeafIndex: number;
+        }>>;
+        index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+        leafPreimage: z.ZodPipe<z.ZodObject<{
+            leaf: z.ZodPipe<z.ZodObject<{
+                nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+                nullifier: Fr;
+            }>>;
+            nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
+            leaf: NullifierLeaf;
+            nextKey: Fr;
+            nextIndex: bigint;
+        }>> | z.ZodPipe<z.ZodObject<{
+            leaf: z.ZodPipe<z.ZodObject<{
+                slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+                slot: Fr;
+                value: Fr;
+            }>>;
+            nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
+            leaf: PublicDataTreeLeaf;
+            nextKey: Fr;
+            nextIndex: bigint;
+        }>>;
+    }, z.core.$strip>, z.ZodTransform<{
+        readonly hintKey: AppendOnlyTreeSnapshot;
+        readonly index: bigint;
+        readonly leafPreimage: IndexedTreeLeafPreimages;
+    }, {
+        hintKey: AppendOnlyTreeSnapshot;
+        index: bigint;
+        leafPreimage: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+    }>>;
+    /**
+     * Creates an instance from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * @param obj - Plain object containing hint fields
+     * @returns An instance
+     */
+    fromPlainObject(obj: any): any;
+};
+export declare class AvmGetLeafPreimageHintPublicDataTree extends AvmGetLeafPreimageHintPublicDataTree_base {
+}
+declare const AvmGetLeafPreimageHintNullifierTree_base: {
+    new (hintKey: AppendOnlyTreeSnapshot, index: bigint, leafPreimage: IndexedTreeLeafPreimages): {
+        readonly hintKey: AppendOnlyTreeSnapshot;
+        readonly index: bigint;
+        readonly leafPreimage: IndexedTreeLeafPreimages;
+    };
+    get schema(): z.ZodPipe<z.ZodObject<{
+        hintKey: z.ZodPipe<z.ZodObject<{
+            root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+            root: Fr;
+            nextAvailableLeafIndex: number;
+        }>>;
+        index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+        leafPreimage: z.ZodPipe<z.ZodObject<{
+            leaf: z.ZodPipe<z.ZodObject<{
+                nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+                nullifier: Fr;
+            }>>;
+            nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
+            leaf: NullifierLeaf;
+            nextKey: Fr;
+            nextIndex: bigint;
+        }>> | z.ZodPipe<z.ZodObject<{
+            leaf: z.ZodPipe<z.ZodObject<{
+                slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+                slot: Fr;
+                value: Fr;
+            }>>;
+            nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
+            leaf: PublicDataTreeLeaf;
+            nextKey: Fr;
+            nextIndex: bigint;
+        }>>;
+    }, z.core.$strip>, z.ZodTransform<{
+        readonly hintKey: AppendOnlyTreeSnapshot;
+        readonly index: bigint;
+        readonly leafPreimage: IndexedTreeLeafPreimages;
+    }, {
+        hintKey: AppendOnlyTreeSnapshot;
+        index: bigint;
+        leafPreimage: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+    }>>;
+    /**
+     * Creates an instance from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * @param obj - Plain object containing hint fields
+     * @returns An instance
+     */
+    fromPlainObject(obj: any): any;
+};
+export declare class AvmGetLeafPreimageHintNullifierTree extends AvmGetLeafPreimageHintNullifierTree_base {
+}
+export declare class AvmGetLeafValueHint {
+    readonly hintKey: AppendOnlyTreeSnapshot;
+    readonly treeId: MerkleTreeId;
+    readonly index: bigint;
+    readonly value: Fr;
+    constructor(hintKey: AppendOnlyTreeSnapshot, treeId: MerkleTreeId, index: bigint, value: Fr);
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        hintKey: z.ZodPipe<z.ZodObject<{
+            root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+            root: Fr;
+            nextAvailableLeafIndex: number;
+        }>>;
+        treeId: z.ZodNumber;
+        index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+        value: ZodFor<Fr>;
+    }, z.core.$strip>, z.ZodTransform<AvmGetLeafValueHint, {
+        hintKey: AppendOnlyTreeSnapshot;
+        treeId: number;
+        index: bigint;
+        value: Fr;
+    }>>;
+    /**
+     * Creates an AvmGetLeafValueHint from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * @param obj - Plain object containing AvmGetLeafValueHint fields
+     * @returns An AvmGetLeafValueHint instance
+     */
+    static fromPlainObject(obj: any): AvmGetLeafValueHint;
+}
+declare const AvmSequentialInsertHintPublicDataTree_base: {
+    new (hintKey: AppendOnlyTreeSnapshot, stateAfter: AppendOnlyTreeSnapshot, treeId: MerkleTreeId, leaf: NullifierLeaf | 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: NullifierLeaf | PublicDataTreeLeaf;
+        readonly lowLeavesWitnessData: {
+            leaf: IndexedTreeLeafPreimages;
+            index: bigint;
+            path: Fr[];
+        };
+        readonly insertionWitnessData: {
+            leaf: IndexedTreeLeafPreimages;
+            index: bigint;
+            path: Fr[];
+        };
+    };
+    get schema(): z.ZodPipe<z.ZodObject<{
+        hintKey: z.ZodPipe<z.ZodObject<{
+            root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+            root: Fr;
+            nextAvailableLeafIndex: number;
+        }>>;
+        stateAfter: z.ZodPipe<z.ZodObject<{
+            root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+            root: Fr;
+            nextAvailableLeafIndex: number;
+        }>>;
+        treeId: z.ZodNumber;
+        leaf: z.ZodPipe<z.ZodObject<{
+            nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+        }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+            nullifier: Fr;
+        }>> | z.ZodPipe<z.ZodObject<{
+            slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+        }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+            slot: Fr;
+            value: Fr;
+        }>>;
+        lowLeavesWitnessData: z.ZodObject<{
+            leaf: z.ZodPipe<z.ZodObject<{
+                leaf: z.ZodPipe<z.ZodObject<{
+                    nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+                    nullifier: Fr;
+                }>>;
+                nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
+                leaf: NullifierLeaf;
+                nextKey: Fr;
+                nextIndex: bigint;
+            }>> | z.ZodPipe<z.ZodObject<{
+                leaf: z.ZodPipe<z.ZodObject<{
+                    slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+                    slot: Fr;
+                    value: Fr;
+                }>>;
+                nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
+                leaf: PublicDataTreeLeaf;
+                nextKey: Fr;
+                nextIndex: bigint;
+            }>>;
+            index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            path: z.ZodArray<ZodFor<Fr>>;
+        }, z.core.$strip>;
+        insertionWitnessData: z.ZodObject<{
+            leaf: z.ZodPipe<z.ZodObject<{
+                leaf: z.ZodPipe<z.ZodObject<{
+                    nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+                    nullifier: Fr;
+                }>>;
+                nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
+                leaf: NullifierLeaf;
+                nextKey: Fr;
+                nextIndex: bigint;
+            }>> | z.ZodPipe<z.ZodObject<{
+                leaf: z.ZodPipe<z.ZodObject<{
+                    slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+                    slot: Fr;
+                    value: Fr;
+                }>>;
+                nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
+                leaf: PublicDataTreeLeaf;
+                nextKey: Fr;
+                nextIndex: bigint;
+            }>>;
+            index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            path: z.ZodArray<ZodFor<Fr>>;
+        }, z.core.$strip>;
+    }, z.core.$strip>, z.ZodTransform<{
+        readonly hintKey: AppendOnlyTreeSnapshot;
+        readonly stateAfter: AppendOnlyTreeSnapshot;
+        readonly treeId: MerkleTreeId;
+        readonly leaf: NullifierLeaf | PublicDataTreeLeaf;
+        readonly lowLeavesWitnessData: {
+            leaf: IndexedTreeLeafPreimages;
+            index: bigint;
+            path: Fr[];
+        };
+        readonly insertionWitnessData: {
+            leaf: IndexedTreeLeafPreimages;
+            index: bigint;
+            path: Fr[];
+        };
+    }, {
+        hintKey: AppendOnlyTreeSnapshot;
+        stateAfter: AppendOnlyTreeSnapshot;
+        treeId: number;
+        leaf: NullifierLeaf | PublicDataTreeLeaf;
+        lowLeavesWitnessData: {
+            leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+            index: bigint;
+            path: Fr[];
+        };
+        insertionWitnessData: {
+            leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+            index: bigint;
+            path: Fr[];
+        };
+    }>>;
+    /**
+     * Creates an instance from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * @param obj - Plain object containing hint fields
+     * @returns An instance
+     */
+    fromPlainObject(obj: any): any;
+};
+export declare class AvmSequentialInsertHintPublicDataTree extends AvmSequentialInsertHintPublicDataTree_base {
+}
+declare const AvmSequentialInsertHintNullifierTree_base: {
+    new (hintKey: AppendOnlyTreeSnapshot, stateAfter: AppendOnlyTreeSnapshot, treeId: MerkleTreeId, leaf: NullifierLeaf | 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: NullifierLeaf | PublicDataTreeLeaf;
+        readonly lowLeavesWitnessData: {
+            leaf: IndexedTreeLeafPreimages;
+            index: bigint;
+            path: Fr[];
+        };
+        readonly insertionWitnessData: {
+            leaf: IndexedTreeLeafPreimages;
+            index: bigint;
+            path: Fr[];
+        };
+    };
+    get schema(): z.ZodPipe<z.ZodObject<{
+        hintKey: z.ZodPipe<z.ZodObject<{
+            root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+            root: Fr;
+            nextAvailableLeafIndex: number;
+        }>>;
+        stateAfter: z.ZodPipe<z.ZodObject<{
+            root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+            root: Fr;
+            nextAvailableLeafIndex: number;
+        }>>;
+        treeId: z.ZodNumber;
+        leaf: z.ZodPipe<z.ZodObject<{
+            nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+        }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+            nullifier: Fr;
+        }>> | z.ZodPipe<z.ZodObject<{
+            slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+        }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+            slot: Fr;
+            value: Fr;
+        }>>;
+        lowLeavesWitnessData: z.ZodObject<{
+            leaf: z.ZodPipe<z.ZodObject<{
+                leaf: z.ZodPipe<z.ZodObject<{
+                    nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+                    nullifier: Fr;
+                }>>;
+                nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
+                leaf: NullifierLeaf;
+                nextKey: Fr;
+                nextIndex: bigint;
+            }>> | z.ZodPipe<z.ZodObject<{
+                leaf: z.ZodPipe<z.ZodObject<{
+                    slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+                    slot: Fr;
+                    value: Fr;
+                }>>;
+                nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
+                leaf: PublicDataTreeLeaf;
+                nextKey: Fr;
+                nextIndex: bigint;
+            }>>;
+            index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            path: z.ZodArray<ZodFor<Fr>>;
+        }, z.core.$strip>;
+        insertionWitnessData: z.ZodObject<{
+            leaf: z.ZodPipe<z.ZodObject<{
+                leaf: z.ZodPipe<z.ZodObject<{
+                    nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+                    nullifier: Fr;
+                }>>;
+                nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
+                leaf: NullifierLeaf;
+                nextKey: Fr;
+                nextIndex: bigint;
+            }>> | z.ZodPipe<z.ZodObject<{
+                leaf: z.ZodPipe<z.ZodObject<{
+                    slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+                    slot: Fr;
+                    value: Fr;
+                }>>;
+                nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
+                leaf: PublicDataTreeLeaf;
+                nextKey: Fr;
+                nextIndex: bigint;
+            }>>;
+            index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            path: z.ZodArray<ZodFor<Fr>>;
+        }, z.core.$strip>;
+    }, z.core.$strip>, z.ZodTransform<{
+        readonly hintKey: AppendOnlyTreeSnapshot;
+        readonly stateAfter: AppendOnlyTreeSnapshot;
+        readonly treeId: MerkleTreeId;
+        readonly leaf: NullifierLeaf | PublicDataTreeLeaf;
+        readonly lowLeavesWitnessData: {
+            leaf: IndexedTreeLeafPreimages;
+            index: bigint;
+            path: Fr[];
+        };
+        readonly insertionWitnessData: {
+            leaf: IndexedTreeLeafPreimages;
+            index: bigint;
+            path: Fr[];
+        };
+    }, {
+        hintKey: AppendOnlyTreeSnapshot;
+        stateAfter: AppendOnlyTreeSnapshot;
+        treeId: number;
+        leaf: NullifierLeaf | PublicDataTreeLeaf;
+        lowLeavesWitnessData: {
+            leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+            index: bigint;
+            path: Fr[];
+        };
+        insertionWitnessData: {
+            leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+            index: bigint;
+            path: Fr[];
+        };
+    }>>;
+    /**
+     * Creates an instance from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * @param obj - Plain object containing hint fields
+     * @returns An instance
+     */
+    fromPlainObject(obj: any): any;
+};
+export declare class AvmSequentialInsertHintNullifierTree extends AvmSequentialInsertHintNullifierTree_base {
+}
+export declare class AvmAppendLeavesHint {
+    readonly hintKey: AppendOnlyTreeSnapshot;
+    readonly stateAfter: AppendOnlyTreeSnapshot;
+    readonly treeId: MerkleTreeId;
+    readonly leaves: Fr[];
+    constructor(hintKey: AppendOnlyTreeSnapshot, stateAfter: AppendOnlyTreeSnapshot, treeId: MerkleTreeId, leaves: Fr[]);
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        hintKey: z.ZodPipe<z.ZodObject<{
+            root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+            root: Fr;
+            nextAvailableLeafIndex: number;
+        }>>;
+        stateAfter: z.ZodPipe<z.ZodObject<{
+            root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+            root: Fr;
+            nextAvailableLeafIndex: number;
+        }>>;
+        treeId: z.ZodNumber;
+        leaves: z.ZodArray<ZodFor<Fr>>;
+    }, z.core.$strip>, z.ZodTransform<AvmAppendLeavesHint, {
+        hintKey: AppendOnlyTreeSnapshot;
+        stateAfter: AppendOnlyTreeSnapshot;
+        treeId: number;
+        leaves: Fr[];
+    }>>;
+    /**
+     * Creates an AvmAppendLeavesHint from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * @param obj - Plain object containing AvmAppendLeavesHint fields
+     * @returns An AvmAppendLeavesHint instance
+     */
+    static fromPlainObject(obj: any): AvmAppendLeavesHint;
+}
+declare class AvmCheckpointActionNoStateChangeHint {
+    readonly actionCounter: number;
+    readonly oldCheckpointId: number;
+    readonly newCheckpointId: number;
+    constructor(actionCounter: number, oldCheckpointId: number, newCheckpointId: number);
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        actionCounter: z.ZodNumber;
+        oldCheckpointId: z.ZodNumber;
+        newCheckpointId: z.ZodNumber;
+    }, z.core.$strip>, z.ZodTransform<AvmCheckpointActionNoStateChangeHint, {
+        actionCounter: number;
+        oldCheckpointId: number;
+        newCheckpointId: number;
+    }>>;
+    /**
+     * Creates an instance from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * @param obj - Plain object containing hint fields
+     * @returns An instance
+     */
+    static fromPlainObject(obj: any): any;
+}
+export declare class AvmCreateCheckpointHint extends AvmCheckpointActionNoStateChangeHint {
+}
+export declare class AvmCommitCheckpointHint extends AvmCheckpointActionNoStateChangeHint {
+}
+export declare class AvmRevertCheckpointHint {
+    readonly actionCounter: number;
+    readonly oldCheckpointId: number;
+    readonly newCheckpointId: number;
+    readonly stateBefore: TreeSnapshots;
+    readonly stateAfter: TreeSnapshots;
+    constructor(actionCounter: number, oldCheckpointId: number, newCheckpointId: number, stateBefore: TreeSnapshots, stateAfter: TreeSnapshots);
+    static create(actionCounter: number, oldCheckpointId: number, newCheckpointId: number, stateBefore: Record<MerkleTreeId, AppendOnlyTreeSnapshot>, stateAfter: Record<MerkleTreeId, AppendOnlyTreeSnapshot>): AvmRevertCheckpointHint;
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        actionCounter: z.ZodNumber;
+        oldCheckpointId: z.ZodNumber;
+        newCheckpointId: z.ZodNumber;
+        stateBefore: z.ZodPipe<z.ZodObject<{
+            l1ToL2MessageTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            noteHashTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            nullifierTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            publicDataTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+        }, z.core.$strip>, z.ZodTransform<TreeSnapshots, {
+            l1ToL2MessageTree: AppendOnlyTreeSnapshot;
+            noteHashTree: AppendOnlyTreeSnapshot;
+            nullifierTree: AppendOnlyTreeSnapshot;
+            publicDataTree: AppendOnlyTreeSnapshot;
+        }>>;
+        stateAfter: z.ZodPipe<z.ZodObject<{
+            l1ToL2MessageTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            noteHashTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            nullifierTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            publicDataTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+        }, z.core.$strip>, z.ZodTransform<TreeSnapshots, {
+            l1ToL2MessageTree: AppendOnlyTreeSnapshot;
+            noteHashTree: AppendOnlyTreeSnapshot;
+            nullifierTree: AppendOnlyTreeSnapshot;
+            publicDataTree: AppendOnlyTreeSnapshot;
+        }>>;
+    }, z.core.$strip>, z.ZodTransform<AvmRevertCheckpointHint, {
+        actionCounter: number;
+        oldCheckpointId: number;
+        newCheckpointId: number;
+        stateBefore: TreeSnapshots;
+        stateAfter: TreeSnapshots;
+    }>>;
+    /**
+     * Creates an AvmRevertCheckpointHint from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * @param obj - Plain object containing AvmRevertCheckpointHint fields
+     * @returns An AvmRevertCheckpointHint instance
+     */
+    static fromPlainObject(obj: any): AvmRevertCheckpointHint;
+}
+export declare class AvmContractDbCreateCheckpointHint extends AvmCheckpointActionNoStateChangeHint {
+}
+export declare class AvmContractDbCommitCheckpointHint extends AvmCheckpointActionNoStateChangeHint {
+}
+export declare class AvmContractDbRevertCheckpointHint extends AvmCheckpointActionNoStateChangeHint {
+}
+export declare class AvmTxHint {
+    readonly hash: string;
+    readonly gasSettings: GasSettings;
+    readonly effectiveGasFees: GasFees;
+    readonly nonRevertibleContractDeploymentData: ContractDeploymentData;
+    readonly revertibleContractDeploymentData: ContractDeploymentData;
+    readonly nonRevertibleAccumulatedData: {
+        noteHashes: Fr[];
+        nullifiers: Fr[];
+        l2ToL1Messages: ScopedL2ToL1Message[];
+    };
+    readonly revertibleAccumulatedData: {
+        noteHashes: Fr[];
+        nullifiers: Fr[];
+        l2ToL1Messages: ScopedL2ToL1Message[];
+    };
+    readonly setupEnqueuedCalls: PublicCallRequestWithCalldata[];
+    readonly appLogicEnqueuedCalls: PublicCallRequestWithCalldata[];
+    readonly teardownEnqueuedCall: PublicCallRequestWithCalldata | null;
+    readonly gasUsedByPrivate: Gas;
+    readonly feePayer: AztecAddress;
+    constructor(hash: string, gasSettings: GasSettings, effectiveGasFees: GasFees, nonRevertibleContractDeploymentData: ContractDeploymentData, revertibleContractDeploymentData: ContractDeploymentData, nonRevertibleAccumulatedData: {
+        noteHashes: Fr[];
+        nullifiers: Fr[];
+        l2ToL1Messages: ScopedL2ToL1Message[];
+    }, revertibleAccumulatedData: {
+        noteHashes: Fr[];
+        nullifiers: Fr[];
+        l2ToL1Messages: ScopedL2ToL1Message[];
+    }, setupEnqueuedCalls: PublicCallRequestWithCalldata[], appLogicEnqueuedCalls: PublicCallRequestWithCalldata[], teardownEnqueuedCall: PublicCallRequestWithCalldata | null, gasUsedByPrivate: Gas, feePayer: AztecAddress);
+    static fromTx(tx: Tx, gasFees: GasFees): AvmTxHint;
+    static empty(): AvmTxHint;
+    /**
+     * Creates an AvmTxHint from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * @param obj - Plain object containing AvmTxHint fields
+     * @returns An AvmTxHint instance
+     */
+    static fromPlainObject(obj: any): AvmTxHint;
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        hash: z.ZodString;
+        gasSettings: z.ZodPipe<z.ZodObject<{
+            gasLimits: z.ZodPipe<z.ZodObject<{
+                daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<Gas, {
+                daGas: number;
+                l2Gas: number;
+            }>>;
+            teardownGasLimits: z.ZodPipe<z.ZodObject<{
+                daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<Gas, {
+                daGas: number;
+                l2Gas: number;
+            }>>;
+            maxFeesPerGas: z.ZodPipe<z.ZodObject<{
+                feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<GasFees, {
+                feePerDaGas: bigint;
+                feePerL2Gas: bigint;
+            }>>;
+            maxPriorityFeesPerGas: z.ZodPipe<z.ZodObject<{
+                feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<GasFees, {
+                feePerDaGas: bigint;
+                feePerL2Gas: bigint;
+            }>>;
+        }, z.core.$strip>, z.ZodTransform<GasSettings, {
+            gasLimits: Gas;
+            teardownGasLimits: Gas;
+            maxFeesPerGas: GasFees;
+            maxPriorityFeesPerGas: GasFees;
+        }>>;
+        effectiveGasFees: z.ZodPipe<z.ZodObject<{
+            feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<GasFees, {
+            feePerDaGas: bigint;
+            feePerL2Gas: bigint;
+        }>>;
+        nonRevertibleContractDeploymentData: z.ZodPipe<z.ZodObject<{
+            contractClassLogs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                contractAddress: ZodFor<AztecAddress>;
+                fields: z.ZodPipe<z.ZodObject<{
+                    fields: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+                }, z.core.$strip>, z.ZodTransform<import("../logs/contract_class_log.js").ContractClassLogFields, {
+                    fields: Fr[];
+                }>>;
+                emittedLength: z.ZodNumber;
+            }, z.core.$strip>, z.ZodTransform<import("../logs/contract_class_log.js").ContractClassLog, {
+                contractAddress: AztecAddress;
+                fields: import("../logs/contract_class_log.js").ContractClassLogFields;
+                emittedLength: number;
+            }>>>;
+            privateLogs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                fields: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+                emittedLength: z.ZodNumber;
+            }, z.core.$strict>, z.ZodTransform<import("../logs/private_log.js").PrivateLog, {
+                fields: Fr[];
+                emittedLength: number;
+            }>>>;
+        }, z.core.$strip>, z.ZodTransform<ContractDeploymentData, {
+            contractClassLogs: import("../logs/contract_class_log.js").ContractClassLog[];
+            privateLogs: import("../logs/private_log.js").PrivateLog[];
+        }>>;
+        revertibleContractDeploymentData: z.ZodPipe<z.ZodObject<{
+            contractClassLogs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                contractAddress: ZodFor<AztecAddress>;
+                fields: z.ZodPipe<z.ZodObject<{
+                    fields: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+                }, z.core.$strip>, z.ZodTransform<import("../logs/contract_class_log.js").ContractClassLogFields, {
+                    fields: Fr[];
+                }>>;
+                emittedLength: z.ZodNumber;
+            }, z.core.$strip>, z.ZodTransform<import("../logs/contract_class_log.js").ContractClassLog, {
+                contractAddress: AztecAddress;
+                fields: import("../logs/contract_class_log.js").ContractClassLogFields;
+                emittedLength: number;
+            }>>>;
+            privateLogs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                fields: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+                emittedLength: z.ZodNumber;
+            }, z.core.$strict>, z.ZodTransform<import("../logs/private_log.js").PrivateLog, {
+                fields: Fr[];
+                emittedLength: number;
+            }>>>;
+        }, z.core.$strip>, z.ZodTransform<ContractDeploymentData, {
+            contractClassLogs: import("../logs/contract_class_log.js").ContractClassLog[];
+            privateLogs: import("../logs/private_log.js").PrivateLog[];
+        }>>;
+        nonRevertibleAccumulatedData: z.ZodObject<{
+            noteHashes: z.ZodArray<ZodFor<Fr>>;
+            nullifiers: z.ZodArray<ZodFor<Fr>>;
+            l2ToL1Messages: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                message: z.ZodPipe<z.ZodObject<{
+                    recipient: z.ZodType<import("@aztec-labs/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/eth-address").EthAddress, string>>;
+                    content: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                    recipient: import("@aztec-labs/foundation/eth-address").EthAddress;
+                    content: Fr;
+                }>>;
+                contractAddress: ZodFor<AztecAddress>;
+            }, z.core.$strip>, z.ZodTransform<ScopedL2ToL1Message, {
+                message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                contractAddress: AztecAddress;
+            }>>>;
+        }, z.core.$strip>;
+        revertibleAccumulatedData: z.ZodObject<{
+            noteHashes: z.ZodArray<ZodFor<Fr>>;
+            nullifiers: z.ZodArray<ZodFor<Fr>>;
+            l2ToL1Messages: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                message: z.ZodPipe<z.ZodObject<{
+                    recipient: z.ZodType<import("@aztec-labs/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/eth-address").EthAddress, string>>;
+                    content: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                    recipient: import("@aztec-labs/foundation/eth-address").EthAddress;
+                    content: Fr;
+                }>>;
+                contractAddress: ZodFor<AztecAddress>;
+            }, z.core.$strip>, z.ZodTransform<ScopedL2ToL1Message, {
+                message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                contractAddress: AztecAddress;
+            }>>>;
+        }, z.core.$strip>;
+        setupEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>>;
+        appLogicEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>>;
+        teardownEnqueuedCall: z.ZodNullable<ZodFor<PublicCallRequestWithCalldata>>;
+        gasUsedByPrivate: z.ZodPipe<z.ZodObject<{
+            daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<Gas, {
+            daGas: number;
+            l2Gas: number;
+        }>>;
+        feePayer: ZodFor<AztecAddress>;
+    }, z.core.$strip>, z.ZodTransform<AvmTxHint, {
+        hash: string;
+        gasSettings: GasSettings;
+        effectiveGasFees: GasFees;
+        nonRevertibleContractDeploymentData: ContractDeploymentData;
+        revertibleContractDeploymentData: ContractDeploymentData;
+        nonRevertibleAccumulatedData: {
+            noteHashes: Fr[];
+            nullifiers: Fr[];
+            l2ToL1Messages: ScopedL2ToL1Message[];
+        };
+        revertibleAccumulatedData: {
+            noteHashes: Fr[];
+            nullifiers: Fr[];
+            l2ToL1Messages: ScopedL2ToL1Message[];
+        };
+        setupEnqueuedCalls: PublicCallRequestWithCalldata[];
+        appLogicEnqueuedCalls: PublicCallRequestWithCalldata[];
+        teardownEnqueuedCall: PublicCallRequestWithCalldata | null;
+        gasUsedByPrivate: Gas;
+        feePayer: AztecAddress;
+    }>>;
+}
+export declare class AvmExecutionHints {
+    readonly globalVariables: GlobalVariables;
+    tx: AvmTxHint;
+    protocolContracts: ProtocolContracts;
+    readonly contractInstances: AvmContractInstanceHint[];
+    readonly contractClasses: AvmContractClassHint[];
+    readonly bytecodeCommitments: AvmBytecodeCommitmentHint[];
+    readonly debugFunctionNames: AvmDebugFunctionNameHint[];
+    readonly contractDbCreateCheckpointHints: AvmContractDbCreateCheckpointHint[];
+    readonly contractDbCommitCheckpointHints: AvmContractDbCommitCheckpointHint[];
+    readonly contractDbRevertCheckpointHints: AvmContractDbRevertCheckpointHint[];
+    startingTreeRoots: TreeSnapshots;
+    readonly getSiblingPathHints: AvmGetSiblingPathHint[];
+    readonly getPreviousValueIndexHints: AvmGetPreviousValueIndexHint[];
+    readonly getLeafPreimageHintsPublicDataTree: AvmGetLeafPreimageHintPublicDataTree[];
+    readonly getLeafPreimageHintsNullifierTree: AvmGetLeafPreimageHintNullifierTree[];
+    readonly getLeafValueHints: AvmGetLeafValueHint[];
+    readonly sequentialInsertHintsPublicDataTree: AvmSequentialInsertHintPublicDataTree[];
+    readonly sequentialInsertHintsNullifierTree: AvmSequentialInsertHintNullifierTree[];
+    readonly appendLeavesHints: AvmAppendLeavesHint[];
+    readonly createCheckpointHints: AvmCreateCheckpointHint[];
+    readonly commitCheckpointHints: AvmCommitCheckpointHint[];
+    readonly revertCheckpointHints: AvmRevertCheckpointHint[];
+    constructor(globalVariables: GlobalVariables, tx: AvmTxHint, protocolContracts: ProtocolContracts, contractInstances?: AvmContractInstanceHint[], contractClasses?: AvmContractClassHint[], bytecodeCommitments?: AvmBytecodeCommitmentHint[], debugFunctionNames?: AvmDebugFunctionNameHint[], contractDbCreateCheckpointHints?: AvmContractDbCreateCheckpointHint[], contractDbCommitCheckpointHints?: AvmContractDbCommitCheckpointHint[], contractDbRevertCheckpointHints?: AvmContractDbRevertCheckpointHint[], startingTreeRoots?: TreeSnapshots, getSiblingPathHints?: AvmGetSiblingPathHint[], getPreviousValueIndexHints?: AvmGetPreviousValueIndexHint[], getLeafPreimageHintsPublicDataTree?: AvmGetLeafPreimageHintPublicDataTree[], getLeafPreimageHintsNullifierTree?: AvmGetLeafPreimageHintNullifierTree[], getLeafValueHints?: AvmGetLeafValueHint[], sequentialInsertHintsPublicDataTree?: AvmSequentialInsertHintPublicDataTree[], sequentialInsertHintsNullifierTree?: AvmSequentialInsertHintNullifierTree[], appendLeavesHints?: AvmAppendLeavesHint[], createCheckpointHints?: AvmCreateCheckpointHint[], commitCheckpointHints?: AvmCommitCheckpointHint[], revertCheckpointHints?: AvmRevertCheckpointHint[]);
+    /**
+     * Creates an AvmExecutionHints from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * @param obj - Plain object containing AvmExecutionHints fields
+     * @returns An AvmExecutionHints instance
+     */
+    static fromPlainObject(obj: any): AvmExecutionHints;
+    static empty(): AvmExecutionHints;
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        globalVariables: z.ZodPipe<z.ZodObject<{
+            chainId: ZodFor<Fr>;
+            version: ZodFor<Fr>;
+            blockNumber: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodPipe<z.ZodBigInt, z.ZodTransform<number, bigint>>, z.ZodPipe<z.ZodString, z.ZodTransform<number, string>>]>, z.ZodTransform<import("@aztec-labs/foundation/branded-types").BlockNumber, number>>;
+            slotNumber: ZodFor<import("@aztec-labs/foundation/schemas").SlotNumber>;
+            timestamp: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            coinbase: ZodFor<import("@aztec-labs/foundation/eth-address").EthAddress>;
+            feeRecipient: ZodFor<AztecAddress>;
+            gasFees: z.ZodPipe<z.ZodObject<{
+                feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<GasFees, {
+                feePerDaGas: bigint;
+                feePerL2Gas: bigint;
+            }>>;
+        }, z.core.$strip>, z.ZodTransform<GlobalVariables, {
+            chainId: Fr;
+            version: Fr;
+            blockNumber: import("@aztec-labs/foundation/branded-types").BlockNumber;
+            slotNumber: import("@aztec-labs/foundation/schemas").SlotNumber;
+            timestamp: bigint;
+            coinbase: import("@aztec-labs/foundation/eth-address").EthAddress;
+            feeRecipient: AztecAddress;
+            gasFees: GasFees;
+        }>>;
+        tx: z.ZodPipe<z.ZodObject<{
+            hash: z.ZodString;
+            gasSettings: z.ZodPipe<z.ZodObject<{
+                gasLimits: z.ZodPipe<z.ZodObject<{
+                    daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<Gas, {
+                    daGas: number;
+                    l2Gas: number;
+                }>>;
+                teardownGasLimits: z.ZodPipe<z.ZodObject<{
+                    daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<Gas, {
+                    daGas: number;
+                    l2Gas: number;
+                }>>;
+                maxFeesPerGas: z.ZodPipe<z.ZodObject<{
+                    feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<GasFees, {
+                    feePerDaGas: bigint;
+                    feePerL2Gas: bigint;
+                }>>;
+                maxPriorityFeesPerGas: z.ZodPipe<z.ZodObject<{
+                    feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<GasFees, {
+                    feePerDaGas: bigint;
+                    feePerL2Gas: bigint;
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<GasSettings, {
+                gasLimits: Gas;
+                teardownGasLimits: Gas;
+                maxFeesPerGas: GasFees;
+                maxPriorityFeesPerGas: GasFees;
+            }>>;
+            effectiveGasFees: z.ZodPipe<z.ZodObject<{
+                feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<GasFees, {
+                feePerDaGas: bigint;
+                feePerL2Gas: bigint;
+            }>>;
+            nonRevertibleContractDeploymentData: z.ZodPipe<z.ZodObject<{
+                contractClassLogs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    contractAddress: ZodFor<AztecAddress>;
+                    fields: z.ZodPipe<z.ZodObject<{
+                        fields: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../logs/contract_class_log.js").ContractClassLogFields, {
+                        fields: Fr[];
+                    }>>;
+                    emittedLength: z.ZodNumber;
+                }, z.core.$strip>, z.ZodTransform<import("../logs/contract_class_log.js").ContractClassLog, {
+                    contractAddress: AztecAddress;
+                    fields: import("../logs/contract_class_log.js").ContractClassLogFields;
+                    emittedLength: number;
+                }>>>;
+                privateLogs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    fields: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+                    emittedLength: z.ZodNumber;
+                }, z.core.$strict>, z.ZodTransform<import("../logs/private_log.js").PrivateLog, {
+                    fields: Fr[];
+                    emittedLength: number;
+                }>>>;
+            }, z.core.$strip>, z.ZodTransform<ContractDeploymentData, {
+                contractClassLogs: import("../logs/contract_class_log.js").ContractClassLog[];
+                privateLogs: import("../logs/private_log.js").PrivateLog[];
+            }>>;
+            revertibleContractDeploymentData: z.ZodPipe<z.ZodObject<{
+                contractClassLogs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    contractAddress: ZodFor<AztecAddress>;
+                    fields: z.ZodPipe<z.ZodObject<{
+                        fields: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../logs/contract_class_log.js").ContractClassLogFields, {
+                        fields: Fr[];
+                    }>>;
+                    emittedLength: z.ZodNumber;
+                }, z.core.$strip>, z.ZodTransform<import("../logs/contract_class_log.js").ContractClassLog, {
+                    contractAddress: AztecAddress;
+                    fields: import("../logs/contract_class_log.js").ContractClassLogFields;
+                    emittedLength: number;
+                }>>>;
+                privateLogs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    fields: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+                    emittedLength: z.ZodNumber;
+                }, z.core.$strict>, z.ZodTransform<import("../logs/private_log.js").PrivateLog, {
+                    fields: Fr[];
+                    emittedLength: number;
+                }>>>;
+            }, z.core.$strip>, z.ZodTransform<ContractDeploymentData, {
+                contractClassLogs: import("../logs/contract_class_log.js").ContractClassLog[];
+                privateLogs: import("../logs/private_log.js").PrivateLog[];
+            }>>;
+            nonRevertibleAccumulatedData: z.ZodObject<{
+                noteHashes: z.ZodArray<ZodFor<Fr>>;
+                nullifiers: z.ZodArray<ZodFor<Fr>>;
+                l2ToL1Messages: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    message: z.ZodPipe<z.ZodObject<{
+                        recipient: z.ZodType<import("@aztec-labs/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/eth-address").EthAddress, string>>;
+                        content: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                        recipient: import("@aztec-labs/foundation/eth-address").EthAddress;
+                        content: Fr;
+                    }>>;
+                    contractAddress: ZodFor<AztecAddress>;
+                }, z.core.$strip>, z.ZodTransform<ScopedL2ToL1Message, {
+                    message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                    contractAddress: AztecAddress;
+                }>>>;
+            }, z.core.$strip>;
+            revertibleAccumulatedData: z.ZodObject<{
+                noteHashes: z.ZodArray<ZodFor<Fr>>;
+                nullifiers: z.ZodArray<ZodFor<Fr>>;
+                l2ToL1Messages: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    message: z.ZodPipe<z.ZodObject<{
+                        recipient: z.ZodType<import("@aztec-labs/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/eth-address").EthAddress, string>>;
+                        content: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                        recipient: import("@aztec-labs/foundation/eth-address").EthAddress;
+                        content: Fr;
+                    }>>;
+                    contractAddress: ZodFor<AztecAddress>;
+                }, z.core.$strip>, z.ZodTransform<ScopedL2ToL1Message, {
+                    message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                    contractAddress: AztecAddress;
+                }>>>;
+            }, z.core.$strip>;
+            setupEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>>;
+            appLogicEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>>;
+            teardownEnqueuedCall: z.ZodNullable<ZodFor<PublicCallRequestWithCalldata>>;
+            gasUsedByPrivate: z.ZodPipe<z.ZodObject<{
+                daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<Gas, {
+                daGas: number;
+                l2Gas: number;
+            }>>;
+            feePayer: ZodFor<AztecAddress>;
+        }, z.core.$strip>, z.ZodTransform<AvmTxHint, {
+            hash: string;
+            gasSettings: GasSettings;
+            effectiveGasFees: GasFees;
+            nonRevertibleContractDeploymentData: ContractDeploymentData;
+            revertibleContractDeploymentData: ContractDeploymentData;
+            nonRevertibleAccumulatedData: {
+                noteHashes: Fr[];
+                nullifiers: Fr[];
+                l2ToL1Messages: ScopedL2ToL1Message[];
+            };
+            revertibleAccumulatedData: {
+                noteHashes: Fr[];
+                nullifiers: Fr[];
+                l2ToL1Messages: ScopedL2ToL1Message[];
+            };
+            setupEnqueuedCalls: PublicCallRequestWithCalldata[];
+            appLogicEnqueuedCalls: PublicCallRequestWithCalldata[];
+            teardownEnqueuedCall: PublicCallRequestWithCalldata | null;
+            gasUsedByPrivate: Gas;
+            feePayer: AztecAddress;
+        }>>;
+        protocolContracts: z.ZodPipe<z.ZodObject<{
+            derivedAddresses: z.ZodArray<ZodFor<AztecAddress>>;
+        }, z.core.$strip>, z.ZodTransform<ProtocolContracts, {
+            derivedAddresses: AztecAddress[];
+        }>>;
+        contractInstances: z.ZodArray<z.ZodPipe<z.ZodObject<{
+            hintKey: z.ZodNumber;
+            address: ZodFor<AztecAddress>;
+            salt: ZodFor<Fr>;
+            deployer: ZodFor<AztecAddress>;
+            currentContractClassId: ZodFor<Fr>;
+            originalContractClassId: ZodFor<Fr>;
+            initializationHash: ZodFor<Fr>;
+            immutablesHash: ZodFor<Fr>;
+            publicKeys: z.ZodPipe<z.ZodObject<{
+                npkMHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                ivpkM: z.ZodType<import("@aztec-labs/foundation/schemas").Point, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Point, string>>;
+                ovpkMHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                tpkMHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                mspkMHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                fbpkMHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            }, z.core.$strip>, z.ZodTransform<PublicKeys, {
+                npkMHash: Fr;
+                ivpkM: import("@aztec-labs/foundation/schemas").Point;
+                ovpkMHash: Fr;
+                tpkMHash: Fr;
+                mspkMHash: Fr;
+                fbpkMHash: Fr;
+            }>>;
+        }, z.core.$strip>, z.ZodTransform<AvmContractInstanceHint, {
+            hintKey: number;
+            address: AztecAddress;
+            salt: Fr;
+            deployer: AztecAddress;
+            currentContractClassId: Fr;
+            originalContractClassId: Fr;
+            initializationHash: Fr;
+            immutablesHash: Fr;
+            publicKeys: PublicKeys;
+        }>>>;
+        contractClasses: z.ZodArray<z.ZodPipe<z.ZodObject<{
+            hintKey: z.ZodNumber;
+            classId: ZodFor<Fr>;
+            artifactHash: ZodFor<Fr>;
+            privateFunctionsRoot: ZodFor<Fr>;
+            packedBytecode: ZodFor<Buffer<ArrayBufferLike>>;
+        }, z.core.$strip>, z.ZodTransform<AvmContractClassHint, {
+            hintKey: number;
+            classId: Fr;
+            artifactHash: Fr;
+            privateFunctionsRoot: Fr;
+            packedBytecode: Buffer<ArrayBufferLike>;
+        }>>>;
+        bytecodeCommitments: z.ZodArray<z.ZodPipe<z.ZodObject<{
+            hintKey: z.ZodNumber;
+            classId: ZodFor<Fr>;
+            commitment: ZodFor<Fr>;
+        }, z.core.$strip>, z.ZodTransform<AvmBytecodeCommitmentHint, {
+            hintKey: number;
+            classId: Fr;
+            commitment: Fr;
+        }>>>;
+        debugFunctionNames: z.ZodArray<z.ZodPipe<z.ZodObject<{
+            address: ZodFor<AztecAddress>;
+            selector: ZodFor<Fr>;
+            name: z.ZodString;
+        }, z.core.$strip>, z.ZodTransform<AvmDebugFunctionNameHint, {
+            address: AztecAddress;
+            selector: Fr;
+            name: string;
+        }>>>;
+        contractDbCreateCheckpointHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+            actionCounter: z.ZodNumber;
+            oldCheckpointId: z.ZodNumber;
+            newCheckpointId: z.ZodNumber;
+        }, z.core.$strip>, z.ZodTransform<AvmCheckpointActionNoStateChangeHint, {
+            actionCounter: number;
+            oldCheckpointId: number;
+            newCheckpointId: number;
+        }>>>;
+        contractDbCommitCheckpointHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+            actionCounter: z.ZodNumber;
+            oldCheckpointId: z.ZodNumber;
+            newCheckpointId: z.ZodNumber;
+        }, z.core.$strip>, z.ZodTransform<AvmCheckpointActionNoStateChangeHint, {
+            actionCounter: number;
+            oldCheckpointId: number;
+            newCheckpointId: number;
+        }>>>;
+        contractDbRevertCheckpointHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+            actionCounter: z.ZodNumber;
+            oldCheckpointId: z.ZodNumber;
+            newCheckpointId: z.ZodNumber;
+        }, z.core.$strip>, z.ZodTransform<AvmCheckpointActionNoStateChangeHint, {
+            actionCounter: number;
+            oldCheckpointId: number;
+            newCheckpointId: number;
+        }>>>;
+        startingTreeRoots: z.ZodPipe<z.ZodObject<{
+            l1ToL2MessageTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            noteHashTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            nullifierTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            publicDataTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+        }, z.core.$strip>, z.ZodTransform<TreeSnapshots, {
+            l1ToL2MessageTree: AppendOnlyTreeSnapshot;
+            noteHashTree: AppendOnlyTreeSnapshot;
+            nullifierTree: AppendOnlyTreeSnapshot;
+            publicDataTree: AppendOnlyTreeSnapshot;
+        }>>;
+        getSiblingPathHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+            hintKey: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            treeId: z.ZodNumber;
+            index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            path: z.ZodArray<ZodFor<Fr>>;
+        }, z.core.$strip>, z.ZodTransform<AvmGetSiblingPathHint, {
+            hintKey: AppendOnlyTreeSnapshot;
+            treeId: number;
+            index: bigint;
+            path: Fr[];
+        }>>>;
+        getPreviousValueIndexHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+            hintKey: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            treeId: z.ZodNumber;
+            value: ZodFor<Fr>;
+            index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            alreadyPresent: z.ZodBoolean;
+        }, z.core.$strip>, z.ZodTransform<AvmGetPreviousValueIndexHint, {
+            hintKey: AppendOnlyTreeSnapshot;
+            treeId: number;
+            value: Fr;
+            index: bigint;
+            alreadyPresent: boolean;
+        }>>>;
+        getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodPipe<z.ZodObject<{
+            hintKey: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            leafPreimage: z.ZodPipe<z.ZodObject<{
+                leaf: z.ZodPipe<z.ZodObject<{
+                    nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+                    nullifier: Fr;
+                }>>;
+                nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
+                leaf: NullifierLeaf;
+                nextKey: Fr;
+                nextIndex: bigint;
+            }>> | z.ZodPipe<z.ZodObject<{
+                leaf: z.ZodPipe<z.ZodObject<{
+                    slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+                    slot: Fr;
+                    value: Fr;
+                }>>;
+                nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
+                leaf: PublicDataTreeLeaf;
+                nextKey: Fr;
+                nextIndex: bigint;
+            }>>;
+        }, z.core.$strip>, z.ZodTransform<{
+            readonly hintKey: AppendOnlyTreeSnapshot;
+            readonly index: bigint;
+            readonly leafPreimage: IndexedTreeLeafPreimages;
+        }, {
+            hintKey: AppendOnlyTreeSnapshot;
+            index: bigint;
+            leafPreimage: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+        }>>>;
+        getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodPipe<z.ZodObject<{
+            hintKey: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            leafPreimage: z.ZodPipe<z.ZodObject<{
+                leaf: z.ZodPipe<z.ZodObject<{
+                    nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+                    nullifier: Fr;
+                }>>;
+                nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
+                leaf: NullifierLeaf;
+                nextKey: Fr;
+                nextIndex: bigint;
+            }>> | z.ZodPipe<z.ZodObject<{
+                leaf: z.ZodPipe<z.ZodObject<{
+                    slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+                    slot: Fr;
+                    value: Fr;
+                }>>;
+                nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
+                leaf: PublicDataTreeLeaf;
+                nextKey: Fr;
+                nextIndex: bigint;
+            }>>;
+        }, z.core.$strip>, z.ZodTransform<{
+            readonly hintKey: AppendOnlyTreeSnapshot;
+            readonly index: bigint;
+            readonly leafPreimage: IndexedTreeLeafPreimages;
+        }, {
+            hintKey: AppendOnlyTreeSnapshot;
+            index: bigint;
+            leafPreimage: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+        }>>>;
+        getLeafValueHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+            hintKey: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            treeId: z.ZodNumber;
+            index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            value: ZodFor<Fr>;
+        }, z.core.$strip>, z.ZodTransform<AvmGetLeafValueHint, {
+            hintKey: AppendOnlyTreeSnapshot;
+            treeId: number;
+            index: bigint;
+            value: Fr;
+        }>>>;
+        sequentialInsertHintsPublicDataTree: z.ZodArray<z.ZodPipe<z.ZodObject<{
+            hintKey: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            stateAfter: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            treeId: z.ZodNumber;
+            leaf: z.ZodPipe<z.ZodObject<{
+                nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+                nullifier: Fr;
+            }>> | z.ZodPipe<z.ZodObject<{
+                slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+                slot: Fr;
+                value: Fr;
+            }>>;
+            lowLeavesWitnessData: z.ZodObject<{
+                leaf: z.ZodPipe<z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+                        nullifier: Fr;
+                    }>>;
+                    nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
+                    leaf: NullifierLeaf;
+                    nextKey: Fr;
+                    nextIndex: bigint;
+                }>> | z.ZodPipe<z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+                        slot: Fr;
+                        value: Fr;
+                    }>>;
+                    nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
+                    leaf: PublicDataTreeLeaf;
+                    nextKey: Fr;
+                    nextIndex: bigint;
+                }>>;
+                index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                path: z.ZodArray<ZodFor<Fr>>;
+            }, z.core.$strip>;
+            insertionWitnessData: z.ZodObject<{
+                leaf: z.ZodPipe<z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+                        nullifier: Fr;
+                    }>>;
+                    nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
+                    leaf: NullifierLeaf;
+                    nextKey: Fr;
+                    nextIndex: bigint;
+                }>> | z.ZodPipe<z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+                        slot: Fr;
+                        value: Fr;
+                    }>>;
+                    nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
+                    leaf: PublicDataTreeLeaf;
+                    nextKey: Fr;
+                    nextIndex: bigint;
+                }>>;
+                index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                path: z.ZodArray<ZodFor<Fr>>;
+            }, z.core.$strip>;
+        }, z.core.$strip>, z.ZodTransform<{
+            readonly hintKey: AppendOnlyTreeSnapshot;
+            readonly stateAfter: AppendOnlyTreeSnapshot;
+            readonly treeId: MerkleTreeId;
+            readonly leaf: NullifierLeaf | PublicDataTreeLeaf;
+            readonly lowLeavesWitnessData: {
+                leaf: IndexedTreeLeafPreimages;
+                index: bigint;
+                path: Fr[];
+            };
+            readonly insertionWitnessData: {
+                leaf: IndexedTreeLeafPreimages;
+                index: bigint;
+                path: Fr[];
+            };
+        }, {
+            hintKey: AppendOnlyTreeSnapshot;
+            stateAfter: AppendOnlyTreeSnapshot;
+            treeId: number;
+            leaf: NullifierLeaf | PublicDataTreeLeaf;
+            lowLeavesWitnessData: {
+                leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+                index: bigint;
+                path: Fr[];
+            };
+            insertionWitnessData: {
+                leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+                index: bigint;
+                path: Fr[];
+            };
+        }>>>;
+        sequentialInsertHintsNullifierTree: z.ZodArray<z.ZodPipe<z.ZodObject<{
+            hintKey: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            stateAfter: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            treeId: z.ZodNumber;
+            leaf: z.ZodPipe<z.ZodObject<{
+                nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+                nullifier: Fr;
+            }>> | z.ZodPipe<z.ZodObject<{
+                slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+                slot: Fr;
+                value: Fr;
+            }>>;
+            lowLeavesWitnessData: z.ZodObject<{
+                leaf: z.ZodPipe<z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+                        nullifier: Fr;
+                    }>>;
+                    nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
+                    leaf: NullifierLeaf;
+                    nextKey: Fr;
+                    nextIndex: bigint;
+                }>> | z.ZodPipe<z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+                        slot: Fr;
+                        value: Fr;
+                    }>>;
+                    nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
+                    leaf: PublicDataTreeLeaf;
+                    nextKey: Fr;
+                    nextIndex: bigint;
+                }>>;
+                index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                path: z.ZodArray<ZodFor<Fr>>;
+            }, z.core.$strip>;
+            insertionWitnessData: z.ZodObject<{
+                leaf: z.ZodPipe<z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+                        nullifier: Fr;
+                    }>>;
+                    nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
+                    leaf: NullifierLeaf;
+                    nextKey: Fr;
+                    nextIndex: bigint;
+                }>> | z.ZodPipe<z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+                        slot: Fr;
+                        value: Fr;
+                    }>>;
+                    nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
+                    leaf: PublicDataTreeLeaf;
+                    nextKey: Fr;
+                    nextIndex: bigint;
+                }>>;
+                index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                path: z.ZodArray<ZodFor<Fr>>;
+            }, z.core.$strip>;
+        }, z.core.$strip>, z.ZodTransform<{
+            readonly hintKey: AppendOnlyTreeSnapshot;
+            readonly stateAfter: AppendOnlyTreeSnapshot;
+            readonly treeId: MerkleTreeId;
+            readonly leaf: NullifierLeaf | PublicDataTreeLeaf;
+            readonly lowLeavesWitnessData: {
+                leaf: IndexedTreeLeafPreimages;
+                index: bigint;
+                path: Fr[];
+            };
+            readonly insertionWitnessData: {
+                leaf: IndexedTreeLeafPreimages;
+                index: bigint;
+                path: Fr[];
+            };
+        }, {
+            hintKey: AppendOnlyTreeSnapshot;
+            stateAfter: AppendOnlyTreeSnapshot;
+            treeId: number;
+            leaf: NullifierLeaf | PublicDataTreeLeaf;
+            lowLeavesWitnessData: {
+                leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+                index: bigint;
+                path: Fr[];
+            };
+            insertionWitnessData: {
+                leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+                index: bigint;
+                path: Fr[];
+            };
+        }>>>;
+        appendLeavesHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+            hintKey: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            stateAfter: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            treeId: z.ZodNumber;
+            leaves: z.ZodArray<ZodFor<Fr>>;
+        }, z.core.$strip>, z.ZodTransform<AvmAppendLeavesHint, {
+            hintKey: AppendOnlyTreeSnapshot;
+            stateAfter: AppendOnlyTreeSnapshot;
+            treeId: number;
+            leaves: Fr[];
+        }>>>;
+        createCheckpointHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+            actionCounter: z.ZodNumber;
+            oldCheckpointId: z.ZodNumber;
+            newCheckpointId: z.ZodNumber;
+        }, z.core.$strip>, z.ZodTransform<AvmCheckpointActionNoStateChangeHint, {
+            actionCounter: number;
+            oldCheckpointId: number;
+            newCheckpointId: number;
+        }>>>;
+        commitCheckpointHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+            actionCounter: z.ZodNumber;
+            oldCheckpointId: z.ZodNumber;
+            newCheckpointId: z.ZodNumber;
+        }, z.core.$strip>, z.ZodTransform<AvmCheckpointActionNoStateChangeHint, {
+            actionCounter: number;
+            oldCheckpointId: number;
+            newCheckpointId: number;
+        }>>>;
+        revertCheckpointHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+            actionCounter: z.ZodNumber;
+            oldCheckpointId: z.ZodNumber;
+            newCheckpointId: z.ZodNumber;
+            stateBefore: z.ZodPipe<z.ZodObject<{
+                l1ToL2MessageTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                noteHashTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                nullifierTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                publicDataTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<TreeSnapshots, {
+                l1ToL2MessageTree: AppendOnlyTreeSnapshot;
+                noteHashTree: AppendOnlyTreeSnapshot;
+                nullifierTree: AppendOnlyTreeSnapshot;
+                publicDataTree: AppendOnlyTreeSnapshot;
+            }>>;
+            stateAfter: z.ZodPipe<z.ZodObject<{
+                l1ToL2MessageTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                noteHashTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                nullifierTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                publicDataTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<TreeSnapshots, {
+                l1ToL2MessageTree: AppendOnlyTreeSnapshot;
+                noteHashTree: AppendOnlyTreeSnapshot;
+                nullifierTree: AppendOnlyTreeSnapshot;
+                publicDataTree: AppendOnlyTreeSnapshot;
+            }>>;
+        }, z.core.$strip>, z.ZodTransform<AvmRevertCheckpointHint, {
+            actionCounter: number;
+            oldCheckpointId: number;
+            newCheckpointId: number;
+            stateBefore: TreeSnapshots;
+            stateAfter: TreeSnapshots;
+        }>>>;
+    }, z.core.$strip>, z.ZodTransform<AvmExecutionHints, {
+        globalVariables: GlobalVariables;
+        tx: AvmTxHint;
+        protocolContracts: ProtocolContracts;
+        contractInstances: AvmContractInstanceHint[];
+        contractClasses: AvmContractClassHint[];
+        bytecodeCommitments: AvmBytecodeCommitmentHint[];
+        debugFunctionNames: AvmDebugFunctionNameHint[];
+        contractDbCreateCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
+        contractDbCommitCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
+        contractDbRevertCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
+        startingTreeRoots: TreeSnapshots;
+        getSiblingPathHints: AvmGetSiblingPathHint[];
+        getPreviousValueIndexHints: AvmGetPreviousValueIndexHint[];
+        getLeafPreimageHintsPublicDataTree: {
+            readonly hintKey: AppendOnlyTreeSnapshot;
+            readonly index: bigint;
+            readonly leafPreimage: IndexedTreeLeafPreimages;
+        }[];
+        getLeafPreimageHintsNullifierTree: {
+            readonly hintKey: AppendOnlyTreeSnapshot;
+            readonly index: bigint;
+            readonly leafPreimage: IndexedTreeLeafPreimages;
+        }[];
+        getLeafValueHints: AvmGetLeafValueHint[];
+        sequentialInsertHintsPublicDataTree: {
+            readonly hintKey: AppendOnlyTreeSnapshot;
+            readonly stateAfter: AppendOnlyTreeSnapshot;
+            readonly treeId: MerkleTreeId;
+            readonly leaf: NullifierLeaf | 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: NullifierLeaf | PublicDataTreeLeaf;
+            readonly lowLeavesWitnessData: {
+                leaf: IndexedTreeLeafPreimages;
+                index: bigint;
+                path: Fr[];
+            };
+            readonly insertionWitnessData: {
+                leaf: IndexedTreeLeafPreimages;
+                index: bigint;
+                path: Fr[];
+            };
+        }[];
+        appendLeavesHints: AvmAppendLeavesHint[];
+        createCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
+        commitCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
+        revertCheckpointHints: AvmRevertCheckpointHint[];
+    }>>;
+}
+export declare class AvmCircuitInputs {
+    readonly hints: AvmExecutionHints;
+    publicInputs: AvmCircuitPublicInputs;
+    constructor(hints: AvmExecutionHints, publicInputs: AvmCircuitPublicInputs);
+    static empty(): AvmCircuitInputs;
+    static fromPlainObject(obj: any): AvmCircuitInputs;
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        hints: z.ZodPipe<z.ZodObject<{
+            globalVariables: z.ZodPipe<z.ZodObject<{
+                chainId: ZodFor<Fr>;
+                version: ZodFor<Fr>;
+                blockNumber: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodPipe<z.ZodBigInt, z.ZodTransform<number, bigint>>, z.ZodPipe<z.ZodString, z.ZodTransform<number, string>>]>, z.ZodTransform<import("@aztec-labs/foundation/branded-types").BlockNumber, number>>;
+                slotNumber: ZodFor<import("@aztec-labs/foundation/schemas").SlotNumber>;
+                timestamp: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                coinbase: ZodFor<import("@aztec-labs/foundation/eth-address").EthAddress>;
+                feeRecipient: ZodFor<AztecAddress>;
+                gasFees: z.ZodPipe<z.ZodObject<{
+                    feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<GasFees, {
+                    feePerDaGas: bigint;
+                    feePerL2Gas: bigint;
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<GlobalVariables, {
+                chainId: Fr;
+                version: Fr;
+                blockNumber: import("@aztec-labs/foundation/branded-types").BlockNumber;
+                slotNumber: import("@aztec-labs/foundation/schemas").SlotNumber;
+                timestamp: bigint;
+                coinbase: import("@aztec-labs/foundation/eth-address").EthAddress;
+                feeRecipient: AztecAddress;
+                gasFees: GasFees;
+            }>>;
+            tx: z.ZodPipe<z.ZodObject<{
+                hash: z.ZodString;
+                gasSettings: z.ZodPipe<z.ZodObject<{
+                    gasLimits: z.ZodPipe<z.ZodObject<{
+                        daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                        l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<Gas, {
+                        daGas: number;
+                        l2Gas: number;
+                    }>>;
+                    teardownGasLimits: z.ZodPipe<z.ZodObject<{
+                        daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                        l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<Gas, {
+                        daGas: number;
+                        l2Gas: number;
+                    }>>;
+                    maxFeesPerGas: z.ZodPipe<z.ZodObject<{
+                        feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                        feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<GasFees, {
+                        feePerDaGas: bigint;
+                        feePerL2Gas: bigint;
+                    }>>;
+                    maxPriorityFeesPerGas: z.ZodPipe<z.ZodObject<{
+                        feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                        feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<GasFees, {
+                        feePerDaGas: bigint;
+                        feePerL2Gas: bigint;
+                    }>>;
+                }, z.core.$strip>, z.ZodTransform<GasSettings, {
+                    gasLimits: Gas;
+                    teardownGasLimits: Gas;
+                    maxFeesPerGas: GasFees;
+                    maxPriorityFeesPerGas: GasFees;
+                }>>;
+                effectiveGasFees: z.ZodPipe<z.ZodObject<{
+                    feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<GasFees, {
+                    feePerDaGas: bigint;
+                    feePerL2Gas: bigint;
+                }>>;
+                nonRevertibleContractDeploymentData: z.ZodPipe<z.ZodObject<{
+                    contractClassLogs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                        contractAddress: ZodFor<AztecAddress>;
+                        fields: z.ZodPipe<z.ZodObject<{
+                            fields: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../logs/contract_class_log.js").ContractClassLogFields, {
+                            fields: Fr[];
+                        }>>;
+                        emittedLength: z.ZodNumber;
+                    }, z.core.$strip>, z.ZodTransform<import("../logs/contract_class_log.js").ContractClassLog, {
+                        contractAddress: AztecAddress;
+                        fields: import("../logs/contract_class_log.js").ContractClassLogFields;
+                        emittedLength: number;
+                    }>>>;
+                    privateLogs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                        fields: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+                        emittedLength: z.ZodNumber;
+                    }, z.core.$strict>, z.ZodTransform<import("../logs/private_log.js").PrivateLog, {
+                        fields: Fr[];
+                        emittedLength: number;
+                    }>>>;
+                }, z.core.$strip>, z.ZodTransform<ContractDeploymentData, {
+                    contractClassLogs: import("../logs/contract_class_log.js").ContractClassLog[];
+                    privateLogs: import("../logs/private_log.js").PrivateLog[];
+                }>>;
+                revertibleContractDeploymentData: z.ZodPipe<z.ZodObject<{
+                    contractClassLogs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                        contractAddress: ZodFor<AztecAddress>;
+                        fields: z.ZodPipe<z.ZodObject<{
+                            fields: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../logs/contract_class_log.js").ContractClassLogFields, {
+                            fields: Fr[];
+                        }>>;
+                        emittedLength: z.ZodNumber;
+                    }, z.core.$strip>, z.ZodTransform<import("../logs/contract_class_log.js").ContractClassLog, {
+                        contractAddress: AztecAddress;
+                        fields: import("../logs/contract_class_log.js").ContractClassLogFields;
+                        emittedLength: number;
+                    }>>>;
+                    privateLogs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                        fields: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+                        emittedLength: z.ZodNumber;
+                    }, z.core.$strict>, z.ZodTransform<import("../logs/private_log.js").PrivateLog, {
+                        fields: Fr[];
+                        emittedLength: number;
+                    }>>>;
+                }, z.core.$strip>, z.ZodTransform<ContractDeploymentData, {
+                    contractClassLogs: import("../logs/contract_class_log.js").ContractClassLog[];
+                    privateLogs: import("../logs/private_log.js").PrivateLog[];
+                }>>;
+                nonRevertibleAccumulatedData: z.ZodObject<{
+                    noteHashes: z.ZodArray<ZodFor<Fr>>;
+                    nullifiers: z.ZodArray<ZodFor<Fr>>;
+                    l2ToL1Messages: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                        message: z.ZodPipe<z.ZodObject<{
+                            recipient: z.ZodType<import("@aztec-labs/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/eth-address").EthAddress, string>>;
+                            content: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                            recipient: import("@aztec-labs/foundation/eth-address").EthAddress;
+                            content: Fr;
+                        }>>;
+                        contractAddress: ZodFor<AztecAddress>;
+                    }, z.core.$strip>, z.ZodTransform<ScopedL2ToL1Message, {
+                        message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                        contractAddress: AztecAddress;
+                    }>>>;
+                }, z.core.$strip>;
+                revertibleAccumulatedData: z.ZodObject<{
+                    noteHashes: z.ZodArray<ZodFor<Fr>>;
+                    nullifiers: z.ZodArray<ZodFor<Fr>>;
+                    l2ToL1Messages: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                        message: z.ZodPipe<z.ZodObject<{
+                            recipient: z.ZodType<import("@aztec-labs/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/eth-address").EthAddress, string>>;
+                            content: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                            recipient: import("@aztec-labs/foundation/eth-address").EthAddress;
+                            content: Fr;
+                        }>>;
+                        contractAddress: ZodFor<AztecAddress>;
+                    }, z.core.$strip>, z.ZodTransform<ScopedL2ToL1Message, {
+                        message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                        contractAddress: AztecAddress;
+                    }>>>;
+                }, z.core.$strip>;
+                setupEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>>;
+                appLogicEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>>;
+                teardownEnqueuedCall: z.ZodNullable<ZodFor<PublicCallRequestWithCalldata>>;
+                gasUsedByPrivate: z.ZodPipe<z.ZodObject<{
+                    daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<Gas, {
+                    daGas: number;
+                    l2Gas: number;
+                }>>;
+                feePayer: ZodFor<AztecAddress>;
+            }, z.core.$strip>, z.ZodTransform<AvmTxHint, {
+                hash: string;
+                gasSettings: GasSettings;
+                effectiveGasFees: GasFees;
+                nonRevertibleContractDeploymentData: ContractDeploymentData;
+                revertibleContractDeploymentData: ContractDeploymentData;
+                nonRevertibleAccumulatedData: {
+                    noteHashes: Fr[];
+                    nullifiers: Fr[];
+                    l2ToL1Messages: ScopedL2ToL1Message[];
+                };
+                revertibleAccumulatedData: {
+                    noteHashes: Fr[];
+                    nullifiers: Fr[];
+                    l2ToL1Messages: ScopedL2ToL1Message[];
+                };
+                setupEnqueuedCalls: PublicCallRequestWithCalldata[];
+                appLogicEnqueuedCalls: PublicCallRequestWithCalldata[];
+                teardownEnqueuedCall: PublicCallRequestWithCalldata | null;
+                gasUsedByPrivate: Gas;
+                feePayer: AztecAddress;
+            }>>;
+            protocolContracts: z.ZodPipe<z.ZodObject<{
+                derivedAddresses: z.ZodArray<ZodFor<AztecAddress>>;
+            }, z.core.$strip>, z.ZodTransform<ProtocolContracts, {
+                derivedAddresses: AztecAddress[];
+            }>>;
+            contractInstances: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodNumber;
+                address: ZodFor<AztecAddress>;
+                salt: ZodFor<Fr>;
+                deployer: ZodFor<AztecAddress>;
+                currentContractClassId: ZodFor<Fr>;
+                originalContractClassId: ZodFor<Fr>;
+                initializationHash: ZodFor<Fr>;
+                immutablesHash: ZodFor<Fr>;
+                publicKeys: z.ZodPipe<z.ZodObject<{
+                    npkMHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    ivpkM: z.ZodType<import("@aztec-labs/foundation/schemas").Point, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Point, string>>;
+                    ovpkMHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    tpkMHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    mspkMHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    fbpkMHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<PublicKeys, {
+                    npkMHash: Fr;
+                    ivpkM: import("@aztec-labs/foundation/schemas").Point;
+                    ovpkMHash: Fr;
+                    tpkMHash: Fr;
+                    mspkMHash: Fr;
+                    fbpkMHash: Fr;
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<AvmContractInstanceHint, {
+                hintKey: number;
+                address: AztecAddress;
+                salt: Fr;
+                deployer: AztecAddress;
+                currentContractClassId: Fr;
+                originalContractClassId: Fr;
+                initializationHash: Fr;
+                immutablesHash: Fr;
+                publicKeys: PublicKeys;
+            }>>>;
+            contractClasses: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodNumber;
+                classId: ZodFor<Fr>;
+                artifactHash: ZodFor<Fr>;
+                privateFunctionsRoot: ZodFor<Fr>;
+                packedBytecode: ZodFor<Buffer<ArrayBufferLike>>;
+            }, z.core.$strip>, z.ZodTransform<AvmContractClassHint, {
+                hintKey: number;
+                classId: Fr;
+                artifactHash: Fr;
+                privateFunctionsRoot: Fr;
+                packedBytecode: Buffer<ArrayBufferLike>;
+            }>>>;
+            bytecodeCommitments: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodNumber;
+                classId: ZodFor<Fr>;
+                commitment: ZodFor<Fr>;
+            }, z.core.$strip>, z.ZodTransform<AvmBytecodeCommitmentHint, {
+                hintKey: number;
+                classId: Fr;
+                commitment: Fr;
+            }>>>;
+            debugFunctionNames: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                address: ZodFor<AztecAddress>;
+                selector: ZodFor<Fr>;
+                name: z.ZodString;
+            }, z.core.$strip>, z.ZodTransform<AvmDebugFunctionNameHint, {
+                address: AztecAddress;
+                selector: Fr;
+                name: string;
+            }>>>;
+            contractDbCreateCheckpointHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                actionCounter: z.ZodNumber;
+                oldCheckpointId: z.ZodNumber;
+                newCheckpointId: z.ZodNumber;
+            }, z.core.$strip>, z.ZodTransform<AvmCheckpointActionNoStateChangeHint, {
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }>>>;
+            contractDbCommitCheckpointHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                actionCounter: z.ZodNumber;
+                oldCheckpointId: z.ZodNumber;
+                newCheckpointId: z.ZodNumber;
+            }, z.core.$strip>, z.ZodTransform<AvmCheckpointActionNoStateChangeHint, {
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }>>>;
+            contractDbRevertCheckpointHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                actionCounter: z.ZodNumber;
+                oldCheckpointId: z.ZodNumber;
+                newCheckpointId: z.ZodNumber;
+            }, z.core.$strip>, z.ZodTransform<AvmCheckpointActionNoStateChangeHint, {
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }>>>;
+            startingTreeRoots: z.ZodPipe<z.ZodObject<{
+                l1ToL2MessageTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                noteHashTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                nullifierTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                publicDataTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<TreeSnapshots, {
+                l1ToL2MessageTree: AppendOnlyTreeSnapshot;
+                noteHashTree: AppendOnlyTreeSnapshot;
+                nullifierTree: AppendOnlyTreeSnapshot;
+                publicDataTree: AppendOnlyTreeSnapshot;
+            }>>;
+            getSiblingPathHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                treeId: z.ZodNumber;
+                index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                path: z.ZodArray<ZodFor<Fr>>;
+            }, z.core.$strip>, z.ZodTransform<AvmGetSiblingPathHint, {
+                hintKey: AppendOnlyTreeSnapshot;
+                treeId: number;
+                index: bigint;
+                path: Fr[];
+            }>>>;
+            getPreviousValueIndexHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                treeId: z.ZodNumber;
+                value: ZodFor<Fr>;
+                index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                alreadyPresent: z.ZodBoolean;
+            }, z.core.$strip>, z.ZodTransform<AvmGetPreviousValueIndexHint, {
+                hintKey: AppendOnlyTreeSnapshot;
+                treeId: number;
+                value: Fr;
+                index: bigint;
+                alreadyPresent: boolean;
+            }>>>;
+            getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                leafPreimage: z.ZodPipe<z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+                        nullifier: Fr;
+                    }>>;
+                    nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
+                    leaf: NullifierLeaf;
+                    nextKey: Fr;
+                    nextIndex: bigint;
+                }>> | z.ZodPipe<z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+                        slot: Fr;
+                        value: Fr;
+                    }>>;
+                    nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
+                    leaf: PublicDataTreeLeaf;
+                    nextKey: Fr;
+                    nextIndex: bigint;
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<{
+                readonly hintKey: AppendOnlyTreeSnapshot;
+                readonly index: bigint;
+                readonly leafPreimage: IndexedTreeLeafPreimages;
+            }, {
+                hintKey: AppendOnlyTreeSnapshot;
+                index: bigint;
+                leafPreimage: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+            }>>>;
+            getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                leafPreimage: z.ZodPipe<z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+                        nullifier: Fr;
+                    }>>;
+                    nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
+                    leaf: NullifierLeaf;
+                    nextKey: Fr;
+                    nextIndex: bigint;
+                }>> | z.ZodPipe<z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+                        slot: Fr;
+                        value: Fr;
+                    }>>;
+                    nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
+                    leaf: PublicDataTreeLeaf;
+                    nextKey: Fr;
+                    nextIndex: bigint;
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<{
+                readonly hintKey: AppendOnlyTreeSnapshot;
+                readonly index: bigint;
+                readonly leafPreimage: IndexedTreeLeafPreimages;
+            }, {
+                hintKey: AppendOnlyTreeSnapshot;
+                index: bigint;
+                leafPreimage: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+            }>>>;
+            getLeafValueHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                treeId: z.ZodNumber;
+                index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                value: ZodFor<Fr>;
+            }, z.core.$strip>, z.ZodTransform<AvmGetLeafValueHint, {
+                hintKey: AppendOnlyTreeSnapshot;
+                treeId: number;
+                index: bigint;
+                value: Fr;
+            }>>>;
+            sequentialInsertHintsPublicDataTree: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                stateAfter: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                treeId: z.ZodNumber;
+                leaf: z.ZodPipe<z.ZodObject<{
+                    nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+                    nullifier: Fr;
+                }>> | z.ZodPipe<z.ZodObject<{
+                    slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+                    slot: Fr;
+                    value: Fr;
+                }>>;
+                lowLeavesWitnessData: z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+                            nullifier: Fr;
+                        }>>;
+                        nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
+                        leaf: NullifierLeaf;
+                        nextKey: Fr;
+                        nextIndex: bigint;
+                    }>> | z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                            value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+                            slot: Fr;
+                            value: Fr;
+                        }>>;
+                        nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
+                        leaf: PublicDataTreeLeaf;
+                        nextKey: Fr;
+                        nextIndex: bigint;
+                    }>>;
+                    index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    path: z.ZodArray<ZodFor<Fr>>;
+                }, z.core.$strip>;
+                insertionWitnessData: z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+                            nullifier: Fr;
+                        }>>;
+                        nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
+                        leaf: NullifierLeaf;
+                        nextKey: Fr;
+                        nextIndex: bigint;
+                    }>> | z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                            value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+                            slot: Fr;
+                            value: Fr;
+                        }>>;
+                        nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
+                        leaf: PublicDataTreeLeaf;
+                        nextKey: Fr;
+                        nextIndex: bigint;
+                    }>>;
+                    index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    path: z.ZodArray<ZodFor<Fr>>;
+                }, z.core.$strip>;
+            }, z.core.$strip>, z.ZodTransform<{
+                readonly hintKey: AppendOnlyTreeSnapshot;
+                readonly stateAfter: AppendOnlyTreeSnapshot;
+                readonly treeId: MerkleTreeId;
+                readonly leaf: NullifierLeaf | PublicDataTreeLeaf;
+                readonly lowLeavesWitnessData: {
+                    leaf: IndexedTreeLeafPreimages;
+                    index: bigint;
+                    path: Fr[];
+                };
+                readonly insertionWitnessData: {
+                    leaf: IndexedTreeLeafPreimages;
+                    index: bigint;
+                    path: Fr[];
+                };
+            }, {
+                hintKey: AppendOnlyTreeSnapshot;
+                stateAfter: AppendOnlyTreeSnapshot;
+                treeId: number;
+                leaf: NullifierLeaf | PublicDataTreeLeaf;
+                lowLeavesWitnessData: {
+                    leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: Fr[];
+                };
+                insertionWitnessData: {
+                    leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: Fr[];
+                };
+            }>>>;
+            sequentialInsertHintsNullifierTree: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                stateAfter: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                treeId: z.ZodNumber;
+                leaf: z.ZodPipe<z.ZodObject<{
+                    nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+                    nullifier: Fr;
+                }>> | z.ZodPipe<z.ZodObject<{
+                    slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+                    slot: Fr;
+                    value: Fr;
+                }>>;
+                lowLeavesWitnessData: z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+                            nullifier: Fr;
+                        }>>;
+                        nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
+                        leaf: NullifierLeaf;
+                        nextKey: Fr;
+                        nextIndex: bigint;
+                    }>> | z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                            value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+                            slot: Fr;
+                            value: Fr;
+                        }>>;
+                        nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
+                        leaf: PublicDataTreeLeaf;
+                        nextKey: Fr;
+                        nextIndex: bigint;
+                    }>>;
+                    index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    path: z.ZodArray<ZodFor<Fr>>;
+                }, z.core.$strip>;
+                insertionWitnessData: z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
+                            nullifier: Fr;
+                        }>>;
+                        nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
+                        leaf: NullifierLeaf;
+                        nextKey: Fr;
+                        nextIndex: bigint;
+                    }>> | z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                            value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
+                            slot: Fr;
+                            value: Fr;
+                        }>>;
+                        nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
+                        leaf: PublicDataTreeLeaf;
+                        nextKey: Fr;
+                        nextIndex: bigint;
+                    }>>;
+                    index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    path: z.ZodArray<ZodFor<Fr>>;
+                }, z.core.$strip>;
+            }, z.core.$strip>, z.ZodTransform<{
+                readonly hintKey: AppendOnlyTreeSnapshot;
+                readonly stateAfter: AppendOnlyTreeSnapshot;
+                readonly treeId: MerkleTreeId;
+                readonly leaf: NullifierLeaf | PublicDataTreeLeaf;
+                readonly lowLeavesWitnessData: {
+                    leaf: IndexedTreeLeafPreimages;
+                    index: bigint;
+                    path: Fr[];
+                };
+                readonly insertionWitnessData: {
+                    leaf: IndexedTreeLeafPreimages;
+                    index: bigint;
+                    path: Fr[];
+                };
+            }, {
+                hintKey: AppendOnlyTreeSnapshot;
+                stateAfter: AppendOnlyTreeSnapshot;
+                treeId: number;
+                leaf: NullifierLeaf | PublicDataTreeLeaf;
+                lowLeavesWitnessData: {
+                    leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: Fr[];
+                };
+                insertionWitnessData: {
+                    leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: Fr[];
+                };
+            }>>>;
+            appendLeavesHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                stateAfter: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                treeId: z.ZodNumber;
+                leaves: z.ZodArray<ZodFor<Fr>>;
+            }, z.core.$strip>, z.ZodTransform<AvmAppendLeavesHint, {
+                hintKey: AppendOnlyTreeSnapshot;
+                stateAfter: AppendOnlyTreeSnapshot;
+                treeId: number;
+                leaves: Fr[];
+            }>>>;
+            createCheckpointHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                actionCounter: z.ZodNumber;
+                oldCheckpointId: z.ZodNumber;
+                newCheckpointId: z.ZodNumber;
+            }, z.core.$strip>, z.ZodTransform<AvmCheckpointActionNoStateChangeHint, {
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }>>>;
+            commitCheckpointHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                actionCounter: z.ZodNumber;
+                oldCheckpointId: z.ZodNumber;
+                newCheckpointId: z.ZodNumber;
+            }, z.core.$strip>, z.ZodTransform<AvmCheckpointActionNoStateChangeHint, {
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }>>>;
+            revertCheckpointHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                actionCounter: z.ZodNumber;
+                oldCheckpointId: z.ZodNumber;
+                newCheckpointId: z.ZodNumber;
+                stateBefore: z.ZodPipe<z.ZodObject<{
+                    l1ToL2MessageTree: z.ZodPipe<z.ZodObject<{
+                        root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                        root: Fr;
+                        nextAvailableLeafIndex: number;
+                    }>>;
+                    noteHashTree: z.ZodPipe<z.ZodObject<{
+                        root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                        root: Fr;
+                        nextAvailableLeafIndex: number;
+                    }>>;
+                    nullifierTree: z.ZodPipe<z.ZodObject<{
+                        root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                        root: Fr;
+                        nextAvailableLeafIndex: number;
+                    }>>;
+                    publicDataTree: z.ZodPipe<z.ZodObject<{
+                        root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                        root: Fr;
+                        nextAvailableLeafIndex: number;
+                    }>>;
+                }, z.core.$strip>, z.ZodTransform<TreeSnapshots, {
+                    l1ToL2MessageTree: AppendOnlyTreeSnapshot;
+                    noteHashTree: AppendOnlyTreeSnapshot;
+                    nullifierTree: AppendOnlyTreeSnapshot;
+                    publicDataTree: AppendOnlyTreeSnapshot;
+                }>>;
+                stateAfter: z.ZodPipe<z.ZodObject<{
+                    l1ToL2MessageTree: z.ZodPipe<z.ZodObject<{
+                        root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                        root: Fr;
+                        nextAvailableLeafIndex: number;
+                    }>>;
+                    noteHashTree: z.ZodPipe<z.ZodObject<{
+                        root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                        root: Fr;
+                        nextAvailableLeafIndex: number;
+                    }>>;
+                    nullifierTree: z.ZodPipe<z.ZodObject<{
+                        root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                        root: Fr;
+                        nextAvailableLeafIndex: number;
+                    }>>;
+                    publicDataTree: z.ZodPipe<z.ZodObject<{
+                        root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                        nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                        root: Fr;
+                        nextAvailableLeafIndex: number;
+                    }>>;
+                }, z.core.$strip>, z.ZodTransform<TreeSnapshots, {
+                    l1ToL2MessageTree: AppendOnlyTreeSnapshot;
+                    noteHashTree: AppendOnlyTreeSnapshot;
+                    nullifierTree: AppendOnlyTreeSnapshot;
+                    publicDataTree: AppendOnlyTreeSnapshot;
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<AvmRevertCheckpointHint, {
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+                stateBefore: TreeSnapshots;
+                stateAfter: TreeSnapshots;
+            }>>>;
+        }, z.core.$strip>, z.ZodTransform<AvmExecutionHints, {
+            globalVariables: GlobalVariables;
+            tx: AvmTxHint;
+            protocolContracts: ProtocolContracts;
+            contractInstances: AvmContractInstanceHint[];
+            contractClasses: AvmContractClassHint[];
+            bytecodeCommitments: AvmBytecodeCommitmentHint[];
+            debugFunctionNames: AvmDebugFunctionNameHint[];
+            contractDbCreateCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
+            contractDbCommitCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
+            contractDbRevertCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
+            startingTreeRoots: TreeSnapshots;
+            getSiblingPathHints: AvmGetSiblingPathHint[];
+            getPreviousValueIndexHints: AvmGetPreviousValueIndexHint[];
+            getLeafPreimageHintsPublicDataTree: {
+                readonly hintKey: AppendOnlyTreeSnapshot;
+                readonly index: bigint;
+                readonly leafPreimage: IndexedTreeLeafPreimages;
+            }[];
+            getLeafPreimageHintsNullifierTree: {
+                readonly hintKey: AppendOnlyTreeSnapshot;
+                readonly index: bigint;
+                readonly leafPreimage: IndexedTreeLeafPreimages;
+            }[];
+            getLeafValueHints: AvmGetLeafValueHint[];
+            sequentialInsertHintsPublicDataTree: {
+                readonly hintKey: AppendOnlyTreeSnapshot;
+                readonly stateAfter: AppendOnlyTreeSnapshot;
+                readonly treeId: MerkleTreeId;
+                readonly leaf: NullifierLeaf | 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: NullifierLeaf | PublicDataTreeLeaf;
+                readonly lowLeavesWitnessData: {
+                    leaf: IndexedTreeLeafPreimages;
+                    index: bigint;
+                    path: Fr[];
+                };
+                readonly insertionWitnessData: {
+                    leaf: IndexedTreeLeafPreimages;
+                    index: bigint;
+                    path: Fr[];
+                };
+            }[];
+            appendLeavesHints: AvmAppendLeavesHint[];
+            createCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
+            commitCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
+            revertCheckpointHints: AvmRevertCheckpointHint[];
+        }>>;
+        publicInputs: z.ZodPipe<z.ZodObject<{
+            globalVariables: z.ZodPipe<z.ZodObject<{
+                chainId: ZodFor<Fr>;
+                version: ZodFor<Fr>;
+                blockNumber: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodPipe<z.ZodBigInt, z.ZodTransform<number, bigint>>, z.ZodPipe<z.ZodString, z.ZodTransform<number, string>>]>, z.ZodTransform<import("@aztec-labs/foundation/branded-types").BlockNumber, number>>;
+                slotNumber: ZodFor<import("@aztec-labs/foundation/schemas").SlotNumber>;
+                timestamp: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                coinbase: ZodFor<import("@aztec-labs/foundation/eth-address").EthAddress>;
+                feeRecipient: ZodFor<AztecAddress>;
+                gasFees: z.ZodPipe<z.ZodObject<{
+                    feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<GasFees, {
+                    feePerDaGas: bigint;
+                    feePerL2Gas: bigint;
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<GlobalVariables, {
+                chainId: Fr;
+                version: Fr;
+                blockNumber: import("@aztec-labs/foundation/branded-types").BlockNumber;
+                slotNumber: import("@aztec-labs/foundation/schemas").SlotNumber;
+                timestamp: bigint;
+                coinbase: import("@aztec-labs/foundation/eth-address").EthAddress;
+                feeRecipient: AztecAddress;
+                gasFees: GasFees;
+            }>>;
+            protocolContracts: z.ZodPipe<z.ZodObject<{
+                derivedAddresses: z.ZodArray<ZodFor<AztecAddress>>;
+            }, z.core.$strip>, z.ZodTransform<ProtocolContracts, {
+                derivedAddresses: AztecAddress[];
+            }>>;
+            startTreeSnapshots: z.ZodPipe<z.ZodObject<{
+                l1ToL2MessageTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                noteHashTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                nullifierTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                publicDataTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<TreeSnapshots, {
+                l1ToL2MessageTree: AppendOnlyTreeSnapshot;
+                noteHashTree: AppendOnlyTreeSnapshot;
+                nullifierTree: AppendOnlyTreeSnapshot;
+                publicDataTree: AppendOnlyTreeSnapshot;
+            }>>;
+            startGasUsed: z.ZodPipe<z.ZodObject<{
+                daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<Gas, {
+                daGas: number;
+                l2Gas: number;
+            }>>;
+            gasSettings: z.ZodPipe<z.ZodObject<{
+                gasLimits: z.ZodPipe<z.ZodObject<{
+                    daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<Gas, {
+                    daGas: number;
+                    l2Gas: number;
+                }>>;
+                teardownGasLimits: z.ZodPipe<z.ZodObject<{
+                    daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<Gas, {
+                    daGas: number;
+                    l2Gas: number;
+                }>>;
+                maxFeesPerGas: z.ZodPipe<z.ZodObject<{
+                    feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<GasFees, {
+                    feePerDaGas: bigint;
+                    feePerL2Gas: bigint;
+                }>>;
+                maxPriorityFeesPerGas: z.ZodPipe<z.ZodObject<{
+                    feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<GasFees, {
+                    feePerDaGas: bigint;
+                    feePerL2Gas: bigint;
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<GasSettings, {
+                gasLimits: Gas;
+                teardownGasLimits: Gas;
+                maxFeesPerGas: GasFees;
+                maxPriorityFeesPerGas: GasFees;
+            }>>;
+            effectiveGasFees: z.ZodPipe<z.ZodObject<{
+                feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<GasFees, {
+                feePerDaGas: bigint;
+                feePerL2Gas: bigint;
+            }>>;
+            feePayer: ZodFor<AztecAddress>;
+            proverId: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            publicCallRequestArrayLengths: z.ZodPipe<z.ZodObject<{
+                setupCalls: z.ZodNumber;
+                appLogicCalls: z.ZodNumber;
+                teardownCall: z.ZodBoolean;
+            }, z.core.$strip>, z.ZodTransform<import("../kernel/public_call_request.js").PublicCallRequestArrayLengths, {
+                setupCalls: number;
+                appLogicCalls: number;
+                teardownCall: boolean;
+            }>>;
+            publicSetupCallRequests: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                msgSender: ZodFor<AztecAddress>;
+                contractAddress: ZodFor<AztecAddress>;
+                isStaticCall: z.ZodBoolean;
+                calldataHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            }, z.core.$strip>, z.ZodTransform<import("../kernel/public_call_request.js").PublicCallRequest, {
+                msgSender: AztecAddress;
+                contractAddress: AztecAddress;
+                isStaticCall: boolean;
+                calldataHash: Fr;
+            }>>>;
+            publicAppLogicCallRequests: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                msgSender: ZodFor<AztecAddress>;
+                contractAddress: ZodFor<AztecAddress>;
+                isStaticCall: z.ZodBoolean;
+                calldataHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            }, z.core.$strip>, z.ZodTransform<import("../kernel/public_call_request.js").PublicCallRequest, {
+                msgSender: AztecAddress;
+                contractAddress: AztecAddress;
+                isStaticCall: boolean;
+                calldataHash: Fr;
+            }>>>;
+            publicTeardownCallRequest: z.ZodPipe<z.ZodObject<{
+                msgSender: ZodFor<AztecAddress>;
+                contractAddress: ZodFor<AztecAddress>;
+                isStaticCall: z.ZodBoolean;
+                calldataHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            }, z.core.$strip>, z.ZodTransform<import("../kernel/public_call_request.js").PublicCallRequest, {
+                msgSender: AztecAddress;
+                contractAddress: AztecAddress;
+                isStaticCall: boolean;
+                calldataHash: Fr;
+            }>>;
+            previousNonRevertibleAccumulatedDataArrayLengths: z.ZodPipe<z.ZodObject<{
+                noteHashes: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                nullifiers: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                l2ToL1Msgs: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths, {
+                noteHashes: number;
+                nullifiers: number;
+                l2ToL1Msgs: number;
+            }>>;
+            previousRevertibleAccumulatedDataArrayLengths: z.ZodPipe<z.ZodObject<{
+                noteHashes: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                nullifiers: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                l2ToL1Msgs: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths, {
+                noteHashes: number;
+                nullifiers: number;
+                l2ToL1Msgs: number;
+            }>>;
+            previousNonRevertibleAccumulatedData: z.ZodPipe<z.ZodObject<{
+                noteHashes: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+                nullifiers: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+                l2ToL1Msgs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    message: z.ZodPipe<z.ZodObject<{
+                        recipient: z.ZodType<import("@aztec-labs/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/eth-address").EthAddress, string>>;
+                        content: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                        recipient: import("@aztec-labs/foundation/eth-address").EthAddress;
+                        content: Fr;
+                    }>>;
+                    contractAddress: ZodFor<AztecAddress>;
+                }, z.core.$strip>, z.ZodTransform<ScopedL2ToL1Message, {
+                    message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                    contractAddress: AztecAddress;
+                }>>>;
+            }, z.core.$strip>, z.ZodTransform<import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData, {
+                noteHashes: Fr[];
+                nullifiers: Fr[];
+                l2ToL1Msgs: ScopedL2ToL1Message[];
+            }>>;
+            previousRevertibleAccumulatedData: z.ZodPipe<z.ZodObject<{
+                noteHashes: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+                nullifiers: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+                l2ToL1Msgs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    message: z.ZodPipe<z.ZodObject<{
+                        recipient: z.ZodType<import("@aztec-labs/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/eth-address").EthAddress, string>>;
+                        content: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                        recipient: import("@aztec-labs/foundation/eth-address").EthAddress;
+                        content: Fr;
+                    }>>;
+                    contractAddress: ZodFor<AztecAddress>;
+                }, z.core.$strip>, z.ZodTransform<ScopedL2ToL1Message, {
+                    message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                    contractAddress: AztecAddress;
+                }>>>;
+            }, z.core.$strip>, z.ZodTransform<import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData, {
+                noteHashes: Fr[];
+                nullifiers: Fr[];
+                l2ToL1Msgs: ScopedL2ToL1Message[];
+            }>>;
+            endTreeSnapshots: z.ZodPipe<z.ZodObject<{
+                l1ToL2MessageTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                noteHashTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                nullifierTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                publicDataTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<TreeSnapshots, {
+                l1ToL2MessageTree: AppendOnlyTreeSnapshot;
+                noteHashTree: AppendOnlyTreeSnapshot;
+                nullifierTree: AppendOnlyTreeSnapshot;
+                publicDataTree: AppendOnlyTreeSnapshot;
+            }>>;
+            endGasUsed: z.ZodPipe<z.ZodObject<{
+                daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<Gas, {
+                daGas: number;
+                l2Gas: number;
+            }>>;
+            accumulatedDataArrayLengths: z.ZodPipe<z.ZodObject<{
+                noteHashes: z.ZodNumber;
+                nullifiers: z.ZodNumber;
+                l2ToL1Msgs: z.ZodNumber;
+                publicDataWrites: z.ZodNumber;
+            }, z.core.$strip>, z.ZodTransform<import("./avm_accumulated_data.js").AvmAccumulatedDataArrayLengths, {
+                noteHashes: number;
+                nullifiers: number;
+                l2ToL1Msgs: number;
+                publicDataWrites: number;
+            }>>;
+            accumulatedData: z.ZodPipe<z.ZodObject<{
+                noteHashes: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+                nullifiers: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+                l2ToL1Msgs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    message: z.ZodPipe<z.ZodObject<{
+                        recipient: z.ZodType<import("@aztec-labs/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/eth-address").EthAddress, string>>;
+                        content: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                        recipient: import("@aztec-labs/foundation/eth-address").EthAddress;
+                        content: Fr;
+                    }>>;
+                    contractAddress: ZodFor<AztecAddress>;
+                }, z.core.$strip>, z.ZodTransform<ScopedL2ToL1Message, {
+                    message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                    contractAddress: AztecAddress;
+                }>>>;
+                publicLogs: ZodFor<import("../logs/public_log.js").FlatPublicLogs>;
+                publicDataWrites: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    leafSlot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<PublicDataWrite, {
+                    leafSlot: Fr;
+                    value: Fr;
+                }>>>;
+            }, z.core.$strip>, z.ZodTransform<import("./avm_accumulated_data.js").AvmAccumulatedData, {
+                noteHashes: Fr[];
+                nullifiers: Fr[];
+                l2ToL1Msgs: ScopedL2ToL1Message[];
+                publicLogs: import("../logs/public_log.js").FlatPublicLogs;
+                publicDataWrites: PublicDataWrite[];
+            }>>;
+            transactionFee: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            reverted: z.ZodBoolean;
+        }, z.core.$strip>, z.ZodTransform<AvmCircuitPublicInputs, {
+            globalVariables: GlobalVariables;
+            protocolContracts: ProtocolContracts;
+            startTreeSnapshots: TreeSnapshots;
+            startGasUsed: Gas;
+            gasSettings: GasSettings;
+            effectiveGasFees: GasFees;
+            feePayer: AztecAddress;
+            proverId: Fr;
+            publicCallRequestArrayLengths: import("../kernel/public_call_request.js").PublicCallRequestArrayLengths;
+            publicSetupCallRequests: import("../kernel/public_call_request.js").PublicCallRequest[];
+            publicAppLogicCallRequests: import("../kernel/public_call_request.js").PublicCallRequest[];
+            publicTeardownCallRequest: import("../kernel/public_call_request.js").PublicCallRequest;
+            previousNonRevertibleAccumulatedDataArrayLengths: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths;
+            previousRevertibleAccumulatedDataArrayLengths: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths;
+            previousNonRevertibleAccumulatedData: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData;
+            previousRevertibleAccumulatedData: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData;
+            endTreeSnapshots: TreeSnapshots;
+            endGasUsed: Gas;
+            accumulatedDataArrayLengths: import("./avm_accumulated_data.js").AvmAccumulatedDataArrayLengths;
+            accumulatedData: import("./avm_accumulated_data.js").AvmAccumulatedData;
+            transactionFee: Fr;
+            reverted: boolean;
+        }>>;
+    }, z.core.$strip>, z.ZodTransform<AvmCircuitInputs, {
+        hints: AvmExecutionHints;
+        publicInputs: AvmCircuitPublicInputs;
+    }>>;
+    serializeWithMessagePack(): Buffer;
+    toBuffer(): Buffer;
+    static fromBuffer(buf: Buffer): AvmCircuitInputs;
+}
+export declare class CallStackMetadata {
+    phase: TxExecutionPhase;
+    contractAddress: Fr;
+    callerPc: number;
+    calldata: Fr[];
+    isStaticCall: boolean;
+    gasLimit: Gas;
+    output: Fr[];
+    internalCallStackAtExit: number[];
+    haltingMessage: string | undefined;
+    reverted: boolean;
+    nested: CallStackMetadata[];
+    numNestedCalls: number;
+    constructor(phase: TxExecutionPhase, contractAddress: Fr, callerPc: number, calldata: Fr[], isStaticCall: boolean, gasLimit: Gas, output: Fr[], internalCallStackAtExit: number[], haltingMessage: string | undefined, reverted: boolean, nested: CallStackMetadata[], numNestedCalls: number);
+    static get schema(): ZodFor<CallStackMetadata>;
+    /**
+     * Creates a CallStackMetadata from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * @param obj - Plain object containing CallStackMetadata fields
+     * @returns A CallStackMetadata instance
+     */
+    static fromPlainObject(obj: any): CallStackMetadata;
+    getRevertReason(): SimulationError | undefined;
+    /**
+     * Finds the "rightmost deepest" revert in the call tree.
+     *
+     * At each level, we select the LAST (rightmost) reverted call, then recurse into its
+     * nested calls to find the deepest reverted leaf along that path. The chain stops
+     * when we encounter a non-reverted call (since you can choose not to rethrow).
+     *
+     * Examples (X = reverted, O = passed):
+     *
+     * 1. [X, X, X] at depth 1 -> returns the last X (rightmost)
+     *
+     * 2. [X(depth2), X, X] where first X has a nested revert -> returns the last X at depth 1,
+     *    NOT the deeper revert in the first X (rightmost takes priority over depth)
+     *
+     * 3. X -> X -> X -> O -> O -> X (nested chain)
+     *    Returns the 3rd X, because the O's break the reverted chain (they didn't rethrow)
+     *
+     * @param calls - Array of call metadata at the current level
+     * @param parentStack - Accumulated stack of parent calls (for building the result)
+     * @returns The deepest reverted call along the rightmost reverted path, or undefined if none
+     */
+    private findDeepestRevert;
+}
+export declare class PublicTxEffect {
+    transactionFee: Fr;
+    noteHashes: Fr[];
+    nullifiers: Fr[];
+    l2ToL1Msgs: ScopedL2ToL1Message[];
+    publicLogs: PublicLog[];
+    publicDataWrites: PublicDataWrite[];
+    constructor(transactionFee: Fr, noteHashes: Fr[], nullifiers: Fr[], l2ToL1Msgs: ScopedL2ToL1Message[], publicLogs: PublicLog[], publicDataWrites: PublicDataWrite[]);
+    static empty(): PublicTxEffect;
+    static get schema(): ZodFor<PublicTxEffect>;
+    static from(obj: any): PublicTxEffect;
+    static fromPlainObject(obj: any): PublicTxEffect;
+    equals(other: PublicTxEffect): boolean;
+}
+export declare class PublicTxResult {
+    gasUsed: GasUsed;
+    revertCode: RevertCode;
+    publicTxEffect: PublicTxEffect;
+    callStackMetadata: CallStackMetadata[] | NestedProcessReturnValues[];
+    logs: DebugLog[] | undefined;
+    hints: AvmExecutionHints | undefined;
+    publicInputs: AvmCircuitPublicInputs | undefined;
+    stats: Record<string, string>;
+    constructor(gasUsed: GasUsed, revertCode: RevertCode, publicTxEffect: PublicTxEffect, callStackMetadata: CallStackMetadata[] | NestedProcessReturnValues[], logs: DebugLog[] | undefined, hints: AvmExecutionHints | undefined, publicInputs: AvmCircuitPublicInputs | undefined, stats?: Record<string, string>);
+    static empty(): PublicTxResult;
+    static get schema(): ZodFor<PublicTxResult>;
+    /**
+     * Creates a PublicTxResult from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * @param obj - Plain object containing PublicTxResult fields
+     * @returns A PublicTxResult instance
+     */
+    static fromPlainObject(obj: any): PublicTxResult;
+    /** Returns one level of return values for the app logic phase, one per enqueued call. */
+    getAppLogicReturnValues(): NestedProcessReturnValues[];
+    findRevertReason(): SimulationError | undefined;
+}
+export declare const DEFAULT_MAX_DEBUG_LOG_MEMORY_READS = 125000;
+export declare class CollectionLimitsConfig {
+    readonly maxDebugLogMemoryReads: number;
+    readonly maxCalldataSizeInFields: number;
+    readonly maxReturndataSizeInFields: number;
+    readonly maxCallStackDepth: number;
+    readonly maxCallStackItems: number;
+    constructor(maxDebugLogMemoryReads: number, maxCalldataSizeInFields: number, maxReturndataSizeInFields: number, maxCallStackDepth: number, maxCallStackItems: number);
+    static from(obj: Partial<CollectionLimitsConfig>): CollectionLimitsConfig;
+    static empty(): CollectionLimitsConfig;
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        maxDebugLogMemoryReads: z.ZodNumber;
+        maxCalldataSizeInFields: z.ZodNumber;
+        maxReturndataSizeInFields: z.ZodNumber;
+        maxCallStackDepth: z.ZodNumber;
+        maxCallStackItems: z.ZodNumber;
+    }, z.core.$strip>, z.ZodTransform<CollectionLimitsConfig, {
+        maxDebugLogMemoryReads: number;
+        maxCalldataSizeInFields: number;
+        maxReturndataSizeInFields: number;
+        maxCallStackDepth: number;
+        maxCallStackItems: number;
+    }>>;
+}
+export declare class PublicSimulatorConfig {
+    readonly proverId: Fr;
+    readonly skipFeeEnforcement: boolean;
+    readonly collectCallMetadata: boolean;
+    readonly collectHints: boolean;
+    readonly collectPublicInputs: boolean;
+    readonly collectDebugLogs: boolean;
+    readonly collectStatistics: boolean;
+    readonly collectionLimits: CollectionLimitsConfig;
+    constructor(proverId: Fr, skipFeeEnforcement: boolean, collectCallMetadata: boolean, collectHints: boolean, collectPublicInputs: boolean, collectDebugLogs: boolean, collectStatistics: boolean, collectionLimits: CollectionLimitsConfig);
+    static from(obj: Partial<PublicSimulatorConfig>): PublicSimulatorConfig;
+    static empty(): PublicSimulatorConfig;
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        proverId: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+        skipFeeEnforcement: z.ZodBoolean;
+        collectCallMetadata: z.ZodBoolean;
+        collectHints: z.ZodBoolean;
+        collectPublicInputs: z.ZodBoolean;
+        collectDebugLogs: z.ZodBoolean;
+        collectStatistics: z.ZodBoolean;
+        collectionLimits: z.ZodPipe<z.ZodObject<{
+            maxDebugLogMemoryReads: z.ZodNumber;
+            maxCalldataSizeInFields: z.ZodNumber;
+            maxReturndataSizeInFields: z.ZodNumber;
+            maxCallStackDepth: z.ZodNumber;
+            maxCallStackItems: z.ZodNumber;
+        }, z.core.$strip>, z.ZodTransform<CollectionLimitsConfig, {
+            maxDebugLogMemoryReads: number;
+            maxCalldataSizeInFields: number;
+            maxReturndataSizeInFields: number;
+            maxCallStackDepth: number;
+            maxCallStackItems: number;
+        }>>;
+    }, z.core.$strip>, z.ZodTransform<PublicSimulatorConfig, {
+        proverId: Fr;
+        skipFeeEnforcement: boolean;
+        collectCallMetadata: boolean;
+        collectHints: boolean;
+        collectPublicInputs: boolean;
+        collectDebugLogs: boolean;
+        collectStatistics: boolean;
+        collectionLimits: CollectionLimitsConfig;
+    }>>;
+}
+export declare class AvmFastSimulationInputs {
+    readonly wsRevision: WorldStateRevision;
+    readonly config: PublicSimulatorConfig;
+    tx: AvmTxHint;
+    globalVariables: GlobalVariables;
+    protocolContracts: ProtocolContracts;
+    constructor(wsRevision: WorldStateRevision, config: PublicSimulatorConfig, tx: AvmTxHint, globalVariables: GlobalVariables, protocolContracts: ProtocolContracts);
+    static empty(): AvmFastSimulationInputs;
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        wsRevision: z.ZodPipe<z.ZodObject<{
+            forkId: z.ZodNumber;
+            blockNumber: z.ZodNumber;
+            includeUncommitted: z.ZodBoolean;
+        }, z.core.$strip>, z.ZodTransform<WorldStateRevision, {
+            forkId: number;
+            blockNumber: number;
+            includeUncommitted: boolean;
+        }>>;
+        config: z.ZodPipe<z.ZodObject<{
+            proverId: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            skipFeeEnforcement: z.ZodBoolean;
+            collectCallMetadata: z.ZodBoolean;
+            collectHints: z.ZodBoolean;
+            collectPublicInputs: z.ZodBoolean;
+            collectDebugLogs: z.ZodBoolean;
+            collectStatistics: z.ZodBoolean;
+            collectionLimits: z.ZodPipe<z.ZodObject<{
+                maxDebugLogMemoryReads: z.ZodNumber;
+                maxCalldataSizeInFields: z.ZodNumber;
+                maxReturndataSizeInFields: z.ZodNumber;
+                maxCallStackDepth: z.ZodNumber;
+                maxCallStackItems: z.ZodNumber;
+            }, z.core.$strip>, z.ZodTransform<CollectionLimitsConfig, {
+                maxDebugLogMemoryReads: number;
+                maxCalldataSizeInFields: number;
+                maxReturndataSizeInFields: number;
+                maxCallStackDepth: number;
+                maxCallStackItems: number;
+            }>>;
+        }, z.core.$strip>, z.ZodTransform<PublicSimulatorConfig, {
+            proverId: Fr;
+            skipFeeEnforcement: boolean;
+            collectCallMetadata: boolean;
+            collectHints: boolean;
+            collectPublicInputs: boolean;
+            collectDebugLogs: boolean;
+            collectStatistics: boolean;
+            collectionLimits: CollectionLimitsConfig;
+        }>>;
+        tx: z.ZodPipe<z.ZodObject<{
+            hash: z.ZodString;
+            gasSettings: z.ZodPipe<z.ZodObject<{
+                gasLimits: z.ZodPipe<z.ZodObject<{
+                    daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<Gas, {
+                    daGas: number;
+                    l2Gas: number;
+                }>>;
+                teardownGasLimits: z.ZodPipe<z.ZodObject<{
+                    daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<Gas, {
+                    daGas: number;
+                    l2Gas: number;
+                }>>;
+                maxFeesPerGas: z.ZodPipe<z.ZodObject<{
+                    feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<GasFees, {
+                    feePerDaGas: bigint;
+                    feePerL2Gas: bigint;
+                }>>;
+                maxPriorityFeesPerGas: z.ZodPipe<z.ZodObject<{
+                    feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<GasFees, {
+                    feePerDaGas: bigint;
+                    feePerL2Gas: bigint;
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<GasSettings, {
+                gasLimits: Gas;
+                teardownGasLimits: Gas;
+                maxFeesPerGas: GasFees;
+                maxPriorityFeesPerGas: GasFees;
+            }>>;
+            effectiveGasFees: z.ZodPipe<z.ZodObject<{
+                feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<GasFees, {
+                feePerDaGas: bigint;
+                feePerL2Gas: bigint;
+            }>>;
+            nonRevertibleContractDeploymentData: z.ZodPipe<z.ZodObject<{
+                contractClassLogs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    contractAddress: ZodFor<AztecAddress>;
+                    fields: z.ZodPipe<z.ZodObject<{
+                        fields: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../logs/contract_class_log.js").ContractClassLogFields, {
+                        fields: Fr[];
+                    }>>;
+                    emittedLength: z.ZodNumber;
+                }, z.core.$strip>, z.ZodTransform<import("../logs/contract_class_log.js").ContractClassLog, {
+                    contractAddress: AztecAddress;
+                    fields: import("../logs/contract_class_log.js").ContractClassLogFields;
+                    emittedLength: number;
+                }>>>;
+                privateLogs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    fields: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+                    emittedLength: z.ZodNumber;
+                }, z.core.$strict>, z.ZodTransform<import("../logs/private_log.js").PrivateLog, {
+                    fields: Fr[];
+                    emittedLength: number;
+                }>>>;
+            }, z.core.$strip>, z.ZodTransform<ContractDeploymentData, {
+                contractClassLogs: import("../logs/contract_class_log.js").ContractClassLog[];
+                privateLogs: import("../logs/private_log.js").PrivateLog[];
+            }>>;
+            revertibleContractDeploymentData: z.ZodPipe<z.ZodObject<{
+                contractClassLogs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    contractAddress: ZodFor<AztecAddress>;
+                    fields: z.ZodPipe<z.ZodObject<{
+                        fields: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../logs/contract_class_log.js").ContractClassLogFields, {
+                        fields: Fr[];
+                    }>>;
+                    emittedLength: z.ZodNumber;
+                }, z.core.$strip>, z.ZodTransform<import("../logs/contract_class_log.js").ContractClassLog, {
+                    contractAddress: AztecAddress;
+                    fields: import("../logs/contract_class_log.js").ContractClassLogFields;
+                    emittedLength: number;
+                }>>>;
+                privateLogs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    fields: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+                    emittedLength: z.ZodNumber;
+                }, z.core.$strict>, z.ZodTransform<import("../logs/private_log.js").PrivateLog, {
+                    fields: Fr[];
+                    emittedLength: number;
+                }>>>;
+            }, z.core.$strip>, z.ZodTransform<ContractDeploymentData, {
+                contractClassLogs: import("../logs/contract_class_log.js").ContractClassLog[];
+                privateLogs: import("../logs/private_log.js").PrivateLog[];
+            }>>;
+            nonRevertibleAccumulatedData: z.ZodObject<{
+                noteHashes: z.ZodArray<ZodFor<Fr>>;
+                nullifiers: z.ZodArray<ZodFor<Fr>>;
+                l2ToL1Messages: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    message: z.ZodPipe<z.ZodObject<{
+                        recipient: z.ZodType<import("@aztec-labs/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/eth-address").EthAddress, string>>;
+                        content: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                        recipient: import("@aztec-labs/foundation/eth-address").EthAddress;
+                        content: Fr;
+                    }>>;
+                    contractAddress: ZodFor<AztecAddress>;
+                }, z.core.$strip>, z.ZodTransform<ScopedL2ToL1Message, {
+                    message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                    contractAddress: AztecAddress;
+                }>>>;
+            }, z.core.$strip>;
+            revertibleAccumulatedData: z.ZodObject<{
+                noteHashes: z.ZodArray<ZodFor<Fr>>;
+                nullifiers: z.ZodArray<ZodFor<Fr>>;
+                l2ToL1Messages: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    message: z.ZodPipe<z.ZodObject<{
+                        recipient: z.ZodType<import("@aztec-labs/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/eth-address").EthAddress, string>>;
+                        content: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                        recipient: import("@aztec-labs/foundation/eth-address").EthAddress;
+                        content: Fr;
+                    }>>;
+                    contractAddress: ZodFor<AztecAddress>;
+                }, z.core.$strip>, z.ZodTransform<ScopedL2ToL1Message, {
+                    message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                    contractAddress: AztecAddress;
+                }>>>;
+            }, z.core.$strip>;
+            setupEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>>;
+            appLogicEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>>;
+            teardownEnqueuedCall: z.ZodNullable<ZodFor<PublicCallRequestWithCalldata>>;
+            gasUsedByPrivate: z.ZodPipe<z.ZodObject<{
+                daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<Gas, {
+                daGas: number;
+                l2Gas: number;
+            }>>;
+            feePayer: ZodFor<AztecAddress>;
+        }, z.core.$strip>, z.ZodTransform<AvmTxHint, {
+            hash: string;
+            gasSettings: GasSettings;
+            effectiveGasFees: GasFees;
+            nonRevertibleContractDeploymentData: ContractDeploymentData;
+            revertibleContractDeploymentData: ContractDeploymentData;
+            nonRevertibleAccumulatedData: {
+                noteHashes: Fr[];
+                nullifiers: Fr[];
+                l2ToL1Messages: ScopedL2ToL1Message[];
+            };
+            revertibleAccumulatedData: {
+                noteHashes: Fr[];
+                nullifiers: Fr[];
+                l2ToL1Messages: ScopedL2ToL1Message[];
+            };
+            setupEnqueuedCalls: PublicCallRequestWithCalldata[];
+            appLogicEnqueuedCalls: PublicCallRequestWithCalldata[];
+            teardownEnqueuedCall: PublicCallRequestWithCalldata | null;
+            gasUsedByPrivate: Gas;
+            feePayer: AztecAddress;
+        }>>;
+        globalVariables: z.ZodPipe<z.ZodObject<{
+            chainId: ZodFor<Fr>;
+            version: ZodFor<Fr>;
+            blockNumber: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodPipe<z.ZodBigInt, z.ZodTransform<number, bigint>>, z.ZodPipe<z.ZodString, z.ZodTransform<number, string>>]>, z.ZodTransform<import("@aztec-labs/foundation/branded-types").BlockNumber, number>>;
+            slotNumber: ZodFor<import("@aztec-labs/foundation/schemas").SlotNumber>;
+            timestamp: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            coinbase: ZodFor<import("@aztec-labs/foundation/eth-address").EthAddress>;
+            feeRecipient: ZodFor<AztecAddress>;
+            gasFees: z.ZodPipe<z.ZodObject<{
+                feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<GasFees, {
+                feePerDaGas: bigint;
+                feePerL2Gas: bigint;
+            }>>;
+        }, z.core.$strip>, z.ZodTransform<GlobalVariables, {
+            chainId: Fr;
+            version: Fr;
+            blockNumber: import("@aztec-labs/foundation/branded-types").BlockNumber;
+            slotNumber: import("@aztec-labs/foundation/schemas").SlotNumber;
+            timestamp: bigint;
+            coinbase: import("@aztec-labs/foundation/eth-address").EthAddress;
+            feeRecipient: AztecAddress;
+            gasFees: GasFees;
+        }>>;
+        protocolContracts: z.ZodPipe<z.ZodObject<{
+            derivedAddresses: z.ZodArray<ZodFor<AztecAddress>>;
+        }, z.core.$strip>, z.ZodTransform<ProtocolContracts, {
+            derivedAddresses: AztecAddress[];
+        }>>;
+    }, z.core.$strip>, z.ZodTransform<AvmFastSimulationInputs, {
+        wsRevision: WorldStateRevision;
+        config: PublicSimulatorConfig;
+        tx: AvmTxHint;
+        globalVariables: GlobalVariables;
+        protocolContracts: ProtocolContracts;
+    }>>;
+    serializeWithMessagePack(): Buffer;
+}
+export {};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYXZtL2F2bS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0scUNBQXFDLENBQUM7QUFFekQsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUd4QixPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDekQsT0FBTyxFQUE2QixzQkFBc0IsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBQ3pGLE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUVoRSxPQUFPLEVBQUUsR0FBRyxFQUFFLE1BQU0sZUFBZSxDQUFDO0FBQ3BDLE9BQU8sRUFBRSxPQUFPLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUM3QyxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFDckQsT0FBTyxFQUFFLE9BQU8sRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBQzdDLE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUNwRCxPQUFPLEVBQUUsUUFBUSxFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFDaEQsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ2xELE9BQU8sRUFBRSxtQkFBbUIsRUFBRSxNQUFNLGtDQUFrQyxDQUFDO0FBQ3ZFLE9BQU8sRUFBc0IsS0FBSyxNQUFNLEVBQVcsTUFBTSx1QkFBdUIsQ0FBQztBQUNqRixPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx1Q0FBdUMsQ0FBQztBQUMvRSxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sNEJBQTRCLENBQUM7QUFDMUQsT0FBTyxFQUFFLGFBQWEsRUFBRSxxQkFBcUIsRUFBRSxNQUFNLDRCQUE0QixDQUFDO0FBQ2xGLE9BQU8sRUFBRSxrQkFBa0IsRUFBRSwwQkFBMEIsRUFBRSxNQUFNLDhCQUE4QixDQUFDO0FBQzlGLE9BQU8sRUFDTCxlQUFlLEVBQ2YseUJBQXlCLEVBQ3pCLGlCQUFpQixFQUNqQiw2QkFBNkIsRUFDN0IsYUFBYSxFQUNiLEtBQUssRUFBRSxFQUNSLE1BQU0sZ0JBQWdCLENBQUM7QUFDeEIsT0FBTyxFQUFFLGdCQUFnQixFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDekQsT0FBTyxFQUFFLGtCQUFrQixFQUFFLE1BQU0sd0NBQXdDLENBQUM7QUFDNUUsT0FBTyxFQUFFLHNCQUFzQixFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFeEUsT0FBTyxFQUFFLGVBQWUsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBQ3pELE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUs5QyxxQkFBYSxvQkFBb0I7YUFFYixPQUFPLEVBQUUsTUFBTTthQUNmLE9BQU8sRUFBRSxFQUFFO2FBQ1gsWUFBWSxFQUFFLEVBQUU7YUFDaEIsb0JBQW9CLEVBQUUsRUFBRTthQUN4QixjQUFjLEVBQUUsTUFBTTtJQUx4QyxZQUNrQixPQUFPLEVBQUUsTUFBTSxFQUNmLE9BQU8sRUFBRSxFQUFFLEVBQ1gsWUFBWSxFQUFFLEVBQUUsRUFDaEIsb0JBQW9CLEVBQUUsRUFBRSxFQUN4QixjQUFjLEVBQUUsTUFBTSxFQUNwQztJQUVKLE1BQU0sS0FBSyxNQUFNOzs7Ozs7Ozs7Ozs7UUFhaEI7SUFFRDs7Ozs7O09BTUc7SUFDSCxNQUFNLENBQUMsZUFBZSxDQUFDLEdBQUcsRUFBRSxHQUFHLEdBQUcsb0JBQW9CLENBV3JEO0NBQ0Y7QUFFRCxxQkFBYSx5QkFBeUI7YUFFbEIsT0FBTyxFQUFFLE1BQU07YUFDZixPQUFPLEVBQUUsRUFBRTthQUNYLFVBQVUsRUFBRSxFQUFFO0lBSGhDLFlBQ2tCLE9BQU8sRUFBRSxNQUFNLEVBQ2YsT0FBTyxFQUFFLEVBQUUsRUFDWCxVQUFVLEVBQUUsRUFBRSxFQUM1QjtJQUVKLE1BQU0sS0FBSyxNQUFNOzs7Ozs7OztRQVFoQjtJQUVEOzs7Ozs7T0FNRztJQUNILE1BQU0sQ0FBQyxlQUFlLENBQUMsR0FBRyxFQUFFLEdBQUcsR0FBRyx5QkFBeUIsQ0FTMUQ7Q0FDRjtBQUVELHFCQUFhLHVCQUF1QjthQUVoQixPQUFPLEVBQUUsTUFBTTthQUNmLE9BQU8sRUFBRSxZQUFZO2FBQ3JCLElBQUksRUFBRSxFQUFFO2FBQ1IsUUFBUSxFQUFFLFlBQVk7YUFDdEIsc0JBQXNCLEVBQUUsRUFBRTthQUMxQix1QkFBdUIsRUFBRSxFQUFFO2FBQzNCLGtCQUFrQixFQUFFLEVBQUU7YUFDdEIsY0FBYyxFQUFFLEVBQUU7YUFDbEIsVUFBVSxFQUFFLFVBQVU7SUFUeEMsWUFDa0IsT0FBTyxFQUFFLE1BQU0sRUFDZixPQUFPLEVBQUUsWUFBWSxFQUNyQixJQUFJLEVBQUUsRUFBRSxFQUNSLFFBQVEsRUFBRSxZQUFZLEVBQ3RCLHNCQUFzQixFQUFFLEVBQUUsRUFDMUIsdUJBQXVCLEVBQUUsRUFBRSxFQUMzQixrQkFBa0IsRUFBRSxFQUFFLEVBQ3RCLGNBQWMsRUFBRSxFQUFFLEVBQ2xCLFVBQVUsRUFBRSxVQUFVLEVBQ3BDO0lBRUosTUFBTSxLQUFLLE1BQU07Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7UUFxQ2hCO0lBRUQ7Ozs7OztPQU1HO0lBQ0gsTUFBTSxDQUFDLGVBQWUsQ0FBQyxHQUFHLEVBQUUsR0FBRyxHQUFHLHVCQUF1QixDQWV4RDtDQUNGO0FBRUQscUJBQWEsd0JBQXdCO2FBRWpCLE9BQU8sRUFBRSxZQUFZO2FBQ3JCLFFBQVEsRUFBRSxFQUFFO2FBQ1osSUFBSSxFQUFFLE1BQU07SUFIOUIsWUFDa0IsT0FBTyxFQUFFLFlBQVksRUFDckIsUUFBUSxFQUFFLEVBQUUsRUFDWixJQUFJLEVBQUUsTUFBTSxFQUMxQjtJQUVKLE1BQU0sS0FBSyxNQUFNOzs7Ozs7OztRQVFoQjtJQUVEOzs7Ozs7T0FNRztJQUNILE1BQU0sQ0FBQyxlQUFlLENBQUMsR0FBRyxFQUFFLEdBQUcsR0FBRyx3QkFBd0IsQ0FTekQ7Q0FDRjtBQU1ELHFCQUFhLHFCQUFxQjthQUVkLE9BQU8sRUFBRSxzQkFBc0I7YUFFL0IsTUFBTSxFQUFFLFlBQVk7YUFDcEIsS0FBSyxFQUFFLE1BQU07YUFFYixJQUFJLEVBQUUsRUFBRSxFQUFFO0lBTjVCLFlBQ2tCLE9BQU8sRUFBRSxzQkFBc0IsRUFFL0IsTUFBTSxFQUFFLFlBQVksRUFDcEIsS0FBSyxFQUFFLE1BQU0sRUFFYixJQUFJLEVBQUUsRUFBRSxFQUFFLEVBQ3hCO0lBRUosTUFBTSxLQUFLLE1BQU07Ozs7Ozs7Ozs7Ozs7Ozs7UUFTaEI7SUFFRDs7Ozs7O09BTUc7SUFDSCxNQUFNLENBQUMsZUFBZSxDQUFDLEdBQUcsRUFBRSxHQUFHLEdBQUcscUJBQXFCLENBVXREO0NBQ0Y7QUFHRCxxQkFBYSw0QkFBNEI7YUFFckIsT0FBTyxFQUFFLHNCQUFzQjthQUUvQixNQUFNLEVBQUUsWUFBWTthQUNwQixLQUFLLEVBQUUsRUFBRTthQUVULEtBQUssRUFBRSxNQUFNO2FBQ2IsY0FBYyxFQUFFLE9BQU87SUFQekMsWUFDa0IsT0FBTyxFQUFFLHNCQUFzQixFQUUvQixNQUFNLEVBQUUsWUFBWSxFQUNwQixLQUFLLEVBQUUsRUFBRSxFQUVULEtBQUssRUFBRSxNQUFNLEVBQ2IsY0FBYyxFQUFFLE9BQU8sRUFDckM7SUFFSixNQUFNLEtBQUssTUFBTTs7Ozs7Ozs7Ozs7Ozs7Ozs7O1FBYWhCO0lBRUQ7Ozs7OztPQU1HO0lBQ0gsTUFBTSxDQUFDLGVBQWUsQ0FBQyxHQUFHLEVBQUUsR0FBRyxHQUFHLDRCQUE0QixDQVc3RDtDQUNGO0FBRUQsS0FBSyx3QkFBd0IsR0FBRyxxQkFBcUIsR0FBRywwQkFBMEIsQ0FBQzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztJQTBCL0U7Ozs7OztPQU1HOzs7QUFlUCxxQkFBYSxvQ0FBcUMsU0FBUSx5Q0FBeUQ7Q0FBRzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztJQXJCbEg7Ozs7OztPQU1HOzs7QUFnQlAscUJBQWEsbUNBQW9DLFNBQVEsd0NBQW9EO0NBQUc7QUFJaEgscUJBQWEsbUJBQW1CO2FBRVosT0FBTyxFQUFFLHNCQUFzQjthQUUvQixNQUFNLEVBQUUsWUFBWTthQUNwQixLQUFLLEVBQUUsTUFBTTthQUViLEtBQUssRUFBRSxFQUFFO0lBTjNCLFlBQ2tCLE9BQU8sRUFBRSxzQkFBc0IsRUFFL0IsTUFBTSxFQUFFLFlBQVksRUFDcEIsS0FBSyxFQUFFLE1BQU0sRUFFYixLQUFLLEVBQUUsRUFBRSxFQUN2QjtJQUVKLE1BQU0sS0FBSyxNQUFNOzs7Ozs7Ozs7Ozs7Ozs7O1FBU2hCO0lBRUQ7Ozs7OztPQU1HO0lBQ0gsTUFBTSxDQUFDLGVBQWUsQ0FBQyxHQUFHLEVBQUUsR0FBRyxHQUFHLG1CQUFtQixDQVVwRDtDQUNGOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztJQWtERzs7Ozs7O09BTUc7OztBQWtDUCxxQkFBYSxxQ0FBc0MsU0FBUSwwQ0FBMEQ7Q0FBRzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7SUF4Q3BIOzs7Ozs7T0FNRzs7O0FBbUNQLHFCQUFhLG9DQUFxQyxTQUFRLHlDQUFxRDtDQUFHO0FBSWxILHFCQUFhLG1CQUFtQjthQUVaLE9BQU8sRUFBRSxzQkFBc0I7YUFDL0IsVUFBVSxFQUFFLHNCQUFzQjthQUVsQyxNQUFNLEVBQUUsWUFBWTthQUNwQixNQUFNLEVBQUUsRUFBRSxFQUFFO0lBTDlCLFlBQ2tCLE9BQU8sRUFBRSxzQkFBc0IsRUFDL0IsVUFBVSxFQUFFLHNCQUFzQixFQUVsQyxNQUFNLEVBQUUsWUFBWSxFQUNwQixNQUFNLEVBQUUsRUFBRSxFQUFFLEVBQzFCO0lBRUosTUFBTSxLQUFLLE1BQU07Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7UUFXaEI7SUFFRDs7Ozs7O09BTUc7SUFDSCxNQUFNLENBQUMsZUFBZSxDQUFDLEdBQUcsRUFBRSxHQUFHLEdBQUcsbUJBQW1CLENBVXBEO0NBQ0Y7QUFHRCxjQUFNLG9DQUFvQzthQUd0QixhQUFhLEVBQUUsTUFBTTthQUVyQixlQUFlLEVBQUUsTUFBTTthQUN2QixlQUFlLEVBQUUsTUFBTTtJQUx6QyxZQUVrQixhQUFhLEVBQUUsTUFBTSxFQUVyQixlQUFlLEVBQUUsTUFBTSxFQUN2QixlQUFlLEVBQUUsTUFBTSxFQUNyQztJQUVKLE1BQU0sS0FBSyxNQUFNOzs7Ozs7OztRQVdoQjtJQUVEOzs7Ozs7T0FNRztJQUNILE1BQU0sQ0FBQyxlQUFlLENBQUMsR0FBRyxFQUFFLEdBQUcsR0FBRyxHQUFHLENBS3BDO0NBQ0Y7QUFHRCxxQkFBYSx1QkFBd0IsU0FBUSxvQ0FBb0M7Q0FBRztBQUdwRixxQkFBYSx1QkFBd0IsU0FBUSxvQ0FBb0M7Q0FBRztBQUdwRixxQkFBYSx1QkFBdUI7YUFJaEIsYUFBYSxFQUFFLE1BQU07YUFFckIsZUFBZSxFQUFFLE1BQU07YUFDdkIsZUFBZSxFQUFFLE1BQU07YUFFdkIsV0FBVyxFQUFFLGFBQWE7YUFDMUIsVUFBVSxFQUFFLGFBQWE7SUFSM0MsWUFFa0IsYUFBYSxFQUFFLE1BQU0sRUFFckIsZUFBZSxFQUFFLE1BQU0sRUFDdkIsZUFBZSxFQUFFLE1BQU0sRUFFdkIsV0FBVyxFQUFFLGFBQWEsRUFDMUIsVUFBVSxFQUFFLGFBQWEsRUFDdkM7SUFFSixNQUFNLENBQUMsTUFBTSxDQUNYLGFBQWEsRUFBRSxNQUFNLEVBQ3JCLGVBQWUsRUFBRSxNQUFNLEVBQ3ZCLGVBQWUsRUFBRSxNQUFNLEVBQ3ZCLFdBQVcsRUFBRSxNQUFNLENBQUMsWUFBWSxFQUFFLHNCQUFzQixDQUFDLEVBQ3pELFVBQVUsRUFBRSxNQUFNLENBQUMsWUFBWSxFQUFFLHNCQUFzQixDQUFDLEdBQ3ZELHVCQUF1QixDQWtCekI7SUFFRCxNQUFNLEtBQUssTUFBTTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7UUFhaEI7SUFFRDs7Ozs7O09BTUc7SUFDSCxNQUFNLENBQUMsZUFBZSxDQUFDLEdBQUcsRUFBRSxHQUFHLEdBQUcsdUJBQXVCLENBV3hEO0NBQ0Y7QUFFRCxxQkFBYSxpQ0FBa0MsU0FBUSxvQ0FBb0M7Q0FBRztBQUM5RixxQkFBYSxpQ0FBa0MsU0FBUSxvQ0FBb0M7Q0FBRztBQUM5RixxQkFBYSxpQ0FBa0MsU0FBUSxvQ0FBb0M7Q0FBRztBQUs5RixxQkFBYSxTQUFTO2FBRUYsSUFBSSxFQUFFLE1BQU07YUFDWixXQUFXLEVBQUUsV0FBVzthQUN4QixnQkFBZ0IsRUFBRSxPQUFPO2FBQ3pCLG1DQUFtQyxFQUFFLHNCQUFzQjthQUMzRCxnQ0FBZ0MsRUFBRSxzQkFBc0I7YUFDeEQsNEJBQTRCLEVBQUU7UUFDNUMsVUFBVSxFQUFFLEVBQUUsRUFBRSxDQUFDO1FBQ2pCLFVBQVUsRUFBRSxFQUFFLEVBQUUsQ0FBQztRQUNqQixjQUFjLEVBQUUsbUJBQW1CLEVBQUUsQ0FBQztLQUN2QzthQUNlLHlCQUF5QixFQUFFO1FBQ3pDLFVBQVUsRUFBRSxFQUFFLEVBQUUsQ0FBQztRQUNqQixVQUFVLEVBQUUsRUFBRSxFQUFFLENBQUM7UUFDakIsY0FBYyxFQUFFLG1CQUFtQixFQUFFLENBQUM7S0FDdkM7YUFDZSxrQkFBa0IsRUFBRSw2QkFBNkIsRUFBRTthQUNuRCxxQkFBcUIsRUFBRSw2QkFBNkIsRUFBRTthQUd0RCxvQkFBb0IsRUFBRSw2QkFBNkIsR0FBRyxJQUFJO2FBQzFELGdCQUFnQixFQUFFLEdBQUc7YUFDckIsUUFBUSxFQUFFLFlBQVk7SUF0QnhDLFlBQ2tCLElBQUksRUFBRSxNQUFNLEVBQ1osV0FBVyxFQUFFLFdBQVcsRUFDeEIsZ0JBQWdCLEVBQUUsT0FBTyxFQUN6QixtQ0FBbUMsRUFBRSxzQkFBc0IsRUFDM0QsZ0NBQWdDLEVBQUUsc0JBQXNCLEVBQ3hELDRCQUE0QixFQUFFO1FBQzVDLFVBQVUsRUFBRSxFQUFFLEVBQUUsQ0FBQztRQUNqQixVQUFVLEVBQUUsRUFBRSxFQUFFLENBQUM7UUFDakIsY0FBYyxFQUFFLG1CQUFtQixFQUFFLENBQUM7S0FDdkMsRUFDZSx5QkFBeUIsRUFBRTtRQUN6QyxVQUFVLEVBQUUsRUFBRSxFQUFFLENBQUM7UUFDakIsVUFBVSxFQUFFLEVBQUUsRUFBRSxDQUFDO1FBQ2pCLGNBQWMsRUFBRSxtQkFBbUIsRUFBRSxDQUFDO0tBQ3ZDLEVBQ2Usa0JBQWtCLEVBQUUsNkJBQTZCLEVBQUUsRUFDbkQscUJBQXFCLEVBQUUsNkJBQTZCLEVBQUUsRUFHdEQsb0JBQW9CLEVBQUUsNkJBQTZCLEdBQUcsSUFBSSxFQUMxRCxnQkFBZ0IsRUFBRSxHQUFHLEVBQ3JCLFFBQVEsRUFBRSxZQUFZLEVBQ3BDO0lBRUosTUFBTSxDQUFDLE1BQU0sQ0FBQyxFQUFFLEVBQUUsRUFBRSxFQUFFLE9BQU8sRUFBRSxPQUFPLEdBQUcsU0FBUyxDQWlDakQ7SUFFRCxNQUFNLENBQUMsS0FBSyxjQWVYO0lBRUQ7Ozs7OztPQU1HO0lBQ0gsTUFBTSxDQUFDLGVBQWUsQ0FBQyxHQUFHLEVBQUUsR0FBRyxHQUFHLFNBQVMsQ0E4QjFDO0lBRUQsTUFBTSxLQUFLLE1BQU07Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7UUFzRGhCO0NBQ0Y7QUFFRCxxQkFBYSxpQkFBaUI7YUFFVixlQUFlLEVBQUUsZUFBZTtJQUN6QyxFQUFFLEVBQUUsU0FBUztJQUViLGlCQUFpQixFQUFFLGlCQUFpQjthQUUzQixpQkFBaUIsRUFBRSx1QkFBdUIsRUFBRTthQUM1QyxlQUFlLEVBQUUsb0JBQW9CLEVBQUU7YUFDdkMsbUJBQW1CLEVBQUUseUJBQXlCLEVBQUU7YUFDaEQsa0JBQWtCLEVBQUUsd0JBQXdCLEVBQUU7YUFDOUMsK0JBQStCLEVBQUUsaUNBQWlDLEVBQUU7YUFDcEUsK0JBQStCLEVBQUUsaUNBQWlDLEVBQUU7YUFDcEUsK0JBQStCLEVBQUUsaUNBQWlDLEVBQUU7SUFFN0UsaUJBQWlCLEVBQUUsYUFBYTthQUN2QixtQkFBbUIsRUFBRSxxQkFBcUIsRUFBRTthQUM1QywwQkFBMEIsRUFBRSw0QkFBNEIsRUFBRTthQUMxRCxrQ0FBa0MsRUFBRSxvQ0FBb0MsRUFBRTthQUMxRSxpQ0FBaUMsRUFBRSxtQ0FBbUMsRUFBRTthQUN4RSxpQkFBaUIsRUFBRSxtQkFBbUIsRUFBRTthQUN4QyxtQ0FBbUMsRUFBRSxxQ0FBcUMsRUFBRTthQUM1RSxrQ0FBa0MsRUFBRSxvQ0FBb0MsRUFBRTthQUMxRSxpQkFBaUIsRUFBRSxtQkFBbUIsRUFBRTthQUN4QyxxQkFBcUIsRUFBRSx1QkFBdUIsRUFBRTthQUNoRCxxQkFBcUIsRUFBRSx1QkFBdUIsRUFBRTthQUNoRCxxQkFBcUIsRUFBRSx1QkFBdUIsRUFBRTtJQXpCbEUsWUFDa0IsZUFBZSxFQUFFLGVBQWUsRUFDekMsRUFBRSxFQUFFLFNBQVMsRUFFYixpQkFBaUIsRUFBRSxpQkFBaUIsRUFFM0IsaUJBQWlCLEdBQUUsdUJBQXVCLEVBQU8sRUFDakQsZUFBZSxHQUFFLG9CQUFvQixFQUFPLEVBQzVDLG1CQUFtQixHQUFFLHlCQUF5QixFQUFPLEVBQ3JELGtCQUFrQixHQUFFLHdCQUF3QixFQUFPLEVBQ25ELCtCQUErQixHQUFFLGlDQUFpQyxFQUFPLEVBQ3pFLCtCQUErQixHQUFFLGlDQUFpQyxFQUFPLEVBQ3pFLCtCQUErQixHQUFFLGlDQUFpQyxFQUFPLEVBRWxGLGlCQUFpQixHQUFFLGFBQXFDLEVBQy9DLG1CQUFtQixHQUFFLHFCQUFxQixFQUFPLEVBQ2pELDBCQUEwQixHQUFFLDRCQUE0QixFQUFPLEVBQy9ELGtDQUFrQyxHQUFFLG9DQUFvQyxFQUFPLEVBQy9FLGlDQUFpQyxHQUFFLG1DQUFtQyxFQUFPLEVBQzdFLGlCQUFpQixHQUFFLG1CQUFtQixFQUFPLEVBQzdDLG1DQUFtQyxHQUFFLHFDQUFxQyxFQUFPLEVBQ2pGLGtDQUFrQyxHQUFFLG9DQUFvQyxFQUFPLEVBQy9FLGlCQUFpQixHQUFFLG1CQUFtQixFQUFPLEVBQzdDLHFCQUFxQixHQUFFLHVCQUF1QixFQUFPLEVBQ3JELHFCQUFxQixHQUFFLHVCQUF1QixFQUFPLEVBQ3JELHFCQUFxQixHQUFFLHVCQUF1QixFQUFPLEVBQ25FO0lBRUo7Ozs7OztPQU1HO0lBQ0gsTUFBTSxDQUFDLGVBQWUsQ0FBQyxHQUFHLEVBQUUsR0FBRyxHQUFHLGlCQUFpQixDQW1DbEQ7SUFFRCxNQUFNLENBQUMsS0FBSyxzQkFFWDtJQUVELE1BQU0sS0FBSyxNQUFNOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O1FBNEVoQjtDQUNGO0FBRUQscUJBQWEsZ0JBQWdCO2FBRVQsS0FBSyxFQUFFLGlCQUFpQjtJQUNqQyxZQUFZLEVBQUUsc0JBQXNCO0lBRjdDLFlBQ2tCLEtBQUssRUFBRSxpQkFBaUIsRUFDakMsWUFBWSxFQUFFLHNCQUFzQixFQUN6QztJQUVKLE1BQU0sQ0FBQyxLQUFLLHFCQUVYO0lBRUQsTUFBTSxDQUFDLGVBQWUsQ0FBQyxHQUFHLEVBQUUsR0FBRyxHQUFHLGdCQUFnQixDQUtqRDtJQUVELE1BQU0sS0FBSyxNQUFNOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztRQU9oQjtJQUVNLHdCQUF3QixJQUFJLE1BQU0sQ0FFeEM7SUFHTSxRQUFRLElBQUksTUFBTSxDQUV4QjtJQUNELE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxFQUFFLE1BQU0sb0JBRTVCO0NBQ0Y7QUFHRCxxQkFBYSxpQkFBaUI7SUFFbkIsS0FBSyxFQUFFLGdCQUFnQjtJQUN2QixlQUFlLEVBQUUsRUFBRTtJQUNuQixRQUFRLEVBQUUsTUFBTTtJQUNoQixRQUFRLEVBQUUsRUFBRSxFQUFFO0lBQ2QsWUFBWSxFQUFFLE9BQU87SUFDckIsUUFBUSxFQUFFLEdBQUc7SUFDYixNQUFNLEVBQUUsRUFBRSxFQUFFO0lBQ1osdUJBQXVCLEVBQUUsTUFBTSxFQUFFO0lBQ2pDLGNBQWMsRUFBRSxNQUFNLEdBQUcsU0FBUztJQUNsQyxRQUFRLEVBQUUsT0FBTztJQUNqQixNQUFNLEVBQUUsaUJBQWlCLEVBQUU7SUFDM0IsY0FBYyxFQUFFLE1BQU07SUFaL0IsWUFDUyxLQUFLLEVBQUUsZ0JBQWdCLEVBQ3ZCLGVBQWUsRUFBRSxFQUFFLEVBQ25CLFFBQVEsRUFBRSxNQUFNLEVBQ2hCLFFBQVEsRUFBRSxFQUFFLEVBQUUsRUFDZCxZQUFZLEVBQUUsT0FBTyxFQUNyQixRQUFRLEVBQUUsR0FBRyxFQUNiLE1BQU0sRUFBRSxFQUFFLEVBQUUsRUFDWix1QkFBdUIsRUFBRSxNQUFNLEVBQUUsRUFDakMsY0FBYyxFQUFFLE1BQU0sR0FBRyxTQUFTLEVBQ2xDLFFBQVEsRUFBRSxPQUFPLEVBQ2pCLE1BQU0sRUFBRSxpQkFBaUIsRUFBRSxFQUMzQixjQUFjLEVBQUUsTUFBTSxFQUMzQjtJQUVKLE1BQU0sS0FBSyxNQUFNLElBQUksTUFBTSxDQUFDLGlCQUFpQixDQUFDLENBOEM3QztJQUVEOzs7Ozs7T0FNRztJQUNILE1BQU0sQ0FBQyxlQUFlLENBQUMsR0FBRyxFQUFFLEdBQUcsR0FBRyxpQkFBaUIsQ0FrQmxEO0lBRU0sZUFBZSxJQUFJLGVBQWUsR0FBRyxTQUFTLENBc0JwRDtJQUVEOzs7Ozs7Ozs7Ozs7Ozs7Ozs7OztPQW9CRztJQUNILE9BQU8sQ0FBQyxpQkFBaUI7Q0FXMUI7QUFFRCxxQkFBYSxjQUFjO0lBRWhCLGNBQWMsRUFBRSxFQUFFO0lBQ2xCLFVBQVUsRUFBRSxFQUFFLEVBQUU7SUFDaEIsVUFBVSxFQUFFLEVBQUUsRUFBRTtJQUNoQixVQUFVLEVBQUUsbUJBQW1CLEVBQUU7SUFDakMsVUFBVSxFQUFFLFNBQVMsRUFBRTtJQUN2QixnQkFBZ0IsRUFBRSxlQUFlLEVBQUU7SUFONUMsWUFDUyxjQUFjLEVBQUUsRUFBRSxFQUNsQixVQUFVLEVBQUUsRUFBRSxFQUFFLEVBQ2hCLFVBQVUsRUFBRSxFQUFFLEVBQUUsRUFDaEIsVUFBVSxFQUFFLG1CQUFtQixFQUFFLEVBQ2pDLFVBQVUsRUFBRSxTQUFTLEVBQUUsRUFDdkIsZ0JBQWdCLEVBQUUsZUFBZSxFQUFFLEVBQ3hDO0lBRUosTUFBTSxDQUFDLEtBQUssbUJBRVg7SUFFRCxNQUFNLEtBQUssTUFBTSxJQUFJLE1BQU0sQ0FBQyxjQUFjLENBQUMsQ0FXMUM7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLEdBQUcsRUFBRSxHQUFHLEdBQUcsY0FBYyxDQVNwQztJQUVELE1BQU0sQ0FBQyxlQUFlLENBQUMsR0FBRyxFQUFFLEdBQUcsR0FBRyxjQUFjLENBUy9DO0lBRUQsTUFBTSxDQUFDLEtBQUssRUFBRSxjQUFjLEdBQUcsT0FBTyxDQWNyQztDQUNGO0FBRUQscUJBQWEsY0FBYztJQUdoQixPQUFPLEVBQUUsT0FBTztJQUNoQixVQUFVLEVBQUUsVUFBVTtJQUN0QixjQUFjLEVBQUUsY0FBYztJQUc5QixpQkFBaUIsRUFDcEIsaUJBQWlCLEVBQUUsR0FDbkIseUJBQXlCLEVBQUU7SUFDeEIsSUFBSSxFQUFFLFFBQVEsRUFBRSxHQUFHLFNBQVM7SUFFNUIsS0FBSyxFQUFFLGlCQUFpQixHQUFHLFNBQVM7SUFDcEMsWUFBWSxFQUFFLHNCQUFzQixHQUFHLFNBQVM7SUFHaEQsS0FBSyxFQUFFLE1BQU0sQ0FBQyxNQUFNLEVBQUUsTUFBTSxDQUFDO0lBaEJ0QyxZQUVTLE9BQU8sRUFBRSxPQUFPLEVBQ2hCLFVBQVUsRUFBRSxVQUFVLEVBQ3RCLGNBQWMsRUFBRSxjQUFjLEVBRzlCLGlCQUFpQixFQUNwQixpQkFBaUIsRUFBRSxHQUNuQix5QkFBeUIsRUFBRSxFQUN4QixJQUFJLEVBQUUsUUFBUSxFQUFFLEdBQUcsU0FBUyxFQUU1QixLQUFLLEVBQUUsaUJBQWlCLEdBQUcsU0FBUyxFQUNwQyxZQUFZLEVBQUUsc0JBQXNCLEdBQUcsU0FBUyxFQUdoRCxLQUFLLEdBQUUsTUFBTSxDQUFDLE1BQU0sRUFBRSxNQUFNLENBQU0sRUFDdkM7SUFFSixNQUFNLENBQUMsS0FBSyxtQkFlWDtJQUVELE1BQU0sS0FBSyxNQUFNLElBQUksTUFBTSxDQUFDLGNBQWMsQ0FBQyxDQStCMUM7SUFFRDs7Ozs7O09BTUc7SUFDSCxNQUFNLENBQUMsZUFBZSxDQUFDLEdBQUcsRUFBRSxHQUFHLEdBQUcsY0FBYyxDQVcvQztJQUVELHlGQUF5RjtJQUNsRix1QkFBdUIsSUFBSSx5QkFBeUIsRUFBRSxDQVU1RDtJQUVNLGdCQUFnQixJQUFJLGVBQWUsR0FBRyxTQUFTLENBcUJyRDtDQUNGO0FBSUQsZUFBTyxNQUFNLGtDQUFrQyxTQUFTLENBQUM7QUFFekQscUJBQWEsc0JBQXNCO2FBRWYsc0JBQXNCLEVBQUUsTUFBTTthQUM5Qix1QkFBdUIsRUFBRSxNQUFNO2FBQy9CLHlCQUF5QixFQUFFLE1BQU07YUFDakMsaUJBQWlCLEVBQUUsTUFBTTthQUN6QixpQkFBaUIsRUFBRSxNQUFNO0lBTDNDLFlBQ2tCLHNCQUFzQixFQUFFLE1BQU0sRUFDOUIsdUJBQXVCLEVBQUUsTUFBTSxFQUMvQix5QkFBeUIsRUFBRSxNQUFNLEVBQ2pDLGlCQUFpQixFQUFFLE1BQU0sRUFDekIsaUJBQWlCLEVBQUUsTUFBTSxFQUN2QztJQUVKLE1BQU0sQ0FBQyxJQUFJLENBQUMsR0FBRyxFQUFFLE9BQU8sQ0FBQyxzQkFBc0IsQ0FBQyxHQUFHLHNCQUFzQixDQVF4RTtJQUVELE1BQU0sQ0FBQyxLQUFLLDJCQUVYO0lBRUQsTUFBTSxLQUFLLE1BQU07Ozs7Ozs7Ozs7OztRQXlCaEI7Q0FDRjtBQUVELHFCQUFhLHFCQUFxQjthQUVkLFFBQVEsRUFBRSxFQUFFO2FBQ1osa0JBQWtCLEVBQUUsT0FBTzthQUMzQixtQkFBbUIsRUFBRSxPQUFPO2FBQzVCLFlBQVksRUFBRSxPQUFPO2FBQ3JCLG1CQUFtQixFQUFFLE9BQU87YUFDNUIsZ0JBQWdCLEVBQUUsT0FBTzthQUN6QixpQkFBaUIsRUFBRSxPQUFPO2FBQzFCLGdCQUFnQixFQUFFLHNCQUFzQjtJQVIxRCxZQUNrQixRQUFRLEVBQUUsRUFBRSxFQUNaLGtCQUFrQixFQUFFLE9BQU8sRUFDM0IsbUJBQW1CLEVBQUUsT0FBTyxFQUM1QixZQUFZLEVBQUUsT0FBTyxFQUNyQixtQkFBbUIsRUFBRSxPQUFPLEVBQzVCLGdCQUFnQixFQUFFLE9BQU8sRUFDekIsaUJBQWlCLEVBQUUsT0FBTyxFQUMxQixnQkFBZ0IsRUFBRSxzQkFBc0IsRUFDdEQ7SUFFSixNQUFNLENBQUMsSUFBSSxDQUFDLEdBQUcsRUFBRSxPQUFPLENBQUMscUJBQXFCLENBQUMsR0FBRyxxQkFBcUIsQ0FXdEU7SUFFRCxNQUFNLENBQUMsS0FBSywwQkFFWDtJQUVELE1BQU0sS0FBSyxNQUFNOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7UUFhaEI7Q0FDRjtBQUVELHFCQUFhLHVCQUF1QjthQUVoQixVQUFVLEVBQUUsa0JBQWtCO2FBQzlCLE1BQU0sRUFBRSxxQkFBcUI7SUFDdEMsRUFBRSxFQUFFLFNBQVM7SUFDYixlQUFlLEVBQUUsZUFBZTtJQUNoQyxpQkFBaUIsRUFBRSxpQkFBaUI7SUFMN0MsWUFDa0IsVUFBVSxFQUFFLGtCQUFrQixFQUM5QixNQUFNLEVBQUUscUJBQXFCLEVBQ3RDLEVBQUUsRUFBRSxTQUFTLEVBQ2IsZUFBZSxFQUFFLGVBQWUsRUFDaEMsaUJBQWlCLEVBQUUsaUJBQWlCLEVBQ3pDO0lBRUosTUFBTSxDQUFDLEtBQUssNEJBUVg7SUFFRCxNQUFNLEtBQUssTUFBTTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztRQWFoQjtJQUVNLHdCQUF3QixJQUFJLE1BQU0sQ0FFeEM7Q0FDRiJ9