@aztec/stdlib 3.0.0-nightly.20251106 → 3.0.0-nightly.20251107

package/dest/avm/avm.d.ts

@@ -2,18 +2,22 @@ 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 { 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 { ScopedL2ToL1Message } from '../messaging/l2_to_l1_message.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';
 import { PublicDataTreeLeafPreimage } from '../trees/public_data_leaf.js';
-import { GlobalVariables, ProtocolContracts, PublicCallRequestWithCalldata, TreeSnapshots, type Tx } from '../tx/index.js';
+import { GlobalVariables, NestedProcessReturnValues, ProtocolContracts, PublicCallRequestWithCalldata, TreeSnapshots, type Tx, TxExecutionPhase } from '../tx/index.js';
 import { WorldStateRevision } from '../world-state/world_state_revision.js';
 import { AvmCircuitPublicInputs } from './avm_circuit_public_inputs.js';
+import { RevertCode } from './revert_code.js';
 export declare class AvmContractClassHint {
     readonly hintKey: number;
     readonly classId: Fr;
@@ -23,9 +27,9 @@ 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: z.ZodType<Fr, any, string>;
-        artifactHash: z.ZodType<Fr, any, string>;
-        privateFunctionsRoot: z.ZodType<Fr, any, string>;
+        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">;
@@ -46,23 +50,23 @@ export declare class AvmContractClassHint {
         hintKey: number;
         classId: Fr;
     }, {
-        artifactHash: string;
         packedBytecode: string | {
             type: "Buffer";
             data: number[];
         };
-        privateFunctionsRoot: string;
         hintKey: number;
-        classId: string;
+        artifactHash?: any;
+        privateFunctionsRoot?: any;
+        classId?: any;
     }>, AvmContractClassHint, {
-        artifactHash: string;
         packedBytecode: string | {
             type: "Buffer";
             data: number[];
         };
-        privateFunctionsRoot: string;
         hintKey: number;
-        classId: string;
+        artifactHash?: any;
+        privateFunctionsRoot?: any;
+        classId?: any;
     }>;
 }
 export declare class AvmBytecodeCommitmentHint {
@@ -72,20 +76,20 @@ export declare class AvmBytecodeCommitmentHint {
     constructor(hintKey: number, classId: Fr, commitment: Fr);
     static get schema(): z.ZodEffects<z.ZodObject<{
         hintKey: z.ZodNumber;
-        classId: z.ZodType<Fr, any, string>;
-        commitment: z.ZodType<Fr, any, string>;
+        classId: import("../schemas/schemas.js").ZodFor<Fr>;
+        commitment: import("../schemas/schemas.js").ZodFor<Fr>;
     }, "strip", z.ZodTypeAny, {
         hintKey: number;
         classId: Fr;
         commitment: Fr;
     }, {
         hintKey: number;
-        classId: string;
-        commitment: string;
+        classId?: any;
+        commitment?: any;
     }>, AvmBytecodeCommitmentHint, {
         hintKey: number;
-        classId: string;
-        commitment: string;
+        classId?: any;
+        commitment?: any;
     }>;
 }
 export declare class AvmContractInstanceHint {
@@ -100,12 +104,12 @@ 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("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-        salt: z.ZodType<Fr, any, string>;
-        deployer: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-        currentContractClassId: z.ZodType<Fr, any, string>;
-        originalContractClassId: z.ZodType<Fr, any, string>;
-        initializationHash: z.ZodType<Fr, any, string>;
+        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>;
         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>;
@@ -137,10 +141,6 @@ export declare class AvmContractInstanceHint {
         address: AztecAddress;
         hintKey: number;
     }, {
-        salt: string;
-        currentContractClassId: string;
-        originalContractClassId: string;
-        initializationHash: string;
         publicKeys: {
             masterNullifierPublicKey: string;
             masterIncomingViewingPublicKey: string;
@@ -148,13 +148,13 @@ export declare class AvmContractInstanceHint {
             masterTaggingPublicKey: string;
         };
         hintKey: number;
+        salt?: any;
         deployer?: any;
+        currentContractClassId?: any;
+        originalContractClassId?: any;
+        initializationHash?: any;
         address?: any;
     }>, AvmContractInstanceHint, {
-        salt: string;
-        currentContractClassId: string;
-        originalContractClassId: string;
-        initializationHash: string;
         publicKeys: {
             masterNullifierPublicKey: string;
             masterIncomingViewingPublicKey: string;
@@ -162,7 +162,11 @@ export declare class AvmContractInstanceHint {
             masterTaggingPublicKey: string;
         };
         hintKey: number;
+        salt?: any;
         deployer?: any;
+        currentContractClassId?: any;
+        originalContractClassId?: any;
+        initializationHash?: any;
         address?: any;
     }>;
 }
@@ -172,8 +176,8 @@ export declare class AvmDebugFunctionNameHint {
     readonly name: string;
     constructor(address: AztecAddress, selector: Fr, name: string);
     static get schema(): z.ZodEffects<z.ZodObject<{
-        address: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-        selector: z.ZodType<Fr, any, string>;
+        address: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+        selector: import("../schemas/schemas.js").ZodFor<Fr>;
         name: z.ZodString;
     }, "strip", z.ZodTypeAny, {
         name: string;
@@ -181,11 +185,11 @@ export declare class AvmDebugFunctionNameHint {
         address: AztecAddress;
     }, {
         name: string;
-        selector: string;
+        selector?: any;
         address?: any;
     }>, AvmDebugFunctionNameHint, {
         name: string;
-        selector: string;
+        selector?: any;
         address?: any;
     }>;
 }
@@ -211,14 +215,14 @@ export declare class AvmGetSiblingPathHint {
         }>;
         treeId: z.ZodNumber;
         index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-        path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
     }, "strip", z.ZodTypeAny, {
         path: Fr[];
         index: bigint;
         hintKey: AppendOnlyTreeSnapshot;
         treeId: number;
     }, {
-        path: string[];
+        path: any[];
         index: string | number | bigint;
         hintKey: {
             root: string;
@@ -226,7 +230,7 @@ export declare class AvmGetSiblingPathHint {
         };
         treeId: number;
     }>, AvmGetSiblingPathHint, {
-        path: string[];
+        path: any[];
         index: string | number | bigint;
         hintKey: {
             root: string;
@@ -257,7 +261,7 @@ export declare class AvmGetPreviousValueIndexHint {
             nextAvailableLeafIndex: string | number | bigint;
         }>;
         treeId: z.ZodNumber;
-        value: z.ZodType<Fr, any, string>;
+        value: import("../schemas/schemas.js").ZodFor<Fr>;
         index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
         alreadyPresent: z.ZodBoolean;
     }, "strip", z.ZodTypeAny, {
@@ -267,7 +271,6 @@ export declare class AvmGetPreviousValueIndexHint {
         hintKey: AppendOnlyTreeSnapshot;
         treeId: number;
     }, {
-        value: string;
         index: string | number | bigint;
         alreadyPresent: boolean;
         hintKey: {
@@ -275,8 +278,8 @@ export declare class AvmGetPreviousValueIndexHint {
             nextAvailableLeafIndex: string | number | bigint;
         };
         treeId: number;
+        value?: any;
     }>, AvmGetPreviousValueIndexHint, {
-        value: string;
         index: string | number | bigint;
         alreadyPresent: boolean;
         hintKey: {
@@ -284,6 +287,7 @@ export declare class AvmGetPreviousValueIndexHint {
             nextAvailableLeafIndex: string | number | bigint;
         };
         treeId: number;
+        value?: any;
     }>;
 }
 type IndexedTreeLeafPreimages = NullifierLeafPreimage | PublicDataTreeLeafPreimage;
@@ -582,28 +586,28 @@ export declare class AvmGetLeafValueHint {
         }>;
         treeId: z.ZodNumber;
         index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-        value: z.ZodType<Fr, any, string>;
+        value: import("../schemas/schemas.js").ZodFor<Fr>;
     }, "strip", z.ZodTypeAny, {
         value: Fr;
         index: bigint;
         hintKey: AppendOnlyTreeSnapshot;
         treeId: number;
     }, {
-        value: string;
         index: string | number | bigint;
         hintKey: {
             root: string;
             nextAvailableLeafIndex: string | number | bigint;
         };
         treeId: number;
+        value?: any;
     }>, AvmGetLeafValueHint, {
-        value: string;
         index: string | number | bigint;
         hintKey: {
             root: string;
             nextAvailableLeafIndex: string | number | bigint;
         };
         treeId: number;
+        value?: any;
     }>;
 }
 declare const AvmSequentialInsertHintPublicDataTree_base: {
@@ -745,13 +749,13 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
                 nextIndex: string | number | bigint;
             }>;
             index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
         }, "strip", z.ZodTypeAny, {
             path: Fr[];
             index: bigint;
             leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
         }, {
-            path: string[];
+            path: any[];
             index: string | number | bigint;
             leaf: {
                 leaf: {
@@ -833,13 +837,13 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
                 nextIndex: string | number | bigint;
             }>;
             index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
         }, "strip", z.ZodTypeAny, {
             path: Fr[];
             index: bigint;
             leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
         }, {
-            path: string[];
+            path: any[];
             index: string | number | bigint;
             leaf: {
                 leaf: {
@@ -888,7 +892,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
             nextAvailableLeafIndex: string | number | bigint;
         };
         lowLeavesWitnessData: {
-            path: string[];
+            path: any[];
             index: string | number | bigint;
             leaf: {
                 leaf: {
@@ -906,7 +910,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
             };
         };
         insertionWitnessData: {
-            path: string[];
+            path: any[];
             index: string | number | bigint;
             leaf: {
                 leaf: {
@@ -955,7 +959,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
             nextAvailableLeafIndex: string | number | bigint;
         };
         lowLeavesWitnessData: {
-            path: string[];
+            path: any[];
             index: string | number | bigint;
             leaf: {
                 leaf: {
@@ -973,7 +977,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
             };
         };
         insertionWitnessData: {
-            path: string[];
+            path: any[];
             index: string | number | bigint;
             leaf: {
                 leaf: {
@@ -1133,13 +1137,13 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
                 nextIndex: string | number | bigint;
             }>;
             index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
         }, "strip", z.ZodTypeAny, {
             path: Fr[];
             index: bigint;
             leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
         }, {
-            path: string[];
+            path: any[];
             index: string | number | bigint;
             leaf: {
                 leaf: {
@@ -1221,13 +1225,13 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
                 nextIndex: string | number | bigint;
             }>;
             index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
         }, "strip", z.ZodTypeAny, {
             path: Fr[];
             index: bigint;
             leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
         }, {
-            path: string[];
+            path: any[];
             index: string | number | bigint;
             leaf: {
                 leaf: {
@@ -1276,7 +1280,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
             nextAvailableLeafIndex: string | number | bigint;
         };
         lowLeavesWitnessData: {
-            path: string[];
+            path: any[];
             index: string | number | bigint;
             leaf: {
                 leaf: {
@@ -1294,7 +1298,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
             };
         };
         insertionWitnessData: {
-            path: string[];
+            path: any[];
             index: string | number | bigint;
             leaf: {
                 leaf: {
@@ -1343,7 +1347,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
             nextAvailableLeafIndex: string | number | bigint;
         };
         lowLeavesWitnessData: {
-            path: string[];
+            path: any[];
             index: string | number | bigint;
             leaf: {
                 leaf: {
@@ -1361,7 +1365,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
             };
         };
         insertionWitnessData: {
-            path: string[];
+            path: any[];
             index: string | number | bigint;
             leaf: {
                 leaf: {
@@ -1416,7 +1420,7 @@ export declare class AvmAppendLeavesHint {
             nextAvailableLeafIndex: string | number | bigint;
         }>;
         treeId: z.ZodNumber;
-        leaves: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        leaves: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
     }, "strip", z.ZodTypeAny, {
         hintKey: AppendOnlyTreeSnapshot;
         treeId: number;
@@ -1432,7 +1436,7 @@ export declare class AvmAppendLeavesHint {
             root: string;
             nextAvailableLeafIndex: string | number | bigint;
         };
-        leaves: string[];
+        leaves: any[];
     }>, AvmAppendLeavesHint, {
         hintKey: {
             root: string;
@@ -1443,7 +1447,7 @@ export declare class AvmAppendLeavesHint {
             root: string;
             nextAvailableLeafIndex: string | number | bigint;
         };
-        leaves: string[];
+        leaves: any[];
     }>;
 }
 declare class AvmCheckpointActionNoStateChangeHint {
@@ -1907,7 +1911,7 @@ export declare class AvmTxHint {
         }>;
         nonRevertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
             contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
                 fields: z.ZodEffects<z.ZodObject<{
                     fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
                 }, "strip", z.ZodTypeAny, {
@@ -1978,7 +1982,7 @@ export declare class AvmTxHint {
         }>;
         revertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
             contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
                 fields: z.ZodEffects<z.ZodObject<{
                     fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
                 }, "strip", z.ZodTypeAny, {
@@ -2048,8 +2052,8 @@ export declare class AvmTxHint {
             }[];
         }>;
         nonRevertibleAccumulatedData: z.ZodObject<{
-            noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-            nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+            nullifiers: z.ZodArray<import("../schemas/schemas.js").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>;
@@ -2064,7 +2068,7 @@ export declare class AvmTxHint {
                     content: string;
                     recipient: string;
                 }>;
-                contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
             }, "strip", z.ZodTypeAny, {
                 message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                 contractAddress: AztecAddress;
@@ -2086,8 +2090,8 @@ export declare class AvmTxHint {
             nullifiers: Fr[];
             l2ToL1Messages: ScopedL2ToL1Message[];
         }, {
-            noteHashes: string[];
-            nullifiers: string[];
+            noteHashes: any[];
+            nullifiers: any[];
             l2ToL1Messages: {
                 message: {
                     content: string;
@@ -2097,8 +2101,8 @@ export declare class AvmTxHint {
             }[];
         }>;
         revertibleAccumulatedData: z.ZodObject<{
-            noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-            nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+            nullifiers: z.ZodArray<import("../schemas/schemas.js").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>;
@@ -2113,7 +2117,7 @@ export declare class AvmTxHint {
                     content: string;
                     recipient: string;
                 }>;
-                contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
             }, "strip", z.ZodTypeAny, {
                 message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                 contractAddress: AztecAddress;
@@ -2135,8 +2139,8 @@ export declare class AvmTxHint {
             nullifiers: Fr[];
             l2ToL1Messages: ScopedL2ToL1Message[];
         }, {
-            noteHashes: string[];
-            nullifiers: string[];
+            noteHashes: any[];
+            nullifiers: any[];
             l2ToL1Messages: {
                 message: {
                     content: string;
@@ -2145,9 +2149,9 @@ export declare class AvmTxHint {
                 contractAddress?: any;
             }[];
         }>;
-        setupEnqueuedCalls: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<PublicCallRequestWithCalldata>, "many">;
-        appLogicEnqueuedCalls: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<PublicCallRequestWithCalldata>, "many">;
-        teardownEnqueuedCall: z.ZodNullable<import("@aztec/foundation/schemas").ZodFor<PublicCallRequestWithCalldata>>;
+        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>>;
         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>;
@@ -2161,7 +2165,7 @@ export declare class AvmTxHint {
             daGas: string | number | bigint;
             l2Gas: string | number | bigint;
         }>;
-        feePayer: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+        feePayer: import("../schemas/schemas.js").ZodFor<AztecAddress>;
     }, "strip", z.ZodTypeAny, {
         hash: string;
         gasSettings: GasSettings;
@@ -2204,8 +2208,8 @@ export declare class AvmTxHint {
             };
         };
         nonRevertibleAccumulatedData: {
-            noteHashes: string[];
-            nullifiers: string[];
+            noteHashes: any[];
+            nullifiers: any[];
             l2ToL1Messages: {
                 message: {
                     content: string;
@@ -2215,8 +2219,8 @@ export declare class AvmTxHint {
             }[];
         };
         revertibleAccumulatedData: {
-            noteHashes: string[];
-            nullifiers: string[];
+            noteHashes: any[];
+            nullifiers: any[];
             l2ToL1Messages: {
                 message: {
                     content: string;
@@ -2284,8 +2288,8 @@ export declare class AvmTxHint {
             };
         };
         nonRevertibleAccumulatedData: {
-            noteHashes: string[];
-            nullifiers: string[];
+            noteHashes: any[];
+            nullifiers: any[];
             l2ToL1Messages: {
                 message: {
                     content: string;
@@ -2295,8 +2299,8 @@ export declare class AvmTxHint {
             }[];
         };
         revertibleAccumulatedData: {
-            noteHashes: string[];
-            nullifiers: string[];
+            noteHashes: any[];
+            nullifiers: any[];
             l2ToL1Messages: {
                 message: {
                     content: string;
@@ -2372,13 +2376,13 @@ export declare class AvmExecutionHints {
     static empty(): AvmExecutionHints;
     static get schema(): z.ZodEffects<z.ZodObject<{
         globalVariables: z.ZodEffects<z.ZodObject<{
-            chainId: import("@aztec/foundation/schemas").ZodFor<Fr>;
-            version: import("@aztec/foundation/schemas").ZodFor<Fr>;
+            chainId: import("../schemas/schemas.js").ZodFor<Fr>;
+            version: import("../schemas/schemas.js").ZodFor<Fr>;
             blockNumber: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            slotNumber: import("@aztec/foundation/schemas").ZodFor<Fr>;
+            slotNumber: import("../schemas/schemas.js").ZodFor<Fr>;
             timestamp: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            coinbase: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
-            feeRecipient: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+            coinbase: import("../schemas/schemas.js").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
+            feeRecipient: import("../schemas/schemas.js").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>;
@@ -2536,7 +2540,7 @@ export declare class AvmExecutionHints {
             }>;
             nonRevertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
                 contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                    contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                    contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
                     fields: z.ZodEffects<z.ZodObject<{
                         fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
                     }, "strip", z.ZodTypeAny, {
@@ -2607,7 +2611,7 @@ export declare class AvmExecutionHints {
             }>;
             revertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
                 contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                    contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                    contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
                     fields: z.ZodEffects<z.ZodObject<{
                         fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
                     }, "strip", z.ZodTypeAny, {
@@ -2677,8 +2681,8 @@ export declare class AvmExecutionHints {
                 }[];
             }>;
             nonRevertibleAccumulatedData: z.ZodObject<{
-                noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-                nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+                nullifiers: z.ZodArray<import("../schemas/schemas.js").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>;
@@ -2693,7 +2697,7 @@ export declare class AvmExecutionHints {
                         content: string;
                         recipient: string;
                     }>;
-                    contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                    contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
                 }, "strip", z.ZodTypeAny, {
                     message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                     contractAddress: AztecAddress;
@@ -2715,8 +2719,8 @@ export declare class AvmExecutionHints {
                 nullifiers: Fr[];
                 l2ToL1Messages: ScopedL2ToL1Message[];
             }, {
-                noteHashes: string[];
-                nullifiers: string[];
+                noteHashes: any[];
+                nullifiers: any[];
                 l2ToL1Messages: {
                     message: {
                         content: string;
@@ -2726,8 +2730,8 @@ export declare class AvmExecutionHints {
                 }[];
             }>;
             revertibleAccumulatedData: z.ZodObject<{
-                noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-                nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+                nullifiers: z.ZodArray<import("../schemas/schemas.js").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>;
@@ -2742,7 +2746,7 @@ export declare class AvmExecutionHints {
                         content: string;
                         recipient: string;
                     }>;
-                    contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                    contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
                 }, "strip", z.ZodTypeAny, {
                     message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                     contractAddress: AztecAddress;
@@ -2764,8 +2768,8 @@ export declare class AvmExecutionHints {
                 nullifiers: Fr[];
                 l2ToL1Messages: ScopedL2ToL1Message[];
             }, {
-                noteHashes: string[];
-                nullifiers: string[];
+                noteHashes: any[];
+                nullifiers: any[];
                 l2ToL1Messages: {
                     message: {
                         content: string;
@@ -2774,9 +2778,9 @@ export declare class AvmExecutionHints {
                     contractAddress?: any;
                 }[];
             }>;
-            setupEnqueuedCalls: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<PublicCallRequestWithCalldata>, "many">;
-            appLogicEnqueuedCalls: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<PublicCallRequestWithCalldata>, "many">;
-            teardownEnqueuedCall: z.ZodNullable<import("@aztec/foundation/schemas").ZodFor<PublicCallRequestWithCalldata>>;
+            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>>;
             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>;
@@ -2790,7 +2794,7 @@ export declare class AvmExecutionHints {
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             }>;
-            feePayer: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+            feePayer: import("../schemas/schemas.js").ZodFor<AztecAddress>;
         }, "strip", z.ZodTypeAny, {
             hash: string;
             gasSettings: GasSettings;
@@ -2833,8 +2837,8 @@ export declare class AvmExecutionHints {
                 };
             };
             nonRevertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
+                noteHashes: any[];
+                nullifiers: any[];
                 l2ToL1Messages: {
                     message: {
                         content: string;
@@ -2844,8 +2848,8 @@ export declare class AvmExecutionHints {
                 }[];
             };
             revertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
+                noteHashes: any[];
+                nullifiers: any[];
                 l2ToL1Messages: {
                     message: {
                         content: string;
@@ -2913,8 +2917,8 @@ export declare class AvmExecutionHints {
                 };
             };
             nonRevertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
+                noteHashes: any[];
+                nullifiers: any[];
                 l2ToL1Messages: {
                     message: {
                         content: string;
@@ -2924,8 +2928,8 @@ export declare class AvmExecutionHints {
                 }[];
             };
             revertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
+                noteHashes: any[];
+                nullifiers: any[];
                 l2ToL1Messages: {
                     message: {
                         content: string;
@@ -2974,7 +2978,7 @@ export declare class AvmExecutionHints {
             teardownEnqueuedCall?: any;
         }>;
         protocolContracts: z.ZodEffects<z.ZodObject<{
-            derivedAddresses: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<AztecAddress>, "many">;
+            derivedAddresses: z.ZodArray<import("../schemas/schemas.js").ZodFor<AztecAddress>, "many">;
         }, "strip", z.ZodTypeAny, {
             derivedAddresses: AztecAddress[];
         }, {
@@ -2984,12 +2988,12 @@ export declare class AvmExecutionHints {
         }>;
         contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodNumber;
-            address: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-            salt: z.ZodType<Fr, any, string>;
-            deployer: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-            currentContractClassId: z.ZodType<Fr, any, string>;
-            originalContractClassId: z.ZodType<Fr, any, string>;
-            initializationHash: z.ZodType<Fr, any, string>;
+            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>;
             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>;
@@ -3021,10 +3025,6 @@ export declare class AvmExecutionHints {
             address: AztecAddress;
             hintKey: number;
         }, {
-            salt: string;
-            currentContractClassId: string;
-            originalContractClassId: string;
-            initializationHash: string;
             publicKeys: {
                 masterNullifierPublicKey: string;
                 masterIncomingViewingPublicKey: string;
@@ -3032,13 +3032,13 @@ export declare class AvmExecutionHints {
                 masterTaggingPublicKey: string;
             };
             hintKey: number;
+            salt?: any;
             deployer?: any;
+            currentContractClassId?: any;
+            originalContractClassId?: any;
+            initializationHash?: any;
             address?: any;
         }>, AvmContractInstanceHint, {
-            salt: string;
-            currentContractClassId: string;
-            originalContractClassId: string;
-            initializationHash: string;
             publicKeys: {
                 masterNullifierPublicKey: string;
                 masterIncomingViewingPublicKey: string;
@@ -3046,14 +3046,18 @@ export declare class AvmExecutionHints {
                 masterTaggingPublicKey: string;
             };
             hintKey: number;
+            salt?: any;
             deployer?: any;
+            currentContractClassId?: any;
+            originalContractClassId?: any;
+            initializationHash?: any;
             address?: any;
         }>, "many">;
         contractClasses: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodNumber;
-            classId: z.ZodType<Fr, any, string>;
-            artifactHash: z.ZodType<Fr, any, string>;
-            privateFunctionsRoot: z.ZodType<Fr, any, string>;
+            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">;
@@ -3074,44 +3078,44 @@ export declare class AvmExecutionHints {
             hintKey: number;
             classId: Fr;
         }, {
-            artifactHash: string;
             packedBytecode: string | {
                 type: "Buffer";
                 data: number[];
             };
-            privateFunctionsRoot: string;
             hintKey: number;
-            classId: string;
+            artifactHash?: any;
+            privateFunctionsRoot?: any;
+            classId?: any;
         }>, AvmContractClassHint, {
-            artifactHash: string;
             packedBytecode: string | {
                 type: "Buffer";
                 data: number[];
             };
-            privateFunctionsRoot: string;
             hintKey: number;
-            classId: string;
+            artifactHash?: any;
+            privateFunctionsRoot?: any;
+            classId?: any;
         }>, "many">;
         bytecodeCommitments: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodNumber;
-            classId: z.ZodType<Fr, any, string>;
-            commitment: z.ZodType<Fr, any, string>;
+            classId: import("../schemas/schemas.js").ZodFor<Fr>;
+            commitment: import("../schemas/schemas.js").ZodFor<Fr>;
         }, "strip", z.ZodTypeAny, {
             hintKey: number;
             classId: Fr;
             commitment: Fr;
         }, {
             hintKey: number;
-            classId: string;
-            commitment: string;
+            classId?: any;
+            commitment?: any;
         }>, AvmBytecodeCommitmentHint, {
             hintKey: number;
-            classId: string;
-            commitment: string;
+            classId?: any;
+            commitment?: any;
         }>, "many">;
         debugFunctionNames: z.ZodArray<z.ZodEffects<z.ZodObject<{
-            address: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-            selector: z.ZodType<Fr, any, string>;
+            address: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+            selector: import("../schemas/schemas.js").ZodFor<Fr>;
             name: z.ZodString;
         }, "strip", z.ZodTypeAny, {
             name: string;
@@ -3119,11 +3123,11 @@ export declare class AvmExecutionHints {
             address: AztecAddress;
         }, {
             name: string;
-            selector: string;
+            selector?: any;
             address?: any;
         }>, AvmDebugFunctionNameHint, {
             name: string;
-            selector: string;
+            selector?: any;
             address?: any;
         }>, "many">;
         startingTreeRoots: z.ZodEffects<z.ZodObject<{
@@ -3235,14 +3239,14 @@ export declare class AvmExecutionHints {
             }>;
             treeId: z.ZodNumber;
             index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
         }, "strip", z.ZodTypeAny, {
             path: Fr[];
             index: bigint;
             hintKey: AppendOnlyTreeSnapshot;
             treeId: number;
         }, {
-            path: string[];
+            path: any[];
             index: string | number | bigint;
             hintKey: {
                 root: string;
@@ -3250,7 +3254,7 @@ export declare class AvmExecutionHints {
             };
             treeId: number;
         }>, AvmGetSiblingPathHint, {
-            path: string[];
+            path: any[];
             index: string | number | bigint;
             hintKey: {
                 root: string;
@@ -3273,7 +3277,7 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             }>;
             treeId: z.ZodNumber;
-            value: z.ZodType<Fr, any, string>;
+            value: import("../schemas/schemas.js").ZodFor<Fr>;
             index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
             alreadyPresent: z.ZodBoolean;
         }, "strip", z.ZodTypeAny, {
@@ -3283,7 +3287,6 @@ export declare class AvmExecutionHints {
             hintKey: AppendOnlyTreeSnapshot;
             treeId: number;
         }, {
-            value: string;
             index: string | number | bigint;
             alreadyPresent: boolean;
             hintKey: {
@@ -3291,8 +3294,8 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             };
             treeId: number;
+            value?: any;
         }>, AvmGetPreviousValueIndexHint, {
-            value: string;
             index: string | number | bigint;
             alreadyPresent: boolean;
             hintKey: {
@@ -3300,6 +3303,7 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             };
             treeId: number;
+            value?: any;
         }>, "many">;
         getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodEffects<z.ZodObject<{
@@ -3571,28 +3575,28 @@ export declare class AvmExecutionHints {
             }>;
             treeId: z.ZodNumber;
             index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            value: z.ZodType<Fr, any, string>;
+            value: import("../schemas/schemas.js").ZodFor<Fr>;
         }, "strip", z.ZodTypeAny, {
             value: Fr;
             index: bigint;
             hintKey: AppendOnlyTreeSnapshot;
             treeId: number;
         }, {
-            value: string;
             index: string | number | bigint;
             hintKey: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
             treeId: number;
+            value?: any;
         }>, AvmGetLeafValueHint, {
-            value: string;
             index: string | number | bigint;
             hintKey: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
             treeId: number;
+            value?: any;
         }>, "many">;
         sequentialInsertHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
             hintKey: z.ZodEffects<z.ZodObject<{
@@ -3708,13 +3712,13 @@ export declare class AvmExecutionHints {
                     nextIndex: string | number | bigint;
                 }>;
                 index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
             }, "strip", z.ZodTypeAny, {
                 path: Fr[];
                 index: bigint;
                 leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
             }, {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 leaf: {
                     leaf: {
@@ -3796,13 +3800,13 @@ export declare class AvmExecutionHints {
                     nextIndex: string | number | bigint;
                 }>;
                 index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
             }, "strip", z.ZodTypeAny, {
                 path: Fr[];
                 index: bigint;
                 leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
             }, {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 leaf: {
                     leaf: {
@@ -3851,7 +3855,7 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             };
             lowLeavesWitnessData: {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 leaf: {
                     leaf: {
@@ -3869,7 +3873,7 @@ export declare class AvmExecutionHints {
                 };
             };
             insertionWitnessData: {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 leaf: {
                     leaf: {
@@ -3918,7 +3922,7 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             };
             lowLeavesWitnessData: {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 leaf: {
                     leaf: {
@@ -3936,7 +3940,7 @@ export declare class AvmExecutionHints {
                 };
             };
             insertionWitnessData: {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 leaf: {
                     leaf: {
@@ -4068,13 +4072,13 @@ export declare class AvmExecutionHints {
                     nextIndex: string | number | bigint;
                 }>;
                 index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
             }, "strip", z.ZodTypeAny, {
                 path: Fr[];
                 index: bigint;
                 leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
             }, {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 leaf: {
                     leaf: {
@@ -4156,13 +4160,13 @@ export declare class AvmExecutionHints {
                     nextIndex: string | number | bigint;
                 }>;
                 index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
             }, "strip", z.ZodTypeAny, {
                 path: Fr[];
                 index: bigint;
                 leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
             }, {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 leaf: {
                     leaf: {
@@ -4211,7 +4215,7 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             };
             lowLeavesWitnessData: {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 leaf: {
                     leaf: {
@@ -4229,7 +4233,7 @@ export declare class AvmExecutionHints {
                 };
             };
             insertionWitnessData: {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 leaf: {
                     leaf: {
@@ -4278,7 +4282,7 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             };
             lowLeavesWitnessData: {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 leaf: {
                     leaf: {
@@ -4296,7 +4300,7 @@ export declare class AvmExecutionHints {
                 };
             };
             insertionWitnessData: {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 leaf: {
                     leaf: {
@@ -4342,7 +4346,7 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             }>;
             treeId: z.ZodNumber;
-            leaves: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+            leaves: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
         }, "strip", z.ZodTypeAny, {
             hintKey: AppendOnlyTreeSnapshot;
             treeId: number;
@@ -4358,7 +4362,7 @@ export declare class AvmExecutionHints {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
-            leaves: string[];
+            leaves: any[];
         }>, AvmAppendLeavesHint, {
             hintKey: {
                 root: string;
@@ -4369,7 +4373,7 @@ export declare class AvmExecutionHints {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
-            leaves: string[];
+            leaves: any[];
         }>, "many">;
         createCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
             actionCounter: z.ZodNumber;
@@ -4832,8 +4836,8 @@ export declare class AvmExecutionHints {
                 };
             };
             nonRevertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
+                noteHashes: any[];
+                nullifiers: any[];
                 l2ToL1Messages: {
                     message: {
                         content: string;
@@ -4843,8 +4847,8 @@ export declare class AvmExecutionHints {
                 }[];
             };
             revertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
+                noteHashes: any[];
+                nullifiers: any[];
                 l2ToL1Messages: {
                     message: {
                         content: string;
@@ -4893,10 +4897,6 @@ export declare class AvmExecutionHints {
             teardownEnqueuedCall?: any;
         };
         contractInstances: {
-            salt: string;
-            currentContractClassId: string;
-            originalContractClassId: string;
-            initializationHash: string;
             publicKeys: {
                 masterNullifierPublicKey: string;
                 masterIncomingViewingPublicKey: string;
@@ -4904,27 +4904,31 @@ export declare class AvmExecutionHints {
                 masterTaggingPublicKey: string;
             };
             hintKey: number;
+            salt?: any;
             deployer?: any;
+            currentContractClassId?: any;
+            originalContractClassId?: any;
+            initializationHash?: any;
             address?: any;
         }[];
         contractClasses: {
-            artifactHash: string;
             packedBytecode: string | {
                 type: "Buffer";
                 data: number[];
             };
-            privateFunctionsRoot: string;
             hintKey: number;
-            classId: string;
+            artifactHash?: any;
+            privateFunctionsRoot?: any;
+            classId?: any;
         }[];
         bytecodeCommitments: {
             hintKey: number;
-            classId: string;
-            commitment: string;
+            classId?: any;
+            commitment?: any;
         }[];
         debugFunctionNames: {
             name: string;
-            selector: string;
+            selector?: any;
             address?: any;
         }[];
         startingTreeRoots: {
@@ -4946,7 +4950,7 @@ export declare class AvmExecutionHints {
             };
         };
         getSiblingPathHints: {
-            path: string[];
+            path: any[];
             index: string | number | bigint;
             hintKey: {
                 root: string;
@@ -4955,7 +4959,6 @@ export declare class AvmExecutionHints {
             treeId: number;
         }[];
         getPreviousValueIndexHints: {
-            value: string;
             index: string | number | bigint;
             alreadyPresent: boolean;
             hintKey: {
@@ -4963,6 +4966,7 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             };
             treeId: number;
+            value?: any;
         }[];
         getLeafPreimageHintsPublicDataTree: {
             index: string | number | bigint;
@@ -5007,13 +5011,13 @@ export declare class AvmExecutionHints {
             };
         }[];
         getLeafValueHints: {
-            value: string;
             index: string | number | bigint;
             hintKey: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
             treeId: number;
+            value?: any;
         }[];
         sequentialInsertHintsPublicDataTree: {
             leaf: {
@@ -5032,7 +5036,7 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             };
             lowLeavesWitnessData: {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 leaf: {
                     leaf: {
@@ -5050,7 +5054,7 @@ export declare class AvmExecutionHints {
                 };
             };
             insertionWitnessData: {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 leaf: {
                     leaf: {
@@ -5085,7 +5089,7 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             };
             lowLeavesWitnessData: {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 leaf: {
                     leaf: {
@@ -5103,7 +5107,7 @@ export declare class AvmExecutionHints {
                 };
             };
             insertionWitnessData: {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 leaf: {
                     leaf: {
@@ -5131,7 +5135,7 @@ export declare class AvmExecutionHints {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
-            leaves: string[];
+            leaves: any[];
         }[];
         createCheckpointHints: {
             actionCounter: number;
@@ -5237,8 +5241,8 @@ export declare class AvmExecutionHints {
                 };
             };
             nonRevertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
+                noteHashes: any[];
+                nullifiers: any[];
                 l2ToL1Messages: {
                     message: {
                         content: string;
@@ -5248,8 +5252,8 @@ export declare class AvmExecutionHints {
                 }[];
             };
             revertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
+                noteHashes: any[];
+                nullifiers: any[];
                 l2ToL1Messages: {
                     message: {
                         content: string;
@@ -5298,10 +5302,6 @@ export declare class AvmExecutionHints {
             teardownEnqueuedCall?: any;
         };
         contractInstances: {
-            salt: string;
-            currentContractClassId: string;
-            originalContractClassId: string;
-            initializationHash: string;
             publicKeys: {
                 masterNullifierPublicKey: string;
                 masterIncomingViewingPublicKey: string;
@@ -5309,27 +5309,31 @@ export declare class AvmExecutionHints {
                 masterTaggingPublicKey: string;
             };
             hintKey: number;
+            salt?: any;
             deployer?: any;
+            currentContractClassId?: any;
+            originalContractClassId?: any;
+            initializationHash?: any;
             address?: any;
         }[];
         contractClasses: {
-            artifactHash: string;
             packedBytecode: string | {
                 type: "Buffer";
                 data: number[];
             };
-            privateFunctionsRoot: string;
             hintKey: number;
-            classId: string;
+            artifactHash?: any;
+            privateFunctionsRoot?: any;
+            classId?: any;
         }[];
         bytecodeCommitments: {
             hintKey: number;
-            classId: string;
-            commitment: string;
+            classId?: any;
+            commitment?: any;
         }[];
         debugFunctionNames: {
             name: string;
-            selector: string;
+            selector?: any;
             address?: any;
         }[];
         startingTreeRoots: {
@@ -5351,7 +5355,7 @@ export declare class AvmExecutionHints {
             };
         };
         getSiblingPathHints: {
-            path: string[];
+            path: any[];
             index: string | number | bigint;
             hintKey: {
                 root: string;
@@ -5360,7 +5364,6 @@ export declare class AvmExecutionHints {
             treeId: number;
         }[];
         getPreviousValueIndexHints: {
-            value: string;
             index: string | number | bigint;
             alreadyPresent: boolean;
             hintKey: {
@@ -5368,6 +5371,7 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             };
             treeId: number;
+            value?: any;
         }[];
         getLeafPreimageHintsPublicDataTree: {
             index: string | number | bigint;
@@ -5412,13 +5416,13 @@ export declare class AvmExecutionHints {
             };
         }[];
         getLeafValueHints: {
-            value: string;
             index: string | number | bigint;
             hintKey: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
             treeId: number;
+            value?: any;
         }[];
         sequentialInsertHintsPublicDataTree: {
             leaf: {
@@ -5437,7 +5441,7 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             };
             lowLeavesWitnessData: {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 leaf: {
                     leaf: {
@@ -5455,7 +5459,7 @@ export declare class AvmExecutionHints {
                 };
             };
             insertionWitnessData: {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 leaf: {
                     leaf: {
@@ -5490,7 +5494,7 @@ export declare class AvmExecutionHints {
                 nextAvailableLeafIndex: string | number | bigint;
             };
             lowLeavesWitnessData: {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 leaf: {
                     leaf: {
@@ -5508,7 +5512,7 @@ export declare class AvmExecutionHints {
                 };
             };
             insertionWitnessData: {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 leaf: {
                     leaf: {
@@ -5536,7 +5540,7 @@ export declare class AvmExecutionHints {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
-            leaves: string[];
+            leaves: any[];
         }[];
         createCheckpointHints: {
             actionCounter: number;
@@ -5614,13 +5618,13 @@ export declare class AvmCircuitInputs {
     static get schema(): z.ZodEffects<z.ZodObject<{
         hints: z.ZodEffects<z.ZodObject<{
             globalVariables: z.ZodEffects<z.ZodObject<{
-                chainId: import("@aztec/foundation/schemas").ZodFor<Fr>;
-                version: import("@aztec/foundation/schemas").ZodFor<Fr>;
+                chainId: import("../schemas/schemas.js").ZodFor<Fr>;
+                version: import("../schemas/schemas.js").ZodFor<Fr>;
                 blockNumber: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                slotNumber: import("@aztec/foundation/schemas").ZodFor<Fr>;
+                slotNumber: import("../schemas/schemas.js").ZodFor<Fr>;
                 timestamp: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                coinbase: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
-                feeRecipient: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                coinbase: import("../schemas/schemas.js").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
+                feeRecipient: import("../schemas/schemas.js").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>;
@@ -5778,7 +5782,7 @@ export declare class AvmCircuitInputs {
                 }>;
                 nonRevertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
                     contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                        contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                        contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
                         fields: z.ZodEffects<z.ZodObject<{
                             fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
                         }, "strip", z.ZodTypeAny, {
@@ -5849,7 +5853,7 @@ export declare class AvmCircuitInputs {
                 }>;
                 revertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
                     contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                        contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                        contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
                         fields: z.ZodEffects<z.ZodObject<{
                             fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
                         }, "strip", z.ZodTypeAny, {
@@ -5919,8 +5923,8 @@ export declare class AvmCircuitInputs {
                     }[];
                 }>;
                 nonRevertibleAccumulatedData: z.ZodObject<{
-                    noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-                    nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                    noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+                    nullifiers: z.ZodArray<import("../schemas/schemas.js").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>;
@@ -5935,7 +5939,7 @@ export declare class AvmCircuitInputs {
                             content: string;
                             recipient: string;
                         }>;
-                        contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                        contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
                     }, "strip", z.ZodTypeAny, {
                         message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                         contractAddress: AztecAddress;
@@ -5957,8 +5961,8 @@ export declare class AvmCircuitInputs {
                     nullifiers: Fr[];
                     l2ToL1Messages: ScopedL2ToL1Message[];
                 }, {
-                    noteHashes: string[];
-                    nullifiers: string[];
+                    noteHashes: any[];
+                    nullifiers: any[];
                     l2ToL1Messages: {
                         message: {
                             content: string;
@@ -5968,8 +5972,8 @@ export declare class AvmCircuitInputs {
                     }[];
                 }>;
                 revertibleAccumulatedData: z.ZodObject<{
-                    noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-                    nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                    noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+                    nullifiers: z.ZodArray<import("../schemas/schemas.js").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>;
@@ -5984,7 +5988,7 @@ export declare class AvmCircuitInputs {
                             content: string;
                             recipient: string;
                         }>;
-                        contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                        contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
                     }, "strip", z.ZodTypeAny, {
                         message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                         contractAddress: AztecAddress;
@@ -6006,8 +6010,8 @@ export declare class AvmCircuitInputs {
                     nullifiers: Fr[];
                     l2ToL1Messages: ScopedL2ToL1Message[];
                 }, {
-                    noteHashes: string[];
-                    nullifiers: string[];
+                    noteHashes: any[];
+                    nullifiers: any[];
                     l2ToL1Messages: {
                         message: {
                             content: string;
@@ -6016,9 +6020,9 @@ export declare class AvmCircuitInputs {
                         contractAddress?: any;
                     }[];
                 }>;
-                setupEnqueuedCalls: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<PublicCallRequestWithCalldata>, "many">;
-                appLogicEnqueuedCalls: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<PublicCallRequestWithCalldata>, "many">;
-                teardownEnqueuedCall: z.ZodNullable<import("@aztec/foundation/schemas").ZodFor<PublicCallRequestWithCalldata>>;
+                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>>;
                 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>;
@@ -6032,7 +6036,7 @@ export declare class AvmCircuitInputs {
                     daGas: string | number | bigint;
                     l2Gas: string | number | bigint;
                 }>;
-                feePayer: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                feePayer: import("../schemas/schemas.js").ZodFor<AztecAddress>;
             }, "strip", z.ZodTypeAny, {
                 hash: string;
                 gasSettings: GasSettings;
@@ -6075,8 +6079,8 @@ export declare class AvmCircuitInputs {
                     };
                 };
                 nonRevertibleAccumulatedData: {
-                    noteHashes: string[];
-                    nullifiers: string[];
+                    noteHashes: any[];
+                    nullifiers: any[];
                     l2ToL1Messages: {
                         message: {
                             content: string;
@@ -6086,8 +6090,8 @@ export declare class AvmCircuitInputs {
                     }[];
                 };
                 revertibleAccumulatedData: {
-                    noteHashes: string[];
-                    nullifiers: string[];
+                    noteHashes: any[];
+                    nullifiers: any[];
                     l2ToL1Messages: {
                         message: {
                             content: string;
@@ -6155,8 +6159,8 @@ export declare class AvmCircuitInputs {
                     };
                 };
                 nonRevertibleAccumulatedData: {
-                    noteHashes: string[];
-                    nullifiers: string[];
+                    noteHashes: any[];
+                    nullifiers: any[];
                     l2ToL1Messages: {
                         message: {
                             content: string;
@@ -6166,8 +6170,8 @@ export declare class AvmCircuitInputs {
                     }[];
                 };
                 revertibleAccumulatedData: {
-                    noteHashes: string[];
-                    nullifiers: string[];
+                    noteHashes: any[];
+                    nullifiers: any[];
                     l2ToL1Messages: {
                         message: {
                             content: string;
@@ -6216,7 +6220,7 @@ export declare class AvmCircuitInputs {
                 teardownEnqueuedCall?: any;
             }>;
             protocolContracts: z.ZodEffects<z.ZodObject<{
-                derivedAddresses: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<AztecAddress>, "many">;
+                derivedAddresses: z.ZodArray<import("../schemas/schemas.js").ZodFor<AztecAddress>, "many">;
             }, "strip", z.ZodTypeAny, {
                 derivedAddresses: AztecAddress[];
             }, {
@@ -6226,12 +6230,12 @@ export declare class AvmCircuitInputs {
             }>;
             contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 hintKey: z.ZodNumber;
-                address: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-                salt: z.ZodType<Fr, any, string>;
-                deployer: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-                currentContractClassId: z.ZodType<Fr, any, string>;
-                originalContractClassId: z.ZodType<Fr, any, string>;
-                initializationHash: z.ZodType<Fr, any, string>;
+                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>;
                 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>;
@@ -6263,10 +6267,6 @@ export declare class AvmCircuitInputs {
                 address: AztecAddress;
                 hintKey: number;
             }, {
-                salt: string;
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
                 publicKeys: {
                     masterNullifierPublicKey: string;
                     masterIncomingViewingPublicKey: string;
@@ -6274,13 +6274,13 @@ export declare class AvmCircuitInputs {
                     masterTaggingPublicKey: string;
                 };
                 hintKey: number;
+                salt?: any;
                 deployer?: any;
+                currentContractClassId?: any;
+                originalContractClassId?: any;
+                initializationHash?: any;
                 address?: any;
             }>, AvmContractInstanceHint, {
-                salt: string;
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
                 publicKeys: {
                     masterNullifierPublicKey: string;
                     masterIncomingViewingPublicKey: string;
@@ -6288,14 +6288,18 @@ export declare class AvmCircuitInputs {
                     masterTaggingPublicKey: string;
                 };
                 hintKey: number;
+                salt?: any;
                 deployer?: any;
+                currentContractClassId?: any;
+                originalContractClassId?: any;
+                initializationHash?: any;
                 address?: any;
             }>, "many">;
             contractClasses: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 hintKey: z.ZodNumber;
-                classId: z.ZodType<Fr, any, string>;
-                artifactHash: z.ZodType<Fr, any, string>;
-                privateFunctionsRoot: z.ZodType<Fr, any, string>;
+                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">;
@@ -6316,44 +6320,44 @@ export declare class AvmCircuitInputs {
                 hintKey: number;
                 classId: Fr;
             }, {
-                artifactHash: string;
                 packedBytecode: string | {
                     type: "Buffer";
                     data: number[];
                 };
-                privateFunctionsRoot: string;
                 hintKey: number;
-                classId: string;
+                artifactHash?: any;
+                privateFunctionsRoot?: any;
+                classId?: any;
             }>, AvmContractClassHint, {
-                artifactHash: string;
                 packedBytecode: string | {
                     type: "Buffer";
                     data: number[];
                 };
-                privateFunctionsRoot: string;
                 hintKey: number;
-                classId: string;
+                artifactHash?: any;
+                privateFunctionsRoot?: any;
+                classId?: any;
             }>, "many">;
             bytecodeCommitments: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 hintKey: z.ZodNumber;
-                classId: z.ZodType<Fr, any, string>;
-                commitment: z.ZodType<Fr, any, string>;
+                classId: import("../schemas/schemas.js").ZodFor<Fr>;
+                commitment: import("../schemas/schemas.js").ZodFor<Fr>;
             }, "strip", z.ZodTypeAny, {
                 hintKey: number;
                 classId: Fr;
                 commitment: Fr;
             }, {
                 hintKey: number;
-                classId: string;
-                commitment: string;
+                classId?: any;
+                commitment?: any;
             }>, AvmBytecodeCommitmentHint, {
                 hintKey: number;
-                classId: string;
-                commitment: string;
+                classId?: any;
+                commitment?: any;
             }>, "many">;
             debugFunctionNames: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                address: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-                selector: z.ZodType<Fr, any, string>;
+                address: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                selector: import("../schemas/schemas.js").ZodFor<Fr>;
                 name: z.ZodString;
             }, "strip", z.ZodTypeAny, {
                 name: string;
@@ -6361,11 +6365,11 @@ export declare class AvmCircuitInputs {
                 address: AztecAddress;
             }, {
                 name: string;
-                selector: string;
+                selector?: any;
                 address?: any;
             }>, AvmDebugFunctionNameHint, {
                 name: string;
-                selector: string;
+                selector?: any;
                 address?: any;
             }>, "many">;
             startingTreeRoots: z.ZodEffects<z.ZodObject<{
@@ -6477,14 +6481,14 @@ export declare class AvmCircuitInputs {
                 }>;
                 treeId: z.ZodNumber;
                 index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
             }, "strip", z.ZodTypeAny, {
                 path: Fr[];
                 index: bigint;
                 hintKey: AppendOnlyTreeSnapshot;
                 treeId: number;
             }, {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 hintKey: {
                     root: string;
@@ -6492,7 +6496,7 @@ export declare class AvmCircuitInputs {
                 };
                 treeId: number;
             }>, AvmGetSiblingPathHint, {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 hintKey: {
                     root: string;
@@ -6515,7 +6519,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 treeId: z.ZodNumber;
-                value: z.ZodType<Fr, any, string>;
+                value: import("../schemas/schemas.js").ZodFor<Fr>;
                 index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
                 alreadyPresent: z.ZodBoolean;
             }, "strip", z.ZodTypeAny, {
@@ -6525,7 +6529,6 @@ export declare class AvmCircuitInputs {
                 hintKey: AppendOnlyTreeSnapshot;
                 treeId: number;
             }, {
-                value: string;
                 index: string | number | bigint;
                 alreadyPresent: boolean;
                 hintKey: {
@@ -6533,8 +6536,8 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 treeId: number;
+                value?: any;
             }>, AvmGetPreviousValueIndexHint, {
-                value: string;
                 index: string | number | bigint;
                 alreadyPresent: boolean;
                 hintKey: {
@@ -6542,6 +6545,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 treeId: number;
+                value?: any;
             }>, "many">;
             getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 hintKey: z.ZodEffects<z.ZodObject<{
@@ -6813,28 +6817,28 @@ export declare class AvmCircuitInputs {
                 }>;
                 treeId: z.ZodNumber;
                 index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                value: z.ZodType<Fr, any, string>;
+                value: import("../schemas/schemas.js").ZodFor<Fr>;
             }, "strip", z.ZodTypeAny, {
                 value: Fr;
                 index: bigint;
                 hintKey: AppendOnlyTreeSnapshot;
                 treeId: number;
             }, {
-                value: string;
                 index: string | number | bigint;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 treeId: number;
+                value?: any;
             }>, AvmGetLeafValueHint, {
-                value: string;
                 index: string | number | bigint;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 treeId: number;
+                value?: any;
             }>, "many">;
             sequentialInsertHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 hintKey: z.ZodEffects<z.ZodObject<{
@@ -6950,13 +6954,13 @@ export declare class AvmCircuitInputs {
                         nextIndex: string | number | bigint;
                     }>;
                     index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                    path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                    path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
                 }, "strip", z.ZodTypeAny, {
                     path: Fr[];
                     index: bigint;
                     leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
                 }, {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -7038,13 +7042,13 @@ export declare class AvmCircuitInputs {
                         nextIndex: string | number | bigint;
                     }>;
                     index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                    path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                    path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
                 }, "strip", z.ZodTypeAny, {
                     path: Fr[];
                     index: bigint;
                     leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
                 }, {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -7093,7 +7097,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 lowLeavesWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -7111,7 +7115,7 @@ export declare class AvmCircuitInputs {
                     };
                 };
                 insertionWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -7160,7 +7164,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 lowLeavesWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -7178,7 +7182,7 @@ export declare class AvmCircuitInputs {
                     };
                 };
                 insertionWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -7310,13 +7314,13 @@ export declare class AvmCircuitInputs {
                         nextIndex: string | number | bigint;
                     }>;
                     index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                    path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                    path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
                 }, "strip", z.ZodTypeAny, {
                     path: Fr[];
                     index: bigint;
                     leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
                 }, {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -7398,13 +7402,13 @@ export declare class AvmCircuitInputs {
                         nextIndex: string | number | bigint;
                     }>;
                     index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                    path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                    path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
                 }, "strip", z.ZodTypeAny, {
                     path: Fr[];
                     index: bigint;
                     leaf: NullifierLeafPreimage | PublicDataTreeLeafPreimage;
                 }, {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -7453,7 +7457,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 lowLeavesWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -7471,7 +7475,7 @@ export declare class AvmCircuitInputs {
                     };
                 };
                 insertionWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -7520,7 +7524,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 lowLeavesWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -7538,7 +7542,7 @@ export declare class AvmCircuitInputs {
                     };
                 };
                 insertionWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -7584,7 +7588,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 }>;
                 treeId: z.ZodNumber;
-                leaves: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                leaves: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
             }, "strip", z.ZodTypeAny, {
                 hintKey: AppendOnlyTreeSnapshot;
                 treeId: number;
@@ -7600,7 +7604,7 @@ export declare class AvmCircuitInputs {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
-                leaves: string[];
+                leaves: any[];
             }>, AvmAppendLeavesHint, {
                 hintKey: {
                     root: string;
@@ -7611,7 +7615,7 @@ export declare class AvmCircuitInputs {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
-                leaves: string[];
+                leaves: any[];
             }>, "many">;
             createCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 actionCounter: z.ZodNumber;
@@ -8074,8 +8078,8 @@ export declare class AvmCircuitInputs {
                     };
                 };
                 nonRevertibleAccumulatedData: {
-                    noteHashes: string[];
-                    nullifiers: string[];
+                    noteHashes: any[];
+                    nullifiers: any[];
                     l2ToL1Messages: {
                         message: {
                             content: string;
@@ -8085,8 +8089,8 @@ export declare class AvmCircuitInputs {
                     }[];
                 };
                 revertibleAccumulatedData: {
-                    noteHashes: string[];
-                    nullifiers: string[];
+                    noteHashes: any[];
+                    nullifiers: any[];
                     l2ToL1Messages: {
                         message: {
                             content: string;
@@ -8135,10 +8139,6 @@ export declare class AvmCircuitInputs {
                 teardownEnqueuedCall?: any;
             };
             contractInstances: {
-                salt: string;
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
                 publicKeys: {
                     masterNullifierPublicKey: string;
                     masterIncomingViewingPublicKey: string;
@@ -8146,27 +8146,31 @@ export declare class AvmCircuitInputs {
                     masterTaggingPublicKey: string;
                 };
                 hintKey: number;
+                salt?: any;
                 deployer?: any;
+                currentContractClassId?: any;
+                originalContractClassId?: any;
+                initializationHash?: any;
                 address?: any;
             }[];
             contractClasses: {
-                artifactHash: string;
                 packedBytecode: string | {
                     type: "Buffer";
                     data: number[];
                 };
-                privateFunctionsRoot: string;
                 hintKey: number;
-                classId: string;
+                artifactHash?: any;
+                privateFunctionsRoot?: any;
+                classId?: any;
             }[];
             bytecodeCommitments: {
                 hintKey: number;
-                classId: string;
-                commitment: string;
+                classId?: any;
+                commitment?: any;
             }[];
             debugFunctionNames: {
                 name: string;
-                selector: string;
+                selector?: any;
                 address?: any;
             }[];
             startingTreeRoots: {
@@ -8188,7 +8192,7 @@ export declare class AvmCircuitInputs {
                 };
             };
             getSiblingPathHints: {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 hintKey: {
                     root: string;
@@ -8197,7 +8201,6 @@ export declare class AvmCircuitInputs {
                 treeId: number;
             }[];
             getPreviousValueIndexHints: {
-                value: string;
                 index: string | number | bigint;
                 alreadyPresent: boolean;
                 hintKey: {
@@ -8205,6 +8208,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 treeId: number;
+                value?: any;
             }[];
             getLeafPreimageHintsPublicDataTree: {
                 index: string | number | bigint;
@@ -8249,13 +8253,13 @@ export declare class AvmCircuitInputs {
                 };
             }[];
             getLeafValueHints: {
-                value: string;
                 index: string | number | bigint;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 treeId: number;
+                value?: any;
             }[];
             sequentialInsertHintsPublicDataTree: {
                 leaf: {
@@ -8274,7 +8278,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 lowLeavesWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -8292,7 +8296,7 @@ export declare class AvmCircuitInputs {
                     };
                 };
                 insertionWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -8327,7 +8331,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 lowLeavesWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -8345,7 +8349,7 @@ export declare class AvmCircuitInputs {
                     };
                 };
                 insertionWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -8373,7 +8377,7 @@ export declare class AvmCircuitInputs {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
-                leaves: string[];
+                leaves: any[];
             }[];
             createCheckpointHints: {
                 actionCounter: number;
@@ -8479,8 +8483,8 @@ export declare class AvmCircuitInputs {
                     };
                 };
                 nonRevertibleAccumulatedData: {
-                    noteHashes: string[];
-                    nullifiers: string[];
+                    noteHashes: any[];
+                    nullifiers: any[];
                     l2ToL1Messages: {
                         message: {
                             content: string;
@@ -8490,8 +8494,8 @@ export declare class AvmCircuitInputs {
                     }[];
                 };
                 revertibleAccumulatedData: {
-                    noteHashes: string[];
-                    nullifiers: string[];
+                    noteHashes: any[];
+                    nullifiers: any[];
                     l2ToL1Messages: {
                         message: {
                             content: string;
@@ -8540,10 +8544,6 @@ export declare class AvmCircuitInputs {
                 teardownEnqueuedCall?: any;
             };
             contractInstances: {
-                salt: string;
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
                 publicKeys: {
                     masterNullifierPublicKey: string;
                     masterIncomingViewingPublicKey: string;
@@ -8551,27 +8551,31 @@ export declare class AvmCircuitInputs {
                     masterTaggingPublicKey: string;
                 };
                 hintKey: number;
+                salt?: any;
                 deployer?: any;
+                currentContractClassId?: any;
+                originalContractClassId?: any;
+                initializationHash?: any;
                 address?: any;
             }[];
             contractClasses: {
-                artifactHash: string;
                 packedBytecode: string | {
                     type: "Buffer";
                     data: number[];
                 };
-                privateFunctionsRoot: string;
                 hintKey: number;
-                classId: string;
+                artifactHash?: any;
+                privateFunctionsRoot?: any;
+                classId?: any;
             }[];
             bytecodeCommitments: {
                 hintKey: number;
-                classId: string;
-                commitment: string;
+                classId?: any;
+                commitment?: any;
             }[];
             debugFunctionNames: {
                 name: string;
-                selector: string;
+                selector?: any;
                 address?: any;
             }[];
             startingTreeRoots: {
@@ -8593,7 +8597,7 @@ export declare class AvmCircuitInputs {
                 };
             };
             getSiblingPathHints: {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 hintKey: {
                     root: string;
@@ -8602,7 +8606,6 @@ export declare class AvmCircuitInputs {
                 treeId: number;
             }[];
             getPreviousValueIndexHints: {
-                value: string;
                 index: string | number | bigint;
                 alreadyPresent: boolean;
                 hintKey: {
@@ -8610,6 +8613,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 treeId: number;
+                value?: any;
             }[];
             getLeafPreimageHintsPublicDataTree: {
                 index: string | number | bigint;
@@ -8654,13 +8658,13 @@ export declare class AvmCircuitInputs {
                 };
             }[];
             getLeafValueHints: {
-                value: string;
                 index: string | number | bigint;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 treeId: number;
+                value?: any;
             }[];
             sequentialInsertHintsPublicDataTree: {
                 leaf: {
@@ -8679,7 +8683,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 lowLeavesWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -8697,7 +8701,7 @@ export declare class AvmCircuitInputs {
                     };
                 };
                 insertionWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -8732,7 +8736,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 lowLeavesWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -8750,7 +8754,7 @@ export declare class AvmCircuitInputs {
                     };
                 };
                 insertionWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -8778,7 +8782,7 @@ export declare class AvmCircuitInputs {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
-                leaves: string[];
+                leaves: any[];
             }[];
             createCheckpointHints: {
                 actionCounter: number;
@@ -8849,13 +8853,13 @@ export declare class AvmCircuitInputs {
         }>;
         publicInputs: z.ZodEffects<z.ZodObject<{
             globalVariables: z.ZodEffects<z.ZodObject<{
-                chainId: import("@aztec/foundation/schemas").ZodFor<Fr>;
-                version: import("@aztec/foundation/schemas").ZodFor<Fr>;
+                chainId: import("../schemas/schemas.js").ZodFor<Fr>;
+                version: import("../schemas/schemas.js").ZodFor<Fr>;
                 blockNumber: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                slotNumber: import("@aztec/foundation/schemas").ZodFor<Fr>;
+                slotNumber: import("../schemas/schemas.js").ZodFor<Fr>;
                 timestamp: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                coinbase: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
-                feeRecipient: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                coinbase: import("../schemas/schemas.js").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
+                feeRecipient: import("../schemas/schemas.js").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>;
@@ -8904,7 +8908,7 @@ export declare class AvmCircuitInputs {
                 feeRecipient?: any;
             }>;
             protocolContracts: z.ZodEffects<z.ZodObject<{
-                derivedAddresses: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<AztecAddress>, "many">;
+                derivedAddresses: z.ZodArray<import("../schemas/schemas.js").ZodFor<AztecAddress>, "many">;
             }, "strip", z.ZodTypeAny, {
                 derivedAddresses: AztecAddress[];
             }, {
@@ -9124,7 +9128,7 @@ export declare class AvmCircuitInputs {
                 feePerDaGas: string | number | bigint;
                 feePerL2Gas: string | number | bigint;
             }>;
-            feePayer: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+            feePayer: import("../schemas/schemas.js").ZodFor<AztecAddress>;
             proverId: z.ZodType<Fr, any, string>;
             publicCallRequestArrayLengths: z.ZodEffects<z.ZodObject<{
                 setupCalls: z.ZodNumber;
@@ -9144,8 +9148,8 @@ export declare class AvmCircuitInputs {
                 teardownCall: boolean;
             }>;
             publicSetupCallRequests: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-                contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                msgSender: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
                 isStaticCall: z.ZodBoolean;
                 calldataHash: z.ZodType<Fr, any, string>;
             }, "strip", z.ZodTypeAny, {
@@ -9165,8 +9169,8 @@ export declare class AvmCircuitInputs {
                 msgSender?: any;
             }>, "many">;
             publicAppLogicCallRequests: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-                contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                msgSender: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
                 isStaticCall: z.ZodBoolean;
                 calldataHash: z.ZodType<Fr, any, string>;
             }, "strip", z.ZodTypeAny, {
@@ -9186,8 +9190,8 @@ export declare class AvmCircuitInputs {
                 msgSender?: any;
             }>, "many">;
             publicTeardownCallRequest: z.ZodEffects<z.ZodObject<{
-                msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-                contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                msgSender: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+                contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
                 isStaticCall: z.ZodBoolean;
                 calldataHash: z.ZodType<Fr, any, string>;
             }, "strip", z.ZodTypeAny, {
@@ -9257,7 +9261,7 @@ export declare class AvmCircuitInputs {
                         content: string;
                         recipient: string;
                     }>;
-                    contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                    contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
                 }, "strip", z.ZodTypeAny, {
                     message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                     contractAddress: AztecAddress;
@@ -9316,7 +9320,7 @@ export declare class AvmCircuitInputs {
                         content: string;
                         recipient: string;
                     }>;
-                    contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                    contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
                 }, "strip", z.ZodTypeAny, {
                     message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                     contractAddress: AztecAddress;
@@ -9502,7 +9506,7 @@ export declare class AvmCircuitInputs {
                         content: string;
                         recipient: string;
                     }>;
-                    contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                    contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
                 }, "strip", z.ZodTypeAny, {
                     message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                     contractAddress: AztecAddress;
@@ -9519,7 +9523,7 @@ export declare class AvmCircuitInputs {
                     };
                     contractAddress?: any;
                 }>, "many">;
-                publicLogs: import("@aztec/foundation/schemas").ZodFor<import("../logs/public_log.js").FlatPublicLogs>;
+                publicLogs: import("../schemas/schemas.js").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>;
@@ -10131,8 +10135,8 @@ export declare class AvmCircuitInputs {
                     };
                 };
                 nonRevertibleAccumulatedData: {
-                    noteHashes: string[];
-                    nullifiers: string[];
+                    noteHashes: any[];
+                    nullifiers: any[];
                     l2ToL1Messages: {
                         message: {
                             content: string;
@@ -10142,8 +10146,8 @@ export declare class AvmCircuitInputs {
                     }[];
                 };
                 revertibleAccumulatedData: {
-                    noteHashes: string[];
-                    nullifiers: string[];
+                    noteHashes: any[];
+                    nullifiers: any[];
                     l2ToL1Messages: {
                         message: {
                             content: string;
@@ -10192,10 +10196,6 @@ export declare class AvmCircuitInputs {
                 teardownEnqueuedCall?: any;
             };
             contractInstances: {
-                salt: string;
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
                 publicKeys: {
                     masterNullifierPublicKey: string;
                     masterIncomingViewingPublicKey: string;
@@ -10203,27 +10203,31 @@ export declare class AvmCircuitInputs {
                     masterTaggingPublicKey: string;
                 };
                 hintKey: number;
+                salt?: any;
                 deployer?: any;
+                currentContractClassId?: any;
+                originalContractClassId?: any;
+                initializationHash?: any;
                 address?: any;
             }[];
             contractClasses: {
-                artifactHash: string;
                 packedBytecode: string | {
                     type: "Buffer";
                     data: number[];
                 };
-                privateFunctionsRoot: string;
                 hintKey: number;
-                classId: string;
+                artifactHash?: any;
+                privateFunctionsRoot?: any;
+                classId?: any;
             }[];
             bytecodeCommitments: {
                 hintKey: number;
-                classId: string;
-                commitment: string;
+                classId?: any;
+                commitment?: any;
             }[];
             debugFunctionNames: {
                 name: string;
-                selector: string;
+                selector?: any;
                 address?: any;
             }[];
             startingTreeRoots: {
@@ -10245,7 +10249,7 @@ export declare class AvmCircuitInputs {
                 };
             };
             getSiblingPathHints: {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 hintKey: {
                     root: string;
@@ -10254,7 +10258,6 @@ export declare class AvmCircuitInputs {
                 treeId: number;
             }[];
             getPreviousValueIndexHints: {
-                value: string;
                 index: string | number | bigint;
                 alreadyPresent: boolean;
                 hintKey: {
@@ -10262,6 +10265,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 treeId: number;
+                value?: any;
             }[];
             getLeafPreimageHintsPublicDataTree: {
                 index: string | number | bigint;
@@ -10306,13 +10310,13 @@ export declare class AvmCircuitInputs {
                 };
             }[];
             getLeafValueHints: {
-                value: string;
                 index: string | number | bigint;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 treeId: number;
+                value?: any;
             }[];
             sequentialInsertHintsPublicDataTree: {
                 leaf: {
@@ -10331,7 +10335,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 lowLeavesWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -10349,7 +10353,7 @@ export declare class AvmCircuitInputs {
                     };
                 };
                 insertionWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -10384,7 +10388,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 lowLeavesWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -10402,7 +10406,7 @@ export declare class AvmCircuitInputs {
                     };
                 };
                 insertionWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -10430,7 +10434,7 @@ export declare class AvmCircuitInputs {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
-                leaves: string[];
+                leaves: any[];
             }[];
             createCheckpointHints: {
                 actionCounter: number;
@@ -10703,8 +10707,8 @@ export declare class AvmCircuitInputs {
                     };
                 };
                 nonRevertibleAccumulatedData: {
-                    noteHashes: string[];
-                    nullifiers: string[];
+                    noteHashes: any[];
+                    nullifiers: any[];
                     l2ToL1Messages: {
                         message: {
                             content: string;
@@ -10714,8 +10718,8 @@ export declare class AvmCircuitInputs {
                     }[];
                 };
                 revertibleAccumulatedData: {
-                    noteHashes: string[];
-                    nullifiers: string[];
+                    noteHashes: any[];
+                    nullifiers: any[];
                     l2ToL1Messages: {
                         message: {
                             content: string;
@@ -10764,10 +10768,6 @@ export declare class AvmCircuitInputs {
                 teardownEnqueuedCall?: any;
             };
             contractInstances: {
-                salt: string;
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
                 publicKeys: {
                     masterNullifierPublicKey: string;
                     masterIncomingViewingPublicKey: string;
@@ -10775,27 +10775,31 @@ export declare class AvmCircuitInputs {
                     masterTaggingPublicKey: string;
                 };
                 hintKey: number;
+                salt?: any;
                 deployer?: any;
+                currentContractClassId?: any;
+                originalContractClassId?: any;
+                initializationHash?: any;
                 address?: any;
             }[];
             contractClasses: {
-                artifactHash: string;
                 packedBytecode: string | {
                     type: "Buffer";
                     data: number[];
                 };
-                privateFunctionsRoot: string;
                 hintKey: number;
-                classId: string;
+                artifactHash?: any;
+                privateFunctionsRoot?: any;
+                classId?: any;
             }[];
             bytecodeCommitments: {
                 hintKey: number;
-                classId: string;
-                commitment: string;
+                classId?: any;
+                commitment?: any;
             }[];
             debugFunctionNames: {
                 name: string;
-                selector: string;
+                selector?: any;
                 address?: any;
             }[];
             startingTreeRoots: {
@@ -10817,7 +10821,7 @@ export declare class AvmCircuitInputs {
                 };
             };
             getSiblingPathHints: {
-                path: string[];
+                path: any[];
                 index: string | number | bigint;
                 hintKey: {
                     root: string;
@@ -10826,7 +10830,6 @@ export declare class AvmCircuitInputs {
                 treeId: number;
             }[];
             getPreviousValueIndexHints: {
-                value: string;
                 index: string | number | bigint;
                 alreadyPresent: boolean;
                 hintKey: {
@@ -10834,6 +10837,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 treeId: number;
+                value?: any;
             }[];
             getLeafPreimageHintsPublicDataTree: {
                 index: string | number | bigint;
@@ -10878,13 +10882,13 @@ export declare class AvmCircuitInputs {
                 };
             }[];
             getLeafValueHints: {
-                value: string;
                 index: string | number | bigint;
                 hintKey: {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 treeId: number;
+                value?: any;
             }[];
             sequentialInsertHintsPublicDataTree: {
                 leaf: {
@@ -10903,7 +10907,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 lowLeavesWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -10921,7 +10925,7 @@ export declare class AvmCircuitInputs {
                     };
                 };
                 insertionWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -10956,7 +10960,7 @@ export declare class AvmCircuitInputs {
                     nextAvailableLeafIndex: string | number | bigint;
                 };
                 lowLeavesWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -10974,7 +10978,7 @@ export declare class AvmCircuitInputs {
                     };
                 };
                 insertionWitnessData: {
-                    path: string[];
+                    path: any[];
                     index: string | number | bigint;
                     leaf: {
                         leaf: {
@@ -11002,7 +11006,7 @@ export declare class AvmCircuitInputs {
                     root: string;
                     nextAvailableLeafIndex: string | number | bigint;
                 };
-                leaves: string[];
+                leaves: any[];
             }[];
             createCheckpointHints: {
                 actionCounter: number;
@@ -11076,6 +11080,143 @@ export declare class AvmCircuitInputs {
     toBuffer(): Buffer;
     static fromBuffer(buf: Buffer): AvmCircuitInputs;
 }
+export type ProcessedPhase = {
+    phase: TxExecutionPhase;
+    durationMs?: number;
+    returnValues: NestedProcessReturnValues[];
+    reverted: boolean;
+    revertReason?: SimulationError;
+};
+export declare class PublicTxResult {
+    gasUsed: GasUsed;
+    revertCode: RevertCode;
+    revertReason: SimulationError | undefined;
+    processedPhases: ProcessedPhase[] | undefined;
+    logs: DebugLog[] | undefined;
+    hints: AvmExecutionHints | undefined;
+    publicInputs: AvmCircuitPublicInputs;
+    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;
+    };
+}
+export type PublicTxSimulatorConfig = {
+    proverId: Fr;
+    doMerkleOperations: boolean;
+    skipFeeEnforcement: boolean;
+    clientInitiatedSimulation: boolean;
+    maxDebugLogMemoryReads: number;
+};
 export declare class AvmFastSimulationInputs {
     readonly wsRevision: WorldStateRevision;
     tx: AvmTxHint;
@@ -11211,7 +11352,7 @@ export declare class AvmFastSimulationInputs {
             }>;
             nonRevertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
                 contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                    contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                    contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
                     fields: z.ZodEffects<z.ZodObject<{
                         fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
                     }, "strip", z.ZodTypeAny, {
@@ -11282,7 +11423,7 @@ export declare class AvmFastSimulationInputs {
             }>;
             revertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
                 contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                    contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                    contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
                     fields: z.ZodEffects<z.ZodObject<{
                         fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
                     }, "strip", z.ZodTypeAny, {
@@ -11352,8 +11493,8 @@ export declare class AvmFastSimulationInputs {
                 }[];
             }>;
             nonRevertibleAccumulatedData: z.ZodObject<{
-                noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-                nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+                nullifiers: z.ZodArray<import("../schemas/schemas.js").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>;
@@ -11368,7 +11509,7 @@ export declare class AvmFastSimulationInputs {
                         content: string;
                         recipient: string;
                     }>;
-                    contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                    contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
                 }, "strip", z.ZodTypeAny, {
                     message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                     contractAddress: AztecAddress;
@@ -11390,8 +11531,8 @@ export declare class AvmFastSimulationInputs {
                 nullifiers: Fr[];
                 l2ToL1Messages: ScopedL2ToL1Message[];
             }, {
-                noteHashes: string[];
-                nullifiers: string[];
+                noteHashes: any[];
+                nullifiers: any[];
                 l2ToL1Messages: {
                     message: {
                         content: string;
@@ -11401,8 +11542,8 @@ export declare class AvmFastSimulationInputs {
                 }[];
             }>;
             revertibleAccumulatedData: z.ZodObject<{
-                noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-                nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+                noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
+                nullifiers: z.ZodArray<import("../schemas/schemas.js").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>;
@@ -11417,7 +11558,7 @@ export declare class AvmFastSimulationInputs {
                         content: string;
                         recipient: string;
                     }>;
-                    contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                    contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
                 }, "strip", z.ZodTypeAny, {
                     message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                     contractAddress: AztecAddress;
@@ -11439,8 +11580,8 @@ export declare class AvmFastSimulationInputs {
                 nullifiers: Fr[];
                 l2ToL1Messages: ScopedL2ToL1Message[];
             }, {
-                noteHashes: string[];
-                nullifiers: string[];
+                noteHashes: any[];
+                nullifiers: any[];
                 l2ToL1Messages: {
                     message: {
                         content: string;
@@ -11449,9 +11590,9 @@ export declare class AvmFastSimulationInputs {
                     contractAddress?: any;
                 }[];
             }>;
-            setupEnqueuedCalls: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<PublicCallRequestWithCalldata>, "many">;
-            appLogicEnqueuedCalls: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<PublicCallRequestWithCalldata>, "many">;
-            teardownEnqueuedCall: z.ZodNullable<import("@aztec/foundation/schemas").ZodFor<PublicCallRequestWithCalldata>>;
+            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>>;
             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>;
@@ -11465,7 +11606,7 @@ export declare class AvmFastSimulationInputs {
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             }>;
-            feePayer: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+            feePayer: import("../schemas/schemas.js").ZodFor<AztecAddress>;
         }, "strip", z.ZodTypeAny, {
             hash: string;
             gasSettings: GasSettings;
@@ -11508,8 +11649,8 @@ export declare class AvmFastSimulationInputs {
                 };
             };
             nonRevertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
+                noteHashes: any[];
+                nullifiers: any[];
                 l2ToL1Messages: {
                     message: {
                         content: string;
@@ -11519,8 +11660,8 @@ export declare class AvmFastSimulationInputs {
                 }[];
             };
             revertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
+                noteHashes: any[];
+                nullifiers: any[];
                 l2ToL1Messages: {
                     message: {
                         content: string;
@@ -11588,8 +11729,8 @@ export declare class AvmFastSimulationInputs {
                 };
             };
             nonRevertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
+                noteHashes: any[];
+                nullifiers: any[];
                 l2ToL1Messages: {
                     message: {
                         content: string;
@@ -11599,8 +11740,8 @@ export declare class AvmFastSimulationInputs {
                 }[];
             };
             revertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
+                noteHashes: any[];
+                nullifiers: any[];
                 l2ToL1Messages: {
                     message: {
                         content: string;
@@ -11649,13 +11790,13 @@ export declare class AvmFastSimulationInputs {
             teardownEnqueuedCall?: any;
         }>;
         globalVariables: z.ZodEffects<z.ZodObject<{
-            chainId: import("@aztec/foundation/schemas").ZodFor<Fr>;
-            version: import("@aztec/foundation/schemas").ZodFor<Fr>;
+            chainId: import("../schemas/schemas.js").ZodFor<Fr>;
+            version: import("../schemas/schemas.js").ZodFor<Fr>;
             blockNumber: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            slotNumber: import("@aztec/foundation/schemas").ZodFor<Fr>;
+            slotNumber: import("../schemas/schemas.js").ZodFor<Fr>;
             timestamp: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            coinbase: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
-            feeRecipient: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+            coinbase: import("../schemas/schemas.js").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
+            feeRecipient: import("../schemas/schemas.js").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>;
@@ -11704,7 +11845,7 @@ export declare class AvmFastSimulationInputs {
             feeRecipient?: any;
         }>;
         protocolContracts: z.ZodEffects<z.ZodObject<{
-            derivedAddresses: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<AztecAddress>, "many">;
+            derivedAddresses: z.ZodArray<import("../schemas/schemas.js").ZodFor<AztecAddress>, "many">;
         }, "strip", z.ZodTypeAny, {
             derivedAddresses: AztecAddress[];
         }, {
@@ -11755,8 +11896,8 @@ export declare class AvmFastSimulationInputs {
                 };
             };
             nonRevertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
+                noteHashes: any[];
+                nullifiers: any[];
                 l2ToL1Messages: {
                     message: {
                         content: string;
@@ -11766,8 +11907,8 @@ export declare class AvmFastSimulationInputs {
                 }[];
             };
             revertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
+                noteHashes: any[];
+                nullifiers: any[];
                 l2ToL1Messages: {
                     message: {
                         content: string;
@@ -11858,8 +11999,8 @@ export declare class AvmFastSimulationInputs {
                 };
             };
             nonRevertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
+                noteHashes: any[];
+                nullifiers: any[];
                 l2ToL1Messages: {
                     message: {
                         content: string;
@@ -11869,8 +12010,8 @@ export declare class AvmFastSimulationInputs {
                 }[];
             };
             revertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
+                noteHashes: any[];
+                nullifiers: any[];
                 l2ToL1Messages: {
                     message: {
                         content: string;