@aztec/stdlib 0.0.0-test.0

package/dest/avm/avm.d.ts

@@ -0,0 +1,3623 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import { Fr } from '@aztec/foundation/fields';
+import { z } from 'zod';
+import { AztecAddress } from '../aztec-address/index.js';
+import { PublicKeys } from '../keys/public_keys.js';
+import { NullifierLeafPreimage } from '../trees/nullifier_leaf.js';
+import { PublicDataTreeLeafPreimage } from '../trees/public_data_leaf.js';
+import { AvmCircuitPublicInputs } from './avm_circuit_public_inputs.js';
+export declare class AvmEnqueuedCallHint {
+    readonly contractAddress: AztecAddress;
+    readonly calldata: Fr[];
+    constructor(contractAddress: AztecAddress, calldata: Fr[]);
+    static get schema(): z.ZodEffects<z.ZodObject<{
+        contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+        calldata: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        contractAddress: AztecAddress;
+        calldata: Fr[];
+    }, {
+        calldata: string[];
+        contractAddress?: any;
+    }>, AvmEnqueuedCallHint, {
+        calldata: string[];
+        contractAddress?: any;
+    }>;
+}
+export declare class AvmContractClassHint {
+    readonly classId: Fr;
+    readonly exists: boolean;
+    readonly artifactHash: Fr;
+    readonly privateFunctionsRoot: Fr;
+    readonly publicBytecodeCommitment: Fr;
+    readonly packedBytecode: Buffer;
+    constructor(classId: Fr, exists: boolean, artifactHash: Fr, privateFunctionsRoot: Fr, publicBytecodeCommitment: Fr, packedBytecode: Buffer);
+    static get schema(): z.ZodEffects<z.ZodObject<{
+        classId: z.ZodType<Fr, any, string>;
+        exists: z.ZodBoolean;
+        artifactHash: z.ZodType<Fr, any, string>;
+        privateFunctionsRoot: z.ZodType<Fr, any, string>;
+        publicBytecodeCommitment: z.ZodType<Fr, any, string>;
+        packedBytecode: z.ZodUnion<[z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, Buffer, string>, z.ZodEffects<z.ZodObject<{
+            type: z.ZodLiteral<"Buffer">;
+            data: z.ZodArray<z.ZodNumber, "many">;
+        }, "strip", z.ZodTypeAny, {
+            type: "Buffer";
+            data: number[];
+        }, {
+            type: "Buffer";
+            data: number[];
+        }>, Buffer, {
+            type: "Buffer";
+            data: number[];
+        }>]>;
+    }, "strip", z.ZodTypeAny, {
+        classId: Fr;
+        exists: boolean;
+        artifactHash: Fr;
+        privateFunctionsRoot: Fr;
+        publicBytecodeCommitment: Fr;
+        packedBytecode: Buffer;
+    }, {
+        classId: string;
+        exists: boolean;
+        artifactHash: string;
+        privateFunctionsRoot: string;
+        publicBytecodeCommitment: string;
+        packedBytecode: string | {
+            type: "Buffer";
+            data: number[];
+        };
+    }>, AvmContractClassHint, {
+        classId: string;
+        exists: boolean;
+        artifactHash: string;
+        privateFunctionsRoot: string;
+        publicBytecodeCommitment: string;
+        packedBytecode: string | {
+            type: "Buffer";
+            data: number[];
+        };
+    }>;
+}
+export declare class AvmContractInstanceHint {
+    readonly address: AztecAddress;
+    readonly exists: boolean;
+    readonly salt: Fr;
+    readonly deployer: AztecAddress;
+    readonly currentContractClassId: Fr;
+    readonly originalContractClassId: Fr;
+    readonly initializationHash: Fr;
+    readonly publicKeys: PublicKeys;
+    readonly updateMembershipHint: AvmPublicDataReadTreeHint;
+    readonly updatePreimage: Fr[];
+    constructor(address: AztecAddress, exists: boolean, salt: Fr, deployer: AztecAddress, currentContractClassId: Fr, originalContractClassId: Fr, initializationHash: Fr, publicKeys: PublicKeys, updateMembershipHint: AvmPublicDataReadTreeHint, updatePreimage?: Fr[]);
+    static get schema(): z.ZodEffects<z.ZodObject<{
+        address: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+        exists: z.ZodBoolean;
+        salt: z.ZodType<Fr, any, string>;
+        deployer: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+        currentContractClassId: z.ZodType<Fr, any, string>;
+        originalContractClassId: z.ZodType<Fr, any, string>;
+        initializationHash: z.ZodType<Fr, any, string>;
+        publicKeys: z.ZodEffects<z.ZodObject<{
+            masterNullifierPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
+            masterIncomingViewingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
+            masterOutgoingViewingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
+            masterTaggingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
+        }, "strip", z.ZodTypeAny, {
+            masterNullifierPublicKey: import("@aztec/foundation/fields").Point;
+            masterIncomingViewingPublicKey: import("@aztec/foundation/fields").Point;
+            masterOutgoingViewingPublicKey: import("@aztec/foundation/fields").Point;
+            masterTaggingPublicKey: import("@aztec/foundation/fields").Point;
+        }, {
+            masterNullifierPublicKey: string;
+            masterIncomingViewingPublicKey: string;
+            masterOutgoingViewingPublicKey: string;
+            masterTaggingPublicKey: string;
+        }>, PublicKeys, {
+            masterNullifierPublicKey: string;
+            masterIncomingViewingPublicKey: string;
+            masterOutgoingViewingPublicKey: string;
+            masterTaggingPublicKey: string;
+        }>;
+        updateMembershipHint: z.ZodEffects<z.ZodObject<{
+            leafPreimage: z.ZodEffects<z.ZodObject<{
+                slot: z.ZodType<Fr, any, string>;
+                value: z.ZodType<Fr, any, string>;
+                nextSlot: z.ZodType<Fr, any, string>;
+                nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+            }, "strip", z.ZodTypeAny, {
+                value: Fr;
+                slot: Fr;
+                nextIndex: bigint;
+                nextSlot: Fr;
+            }, {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            }>, PublicDataTreeLeafPreimage, {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            }>;
+            leafIndex: z.ZodType<Fr, any, string>;
+            siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            leafPreimage: PublicDataTreeLeafPreimage;
+            leafIndex: Fr;
+            siblingPath: Fr[];
+        }, {
+            leafPreimage: {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            };
+            leafIndex: string;
+            siblingPath: string[];
+        }>, AvmPublicDataReadTreeHint, {
+            leafPreimage: {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            };
+            leafIndex: string;
+            siblingPath: string[];
+        }>;
+        updatePreimage: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        exists: boolean;
+        address: AztecAddress;
+        salt: Fr;
+        deployer: AztecAddress;
+        currentContractClassId: Fr;
+        originalContractClassId: Fr;
+        initializationHash: Fr;
+        publicKeys: PublicKeys;
+        updateMembershipHint: AvmPublicDataReadTreeHint;
+        updatePreimage: Fr[];
+    }, {
+        exists: boolean;
+        salt: string;
+        currentContractClassId: string;
+        originalContractClassId: string;
+        initializationHash: string;
+        publicKeys: {
+            masterNullifierPublicKey: string;
+            masterIncomingViewingPublicKey: string;
+            masterOutgoingViewingPublicKey: string;
+            masterTaggingPublicKey: string;
+        };
+        updateMembershipHint: {
+            leafPreimage: {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            };
+            leafIndex: string;
+            siblingPath: string[];
+        };
+        updatePreimage: string[];
+        address?: any;
+        deployer?: any;
+    }>, AvmContractInstanceHint, {
+        exists: boolean;
+        salt: string;
+        currentContractClassId: string;
+        originalContractClassId: string;
+        initializationHash: string;
+        publicKeys: {
+            masterNullifierPublicKey: string;
+            masterIncomingViewingPublicKey: string;
+            masterOutgoingViewingPublicKey: string;
+            masterTaggingPublicKey: string;
+        };
+        updateMembershipHint: {
+            leafPreimage: {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            };
+            leafIndex: string;
+            siblingPath: string[];
+        };
+        updatePreimage: string[];
+        address?: any;
+        deployer?: any;
+    }>;
+}
+export declare class AvmAppendTreeHint {
+    readonly leafIndex: Fr;
+    readonly value: Fr;
+    readonly siblingPath: Fr[];
+    constructor(leafIndex: Fr, value: Fr, siblingPath: Fr[]);
+    static get schema(): z.ZodEffects<z.ZodObject<{
+        leafIndex: z.ZodType<Fr, any, string>;
+        value: z.ZodType<Fr, any, string>;
+        siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        value: Fr;
+        leafIndex: Fr;
+        siblingPath: Fr[];
+    }, {
+        value: string;
+        leafIndex: string;
+        siblingPath: string[];
+    }>, AvmAppendTreeHint, {
+        value: string;
+        leafIndex: string;
+        siblingPath: string[];
+    }>;
+}
+export declare class AvmNullifierWriteTreeHint {
+    lowLeafRead: AvmNullifierReadTreeHint;
+    readonly insertionPath: Fr[];
+    constructor(lowLeafRead: AvmNullifierReadTreeHint, insertionPath: Fr[]);
+    static get schema(): z.ZodEffects<z.ZodObject<{
+        lowLeafRead: z.ZodEffects<z.ZodObject<{
+            lowLeafPreimage: z.ZodEffects<z.ZodObject<{
+                nullifier: z.ZodType<Fr, any, string>;
+                nextNullifier: z.ZodType<Fr, any, string>;
+                nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+            }, "strip", z.ZodTypeAny, {
+                nullifier: Fr;
+                nextNullifier: Fr;
+                nextIndex: bigint;
+            }, {
+                nullifier: string;
+                nextNullifier: string;
+                nextIndex: string | number | bigint;
+            }>, NullifierLeafPreimage, {
+                nullifier: string;
+                nextNullifier: string;
+                nextIndex: string | number | bigint;
+            }>;
+            lowLeafIndex: z.ZodType<Fr, any, string>;
+            lowLeafSiblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            lowLeafPreimage: NullifierLeafPreimage;
+            lowLeafIndex: Fr;
+            lowLeafSiblingPath: Fr[];
+        }, {
+            lowLeafPreimage: {
+                nullifier: string;
+                nextNullifier: string;
+                nextIndex: string | number | bigint;
+            };
+            lowLeafIndex: string;
+            lowLeafSiblingPath: string[];
+        }>, AvmNullifierReadTreeHint, {
+            lowLeafPreimage: {
+                nullifier: string;
+                nextNullifier: string;
+                nextIndex: string | number | bigint;
+            };
+            lowLeafIndex: string;
+            lowLeafSiblingPath: string[];
+        }>;
+        insertionPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        lowLeafRead: AvmNullifierReadTreeHint;
+        insertionPath: Fr[];
+    }, {
+        lowLeafRead: {
+            lowLeafPreimage: {
+                nullifier: string;
+                nextNullifier: string;
+                nextIndex: string | number | bigint;
+            };
+            lowLeafIndex: string;
+            lowLeafSiblingPath: string[];
+        };
+        insertionPath: string[];
+    }>, AvmNullifierWriteTreeHint, {
+        lowLeafRead: {
+            lowLeafPreimage: {
+                nullifier: string;
+                nextNullifier: string;
+                nextIndex: string | number | bigint;
+            };
+            lowLeafIndex: string;
+            lowLeafSiblingPath: string[];
+        };
+        insertionPath: string[];
+    }>;
+}
+export declare class AvmNullifierReadTreeHint {
+    readonly lowLeafPreimage: NullifierLeafPreimage;
+    readonly lowLeafIndex: Fr;
+    readonly lowLeafSiblingPath: Fr[];
+    constructor(lowLeafPreimage: NullifierLeafPreimage, lowLeafIndex: Fr, lowLeafSiblingPath: Fr[]);
+    static get schema(): z.ZodEffects<z.ZodObject<{
+        lowLeafPreimage: z.ZodEffects<z.ZodObject<{
+            nullifier: z.ZodType<Fr, any, string>;
+            nextNullifier: z.ZodType<Fr, any, string>;
+            nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+        }, "strip", z.ZodTypeAny, {
+            nullifier: Fr;
+            nextNullifier: Fr;
+            nextIndex: bigint;
+        }, {
+            nullifier: string;
+            nextNullifier: string;
+            nextIndex: string | number | bigint;
+        }>, NullifierLeafPreimage, {
+            nullifier: string;
+            nextNullifier: string;
+            nextIndex: string | number | bigint;
+        }>;
+        lowLeafIndex: z.ZodType<Fr, any, string>;
+        lowLeafSiblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        lowLeafPreimage: NullifierLeafPreimage;
+        lowLeafIndex: Fr;
+        lowLeafSiblingPath: Fr[];
+    }, {
+        lowLeafPreimage: {
+            nullifier: string;
+            nextNullifier: string;
+            nextIndex: string | number | bigint;
+        };
+        lowLeafIndex: string;
+        lowLeafSiblingPath: string[];
+    }>, AvmNullifierReadTreeHint, {
+        lowLeafPreimage: {
+            nullifier: string;
+            nextNullifier: string;
+            nextIndex: string | number | bigint;
+        };
+        lowLeafIndex: string;
+        lowLeafSiblingPath: string[];
+    }>;
+}
+export declare class AvmPublicDataReadTreeHint {
+    readonly leafPreimage: PublicDataTreeLeafPreimage;
+    readonly leafIndex: Fr;
+    readonly siblingPath: Fr[];
+    constructor(leafPreimage: PublicDataTreeLeafPreimage, leafIndex: Fr, siblingPath: Fr[]);
+    static empty(): AvmPublicDataReadTreeHint;
+    static get schema(): z.ZodEffects<z.ZodObject<{
+        leafPreimage: z.ZodEffects<z.ZodObject<{
+            slot: z.ZodType<Fr, any, string>;
+            value: z.ZodType<Fr, any, string>;
+            nextSlot: z.ZodType<Fr, any, string>;
+            nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+        }, "strip", z.ZodTypeAny, {
+            value: Fr;
+            slot: Fr;
+            nextIndex: bigint;
+            nextSlot: Fr;
+        }, {
+            value: string;
+            slot: string;
+            nextIndex: string | number | bigint;
+            nextSlot: string;
+        }>, PublicDataTreeLeafPreimage, {
+            value: string;
+            slot: string;
+            nextIndex: string | number | bigint;
+            nextSlot: string;
+        }>;
+        leafIndex: z.ZodType<Fr, any, string>;
+        siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        leafPreimage: PublicDataTreeLeafPreimage;
+        leafIndex: Fr;
+        siblingPath: Fr[];
+    }, {
+        leafPreimage: {
+            value: string;
+            slot: string;
+            nextIndex: string | number | bigint;
+            nextSlot: string;
+        };
+        leafIndex: string;
+        siblingPath: string[];
+    }>, AvmPublicDataReadTreeHint, {
+        leafPreimage: {
+            value: string;
+            slot: string;
+            nextIndex: string | number | bigint;
+            nextSlot: string;
+        };
+        leafIndex: string;
+        siblingPath: string[];
+    }>;
+}
+export declare class AvmPublicDataWriteTreeHint {
+    readonly lowLeafRead: AvmPublicDataReadTreeHint;
+    readonly newLeafPreimage: PublicDataTreeLeafPreimage;
+    readonly insertionPath: Fr[];
+    constructor(lowLeafRead: AvmPublicDataReadTreeHint, newLeafPreimage: PublicDataTreeLeafPreimage, insertionPath: Fr[]);
+    static get schema(): z.ZodEffects<z.ZodObject<{
+        lowLeafRead: z.ZodEffects<z.ZodObject<{
+            leafPreimage: z.ZodEffects<z.ZodObject<{
+                slot: z.ZodType<Fr, any, string>;
+                value: z.ZodType<Fr, any, string>;
+                nextSlot: z.ZodType<Fr, any, string>;
+                nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+            }, "strip", z.ZodTypeAny, {
+                value: Fr;
+                slot: Fr;
+                nextIndex: bigint;
+                nextSlot: Fr;
+            }, {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            }>, PublicDataTreeLeafPreimage, {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            }>;
+            leafIndex: z.ZodType<Fr, any, string>;
+            siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            leafPreimage: PublicDataTreeLeafPreimage;
+            leafIndex: Fr;
+            siblingPath: Fr[];
+        }, {
+            leafPreimage: {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            };
+            leafIndex: string;
+            siblingPath: string[];
+        }>, AvmPublicDataReadTreeHint, {
+            leafPreimage: {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            };
+            leafIndex: string;
+            siblingPath: string[];
+        }>;
+        newLeafPreimage: z.ZodEffects<z.ZodObject<{
+            slot: z.ZodType<Fr, any, string>;
+            value: z.ZodType<Fr, any, string>;
+            nextSlot: z.ZodType<Fr, any, string>;
+            nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+        }, "strip", z.ZodTypeAny, {
+            value: Fr;
+            slot: Fr;
+            nextIndex: bigint;
+            nextSlot: Fr;
+        }, {
+            value: string;
+            slot: string;
+            nextIndex: string | number | bigint;
+            nextSlot: string;
+        }>, PublicDataTreeLeafPreimage, {
+            value: string;
+            slot: string;
+            nextIndex: string | number | bigint;
+            nextSlot: string;
+        }>;
+        insertionPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        lowLeafRead: AvmPublicDataReadTreeHint;
+        insertionPath: Fr[];
+        newLeafPreimage: PublicDataTreeLeafPreimage;
+    }, {
+        lowLeafRead: {
+            leafPreimage: {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            };
+            leafIndex: string;
+            siblingPath: string[];
+        };
+        insertionPath: string[];
+        newLeafPreimage: {
+            value: string;
+            slot: string;
+            nextIndex: string | number | bigint;
+            nextSlot: string;
+        };
+    }>, AvmPublicDataWriteTreeHint, {
+        lowLeafRead: {
+            leafPreimage: {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            };
+            leafIndex: string;
+            siblingPath: string[];
+        };
+        insertionPath: string[];
+        newLeafPreimage: {
+            value: string;
+            slot: string;
+            nextIndex: string | number | bigint;
+            nextSlot: string;
+        };
+    }>;
+}
+export declare class AvmExecutionHints {
+    readonly enqueuedCalls: AvmEnqueuedCallHint[];
+    readonly contractInstances: AvmContractInstanceHint[];
+    readonly contractClasses: AvmContractClassHint[];
+    readonly publicDataReads: AvmPublicDataReadTreeHint[];
+    readonly publicDataWrites: AvmPublicDataWriteTreeHint[];
+    readonly nullifierReads: AvmNullifierReadTreeHint[];
+    readonly nullifierWrites: AvmNullifierWriteTreeHint[];
+    readonly noteHashReads: AvmAppendTreeHint[];
+    readonly noteHashWrites: AvmAppendTreeHint[];
+    readonly l1ToL2MessageReads: AvmAppendTreeHint[];
+    constructor(enqueuedCalls: AvmEnqueuedCallHint[], contractInstances: AvmContractInstanceHint[], contractClasses: AvmContractClassHint[], publicDataReads: AvmPublicDataReadTreeHint[], publicDataWrites: AvmPublicDataWriteTreeHint[], nullifierReads: AvmNullifierReadTreeHint[], nullifierWrites: AvmNullifierWriteTreeHint[], noteHashReads: AvmAppendTreeHint[], noteHashWrites: AvmAppendTreeHint[], l1ToL2MessageReads: AvmAppendTreeHint[]);
+    static empty(): AvmExecutionHints;
+    static get schema(): z.ZodEffects<z.ZodObject<{
+        enqueuedCalls: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+            calldata: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            contractAddress: AztecAddress;
+            calldata: Fr[];
+        }, {
+            calldata: string[];
+            contractAddress?: any;
+        }>, AvmEnqueuedCallHint, {
+            calldata: string[];
+            contractAddress?: any;
+        }>, "many">;
+        contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            address: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+            exists: z.ZodBoolean;
+            salt: z.ZodType<Fr, any, string>;
+            deployer: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+            currentContractClassId: z.ZodType<Fr, any, string>;
+            originalContractClassId: z.ZodType<Fr, any, string>;
+            initializationHash: z.ZodType<Fr, any, string>;
+            publicKeys: z.ZodEffects<z.ZodObject<{
+                masterNullifierPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
+                masterIncomingViewingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
+                masterOutgoingViewingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
+                masterTaggingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
+            }, "strip", z.ZodTypeAny, {
+                masterNullifierPublicKey: import("@aztec/foundation/fields").Point;
+                masterIncomingViewingPublicKey: import("@aztec/foundation/fields").Point;
+                masterOutgoingViewingPublicKey: import("@aztec/foundation/fields").Point;
+                masterTaggingPublicKey: import("@aztec/foundation/fields").Point;
+            }, {
+                masterNullifierPublicKey: string;
+                masterIncomingViewingPublicKey: string;
+                masterOutgoingViewingPublicKey: string;
+                masterTaggingPublicKey: string;
+            }>, PublicKeys, {
+                masterNullifierPublicKey: string;
+                masterIncomingViewingPublicKey: string;
+                masterOutgoingViewingPublicKey: string;
+                masterTaggingPublicKey: string;
+            }>;
+            updateMembershipHint: z.ZodEffects<z.ZodObject<{
+                leafPreimage: z.ZodEffects<z.ZodObject<{
+                    slot: z.ZodType<Fr, any, string>;
+                    value: z.ZodType<Fr, any, string>;
+                    nextSlot: z.ZodType<Fr, any, string>;
+                    nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                }, "strip", z.ZodTypeAny, {
+                    value: Fr;
+                    slot: Fr;
+                    nextIndex: bigint;
+                    nextSlot: Fr;
+                }, {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                }>, PublicDataTreeLeafPreimage, {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                }>;
+                leafIndex: z.ZodType<Fr, any, string>;
+                siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                leafPreimage: PublicDataTreeLeafPreimage;
+                leafIndex: Fr;
+                siblingPath: Fr[];
+            }, {
+                leafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+                leafIndex: string;
+                siblingPath: string[];
+            }>, AvmPublicDataReadTreeHint, {
+                leafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+                leafIndex: string;
+                siblingPath: string[];
+            }>;
+            updatePreimage: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            exists: boolean;
+            address: AztecAddress;
+            salt: Fr;
+            deployer: AztecAddress;
+            currentContractClassId: Fr;
+            originalContractClassId: Fr;
+            initializationHash: Fr;
+            publicKeys: PublicKeys;
+            updateMembershipHint: AvmPublicDataReadTreeHint;
+            updatePreimage: Fr[];
+        }, {
+            exists: boolean;
+            salt: string;
+            currentContractClassId: string;
+            originalContractClassId: string;
+            initializationHash: string;
+            publicKeys: {
+                masterNullifierPublicKey: string;
+                masterIncomingViewingPublicKey: string;
+                masterOutgoingViewingPublicKey: string;
+                masterTaggingPublicKey: string;
+            };
+            updateMembershipHint: {
+                leafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+                leafIndex: string;
+                siblingPath: string[];
+            };
+            updatePreimage: string[];
+            address?: any;
+            deployer?: any;
+        }>, AvmContractInstanceHint, {
+            exists: boolean;
+            salt: string;
+            currentContractClassId: string;
+            originalContractClassId: string;
+            initializationHash: string;
+            publicKeys: {
+                masterNullifierPublicKey: string;
+                masterIncomingViewingPublicKey: string;
+                masterOutgoingViewingPublicKey: string;
+                masterTaggingPublicKey: string;
+            };
+            updateMembershipHint: {
+                leafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+                leafIndex: string;
+                siblingPath: string[];
+            };
+            updatePreimage: string[];
+            address?: any;
+            deployer?: any;
+        }>, "many">;
+        contractClasses: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            classId: z.ZodType<Fr, any, string>;
+            exists: z.ZodBoolean;
+            artifactHash: z.ZodType<Fr, any, string>;
+            privateFunctionsRoot: z.ZodType<Fr, any, string>;
+            publicBytecodeCommitment: z.ZodType<Fr, any, string>;
+            packedBytecode: z.ZodUnion<[z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, Buffer, string>, z.ZodEffects<z.ZodObject<{
+                type: z.ZodLiteral<"Buffer">;
+                data: z.ZodArray<z.ZodNumber, "many">;
+            }, "strip", z.ZodTypeAny, {
+                type: "Buffer";
+                data: number[];
+            }, {
+                type: "Buffer";
+                data: number[];
+            }>, Buffer, {
+                type: "Buffer";
+                data: number[];
+            }>]>;
+        }, "strip", z.ZodTypeAny, {
+            classId: Fr;
+            exists: boolean;
+            artifactHash: Fr;
+            privateFunctionsRoot: Fr;
+            publicBytecodeCommitment: Fr;
+            packedBytecode: Buffer;
+        }, {
+            classId: string;
+            exists: boolean;
+            artifactHash: string;
+            privateFunctionsRoot: string;
+            publicBytecodeCommitment: string;
+            packedBytecode: string | {
+                type: "Buffer";
+                data: number[];
+            };
+        }>, AvmContractClassHint, {
+            classId: string;
+            exists: boolean;
+            artifactHash: string;
+            privateFunctionsRoot: string;
+            publicBytecodeCommitment: string;
+            packedBytecode: string | {
+                type: "Buffer";
+                data: number[];
+            };
+        }>, "many">;
+        publicDataReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            leafPreimage: z.ZodEffects<z.ZodObject<{
+                slot: z.ZodType<Fr, any, string>;
+                value: z.ZodType<Fr, any, string>;
+                nextSlot: z.ZodType<Fr, any, string>;
+                nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+            }, "strip", z.ZodTypeAny, {
+                value: Fr;
+                slot: Fr;
+                nextIndex: bigint;
+                nextSlot: Fr;
+            }, {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            }>, PublicDataTreeLeafPreimage, {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            }>;
+            leafIndex: z.ZodType<Fr, any, string>;
+            siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            leafPreimage: PublicDataTreeLeafPreimage;
+            leafIndex: Fr;
+            siblingPath: Fr[];
+        }, {
+            leafPreimage: {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            };
+            leafIndex: string;
+            siblingPath: string[];
+        }>, AvmPublicDataReadTreeHint, {
+            leafPreimage: {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            };
+            leafIndex: string;
+            siblingPath: string[];
+        }>, "many">;
+        publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            lowLeafRead: z.ZodEffects<z.ZodObject<{
+                leafPreimage: z.ZodEffects<z.ZodObject<{
+                    slot: z.ZodType<Fr, any, string>;
+                    value: z.ZodType<Fr, any, string>;
+                    nextSlot: z.ZodType<Fr, any, string>;
+                    nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                }, "strip", z.ZodTypeAny, {
+                    value: Fr;
+                    slot: Fr;
+                    nextIndex: bigint;
+                    nextSlot: Fr;
+                }, {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                }>, PublicDataTreeLeafPreimage, {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                }>;
+                leafIndex: z.ZodType<Fr, any, string>;
+                siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                leafPreimage: PublicDataTreeLeafPreimage;
+                leafIndex: Fr;
+                siblingPath: Fr[];
+            }, {
+                leafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+                leafIndex: string;
+                siblingPath: string[];
+            }>, AvmPublicDataReadTreeHint, {
+                leafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+                leafIndex: string;
+                siblingPath: string[];
+            }>;
+            newLeafPreimage: z.ZodEffects<z.ZodObject<{
+                slot: z.ZodType<Fr, any, string>;
+                value: z.ZodType<Fr, any, string>;
+                nextSlot: z.ZodType<Fr, any, string>;
+                nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+            }, "strip", z.ZodTypeAny, {
+                value: Fr;
+                slot: Fr;
+                nextIndex: bigint;
+                nextSlot: Fr;
+            }, {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            }>, PublicDataTreeLeafPreimage, {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            }>;
+            insertionPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            lowLeafRead: AvmPublicDataReadTreeHint;
+            insertionPath: Fr[];
+            newLeafPreimage: PublicDataTreeLeafPreimage;
+        }, {
+            lowLeafRead: {
+                leafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+                leafIndex: string;
+                siblingPath: string[];
+            };
+            insertionPath: string[];
+            newLeafPreimage: {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            };
+        }>, AvmPublicDataWriteTreeHint, {
+            lowLeafRead: {
+                leafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+                leafIndex: string;
+                siblingPath: string[];
+            };
+            insertionPath: string[];
+            newLeafPreimage: {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            };
+        }>, "many">;
+        nullifierReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            lowLeafPreimage: z.ZodEffects<z.ZodObject<{
+                nullifier: z.ZodType<Fr, any, string>;
+                nextNullifier: z.ZodType<Fr, any, string>;
+                nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+            }, "strip", z.ZodTypeAny, {
+                nullifier: Fr;
+                nextNullifier: Fr;
+                nextIndex: bigint;
+            }, {
+                nullifier: string;
+                nextNullifier: string;
+                nextIndex: string | number | bigint;
+            }>, NullifierLeafPreimage, {
+                nullifier: string;
+                nextNullifier: string;
+                nextIndex: string | number | bigint;
+            }>;
+            lowLeafIndex: z.ZodType<Fr, any, string>;
+            lowLeafSiblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            lowLeafPreimage: NullifierLeafPreimage;
+            lowLeafIndex: Fr;
+            lowLeafSiblingPath: Fr[];
+        }, {
+            lowLeafPreimage: {
+                nullifier: string;
+                nextNullifier: string;
+                nextIndex: string | number | bigint;
+            };
+            lowLeafIndex: string;
+            lowLeafSiblingPath: string[];
+        }>, AvmNullifierReadTreeHint, {
+            lowLeafPreimage: {
+                nullifier: string;
+                nextNullifier: string;
+                nextIndex: string | number | bigint;
+            };
+            lowLeafIndex: string;
+            lowLeafSiblingPath: string[];
+        }>, "many">;
+        nullifierWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            lowLeafRead: z.ZodEffects<z.ZodObject<{
+                lowLeafPreimage: z.ZodEffects<z.ZodObject<{
+                    nullifier: z.ZodType<Fr, any, string>;
+                    nextNullifier: z.ZodType<Fr, any, string>;
+                    nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                }, "strip", z.ZodTypeAny, {
+                    nullifier: Fr;
+                    nextNullifier: Fr;
+                    nextIndex: bigint;
+                }, {
+                    nullifier: string;
+                    nextNullifier: string;
+                    nextIndex: string | number | bigint;
+                }>, NullifierLeafPreimage, {
+                    nullifier: string;
+                    nextNullifier: string;
+                    nextIndex: string | number | bigint;
+                }>;
+                lowLeafIndex: z.ZodType<Fr, any, string>;
+                lowLeafSiblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                lowLeafPreimage: NullifierLeafPreimage;
+                lowLeafIndex: Fr;
+                lowLeafSiblingPath: Fr[];
+            }, {
+                lowLeafPreimage: {
+                    nullifier: string;
+                    nextNullifier: string;
+                    nextIndex: string | number | bigint;
+                };
+                lowLeafIndex: string;
+                lowLeafSiblingPath: string[];
+            }>, AvmNullifierReadTreeHint, {
+                lowLeafPreimage: {
+                    nullifier: string;
+                    nextNullifier: string;
+                    nextIndex: string | number | bigint;
+                };
+                lowLeafIndex: string;
+                lowLeafSiblingPath: string[];
+            }>;
+            insertionPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            lowLeafRead: AvmNullifierReadTreeHint;
+            insertionPath: Fr[];
+        }, {
+            lowLeafRead: {
+                lowLeafPreimage: {
+                    nullifier: string;
+                    nextNullifier: string;
+                    nextIndex: string | number | bigint;
+                };
+                lowLeafIndex: string;
+                lowLeafSiblingPath: string[];
+            };
+            insertionPath: string[];
+        }>, AvmNullifierWriteTreeHint, {
+            lowLeafRead: {
+                lowLeafPreimage: {
+                    nullifier: string;
+                    nextNullifier: string;
+                    nextIndex: string | number | bigint;
+                };
+                lowLeafIndex: string;
+                lowLeafSiblingPath: string[];
+            };
+            insertionPath: string[];
+        }>, "many">;
+        noteHashReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            leafIndex: z.ZodType<Fr, any, string>;
+            value: z.ZodType<Fr, any, string>;
+            siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            value: Fr;
+            leafIndex: Fr;
+            siblingPath: Fr[];
+        }, {
+            value: string;
+            leafIndex: string;
+            siblingPath: string[];
+        }>, AvmAppendTreeHint, {
+            value: string;
+            leafIndex: string;
+            siblingPath: string[];
+        }>, "many">;
+        noteHashWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            leafIndex: z.ZodType<Fr, any, string>;
+            value: z.ZodType<Fr, any, string>;
+            siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            value: Fr;
+            leafIndex: Fr;
+            siblingPath: Fr[];
+        }, {
+            value: string;
+            leafIndex: string;
+            siblingPath: string[];
+        }>, AvmAppendTreeHint, {
+            value: string;
+            leafIndex: string;
+            siblingPath: string[];
+        }>, "many">;
+        l1ToL2MessageReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            leafIndex: z.ZodType<Fr, any, string>;
+            value: z.ZodType<Fr, any, string>;
+            siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            value: Fr;
+            leafIndex: Fr;
+            siblingPath: Fr[];
+        }, {
+            value: string;
+            leafIndex: string;
+            siblingPath: string[];
+        }>, AvmAppendTreeHint, {
+            value: string;
+            leafIndex: string;
+            siblingPath: string[];
+        }>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        publicDataWrites: AvmPublicDataWriteTreeHint[];
+        enqueuedCalls: AvmEnqueuedCallHint[];
+        contractInstances: AvmContractInstanceHint[];
+        contractClasses: AvmContractClassHint[];
+        publicDataReads: AvmPublicDataReadTreeHint[];
+        nullifierReads: AvmNullifierReadTreeHint[];
+        nullifierWrites: AvmNullifierWriteTreeHint[];
+        noteHashReads: AvmAppendTreeHint[];
+        noteHashWrites: AvmAppendTreeHint[];
+        l1ToL2MessageReads: AvmAppendTreeHint[];
+    }, {
+        publicDataWrites: {
+            lowLeafRead: {
+                leafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+                leafIndex: string;
+                siblingPath: string[];
+            };
+            insertionPath: string[];
+            newLeafPreimage: {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            };
+        }[];
+        enqueuedCalls: {
+            calldata: string[];
+            contractAddress?: any;
+        }[];
+        contractInstances: {
+            exists: boolean;
+            salt: string;
+            currentContractClassId: string;
+            originalContractClassId: string;
+            initializationHash: string;
+            publicKeys: {
+                masterNullifierPublicKey: string;
+                masterIncomingViewingPublicKey: string;
+                masterOutgoingViewingPublicKey: string;
+                masterTaggingPublicKey: string;
+            };
+            updateMembershipHint: {
+                leafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+                leafIndex: string;
+                siblingPath: string[];
+            };
+            updatePreimage: string[];
+            address?: any;
+            deployer?: any;
+        }[];
+        contractClasses: {
+            classId: string;
+            exists: boolean;
+            artifactHash: string;
+            privateFunctionsRoot: string;
+            publicBytecodeCommitment: string;
+            packedBytecode: string | {
+                type: "Buffer";
+                data: number[];
+            };
+        }[];
+        publicDataReads: {
+            leafPreimage: {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            };
+            leafIndex: string;
+            siblingPath: string[];
+        }[];
+        nullifierReads: {
+            lowLeafPreimage: {
+                nullifier: string;
+                nextNullifier: string;
+                nextIndex: string | number | bigint;
+            };
+            lowLeafIndex: string;
+            lowLeafSiblingPath: string[];
+        }[];
+        nullifierWrites: {
+            lowLeafRead: {
+                lowLeafPreimage: {
+                    nullifier: string;
+                    nextNullifier: string;
+                    nextIndex: string | number | bigint;
+                };
+                lowLeafIndex: string;
+                lowLeafSiblingPath: string[];
+            };
+            insertionPath: string[];
+        }[];
+        noteHashReads: {
+            value: string;
+            leafIndex: string;
+            siblingPath: string[];
+        }[];
+        noteHashWrites: {
+            value: string;
+            leafIndex: string;
+            siblingPath: string[];
+        }[];
+        l1ToL2MessageReads: {
+            value: string;
+            leafIndex: string;
+            siblingPath: string[];
+        }[];
+    }>, AvmExecutionHints, {
+        publicDataWrites: {
+            lowLeafRead: {
+                leafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+                leafIndex: string;
+                siblingPath: string[];
+            };
+            insertionPath: string[];
+            newLeafPreimage: {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            };
+        }[];
+        enqueuedCalls: {
+            calldata: string[];
+            contractAddress?: any;
+        }[];
+        contractInstances: {
+            exists: boolean;
+            salt: string;
+            currentContractClassId: string;
+            originalContractClassId: string;
+            initializationHash: string;
+            publicKeys: {
+                masterNullifierPublicKey: string;
+                masterIncomingViewingPublicKey: string;
+                masterOutgoingViewingPublicKey: string;
+                masterTaggingPublicKey: string;
+            };
+            updateMembershipHint: {
+                leafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+                leafIndex: string;
+                siblingPath: string[];
+            };
+            updatePreimage: string[];
+            address?: any;
+            deployer?: any;
+        }[];
+        contractClasses: {
+            classId: string;
+            exists: boolean;
+            artifactHash: string;
+            privateFunctionsRoot: string;
+            publicBytecodeCommitment: string;
+            packedBytecode: string | {
+                type: "Buffer";
+                data: number[];
+            };
+        }[];
+        publicDataReads: {
+            leafPreimage: {
+                value: string;
+                slot: string;
+                nextIndex: string | number | bigint;
+                nextSlot: string;
+            };
+            leafIndex: string;
+            siblingPath: string[];
+        }[];
+        nullifierReads: {
+            lowLeafPreimage: {
+                nullifier: string;
+                nextNullifier: string;
+                nextIndex: string | number | bigint;
+            };
+            lowLeafIndex: string;
+            lowLeafSiblingPath: string[];
+        }[];
+        nullifierWrites: {
+            lowLeafRead: {
+                lowLeafPreimage: {
+                    nullifier: string;
+                    nextNullifier: string;
+                    nextIndex: string | number | bigint;
+                };
+                lowLeafIndex: string;
+                lowLeafSiblingPath: string[];
+            };
+            insertionPath: string[];
+        }[];
+        noteHashReads: {
+            value: string;
+            leafIndex: string;
+            siblingPath: string[];
+        }[];
+        noteHashWrites: {
+            value: string;
+            leafIndex: string;
+            siblingPath: string[];
+        }[];
+        l1ToL2MessageReads: {
+            value: string;
+            leafIndex: string;
+            siblingPath: string[];
+        }[];
+    }>;
+}
+export declare class AvmCircuitInputs {
+    readonly functionName: string;
+    readonly calldata: Fr[];
+    readonly hints: AvmExecutionHints;
+    publicInputs: AvmCircuitPublicInputs;
+    constructor(functionName: string, // only informational
+    calldata: Fr[], hints: AvmExecutionHints, publicInputs: AvmCircuitPublicInputs);
+    static empty(): AvmCircuitInputs;
+    static get schema(): z.ZodEffects<z.ZodObject<{
+        functionName: z.ZodString;
+        calldata: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        hints: z.ZodEffects<z.ZodObject<{
+            enqueuedCalls: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                calldata: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                contractAddress: AztecAddress;
+                calldata: Fr[];
+            }, {
+                calldata: string[];
+                contractAddress?: any;
+            }>, AvmEnqueuedCallHint, {
+                calldata: string[];
+                contractAddress?: any;
+            }>, "many">;
+            contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                address: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                exists: z.ZodBoolean;
+                salt: z.ZodType<Fr, any, string>;
+                deployer: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                currentContractClassId: z.ZodType<Fr, any, string>;
+                originalContractClassId: z.ZodType<Fr, any, string>;
+                initializationHash: z.ZodType<Fr, any, string>;
+                publicKeys: z.ZodEffects<z.ZodObject<{
+                    masterNullifierPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
+                    masterIncomingViewingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
+                    masterOutgoingViewingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
+                    masterTaggingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    masterNullifierPublicKey: import("@aztec/foundation/fields").Point;
+                    masterIncomingViewingPublicKey: import("@aztec/foundation/fields").Point;
+                    masterOutgoingViewingPublicKey: import("@aztec/foundation/fields").Point;
+                    masterTaggingPublicKey: import("@aztec/foundation/fields").Point;
+                }, {
+                    masterNullifierPublicKey: string;
+                    masterIncomingViewingPublicKey: string;
+                    masterOutgoingViewingPublicKey: string;
+                    masterTaggingPublicKey: string;
+                }>, PublicKeys, {
+                    masterNullifierPublicKey: string;
+                    masterIncomingViewingPublicKey: string;
+                    masterOutgoingViewingPublicKey: string;
+                    masterTaggingPublicKey: string;
+                }>;
+                updateMembershipHint: z.ZodEffects<z.ZodObject<{
+                    leafPreimage: z.ZodEffects<z.ZodObject<{
+                        slot: z.ZodType<Fr, any, string>;
+                        value: z.ZodType<Fr, any, string>;
+                        nextSlot: z.ZodType<Fr, any, string>;
+                        nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                    }, "strip", z.ZodTypeAny, {
+                        value: Fr;
+                        slot: Fr;
+                        nextIndex: bigint;
+                        nextSlot: Fr;
+                    }, {
+                        value: string;
+                        slot: string;
+                        nextIndex: string | number | bigint;
+                        nextSlot: string;
+                    }>, PublicDataTreeLeafPreimage, {
+                        value: string;
+                        slot: string;
+                        nextIndex: string | number | bigint;
+                        nextSlot: string;
+                    }>;
+                    leafIndex: z.ZodType<Fr, any, string>;
+                    siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                }, "strip", z.ZodTypeAny, {
+                    leafPreimage: PublicDataTreeLeafPreimage;
+                    leafIndex: Fr;
+                    siblingPath: Fr[];
+                }, {
+                    leafPreimage: {
+                        value: string;
+                        slot: string;
+                        nextIndex: string | number | bigint;
+                        nextSlot: string;
+                    };
+                    leafIndex: string;
+                    siblingPath: string[];
+                }>, AvmPublicDataReadTreeHint, {
+                    leafPreimage: {
+                        value: string;
+                        slot: string;
+                        nextIndex: string | number | bigint;
+                        nextSlot: string;
+                    };
+                    leafIndex: string;
+                    siblingPath: string[];
+                }>;
+                updatePreimage: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                exists: boolean;
+                address: AztecAddress;
+                salt: Fr;
+                deployer: AztecAddress;
+                currentContractClassId: Fr;
+                originalContractClassId: Fr;
+                initializationHash: Fr;
+                publicKeys: PublicKeys;
+                updateMembershipHint: AvmPublicDataReadTreeHint;
+                updatePreimage: Fr[];
+            }, {
+                exists: boolean;
+                salt: string;
+                currentContractClassId: string;
+                originalContractClassId: string;
+                initializationHash: string;
+                publicKeys: {
+                    masterNullifierPublicKey: string;
+                    masterIncomingViewingPublicKey: string;
+                    masterOutgoingViewingPublicKey: string;
+                    masterTaggingPublicKey: string;
+                };
+                updateMembershipHint: {
+                    leafPreimage: {
+                        value: string;
+                        slot: string;
+                        nextIndex: string | number | bigint;
+                        nextSlot: string;
+                    };
+                    leafIndex: string;
+                    siblingPath: string[];
+                };
+                updatePreimage: string[];
+                address?: any;
+                deployer?: any;
+            }>, AvmContractInstanceHint, {
+                exists: boolean;
+                salt: string;
+                currentContractClassId: string;
+                originalContractClassId: string;
+                initializationHash: string;
+                publicKeys: {
+                    masterNullifierPublicKey: string;
+                    masterIncomingViewingPublicKey: string;
+                    masterOutgoingViewingPublicKey: string;
+                    masterTaggingPublicKey: string;
+                };
+                updateMembershipHint: {
+                    leafPreimage: {
+                        value: string;
+                        slot: string;
+                        nextIndex: string | number | bigint;
+                        nextSlot: string;
+                    };
+                    leafIndex: string;
+                    siblingPath: string[];
+                };
+                updatePreimage: string[];
+                address?: any;
+                deployer?: any;
+            }>, "many">;
+            contractClasses: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                classId: z.ZodType<Fr, any, string>;
+                exists: z.ZodBoolean;
+                artifactHash: z.ZodType<Fr, any, string>;
+                privateFunctionsRoot: z.ZodType<Fr, any, string>;
+                publicBytecodeCommitment: z.ZodType<Fr, any, string>;
+                packedBytecode: z.ZodUnion<[z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, Buffer, string>, z.ZodEffects<z.ZodObject<{
+                    type: z.ZodLiteral<"Buffer">;
+                    data: z.ZodArray<z.ZodNumber, "many">;
+                }, "strip", z.ZodTypeAny, {
+                    type: "Buffer";
+                    data: number[];
+                }, {
+                    type: "Buffer";
+                    data: number[];
+                }>, Buffer, {
+                    type: "Buffer";
+                    data: number[];
+                }>]>;
+            }, "strip", z.ZodTypeAny, {
+                classId: Fr;
+                exists: boolean;
+                artifactHash: Fr;
+                privateFunctionsRoot: Fr;
+                publicBytecodeCommitment: Fr;
+                packedBytecode: Buffer;
+            }, {
+                classId: string;
+                exists: boolean;
+                artifactHash: string;
+                privateFunctionsRoot: string;
+                publicBytecodeCommitment: string;
+                packedBytecode: string | {
+                    type: "Buffer";
+                    data: number[];
+                };
+            }>, AvmContractClassHint, {
+                classId: string;
+                exists: boolean;
+                artifactHash: string;
+                privateFunctionsRoot: string;
+                publicBytecodeCommitment: string;
+                packedBytecode: string | {
+                    type: "Buffer";
+                    data: number[];
+                };
+            }>, "many">;
+            publicDataReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                leafPreimage: z.ZodEffects<z.ZodObject<{
+                    slot: z.ZodType<Fr, any, string>;
+                    value: z.ZodType<Fr, any, string>;
+                    nextSlot: z.ZodType<Fr, any, string>;
+                    nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                }, "strip", z.ZodTypeAny, {
+                    value: Fr;
+                    slot: Fr;
+                    nextIndex: bigint;
+                    nextSlot: Fr;
+                }, {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                }>, PublicDataTreeLeafPreimage, {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                }>;
+                leafIndex: z.ZodType<Fr, any, string>;
+                siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                leafPreimage: PublicDataTreeLeafPreimage;
+                leafIndex: Fr;
+                siblingPath: Fr[];
+            }, {
+                leafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+                leafIndex: string;
+                siblingPath: string[];
+            }>, AvmPublicDataReadTreeHint, {
+                leafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+                leafIndex: string;
+                siblingPath: string[];
+            }>, "many">;
+            publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                lowLeafRead: z.ZodEffects<z.ZodObject<{
+                    leafPreimage: z.ZodEffects<z.ZodObject<{
+                        slot: z.ZodType<Fr, any, string>;
+                        value: z.ZodType<Fr, any, string>;
+                        nextSlot: z.ZodType<Fr, any, string>;
+                        nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                    }, "strip", z.ZodTypeAny, {
+                        value: Fr;
+                        slot: Fr;
+                        nextIndex: bigint;
+                        nextSlot: Fr;
+                    }, {
+                        value: string;
+                        slot: string;
+                        nextIndex: string | number | bigint;
+                        nextSlot: string;
+                    }>, PublicDataTreeLeafPreimage, {
+                        value: string;
+                        slot: string;
+                        nextIndex: string | number | bigint;
+                        nextSlot: string;
+                    }>;
+                    leafIndex: z.ZodType<Fr, any, string>;
+                    siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                }, "strip", z.ZodTypeAny, {
+                    leafPreimage: PublicDataTreeLeafPreimage;
+                    leafIndex: Fr;
+                    siblingPath: Fr[];
+                }, {
+                    leafPreimage: {
+                        value: string;
+                        slot: string;
+                        nextIndex: string | number | bigint;
+                        nextSlot: string;
+                    };
+                    leafIndex: string;
+                    siblingPath: string[];
+                }>, AvmPublicDataReadTreeHint, {
+                    leafPreimage: {
+                        value: string;
+                        slot: string;
+                        nextIndex: string | number | bigint;
+                        nextSlot: string;
+                    };
+                    leafIndex: string;
+                    siblingPath: string[];
+                }>;
+                newLeafPreimage: z.ZodEffects<z.ZodObject<{
+                    slot: z.ZodType<Fr, any, string>;
+                    value: z.ZodType<Fr, any, string>;
+                    nextSlot: z.ZodType<Fr, any, string>;
+                    nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                }, "strip", z.ZodTypeAny, {
+                    value: Fr;
+                    slot: Fr;
+                    nextIndex: bigint;
+                    nextSlot: Fr;
+                }, {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                }>, PublicDataTreeLeafPreimage, {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                }>;
+                insertionPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                lowLeafRead: AvmPublicDataReadTreeHint;
+                insertionPath: Fr[];
+                newLeafPreimage: PublicDataTreeLeafPreimage;
+            }, {
+                lowLeafRead: {
+                    leafPreimage: {
+                        value: string;
+                        slot: string;
+                        nextIndex: string | number | bigint;
+                        nextSlot: string;
+                    };
+                    leafIndex: string;
+                    siblingPath: string[];
+                };
+                insertionPath: string[];
+                newLeafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+            }>, AvmPublicDataWriteTreeHint, {
+                lowLeafRead: {
+                    leafPreimage: {
+                        value: string;
+                        slot: string;
+                        nextIndex: string | number | bigint;
+                        nextSlot: string;
+                    };
+                    leafIndex: string;
+                    siblingPath: string[];
+                };
+                insertionPath: string[];
+                newLeafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+            }>, "many">;
+            nullifierReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                lowLeafPreimage: z.ZodEffects<z.ZodObject<{
+                    nullifier: z.ZodType<Fr, any, string>;
+                    nextNullifier: z.ZodType<Fr, any, string>;
+                    nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                }, "strip", z.ZodTypeAny, {
+                    nullifier: Fr;
+                    nextNullifier: Fr;
+                    nextIndex: bigint;
+                }, {
+                    nullifier: string;
+                    nextNullifier: string;
+                    nextIndex: string | number | bigint;
+                }>, NullifierLeafPreimage, {
+                    nullifier: string;
+                    nextNullifier: string;
+                    nextIndex: string | number | bigint;
+                }>;
+                lowLeafIndex: z.ZodType<Fr, any, string>;
+                lowLeafSiblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                lowLeafPreimage: NullifierLeafPreimage;
+                lowLeafIndex: Fr;
+                lowLeafSiblingPath: Fr[];
+            }, {
+                lowLeafPreimage: {
+                    nullifier: string;
+                    nextNullifier: string;
+                    nextIndex: string | number | bigint;
+                };
+                lowLeafIndex: string;
+                lowLeafSiblingPath: string[];
+            }>, AvmNullifierReadTreeHint, {
+                lowLeafPreimage: {
+                    nullifier: string;
+                    nextNullifier: string;
+                    nextIndex: string | number | bigint;
+                };
+                lowLeafIndex: string;
+                lowLeafSiblingPath: string[];
+            }>, "many">;
+            nullifierWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                lowLeafRead: z.ZodEffects<z.ZodObject<{
+                    lowLeafPreimage: z.ZodEffects<z.ZodObject<{
+                        nullifier: z.ZodType<Fr, any, string>;
+                        nextNullifier: z.ZodType<Fr, any, string>;
+                        nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                    }, "strip", z.ZodTypeAny, {
+                        nullifier: Fr;
+                        nextNullifier: Fr;
+                        nextIndex: bigint;
+                    }, {
+                        nullifier: string;
+                        nextNullifier: string;
+                        nextIndex: string | number | bigint;
+                    }>, NullifierLeafPreimage, {
+                        nullifier: string;
+                        nextNullifier: string;
+                        nextIndex: string | number | bigint;
+                    }>;
+                    lowLeafIndex: z.ZodType<Fr, any, string>;
+                    lowLeafSiblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                }, "strip", z.ZodTypeAny, {
+                    lowLeafPreimage: NullifierLeafPreimage;
+                    lowLeafIndex: Fr;
+                    lowLeafSiblingPath: Fr[];
+                }, {
+                    lowLeafPreimage: {
+                        nullifier: string;
+                        nextNullifier: string;
+                        nextIndex: string | number | bigint;
+                    };
+                    lowLeafIndex: string;
+                    lowLeafSiblingPath: string[];
+                }>, AvmNullifierReadTreeHint, {
+                    lowLeafPreimage: {
+                        nullifier: string;
+                        nextNullifier: string;
+                        nextIndex: string | number | bigint;
+                    };
+                    lowLeafIndex: string;
+                    lowLeafSiblingPath: string[];
+                }>;
+                insertionPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                lowLeafRead: AvmNullifierReadTreeHint;
+                insertionPath: Fr[];
+            }, {
+                lowLeafRead: {
+                    lowLeafPreimage: {
+                        nullifier: string;
+                        nextNullifier: string;
+                        nextIndex: string | number | bigint;
+                    };
+                    lowLeafIndex: string;
+                    lowLeafSiblingPath: string[];
+                };
+                insertionPath: string[];
+            }>, AvmNullifierWriteTreeHint, {
+                lowLeafRead: {
+                    lowLeafPreimage: {
+                        nullifier: string;
+                        nextNullifier: string;
+                        nextIndex: string | number | bigint;
+                    };
+                    lowLeafIndex: string;
+                    lowLeafSiblingPath: string[];
+                };
+                insertionPath: string[];
+            }>, "many">;
+            noteHashReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                leafIndex: z.ZodType<Fr, any, string>;
+                value: z.ZodType<Fr, any, string>;
+                siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                value: Fr;
+                leafIndex: Fr;
+                siblingPath: Fr[];
+            }, {
+                value: string;
+                leafIndex: string;
+                siblingPath: string[];
+            }>, AvmAppendTreeHint, {
+                value: string;
+                leafIndex: string;
+                siblingPath: string[];
+            }>, "many">;
+            noteHashWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                leafIndex: z.ZodType<Fr, any, string>;
+                value: z.ZodType<Fr, any, string>;
+                siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                value: Fr;
+                leafIndex: Fr;
+                siblingPath: Fr[];
+            }, {
+                value: string;
+                leafIndex: string;
+                siblingPath: string[];
+            }>, AvmAppendTreeHint, {
+                value: string;
+                leafIndex: string;
+                siblingPath: string[];
+            }>, "many">;
+            l1ToL2MessageReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                leafIndex: z.ZodType<Fr, any, string>;
+                value: z.ZodType<Fr, any, string>;
+                siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                value: Fr;
+                leafIndex: Fr;
+                siblingPath: Fr[];
+            }, {
+                value: string;
+                leafIndex: string;
+                siblingPath: string[];
+            }>, AvmAppendTreeHint, {
+                value: string;
+                leafIndex: string;
+                siblingPath: string[];
+            }>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            publicDataWrites: AvmPublicDataWriteTreeHint[];
+            enqueuedCalls: AvmEnqueuedCallHint[];
+            contractInstances: AvmContractInstanceHint[];
+            contractClasses: AvmContractClassHint[];
+            publicDataReads: AvmPublicDataReadTreeHint[];
+            nullifierReads: AvmNullifierReadTreeHint[];
+            nullifierWrites: AvmNullifierWriteTreeHint[];
+            noteHashReads: AvmAppendTreeHint[];
+            noteHashWrites: AvmAppendTreeHint[];
+            l1ToL2MessageReads: AvmAppendTreeHint[];
+        }, {
+            publicDataWrites: {
+                lowLeafRead: {
+                    leafPreimage: {
+                        value: string;
+                        slot: string;
+                        nextIndex: string | number | bigint;
+                        nextSlot: string;
+                    };
+                    leafIndex: string;
+                    siblingPath: string[];
+                };
+                insertionPath: string[];
+                newLeafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+            }[];
+            enqueuedCalls: {
+                calldata: string[];
+                contractAddress?: any;
+            }[];
+            contractInstances: {
+                exists: boolean;
+                salt: string;
+                currentContractClassId: string;
+                originalContractClassId: string;
+                initializationHash: string;
+                publicKeys: {
+                    masterNullifierPublicKey: string;
+                    masterIncomingViewingPublicKey: string;
+                    masterOutgoingViewingPublicKey: string;
+                    masterTaggingPublicKey: string;
+                };
+                updateMembershipHint: {
+                    leafPreimage: {
+                        value: string;
+                        slot: string;
+                        nextIndex: string | number | bigint;
+                        nextSlot: string;
+                    };
+                    leafIndex: string;
+                    siblingPath: string[];
+                };
+                updatePreimage: string[];
+                address?: any;
+                deployer?: any;
+            }[];
+            contractClasses: {
+                classId: string;
+                exists: boolean;
+                artifactHash: string;
+                privateFunctionsRoot: string;
+                publicBytecodeCommitment: string;
+                packedBytecode: string | {
+                    type: "Buffer";
+                    data: number[];
+                };
+            }[];
+            publicDataReads: {
+                leafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+                leafIndex: string;
+                siblingPath: string[];
+            }[];
+            nullifierReads: {
+                lowLeafPreimage: {
+                    nullifier: string;
+                    nextNullifier: string;
+                    nextIndex: string | number | bigint;
+                };
+                lowLeafIndex: string;
+                lowLeafSiblingPath: string[];
+            }[];
+            nullifierWrites: {
+                lowLeafRead: {
+                    lowLeafPreimage: {
+                        nullifier: string;
+                        nextNullifier: string;
+                        nextIndex: string | number | bigint;
+                    };
+                    lowLeafIndex: string;
+                    lowLeafSiblingPath: string[];
+                };
+                insertionPath: string[];
+            }[];
+            noteHashReads: {
+                value: string;
+                leafIndex: string;
+                siblingPath: string[];
+            }[];
+            noteHashWrites: {
+                value: string;
+                leafIndex: string;
+                siblingPath: string[];
+            }[];
+            l1ToL2MessageReads: {
+                value: string;
+                leafIndex: string;
+                siblingPath: string[];
+            }[];
+        }>, AvmExecutionHints, {
+            publicDataWrites: {
+                lowLeafRead: {
+                    leafPreimage: {
+                        value: string;
+                        slot: string;
+                        nextIndex: string | number | bigint;
+                        nextSlot: string;
+                    };
+                    leafIndex: string;
+                    siblingPath: string[];
+                };
+                insertionPath: string[];
+                newLeafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+            }[];
+            enqueuedCalls: {
+                calldata: string[];
+                contractAddress?: any;
+            }[];
+            contractInstances: {
+                exists: boolean;
+                salt: string;
+                currentContractClassId: string;
+                originalContractClassId: string;
+                initializationHash: string;
+                publicKeys: {
+                    masterNullifierPublicKey: string;
+                    masterIncomingViewingPublicKey: string;
+                    masterOutgoingViewingPublicKey: string;
+                    masterTaggingPublicKey: string;
+                };
+                updateMembershipHint: {
+                    leafPreimage: {
+                        value: string;
+                        slot: string;
+                        nextIndex: string | number | bigint;
+                        nextSlot: string;
+                    };
+                    leafIndex: string;
+                    siblingPath: string[];
+                };
+                updatePreimage: string[];
+                address?: any;
+                deployer?: any;
+            }[];
+            contractClasses: {
+                classId: string;
+                exists: boolean;
+                artifactHash: string;
+                privateFunctionsRoot: string;
+                publicBytecodeCommitment: string;
+                packedBytecode: string | {
+                    type: "Buffer";
+                    data: number[];
+                };
+            }[];
+            publicDataReads: {
+                leafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+                leafIndex: string;
+                siblingPath: string[];
+            }[];
+            nullifierReads: {
+                lowLeafPreimage: {
+                    nullifier: string;
+                    nextNullifier: string;
+                    nextIndex: string | number | bigint;
+                };
+                lowLeafIndex: string;
+                lowLeafSiblingPath: string[];
+            }[];
+            nullifierWrites: {
+                lowLeafRead: {
+                    lowLeafPreimage: {
+                        nullifier: string;
+                        nextNullifier: string;
+                        nextIndex: string | number | bigint;
+                    };
+                    lowLeafIndex: string;
+                    lowLeafSiblingPath: string[];
+                };
+                insertionPath: string[];
+            }[];
+            noteHashReads: {
+                value: string;
+                leafIndex: string;
+                siblingPath: string[];
+            }[];
+            noteHashWrites: {
+                value: string;
+                leafIndex: string;
+                siblingPath: string[];
+            }[];
+            l1ToL2MessageReads: {
+                value: string;
+                leafIndex: string;
+                siblingPath: string[];
+            }[];
+        }>;
+        publicInputs: z.ZodEffects<z.ZodObject<{
+            globalVariables: z.ZodEffects<z.ZodObject<{
+                chainId: import("@aztec/foundation/schemas").ZodFor<Fr>;
+                version: import("@aztec/foundation/schemas").ZodFor<Fr>;
+                blockNumber: import("@aztec/foundation/schemas").ZodFor<Fr>;
+                slotNumber: import("@aztec/foundation/schemas").ZodFor<Fr>;
+                timestamp: import("@aztec/foundation/schemas").ZodFor<Fr>;
+                coinbase: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
+                feeRecipient: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                gasFees: z.ZodEffects<z.ZodObject<{
+                    feePerDaGas: z.ZodType<Fr, any, string>;
+                    feePerL2Gas: z.ZodType<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    feePerDaGas: Fr;
+                    feePerL2Gas: Fr;
+                }, {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                }>, import("../gas/gas_fees.js").GasFees, {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                }>;
+            }, "strip", z.ZodTypeAny, {
+                chainId: Fr;
+                version: Fr;
+                blockNumber: Fr;
+                slotNumber: Fr;
+                timestamp: Fr;
+                coinbase: import("@aztec/foundation/schemas").EthAddress;
+                feeRecipient: AztecAddress;
+                gasFees: import("../gas/gas_fees.js").GasFees;
+            }, {
+                gasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+                chainId?: any;
+                version?: any;
+                blockNumber?: any;
+                slotNumber?: any;
+                timestamp?: any;
+                coinbase?: any;
+                feeRecipient?: any;
+            }>, import("../tx/global_variables.js").GlobalVariables, {
+                gasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+                chainId?: any;
+                version?: any;
+                blockNumber?: any;
+                slotNumber?: any;
+                timestamp?: any;
+                coinbase?: any;
+                feeRecipient?: any;
+            }>;
+            startTreeSnapshots: z.ZodEffects<z.ZodObject<{
+                l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
+                    root: z.ZodType<Fr, any, string>;
+                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                }, "strip", z.ZodTypeAny, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>;
+                noteHashTree: z.ZodEffects<z.ZodObject<{
+                    root: z.ZodType<Fr, any, string>;
+                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                }, "strip", z.ZodTypeAny, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>;
+                nullifierTree: z.ZodEffects<z.ZodObject<{
+                    root: z.ZodType<Fr, any, string>;
+                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                }, "strip", z.ZodTypeAny, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>;
+                publicDataTree: z.ZodEffects<z.ZodObject<{
+                    root: z.ZodType<Fr, any, string>;
+                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                }, "strip", z.ZodTypeAny, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>;
+            }, "strip", z.ZodTypeAny, {
+                l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+            }, {
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                noteHashTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                nullifierTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                publicDataTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+            }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                noteHashTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                nullifierTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                publicDataTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+            }>;
+            startGasUsed: z.ZodEffects<z.ZodObject<{
+                daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                daGas: number;
+                l2Gas: number;
+            }, {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            }>, import("../gas/gas.js").Gas, {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            }>;
+            gasSettings: z.ZodEffects<z.ZodObject<{
+                gasLimits: z.ZodEffects<z.ZodObject<{
+                    daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                    l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                }, "strip", z.ZodTypeAny, {
+                    daGas: number;
+                    l2Gas: number;
+                }, {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                }>, import("../gas/gas.js").Gas, {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                }>;
+                teardownGasLimits: z.ZodEffects<z.ZodObject<{
+                    daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                    l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                }, "strip", z.ZodTypeAny, {
+                    daGas: number;
+                    l2Gas: number;
+                }, {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                }>, import("../gas/gas.js").Gas, {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                }>;
+                maxFeesPerGas: z.ZodEffects<z.ZodObject<{
+                    feePerDaGas: z.ZodType<Fr, any, string>;
+                    feePerL2Gas: z.ZodType<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    feePerDaGas: Fr;
+                    feePerL2Gas: Fr;
+                }, {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                }>, import("../gas/gas_fees.js").GasFees, {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                }>;
+                maxPriorityFeesPerGas: z.ZodEffects<z.ZodObject<{
+                    feePerDaGas: z.ZodType<Fr, any, string>;
+                    feePerL2Gas: z.ZodType<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    feePerDaGas: Fr;
+                    feePerL2Gas: Fr;
+                }, {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                }>, import("../gas/gas_fees.js").GasFees, {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                }>;
+            }, "strip", z.ZodTypeAny, {
+                gasLimits: import("../gas/gas.js").Gas;
+                teardownGasLimits: import("../gas/gas.js").Gas;
+                maxFeesPerGas: import("../gas/gas_fees.js").GasFees;
+                maxPriorityFeesPerGas: import("../gas/gas_fees.js").GasFees;
+            }, {
+                gasLimits: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
+                teardownGasLimits: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
+                maxFeesPerGas: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+                maxPriorityFeesPerGas: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+            }>, import("../gas/gas_settings.js").GasSettings, {
+                gasLimits: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
+                teardownGasLimits: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
+                maxFeesPerGas: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+                maxPriorityFeesPerGas: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+            }>;
+            feePayer: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+            publicSetupCallRequests: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                functionSelector: import("@aztec/foundation/schemas").ZodFor<import("../abi/function_selector.js").FunctionSelector>;
+                isStaticCall: z.ZodBoolean;
+                argsHash: z.ZodType<Fr, any, string>;
+            }, "strip", z.ZodTypeAny, {
+                contractAddress: AztecAddress;
+                msgSender: AztecAddress;
+                functionSelector: import("../abi/function_selector.js").FunctionSelector;
+                isStaticCall: boolean;
+                argsHash: Fr;
+            }, {
+                isStaticCall: boolean;
+                argsHash: string;
+                contractAddress?: any;
+                msgSender?: any;
+                functionSelector?: any;
+            }>, import("../kernel/public_call_request.js").PublicCallRequest, {
+                isStaticCall: boolean;
+                argsHash: string;
+                contractAddress?: any;
+                msgSender?: any;
+                functionSelector?: any;
+            }>, "many">;
+            publicAppLogicCallRequests: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                functionSelector: import("@aztec/foundation/schemas").ZodFor<import("../abi/function_selector.js").FunctionSelector>;
+                isStaticCall: z.ZodBoolean;
+                argsHash: z.ZodType<Fr, any, string>;
+            }, "strip", z.ZodTypeAny, {
+                contractAddress: AztecAddress;
+                msgSender: AztecAddress;
+                functionSelector: import("../abi/function_selector.js").FunctionSelector;
+                isStaticCall: boolean;
+                argsHash: Fr;
+            }, {
+                isStaticCall: boolean;
+                argsHash: string;
+                contractAddress?: any;
+                msgSender?: any;
+                functionSelector?: any;
+            }>, import("../kernel/public_call_request.js").PublicCallRequest, {
+                isStaticCall: boolean;
+                argsHash: string;
+                contractAddress?: any;
+                msgSender?: any;
+                functionSelector?: any;
+            }>, "many">;
+            publicTeardownCallRequest: z.ZodEffects<z.ZodObject<{
+                msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                functionSelector: import("@aztec/foundation/schemas").ZodFor<import("../abi/function_selector.js").FunctionSelector>;
+                isStaticCall: z.ZodBoolean;
+                argsHash: z.ZodType<Fr, any, string>;
+            }, "strip", z.ZodTypeAny, {
+                contractAddress: AztecAddress;
+                msgSender: AztecAddress;
+                functionSelector: import("../abi/function_selector.js").FunctionSelector;
+                isStaticCall: boolean;
+                argsHash: Fr;
+            }, {
+                isStaticCall: boolean;
+                argsHash: string;
+                contractAddress?: any;
+                msgSender?: any;
+                functionSelector?: any;
+            }>, import("../kernel/public_call_request.js").PublicCallRequest, {
+                isStaticCall: boolean;
+                argsHash: string;
+                contractAddress?: any;
+                msgSender?: any;
+                functionSelector?: any;
+            }>;
+            previousNonRevertibleAccumulatedDataArrayLengths: z.ZodEffects<z.ZodObject<{
+                noteHashes: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                nullifiers: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                l2ToL1Msgs: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                noteHashes: number;
+                nullifiers: number;
+                l2ToL1Msgs: number;
+            }, {
+                noteHashes: string | number | bigint;
+                nullifiers: string | number | bigint;
+                l2ToL1Msgs: string | number | bigint;
+            }>, import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths, {
+                noteHashes: string | number | bigint;
+                nullifiers: string | number | bigint;
+                l2ToL1Msgs: string | number | bigint;
+            }>;
+            previousRevertibleAccumulatedDataArrayLengths: z.ZodEffects<z.ZodObject<{
+                noteHashes: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                nullifiers: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                l2ToL1Msgs: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                noteHashes: number;
+                nullifiers: number;
+                l2ToL1Msgs: number;
+            }, {
+                noteHashes: string | number | bigint;
+                nullifiers: string | number | bigint;
+                l2ToL1Msgs: string | number | bigint;
+            }>, import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths, {
+                noteHashes: string | number | bigint;
+                nullifiers: string | number | bigint;
+                l2ToL1Msgs: string | number | bigint;
+            }>;
+            previousNonRevertibleAccumulatedData: z.ZodEffects<z.ZodObject<{
+                noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                    message: z.ZodEffects<z.ZodObject<{
+                        recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
+                        content: z.ZodType<Fr, any, string>;
+                        counter: z.ZodNumber;
+                    }, "strip", z.ZodTypeAny, {
+                        counter: number;
+                        recipient: import("@aztec/foundation/schemas").EthAddress;
+                        content: Fr;
+                    }, {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    }>;
+                    contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                }, "strip", z.ZodTypeAny, {
+                    message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                    contractAddress: AztecAddress;
+                }, {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }>, import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                noteHashes: Fr[];
+                nullifiers: Fr[];
+                l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
+            }, {
+                noteHashes: string[];
+                nullifiers: string[];
+                l2ToL1Msgs: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
+            }>, import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData, {
+                noteHashes: string[];
+                nullifiers: string[];
+                l2ToL1Msgs: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
+            }>;
+            previousRevertibleAccumulatedData: z.ZodEffects<z.ZodObject<{
+                noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                    message: z.ZodEffects<z.ZodObject<{
+                        recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
+                        content: z.ZodType<Fr, any, string>;
+                        counter: z.ZodNumber;
+                    }, "strip", z.ZodTypeAny, {
+                        counter: number;
+                        recipient: import("@aztec/foundation/schemas").EthAddress;
+                        content: Fr;
+                    }, {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    }>;
+                    contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                }, "strip", z.ZodTypeAny, {
+                    message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                    contractAddress: AztecAddress;
+                }, {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }>, import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                noteHashes: Fr[];
+                nullifiers: Fr[];
+                l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
+            }, {
+                noteHashes: string[];
+                nullifiers: string[];
+                l2ToL1Msgs: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
+            }>, import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData, {
+                noteHashes: string[];
+                nullifiers: string[];
+                l2ToL1Msgs: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
+            }>;
+            endTreeSnapshots: z.ZodEffects<z.ZodObject<{
+                l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
+                    root: z.ZodType<Fr, any, string>;
+                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                }, "strip", z.ZodTypeAny, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>;
+                noteHashTree: z.ZodEffects<z.ZodObject<{
+                    root: z.ZodType<Fr, any, string>;
+                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                }, "strip", z.ZodTypeAny, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>;
+                nullifierTree: z.ZodEffects<z.ZodObject<{
+                    root: z.ZodType<Fr, any, string>;
+                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                }, "strip", z.ZodTypeAny, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>;
+                publicDataTree: z.ZodEffects<z.ZodObject<{
+                    root: z.ZodType<Fr, any, string>;
+                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                }, "strip", z.ZodTypeAny, {
+                    root: Fr;
+                    nextAvailableLeafIndex: number;
+                }, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                }>;
+            }, "strip", z.ZodTypeAny, {
+                l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+            }, {
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                noteHashTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                nullifierTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                publicDataTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+            }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                noteHashTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                nullifierTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                publicDataTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+            }>;
+            endGasUsed: z.ZodEffects<z.ZodObject<{
+                daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                daGas: number;
+                l2Gas: number;
+            }, {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            }>, import("../gas/gas.js").Gas, {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            }>;
+            accumulatedData: z.ZodEffects<z.ZodObject<{
+                noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                    message: z.ZodEffects<z.ZodObject<{
+                        recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
+                        content: z.ZodType<Fr, any, string>;
+                        counter: z.ZodNumber;
+                    }, "strip", z.ZodTypeAny, {
+                        counter: number;
+                        recipient: import("@aztec/foundation/schemas").EthAddress;
+                        content: Fr;
+                    }, {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    }>;
+                    contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                }, "strip", z.ZodTypeAny, {
+                    message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                    contractAddress: AztecAddress;
+                }, {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }>, import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }>, "many">;
+                publicLogs: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("../logs/public_log.js").PublicLog>, "many">;
+                publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                    leafSlot: z.ZodType<Fr, any, string>;
+                    value: z.ZodType<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    value: Fr;
+                    leafSlot: Fr;
+                }, {
+                    value: string;
+                    leafSlot: string;
+                }>, import("./public_data_write.js").PublicDataWrite, {
+                    value: string;
+                    leafSlot: string;
+                }>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                noteHashes: Fr[];
+                nullifiers: Fr[];
+                l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
+                publicLogs: import("../logs/public_log.js").PublicLog[];
+                publicDataWrites: import("./public_data_write.js").PublicDataWrite[];
+            }, {
+                noteHashes: string[];
+                nullifiers: string[];
+                l2ToL1Msgs: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
+                publicLogs: any[];
+                publicDataWrites: {
+                    value: string;
+                    leafSlot: string;
+                }[];
+            }>, import("./avm_accumulated_data.js").AvmAccumulatedData, {
+                noteHashes: string[];
+                nullifiers: string[];
+                l2ToL1Msgs: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
+                publicLogs: any[];
+                publicDataWrites: {
+                    value: string;
+                    leafSlot: string;
+                }[];
+            }>;
+            transactionFee: z.ZodType<Fr, any, string>;
+            reverted: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            globalVariables: import("../tx/global_variables.js").GlobalVariables;
+            startTreeSnapshots: import("../tx/tree_snapshots.js").TreeSnapshots;
+            startGasUsed: import("../gas/gas.js").Gas;
+            gasSettings: import("../gas/gas_settings.js").GasSettings;
+            feePayer: AztecAddress;
+            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: import("../tx/tree_snapshots.js").TreeSnapshots;
+            endGasUsed: import("../gas/gas.js").Gas;
+            accumulatedData: import("./avm_accumulated_data.js").AvmAccumulatedData;
+            transactionFee: Fr;
+            reverted: boolean;
+        }, {
+            globalVariables: {
+                gasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+                chainId?: any;
+                version?: any;
+                blockNumber?: any;
+                slotNumber?: any;
+                timestamp?: any;
+                coinbase?: any;
+                feeRecipient?: any;
+            };
+            startTreeSnapshots: {
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                noteHashTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                nullifierTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                publicDataTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+            };
+            startGasUsed: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
+            gasSettings: {
+                gasLimits: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
+                teardownGasLimits: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
+                maxFeesPerGas: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+                maxPriorityFeesPerGas: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+            };
+            publicSetupCallRequests: {
+                isStaticCall: boolean;
+                argsHash: string;
+                contractAddress?: any;
+                msgSender?: any;
+                functionSelector?: any;
+            }[];
+            publicAppLogicCallRequests: {
+                isStaticCall: boolean;
+                argsHash: string;
+                contractAddress?: any;
+                msgSender?: any;
+                functionSelector?: any;
+            }[];
+            publicTeardownCallRequest: {
+                isStaticCall: boolean;
+                argsHash: string;
+                contractAddress?: any;
+                msgSender?: any;
+                functionSelector?: any;
+            };
+            previousNonRevertibleAccumulatedDataArrayLengths: {
+                noteHashes: string | number | bigint;
+                nullifiers: string | number | bigint;
+                l2ToL1Msgs: string | number | bigint;
+            };
+            previousRevertibleAccumulatedDataArrayLengths: {
+                noteHashes: string | number | bigint;
+                nullifiers: string | number | bigint;
+                l2ToL1Msgs: string | number | bigint;
+            };
+            previousNonRevertibleAccumulatedData: {
+                noteHashes: string[];
+                nullifiers: string[];
+                l2ToL1Msgs: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
+            };
+            previousRevertibleAccumulatedData: {
+                noteHashes: string[];
+                nullifiers: string[];
+                l2ToL1Msgs: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
+            };
+            endTreeSnapshots: {
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                noteHashTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                nullifierTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                publicDataTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+            };
+            endGasUsed: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
+            accumulatedData: {
+                noteHashes: string[];
+                nullifiers: string[];
+                l2ToL1Msgs: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
+                publicLogs: any[];
+                publicDataWrites: {
+                    value: string;
+                    leafSlot: string;
+                }[];
+            };
+            transactionFee: string;
+            reverted: boolean;
+            feePayer?: any;
+        }>, AvmCircuitPublicInputs, {
+            globalVariables: {
+                gasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+                chainId?: any;
+                version?: any;
+                blockNumber?: any;
+                slotNumber?: any;
+                timestamp?: any;
+                coinbase?: any;
+                feeRecipient?: any;
+            };
+            startTreeSnapshots: {
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                noteHashTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                nullifierTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                publicDataTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+            };
+            startGasUsed: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
+            gasSettings: {
+                gasLimits: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
+                teardownGasLimits: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
+                maxFeesPerGas: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+                maxPriorityFeesPerGas: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+            };
+            publicSetupCallRequests: {
+                isStaticCall: boolean;
+                argsHash: string;
+                contractAddress?: any;
+                msgSender?: any;
+                functionSelector?: any;
+            }[];
+            publicAppLogicCallRequests: {
+                isStaticCall: boolean;
+                argsHash: string;
+                contractAddress?: any;
+                msgSender?: any;
+                functionSelector?: any;
+            }[];
+            publicTeardownCallRequest: {
+                isStaticCall: boolean;
+                argsHash: string;
+                contractAddress?: any;
+                msgSender?: any;
+                functionSelector?: any;
+            };
+            previousNonRevertibleAccumulatedDataArrayLengths: {
+                noteHashes: string | number | bigint;
+                nullifiers: string | number | bigint;
+                l2ToL1Msgs: string | number | bigint;
+            };
+            previousRevertibleAccumulatedDataArrayLengths: {
+                noteHashes: string | number | bigint;
+                nullifiers: string | number | bigint;
+                l2ToL1Msgs: string | number | bigint;
+            };
+            previousNonRevertibleAccumulatedData: {
+                noteHashes: string[];
+                nullifiers: string[];
+                l2ToL1Msgs: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
+            };
+            previousRevertibleAccumulatedData: {
+                noteHashes: string[];
+                nullifiers: string[];
+                l2ToL1Msgs: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
+            };
+            endTreeSnapshots: {
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                noteHashTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                nullifierTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                publicDataTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+            };
+            endGasUsed: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
+            accumulatedData: {
+                noteHashes: string[];
+                nullifiers: string[];
+                l2ToL1Msgs: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
+                publicLogs: any[];
+                publicDataWrites: {
+                    value: string;
+                    leafSlot: string;
+                }[];
+            };
+            transactionFee: string;
+            reverted: boolean;
+            feePayer?: any;
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        calldata: Fr[];
+        functionName: string;
+        hints: AvmExecutionHints;
+        publicInputs: AvmCircuitPublicInputs;
+    }, {
+        calldata: string[];
+        functionName: string;
+        hints: {
+            publicDataWrites: {
+                lowLeafRead: {
+                    leafPreimage: {
+                        value: string;
+                        slot: string;
+                        nextIndex: string | number | bigint;
+                        nextSlot: string;
+                    };
+                    leafIndex: string;
+                    siblingPath: string[];
+                };
+                insertionPath: string[];
+                newLeafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+            }[];
+            enqueuedCalls: {
+                calldata: string[];
+                contractAddress?: any;
+            }[];
+            contractInstances: {
+                exists: boolean;
+                salt: string;
+                currentContractClassId: string;
+                originalContractClassId: string;
+                initializationHash: string;
+                publicKeys: {
+                    masterNullifierPublicKey: string;
+                    masterIncomingViewingPublicKey: string;
+                    masterOutgoingViewingPublicKey: string;
+                    masterTaggingPublicKey: string;
+                };
+                updateMembershipHint: {
+                    leafPreimage: {
+                        value: string;
+                        slot: string;
+                        nextIndex: string | number | bigint;
+                        nextSlot: string;
+                    };
+                    leafIndex: string;
+                    siblingPath: string[];
+                };
+                updatePreimage: string[];
+                address?: any;
+                deployer?: any;
+            }[];
+            contractClasses: {
+                classId: string;
+                exists: boolean;
+                artifactHash: string;
+                privateFunctionsRoot: string;
+                publicBytecodeCommitment: string;
+                packedBytecode: string | {
+                    type: "Buffer";
+                    data: number[];
+                };
+            }[];
+            publicDataReads: {
+                leafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+                leafIndex: string;
+                siblingPath: string[];
+            }[];
+            nullifierReads: {
+                lowLeafPreimage: {
+                    nullifier: string;
+                    nextNullifier: string;
+                    nextIndex: string | number | bigint;
+                };
+                lowLeafIndex: string;
+                lowLeafSiblingPath: string[];
+            }[];
+            nullifierWrites: {
+                lowLeafRead: {
+                    lowLeafPreimage: {
+                        nullifier: string;
+                        nextNullifier: string;
+                        nextIndex: string | number | bigint;
+                    };
+                    lowLeafIndex: string;
+                    lowLeafSiblingPath: string[];
+                };
+                insertionPath: string[];
+            }[];
+            noteHashReads: {
+                value: string;
+                leafIndex: string;
+                siblingPath: string[];
+            }[];
+            noteHashWrites: {
+                value: string;
+                leafIndex: string;
+                siblingPath: string[];
+            }[];
+            l1ToL2MessageReads: {
+                value: string;
+                leafIndex: string;
+                siblingPath: string[];
+            }[];
+        };
+        publicInputs: {
+            globalVariables: {
+                gasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+                chainId?: any;
+                version?: any;
+                blockNumber?: any;
+                slotNumber?: any;
+                timestamp?: any;
+                coinbase?: any;
+                feeRecipient?: any;
+            };
+            startTreeSnapshots: {
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                noteHashTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                nullifierTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                publicDataTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+            };
+            startGasUsed: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
+            gasSettings: {
+                gasLimits: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
+                teardownGasLimits: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
+                maxFeesPerGas: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+                maxPriorityFeesPerGas: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+            };
+            publicSetupCallRequests: {
+                isStaticCall: boolean;
+                argsHash: string;
+                contractAddress?: any;
+                msgSender?: any;
+                functionSelector?: any;
+            }[];
+            publicAppLogicCallRequests: {
+                isStaticCall: boolean;
+                argsHash: string;
+                contractAddress?: any;
+                msgSender?: any;
+                functionSelector?: any;
+            }[];
+            publicTeardownCallRequest: {
+                isStaticCall: boolean;
+                argsHash: string;
+                contractAddress?: any;
+                msgSender?: any;
+                functionSelector?: any;
+            };
+            previousNonRevertibleAccumulatedDataArrayLengths: {
+                noteHashes: string | number | bigint;
+                nullifiers: string | number | bigint;
+                l2ToL1Msgs: string | number | bigint;
+            };
+            previousRevertibleAccumulatedDataArrayLengths: {
+                noteHashes: string | number | bigint;
+                nullifiers: string | number | bigint;
+                l2ToL1Msgs: string | number | bigint;
+            };
+            previousNonRevertibleAccumulatedData: {
+                noteHashes: string[];
+                nullifiers: string[];
+                l2ToL1Msgs: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
+            };
+            previousRevertibleAccumulatedData: {
+                noteHashes: string[];
+                nullifiers: string[];
+                l2ToL1Msgs: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
+            };
+            endTreeSnapshots: {
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                noteHashTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                nullifierTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                publicDataTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+            };
+            endGasUsed: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
+            accumulatedData: {
+                noteHashes: string[];
+                nullifiers: string[];
+                l2ToL1Msgs: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
+                publicLogs: any[];
+                publicDataWrites: {
+                    value: string;
+                    leafSlot: string;
+                }[];
+            };
+            transactionFee: string;
+            reverted: boolean;
+            feePayer?: any;
+        };
+    }>, AvmCircuitInputs, {
+        calldata: string[];
+        functionName: string;
+        hints: {
+            publicDataWrites: {
+                lowLeafRead: {
+                    leafPreimage: {
+                        value: string;
+                        slot: string;
+                        nextIndex: string | number | bigint;
+                        nextSlot: string;
+                    };
+                    leafIndex: string;
+                    siblingPath: string[];
+                };
+                insertionPath: string[];
+                newLeafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+            }[];
+            enqueuedCalls: {
+                calldata: string[];
+                contractAddress?: any;
+            }[];
+            contractInstances: {
+                exists: boolean;
+                salt: string;
+                currentContractClassId: string;
+                originalContractClassId: string;
+                initializationHash: string;
+                publicKeys: {
+                    masterNullifierPublicKey: string;
+                    masterIncomingViewingPublicKey: string;
+                    masterOutgoingViewingPublicKey: string;
+                    masterTaggingPublicKey: string;
+                };
+                updateMembershipHint: {
+                    leafPreimage: {
+                        value: string;
+                        slot: string;
+                        nextIndex: string | number | bigint;
+                        nextSlot: string;
+                    };
+                    leafIndex: string;
+                    siblingPath: string[];
+                };
+                updatePreimage: string[];
+                address?: any;
+                deployer?: any;
+            }[];
+            contractClasses: {
+                classId: string;
+                exists: boolean;
+                artifactHash: string;
+                privateFunctionsRoot: string;
+                publicBytecodeCommitment: string;
+                packedBytecode: string | {
+                    type: "Buffer";
+                    data: number[];
+                };
+            }[];
+            publicDataReads: {
+                leafPreimage: {
+                    value: string;
+                    slot: string;
+                    nextIndex: string | number | bigint;
+                    nextSlot: string;
+                };
+                leafIndex: string;
+                siblingPath: string[];
+            }[];
+            nullifierReads: {
+                lowLeafPreimage: {
+                    nullifier: string;
+                    nextNullifier: string;
+                    nextIndex: string | number | bigint;
+                };
+                lowLeafIndex: string;
+                lowLeafSiblingPath: string[];
+            }[];
+            nullifierWrites: {
+                lowLeafRead: {
+                    lowLeafPreimage: {
+                        nullifier: string;
+                        nextNullifier: string;
+                        nextIndex: string | number | bigint;
+                    };
+                    lowLeafIndex: string;
+                    lowLeafSiblingPath: string[];
+                };
+                insertionPath: string[];
+            }[];
+            noteHashReads: {
+                value: string;
+                leafIndex: string;
+                siblingPath: string[];
+            }[];
+            noteHashWrites: {
+                value: string;
+                leafIndex: string;
+                siblingPath: string[];
+            }[];
+            l1ToL2MessageReads: {
+                value: string;
+                leafIndex: string;
+                siblingPath: string[];
+            }[];
+        };
+        publicInputs: {
+            globalVariables: {
+                gasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+                chainId?: any;
+                version?: any;
+                blockNumber?: any;
+                slotNumber?: any;
+                timestamp?: any;
+                coinbase?: any;
+                feeRecipient?: any;
+            };
+            startTreeSnapshots: {
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                noteHashTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                nullifierTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                publicDataTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+            };
+            startGasUsed: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
+            gasSettings: {
+                gasLimits: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
+                teardownGasLimits: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
+                maxFeesPerGas: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+                maxPriorityFeesPerGas: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+            };
+            publicSetupCallRequests: {
+                isStaticCall: boolean;
+                argsHash: string;
+                contractAddress?: any;
+                msgSender?: any;
+                functionSelector?: any;
+            }[];
+            publicAppLogicCallRequests: {
+                isStaticCall: boolean;
+                argsHash: string;
+                contractAddress?: any;
+                msgSender?: any;
+                functionSelector?: any;
+            }[];
+            publicTeardownCallRequest: {
+                isStaticCall: boolean;
+                argsHash: string;
+                contractAddress?: any;
+                msgSender?: any;
+                functionSelector?: any;
+            };
+            previousNonRevertibleAccumulatedDataArrayLengths: {
+                noteHashes: string | number | bigint;
+                nullifiers: string | number | bigint;
+                l2ToL1Msgs: string | number | bigint;
+            };
+            previousRevertibleAccumulatedDataArrayLengths: {
+                noteHashes: string | number | bigint;
+                nullifiers: string | number | bigint;
+                l2ToL1Msgs: string | number | bigint;
+            };
+            previousNonRevertibleAccumulatedData: {
+                noteHashes: string[];
+                nullifiers: string[];
+                l2ToL1Msgs: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
+            };
+            previousRevertibleAccumulatedData: {
+                noteHashes: string[];
+                nullifiers: string[];
+                l2ToL1Msgs: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
+            };
+            endTreeSnapshots: {
+                l1ToL2MessageTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                noteHashTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                nullifierTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+                publicDataTree: {
+                    root: string;
+                    nextAvailableLeafIndex: string | number | bigint;
+                };
+            };
+            endGasUsed: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
+            accumulatedData: {
+                noteHashes: string[];
+                nullifiers: string[];
+                l2ToL1Msgs: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
+                publicLogs: any[];
+                publicDataWrites: {
+                    value: string;
+                    leafSlot: string;
+                }[];
+            };
+            transactionFee: string;
+            reverted: boolean;
+            feePayer?: any;
+        };
+    }>;
+    serializeWithMessagePack(): Buffer;
+    toBuffer(): Buffer;
+    static fromBuffer(buf: Buffer): Promise<AvmCircuitInputs>;
+}
+//# sourceMappingURL=avm.d.ts.map