@aztec/stdlib 0.0.0-test.1 → 0.0.1-commit.017a351

package/dest/avm/avm_proving_request.d.ts

@@ -1,1465 +1,1252 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 import { z } from 'zod';
 import { ProvingRequestType } from '../proofs/proving_request_type.js';
 import { AvmCircuitInputs } from './avm.js';
 export type AvmProvingRequest = z.infer<typeof AvmProvingRequestSchema>;
 export declare const AvmProvingRequestSchema: z.ZodObject<{
     type: z.ZodLiteral<ProvingRequestType.PUBLIC_VM>;
-    inputs: z.ZodEffects<z.ZodObject<{
-        functionName: z.ZodString;
-        calldata: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-        hints: z.ZodEffects<z.ZodObject<{
-            enqueuedCalls: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
-                calldata: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-            }, "strip", z.ZodTypeAny, {
-                contractAddress: import("../aztec-address/index.js").AztecAddress;
-                calldata: import("@aztec/foundation/schemas").Fr[];
-            }, {
-                calldata: string[];
-                contractAddress?: any;
-            }>, import("./avm.js").AvmEnqueuedCallHint, {
-                calldata: string[];
-                contractAddress?: any;
-            }>, "many">;
-            contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
+    inputs: z.ZodPipe<z.ZodObject<{
+        hints: z.ZodPipe<z.ZodObject<{
+            globalVariables: z.ZodPipe<z.ZodObject<{
+                chainId: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
+                version: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
+                blockNumber: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodPipe<z.ZodBigInt, z.ZodTransform<number, bigint>>, z.ZodPipe<z.ZodString, z.ZodTransform<number, string>>]>, z.ZodTransform<import("@aztec/foundation/branded-types").BlockNumber, number>>;
+                slotNumber: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").SlotNumber>;
+                timestamp: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                coinbase: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/eth-address").EthAddress>;
+                feeRecipient: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                gasFees: z.ZodPipe<z.ZodObject<{
+                    feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../gas/gas_fees.js").GasFees, {
+                    feePerDaGas: bigint;
+                    feePerL2Gas: bigint;
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<import("../tx/global_variables.js").GlobalVariables, {
+                chainId: import("@aztec/foundation/schemas").Fr;
+                version: import("@aztec/foundation/schemas").Fr;
+                blockNumber: import("@aztec/foundation/branded-types").BlockNumber;
+                slotNumber: import("@aztec/foundation/schemas").SlotNumber;
+                timestamp: bigint;
+                coinbase: import("@aztec/foundation/eth-address").EthAddress;
+                feeRecipient: import("../aztec-address/index.js").AztecAddress;
+                gasFees: import("../gas/gas_fees.js").GasFees;
+            }>>;
+            tx: z.ZodPipe<z.ZodObject<{
+                hash: z.ZodString;
+                gasSettings: z.ZodPipe<z.ZodObject<{
+                    gasLimits: z.ZodPipe<z.ZodObject<{
+                        daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                        l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../gas/gas.js").Gas, {
+                        daGas: number;
+                        l2Gas: number;
+                    }>>;
+                    teardownGasLimits: z.ZodPipe<z.ZodObject<{
+                        daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                        l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../gas/gas.js").Gas, {
+                        daGas: number;
+                        l2Gas: number;
+                    }>>;
+                    maxFeesPerGas: z.ZodPipe<z.ZodObject<{
+                        feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                        feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../gas/gas_fees.js").GasFees, {
+                        feePerDaGas: bigint;
+                        feePerL2Gas: bigint;
+                    }>>;
+                    maxPriorityFeesPerGas: z.ZodPipe<z.ZodObject<{
+                        feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                        feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../gas/gas_fees.js").GasFees, {
+                        feePerDaGas: bigint;
+                        feePerL2Gas: bigint;
+                    }>>;
+                }, z.core.$strip>, z.ZodTransform<import("../gas/gas_settings.js").GasSettings, {
+                    gasLimits: import("../gas/gas.js").Gas;
+                    teardownGasLimits: import("../gas/gas.js").Gas;
+                    maxFeesPerGas: import("../gas/gas_fees.js").GasFees;
+                    maxPriorityFeesPerGas: import("../gas/gas_fees.js").GasFees;
+                }>>;
+                effectiveGasFees: z.ZodPipe<z.ZodObject<{
+                    feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../gas/gas_fees.js").GasFees, {
+                    feePerDaGas: bigint;
+                    feePerL2Gas: bigint;
+                }>>;
+                nonRevertibleContractDeploymentData: z.ZodPipe<z.ZodObject<{
+                    contractClassLogs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                        contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                        fields: z.ZodPipe<z.ZodObject<{
+                            fields: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../logs/contract_class_log.js").ContractClassLogFields, {
+                            fields: import("@aztec/foundation/schemas").Fr[];
+                        }>>;
+                        emittedLength: z.ZodNumber;
+                    }, z.core.$strip>, z.ZodTransform<import("../logs/contract_class_log.js").ContractClassLog, {
+                        contractAddress: import("../aztec-address/index.js").AztecAddress;
+                        fields: import("../logs/contract_class_log.js").ContractClassLogFields;
+                        emittedLength: number;
+                    }>>>;
+                    privateLogs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                        fields: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>>;
+                        emittedLength: z.ZodNumber;
+                    }, z.core.$strict>, z.ZodTransform<import("../logs/private_log.js").PrivateLog, {
+                        fields: import("@aztec/foundation/schemas").Fr[];
+                        emittedLength: number;
+                    }>>>;
+                }, z.core.$strip>, z.ZodTransform<import("../contract/contract_deployment_data.js").ContractDeploymentData, {
+                    contractClassLogs: import("../logs/contract_class_log.js").ContractClassLog[];
+                    privateLogs: import("../logs/private_log.js").PrivateLog[];
+                }>>;
+                revertibleContractDeploymentData: z.ZodPipe<z.ZodObject<{
+                    contractClassLogs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                        contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                        fields: z.ZodPipe<z.ZodObject<{
+                            fields: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../logs/contract_class_log.js").ContractClassLogFields, {
+                            fields: import("@aztec/foundation/schemas").Fr[];
+                        }>>;
+                        emittedLength: z.ZodNumber;
+                    }, z.core.$strip>, z.ZodTransform<import("../logs/contract_class_log.js").ContractClassLog, {
+                        contractAddress: import("../aztec-address/index.js").AztecAddress;
+                        fields: import("../logs/contract_class_log.js").ContractClassLogFields;
+                        emittedLength: number;
+                    }>>>;
+                    privateLogs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                        fields: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>>;
+                        emittedLength: z.ZodNumber;
+                    }, z.core.$strict>, z.ZodTransform<import("../logs/private_log.js").PrivateLog, {
+                        fields: import("@aztec/foundation/schemas").Fr[];
+                        emittedLength: number;
+                    }>>>;
+                }, z.core.$strip>, z.ZodTransform<import("../contract/contract_deployment_data.js").ContractDeploymentData, {
+                    contractClassLogs: import("../logs/contract_class_log.js").ContractClassLog[];
+                    privateLogs: import("../logs/private_log.js").PrivateLog[];
+                }>>;
+                nonRevertibleAccumulatedData: z.ZodObject<{
+                    noteHashes: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>>;
+                    nullifiers: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>>;
+                    l2ToL1Messages: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                        message: z.ZodPipe<z.ZodObject<{
+                            recipient: z.ZodType<import("@aztec/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec/foundation/eth-address").EthAddress, string>>;
+                            content: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                            recipient: import("@aztec/foundation/eth-address").EthAddress;
+                            content: import("@aztec/foundation/schemas").Fr;
+                        }>>;
+                        contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                    }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
+                        message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                        contractAddress: import("../aztec-address/index.js").AztecAddress;
+                    }>>>;
+                }, z.core.$strip>;
+                revertibleAccumulatedData: z.ZodObject<{
+                    noteHashes: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>>;
+                    nullifiers: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>>;
+                    l2ToL1Messages: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                        message: z.ZodPipe<z.ZodObject<{
+                            recipient: z.ZodType<import("@aztec/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec/foundation/eth-address").EthAddress, string>>;
+                            content: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                            recipient: import("@aztec/foundation/eth-address").EthAddress;
+                            content: import("@aztec/foundation/schemas").Fr;
+                        }>>;
+                        contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                    }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
+                        message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                        contractAddress: import("../aztec-address/index.js").AztecAddress;
+                    }>>>;
+                }, z.core.$strip>;
+                setupEnqueuedCalls: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("../tx/public_call_request_with_calldata.js").PublicCallRequestWithCalldata>>;
+                appLogicEnqueuedCalls: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("../tx/public_call_request_with_calldata.js").PublicCallRequestWithCalldata>>;
+                teardownEnqueuedCall: z.ZodNullable<import("@aztec/foundation/schemas").ZodFor<import("../tx/public_call_request_with_calldata.js").PublicCallRequestWithCalldata>>;
+                gasUsedByPrivate: z.ZodPipe<z.ZodObject<{
+                    daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../gas/gas.js").Gas, {
+                    daGas: number;
+                    l2Gas: number;
+                }>>;
+                feePayer: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+            }, z.core.$strip>, z.ZodTransform<import("./avm.js").AvmTxHint, {
+                hash: string;
+                gasSettings: import("../gas/gas_settings.js").GasSettings;
+                effectiveGasFees: import("../gas/gas_fees.js").GasFees;
+                nonRevertibleContractDeploymentData: import("../contract/contract_deployment_data.js").ContractDeploymentData;
+                revertibleContractDeploymentData: import("../contract/contract_deployment_data.js").ContractDeploymentData;
+                nonRevertibleAccumulatedData: {
+                    noteHashes: import("@aztec/foundation/schemas").Fr[];
+                    nullifiers: import("@aztec/foundation/schemas").Fr[];
+                    l2ToL1Messages: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
+                };
+                revertibleAccumulatedData: {
+                    noteHashes: import("@aztec/foundation/schemas").Fr[];
+                    nullifiers: import("@aztec/foundation/schemas").Fr[];
+                    l2ToL1Messages: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
+                };
+                setupEnqueuedCalls: import("../tx/public_call_request_with_calldata.js").PublicCallRequestWithCalldata[];
+                appLogicEnqueuedCalls: import("../tx/public_call_request_with_calldata.js").PublicCallRequestWithCalldata[];
+                teardownEnqueuedCall: import("../tx/public_call_request_with_calldata.js").PublicCallRequestWithCalldata | null;
+                gasUsedByPrivate: import("../gas/gas.js").Gas;
+                feePayer: import("../aztec-address/index.js").AztecAddress;
+            }>>;
+            protocolContracts: z.ZodPipe<z.ZodObject<{
+                derivedAddresses: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>>;
+            }, z.core.$strip>, z.ZodTransform<import("../tx/protocol_contracts.js").ProtocolContracts, {
+                derivedAddresses: import("../aztec-address/index.js").AztecAddress[];
+            }>>;
+            contractInstances: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodNumber;
                 address: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
-                exists: z.ZodBoolean;
-                salt: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                salt: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
                 deployer: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
