@aztec/stdlib 3.0.0-nightly.20251109 → 3.0.0-nightly.20251111

package/dest/avm/avm.d.ts

@@ -2,14 +2,15 @@ import { Fr } from '@aztec/foundation/fields';
 import { z } from 'zod';
 import { AztecAddress } from '../aztec-address/index.js';
 import { ContractDeploymentData } from '../contract/index.js';
-import type { SimulationError } from '../errors/simulation_error.js';
+import { SimulationError } from '../errors/simulation_error.js';
 import { Gas } from '../gas/gas.js';
 import { GasFees } from '../gas/gas_fees.js';
 import { GasSettings } from '../gas/gas_settings.js';
 import type { GasUsed } from '../gas/gas_used.js';
 import { PublicKeys } from '../keys/public_keys.js';
-import type { DebugLog } from '../logs/debug_log.js';
+import { DebugLog } from '../logs/debug_log.js';
 import { ScopedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
+import { type ZodFor } from '../schemas/schemas.js';
 import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
 import { MerkleTreeId } from '../trees/merkle_tree_id.js';
 import { NullifierLeafPreimage } from '../trees/nullifier_leaf.js';
@@ -27,44 +28,26 @@ export declare class AvmContractClassHint {
     constructor(hintKey: number, classId: Fr, artifactHash: Fr, privateFunctionsRoot: Fr, packedBytecode: Buffer);
     static get schema(): z.ZodEffects<z.ZodObject<{
         hintKey: z.ZodNumber;
-        classId: import("../schemas/schemas.js").ZodFor<Fr>;
-        artifactHash: import("../schemas/schemas.js").ZodFor<Fr>;
-        privateFunctionsRoot: import("../schemas/schemas.js").ZodFor<Fr>;
-        packedBytecode: z.ZodUnion<[z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, Buffer<ArrayBuffer>, 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<ArrayBuffer>, {
-            type: "Buffer";
-            data: number[];
-        }>]>;
+        classId: ZodFor<Fr>;
+        artifactHash: ZodFor<Fr>;
+        privateFunctionsRoot: ZodFor<Fr>;
+        packedBytecode: ZodFor<Buffer<ArrayBufferLike>>;
     }, "strip", z.ZodTypeAny, {
         artifactHash: Fr;
-        packedBytecode: Buffer<ArrayBuffer>;
+        packedBytecode: Buffer<ArrayBufferLike>;
         privateFunctionsRoot: Fr;
         hintKey: number;
         classId: Fr;
     }, {
-        packedBytecode: string | {
-            type: "Buffer";
-            data: number[];
-        };
         hintKey: number;
         artifactHash?: any;
+        packedBytecode?: any;
         privateFunctionsRoot?: any;
         classId?: any;
     }>, AvmContractClassHint, {
-        packedBytecode: string | {
-            type: "Buffer";
-            data: number[];
-        };
         hintKey: number;
         artifactHash?: any;
+        packedBytecode?: any;
         privateFunctionsRoot?: any;
         classId?: any;
     }>;
@@ -76,8 +59,8 @@ export declare class AvmBytecodeCommitmentHint {
     constructor(hintKey: number, classId: Fr, commitment: Fr);
     static get schema(): z.ZodEffects<z.ZodObject<{
         hintKey: z.ZodNumber;
-        classId: import("../schemas/schemas.js").ZodFor<Fr>;
-        commitment: import("../schemas/schemas.js").ZodFor<Fr>;
+        classId: ZodFor<Fr>;
+        commitment: ZodFor<Fr>;
     }, "strip", z.ZodTypeAny, {
         hintKey: number;
         classId: Fr;
@@ -104,32 +87,104 @@ export declare class AvmContractInstanceHint {
     constructor(hintKey: number, address: AztecAddress, salt: Fr, deployer: AztecAddress, currentContractClassId: Fr, originalContractClassId: Fr, initializationHash: Fr, publicKeys: PublicKeys);
     static get schema(): z.ZodEffects<z.ZodObject<{
         hintKey: z.ZodNumber;
-        address: import("../schemas/schemas.js").ZodFor<AztecAddress>;
-        salt: import("../schemas/schemas.js").ZodFor<Fr>;
-        deployer: import("../schemas/schemas.js").ZodFor<AztecAddress>;
-        currentContractClassId: import("../schemas/schemas.js").ZodFor<Fr>;
-        originalContractClassId: import("../schemas/schemas.js").ZodFor<Fr>;
-        initializationHash: import("../schemas/schemas.js").ZodFor<Fr>;
+        address: ZodFor<AztecAddress>;
+        salt: ZodFor<Fr>;
+        deployer: ZodFor<AztecAddress>;
+        currentContractClassId: ZodFor<Fr>;
+        originalContractClassId: ZodFor<Fr>;
+        initializationHash: ZodFor<Fr>;
         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>;
+            masterNullifierPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
+                x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+            }, "strip", z.ZodTypeAny, {
+                x: Fr;
+                y: Fr;
+            }, {
+                x: string;
+                y: string;
+            }>, import("@aztec/foundation/fields").Point, {
+                x: string;
+                y: string;
+            }>]>;
+            masterIncomingViewingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
+                x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+            }, "strip", z.ZodTypeAny, {
+                x: Fr;
+                y: Fr;
+            }, {
+                x: string;
+                y: string;
+            }>, import("@aztec/foundation/fields").Point, {
+                x: string;
+                y: string;
+            }>]>;
+            masterOutgoingViewingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
+                x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+            }, "strip", z.ZodTypeAny, {
+                x: Fr;
+                y: Fr;
+            }, {
+                x: string;
+                y: string;
+            }>, import("@aztec/foundation/fields").Point, {
+                x: string;
+                y: string;
+            }>]>;
+            masterTaggingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
+                x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+            }, "strip", z.ZodTypeAny, {
+                x: Fr;
+                y: Fr;
+            }, {
+                x: string;
+                y: string;
+            }>, import("@aztec/foundation/fields").Point, {
+                x: string;
+                y: 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;
+            masterNullifierPublicKey: string | {
+                x: string;
+                y: string;
+            };
+            masterIncomingViewingPublicKey: string | {
+                x: string;
+                y: string;
+            };
+            masterOutgoingViewingPublicKey: string | {
+                x: string;
+                y: string;
+            };
+            masterTaggingPublicKey: string | {
+                x: string;
+                y: string;
+            };
         }>, PublicKeys, {
-            masterNullifierPublicKey: string;
-            masterIncomingViewingPublicKey: string;
-            masterOutgoingViewingPublicKey: string;
-            masterTaggingPublicKey: string;
+            masterNullifierPublicKey: string | {
+                x: string;
+                y: string;
+            };
+            masterIncomingViewingPublicKey: string | {
+                x: string;
+                y: string;
+            };
+            masterOutgoingViewingPublicKey: string | {
+                x: string;
+                y: string;
+            };
+            masterTaggingPublicKey: string | {
+                x: string;
+                y: string;
+            };
         }>;
     }, "strip", z.ZodTypeAny, {
         salt: Fr;
@@ -142,10 +197,22 @@ export declare class AvmContractInstanceHint {
         hintKey: number;
     }, {
         publicKeys: {
-            masterNullifierPublicKey: string;
-            masterIncomingViewingPublicKey: string;
-            masterOutgoingViewingPublicKey: string;
-            masterTaggingPublicKey: string;
+            masterNullifierPublicKey: string | {
+                x: string;
+                y: string;
+            };
+            masterIncomingViewingPublicKey: string | {
+                x: string;
+                y: string;
+            };
+            masterOutgoingViewingPublicKey: string | {
+                x: string;
+                y: string;
+            };
+            masterTaggingPublicKey: string | {
+                x: string;
+                y: string;
+            };
         };
         hintKey: number;
         salt?: any;
@@ -156,10 +223,22 @@ export declare class AvmContractInstanceHint {
         address?: any;
     }>, AvmContractInstanceHint, {
         publicKeys: {
-            masterNullifierPublicKey: string;
-            masterIncomingViewingPublicKey: string;
-            masterOutgoingViewingPublicKey: string;
-            masterTaggingPublicKey: string;
+            masterNullifierPublicKey: string | {
+                x: string;
+                y: string;
+            };
+            masterIncomingViewingPublicKey: string | {
+                x: string;
+                y: string;
+            };
+            masterOutgoingViewingPublicKey: string | {
+                x: string;
+                y: string;
+            };
+            masterTaggingPublicKey: string | {
+                x: string;
+                y: string;
+            };
         };
         hintKey: number;
         salt?: any;
@@ -176,8 +255,8 @@ export declare class AvmDebugFunctionNameHint {
     readonly name: string;
     constructor(address: AztecAddress, selector: Fr, name: string);
     static get schema(): z.ZodEffects<z.ZodObject<{
-        address: import("../schemas/schemas.js").ZodFor<AztecAddress>;
-        selector: import("../schemas/schemas.js").ZodFor<Fr>;
+        address: ZodFor<AztecAddress>;
+        selector: ZodFor<Fr>;
         name: z.ZodString;
     }, "strip", z.ZodTypeAny, {
         name: string;
@@ -201,7 +280,7 @@ export declare class AvmGetSiblingPathHint {
     constructor(hintKey: AppendOnlyTreeSnapshot, treeId: MerkleTreeId, index: bigint, path: Fr[]);
     static get schema(): z.ZodEffects<z.ZodObject<{
         hintKey: z.ZodEffects<z.ZodObject<{
-            root: z.ZodType<Fr, any, string>;
+            root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
         }, "strip", z.ZodTypeAny, {
             root: Fr;
@@ -215,7 +294,7 @@ export declare class AvmGetSiblingPathHint {
         }>;
         treeId: z.ZodNumber;
         index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-        path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+        path: z.ZodArray<ZodFor<Fr>, "many">;
     }, "strip", z.ZodTypeAny, {
         path: Fr[];
         index: bigint;
@@ -248,7 +327,7 @@ export declare class AvmGetPreviousValueIndexHint {
     constructor(hintKey: AppendOnlyTreeSnapshot, treeId: MerkleTreeId, value: Fr, index: bigint, alreadyPresent: boolean);
     static get schema(): z.ZodEffects<z.ZodObject<{
         hintKey: z.ZodEffects<z.ZodObject<{
-            root: z.ZodType<Fr, any, string>;
+            root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
         }, "strip", z.ZodTypeAny, {
             root: Fr;
@@ -261,7 +340,7 @@ export declare class AvmGetPreviousValueIndexHint {
             nextAvailableLeafIndex: string | number | bigint;
         }>;
         treeId: z.ZodNumber;
-        value: import("../schemas/schemas.js").ZodFor<Fr>;
+        value: ZodFor<Fr>;
         index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
         alreadyPresent: z.ZodBoolean;
     }, "strip", z.ZodTypeAny, {
@@ -300,7 +379,7 @@ declare const AvmGetLeafPreimageHintPublicDataTree_base: {
     };
     readonly schema: z.ZodEffects<z.ZodObject<{
         hintKey: z.ZodEffects<z.ZodObject<{
-            root: z.ZodType<Fr, any, string>;
+            root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
         }, "strip", z.ZodTypeAny, {
             root: Fr;
@@ -315,7 +394,7 @@ declare const AvmGetLeafPreimageHintPublicDataTree_base: {
         index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
         leafPreimage: z.ZodEffects<z.ZodObject<{
             leaf: z.ZodEffects<z.ZodObject<{
-                nullifier: z.ZodType<Fr, any, string>;
+                nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             }, "strip", z.ZodTypeAny, {
                 nullifier: Fr;
             }, {
@@ -323,7 +402,7 @@ declare const AvmGetLeafPreimageHintPublicDataTree_base: {
             }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
                 nullifier: string;
             }>;
-            nextKey: z.ZodType<Fr, any, string>;
+            nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
         }, "strip", z.ZodTypeAny, {
             leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -343,8 +422,8 @@ declare const AvmGetLeafPreimageHintPublicDataTree_base: {
             nextIndex: string | number | bigint;
         }> | z.ZodEffects<z.ZodObject<{
             leaf: z.ZodEffects<z.ZodObject<{
-                slot: z.ZodType<Fr, any, string>;
-                value: z.ZodType<Fr, any, string>;
+                slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             }, "strip", z.ZodTypeAny, {
                 value: Fr;
                 slot: Fr;
@@ -355,7 +434,7 @@ declare const AvmGetLeafPreimageHintPublicDataTree_base: {
                 value: string;
                 slot: string;
             }>;
-            nextKey: z.ZodType<Fr, any, string>;
+            nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
         }, "strip", z.ZodTypeAny, {
             leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -436,7 +515,7 @@ declare const AvmGetLeafPreimageHintNullifierTree_base: {
     };
     readonly schema: z.ZodEffects<z.ZodObject<{
         hintKey: z.ZodEffects<z.ZodObject<{
-            root: z.ZodType<Fr, any, string>;
+            root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
         }, "strip", z.ZodTypeAny, {
             root: Fr;
@@ -451,7 +530,7 @@ declare const AvmGetLeafPreimageHintNullifierTree_base: {
         index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
         leafPreimage: z.ZodEffects<z.ZodObject<{
             leaf: z.ZodEffects<z.ZodObject<{
-                nullifier: z.ZodType<Fr, any, string>;
+                nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             }, "strip", z.ZodTypeAny, {
                 nullifier: Fr;
             }, {
@@ -459,7 +538,7 @@ declare const AvmGetLeafPreimageHintNullifierTree_base: {
             }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
                 nullifier: string;
             }>;
-            nextKey: z.ZodType<Fr, any, string>;
+            nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
         }, "strip", z.ZodTypeAny, {
             leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -479,8 +558,8 @@ declare const AvmGetLeafPreimageHintNullifierTree_base: {
             nextIndex: string | number | bigint;
         }> | z.ZodEffects<z.ZodObject<{
             leaf: z.ZodEffects<z.ZodObject<{
-                slot: z.ZodType<Fr, any, string>;
-                value: z.ZodType<Fr, any, string>;
+                slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             }, "strip", z.ZodTypeAny, {
                 value: Fr;
                 slot: Fr;
@@ -491,7 +570,7 @@ declare const AvmGetLeafPreimageHintNullifierTree_base: {
                 value: string;
                 slot: string;
             }>;
-            nextKey: z.ZodType<Fr, any, string>;
+            nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
         }, "strip", z.ZodTypeAny, {
             leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -572,7 +651,7 @@ export declare class AvmGetLeafValueHint {
     constructor(hintKey: AppendOnlyTreeSnapshot, treeId: MerkleTreeId, index: bigint, value: Fr);
     static get schema(): z.ZodEffects<z.ZodObject<{
         hintKey: z.ZodEffects<z.ZodObject<{
-            root: z.ZodType<Fr, any, string>;
+            root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
         }, "strip", z.ZodTypeAny, {
             root: Fr;
@@ -586,7 +665,7 @@ export declare class AvmGetLeafValueHint {
         }>;
         treeId: z.ZodNumber;
         index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-        value: import("../schemas/schemas.js").ZodFor<Fr>;
+        value: ZodFor<Fr>;
     }, "strip", z.ZodTypeAny, {
         value: Fr;
         index: bigint;
@@ -637,7 +716,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
     };
     readonly schema: z.ZodEffects<z.ZodObject<{
         hintKey: z.ZodEffects<z.ZodObject<{
-            root: z.ZodType<Fr, any, string>;
+            root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
         }, "strip", z.ZodTypeAny, {
             root: Fr;
@@ -650,7 +729,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
             nextAvailableLeafIndex: string | number | bigint;
         }>;
         stateAfter: z.ZodEffects<z.ZodObject<{
-            root: z.ZodType<Fr, any, string>;
+            root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
         }, "strip", z.ZodTypeAny, {
             root: Fr;
@@ -664,7 +743,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
         }>;
         treeId: z.ZodNumber;
         leaf: z.ZodEffects<z.ZodObject<{
-            nullifier: z.ZodType<Fr, any, string>;
+            nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
         }, "strip", z.ZodTypeAny, {
             nullifier: Fr;
         }, {
@@ -672,8 +751,8 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
         }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
             nullifier: string;
         }> | z.ZodEffects<z.ZodObject<{
-            slot: z.ZodType<Fr, any, string>;
-            value: z.ZodType<Fr, any, string>;
+            slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+            value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
         }, "strip", z.ZodTypeAny, {
             value: Fr;
             slot: Fr;
@@ -687,7 +766,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
         lowLeavesWitnessData: z.ZodObject<{
             leaf: z.ZodEffects<z.ZodObject<{
                 leaf: z.ZodEffects<z.ZodObject<{
-                    nullifier: z.ZodType<Fr, any, string>;
+                    nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 }, "strip", z.ZodTypeAny, {
                     nullifier: Fr;
                 }, {
@@ -695,7 +774,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
                 }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
                     nullifier: string;
                 }>;
-                nextKey: z.ZodType<Fr, any, string>;
+                nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
             }, "strip", z.ZodTypeAny, {
                 leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -715,8 +794,8 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
                 nextIndex: string | number | bigint;
             }> | z.ZodEffects<z.ZodObject<{
                 leaf: z.ZodEffects<z.ZodObject<{
-                    slot: z.ZodType<Fr, any, string>;
-                    value: z.ZodType<Fr, any, string>;
+                    slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                    value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 }, "strip", z.ZodTypeAny, {
                     value: Fr;
                     slot: Fr;
@@ -727,7 +806,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
                     value: string;
                     slot: string;
                 }>;
-                nextKey: z.ZodType<Fr, any, string>;
+                nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
             }, "strip", z.ZodTypeAny, {
                 leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -749,7 +828,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
                 nextIndex: string | number | bigint;
             }>;
             index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+            path: z.ZodArray<ZodFor<Fr>, "many">;
         }, "strip", z.ZodTypeAny, {
             path: Fr[];
             index: bigint;
@@ -775,7 +854,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
         insertionWitnessData: z.ZodObject<{
             leaf: z.ZodEffects<z.ZodObject<{
                 leaf: z.ZodEffects<z.ZodObject<{
-                    nullifier: z.ZodType<Fr, any, string>;
+                    nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 }, "strip", z.ZodTypeAny, {
                     nullifier: Fr;
                 }, {
@@ -783,7 +862,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
                 }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
                     nullifier: string;
                 }>;
-                nextKey: z.ZodType<Fr, any, string>;
+                nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
             }, "strip", z.ZodTypeAny, {
                 leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -803,8 +882,8 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
                 nextIndex: string | number | bigint;
             }> | z.ZodEffects<z.ZodObject<{
                 leaf: z.ZodEffects<z.ZodObject<{
-                    slot: z.ZodType<Fr, any, string>;
-                    value: z.ZodType<Fr, any, string>;
+                    slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                    value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 }, "strip", z.ZodTypeAny, {
                     value: Fr;
                     slot: Fr;
@@ -815,7 +894,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
                     value: string;
                     slot: string;
                 }>;
-                nextKey: z.ZodType<Fr, any, string>;
+                nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
             }, "strip", z.ZodTypeAny, {
                 leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -837,7 +916,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
                 nextIndex: string | number | bigint;
             }>;
             index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+            path: z.ZodArray<ZodFor<Fr>, "many">;
         }, "strip", z.ZodTypeAny, {
             path: Fr[];
             index: bigint;
@@ -1025,7 +1104,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
     };
     readonly schema: z.ZodEffects<z.ZodObject<{
         hintKey: z.ZodEffects<z.ZodObject<{
-            root: z.ZodType<Fr, any, string>;
+            root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
         }, "strip", z.ZodTypeAny, {
             root: Fr;
@@ -1038,7 +1117,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
             nextAvailableLeafIndex: string | number | bigint;
         }>;
         stateAfter: z.ZodEffects<z.ZodObject<{
-            root: z.ZodType<Fr, any, string>;
+            root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
         }, "strip", z.ZodTypeAny, {
             root: Fr;
@@ -1052,7 +1131,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
         }>;
         treeId: z.ZodNumber;
         leaf: z.ZodEffects<z.ZodObject<{
-            nullifier: z.ZodType<Fr, any, string>;
+            nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
         }, "strip", z.ZodTypeAny, {
             nullifier: Fr;
         }, {
@@ -1060,8 +1139,8 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
         }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
             nullifier: string;
         }> | z.ZodEffects<z.ZodObject<{
-            slot: z.ZodType<Fr, any, string>;
-            value: z.ZodType<Fr, any, string>;
+            slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+            value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
         }, "strip", z.ZodTypeAny, {
             value: Fr;
             slot: Fr;
@@ -1075,7 +1154,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
         lowLeavesWitnessData: z.ZodObject<{
             leaf: z.ZodEffects<z.ZodObject<{
                 leaf: z.ZodEffects<z.ZodObject<{
-                    nullifier: z.ZodType<Fr, any, string>;
+                    nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 }, "strip", z.ZodTypeAny, {
                     nullifier: Fr;
                 }, {
@@ -1083,7 +1162,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
                 }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
                     nullifier: string;
                 }>;
-                nextKey: z.ZodType<Fr, any, string>;
+                nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
             }, "strip", z.ZodTypeAny, {
                 leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1103,8 +1182,8 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
                 nextIndex: string | number | bigint;
             }> | z.ZodEffects<z.ZodObject<{
                 leaf: z.ZodEffects<z.ZodObject<{
-                    slot: z.ZodType<Fr, any, string>;
-                    value: z.ZodType<Fr, any, string>;
+                    slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                    value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 }, "strip", z.ZodTypeAny, {
                     value: Fr;
                     slot: Fr;
@@ -1115,7 +1194,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
                     value: string;
                     slot: string;
                 }>;
-                nextKey: z.ZodType<Fr, any, string>;
+                nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
             }, "strip", z.ZodTypeAny, {
                 leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1137,7 +1216,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
                 nextIndex: string | number | bigint;
             }>;
             index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+            path: z.ZodArray<ZodFor<Fr>, "many">;
         }, "strip", z.ZodTypeAny, {
             path: Fr[];
             index: bigint;
@@ -1163,7 +1242,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
         insertionWitnessData: z.ZodObject<{
             leaf: z.ZodEffects<z.ZodObject<{
                 leaf: z.ZodEffects<z.ZodObject<{
-                    nullifier: z.ZodType<Fr, any, string>;
+                    nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 }, "strip", z.ZodTypeAny, {
                     nullifier: Fr;
                 }, {
@@ -1171,7 +1250,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
                 }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
                     nullifier: string;
                 }>;
-                nextKey: z.ZodType<Fr, any, string>;
+                nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
             }, "strip", z.ZodTypeAny, {
                 leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1191,8 +1270,8 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
                 nextIndex: string | number | bigint;
             }> | z.ZodEffects<z.ZodObject<{
                 leaf: z.ZodEffects<z.ZodObject<{
-                    slot: z.ZodType<Fr, any, string>;
-                    value: z.ZodType<Fr, any, string>;
+                    slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                    value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 }, "strip", z.ZodTypeAny, {
                     value: Fr;
                     slot: Fr;
@@ -1203,7 +1282,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
                     value: string;
                     slot: string;
                 }>;
-                nextKey: z.ZodType<Fr, any, string>;
+                nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
             }, "strip", z.ZodTypeAny, {
                 leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1225,7 +1304,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
                 nextIndex: string | number | bigint;
             }>;
             index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+            path: z.ZodArray<ZodFor<Fr>, "many">;
         }, "strip", z.ZodTypeAny, {
             path: Fr[];
             index: bigint;
@@ -1394,7 +1473,7 @@ export declare class AvmAppendLeavesHint {
     constructor(hintKey: AppendOnlyTreeSnapshot, stateAfter: AppendOnlyTreeSnapshot, treeId: MerkleTreeId, leaves: Fr[]);
     static get schema(): z.ZodEffects<z.ZodObject<{
         hintKey: z.ZodEffects<z.ZodObject<{
-            root: z.ZodType<Fr, any, string>;
+            root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
         }, "strip", z.ZodTypeAny, {
             root: Fr;
@@ -1407,7 +1486,7 @@ export declare class AvmAppendLeavesHint {
             nextAvailableLeafIndex: string | number | bigint;
         }>;
         stateAfter: z.ZodEffects<z.ZodObject<{
-            root: z.ZodType<Fr, any, string>;
+            root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
         }, "strip", z.ZodTypeAny, {
             root: Fr;
@@ -1420,7 +1499,7 @@ export declare class AvmAppendLeavesHint {
             nextAvailableLeafIndex: string | number | bigint;
         }>;
         treeId: z.ZodNumber;
-        leaves: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+        leaves: z.ZodArray<ZodFor<Fr>, "many">;
     }, "strip", z.ZodTypeAny, {
         hintKey: AppendOnlyTreeSnapshot;
         treeId: number;
@@ -1491,7 +1570,7 @@ export declare class AvmRevertCheckpointHint {
         newCheckpointId: z.ZodNumber;
         stateBefore: z.ZodEffects<z.ZodObject<{
             l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+                root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -1504,7 +1583,7 @@ export declare class AvmRevertCheckpointHint {
                 nextAvailableLeafIndex: string | number | bigint;
             }>;
             noteHashTree: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+                root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -1517,7 +1596,7 @@ export declare class AvmRevertCheckpointHint {
                 nextAvailableLeafIndex: string | number | bigint;
             }>;
             nullifierTree: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+                root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -1530,7 +1609,7 @@ export declare class AvmRevertCheckpointHint {
                 nextAvailableLeafIndex: string | number | bigint;
             }>;
             publicDataTree: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+                root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -1584,7 +1663,7 @@ export declare class AvmRevertCheckpointHint {
         }>;
         stateAfter: z.ZodEffects<z.ZodObject<{
             l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+                root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -1597,7 +1676,7 @@ export declare class AvmRevertCheckpointHint {
                 nextAvailableLeafIndex: string | number | bigint;
             }>;
             noteHashTree: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+                root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -1610,7 +1689,7 @@ export declare class AvmRevertCheckpointHint {
                 nextAvailableLeafIndex: string | number | bigint;
             }>;
             nullifierTree: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+                root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -1623,7 +1702,7 @@ export declare class AvmRevertCheckpointHint {
                 nextAvailableLeafIndex: string | number | bigint;
             }>;
             publicDataTree: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+                root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -1911,9 +1990,9 @@ export declare class AvmTxHint {
         }>;
         nonRevertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
             contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                contractAddress: ZodFor<AztecAddress>;
                 fields: z.ZodEffects<z.ZodObject<{
-                    fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
+                    fields: z.ZodEffects<z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">, Fr[], string[]>;
                 }, "strip", z.ZodTypeAny, {
                     fields: Fr[];
                 }, {
@@ -1940,7 +2019,7 @@ export declare class AvmTxHint {
                 contractAddress?: any;
             }>, "many">;
             privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                fields: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                fields: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
                 emittedLength: z.ZodNumber;
             }, "strict", z.ZodTypeAny, {
                 fields: Fr[];
@@ -1982,9 +2061,9 @@ export declare class AvmTxHint {
         }>;
         revertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
             contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                contractAddress: ZodFor<AztecAddress>;
                 fields: z.ZodEffects<z.ZodObject<{
-                    fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
+                    fields: z.ZodEffects<z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">, Fr[], string[]>;
                 }, "strip", z.ZodTypeAny, {
                     fields: Fr[];
                 }, {
@@ -2011,7 +2090,7 @@ export declare class AvmTxHint {
                 contractAddress?: any;
             }>, "many">;
             privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                fields: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                fields: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
                 emittedLength: z.ZodNumber;
             }, "strict", z.ZodTypeAny, {
                 fields: Fr[];
@@ -2052,12 +2131,12 @@ export declare class AvmTxHint {
             }[];
         }>;
         nonRevertibleAccumulatedData: z.ZodObject<{
-            noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
-            nullifiers: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+            noteHashes: z.ZodArray<ZodFor<Fr>, "many">;
+            nullifiers: z.ZodArray<ZodFor<Fr>, "many">;
             l2ToL1Messages: 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>;
+                    recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
+                    content: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 }, "strip", z.ZodTypeAny, {
                     content: Fr;
                     recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -2068,7 +2147,7 @@ export declare class AvmTxHint {
                     content: string;
                     recipient: string;
                 }>;
-                contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                contractAddress: ZodFor<AztecAddress>;
             }, "strip", z.ZodTypeAny, {
                 message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                 contractAddress: AztecAddress;
@@ -2101,12 +2180,12 @@ export declare class AvmTxHint {
             }[];
         }>;
         revertibleAccumulatedData: z.ZodObject<{
-            noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
-            nullifiers: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+            noteHashes: z.ZodArray<ZodFor<Fr>, "many">;
+            nullifiers: z.ZodArray<ZodFor<Fr>, "many">;
             l2ToL1Messages: 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>;
+                    recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
+                    content: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 }, "strip", z.ZodTypeAny, {
                     content: Fr;
                     recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -2117,7 +2196,7 @@ export declare class AvmTxHint {
                     content: string;
                     recipient: string;
                 }>;
-                contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                contractAddress: ZodFor<AztecAddress>;
             }, "strip", z.ZodTypeAny, {
                 message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                 contractAddress: AztecAddress;
@@ -2149,9 +2228,9 @@ export declare class AvmTxHint {
                 contractAddress?: any;
             }[];
         }>;
-        setupEnqueuedCalls: z.ZodArray<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>, "many">;
-        appLogicEnqueuedCalls: z.ZodArray<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>, "many">;
-        teardownEnqueuedCall: z.ZodNullable<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>>;
+        setupEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>, "many">;
+        appLogicEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>, "many">;
+        teardownEnqueuedCall: z.ZodNullable<ZodFor<PublicCallRequestWithCalldata>>;
         gasUsedByPrivate: 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>;
@@ -2165,7 +2244,7 @@ export declare class AvmTxHint {
             daGas: string | number | bigint;
             l2Gas: string | number | bigint;
         }>;
-        feePayer: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+        feePayer: ZodFor<AztecAddress>;
     }, "strip", z.ZodTypeAny, {
         hash: string;
         gasSettings: GasSettings;
@@ -2376,13 +2455,13 @@ export declare class AvmExecutionHints {
     static empty(): AvmExecutionHints;
     static get schema(): z.ZodEffects<z.ZodObject<{
         globalVariables: z.ZodEffects<z.ZodObject<{
-            chainId: import("../schemas/schemas.js").ZodFor<Fr>;
-            version: import("../schemas/schemas.js").ZodFor<Fr>;
+            chainId: ZodFor<Fr>;
+            version: ZodFor<Fr>;
             blockNumber: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            slotNumber: import("../schemas/schemas.js").ZodFor<Fr>;
+            slotNumber: ZodFor<Fr>;
             timestamp: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            coinbase: import("../schemas/schemas.js").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
-            feeRecipient: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+            coinbase: ZodFor<import("@aztec/foundation/schemas").EthAddress>;
+            feeRecipient: ZodFor<AztecAddress>;
             gasFees: z.ZodEffects<z.ZodObject<{
                 feePerDaGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                 feePerL2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
@@ -2540,9 +2619,9 @@ export declare class AvmExecutionHints {
             }>;
             nonRevertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
                 contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                    contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                    contractAddress: ZodFor<AztecAddress>;
                     fields: z.ZodEffects<z.ZodObject<{
-                        fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
+                        fields: z.ZodEffects<z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">, Fr[], string[]>;
                     }, "strip", z.ZodTypeAny, {
                         fields: Fr[];
                     }, {
@@ -2569,7 +2648,7 @@ export declare class AvmExecutionHints {
                     contractAddress?: any;
                 }>, "many">;
                 privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                    fields: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                    fields: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
                     emittedLength: z.ZodNumber;
                 }, "strict", z.ZodTypeAny, {
                     fields: Fr[];
@@ -2611,9 +2690,9 @@ export declare class AvmExecutionHints {
             }>;
             revertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
                 contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                    contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                    contractAddress: ZodFor<AztecAddress>;
                     fields: z.ZodEffects<z.ZodObject<{
-                        fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
+                        fields: z.ZodEffects<z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">, Fr[], string[]>;
                     }, "strip", z.ZodTypeAny, {
                         fields: Fr[];
                     }, {
@@ -2640,7 +2719,7 @@ export declare class AvmExecutionHints {
                     contractAddress?: any;
                 }>, "many">;
                 privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                    fields: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                    fields: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
                     emittedLength: z.ZodNumber;
                 }, "strict", z.ZodTypeAny, {
                     fields: Fr[];
@@ -2681,12 +2760,12 @@ export declare class AvmExecutionHints {
                 }[];
             }>;
             nonRevertibleAccumulatedData: z.ZodObject<{
-                noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
-                nullifiers: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+                noteHashes: z.ZodArray<ZodFor<Fr>, "many">;
+                nullifiers: z.ZodArray<ZodFor<Fr>, "many">;
                 l2ToL1Messages: 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>;
+                        recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
+                        content: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     }, "strip", z.ZodTypeAny, {
                         content: Fr;
                         recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -2697,7 +2776,7 @@ export declare class AvmExecutionHints {
                         content: string;
                         recipient: string;
                     }>;
-                    contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                    contractAddress: ZodFor<AztecAddress>;
                 }, "strip", z.ZodTypeAny, {
                     message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                     contractAddress: AztecAddress;
@@ -2730,12 +2809,12 @@ export declare class AvmExecutionHints {
                 }[];
             }>;
             revertibleAccumulatedData: z.ZodObject<{
-                noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
-                nullifiers: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+                noteHashes: z.ZodArray<ZodFor<Fr>, "many">;
+                nullifiers: z.ZodArray<ZodFor<Fr>, "many">;
                 l2ToL1Messages: 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>;
+                        recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
+                        content: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     }, "strip", z.ZodTypeAny, {
                         content: Fr;
                         recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -2746,7 +2825,7 @@ export declare class AvmExecutionHints {
                         content: string;
                         recipient: string;
                     }>;
-                    contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                    contractAddress: ZodFor<AztecAddress>;
                 }, "strip", z.ZodTypeAny, {
                     message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                     contractAddress: AztecAddress;
@@ -2778,9 +2857,9 @@ export declare class AvmExecutionHints {
                     contractAddress?: any;
                 }[];
             }>;
-            setupEnqueuedCalls: z.ZodArray<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>, "many">;
-            appLogicEnqueuedCalls: z.ZodArray<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>, "many">;
-            teardownEnqueuedCall: z.ZodNullable<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>>;
+            setupEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>, "many">;
+            appLogicEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>, "many">;
+            teardownEnqueuedCall: z.ZodNullable<ZodFor<PublicCallRequestWithCalldata>>;
             gasUsedByPrivate: 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>;
@@ -2794,7 +2873,7 @@ export declare class AvmExecutionHints {
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             }>;
-            feePayer: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+            feePayer: ZodFor<AztecAddress>;
         }, "strip", z.ZodTypeAny, {
             hash: string;
             gasSettings: GasSettings;
@@ -2978,7 +3057,7 @@ export declare class AvmExecutionHints {
             teardownEnqueuedCall?: any;
         }>;
         protocolContracts: z.ZodEffects<z.ZodObject<{
-            derivedAddresses: z.ZodArray<import("../schemas/schemas.js").ZodFor<AztecAddress>, "many">;
+            derivedAddresses: z.ZodArray<ZodFor<AztecAddress>, "many">;
         }, "strip", z.ZodTypeAny, {
             derivedAddresses: AztecAddress[];
         }, {
@@ -2988,32 +3067,104 @@ export declare class AvmExecutionHints {
         }>;
         contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodNumber;
-            address: import("../schemas/schemas.js").ZodFor<AztecAddress>;
-            salt: import("../schemas/schemas.js").ZodFor<Fr>;
-            deployer: import("../schemas/schemas.js").ZodFor<AztecAddress>;
-            currentContractClassId: import("../schemas/schemas.js").ZodFor<Fr>;
-            originalContractClassId: import("../schemas/schemas.js").ZodFor<Fr>;
-            initializationHash: import("../schemas/schemas.js").ZodFor<Fr>;
+            address: ZodFor<AztecAddress>;
+            salt: ZodFor<Fr>;
+            deployer: ZodFor<AztecAddress>;
+            currentContractClassId: ZodFor<Fr>;
+            originalContractClassId: ZodFor<Fr>;
+            initializationHash: ZodFor<Fr>;
             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>;
+                masterNullifierPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
+                    x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                    y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                }, "strip", z.ZodTypeAny, {
+                    x: Fr;
+                    y: Fr;
+                }, {
+                    x: string;
+                    y: string;
+                }>, import("@aztec/foundation/fields").Point, {
+                    x: string;
+                    y: string;
+                }>]>;
+                masterIncomingViewingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
+                    x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                    y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                }, "strip", z.ZodTypeAny, {
+                    x: Fr;
+                    y: Fr;
+                }, {
+                    x: string;
+                    y: string;
+                }>, import("@aztec/foundation/fields").Point, {
+                    x: string;
+                    y: string;
+                }>]>;
+                masterOutgoingViewingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
+                    x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                    y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                }, "strip", z.ZodTypeAny, {
+                    x: Fr;
+                    y: Fr;
+                }, {
+                    x: string;
+                    y: string;
+                }>, import("@aztec/foundation/fields").Point, {
+                    x: string;
+                    y: string;
+                }>]>;
+                masterTaggingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
+                    x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                    y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                }, "strip", z.ZodTypeAny, {
+                    x: Fr;
+                    y: Fr;
+                }, {
+                    x: string;
+                    y: string;
+                }>, import("@aztec/foundation/fields").Point, {
+                    x: string;
+                    y: 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;
+                masterNullifierPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
+                masterIncomingViewingPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
+                masterOutgoingViewingPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
+                masterTaggingPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
             }>, PublicKeys, {
-                masterNullifierPublicKey: string;
-                masterIncomingViewingPublicKey: string;
-                masterOutgoingViewingPublicKey: string;
-                masterTaggingPublicKey: string;
+                masterNullifierPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
+                masterIncomingViewingPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
+                masterOutgoingViewingPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
+                masterTaggingPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
             }>;
         }, "strip", z.ZodTypeAny, {
             salt: Fr;
@@ -3026,10 +3177,22 @@ export declare class AvmExecutionHints {
             hintKey: number;
         }, {
             publicKeys: {
-                masterNullifierPublicKey: string;
-                masterIncomingViewingPublicKey: string;
-                masterOutgoingViewingPublicKey: string;
-                masterTaggingPublicKey: string;
+                masterNullifierPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
+                masterIncomingViewingPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
+                masterOutgoingViewingPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
+                masterTaggingPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
             };
             hintKey: number;
             salt?: any;
@@ -3040,10 +3203,22 @@ export declare class AvmExecutionHints {
             address?: any;
         }>, AvmContractInstanceHint, {
             publicKeys: {
-                masterNullifierPublicKey: string;
-                masterIncomingViewingPublicKey: string;
-                masterOutgoingViewingPublicKey: string;
-                masterTaggingPublicKey: string;
+                masterNullifierPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
+                masterIncomingViewingPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
+                masterOutgoingViewingPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
+                masterTaggingPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
             };
             hintKey: number;
             salt?: any;
@@ -3055,51 +3230,33 @@ export declare class AvmExecutionHints {
         }>, "many">;
         contractClasses: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodNumber;
-            classId: import("../schemas/schemas.js").ZodFor<Fr>;
-            artifactHash: import("../schemas/schemas.js").ZodFor<Fr>;
-            privateFunctionsRoot: import("../schemas/schemas.js").ZodFor<Fr>;
-            packedBytecode: z.ZodUnion<[z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, Buffer<ArrayBuffer>, 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<ArrayBuffer>, {
-                type: "Buffer";
-                data: number[];
-            }>]>;
+            classId: ZodFor<Fr>;
+            artifactHash: ZodFor<Fr>;
+            privateFunctionsRoot: ZodFor<Fr>;
+            packedBytecode: ZodFor<Buffer<ArrayBufferLike>>;
         }, "strip", z.ZodTypeAny, {
             artifactHash: Fr;
-            packedBytecode: Buffer<ArrayBuffer>;
+            packedBytecode: Buffer<ArrayBufferLike>;
             privateFunctionsRoot: Fr;
             hintKey: number;
             classId: Fr;
         }, {
-            packedBytecode: string | {
-                type: "Buffer";
-                data: number[];
-            };
             hintKey: number;
             artifactHash?: any;
+            packedBytecode?: any;
             privateFunctionsRoot?: any;
             classId?: any;
         }>, AvmContractClassHint, {
-            packedBytecode: string | {
-                type: "Buffer";
-                data: number[];
-            };
             hintKey: number;
             artifactHash?: any;
+            packedBytecode?: any;
             privateFunctionsRoot?: any;
             classId?: any;
         }>, "many">;
         bytecodeCommitments: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodNumber;
-            classId: import("../schemas/schemas.js").ZodFor<Fr>;
-            commitment: import("../schemas/schemas.js").ZodFor<Fr>;
+            classId: ZodFor<Fr>;
+            commitment: ZodFor<Fr>;
         }, "strip", z.ZodTypeAny, {
             hintKey: number;
             classId: Fr;
@@ -3114,8 +3271,8 @@ export declare class AvmExecutionHints {
             commitment?: any;
         }>, "many">;
         debugFunctionNames: z.ZodArray<z.ZodEffects<z.ZodObject<{
-            address: import("../schemas/schemas.js").ZodFor<AztecAddress>;
-            selector: import("../schemas/schemas.js").ZodFor<Fr>;
+            address: ZodFor<AztecAddress>;
+            selector: ZodFor<Fr>;
             name: z.ZodString;
         }, "strip", z.ZodTypeAny, {
             name: string;
@@ -3132,7 +3289,7 @@ export declare class AvmExecutionHints {
         }>, "many">;
         startingTreeRoots: z.ZodEffects<z.ZodObject<{
             l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+                root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -3145,7 +3302,7 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             }>;
             noteHashTree: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+                root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -3158,7 +3315,7 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             }>;
             nullifierTree: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+                root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -3171,7 +3328,7 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             }>;
             publicDataTree: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+                root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -3225,7 +3382,7 @@ export declare class AvmExecutionHints {
         }>;
         getSiblingPathHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+                root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -3239,7 +3396,7 @@ export declare class AvmExecutionHints {
             }>;
             treeId: z.ZodNumber;
             index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+            path: z.ZodArray<ZodFor<Fr>, "many">;
         }, "strip", z.ZodTypeAny, {
             path: Fr[];
             index: bigint;
@@ -3264,7 +3421,7 @@ export declare class AvmExecutionHints {
         }>, "many">;
         getPreviousValueIndexHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+                root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -3277,7 +3434,7 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             }>;
             treeId: z.ZodNumber;
-            value: import("../schemas/schemas.js").ZodFor<Fr>;
+            value: ZodFor<Fr>;
             index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
             alreadyPresent: z.ZodBoolean;
         }, "strip", z.ZodTypeAny, {
@@ -3307,7 +3464,7 @@ export declare class AvmExecutionHints {
         }>, "many">;
         getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+                root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -3322,7 +3479,7 @@ export declare class AvmExecutionHints {
             index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
             leafPreimage: z.ZodEffects<z.ZodObject<{
                 leaf: z.ZodEffects<z.ZodObject<{
-                    nullifier: z.ZodType<Fr, any, string>;
+                    nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 }, "strip", z.ZodTypeAny, {
                     nullifier: Fr;
                 }, {
@@ -3330,7 +3487,7 @@ export declare class AvmExecutionHints {
                 }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
                     nullifier: string;
                 }>;
-                nextKey: z.ZodType<Fr, any, string>;
+                nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
             }, "strip", z.ZodTypeAny, {
                 leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -3350,8 +3507,8 @@ export declare class AvmExecutionHints {
                 nextIndex: string | number | bigint;
             }> | z.ZodEffects<z.ZodObject<{
                 leaf: z.ZodEffects<z.ZodObject<{
-                    slot: z.ZodType<Fr, any, string>;
-                    value: z.ZodType<Fr, any, string>;
+                    slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                    value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 }, "strip", z.ZodTypeAny, {
                     value: Fr;
                     slot: Fr;
@@ -3362,7 +3519,7 @@ export declare class AvmExecutionHints {
                     value: string;
                     slot: string;
                 }>;
-                nextKey: z.ZodType<Fr, any, string>;
+                nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
             }, "strip", z.ZodTypeAny, {
                 leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -3434,7 +3591,7 @@ export declare class AvmExecutionHints {
         }>, "many">;
         getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+                root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -3449,7 +3606,7 @@ export declare class AvmExecutionHints {
             index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
             leafPreimage: z.ZodEffects<z.ZodObject<{
                 leaf: z.ZodEffects<z.ZodObject<{
-                    nullifier: z.ZodType<Fr, any, string>;
+                    nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 }, "strip", z.ZodTypeAny, {
                     nullifier: Fr;
                 }, {
@@ -3457,7 +3614,7 @@ export declare class AvmExecutionHints {
                 }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
                     nullifier: string;
                 }>;
-                nextKey: z.ZodType<Fr, any, string>;
+                nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
             }, "strip", z.ZodTypeAny, {
                 leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -3477,8 +3634,8 @@ export declare class AvmExecutionHints {
                 nextIndex: string | number | bigint;
             }> | z.ZodEffects<z.ZodObject<{
                 leaf: z.ZodEffects<z.ZodObject<{
-                    slot: z.ZodType<Fr, any, string>;
-                    value: z.ZodType<Fr, any, string>;
+                    slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                    value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 }, "strip", z.ZodTypeAny, {
                     value: Fr;
                     slot: Fr;
@@ -3489,7 +3646,7 @@ export declare class AvmExecutionHints {
                     value: string;
                     slot: string;
                 }>;
-                nextKey: z.ZodType<Fr, any, string>;
+                nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
             }, "strip", z.ZodTypeAny, {
                 leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -3561,7 +3718,7 @@ export declare class AvmExecutionHints {
         }>, "many">;
         getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+                root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -3575,7 +3732,7 @@ export declare class AvmExecutionHints {
             }>;
             treeId: z.ZodNumber;
             index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            value: import("../schemas/schemas.js").ZodFor<Fr>;
+            value: ZodFor<Fr>;
         }, "strip", z.ZodTypeAny, {
             value: Fr;
             index: bigint;
@@ -3600,7 +3757,7 @@ export declare class AvmExecutionHints {
         }>, "many">;
         sequentialInsertHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+                root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -3613,7 +3770,7 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             }>;
             stateAfter: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+                root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -3627,7 +3784,7 @@ export declare class AvmExecutionHints {
             }>;
             treeId: z.ZodNumber;
             leaf: z.ZodEffects<z.ZodObject<{
-                nullifier: z.ZodType<Fr, any, string>;
+                nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             }, "strip", z.ZodTypeAny, {
                 nullifier: Fr;
             }, {
@@ -3635,8 +3792,8 @@ export declare class AvmExecutionHints {
             }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
                 nullifier: string;
             }> | z.ZodEffects<z.ZodObject<{
-                slot: z.ZodType<Fr, any, string>;
-                value: z.ZodType<Fr, any, string>;
+                slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             }, "strip", z.ZodTypeAny, {
                 value: Fr;
                 slot: Fr;
@@ -3650,7 +3807,7 @@ export declare class AvmExecutionHints {
             lowLeavesWitnessData: z.ZodObject<{
                 leaf: z.ZodEffects<z.ZodObject<{
                     leaf: z.ZodEffects<z.ZodObject<{
-                        nullifier: z.ZodType<Fr, any, string>;
+                        nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     }, "strip", z.ZodTypeAny, {
                         nullifier: Fr;
                     }, {
@@ -3658,7 +3815,7 @@ export declare class AvmExecutionHints {
                     }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
                         nullifier: string;
                     }>;
-                    nextKey: z.ZodType<Fr, any, string>;
+                    nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                 }, "strip", z.ZodTypeAny, {
                     leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -3678,8 +3835,8 @@ export declare class AvmExecutionHints {
                     nextIndex: string | number | bigint;
                 }> | z.ZodEffects<z.ZodObject<{
                     leaf: z.ZodEffects<z.ZodObject<{
-                        slot: z.ZodType<Fr, any, string>;
-                        value: z.ZodType<Fr, any, string>;
+                        slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                        value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     }, "strip", z.ZodTypeAny, {
                         value: Fr;
                         slot: Fr;
@@ -3690,7 +3847,7 @@ export declare class AvmExecutionHints {
                         value: string;
                         slot: string;
                     }>;
-                    nextKey: z.ZodType<Fr, any, string>;
+                    nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                 }, "strip", z.ZodTypeAny, {
                     leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -3712,7 +3869,7 @@ export declare class AvmExecutionHints {
                     nextIndex: string | number | bigint;
                 }>;
                 index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+                path: z.ZodArray<ZodFor<Fr>, "many">;
             }, "strip", z.ZodTypeAny, {
                 path: Fr[];
                 index: bigint;
@@ -3738,7 +3895,7 @@ export declare class AvmExecutionHints {
             insertionWitnessData: z.ZodObject<{
                 leaf: z.ZodEffects<z.ZodObject<{
                     leaf: z.ZodEffects<z.ZodObject<{
-                        nullifier: z.ZodType<Fr, any, string>;
+                        nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     }, "strip", z.ZodTypeAny, {
                         nullifier: Fr;
                     }, {
@@ -3746,7 +3903,7 @@ export declare class AvmExecutionHints {
                     }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
                         nullifier: string;
                     }>;
-                    nextKey: z.ZodType<Fr, any, string>;
+                    nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                 }, "strip", z.ZodTypeAny, {
                     leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -3766,8 +3923,8 @@ export declare class AvmExecutionHints {
                     nextIndex: string | number | bigint;
                 }> | z.ZodEffects<z.ZodObject<{
                     leaf: z.ZodEffects<z.ZodObject<{
-                        slot: z.ZodType<Fr, any, string>;
-                        value: z.ZodType<Fr, any, string>;
+                        slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                        value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     }, "strip", z.ZodTypeAny, {
                         value: Fr;
                         slot: Fr;
@@ -3778,7 +3935,7 @@ export declare class AvmExecutionHints {
                         value: string;
                         slot: string;
                     }>;
-                    nextKey: z.ZodType<Fr, any, string>;
+                    nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                 }, "strip", z.ZodTypeAny, {
                     leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -3800,7 +3957,7 @@ export declare class AvmExecutionHints {
                     nextIndex: string | number | bigint;
                 }>;
                 index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+                path: z.ZodArray<ZodFor<Fr>, "many">;
             }, "strip", z.ZodTypeAny, {
                 path: Fr[];
                 index: bigint;
@@ -3960,7 +4117,7 @@ export declare class AvmExecutionHints {
         }>, "many">;
         sequentialInsertHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+                root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -3973,7 +4130,7 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             }>;
             stateAfter: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+                root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -3987,7 +4144,7 @@ export declare class AvmExecutionHints {
             }>;
             treeId: z.ZodNumber;
             leaf: z.ZodEffects<z.ZodObject<{
-                nullifier: z.ZodType<Fr, any, string>;
+                nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             }, "strip", z.ZodTypeAny, {
                 nullifier: Fr;
             }, {
@@ -3995,8 +4152,8 @@ export declare class AvmExecutionHints {
             }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
                 nullifier: string;
             }> | z.ZodEffects<z.ZodObject<{
-                slot: z.ZodType<Fr, any, string>;
-                value: z.ZodType<Fr, any, string>;
+                slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             }, "strip", z.ZodTypeAny, {
                 value: Fr;
                 slot: Fr;
@@ -4010,7 +4167,7 @@ export declare class AvmExecutionHints {
             lowLeavesWitnessData: z.ZodObject<{
                 leaf: z.ZodEffects<z.ZodObject<{
                     leaf: z.ZodEffects<z.ZodObject<{
-                        nullifier: z.ZodType<Fr, any, string>;
+                        nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     }, "strip", z.ZodTypeAny, {
                         nullifier: Fr;
                     }, {
@@ -4018,7 +4175,7 @@ export declare class AvmExecutionHints {
                     }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
                         nullifier: string;
                     }>;
-                    nextKey: z.ZodType<Fr, any, string>;
+                    nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                 }, "strip", z.ZodTypeAny, {
                     leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -4038,8 +4195,8 @@ export declare class AvmExecutionHints {
                     nextIndex: string | number | bigint;
                 }> | z.ZodEffects<z.ZodObject<{
                     leaf: z.ZodEffects<z.ZodObject<{
-                        slot: z.ZodType<Fr, any, string>;
-                        value: z.ZodType<Fr, any, string>;
+                        slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                        value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     }, "strip", z.ZodTypeAny, {
                         value: Fr;
                         slot: Fr;
@@ -4050,7 +4207,7 @@ export declare class AvmExecutionHints {
                         value: string;
                         slot: string;
                     }>;
-                    nextKey: z.ZodType<Fr, any, string>;
+                    nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                 }, "strip", z.ZodTypeAny, {
                     leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -4072,7 +4229,7 @@ export declare class AvmExecutionHints {
                     nextIndex: string | number | bigint;
                 }>;
                 index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+                path: z.ZodArray<ZodFor<Fr>, "many">;
             }, "strip", z.ZodTypeAny, {
                 path: Fr[];
                 index: bigint;
@@ -4098,7 +4255,7 @@ export declare class AvmExecutionHints {
             insertionWitnessData: z.ZodObject<{
                 leaf: z.ZodEffects<z.ZodObject<{
                     leaf: z.ZodEffects<z.ZodObject<{
-                        nullifier: z.ZodType<Fr, any, string>;
+                        nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     }, "strip", z.ZodTypeAny, {
                         nullifier: Fr;
                     }, {
@@ -4106,7 +4263,7 @@ export declare class AvmExecutionHints {
                     }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
                         nullifier: string;
                     }>;
-                    nextKey: z.ZodType<Fr, any, string>;
+                    nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                 }, "strip", z.ZodTypeAny, {
                     leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -4126,8 +4283,8 @@ export declare class AvmExecutionHints {
                     nextIndex: string | number | bigint;
                 }> | z.ZodEffects<z.ZodObject<{
                     leaf: z.ZodEffects<z.ZodObject<{
-                        slot: z.ZodType<Fr, any, string>;
-                        value: z.ZodType<Fr, any, string>;
+                        slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                        value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     }, "strip", z.ZodTypeAny, {
                         value: Fr;
                         slot: Fr;
@@ -4138,7 +4295,7 @@ export declare class AvmExecutionHints {
                         value: string;
                         slot: string;
                     }>;
-                    nextKey: z.ZodType<Fr, any, string>;
+                    nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                 }, "strip", z.ZodTypeAny, {
                     leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -4160,7 +4317,7 @@ export declare class AvmExecutionHints {
                     nextIndex: string | number | bigint;
                 }>;
                 index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+                path: z.ZodArray<ZodFor<Fr>, "many">;
             }, "strip", z.ZodTypeAny, {
                 path: Fr[];
                 index: bigint;
@@ -4320,7 +4477,7 @@ export declare class AvmExecutionHints {
         }>, "many">;
         appendLeavesHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+                root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -4333,7 +4490,7 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             }>;
             stateAfter: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
+                root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             }, "strip", z.ZodTypeAny, {
                 root: Fr;
@@ -4346,7 +4503,7 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             }>;
             treeId: z.ZodNumber;
-            leaves: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+            leaves: z.ZodArray<ZodFor<Fr>, "many">;
         }, "strip", z.ZodTypeAny, {
             hintKey: AppendOnlyTreeSnapshot;
             treeId: number;
@@ -4415,7 +4572,7 @@ export declare class AvmExecutionHints {
             newCheckpointId: z.ZodNumber;
             stateBefore: z.ZodEffects<z.ZodObject<{
                 l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -4428,7 +4585,7 @@ export declare class AvmExecutionHints {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 noteHashTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -4441,7 +4598,7 @@ export declare class AvmExecutionHints {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 nullifierTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -4454,7 +4611,7 @@ export declare class AvmExecutionHints {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 publicDataTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -4508,7 +4665,7 @@ export declare class AvmExecutionHints {
             }>;
             stateAfter: z.ZodEffects<z.ZodObject<{
                 l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -4521,7 +4678,7 @@ export declare class AvmExecutionHints {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 noteHashTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -4534,7 +4691,7 @@ export declare class AvmExecutionHints {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 nullifierTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -4547,7 +4704,7 @@ export declare class AvmExecutionHints {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 publicDataTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -4898,10 +5055,22 @@ export declare class AvmExecutionHints {
         };
         contractInstances: {
             publicKeys: {
-                masterNullifierPublicKey: string;
-                masterIncomingViewingPublicKey: string;
-                masterOutgoingViewingPublicKey: string;
-                masterTaggingPublicKey: string;
+                masterNullifierPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
+                masterIncomingViewingPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
+                masterOutgoingViewingPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
+                masterTaggingPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
             };
             hintKey: number;
             salt?: any;
@@ -4912,12 +5081,9 @@ export declare class AvmExecutionHints {
             address?: any;
         }[];
         contractClasses: {
-            packedBytecode: string | {
-                type: "Buffer";
-                data: number[];
-            };
             hintKey: number;
             artifactHash?: any;
+            packedBytecode?: any;
             privateFunctionsRoot?: any;
             classId?: any;
         }[];
@@ -5303,10 +5469,22 @@ export declare class AvmExecutionHints {
         };
         contractInstances: {
             publicKeys: {
-                masterNullifierPublicKey: string;
-                masterIncomingViewingPublicKey: string;
-                masterOutgoingViewingPublicKey: string;
-                masterTaggingPublicKey: string;
+                masterNullifierPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
+                masterIncomingViewingPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
+                masterOutgoingViewingPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
+                masterTaggingPublicKey: string | {
+                    x: string;
+                    y: string;
+                };
             };
             hintKey: number;
             salt?: any;
@@ -5317,12 +5495,9 @@ export declare class AvmExecutionHints {
             address?: any;
         }[];
         contractClasses: {
-            packedBytecode: string | {
-                type: "Buffer";
-                data: number[];
-            };
             hintKey: number;
             artifactHash?: any;
+            packedBytecode?: any;
             privateFunctionsRoot?: any;
             classId?: any;
         }[];
@@ -5618,13 +5793,13 @@ export declare class AvmCircuitInputs {
     static get schema(): z.ZodEffects<z.ZodObject<{
         hints: z.ZodEffects<z.ZodObject<{
             globalVariables: z.ZodEffects<z.ZodObject<{
-                chainId: import("../schemas/schemas.js").ZodFor<Fr>;
-                version: import("../schemas/schemas.js").ZodFor<Fr>;
+                chainId: ZodFor<Fr>;
+                version: ZodFor<Fr>;
                 blockNumber: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                slotNumber: import("../schemas/schemas.js").ZodFor<Fr>;
+                slotNumber: ZodFor<Fr>;
                 timestamp: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                coinbase: import("../schemas/schemas.js").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
-                feeRecipient: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                coinbase: ZodFor<import("@aztec/foundation/schemas").EthAddress>;
+                feeRecipient: ZodFor<AztecAddress>;
                 gasFees: z.ZodEffects<z.ZodObject<{
                     feePerDaGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                     feePerL2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
@@ -5782,9 +5957,9 @@ export declare class AvmCircuitInputs {
                 }>;
                 nonRevertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
                     contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                        contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                        contractAddress: ZodFor<AztecAddress>;
                         fields: z.ZodEffects<z.ZodObject<{
-                            fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
+                            fields: z.ZodEffects<z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">, Fr[], string[]>;
                         }, "strip", z.ZodTypeAny, {
                             fields: Fr[];
                         }, {
@@ -5811,7 +5986,7 @@ export declare class AvmCircuitInputs {
                         contractAddress?: any;
                     }>, "many">;
                     privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                        fields: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                        fields: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
                         emittedLength: z.ZodNumber;
                     }, "strict", z.ZodTypeAny, {
                         fields: Fr[];
@@ -5853,9 +6028,9 @@ export declare class AvmCircuitInputs {
                 }>;
                 revertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
                     contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                        contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                        contractAddress: ZodFor<AztecAddress>;
                         fields: z.ZodEffects<z.ZodObject<{
-                            fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
+                            fields: z.ZodEffects<z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">, Fr[], string[]>;
                         }, "strip", z.ZodTypeAny, {
                             fields: Fr[];
                         }, {
@@ -5882,7 +6057,7 @@ export declare class AvmCircuitInputs {
                         contractAddress?: any;
                     }>, "many">;
                     privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                        fields: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                        fields: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
                         emittedLength: z.ZodNumber;
                     }, "strict", z.ZodTypeAny, {
                         fields: Fr[];
@@ -5923,12 +6098,12 @@ export declare class AvmCircuitInputs {
                     }[];
                 }>;
                 nonRevertibleAccumulatedData: z.ZodObject<{
-                    noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
-                    nullifiers: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+                    noteHashes: z.ZodArray<ZodFor<Fr>, "many">;
+                    nullifiers: z.ZodArray<ZodFor<Fr>, "many">;
                     l2ToL1Messages: 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>;
+                            recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
+                            content: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         }, "strip", z.ZodTypeAny, {
                             content: Fr;
                             recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -5939,7 +6114,7 @@ export declare class AvmCircuitInputs {
                             content: string;
                             recipient: string;
                         }>;
-                        contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                        contractAddress: ZodFor<AztecAddress>;
                     }, "strip", z.ZodTypeAny, {
                         message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                         contractAddress: AztecAddress;
@@ -5972,12 +6147,12 @@ export declare class AvmCircuitInputs {
                     }[];
                 }>;
                 revertibleAccumulatedData: z.ZodObject<{
-                    noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
-                    nullifiers: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+                    noteHashes: z.ZodArray<ZodFor<Fr>, "many">;
+                    nullifiers: z.ZodArray<ZodFor<Fr>, "many">;
                     l2ToL1Messages: 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>;
+                            recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
+                            content: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         }, "strip", z.ZodTypeAny, {
                             content: Fr;
                             recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -5988,7 +6163,7 @@ export declare class AvmCircuitInputs {
                             content: string;
                             recipient: string;
                         }>;
-                        contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                        contractAddress: ZodFor<AztecAddress>;
                     }, "strip", z.ZodTypeAny, {
                         message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                         contractAddress: AztecAddress;
@@ -6020,9 +6195,9 @@ export declare class AvmCircuitInputs {
                         contractAddress?: any;
                     }[];
                 }>;
-                setupEnqueuedCalls: z.ZodArray<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>, "many">;
-                appLogicEnqueuedCalls: z.ZodArray<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>, "many">;
-                teardownEnqueuedCall: z.ZodNullable<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>>;
+                setupEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>, "many">;
+                appLogicEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>, "many">;
+                teardownEnqueuedCall: z.ZodNullable<ZodFor<PublicCallRequestWithCalldata>>;
                 gasUsedByPrivate: 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>;
@@ -6036,7 +6211,7 @@ export declare class AvmCircuitInputs {
                     daGas: string | number | bigint;
                     l2Gas: string | number | bigint;
                 }>;
-                feePayer: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                feePayer: ZodFor<AztecAddress>;
             }, "strip", z.ZodTypeAny, {
                 hash: string;
                 gasSettings: GasSettings;
@@ -6220,7 +6395,7 @@ export declare class AvmCircuitInputs {
                 teardownEnqueuedCall?: any;
             }>;
             protocolContracts: z.ZodEffects<z.ZodObject<{
-                derivedAddresses: z.ZodArray<import("../schemas/schemas.js").ZodFor<AztecAddress>, "many">;
+                derivedAddresses: z.ZodArray<ZodFor<AztecAddress>, "many">;
             }, "strip", z.ZodTypeAny, {
                 derivedAddresses: AztecAddress[];
             }, {
@@ -6230,32 +6405,104 @@ export declare class AvmCircuitInputs {
             }>;
             contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 hintKey: z.ZodNumber;
-                address: import("../schemas/schemas.js").ZodFor<AztecAddress>;
-                salt: import("../schemas/schemas.js").ZodFor<Fr>;
-                deployer: import("../schemas/schemas.js").ZodFor<AztecAddress>;
-                currentContractClassId: import("../schemas/schemas.js").ZodFor<Fr>;
-                originalContractClassId: import("../schemas/schemas.js").ZodFor<Fr>;
-                initializationHash: import("../schemas/schemas.js").ZodFor<Fr>;
+                address: ZodFor<AztecAddress>;
+                salt: ZodFor<Fr>;
+                deployer: ZodFor<AztecAddress>;
+                currentContractClassId: ZodFor<Fr>;
+                originalContractClassId: ZodFor<Fr>;
+                initializationHash: ZodFor<Fr>;
                 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>;
+                    masterNullifierPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
+                        x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                        y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                    }, "strip", z.ZodTypeAny, {
+                        x: Fr;
+                        y: Fr;
+                    }, {
+                        x: string;
+                        y: string;
+                    }>, import("@aztec/foundation/fields").Point, {
+                        x: string;
+                        y: string;
+                    }>]>;
+                    masterIncomingViewingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
+                        x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                        y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                    }, "strip", z.ZodTypeAny, {
+                        x: Fr;
+                        y: Fr;
+                    }, {
+                        x: string;
+                        y: string;
+                    }>, import("@aztec/foundation/fields").Point, {
+                        x: string;
+                        y: string;
+                    }>]>;
+                    masterOutgoingViewingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
+                        x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                        y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                    }, "strip", z.ZodTypeAny, {
+                        x: Fr;
+                        y: Fr;
+                    }, {
+                        x: string;
+                        y: string;
+                    }>, import("@aztec/foundation/fields").Point, {
+                        x: string;
+                        y: string;
+                    }>]>;
+                    masterTaggingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
+                        x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                        y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                    }, "strip", z.ZodTypeAny, {
+                        x: Fr;
+                        y: Fr;
+                    }, {
+                        x: string;
+                        y: string;
+                    }>, import("@aztec/foundation/fields").Point, {
+                        x: string;
+                        y: 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;
+                    masterNullifierPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterIncomingViewingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterOutgoingViewingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterTaggingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
                 }>, PublicKeys, {
-                    masterNullifierPublicKey: string;
-                    masterIncomingViewingPublicKey: string;
-                    masterOutgoingViewingPublicKey: string;
-                    masterTaggingPublicKey: string;
+                    masterNullifierPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterIncomingViewingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterOutgoingViewingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterTaggingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
                 }>;
             }, "strip", z.ZodTypeAny, {
                 salt: Fr;
@@ -6268,10 +6515,22 @@ export declare class AvmCircuitInputs {
                 hintKey: number;
             }, {
                 publicKeys: {
-                    masterNullifierPublicKey: string;
-                    masterIncomingViewingPublicKey: string;
-                    masterOutgoingViewingPublicKey: string;
-                    masterTaggingPublicKey: string;
+                    masterNullifierPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterIncomingViewingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterOutgoingViewingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterTaggingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
                 };
                 hintKey: number;
                 salt?: any;
@@ -6282,10 +6541,22 @@ export declare class AvmCircuitInputs {
                 address?: any;
             }>, AvmContractInstanceHint, {
                 publicKeys: {
-                    masterNullifierPublicKey: string;
-                    masterIncomingViewingPublicKey: string;
-                    masterOutgoingViewingPublicKey: string;
-                    masterTaggingPublicKey: string;
+                    masterNullifierPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterIncomingViewingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterOutgoingViewingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterTaggingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
                 };
                 hintKey: number;
                 salt?: any;
@@ -6297,51 +6568,33 @@ export declare class AvmCircuitInputs {
             }>, "many">;
             contractClasses: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 hintKey: z.ZodNumber;
-                classId: import("../schemas/schemas.js").ZodFor<Fr>;
-                artifactHash: import("../schemas/schemas.js").ZodFor<Fr>;
-                privateFunctionsRoot: import("../schemas/schemas.js").ZodFor<Fr>;
-                packedBytecode: z.ZodUnion<[z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, Buffer<ArrayBuffer>, 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<ArrayBuffer>, {
-                    type: "Buffer";
-                    data: number[];
-                }>]>;
+                classId: ZodFor<Fr>;
+                artifactHash: ZodFor<Fr>;
+                privateFunctionsRoot: ZodFor<Fr>;
+                packedBytecode: ZodFor<Buffer<ArrayBufferLike>>;
             }, "strip", z.ZodTypeAny, {
                 artifactHash: Fr;
-                packedBytecode: Buffer<ArrayBuffer>;
+                packedBytecode: Buffer<ArrayBufferLike>;
                 privateFunctionsRoot: Fr;
                 hintKey: number;
                 classId: Fr;
             }, {
-                packedBytecode: string | {
-                    type: "Buffer";
-                    data: number[];
-                };
                 hintKey: number;
                 artifactHash?: any;
+                packedBytecode?: any;
                 privateFunctionsRoot?: any;
                 classId?: any;
             }>, AvmContractClassHint, {
-                packedBytecode: string | {
-                    type: "Buffer";
-                    data: number[];
-                };
                 hintKey: number;
                 artifactHash?: any;
+                packedBytecode?: any;
                 privateFunctionsRoot?: any;
                 classId?: any;
             }>, "many">;
             bytecodeCommitments: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 hintKey: z.ZodNumber;
-                classId: import("../schemas/schemas.js").ZodFor<Fr>;
-                commitment: import("../schemas/schemas.js").ZodFor<Fr>;
+                classId: ZodFor<Fr>;
+                commitment: ZodFor<Fr>;
             }, "strip", z.ZodTypeAny, {
                 hintKey: number;
                 classId: Fr;
@@ -6356,8 +6609,8 @@ export declare class AvmCircuitInputs {
                 commitment?: any;
             }>, "many">;
             debugFunctionNames: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                address: import("../schemas/schemas.js").ZodFor<AztecAddress>;
-                selector: import("../schemas/schemas.js").ZodFor<Fr>;
+                address: ZodFor<AztecAddress>;
+                selector: ZodFor<Fr>;
                 name: z.ZodString;
             }, "strip", z.ZodTypeAny, {
                 name: string;
@@ -6374,7 +6627,7 @@ export declare class AvmCircuitInputs {
             }>, "many">;
             startingTreeRoots: z.ZodEffects<z.ZodObject<{
                 l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -6387,7 +6640,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 noteHashTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -6400,7 +6653,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 nullifierTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -6413,7 +6666,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 publicDataTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -6467,7 +6720,7 @@ export declare class AvmCircuitInputs {
             }>;
             getSiblingPathHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 hintKey: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -6481,7 +6734,7 @@ export declare class AvmCircuitInputs {
                 }>;
                 treeId: z.ZodNumber;
                 index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+                path: z.ZodArray<ZodFor<Fr>, "many">;
             }, "strip", z.ZodTypeAny, {
                 path: Fr[];
                 index: bigint;
@@ -6506,7 +6759,7 @@ export declare class AvmCircuitInputs {
             }>, "many">;
             getPreviousValueIndexHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 hintKey: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -6519,7 +6772,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 treeId: z.ZodNumber;
-                value: import("../schemas/schemas.js").ZodFor<Fr>;
+                value: ZodFor<Fr>;
                 index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                 alreadyPresent: z.ZodBoolean;
             }, "strip", z.ZodTypeAny, {
@@ -6549,7 +6802,7 @@ export declare class AvmCircuitInputs {
             }>, "many">;
             getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 hintKey: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -6564,7 +6817,7 @@ export declare class AvmCircuitInputs {
                 index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                 leafPreimage: z.ZodEffects<z.ZodObject<{
                     leaf: z.ZodEffects<z.ZodObject<{
-                        nullifier: z.ZodType<Fr, any, string>;
+                        nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     }, "strip", z.ZodTypeAny, {
                         nullifier: Fr;
                     }, {
@@ -6572,7 +6825,7 @@ export declare class AvmCircuitInputs {
                     }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
                         nullifier: string;
                     }>;
-                    nextKey: z.ZodType<Fr, any, string>;
+                    nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                 }, "strip", z.ZodTypeAny, {
                     leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -6592,8 +6845,8 @@ export declare class AvmCircuitInputs {
                     nextIndex: string | number | bigint;
                 }> | z.ZodEffects<z.ZodObject<{
                     leaf: z.ZodEffects<z.ZodObject<{
-                        slot: z.ZodType<Fr, any, string>;
-                        value: z.ZodType<Fr, any, string>;
+                        slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                        value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     }, "strip", z.ZodTypeAny, {
                         value: Fr;
                         slot: Fr;
@@ -6604,7 +6857,7 @@ export declare class AvmCircuitInputs {
                         value: string;
                         slot: string;
                     }>;
-                    nextKey: z.ZodType<Fr, any, string>;
+                    nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                 }, "strip", z.ZodTypeAny, {
                     leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -6676,7 +6929,7 @@ export declare class AvmCircuitInputs {
             }>, "many">;
             getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 hintKey: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -6691,7 +6944,7 @@ export declare class AvmCircuitInputs {
                 index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                 leafPreimage: z.ZodEffects<z.ZodObject<{
                     leaf: z.ZodEffects<z.ZodObject<{
-                        nullifier: z.ZodType<Fr, any, string>;
+                        nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     }, "strip", z.ZodTypeAny, {
                         nullifier: Fr;
                     }, {
@@ -6699,7 +6952,7 @@ export declare class AvmCircuitInputs {
                     }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
                         nullifier: string;
                     }>;
-                    nextKey: z.ZodType<Fr, any, string>;
+                    nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                 }, "strip", z.ZodTypeAny, {
                     leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -6719,8 +6972,8 @@ export declare class AvmCircuitInputs {
                     nextIndex: string | number | bigint;
                 }> | z.ZodEffects<z.ZodObject<{
                     leaf: z.ZodEffects<z.ZodObject<{
-                        slot: z.ZodType<Fr, any, string>;
-                        value: z.ZodType<Fr, any, string>;
+                        slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                        value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     }, "strip", z.ZodTypeAny, {
                         value: Fr;
                         slot: Fr;
@@ -6731,7 +6984,7 @@ export declare class AvmCircuitInputs {
                         value: string;
                         slot: string;
                     }>;
-                    nextKey: z.ZodType<Fr, any, string>;
+                    nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                 }, "strip", z.ZodTypeAny, {
                     leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -6803,7 +7056,7 @@ export declare class AvmCircuitInputs {
             }>, "many">;
             getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 hintKey: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -6817,7 +7070,7 @@ export declare class AvmCircuitInputs {
                 }>;
                 treeId: z.ZodNumber;
                 index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                value: import("../schemas/schemas.js").ZodFor<Fr>;
+                value: ZodFor<Fr>;
             }, "strip", z.ZodTypeAny, {
                 value: Fr;
                 index: bigint;
@@ -6842,7 +7095,7 @@ export declare class AvmCircuitInputs {
             }>, "many">;
             sequentialInsertHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 hintKey: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -6855,7 +7108,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 stateAfter: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -6869,7 +7122,7 @@ export declare class AvmCircuitInputs {
                 }>;
                 treeId: z.ZodNumber;
                 leaf: z.ZodEffects<z.ZodObject<{
-                    nullifier: z.ZodType<Fr, any, string>;
+                    nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 }, "strip", z.ZodTypeAny, {
                     nullifier: Fr;
                 }, {
@@ -6877,8 +7130,8 @@ export declare class AvmCircuitInputs {
                 }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
                     nullifier: string;
                 }> | z.ZodEffects<z.ZodObject<{
-                    slot: z.ZodType<Fr, any, string>;
-                    value: z.ZodType<Fr, any, string>;
+                    slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                    value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 }, "strip", z.ZodTypeAny, {
                     value: Fr;
                     slot: Fr;
@@ -6892,7 +7145,7 @@ export declare class AvmCircuitInputs {
                 lowLeavesWitnessData: z.ZodObject<{
                     leaf: z.ZodEffects<z.ZodObject<{
                         leaf: z.ZodEffects<z.ZodObject<{
-                            nullifier: z.ZodType<Fr, any, string>;
+                            nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         }, "strip", z.ZodTypeAny, {
                             nullifier: Fr;
                         }, {
@@ -6900,7 +7153,7 @@ export declare class AvmCircuitInputs {
                         }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
                             nullifier: string;
                         }>;
-                        nextKey: z.ZodType<Fr, any, string>;
+                        nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                     }, "strip", z.ZodTypeAny, {
                         leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -6920,8 +7173,8 @@ export declare class AvmCircuitInputs {
                         nextIndex: string | number | bigint;
                     }> | z.ZodEffects<z.ZodObject<{
                         leaf: z.ZodEffects<z.ZodObject<{
-                            slot: z.ZodType<Fr, any, string>;
-                            value: z.ZodType<Fr, any, string>;
+                            slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                            value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         }, "strip", z.ZodTypeAny, {
                             value: Fr;
                             slot: Fr;
@@ -6932,7 +7185,7 @@ export declare class AvmCircuitInputs {
                             value: string;
                             slot: string;
                         }>;
-                        nextKey: z.ZodType<Fr, any, string>;
+                        nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                     }, "strip", z.ZodTypeAny, {
                         leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -6954,7 +7207,7 @@ export declare class AvmCircuitInputs {
                         nextIndex: string | number | bigint;
                     }>;
                     index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                    path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+                    path: z.ZodArray<ZodFor<Fr>, "many">;
                 }, "strip", z.ZodTypeAny, {
                     path: Fr[];
                     index: bigint;
@@ -6980,7 +7233,7 @@ export declare class AvmCircuitInputs {
                 insertionWitnessData: z.ZodObject<{
                     leaf: z.ZodEffects<z.ZodObject<{
                         leaf: z.ZodEffects<z.ZodObject<{
-                            nullifier: z.ZodType<Fr, any, string>;
+                            nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         }, "strip", z.ZodTypeAny, {
                             nullifier: Fr;
                         }, {
@@ -6988,7 +7241,7 @@ export declare class AvmCircuitInputs {
                         }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
                             nullifier: string;
                         }>;
-                        nextKey: z.ZodType<Fr, any, string>;
+                        nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                     }, "strip", z.ZodTypeAny, {
                         leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -7008,8 +7261,8 @@ export declare class AvmCircuitInputs {
                         nextIndex: string | number | bigint;
                     }> | z.ZodEffects<z.ZodObject<{
                         leaf: z.ZodEffects<z.ZodObject<{
-                            slot: z.ZodType<Fr, any, string>;
-                            value: z.ZodType<Fr, any, string>;
+                            slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                            value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         }, "strip", z.ZodTypeAny, {
                             value: Fr;
                             slot: Fr;
@@ -7020,7 +7273,7 @@ export declare class AvmCircuitInputs {
                             value: string;
                             slot: string;
                         }>;
-                        nextKey: z.ZodType<Fr, any, string>;
+                        nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                     }, "strip", z.ZodTypeAny, {
                         leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -7042,7 +7295,7 @@ export declare class AvmCircuitInputs {
                         nextIndex: string | number | bigint;
                     }>;
                     index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                    path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+                    path: z.ZodArray<ZodFor<Fr>, "many">;
                 }, "strip", z.ZodTypeAny, {
                     path: Fr[];
                     index: bigint;
@@ -7202,7 +7455,7 @@ export declare class AvmCircuitInputs {
             }>, "many">;
             sequentialInsertHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 hintKey: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -7215,7 +7468,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 stateAfter: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -7229,7 +7482,7 @@ export declare class AvmCircuitInputs {
                 }>;
                 treeId: z.ZodNumber;
                 leaf: z.ZodEffects<z.ZodObject<{
-                    nullifier: z.ZodType<Fr, any, string>;
+                    nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 }, "strip", z.ZodTypeAny, {
                     nullifier: Fr;
                 }, {
@@ -7237,8 +7490,8 @@ export declare class AvmCircuitInputs {
                 }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
                     nullifier: string;
                 }> | z.ZodEffects<z.ZodObject<{
-                    slot: z.ZodType<Fr, any, string>;
-                    value: z.ZodType<Fr, any, string>;
+                    slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                    value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 }, "strip", z.ZodTypeAny, {
                     value: Fr;
                     slot: Fr;
@@ -7252,7 +7505,7 @@ export declare class AvmCircuitInputs {
                 lowLeavesWitnessData: z.ZodObject<{
                     leaf: z.ZodEffects<z.ZodObject<{
                         leaf: z.ZodEffects<z.ZodObject<{
-                            nullifier: z.ZodType<Fr, any, string>;
+                            nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         }, "strip", z.ZodTypeAny, {
                             nullifier: Fr;
                         }, {
@@ -7260,7 +7513,7 @@ export declare class AvmCircuitInputs {
                         }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
                             nullifier: string;
                         }>;
-                        nextKey: z.ZodType<Fr, any, string>;
+                        nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                     }, "strip", z.ZodTypeAny, {
                         leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -7280,8 +7533,8 @@ export declare class AvmCircuitInputs {
                         nextIndex: string | number | bigint;
                     }> | z.ZodEffects<z.ZodObject<{
                         leaf: z.ZodEffects<z.ZodObject<{
-                            slot: z.ZodType<Fr, any, string>;
-                            value: z.ZodType<Fr, any, string>;
+                            slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                            value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         }, "strip", z.ZodTypeAny, {
                             value: Fr;
                             slot: Fr;
@@ -7292,7 +7545,7 @@ export declare class AvmCircuitInputs {
                             value: string;
                             slot: string;
                         }>;
-                        nextKey: z.ZodType<Fr, any, string>;
+                        nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                     }, "strip", z.ZodTypeAny, {
                         leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -7314,7 +7567,7 @@ export declare class AvmCircuitInputs {
                         nextIndex: string | number | bigint;
                     }>;
                     index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                    path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+                    path: z.ZodArray<ZodFor<Fr>, "many">;
                 }, "strip", z.ZodTypeAny, {
                     path: Fr[];
                     index: bigint;
@@ -7340,7 +7593,7 @@ export declare class AvmCircuitInputs {
                 insertionWitnessData: z.ZodObject<{
                     leaf: z.ZodEffects<z.ZodObject<{
                         leaf: z.ZodEffects<z.ZodObject<{
-                            nullifier: z.ZodType<Fr, any, string>;
+                            nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         }, "strip", z.ZodTypeAny, {
                             nullifier: Fr;
                         }, {
@@ -7348,7 +7601,7 @@ export declare class AvmCircuitInputs {
                         }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
                             nullifier: string;
                         }>;
-                        nextKey: z.ZodType<Fr, any, string>;
+                        nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                     }, "strip", z.ZodTypeAny, {
                         leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -7368,8 +7621,8 @@ export declare class AvmCircuitInputs {
                         nextIndex: string | number | bigint;
                     }> | z.ZodEffects<z.ZodObject<{
                         leaf: z.ZodEffects<z.ZodObject<{
-                            slot: z.ZodType<Fr, any, string>;
-                            value: z.ZodType<Fr, any, string>;
+                            slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                            value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         }, "strip", z.ZodTypeAny, {
                             value: Fr;
                             slot: Fr;
@@ -7380,7 +7633,7 @@ export declare class AvmCircuitInputs {
                             value: string;
                             slot: string;
                         }>;
-                        nextKey: z.ZodType<Fr, any, string>;
+                        nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                     }, "strip", z.ZodTypeAny, {
                         leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -7402,7 +7655,7 @@ export declare class AvmCircuitInputs {
                         nextIndex: string | number | bigint;
                     }>;
                     index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                    path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+                    path: z.ZodArray<ZodFor<Fr>, "many">;
                 }, "strip", z.ZodTypeAny, {
                     path: Fr[];
                     index: bigint;
@@ -7562,7 +7815,7 @@ export declare class AvmCircuitInputs {
             }>, "many">;
             appendLeavesHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 hintKey: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -7575,7 +7828,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 stateAfter: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -7588,7 +7841,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 treeId: z.ZodNumber;
-                leaves: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+                leaves: z.ZodArray<ZodFor<Fr>, "many">;
             }, "strip", z.ZodTypeAny, {
                 hintKey: AppendOnlyTreeSnapshot;
                 treeId: number;
@@ -7657,7 +7910,7 @@ export declare class AvmCircuitInputs {
                 newCheckpointId: z.ZodNumber;
                 stateBefore: z.ZodEffects<z.ZodObject<{
                     l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
-                        root: z.ZodType<Fr, any, string>;
+                        root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                     }, "strip", z.ZodTypeAny, {
                         root: Fr;
@@ -7670,7 +7923,7 @@ export declare class AvmCircuitInputs {
                         nextAvailableLeafIndex: string | number | bigint;
                     }>;
                     noteHashTree: z.ZodEffects<z.ZodObject<{
-                        root: z.ZodType<Fr, any, string>;
+                        root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                     }, "strip", z.ZodTypeAny, {
                         root: Fr;
@@ -7683,7 +7936,7 @@ export declare class AvmCircuitInputs {
                         nextAvailableLeafIndex: string | number | bigint;
                     }>;
                     nullifierTree: z.ZodEffects<z.ZodObject<{
-                        root: z.ZodType<Fr, any, string>;
+                        root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                     }, "strip", z.ZodTypeAny, {
                         root: Fr;
@@ -7696,7 +7949,7 @@ export declare class AvmCircuitInputs {
                         nextAvailableLeafIndex: string | number | bigint;
                     }>;
                     publicDataTree: z.ZodEffects<z.ZodObject<{
-                        root: z.ZodType<Fr, any, string>;
+                        root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                     }, "strip", z.ZodTypeAny, {
                         root: Fr;
@@ -7750,7 +8003,7 @@ export declare class AvmCircuitInputs {
                 }>;
                 stateAfter: z.ZodEffects<z.ZodObject<{
                     l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
-                        root: z.ZodType<Fr, any, string>;
+                        root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                     }, "strip", z.ZodTypeAny, {
                         root: Fr;
@@ -7763,7 +8016,7 @@ export declare class AvmCircuitInputs {
                         nextAvailableLeafIndex: string | number | bigint;
                     }>;
                     noteHashTree: z.ZodEffects<z.ZodObject<{
-                        root: z.ZodType<Fr, any, string>;
+                        root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                     }, "strip", z.ZodTypeAny, {
                         root: Fr;
@@ -7776,7 +8029,7 @@ export declare class AvmCircuitInputs {
                         nextAvailableLeafIndex: string | number | bigint;
                     }>;
                     nullifierTree: z.ZodEffects<z.ZodObject<{
-                        root: z.ZodType<Fr, any, string>;
+                        root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                     }, "strip", z.ZodTypeAny, {
                         root: Fr;
@@ -7789,7 +8042,7 @@ export declare class AvmCircuitInputs {
                         nextAvailableLeafIndex: string | number | bigint;
                     }>;
                     publicDataTree: z.ZodEffects<z.ZodObject<{
-                        root: z.ZodType<Fr, any, string>;
+                        root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                         nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                     }, "strip", z.ZodTypeAny, {
                         root: Fr;
@@ -8140,10 +8393,22 @@ export declare class AvmCircuitInputs {
             };
             contractInstances: {
                 publicKeys: {
-                    masterNullifierPublicKey: string;
-                    masterIncomingViewingPublicKey: string;
-                    masterOutgoingViewingPublicKey: string;
-                    masterTaggingPublicKey: string;
+                    masterNullifierPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterIncomingViewingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterOutgoingViewingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterTaggingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
                 };
                 hintKey: number;
                 salt?: any;
@@ -8154,12 +8419,9 @@ export declare class AvmCircuitInputs {
                 address?: any;
             }[];
             contractClasses: {
-                packedBytecode: string | {
-                    type: "Buffer";
-                    data: number[];
-                };
                 hintKey: number;
                 artifactHash?: any;
+                packedBytecode?: any;
                 privateFunctionsRoot?: any;
                 classId?: any;
             }[];
@@ -8545,10 +8807,22 @@ export declare class AvmCircuitInputs {
             };
             contractInstances: {
                 publicKeys: {
-                    masterNullifierPublicKey: string;
-                    masterIncomingViewingPublicKey: string;
-                    masterOutgoingViewingPublicKey: string;
-                    masterTaggingPublicKey: string;
+                    masterNullifierPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterIncomingViewingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterOutgoingViewingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterTaggingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
                 };
                 hintKey: number;
                 salt?: any;
@@ -8559,12 +8833,9 @@ export declare class AvmCircuitInputs {
                 address?: any;
             }[];
             contractClasses: {
-                packedBytecode: string | {
-                    type: "Buffer";
-                    data: number[];
-                };
                 hintKey: number;
                 artifactHash?: any;
+                packedBytecode?: any;
                 privateFunctionsRoot?: any;
                 classId?: any;
             }[];
@@ -8853,13 +9124,13 @@ export declare class AvmCircuitInputs {
         }>;
         publicInputs: z.ZodEffects<z.ZodObject<{
             globalVariables: z.ZodEffects<z.ZodObject<{
-                chainId: import("../schemas/schemas.js").ZodFor<Fr>;
-                version: import("../schemas/schemas.js").ZodFor<Fr>;
+                chainId: ZodFor<Fr>;
+                version: ZodFor<Fr>;
                 blockNumber: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                slotNumber: import("../schemas/schemas.js").ZodFor<Fr>;
+                slotNumber: ZodFor<Fr>;
                 timestamp: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                coinbase: import("../schemas/schemas.js").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
-                feeRecipient: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                coinbase: ZodFor<import("@aztec/foundation/schemas").EthAddress>;
+                feeRecipient: ZodFor<AztecAddress>;
                 gasFees: z.ZodEffects<z.ZodObject<{
                     feePerDaGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                     feePerL2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
@@ -8908,7 +9179,7 @@ export declare class AvmCircuitInputs {
                 feeRecipient?: any;
             }>;
             protocolContracts: z.ZodEffects<z.ZodObject<{
-                derivedAddresses: z.ZodArray<import("../schemas/schemas.js").ZodFor<AztecAddress>, "many">;
+                derivedAddresses: z.ZodArray<ZodFor<AztecAddress>, "many">;
             }, "strip", z.ZodTypeAny, {
                 derivedAddresses: AztecAddress[];
             }, {
@@ -8918,7 +9189,7 @@ export declare class AvmCircuitInputs {
             }>;
             startTreeSnapshots: z.ZodEffects<z.ZodObject<{
                 l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -8931,7 +9202,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 noteHashTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -8944,7 +9215,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 nullifierTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -8957,7 +9228,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 publicDataTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -9128,8 +9399,8 @@ export declare class AvmCircuitInputs {
                 feePerDaGas: string | number | bigint;
                 feePerL2Gas: string | number | bigint;
             }>;
-            feePayer: import("../schemas/schemas.js").ZodFor<AztecAddress>;
-            proverId: z.ZodType<Fr, any, string>;
+            feePayer: ZodFor<AztecAddress>;
+            proverId: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             publicCallRequestArrayLengths: z.ZodEffects<z.ZodObject<{
                 setupCalls: z.ZodNumber;
                 appLogicCalls: z.ZodNumber;
@@ -9148,10 +9419,10 @@ export declare class AvmCircuitInputs {
                 teardownCall: boolean;
             }>;
             publicSetupCallRequests: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                msgSender: import("../schemas/schemas.js").ZodFor<AztecAddress>;
-                contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                msgSender: ZodFor<AztecAddress>;
+                contractAddress: ZodFor<AztecAddress>;
                 isStaticCall: z.ZodBoolean;
-                calldataHash: z.ZodType<Fr, any, string>;
+                calldataHash: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             }, "strip", z.ZodTypeAny, {
                 contractAddress: AztecAddress;
                 msgSender: AztecAddress;
@@ -9169,10 +9440,10 @@ export declare class AvmCircuitInputs {
                 msgSender?: any;
             }>, "many">;
             publicAppLogicCallRequests: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                msgSender: import("../schemas/schemas.js").ZodFor<AztecAddress>;
-                contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                msgSender: ZodFor<AztecAddress>;
+                contractAddress: ZodFor<AztecAddress>;
                 isStaticCall: z.ZodBoolean;
-                calldataHash: z.ZodType<Fr, any, string>;
+                calldataHash: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             }, "strip", z.ZodTypeAny, {
                 contractAddress: AztecAddress;
                 msgSender: AztecAddress;
@@ -9190,10 +9461,10 @@ export declare class AvmCircuitInputs {
                 msgSender?: any;
             }>, "many">;
             publicTeardownCallRequest: z.ZodEffects<z.ZodObject<{
-                msgSender: import("../schemas/schemas.js").ZodFor<AztecAddress>;
-                contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                msgSender: ZodFor<AztecAddress>;
+                contractAddress: ZodFor<AztecAddress>;
                 isStaticCall: z.ZodBoolean;
-                calldataHash: z.ZodType<Fr, any, string>;
+                calldataHash: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             }, "strip", z.ZodTypeAny, {
                 contractAddress: AztecAddress;
                 msgSender: AztecAddress;
@@ -9245,12 +9516,12 @@ export declare class AvmCircuitInputs {
                 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">;
+                noteHashes: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
+                nullifiers: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, 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>;
+                        recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
+                        content: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     }, "strip", z.ZodTypeAny, {
                         content: Fr;
                         recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -9261,7 +9532,7 @@ export declare class AvmCircuitInputs {
                         content: string;
                         recipient: string;
                     }>;
-                    contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                    contractAddress: ZodFor<AztecAddress>;
                 }, "strip", z.ZodTypeAny, {
                     message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                     contractAddress: AztecAddress;
@@ -9304,12 +9575,12 @@ export declare class AvmCircuitInputs {
                 }[];
             }>;
             previousRevertibleAccumulatedData: z.ZodEffects<z.ZodObject<{
-                noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-                nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                noteHashes: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
+                nullifiers: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, 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>;
+                        recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
+                        content: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     }, "strip", z.ZodTypeAny, {
                         content: Fr;
                         recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -9320,7 +9591,7 @@ export declare class AvmCircuitInputs {
                         content: string;
                         recipient: string;
                     }>;
-                    contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                    contractAddress: ZodFor<AztecAddress>;
                 }, "strip", z.ZodTypeAny, {
                     message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                     contractAddress: AztecAddress;
@@ -9364,7 +9635,7 @@ export declare class AvmCircuitInputs {
             }>;
             endTreeSnapshots: z.ZodEffects<z.ZodObject<{
                 l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -9377,7 +9648,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 noteHashTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -9390,7 +9661,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 nullifierTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -9403,7 +9674,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 publicDataTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<Fr, any, string>;
+                    root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
                 }, "strip", z.ZodTypeAny, {
                     root: Fr;
@@ -9490,12 +9761,12 @@ export declare class AvmCircuitInputs {
                 publicDataWrites: number;
             }>;
             accumulatedData: z.ZodEffects<z.ZodObject<{
-                noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-                nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                noteHashes: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
+                nullifiers: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, 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>;
+                        recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
+                        content: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     }, "strip", z.ZodTypeAny, {
                         content: Fr;
                         recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -9506,7 +9777,7 @@ export declare class AvmCircuitInputs {
                         content: string;
                         recipient: string;
                     }>;
-                    contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                    contractAddress: ZodFor<AztecAddress>;
                 }, "strip", z.ZodTypeAny, {
                     message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                     contractAddress: AztecAddress;
@@ -9523,10 +9794,10 @@ export declare class AvmCircuitInputs {
                     };
                     contractAddress?: any;
                 }>, "many">;
-                publicLogs: import("../schemas/schemas.js").ZodFor<import("../logs/public_log.js").FlatPublicLogs>;
+                publicLogs: ZodFor<import("../logs/public_log.js").FlatPublicLogs>;
                 publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                    leafSlot: z.ZodType<Fr, any, string>;
-                    value: z.ZodType<Fr, any, string>;
+                    leafSlot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
+                    value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                 }, "strip", z.ZodTypeAny, {
                     value: Fr;
                     leafSlot: Fr;
@@ -9574,7 +9845,7 @@ export declare class AvmCircuitInputs {
                 }[];
                 publicLogs?: any;
             }>;
-            transactionFee: z.ZodType<Fr, any, string>;
+            transactionFee: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
             reverted: z.ZodBoolean;
         }, "strip", z.ZodTypeAny, {
             globalVariables: GlobalVariables;
@@ -10197,10 +10468,22 @@ export declare class AvmCircuitInputs {
             };
             contractInstances: {
                 publicKeys: {
-                    masterNullifierPublicKey: string;
-                    masterIncomingViewingPublicKey: string;
-                    masterOutgoingViewingPublicKey: string;
-                    masterTaggingPublicKey: string;
+                    masterNullifierPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterIncomingViewingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterOutgoingViewingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterTaggingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
                 };
                 hintKey: number;
                 salt?: any;
@@ -10211,12 +10494,9 @@ export declare class AvmCircuitInputs {
                 address?: any;
             }[];
             contractClasses: {
-                packedBytecode: string | {
-                    type: "Buffer";
-                    data: number[];
-                };
                 hintKey: number;
                 artifactHash?: any;
+                packedBytecode?: any;
                 privateFunctionsRoot?: any;
                 classId?: any;
             }[];
@@ -10769,10 +11049,22 @@ export declare class AvmCircuitInputs {
             };
             contractInstances: {
                 publicKeys: {
-                    masterNullifierPublicKey: string;
-                    masterIncomingViewingPublicKey: string;
-                    masterOutgoingViewingPublicKey: string;
-                    masterTaggingPublicKey: string;
+                    masterNullifierPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterIncomingViewingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterOutgoingViewingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
+                    masterTaggingPublicKey: string | {
+                        x: string;
+                        y: string;
+                    };
                 };
                 hintKey: number;
                 salt?: any;
@@ -10783,12 +11075,9 @@ export declare class AvmCircuitInputs {
                 address?: any;
             }[];
             contractClasses: {
-                packedBytecode: string | {
-                    type: "Buffer";
-                    data: number[];
-                };
                 hintKey: number;
                 artifactHash?: any;
+                packedBytecode?: any;
                 privateFunctionsRoot?: any;
                 classId?: any;
             }[];
@@ -11098,117 +11387,7 @@ export declare class PublicTxResult {
     constructor(gasUsed: GasUsed, revertCode: RevertCode, revertReason: SimulationError | undefined, // Revert reason, if any
     processedPhases: ProcessedPhase[] | undefined, logs: DebugLog[] | undefined, hints: AvmExecutionHints | undefined, publicInputs: AvmCircuitPublicInputs);
     static empty(): PublicTxResult;
-    static get partialSchema(): z.ZodObject<{
-        gasUsed: z.ZodObject<{
-            totalGas: 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;
-            }>, Gas, {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            }>;
-            teardownGas: 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;
-            }>, Gas, {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            }>;
-            publicGas: 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;
-            }>, Gas, {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            }>;
-            billedGas: 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;
-            }>, Gas, {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            }>;
-        }, "strip", z.ZodTypeAny, {
-            totalGas: Gas;
-            teardownGas: Gas;
-            publicGas: Gas;
-            billedGas: Gas;
-        }, {
-            totalGas: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            teardownGas: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            publicGas: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            billedGas: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-        }>;
-        revertCode: import("../schemas/schemas.js").ZodFor<RevertCode>;
-    }, "strip", z.ZodTypeAny, {
-        gasUsed: {
-            totalGas: Gas;
-            teardownGas: Gas;
-            publicGas: Gas;
-            billedGas: Gas;
-        };
-        revertCode: RevertCode;
-    }, {
-        gasUsed: {
-            totalGas: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            teardownGas: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            publicGas: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            billedGas: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-        };
-        revertCode?: any;
-    }>;
-    static fromJSON(json: any): {
-        gasUsed: GasUsed;
-        revertCode: RevertCode;
-    };
+    static get schema(): ZodFor<PublicTxResult>;
 }
 export type PublicTxSimulatorConfig = {
     proverId: Fr;
@@ -11352,9 +11531,9 @@ export declare class AvmFastSimulationInputs {
             }>;
             nonRevertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
                 contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                    contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                    contractAddress: ZodFor<AztecAddress>;
                     fields: z.ZodEffects<z.ZodObject<{
-                        fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
+                        fields: z.ZodEffects<z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">, Fr[], string[]>;
                     }, "strip", z.ZodTypeAny, {
                         fields: Fr[];
                     }, {
@@ -11381,7 +11560,7 @@ export declare class AvmFastSimulationInputs {
                     contractAddress?: any;
                 }>, "many">;
                 privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                    fields: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                    fields: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
                     emittedLength: z.ZodNumber;
                 }, "strict", z.ZodTypeAny, {
                     fields: Fr[];
@@ -11423,9 +11602,9 @@ export declare class AvmFastSimulationInputs {
             }>;
             revertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
                 contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                    contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                    contractAddress: ZodFor<AztecAddress>;
                     fields: z.ZodEffects<z.ZodObject<{
-                        fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
+                        fields: z.ZodEffects<z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">, Fr[], string[]>;
                     }, "strip", z.ZodTypeAny, {
                         fields: Fr[];
                     }, {
@@ -11452,7 +11631,7 @@ export declare class AvmFastSimulationInputs {
                     contractAddress?: any;
                 }>, "many">;
                 privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                    fields: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                    fields: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
                     emittedLength: z.ZodNumber;
                 }, "strict", z.ZodTypeAny, {
                     fields: Fr[];
@@ -11493,12 +11672,12 @@ export declare class AvmFastSimulationInputs {
                 }[];
             }>;
             nonRevertibleAccumulatedData: z.ZodObject<{
-                noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
-                nullifiers: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+                noteHashes: z.ZodArray<ZodFor<Fr>, "many">;
+                nullifiers: z.ZodArray<ZodFor<Fr>, "many">;
                 l2ToL1Messages: 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>;
+                        recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
+                        content: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     }, "strip", z.ZodTypeAny, {
                         content: Fr;
                         recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -11509,7 +11688,7 @@ export declare class AvmFastSimulationInputs {
                         content: string;
                         recipient: string;
                     }>;
-                    contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                    contractAddress: ZodFor<AztecAddress>;
                 }, "strip", z.ZodTypeAny, {
                     message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                     contractAddress: AztecAddress;
@@ -11542,12 +11721,12 @@ export declare class AvmFastSimulationInputs {
                 }[];
             }>;
             revertibleAccumulatedData: z.ZodObject<{
-                noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
-                nullifiers: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+                noteHashes: z.ZodArray<ZodFor<Fr>, "many">;
+                nullifiers: z.ZodArray<ZodFor<Fr>, "many">;
                 l2ToL1Messages: 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>;
+                        recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
+                        content: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
                     }, "strip", z.ZodTypeAny, {
                         content: Fr;
                         recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -11558,7 +11737,7 @@ export declare class AvmFastSimulationInputs {
                         content: string;
                         recipient: string;
                     }>;
-                    contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                    contractAddress: ZodFor<AztecAddress>;
                 }, "strip", z.ZodTypeAny, {
                     message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                     contractAddress: AztecAddress;
@@ -11590,9 +11769,9 @@ export declare class AvmFastSimulationInputs {
                     contractAddress?: any;
                 }[];
             }>;
-            setupEnqueuedCalls: z.ZodArray<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>, "many">;
-            appLogicEnqueuedCalls: z.ZodArray<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>, "many">;
-            teardownEnqueuedCall: z.ZodNullable<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>>;
+            setupEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>, "many">;
+            appLogicEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>, "many">;
+            teardownEnqueuedCall: z.ZodNullable<ZodFor<PublicCallRequestWithCalldata>>;
             gasUsedByPrivate: 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>;
@@ -11606,7 +11785,7 @@ export declare class AvmFastSimulationInputs {
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             }>;
-            feePayer: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+            feePayer: ZodFor<AztecAddress>;
         }, "strip", z.ZodTypeAny, {
             hash: string;
             gasSettings: GasSettings;
@@ -11790,13 +11969,13 @@ export declare class AvmFastSimulationInputs {
             teardownEnqueuedCall?: any;
         }>;
         globalVariables: z.ZodEffects<z.ZodObject<{
-            chainId: import("../schemas/schemas.js").ZodFor<Fr>;
-            version: import("../schemas/schemas.js").ZodFor<Fr>;
+            chainId: ZodFor<Fr>;
+            version: ZodFor<Fr>;
             blockNumber: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            slotNumber: import("../schemas/schemas.js").ZodFor<Fr>;
+            slotNumber: ZodFor<Fr>;
             timestamp: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            coinbase: import("../schemas/schemas.js").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
-            feeRecipient: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+            coinbase: ZodFor<import("@aztec/foundation/schemas").EthAddress>;
+            feeRecipient: ZodFor<AztecAddress>;
             gasFees: z.ZodEffects<z.ZodObject<{
                 feePerDaGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                 feePerL2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
@@ -11845,7 +12024,7 @@ export declare class AvmFastSimulationInputs {
             feeRecipient?: any;
         }>;
         protocolContracts: z.ZodEffects<z.ZodObject<{
-            derivedAddresses: z.ZodArray<import("../schemas/schemas.js").ZodFor<AztecAddress>, "many">;
+            derivedAddresses: z.ZodArray<ZodFor<AztecAddress>, "many">;
         }, "strip", z.ZodTypeAny, {
             derivedAddresses: AztecAddress[];
         }, {