-                currentContractClassId: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                originalContractClassId: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                initializationHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                publicKeys: z.ZodEffects<z.ZodObject<{
-                    masterNullifierPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
-                    masterIncomingViewingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
-                    masterOutgoingViewingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
-                    masterTaggingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
-                }, "strip", z.ZodTypeAny, {
-                    masterNullifierPublicKey: import("@aztec/foundation/schemas").Point;
-                    masterIncomingViewingPublicKey: import("@aztec/foundation/schemas").Point;
-                    masterOutgoingViewingPublicKey: import("@aztec/foundation/schemas").Point;
-                    masterTaggingPublicKey: import("@aztec/foundation/schemas").Point;
-                }, {
-                    masterNullifierPublicKey: string;
-                    masterIncomingViewingPublicKey: string;
-                    masterOutgoingViewingPublicKey: string;
-                    masterTaggingPublicKey: string;
-                }>, import("../keys/public_keys.js").PublicKeys, {
-                    masterNullifierPublicKey: string;
-                    masterIncomingViewingPublicKey: string;
-                    masterOutgoingViewingPublicKey: string;
-                    masterTaggingPublicKey: string;
-                }>;
-                updateMembershipHint: z.ZodEffects<z.ZodObject<{
-                    leafPreimage: z.ZodEffects<z.ZodObject<{
-                        slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                        value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                        nextSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                        nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                    }, "strip", z.ZodTypeAny, {
-                        value: import("@aztec/foundation/schemas").Fr;
-                        slot: import("@aztec/foundation/schemas").Fr;
-                        nextIndex: bigint;
-                        nextSlot: import("@aztec/foundation/schemas").Fr;
-                    }, {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    }>;
-                    leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-                }, "strip", z.ZodTypeAny, {
-                    leafPreimage: import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
-                    leafIndex: import("@aztec/foundation/schemas").Fr;
-                    siblingPath: import("@aztec/foundation/schemas").Fr[];
-                }, {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                }>, import("./avm.js").AvmPublicDataReadTreeHint, {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                }>;
-                updatePreimage: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-            }, "strip", z.ZodTypeAny, {
-                exists: boolean;
+                currentContractClassId: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
+                originalContractClassId: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
+                initializationHash: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
+                immutablesHash: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
+                publicKeys: z.ZodPipe<z.ZodObject<{
+                    npkMHash: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    ivpkM: z.ZodType<import("@aztec/foundation/schemas").Point, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Point, string>>;
+                    ovpkMHash: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    tpkMHash: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    mspkMHash: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    fbpkMHash: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("../keys/public_keys.js").PublicKeys, {
+                    npkMHash: import("@aztec/foundation/schemas").Fr;
+                    ivpkM: import("@aztec/foundation/schemas").Point;
+                    ovpkMHash: import("@aztec/foundation/schemas").Fr;
+                    tpkMHash: import("@aztec/foundation/schemas").Fr;
+                    mspkMHash: import("@aztec/foundation/schemas").Fr;
+                    fbpkMHash: import("@aztec/foundation/schemas").Fr;
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<import("./avm.js").AvmContractInstanceHint, {
+                hintKey: number;
                 address: import("../aztec-address/index.js").AztecAddress;
                 salt: import("@aztec/foundation/schemas").Fr;
                 deployer: import("../aztec-address/index.js").AztecAddress;
                 currentContractClassId: import("@aztec/foundation/schemas").Fr;
                 originalContractClassId: import("@aztec/foundation/schemas").Fr;
                 initializationHash: import("@aztec/foundation/schemas").Fr;
+                immutablesHash: import("@aztec/foundation/schemas").Fr;
                 publicKeys: import("../keys/public_keys.js").PublicKeys;
-                updateMembershipHint: import("./avm.js").AvmPublicDataReadTreeHint;
-                updatePreimage: import("@aztec/foundation/schemas").Fr[];
-            }, {
-                exists: boolean;
-                salt: string;
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
-                publicKeys: {
-                    masterNullifierPublicKey: string;
-                    masterIncomingViewingPublicKey: string;
-                    masterOutgoingViewingPublicKey: string;
-                    masterTaggingPublicKey: string;
-                };
-                updateMembershipHint: {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                };
-                updatePreimage: string[];
-                address?: any;
-                deployer?: any;
-            }>, import("./avm.js").AvmContractInstanceHint, {
-                exists: boolean;
-                salt: string;
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
-                publicKeys: {
-                    masterNullifierPublicKey: string;
-                    masterIncomingViewingPublicKey: string;
-                    masterOutgoingViewingPublicKey: string;
-                    masterTaggingPublicKey: string;
-                };
-                updateMembershipHint: {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                };
-                updatePreimage: string[];
-                address?: any;
-                deployer?: any;
-            }>, "many">;
-            contractClasses: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                classId: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                exists: z.ZodBoolean;
-                artifactHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                privateFunctionsRoot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                publicBytecodeCommitment: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                packedBytecode: z.ZodUnion<[z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, Buffer, string>, z.ZodEffects<z.ZodObject<{
-                    type: z.ZodLiteral<"Buffer">;
-                    data: z.ZodArray<z.ZodNumber, "many">;
-                }, "strip", z.ZodTypeAny, {
-                    type: "Buffer";
-                    data: number[];
-                }, {
-                    type: "Buffer";
-                    data: number[];
-                }>, Buffer, {
-                    type: "Buffer";
-                    data: number[];
-                }>]>;
-            }, "strip", z.ZodTypeAny, {
+            }>>>;
+            contractClasses: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodNumber;
+                classId: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
+                artifactHash: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
+                privateFunctionsRoot: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
+                packedBytecode: import("@aztec/foundation/schemas").ZodFor<Buffer<ArrayBufferLike>>;
+            }, z.core.$strip>, z.ZodTransform<import("./avm.js").AvmContractClassHint, {
+                hintKey: number;
                 classId: import("@aztec/foundation/schemas").Fr;
-                exists: boolean;
                 artifactHash: import("@aztec/foundation/schemas").Fr;
                 privateFunctionsRoot: import("@aztec/foundation/schemas").Fr;
-                publicBytecodeCommitment: import("@aztec/foundation/schemas").Fr;
-                packedBytecode: Buffer;
+                packedBytecode: Buffer<ArrayBufferLike>;
+            }>>>;
+            bytecodeCommitments: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodNumber;
+                classId: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
+                commitment: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
+            }, z.core.$strip>, z.ZodTransform<import("./avm.js").AvmBytecodeCommitmentHint, {
+                hintKey: number;
+                classId: import("@aztec/foundation/schemas").Fr;
+                commitment: import("@aztec/foundation/schemas").Fr;
+            }>>>;
+            debugFunctionNames: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                address: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                selector: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
+                name: z.ZodString;
+            }, z.core.$strip>, z.ZodTransform<import("./avm.js").AvmDebugFunctionNameHint, {
+                address: import("../aztec-address/index.js").AztecAddress;
+                selector: import("@aztec/foundation/schemas").Fr;
+                name: string;
+            }>>>;
+            contractDbCreateCheckpointHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                actionCounter: z.ZodNumber;
+                oldCheckpointId: z.ZodNumber;
+                newCheckpointId: z.ZodNumber;
+            }, z.core.$strip>, z.ZodTransform<{
+                readonly actionCounter: number;
+                readonly oldCheckpointId: number;
+                readonly newCheckpointId: number;
             }, {
-                classId: string;
-                exists: boolean;
-                artifactHash: string;
-                privateFunctionsRoot: string;
-                publicBytecodeCommitment: string;
-                packedBytecode: string | {
-                    type: "Buffer";
-                    data: number[];
-                };
-            }>, import("./avm.js").AvmContractClassHint, {
-                classId: string;
-                exists: boolean;
-                artifactHash: string;
-                privateFunctionsRoot: string;
-                publicBytecodeCommitment: string;
-                packedBytecode: string | {
-                    type: "Buffer";
-                    data: number[];
-                };
-            }>, "many">;
-            publicDataReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                leafPreimage: z.ZodEffects<z.ZodObject<{
-                    slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    nextSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                }, "strip", z.ZodTypeAny, {
-                    value: import("@aztec/foundation/schemas").Fr;
-                    slot: import("@aztec/foundation/schemas").Fr;
-                    nextIndex: bigint;
-                    nextSlot: import("@aztec/foundation/schemas").Fr;
-                }, {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                }>;
-                leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-            }, "strip", z.ZodTypeAny, {
-                leafPreimage: import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
-                leafIndex: import("@aztec/foundation/schemas").Fr;
-                siblingPath: import("@aztec/foundation/schemas").Fr[];
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }>>>;
+            contractDbCommitCheckpointHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                actionCounter: z.ZodNumber;
+                oldCheckpointId: z.ZodNumber;
+                newCheckpointId: z.ZodNumber;
+            }, z.core.$strip>, z.ZodTransform<{
+                readonly actionCounter: number;
+                readonly oldCheckpointId: number;
+                readonly newCheckpointId: number;
             }, {
-                leafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                };
-                leafIndex: string;
-                siblingPath: string[];
-            }>, import("./avm.js").AvmPublicDataReadTreeHint, {
-                leafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                };
-                leafIndex: string;
-                siblingPath: string[];
-            }>, "many">;
-            publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                lowLeafRead: z.ZodEffects<z.ZodObject<{
-                    leafPreimage: z.ZodEffects<z.ZodObject<{
-                        slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                        value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                        nextSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                        nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                    }, "strip", z.ZodTypeAny, {
-                        value: import("@aztec/foundation/schemas").Fr;
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }>>>;
+            contractDbRevertCheckpointHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                actionCounter: z.ZodNumber;
+                oldCheckpointId: z.ZodNumber;
+                newCheckpointId: z.ZodNumber;
+            }, z.core.$strip>, z.ZodTransform<{
+                readonly actionCounter: number;
+                readonly oldCheckpointId: number;
+                readonly newCheckpointId: number;
+            }, {
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }>>>;
+            startingTreeRoots: z.ZodPipe<z.ZodObject<{
+                l1ToL2MessageTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: import("@aztec/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                noteHashTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: import("@aztec/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                nullifierTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: import("@aztec/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                publicDataTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: import("@aztec/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<import("../tx/tree_snapshots.js").TreeSnapshots, {
+                l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+            }>>;
+            getSiblingPathHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: import("@aztec/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                treeId: z.ZodNumber;
+                index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                path: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>>;
+            }, z.core.$strip>, z.ZodTransform<import("./avm.js").AvmGetSiblingPathHint, {
+                hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                treeId: number;
+                index: bigint;
+                path: import("@aztec/foundation/schemas").Fr[];
+            }>>>;
+            getPreviousValueIndexHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: import("@aztec/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                treeId: z.ZodNumber;
+                value: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
+                index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                alreadyPresent: z.ZodBoolean;
+            }, z.core.$strip>, z.ZodTransform<import("./avm.js").AvmGetPreviousValueIndexHint, {
+                hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                treeId: number;
+                value: import("@aztec/foundation/schemas").Fr;
+                index: bigint;
+                alreadyPresent: boolean;
+            }>>>;
+            getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: import("@aztec/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                leafPreimage: z.ZodPipe<z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                        nullifier: import("@aztec/foundation/schemas").Fr;
+                    }>>;
+                    nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
+                    nextKey: import("@aztec/foundation/schemas").Fr;
+                    nextIndex: bigint;
+                }>> | z.ZodPipe<z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        slot: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        value: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
                         slot: import("@aztec/foundation/schemas").Fr;
-                        nextIndex: bigint;
-                        nextSlot: import("@aztec/foundation/schemas").Fr;
-                    }, {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    }>;
-                    leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-                }, "strip", z.ZodTypeAny, {
-                    leafPreimage: import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
-                    leafIndex: import("@aztec/foundation/schemas").Fr;
-                    siblingPath: import("@aztec/foundation/schemas").Fr[];
-                }, {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                }>, import("./avm.js").AvmPublicDataReadTreeHint, {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                }>;
-                newLeafPreimage: z.ZodEffects<z.ZodObject<{
-                    slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    nextSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                }, "strip", z.ZodTypeAny, {
-                    value: import("@aztec/foundation/schemas").Fr;
-                    slot: import("@aztec/foundation/schemas").Fr;
+                        value: import("@aztec/foundation/schemas").Fr;
+                    }>>;
+                    nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
+                    leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                    nextKey: import("@aztec/foundation/schemas").Fr;
                     nextIndex: bigint;
-                    nextSlot: import("@aztec/foundation/schemas").Fr;
-                }, {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                }>;
-                insertionPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-            }, "strip", z.ZodTypeAny, {
-                lowLeafRead: import("./avm.js").AvmPublicDataReadTreeHint;
-                insertionPath: import("@aztec/foundation/schemas").Fr[];
-                newLeafPreimage: import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<{
+                readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly index: bigint;
+                readonly leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
             }, {
-                lowLeafRead: {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                };
-                insertionPath: string[];
-                newLeafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                };
-            }>, import("./avm.js").AvmPublicDataWriteTreeHint, {
-                lowLeafRead: {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                };
-                insertionPath: string[];
-                newLeafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                };
-            }>, "many">;
-            nullifierReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                lowLeafPreimage: z.ZodEffects<z.ZodObject<{
-                    nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    nextNullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                }, "strip", z.ZodTypeAny, {
-                    nullifier: import("@aztec/foundation/schemas").Fr;
-                    nextNullifier: import("@aztec/foundation/schemas").Fr;
+                hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                index: bigint;
+                leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+            }>>>;
+            getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: import("@aztec/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                leafPreimage: z.ZodPipe<z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                        nullifier: import("@aztec/foundation/schemas").Fr;
+                    }>>;
+                    nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
+                    nextKey: import("@aztec/foundation/schemas").Fr;
+                    nextIndex: bigint;
+                }>> | z.ZodPipe<z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        slot: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        value: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                        slot: import("@aztec/foundation/schemas").Fr;
+                        value: import("@aztec/foundation/schemas").Fr;
+                    }>>;
+                    nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
+                    leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                    nextKey: import("@aztec/foundation/schemas").Fr;
                     nextIndex: bigint;
-                }, {
-                    nullifier: string;
-                    nextNullifier: string;
-                    nextIndex: string | number | bigint;
-                }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
-                    nullifier: string;
-                    nextNullifier: string;
-                    nextIndex: string | number | bigint;
-                }>;
-                lowLeafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                lowLeafSiblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-            }, "strip", z.ZodTypeAny, {
-                lowLeafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage;
-                lowLeafIndex: import("@aztec/foundation/schemas").Fr;
-                lowLeafSiblingPath: import("@aztec/foundation/schemas").Fr[];
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<{
+                readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly index: bigint;
+                readonly leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
             }, {
-                lowLeafPreimage: {
-                    nullifier: string;
-                    nextNullifier: string;
-                    nextIndex: string | number | bigint;
-                };
-                lowLeafIndex: string;
-                lowLeafSiblingPath: string[];
-            }>, import("./avm.js").AvmNullifierReadTreeHint, {
-                lowLeafPreimage: {
-                    nullifier: string;
-                    nextNullifier: string;
-                    nextIndex: string | number | bigint;
-                };
-                lowLeafIndex: string;
-                lowLeafSiblingPath: string[];
-            }>, "many">;
-            nullifierWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                lowLeafRead: z.ZodEffects<z.ZodObject<{
-                    lowLeafPreimage: z.ZodEffects<z.ZodObject<{
-                        nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                        nextNullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                        nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                    }, "strip", z.ZodTypeAny, {
-                        nullifier: import("@aztec/foundation/schemas").Fr;
-                        nextNullifier: import("@aztec/foundation/schemas").Fr;
+                hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                index: bigint;
+                leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+            }>>>;
+            getLeafValueHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: import("@aztec/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                treeId: z.ZodNumber;
+                index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                value: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
+            }, z.core.$strip>, z.ZodTransform<import("./avm.js").AvmGetLeafValueHint, {
+                hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                treeId: number;
+                index: bigint;
+                value: import("@aztec/foundation/schemas").Fr;
+            }>>>;
+            sequentialInsertHintsPublicDataTree: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: import("@aztec/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                stateAfter: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: import("@aztec/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                treeId: z.ZodNumber;
+                leaf: z.ZodPipe<z.ZodObject<{
+                    nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                    nullifier: import("@aztec/foundation/schemas").Fr;
+                }>> | z.ZodPipe<z.ZodObject<{
+                    slot: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    value: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                    slot: import("@aztec/foundation/schemas").Fr;
+                    value: import("@aztec/foundation/schemas").Fr;
+                }>>;
+                lowLeavesWitnessData: z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                            nullifier: import("@aztec/foundation/schemas").Fr;
+                        }>>;
+                        nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
+                        leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
+                        nextKey: import("@aztec/foundation/schemas").Fr;
                         nextIndex: bigint;
-                    }, {
-                        nullifier: string;
-                        nextNullifier: string;
-                        nextIndex: string | number | bigint;
-                    }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
-                        nullifier: string;
-                        nextNullifier: string;
-                        nextIndex: string | number | bigint;
-                    }>;
-                    lowLeafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    lowLeafSiblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-                }, "strip", z.ZodTypeAny, {
-                    lowLeafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage;
-                    lowLeafIndex: import("@aztec/foundation/schemas").Fr;
-                    lowLeafSiblingPath: import("@aztec/foundation/schemas").Fr[];
-                }, {
-                    lowLeafPreimage: {
-                        nullifier: string;
-                        nextNullifier: string;
-                        nextIndex: string | number | bigint;
-                    };
-                    lowLeafIndex: string;
-                    lowLeafSiblingPath: string[];
-                }>, import("./avm.js").AvmNullifierReadTreeHint, {
-                    lowLeafPreimage: {
-                        nullifier: string;
-                        nextNullifier: string;
-                        nextIndex: string | number | bigint;
-                    };
-                    lowLeafIndex: string;
-                    lowLeafSiblingPath: string[];
-                }>;
-                insertionPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-            }, "strip", z.ZodTypeAny, {
-                lowLeafRead: import("./avm.js").AvmNullifierReadTreeHint;
-                insertionPath: import("@aztec/foundation/schemas").Fr[];
-            }, {
-                lowLeafRead: {
-                    lowLeafPreimage: {
-                        nullifier: string;
-                        nextNullifier: string;
-                        nextIndex: string | number | bigint;
-                    };
-                    lowLeafIndex: string;
-                    lowLeafSiblingPath: string[];
+                    }>> | z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            slot: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                            value: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                            slot: import("@aztec/foundation/schemas").Fr;
+                            value: import("@aztec/foundation/schemas").Fr;
+                        }>>;
+                        nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
+                        leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                        nextKey: import("@aztec/foundation/schemas").Fr;
+                        nextIndex: bigint;
+                    }>>;
+                    index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    path: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>>;
+                }, z.core.$strip>;
+                insertionWitnessData: z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                            nullifier: import("@aztec/foundation/schemas").Fr;
+                        }>>;
+                        nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
+                        leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
+                        nextKey: import("@aztec/foundation/schemas").Fr;
+                        nextIndex: bigint;
+                    }>> | z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            slot: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                            value: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                            slot: import("@aztec/foundation/schemas").Fr;
+                            value: import("@aztec/foundation/schemas").Fr;
+                        }>>;
+                        nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
+                        leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                        nextKey: import("@aztec/foundation/schemas").Fr;
+                        nextIndex: bigint;
+                    }>>;
+                    index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    path: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>>;
+                }, z.core.$strip>;
+            }, z.core.$strip>, z.ZodTransform<{
+                readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly treeId: import("../trees/merkle_tree_id.js").MerkleTreeId;
+                readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                readonly lowLeavesWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec/foundation/schemas").Fr[];
+                };
+                readonly insertionWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec/foundation/schemas").Fr[];
                 };
-                insertionPath: string[];
-            }>, import("./avm.js").AvmNullifierWriteTreeHint, {
-                lowLeafRead: {
-                    lowLeafPreimage: {
-                        nullifier: string;
-                        nextNullifier: string;
-                        nextIndex: string | number | bigint;
-                    };
-                    lowLeafIndex: string;
-                    lowLeafSiblingPath: string[];
+            }, {
+                hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                treeId: number;
+                leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                lowLeavesWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec/foundation/schemas").Fr[];
+                };
+                insertionWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec/foundation/schemas").Fr[];
+                };
+            }>>>;
+            sequentialInsertHintsNullifierTree: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: import("@aztec/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                stateAfter: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: import("@aztec/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                treeId: z.ZodNumber;
+                leaf: z.ZodPipe<z.ZodObject<{
+                    nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                    nullifier: import("@aztec/foundation/schemas").Fr;
+                }>> | z.ZodPipe<z.ZodObject<{
+                    slot: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    value: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                    slot: import("@aztec/foundation/schemas").Fr;
+                    value: import("@aztec/foundation/schemas").Fr;
+                }>>;
+                lowLeavesWitnessData: z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                            nullifier: import("@aztec/foundation/schemas").Fr;
+                        }>>;
+                        nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
+                        leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
+                        nextKey: import("@aztec/foundation/schemas").Fr;
+                        nextIndex: bigint;
+                    }>> | z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            slot: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                            value: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                            slot: import("@aztec/foundation/schemas").Fr;
+                            value: import("@aztec/foundation/schemas").Fr;
+                        }>>;
+                        nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
+                        leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                        nextKey: import("@aztec/foundation/schemas").Fr;
+                        nextIndex: bigint;
+                    }>>;
+                    index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    path: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>>;
+                }, z.core.$strip>;
+                insertionWitnessData: z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                            nullifier: import("@aztec/foundation/schemas").Fr;
+                        }>>;
+                        nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
+                        leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
+                        nextKey: import("@aztec/foundation/schemas").Fr;
+                        nextIndex: bigint;
+                    }>> | z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            slot: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                            value: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                            slot: import("@aztec/foundation/schemas").Fr;
+                            value: import("@aztec/foundation/schemas").Fr;
+                        }>>;
+                        nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
+                        leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                        nextKey: import("@aztec/foundation/schemas").Fr;
+                        nextIndex: bigint;
+                    }>>;
+                    index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    path: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>>;
+                }, z.core.$strip>;
+            }, z.core.$strip>, z.ZodTransform<{
+                readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly treeId: import("../trees/merkle_tree_id.js").MerkleTreeId;
+                readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                readonly lowLeavesWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec/foundation/schemas").Fr[];
+                };
+                readonly insertionWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec/foundation/schemas").Fr[];
                 };
-                insertionPath: string[];
-            }>, "many">;
-            noteHashReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-            }, "strip", z.ZodTypeAny, {
-                value: import("@aztec/foundation/schemas").Fr;
-                leafIndex: import("@aztec/foundation/schemas").Fr;
-                siblingPath: import("@aztec/foundation/schemas").Fr[];
             }, {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }>, import("./avm.js").AvmAppendTreeHint, {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }>, "many">;
-            noteHashWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-            }, "strip", z.ZodTypeAny, {
-                value: import("@aztec/foundation/schemas").Fr;
-                leafIndex: import("@aztec/foundation/schemas").Fr;
-                siblingPath: import("@aztec/foundation/schemas").Fr[];
+                hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                treeId: number;
+                leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                lowLeavesWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec/foundation/schemas").Fr[];
+                };
+                insertionWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec/foundation/schemas").Fr[];
+                };
+            }>>>;
+            appendLeavesHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: import("@aztec/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                stateAfter: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: import("@aztec/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                treeId: z.ZodNumber;
+                leaves: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>>;
+            }, z.core.$strip>, z.ZodTransform<import("./avm.js").AvmAppendLeavesHint, {
+                hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                treeId: number;
+                leaves: import("@aztec/foundation/schemas").Fr[];
+            }>>>;
+            createCheckpointHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                actionCounter: z.ZodNumber;
+                oldCheckpointId: z.ZodNumber;
+                newCheckpointId: z.ZodNumber;
+            }, z.core.$strip>, z.ZodTransform<{
+                readonly actionCounter: number;
+                readonly oldCheckpointId: number;
+                readonly newCheckpointId: number;
             }, {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }>, import("./avm.js").AvmAppendTreeHint, {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }>, "many">;
-            l1ToL2MessageReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-            }, "strip", z.ZodTypeAny, {
-                value: import("@aztec/foundation/schemas").Fr;
-                leafIndex: import("@aztec/foundation/schemas").Fr;
-                siblingPath: import("@aztec/foundation/schemas").Fr[];
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }>>>;
+            commitCheckpointHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                actionCounter: z.ZodNumber;
+                oldCheckpointId: z.ZodNumber;
+                newCheckpointId: z.ZodNumber;
+            }, z.core.$strip>, z.ZodTransform<{
+                readonly actionCounter: number;
+                readonly oldCheckpointId: number;
+                readonly newCheckpointId: number;
             }, {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }>, import("./avm.js").AvmAppendTreeHint, {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }>, "many">;
-        }, "strip", z.ZodTypeAny, {
-            publicDataWrites: import("./avm.js").AvmPublicDataWriteTreeHint[];
-            enqueuedCalls: import("./avm.js").AvmEnqueuedCallHint[];
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+            }>>>;
+            revertCheckpointHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                actionCounter: z.ZodNumber;
+                oldCheckpointId: z.ZodNumber;
+                newCheckpointId: z.ZodNumber;
+                stateBefore: z.ZodPipe<z.ZodObject<{
+                    l1ToL2MessageTree: z.ZodPipe<z.ZodObject<{
+                        root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                        root: import("@aztec/foundation/schemas").Fr;
+                        nextAvailableLeafIndex: number;
+                    }>>;
+                    noteHashTree: z.ZodPipe<z.ZodObject<{
+                        root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                        root: import("@aztec/foundation/schemas").Fr;
+                        nextAvailableLeafIndex: number;
+                    }>>;
+                    nullifierTree: z.ZodPipe<z.ZodObject<{
+                        root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                        root: import("@aztec/foundation/schemas").Fr;
+                        nextAvailableLeafIndex: number;
+                    }>>;
+                    publicDataTree: z.ZodPipe<z.ZodObject<{
+                        root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                        root: import("@aztec/foundation/schemas").Fr;
+                        nextAvailableLeafIndex: number;
+                    }>>;
+                }, z.core.$strip>, z.ZodTransform<import("../tx/tree_snapshots.js").TreeSnapshots, {
+                    l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                    noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                    nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                    publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                }>>;
+                stateAfter: z.ZodPipe<z.ZodObject<{
+                    l1ToL2MessageTree: z.ZodPipe<z.ZodObject<{
+                        root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                        root: import("@aztec/foundation/schemas").Fr;
+                        nextAvailableLeafIndex: number;
+                    }>>;
+                    noteHashTree: z.ZodPipe<z.ZodObject<{
+                        root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                        root: import("@aztec/foundation/schemas").Fr;
+                        nextAvailableLeafIndex: number;
+                    }>>;
+                    nullifierTree: z.ZodPipe<z.ZodObject<{
+                        root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                        root: import("@aztec/foundation/schemas").Fr;
+                        nextAvailableLeafIndex: number;
+                    }>>;
+                    publicDataTree: z.ZodPipe<z.ZodObject<{
+                        root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                        root: import("@aztec/foundation/schemas").Fr;
+                        nextAvailableLeafIndex: number;
+                    }>>;
+                }, z.core.$strip>, z.ZodTransform<import("../tx/tree_snapshots.js").TreeSnapshots, {
+                    l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                    noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                    nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                    publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<import("./avm.js").AvmRevertCheckpointHint, {
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+                stateBefore: import("../tx/tree_snapshots.js").TreeSnapshots;
+                stateAfter: import("../tx/tree_snapshots.js").TreeSnapshots;
+            }>>>;
+        }, z.core.$strip>, z.ZodTransform<import("./avm.js").AvmExecutionHints, {
+            globalVariables: import("../tx/global_variables.js").GlobalVariables;
+            tx: import("./avm.js").AvmTxHint;
+            protocolContracts: import("../tx/protocol_contracts.js").ProtocolContracts;
             contractInstances: import("./avm.js").AvmContractInstanceHint[];
             contractClasses: import("./avm.js").AvmContractClassHint[];
-            publicDataReads: import("./avm.js").AvmPublicDataReadTreeHint[];
-            nullifierReads: import("./avm.js").AvmNullifierReadTreeHint[];
-            nullifierWrites: import("./avm.js").AvmNullifierWriteTreeHint[];
-            noteHashReads: import("./avm.js").AvmAppendTreeHint[];
-            noteHashWrites: import("./avm.js").AvmAppendTreeHint[];
-            l1ToL2MessageReads: import("./avm.js").AvmAppendTreeHint[];
-        }, {
-            publicDataWrites: {
-                lowLeafRead: {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                };
-                insertionPath: string[];
-                newLeafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                };
-            }[];
-            enqueuedCalls: {
-                calldata: string[];
-                contractAddress?: any;
-            }[];
-            contractInstances: {
-                exists: boolean;
-                salt: string;
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
-                publicKeys: {
-                    masterNullifierPublicKey: string;
-                    masterIncomingViewingPublicKey: string;
-                    masterOutgoingViewingPublicKey: string;
-                    masterTaggingPublicKey: string;
-                };
-                updateMembershipHint: {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                };
-                updatePreimage: string[];
-                address?: any;
-                deployer?: any;
+            bytecodeCommitments: import("./avm.js").AvmBytecodeCommitmentHint[];
+            debugFunctionNames: import("./avm.js").AvmDebugFunctionNameHint[];
+            contractDbCreateCheckpointHints: {
+                readonly actionCounter: number;
+                readonly oldCheckpointId: number;
+                readonly newCheckpointId: number;
             }[];
-            contractClasses: {
-                classId: string;
-                exists: boolean;
-                artifactHash: string;
-                privateFunctionsRoot: string;
-                publicBytecodeCommitment: string;
-                packedBytecode: string | {
-                    type: "Buffer";
-                    data: number[];
-                };
-            }[];
-            publicDataReads: {
-                leafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                };
-                leafIndex: string;
-                siblingPath: string[];
-            }[];
-            nullifierReads: {
-                lowLeafPreimage: {
-                    nullifier: string;
-                    nextNullifier: string;
-                    nextIndex: string | number | bigint;
-                };
-                lowLeafIndex: string;
-                lowLeafSiblingPath: string[];
+            contractDbCommitCheckpointHints: {
+                readonly actionCounter: number;
+                readonly oldCheckpointId: number;
+                readonly newCheckpointId: number;
             }[];
-            nullifierWrites: {
-                lowLeafRead: {
-                    lowLeafPreimage: {
-                        nullifier: string;
-                        nextNullifier: string;
-                        nextIndex: string | number | bigint;
-                    };
-                    lowLeafIndex: string;
-                    lowLeafSiblingPath: string[];
-                };
-                insertionPath: string[];
-            }[];
-            noteHashReads: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }[];
-            noteHashWrites: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }[];
-            l1ToL2MessageReads: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }[];
-        }>, import("./avm.js").AvmExecutionHints, {
-            publicDataWrites: {
-                lowLeafRead: {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                };
-                insertionPath: string[];
-                newLeafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                };
-            }[];
-            enqueuedCalls: {
-                calldata: string[];
-                contractAddress?: any;
-            }[];
-            contractInstances: {
-                exists: boolean;
-                salt: string;
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
-                publicKeys: {
-                    masterNullifierPublicKey: string;
-                    masterIncomingViewingPublicKey: string;
-                    masterOutgoingViewingPublicKey: string;
-                    masterTaggingPublicKey: string;
-                };
-                updateMembershipHint: {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                };
-                updatePreimage: string[];
-                address?: any;
-                deployer?: any;
+            contractDbRevertCheckpointHints: {
+                readonly actionCounter: number;
+                readonly oldCheckpointId: number;
+                readonly newCheckpointId: number;
             }[];
-            contractClasses: {
-                classId: string;
-                exists: boolean;
-                artifactHash: string;
-                privateFunctionsRoot: string;
-                publicBytecodeCommitment: string;
-                packedBytecode: string | {
-                    type: "Buffer";
-                    data: number[];
-                };
+            startingTreeRoots: import("../tx/tree_snapshots.js").TreeSnapshots;
+            getSiblingPathHints: import("./avm.js").AvmGetSiblingPathHint[];
+            getPreviousValueIndexHints: import("./avm.js").AvmGetPreviousValueIndexHint[];
+            getLeafPreimageHintsPublicDataTree: {
+                readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly index: bigint;
+                readonly leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
             }[];
-            publicDataReads: {
-                leafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                };
-                leafIndex: string;
-                siblingPath: string[];
+            getLeafPreimageHintsNullifierTree: {
+                readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly index: bigint;
+                readonly leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
             }[];
-            nullifierReads: {
-                lowLeafPreimage: {
-                    nullifier: string;
-                    nextNullifier: string;
-                    nextIndex: string | number | bigint;
+            getLeafValueHints: import("./avm.js").AvmGetLeafValueHint[];
+            sequentialInsertHintsPublicDataTree: {
+                readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly treeId: import("../trees/merkle_tree_id.js").MerkleTreeId;
+                readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                readonly lowLeavesWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec/foundation/schemas").Fr[];
+                };
+                readonly insertionWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec/foundation/schemas").Fr[];
                 };
-                lowLeafIndex: string;
-                lowLeafSiblingPath: string[];
             }[];
-            nullifierWrites: {
-                lowLeafRead: {
-                    lowLeafPreimage: {
-                        nullifier: string;
-                        nextNullifier: string;
-                        nextIndex: string | number | bigint;
-                    };
-                    lowLeafIndex: string;
-                    lowLeafSiblingPath: string[];
+            sequentialInsertHintsNullifierTree: {
+                readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly treeId: import("../trees/merkle_tree_id.js").MerkleTreeId;
+                readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                readonly lowLeavesWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec/foundation/schemas").Fr[];
+                };
+                readonly insertionWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec/foundation/schemas").Fr[];
                 };
-                insertionPath: string[];
             }[];
-            noteHashReads: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
+            appendLeavesHints: import("./avm.js").AvmAppendLeavesHint[];
+            createCheckpointHints: {
+                readonly actionCounter: number;
+                readonly oldCheckpointId: number;
+                readonly newCheckpointId: number;
             }[];
-            noteHashWrites: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
+            commitCheckpointHints: {
+                readonly actionCounter: number;
+                readonly oldCheckpointId: number;
+                readonly newCheckpointId: number;
             }[];
-            l1ToL2MessageReads: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }[];
-        }>;
-        publicInputs: z.ZodEffects<z.ZodObject<{
-            globalVariables: z.ZodEffects<z.ZodObject<{
+            revertCheckpointHints: import("./avm.js").AvmRevertCheckpointHint[];
+        }>>;
+        publicInputs: z.ZodPipe<z.ZodObject<{
+            globalVariables: z.ZodPipe<z.ZodObject<{
                 chainId: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
                 version: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
-                blockNumber: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
-                slotNumber: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
-                timestamp: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
-                coinbase: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
+                blockNumber: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodPipe<z.ZodBigInt, z.ZodTransform<number, bigint>>, z.ZodPipe<z.ZodString, z.ZodTransform<number, string>>]>, z.ZodTransform<import("@aztec/foundation/branded-types").BlockNumber, number>>;
+                slotNumber: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").SlotNumber>;
+                timestamp: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                coinbase: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/eth-address").EthAddress>;
                 feeRecipient: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
-                gasFees: z.ZodEffects<z.ZodObject<{
-                    feePerDaGas: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    feePerL2Gas: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                }, "strip", z.ZodTypeAny, {
-                    feePerDaGas: import("@aztec/foundation/schemas").Fr;
-                    feePerL2Gas: import("@aztec/foundation/schemas").Fr;
-                }, {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                }>, import("../gas/gas_fees.js").GasFees, {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                }>;
-            }, "strip", z.ZodTypeAny, {
+                gasFees: z.ZodPipe<z.ZodObject<{
+                    feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../gas/gas_fees.js").GasFees, {
+                    feePerDaGas: bigint;
+                    feePerL2Gas: bigint;
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<import("../tx/global_variables.js").GlobalVariables, {
                 chainId: import("@aztec/foundation/schemas").Fr;
                 version: import("@aztec/foundation/schemas").Fr;
-                blockNumber: import("@aztec/foundation/schemas").Fr;
-                slotNumber: import("@aztec/foundation/schemas").Fr;
-                timestamp: import("@aztec/foundation/schemas").Fr;
-                coinbase: import("@aztec/foundation/schemas").EthAddress;
+                blockNumber: import("@aztec/foundation/branded-types").BlockNumber;
+                slotNumber: import("@aztec/foundation/schemas").SlotNumber;
+                timestamp: bigint;
+                coinbase: import("@aztec/foundation/eth-address").EthAddress;
                 feeRecipient: import("../aztec-address/index.js").AztecAddress;
                 gasFees: import("../gas/gas_fees.js").GasFees;
-            }, {
-                gasFees: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-                chainId?: any;
-                version?: any;
-                blockNumber?: any;
-                slotNumber?: any;
-                timestamp?: any;
-                coinbase?: any;
-                feeRecipient?: any;
-            }>, import("../tx/global_variables.js").GlobalVariables, {
-                gasFees: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-                chainId?: any;
-                version?: any;
-                blockNumber?: any;
-                slotNumber?: any;
-                timestamp?: any;
-                coinbase?: any;
-                feeRecipient?: any;
-            }>;
-            startTreeSnapshots: z.ZodEffects<z.ZodObject<{
-                l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                }, "strip", z.ZodTypeAny, {
+            }>>;
+            protocolContracts: z.ZodPipe<z.ZodObject<{
+                derivedAddresses: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>>;
+            }, z.core.$strip>, z.ZodTransform<import("../tx/protocol_contracts.js").ProtocolContracts, {
+                derivedAddresses: import("../aztec-address/index.js").AztecAddress[];
+            }>>;
+            startTreeSnapshots: z.ZodPipe<z.ZodObject<{
+                l1ToL2MessageTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
                     root: import("@aztec/foundation/schemas").Fr;
                     nextAvailableLeafIndex: number;
-                }, {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                }>;
-                noteHashTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                }, "strip", z.ZodTypeAny, {
+                }>>;
+                noteHashTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
                     root: import("@aztec/foundation/schemas").Fr;
                     nextAvailableLeafIndex: number;
-                }, {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                }>;
-                nullifierTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                }, "strip", z.ZodTypeAny, {
+                }>>;
+                nullifierTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
                     root: import("@aztec/foundation/schemas").Fr;
                     nextAvailableLeafIndex: number;
-                }, {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                }>;
-                publicDataTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                }, "strip", z.ZodTypeAny, {
+                }>>;
+                publicDataTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
                     root: import("@aztec/foundation/schemas").Fr;
                     nextAvailableLeafIndex: number;
-                }, {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                }>;
-            }, "strip", z.ZodTypeAny, {
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<import("../tx/tree_snapshots.js").TreeSnapshots, {
                 l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
                 noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
                 nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
                 publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
-            }, {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                noteHashTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                nullifierTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                publicDataTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-            }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                noteHashTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                nullifierTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                publicDataTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-            }>;
-            startGasUsed: z.ZodEffects<z.ZodObject<{
-                daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            }, "strip", z.ZodTypeAny, {
+            }>>;
+            startGasUsed: z.ZodPipe<z.ZodObject<{
+                daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<import("../gas/gas.js").Gas, {
                 daGas: number;
                 l2Gas: number;
-            }, {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            }>, import("../gas/gas.js").Gas, {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            }>;
-            gasSettings: z.ZodEffects<z.ZodObject<{
-                gasLimits: z.ZodEffects<z.ZodObject<{
-                    daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                    l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                }, "strip", z.ZodTypeAny, {
+            }>>;
+            gasSettings: z.ZodPipe<z.ZodObject<{
+                gasLimits: z.ZodPipe<z.ZodObject<{
+                    daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../gas/gas.js").Gas, {
                     daGas: number;
                     l2Gas: number;
-                }, {
-                    daGas: string | number | bigint;
-                    l2Gas: string | number | bigint;
-                }>, import("../gas/gas.js").Gas, {
-                    daGas: string | number | bigint;
-                    l2Gas: string | number | bigint;
-                }>;
-                teardownGasLimits: z.ZodEffects<z.ZodObject<{
-                    daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                    l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                }, "strip", z.ZodTypeAny, {
+                }>>;
+                teardownGasLimits: z.ZodPipe<z.ZodObject<{
+                    daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../gas/gas.js").Gas, {
                     daGas: number;
                     l2Gas: number;
-                }, {
-                    daGas: string | number | bigint;
-                    l2Gas: string | number | bigint;
-                }>, import("../gas/gas.js").Gas, {
-                    daGas: string | number | bigint;
-                    l2Gas: string | number | bigint;
-                }>;
-                maxFeesPerGas: z.ZodEffects<z.ZodObject<{
-                    feePerDaGas: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    feePerL2Gas: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                }, "strip", z.ZodTypeAny, {
-                    feePerDaGas: import("@aztec/foundation/schemas").Fr;
-                    feePerL2Gas: import("@aztec/foundation/schemas").Fr;
-                }, {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                }>, import("../gas/gas_fees.js").GasFees, {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                }>;
-                maxPriorityFeesPerGas: z.ZodEffects<z.ZodObject<{
-                    feePerDaGas: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    feePerL2Gas: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                }, "strip", z.ZodTypeAny, {
-                    feePerDaGas: import("@aztec/foundation/schemas").Fr;
-                    feePerL2Gas: import("@aztec/foundation/schemas").Fr;
-                }, {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                }>, import("../gas/gas_fees.js").GasFees, {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                }>;
-            }, "strip", z.ZodTypeAny, {
+                }>>;
+                maxFeesPerGas: z.ZodPipe<z.ZodObject<{
+                    feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../gas/gas_fees.js").GasFees, {
+                    feePerDaGas: bigint;
+                    feePerL2Gas: bigint;
+                }>>;
+                maxPriorityFeesPerGas: z.ZodPipe<z.ZodObject<{
+                    feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../gas/gas_fees.js").GasFees, {
+                    feePerDaGas: bigint;
+                    feePerL2Gas: bigint;
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<import("../gas/gas_settings.js").GasSettings, {
                 gasLimits: import("../gas/gas.js").Gas;
                 teardownGasLimits: import("../gas/gas.js").Gas;
                 maxFeesPerGas: import("../gas/gas_fees.js").GasFees;
                 maxPriorityFeesPerGas: import("../gas/gas_fees.js").GasFees;
-            }, {
-                gasLimits: {
-                    daGas: string | number | bigint;
-                    l2Gas: string | number | bigint;
-                };
-                teardownGasLimits: {
-                    daGas: string | number | bigint;
-                    l2Gas: string | number | bigint;
-                };
-                maxFeesPerGas: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-                maxPriorityFeesPerGas: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-            }>, import("../gas/gas_settings.js").GasSettings, {
-                gasLimits: {
-                    daGas: string | number | bigint;
-                    l2Gas: string | number | bigint;
-                };
-                teardownGasLimits: {
-                    daGas: string | number | bigint;
-                    l2Gas: string | number | bigint;
-                };
-                maxFeesPerGas: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-                maxPriorityFeesPerGas: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-            }>;
+            }>>;
+            effectiveGasFees: z.ZodPipe<z.ZodObject<{
+                feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<import("../gas/gas_fees.js").GasFees, {
+                feePerDaGas: bigint;
+                feePerL2Gas: bigint;
+            }>>;
             feePayer: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
-            publicSetupCallRequests: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            proverId: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+            publicCallRequestArrayLengths: z.ZodPipe<z.ZodObject<{
+                setupCalls: z.ZodNumber;
+                appLogicCalls: z.ZodNumber;
+                teardownCall: z.ZodBoolean;
+            }, z.core.$strip>, z.ZodTransform<import("../kernel/public_call_request.js").PublicCallRequestArrayLengths, {
+                setupCalls: number;
+                appLogicCalls: number;
+                teardownCall: boolean;
+            }>>;
+            publicSetupCallRequests: z.ZodArray<z.ZodPipe<z.ZodObject<{
                 msgSender: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
                 contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
-                functionSelector: import("@aztec/foundation/schemas").ZodFor<import("../abi/function_selector.js").FunctionSelector>;
                 isStaticCall: z.ZodBoolean;
-                argsHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-            }, "strip", z.ZodTypeAny, {
-                contractAddress: import("../aztec-address/index.js").AztecAddress;
+                calldataHash: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+            }, z.core.$strip>, z.ZodTransform<import("../kernel/public_call_request.js").PublicCallRequest, {
                 msgSender: import("../aztec-address/index.js").AztecAddress;
-                functionSelector: import("../abi/function_selector.js").FunctionSelector;
-                isStaticCall: boolean;
-                argsHash: import("@aztec/foundation/schemas").Fr;
-            }, {
-                isStaticCall: boolean;
-                argsHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-                functionSelector?: any;
-            }>, import("../kernel/public_call_request.js").PublicCallRequest, {
+                contractAddress: import("../aztec-address/index.js").AztecAddress;
                 isStaticCall: boolean;
-                argsHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-                functionSelector?: any;
-            }>, "many">;
-            publicAppLogicCallRequests: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                calldataHash: import("@aztec/foundation/schemas").Fr;
+            }>>>;
+            publicAppLogicCallRequests: z.ZodArray<z.ZodPipe<z.ZodObject<{
                 msgSender: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
                 contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
-                functionSelector: import("@aztec/foundation/schemas").ZodFor<import("../abi/function_selector.js").FunctionSelector>;
                 isStaticCall: z.ZodBoolean;
-                argsHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-            }, "strip", z.ZodTypeAny, {
-                contractAddress: import("../aztec-address/index.js").AztecAddress;
+                calldataHash: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+            }, z.core.$strip>, z.ZodTransform<import("../kernel/public_call_request.js").PublicCallRequest, {
                 msgSender: import("../aztec-address/index.js").AztecAddress;
-                functionSelector: import("../abi/function_selector.js").FunctionSelector;
-                isStaticCall: boolean;
-                argsHash: import("@aztec/foundation/schemas").Fr;
-            }, {
-                isStaticCall: boolean;
-                argsHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-                functionSelector?: any;
-            }>, import("../kernel/public_call_request.js").PublicCallRequest, {
+                contractAddress: import("../aztec-address/index.js").AztecAddress;
                 isStaticCall: boolean;
-                argsHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-                functionSelector?: any;
-            }>, "many">;
-            publicTeardownCallRequest: z.ZodEffects<z.ZodObject<{
+                calldataHash: import("@aztec/foundation/schemas").Fr;
+            }>>>;
+            publicTeardownCallRequest: z.ZodPipe<z.ZodObject<{
                 msgSender: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
                 contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
-                functionSelector: import("@aztec/foundation/schemas").ZodFor<import("../abi/function_selector.js").FunctionSelector>;
                 isStaticCall: z.ZodBoolean;
-                argsHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-            }, "strip", z.ZodTypeAny, {
-                contractAddress: import("../aztec-address/index.js").AztecAddress;
+                calldataHash: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+            }, z.core.$strip>, z.ZodTransform<import("../kernel/public_call_request.js").PublicCallRequest, {
                 msgSender: import("../aztec-address/index.js").AztecAddress;
-                functionSelector: import("../abi/function_selector.js").FunctionSelector;
-                isStaticCall: boolean;
-                argsHash: import("@aztec/foundation/schemas").Fr;
-            }, {
-                isStaticCall: boolean;
-                argsHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-                functionSelector?: any;
-            }>, import("../kernel/public_call_request.js").PublicCallRequest, {
+                contractAddress: import("../aztec-address/index.js").AztecAddress;
                 isStaticCall: boolean;
-                argsHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-                functionSelector?: any;
-            }>;
-            previousNonRevertibleAccumulatedDataArrayLengths: z.ZodEffects<z.ZodObject<{
-                noteHashes: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                nullifiers: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                l2ToL1Msgs: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            }, "strip", z.ZodTypeAny, {
+                calldataHash: import("@aztec/foundation/schemas").Fr;
+            }>>;
+            previousNonRevertibleAccumulatedDataArrayLengths: z.ZodPipe<z.ZodObject<{
+                noteHashes: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                nullifiers: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                l2ToL1Msgs: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths, {
                 noteHashes: number;
                 nullifiers: number;
                 l2ToL1Msgs: number;
-            }, {
-                noteHashes: string | number | bigint;
-                nullifiers: string | number | bigint;
-                l2ToL1Msgs: string | number | bigint;
-            }>, import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths, {
-                noteHashes: string | number | bigint;
-                nullifiers: string | number | bigint;
-                l2ToL1Msgs: string | number | bigint;
-            }>;
-            previousRevertibleAccumulatedDataArrayLengths: z.ZodEffects<z.ZodObject<{
-                noteHashes: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                nullifiers: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                l2ToL1Msgs: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            }, "strip", z.ZodTypeAny, {
+            }>>;
+            previousRevertibleAccumulatedDataArrayLengths: z.ZodPipe<z.ZodObject<{
+                noteHashes: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                nullifiers: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                l2ToL1Msgs: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths, {
                 noteHashes: number;
                 nullifiers: number;
                 l2ToL1Msgs: number;
-            }, {
-                noteHashes: string | number | bigint;
-                nullifiers: string | number | bigint;
-                l2ToL1Msgs: string | number | bigint;
-            }>, import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths, {
-                noteHashes: string | number | bigint;
-                nullifiers: string | number | bigint;
-                l2ToL1Msgs: string | number | bigint;
-            }>;
-            previousNonRevertibleAccumulatedData: z.ZodEffects<z.ZodObject<{
-                noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-                nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-                l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                    message: z.ZodEffects<z.ZodObject<{
-                        recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
-                        content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                        counter: z.ZodNumber;
-                    }, "strip", z.ZodTypeAny, {
-                        counter: number;
-                        recipient: import("@aztec/foundation/schemas").EthAddress;
+            }>>;
+            previousNonRevertibleAccumulatedData: z.ZodPipe<z.ZodObject<{
+                noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>>;
+                nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>>;
+                l2ToL1Msgs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    message: z.ZodPipe<z.ZodObject<{
+                        recipient: z.ZodType<import("@aztec/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec/foundation/eth-address").EthAddress, string>>;
+                        content: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                        recipient: import("@aztec/foundation/eth-address").EthAddress;
                         content: import("@aztec/foundation/schemas").Fr;
-                    }, {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    }>;
+                    }>>;
                     contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
-                }, "strip", z.ZodTypeAny, {
+                }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
                     message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                     contractAddress: import("../aztec-address/index.js").AztecAddress;
-                }, {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }>, import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }>, "many">;
-            }, "strip", z.ZodTypeAny, {
+                }>>>;
+            }, z.core.$strip>, z.ZodTransform<import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData, {
                 noteHashes: import("@aztec/foundation/schemas").Fr[];
                 nullifiers: import("@aztec/foundation/schemas").Fr[];
                 l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
-            }, {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-            }>, import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData, {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-            }>;
-            previousRevertibleAccumulatedData: z.ZodEffects<z.ZodObject<{
-                noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-                nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-                l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                    message: z.ZodEffects<z.ZodObject<{
-                        recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
-                        content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                        counter: z.ZodNumber;
-                    }, "strip", z.ZodTypeAny, {
-                        counter: number;
-                        recipient: import("@aztec/foundation/schemas").EthAddress;
+            }>>;
+            previousRevertibleAccumulatedData: z.ZodPipe<z.ZodObject<{
+                noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>>;
+                nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>>;
+                l2ToL1Msgs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    message: z.ZodPipe<z.ZodObject<{
+                        recipient: z.ZodType<import("@aztec/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec/foundation/eth-address").EthAddress, string>>;
+                        content: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                        recipient: import("@aztec/foundation/eth-address").EthAddress;
                         content: import("@aztec/foundation/schemas").Fr;
-                    }, {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    }>;
+                    }>>;
                     contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
-                }, "strip", z.ZodTypeAny, {
+                }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
                     message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                     contractAddress: import("../aztec-address/index.js").AztecAddress;
-                }, {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }>, import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }>, "many">;
-            }, "strip", z.ZodTypeAny, {
+                }>>>;
+            }, z.core.$strip>, z.ZodTransform<import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData, {
                 noteHashes: import("@aztec/foundation/schemas").Fr[];
                 nullifiers: import("@aztec/foundation/schemas").Fr[];
                 l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
-            }, {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-            }>, import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData, {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-            }>;
-            endTreeSnapshots: z.ZodEffects<z.ZodObject<{
-                l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                }, "strip", z.ZodTypeAny, {
+            }>>;
+            endTreeSnapshots: z.ZodPipe<z.ZodObject<{
+                l1ToL2MessageTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
                     root: import("@aztec/foundation/schemas").Fr;
                     nextAvailableLeafIndex: number;
-                }, {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                }>;
-                noteHashTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                }, "strip", z.ZodTypeAny, {
+                }>>;
+                noteHashTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
                     root: import("@aztec/foundation/schemas").Fr;
                     nextAvailableLeafIndex: number;
-                }, {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                }>;
-                nullifierTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                }, "strip", z.ZodTypeAny, {
+                }>>;
+                nullifierTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
                     root: import("@aztec/foundation/schemas").Fr;
                     nextAvailableLeafIndex: number;
-                }, {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                }>;
-                publicDataTree: z.ZodEffects<z.ZodObject<{
-                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                }, "strip", z.ZodTypeAny, {
+                }>>;
+                publicDataTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
                     root: import("@aztec/foundation/schemas").Fr;
                     nextAvailableLeafIndex: number;
-                }, {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                }>;
-            }, "strip", z.ZodTypeAny, {
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<import("../tx/tree_snapshots.js").TreeSnapshots, {
                 l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
                 noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
                 nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
                 publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
-            }, {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                noteHashTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                nullifierTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                publicDataTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-            }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                noteHashTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                nullifierTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                publicDataTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-            }>;
-            endGasUsed: z.ZodEffects<z.ZodObject<{
-                daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            }, "strip", z.ZodTypeAny, {
+            }>>;
+            endGasUsed: z.ZodPipe<z.ZodObject<{
+                daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<import("../gas/gas.js").Gas, {
                 daGas: number;
                 l2Gas: number;
-            }, {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            }>, import("../gas/gas.js").Gas, {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            }>;
-            accumulatedData: z.ZodEffects<z.ZodObject<{
-                noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-                nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
-                l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                    message: z.ZodEffects<z.ZodObject<{
-                        recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
-                        content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                        counter: z.ZodNumber;
-                    }, "strip", z.ZodTypeAny, {
-                        counter: number;
-                        recipient: import("@aztec/foundation/schemas").EthAddress;
+            }>>;
+            accumulatedDataArrayLengths: z.ZodPipe<z.ZodObject<{
+                noteHashes: z.ZodNumber;
+                nullifiers: z.ZodNumber;
+                l2ToL1Msgs: z.ZodNumber;
+                publicDataWrites: z.ZodNumber;
+            }, z.core.$strip>, z.ZodTransform<import("./avm_accumulated_data.js").AvmAccumulatedDataArrayLengths, {
+                noteHashes: number;
+                nullifiers: number;
+                l2ToL1Msgs: number;
+                publicDataWrites: number;
+            }>>;
+            accumulatedData: z.ZodPipe<z.ZodObject<{
+                noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>>;
+                nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>>;
+                l2ToL1Msgs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    message: z.ZodPipe<z.ZodObject<{
+                        recipient: z.ZodType<import("@aztec/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec/foundation/eth-address").EthAddress, string>>;
+                        content: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                        recipient: import("@aztec/foundation/eth-address").EthAddress;
                         content: import("@aztec/foundation/schemas").Fr;
-                    }, {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    }>;
+                    }>>;
                     contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
-                }, "strip", z.ZodTypeAny, {
+                }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
                     message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                     contractAddress: import("../aztec-address/index.js").AztecAddress;
-                }, {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }>, import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }>, "many">;
-                publicLogs: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("../logs/public_log.js").PublicLog>, "many">;
-                publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                    leafSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                    value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-                }, "strip", z.ZodTypeAny, {
-                    value: import("@aztec/foundation/schemas").Fr;
+                }>>>;
+                publicLogs: import("@aztec/foundation/schemas").ZodFor<import("../logs/public_log.js").FlatPublicLogs>;
+                publicDataWrites: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    leafSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    value: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("./public_data_write.js").PublicDataWrite, {
                     leafSlot: import("@aztec/foundation/schemas").Fr;
-                }, {
-                    value: string;
-                    leafSlot: string;
-                }>, import("./public_data_write.js").PublicDataWrite, {
-                    value: string;
-                    leafSlot: string;
-                }>, "many">;
-            }, "strip", z.ZodTypeAny, {
+                    value: import("@aztec/foundation/schemas").Fr;
+                }>>>;
+            }, z.core.$strip>, z.ZodTransform<import("./avm_accumulated_data.js").AvmAccumulatedData, {
                 noteHashes: import("@aztec/foundation/schemas").Fr[];
                 nullifiers: import("@aztec/foundation/schemas").Fr[];
                 l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
-                publicLogs: import("../logs/public_log.js").PublicLog[];
+                publicLogs: import("../logs/public_log.js").FlatPublicLogs;
                 publicDataWrites: import("./public_data_write.js").PublicDataWrite[];
-            }, {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-                publicLogs: any[];
-                publicDataWrites: {
-                    value: string;
-                    leafSlot: string;
-                }[];
-            }>, import("./avm_accumulated_data.js").AvmAccumulatedData, {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-                publicLogs: any[];
-                publicDataWrites: {
-                    value: string;
-                    leafSlot: string;
-                }[];
-            }>;
-            transactionFee: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+            }>>;
+            transactionFee: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
             reverted: z.ZodBoolean;
-        }, "strip", z.ZodTypeAny, {
+        }, z.core.$strip>, z.ZodTransform<import("./avm_circuit_public_inputs.js").AvmCircuitPublicInputs, {
             globalVariables: import("../tx/global_variables.js").GlobalVariables;
+            protocolContracts: import("../tx/protocol_contracts.js").ProtocolContracts;
             startTreeSnapshots: import("../tx/tree_snapshots.js").TreeSnapshots;
             startGasUsed: import("../gas/gas.js").Gas;
             gasSettings: import("../gas/gas_settings.js").GasSettings;
+            effectiveGasFees: import("../gas/gas_fees.js").GasFees;
             feePayer: import("../aztec-address/index.js").AztecAddress;
+            proverId: import("@aztec/foundation/schemas").Fr;
+            publicCallRequestArrayLengths: import("../kernel/public_call_request.js").PublicCallRequestArrayLengths;
             publicSetupCallRequests: import("../kernel/public_call_request.js").PublicCallRequest[];
             publicAppLogicCallRequests: import("../kernel/public_call_request.js").PublicCallRequest[];
             publicTeardownCallRequest: import("../kernel/public_call_request.js").PublicCallRequest;
@@ -1469,1112 +1256,14 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
             previousRevertibleAccumulatedData: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData;
             endTreeSnapshots: import("../tx/tree_snapshots.js").TreeSnapshots;
             endGasUsed: import("../gas/gas.js").Gas;
+            accumulatedDataArrayLengths: import("./avm_accumulated_data.js").AvmAccumulatedDataArrayLengths;
             accumulatedData: import("./avm_accumulated_data.js").AvmAccumulatedData;
             transactionFee: import("@aztec/foundation/schemas").Fr;
             reverted: boolean;
-        }, {
-            globalVariables: {
-                gasFees: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-                chainId?: any;
-                version?: any;
-                blockNumber?: any;
-                slotNumber?: any;
-                timestamp?: any;
-                coinbase?: any;
-                feeRecipient?: any;
-            };
-            startTreeSnapshots: {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                noteHashTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                nullifierTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                publicDataTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-            };
-            startGasUsed: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            gasSettings: {
-                gasLimits: {
-                    daGas: string | number | bigint;
-                    l2Gas: string | number | bigint;
-                };
-                teardownGasLimits: {
-                    daGas: string | number | bigint;
-                    l2Gas: string | number | bigint;
-                };
-                maxFeesPerGas: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-                maxPriorityFeesPerGas: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-            };
-            publicSetupCallRequests: {
-                isStaticCall: boolean;
-                argsHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-                functionSelector?: any;
-            }[];
-            publicAppLogicCallRequests: {
-                isStaticCall: boolean;
-                argsHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-                functionSelector?: any;
-            }[];
-            publicTeardownCallRequest: {
-                isStaticCall: boolean;
-                argsHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-                functionSelector?: any;
-            };
-            previousNonRevertibleAccumulatedDataArrayLengths: {
-                noteHashes: string | number | bigint;
-                nullifiers: string | number | bigint;
-                l2ToL1Msgs: string | number | bigint;
-            };
-            previousRevertibleAccumulatedDataArrayLengths: {
-                noteHashes: string | number | bigint;
-                nullifiers: string | number | bigint;
-                l2ToL1Msgs: string | number | bigint;
-            };
-            previousNonRevertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-            };
-            previousRevertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-            };
-            endTreeSnapshots: {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                noteHashTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                nullifierTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                publicDataTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-            };
-            endGasUsed: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            accumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-                publicLogs: any[];
-                publicDataWrites: {
-                    value: string;
-                    leafSlot: string;
-                }[];
-            };
-            transactionFee: string;
-            reverted: boolean;
-            feePayer?: any;
-        }>, import("./avm_circuit_public_inputs.js").AvmCircuitPublicInputs, {
-            globalVariables: {
-                gasFees: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-                chainId?: any;
-                version?: any;
-                blockNumber?: any;
-                slotNumber?: any;
-                timestamp?: any;
-                coinbase?: any;
-                feeRecipient?: any;
-            };
-            startTreeSnapshots: {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                noteHashTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                nullifierTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                publicDataTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-            };
-            startGasUsed: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            gasSettings: {
-                gasLimits: {
-                    daGas: string | number | bigint;
-                    l2Gas: string | number | bigint;
-                };
-                teardownGasLimits: {
-                    daGas: string | number | bigint;
-                    l2Gas: string | number | bigint;
-                };
-                maxFeesPerGas: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-                maxPriorityFeesPerGas: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-            };
-            publicSetupCallRequests: {
-                isStaticCall: boolean;
-                argsHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-                functionSelector?: any;
-            }[];
-            publicAppLogicCallRequests: {
-                isStaticCall: boolean;
-                argsHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-                functionSelector?: any;
-            }[];
-            publicTeardownCallRequest: {
-                isStaticCall: boolean;
-                argsHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-                functionSelector?: any;
-            };
-            previousNonRevertibleAccumulatedDataArrayLengths: {
-                noteHashes: string | number | bigint;
-                nullifiers: string | number | bigint;
-                l2ToL1Msgs: string | number | bigint;
-            };
-            previousRevertibleAccumulatedDataArrayLengths: {
-                noteHashes: string | number | bigint;
-                nullifiers: string | number | bigint;
-                l2ToL1Msgs: string | number | bigint;
-            };
-            previousNonRevertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-            };
-            previousRevertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-            };
-            endTreeSnapshots: {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                noteHashTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                nullifierTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                publicDataTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-            };
-            endGasUsed: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            accumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-                publicLogs: any[];
-                publicDataWrites: {
-                    value: string;
-                    leafSlot: string;
-                }[];
-            };
-            transactionFee: string;
-            reverted: boolean;
-            feePayer?: any;
-        }>;
-    }, "strip", z.ZodTypeAny, {
-        calldata: import("@aztec/foundation/schemas").Fr[];
-        functionName: string;
+        }>>;
+    }, z.core.$strip>, z.ZodTransform<AvmCircuitInputs, {
         hints: import("./avm.js").AvmExecutionHints;
         publicInputs: import("./avm_circuit_public_inputs.js").AvmCircuitPublicInputs;
-    }, {
-        calldata: string[];
-        functionName: string;
-        hints: {
-            publicDataWrites: {
-                lowLeafRead: {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                };
-                insertionPath: string[];
-                newLeafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                };
-            }[];
-            enqueuedCalls: {
-                calldata: string[];
-                contractAddress?: any;
-            }[];
-            contractInstances: {
-                exists: boolean;
-                salt: string;
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
-                publicKeys: {
-                    masterNullifierPublicKey: string;
-                    masterIncomingViewingPublicKey: string;
-                    masterOutgoingViewingPublicKey: string;
-                    masterTaggingPublicKey: string;
-                };
-                updateMembershipHint: {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                };
-                updatePreimage: string[];
-                address?: any;
-                deployer?: any;
-            }[];
-            contractClasses: {
-                classId: string;
-                exists: boolean;
-                artifactHash: string;
-                privateFunctionsRoot: string;
-                publicBytecodeCommitment: string;
-                packedBytecode: string | {
-                    type: "Buffer";
-                    data: number[];
-                };
-            }[];
-            publicDataReads: {
-                leafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                };
-                leafIndex: string;
-                siblingPath: string[];
-            }[];
-            nullifierReads: {
-                lowLeafPreimage: {
-                    nullifier: string;
-                    nextNullifier: string;
-                    nextIndex: string | number | bigint;
-                };
-                lowLeafIndex: string;
-                lowLeafSiblingPath: string[];
-            }[];
-            nullifierWrites: {
-                lowLeafRead: {
-                    lowLeafPreimage: {
-                        nullifier: string;
-                        nextNullifier: string;
-                        nextIndex: string | number | bigint;
-                    };
-                    lowLeafIndex: string;
-                    lowLeafSiblingPath: string[];
-                };
-                insertionPath: string[];
-            }[];
-            noteHashReads: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }[];
-            noteHashWrites: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }[];
-            l1ToL2MessageReads: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }[];
-        };
-        publicInputs: {
-            globalVariables: {
-                gasFees: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-                chainId?: any;
-                version?: any;
-                blockNumber?: any;
-                slotNumber?: any;
-                timestamp?: any;
-                coinbase?: any;
-                feeRecipient?: any;
-            };
-            startTreeSnapshots: {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                noteHashTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                nullifierTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                publicDataTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-            };
-            startGasUsed: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            gasSettings: {
-                gasLimits: {
-                    daGas: string | number | bigint;
-                    l2Gas: string | number | bigint;
-                };
-                teardownGasLimits: {
-                    daGas: string | number | bigint;
-                    l2Gas: string | number | bigint;
-                };
-                maxFeesPerGas: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-                maxPriorityFeesPerGas: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-            };
-            publicSetupCallRequests: {
-                isStaticCall: boolean;
-                argsHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-                functionSelector?: any;
-            }[];
-            publicAppLogicCallRequests: {
-                isStaticCall: boolean;
-                argsHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-                functionSelector?: any;
-            }[];
-            publicTeardownCallRequest: {
-                isStaticCall: boolean;
-                argsHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-                functionSelector?: any;
-            };
-            previousNonRevertibleAccumulatedDataArrayLengths: {
-                noteHashes: string | number | bigint;
-                nullifiers: string | number | bigint;
-                l2ToL1Msgs: string | number | bigint;
-            };
-            previousRevertibleAccumulatedDataArrayLengths: {
-                noteHashes: string | number | bigint;
-                nullifiers: string | number | bigint;
-                l2ToL1Msgs: string | number | bigint;
-            };
-            previousNonRevertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-            };
-            previousRevertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-            };
-            endTreeSnapshots: {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                noteHashTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                nullifierTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                publicDataTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-            };
-            endGasUsed: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            accumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-                publicLogs: any[];
-                publicDataWrites: {
-                    value: string;
-                    leafSlot: string;
-                }[];
-            };
-            transactionFee: string;
-            reverted: boolean;
-            feePayer?: any;
-        };
-    }>, AvmCircuitInputs, {
-        calldata: string[];
-        functionName: string;
-        hints: {
-            publicDataWrites: {
-                lowLeafRead: {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                };
-                insertionPath: string[];
-                newLeafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                };
-            }[];
-            enqueuedCalls: {
-                calldata: string[];
-                contractAddress?: any;
-            }[];
-            contractInstances: {
-                exists: boolean;
-                salt: string;
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
-                publicKeys: {
-                    masterNullifierPublicKey: string;
-                    masterIncomingViewingPublicKey: string;
-                    masterOutgoingViewingPublicKey: string;
-                    masterTaggingPublicKey: string;
-                };
-                updateMembershipHint: {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                };
-                updatePreimage: string[];
-                address?: any;
-                deployer?: any;
-            }[];
-            contractClasses: {
-                classId: string;
-                exists: boolean;
-                artifactHash: string;
-                privateFunctionsRoot: string;
-                publicBytecodeCommitment: string;
-                packedBytecode: string | {
-                    type: "Buffer";
-                    data: number[];
-                };
-            }[];
-            publicDataReads: {
-                leafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                };
-                leafIndex: string;
-                siblingPath: string[];
-            }[];
-            nullifierReads: {
-                lowLeafPreimage: {
-                    nullifier: string;
-                    nextNullifier: string;
-                    nextIndex: string | number | bigint;
-                };
-                lowLeafIndex: string;
-                lowLeafSiblingPath: string[];
-            }[];
-            nullifierWrites: {
-                lowLeafRead: {
-                    lowLeafPreimage: {
-                        nullifier: string;
-                        nextNullifier: string;
-                        nextIndex: string | number | bigint;
-                    };
-                    lowLeafIndex: string;
-                    lowLeafSiblingPath: string[];
-                };
-                insertionPath: string[];
-            }[];
-            noteHashReads: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }[];
-            noteHashWrites: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }[];
-            l1ToL2MessageReads: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }[];
-        };
-        publicInputs: {
-            globalVariables: {
-                gasFees: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-                chainId?: any;
-                version?: any;
-                blockNumber?: any;
-                slotNumber?: any;
-                timestamp?: any;
-                coinbase?: any;
-                feeRecipient?: any;
-            };
-            startTreeSnapshots: {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                noteHashTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                nullifierTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                publicDataTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-            };
-            startGasUsed: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            gasSettings: {
-                gasLimits: {
-                    daGas: string | number | bigint;
-                    l2Gas: string | number | bigint;
-                };
-                teardownGasLimits: {
-                    daGas: string | number | bigint;
-                    l2Gas: string | number | bigint;
-                };
-                maxFeesPerGas: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-                maxPriorityFeesPerGas: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-            };
-            publicSetupCallRequests: {
-                isStaticCall: boolean;
-                argsHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-                functionSelector?: any;
-            }[];
-            publicAppLogicCallRequests: {
-                isStaticCall: boolean;
-                argsHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-                functionSelector?: any;
-            }[];
-            publicTeardownCallRequest: {
-                isStaticCall: boolean;
-                argsHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-                functionSelector?: any;
-            };
-            previousNonRevertibleAccumulatedDataArrayLengths: {
-                noteHashes: string | number | bigint;
-                nullifiers: string | number | bigint;
-                l2ToL1Msgs: string | number | bigint;
-            };
-            previousRevertibleAccumulatedDataArrayLengths: {
-                noteHashes: string | number | bigint;
-                nullifiers: string | number | bigint;
-                l2ToL1Msgs: string | number | bigint;
-            };
-            previousNonRevertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-            };
-            previousRevertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-            };
-            endTreeSnapshots: {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                noteHashTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                nullifierTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                publicDataTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-            };
-            endGasUsed: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            accumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-                publicLogs: any[];
-                publicDataWrites: {
-                    value: string;
-                    leafSlot: string;
-                }[];
-            };
-            transactionFee: string;
-            reverted: boolean;
-            feePayer?: any;
-        };
-    }>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.PUBLIC_VM;
-    inputs: AvmCircuitInputs;
-}, {
-    type: ProvingRequestType.PUBLIC_VM;
-    inputs: {
-        calldata: string[];
-        functionName: string;
-        hints: {
-            publicDataWrites: {
-                lowLeafRead: {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                };
-                insertionPath: string[];
-                newLeafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                };
-            }[];
-            enqueuedCalls: {
-                calldata: string[];
-                contractAddress?: any;
-            }[];
-            contractInstances: {
-                exists: boolean;
-                salt: string;
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
-                publicKeys: {
-                    masterNullifierPublicKey: string;
-                    masterIncomingViewingPublicKey: string;
-                    masterOutgoingViewingPublicKey: string;
-                    masterTaggingPublicKey: string;
-                };
-                updateMembershipHint: {
-                    leafPreimage: {
-                        value: string;
-                        slot: string;
-                        nextIndex: string | number | bigint;
-                        nextSlot: string;
-                    };
-                    leafIndex: string;
-                    siblingPath: string[];
-                };
-                updatePreimage: string[];
-                address?: any;
-                deployer?: any;
-            }[];
-            contractClasses: {
-                classId: string;
-                exists: boolean;
-                artifactHash: string;
-                privateFunctionsRoot: string;
-                publicBytecodeCommitment: string;
-                packedBytecode: string | {
-                    type: "Buffer";
-                    data: number[];
-                };
-            }[];
-            publicDataReads: {
-                leafPreimage: {
-                    value: string;
-                    slot: string;
-                    nextIndex: string | number | bigint;
-                    nextSlot: string;
-                };
-                leafIndex: string;
-                siblingPath: string[];
-            }[];
-            nullifierReads: {
-                lowLeafPreimage: {
-                    nullifier: string;
-                    nextNullifier: string;
-                    nextIndex: string | number | bigint;
-                };
-                lowLeafIndex: string;
-                lowLeafSiblingPath: string[];
-            }[];
-            nullifierWrites: {
-                lowLeafRead: {
-                    lowLeafPreimage: {
-                        nullifier: string;
-                        nextNullifier: string;
-                        nextIndex: string | number | bigint;
-                    };
-                    lowLeafIndex: string;
-                    lowLeafSiblingPath: string[];
-                };
-                insertionPath: string[];
-            }[];
-            noteHashReads: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }[];
-            noteHashWrites: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }[];
-            l1ToL2MessageReads: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }[];
-        };
-        publicInputs: {
-            globalVariables: {
-                gasFees: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-                chainId?: any;
-                version?: any;
-                blockNumber?: any;
-                slotNumber?: any;
-                timestamp?: any;
-                coinbase?: any;
-                feeRecipient?: any;
-            };
-            startTreeSnapshots: {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                noteHashTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                nullifierTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                publicDataTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-            };
-            startGasUsed: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            gasSettings: {
-                gasLimits: {
-                    daGas: string | number | bigint;
-                    l2Gas: string | number | bigint;
-                };
-                teardownGasLimits: {
-                    daGas: string | number | bigint;
-                    l2Gas: string | number | bigint;
-                };
-                maxFeesPerGas: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-                maxPriorityFeesPerGas: {
-                    feePerDaGas: string;
-                    feePerL2Gas: string;
-                };
-            };
-            publicSetupCallRequests: {
-                isStaticCall: boolean;
-                argsHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-                functionSelector?: any;
-            }[];
-            publicAppLogicCallRequests: {
-                isStaticCall: boolean;
-                argsHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-                functionSelector?: any;
-            }[];
-            publicTeardownCallRequest: {
-                isStaticCall: boolean;
-                argsHash: string;
-                contractAddress?: any;
-                msgSender?: any;
-                functionSelector?: any;
-            };
-            previousNonRevertibleAccumulatedDataArrayLengths: {
-                noteHashes: string | number | bigint;
-                nullifiers: string | number | bigint;
-                l2ToL1Msgs: string | number | bigint;
-            };
-            previousRevertibleAccumulatedDataArrayLengths: {
-                noteHashes: string | number | bigint;
-                nullifiers: string | number | bigint;
-                l2ToL1Msgs: string | number | bigint;
-            };
-            previousNonRevertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-            };
-            previousRevertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-            };
-            endTreeSnapshots: {
-                l1ToL2MessageTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                noteHashTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                nullifierTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-                publicDataTree: {
-                    root: string;
-                    nextAvailableLeafIndex: string | number | bigint;
-                };
-            };
-            endGasUsed: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            accumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
-                l2ToL1Msgs: {
-                    message: {
-                        counter: number;
-                        recipient: string;
-                        content: string;
-                    };
-                    contractAddress?: any;
-                }[];
-                publicLogs: any[];
-                publicDataWrites: {
-                    value: string;
-                    leafSlot: string;
-                }[];
-            };
-            transactionFee: string;
-            reverted: boolean;
-            feePayer?: any;
-        };
-    };
-}>;
-//# sourceMappingURL=avm_proving_request.d.ts.map
+    }>>;
+}, z.core.$strip>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX3Byb3ZpbmdfcmVxdWVzdC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2F2bS9hdm1fcHJvdmluZ19yZXF1ZXN0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxFQUFFLGtCQUFrQixFQUFFLE1BQU0sbUNBQW1DLENBQUM7QUFDdkUsT0FBTyxFQUFFLGdCQUFnQixFQUFFLE1BQU0sVUFBVSxDQUFDO0FBRTVDLE1BQU0sTUFBTSxpQkFBaUIsR0FBRyxDQUFDLENBQUMsS0FBSyxDQUFDLE9BQU8sdUJBQXVCLENBQUMsQ0FBQztBQUV4RSxlQUFPLE1BQU0sdUJBQXVCOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7aUJBR2xDLENBQUMifQ==