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

package/dest/interfaces/proving-job.d.ts

@@ -1,25 +1,27 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-import { AVM_PROOF_LENGTH_IN_FIELDS, NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, RECURSIVE_PROOF_LENGTH, TUBE_PROOF_LENGTH } from '@aztec/constants';
+import { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, RECURSIVE_PROOF_LENGTH } from '@aztec/constants';
+import { EpochNumber } from '@aztec/foundation/branded-types';
 import type { ZodFor } from '@aztec/foundation/schemas';
 import { z } from 'zod';
 import { AvmCircuitInputs } from '../avm/avm.js';
-import { BaseParityInputs } from '../parity/base_parity_inputs.js';
+import { ParityBasePrivateInputs } from '../parity/parity_base_private_inputs.js';
 import { ParityPublicInputs } from '../parity/parity_public_inputs.js';
-import { RootParityInputs } from '../parity/root_parity_inputs.js';
+import { ParityRootPrivateInputs } from '../parity/parity_root_private_inputs.js';
 import { ProvingRequestType } from '../proofs/proving_request_type.js';
 import { RecursiveProof } from '../proofs/recursive_proof.js';
-import { BaseOrMergeRollupPublicInputs } from '../rollup/base_or_merge_rollup_public_inputs.js';
-import { BlockMergeRollupInputs } from '../rollup/block_merge_rollup.js';
-import { BlockRootOrBlockMergePublicInputs } from '../rollup/block_root_or_block_merge_public_inputs.js';
-import { BlockRootRollupInputs, SingleTxBlockRootRollupInputs } from '../rollup/block_root_rollup.js';
-import { EmptyBlockRootRollupInputs } from '../rollup/empty_block_root_rollup_inputs.js';
-import { MergeRollupInputs } from '../rollup/merge_rollup.js';
-import { PrivateBaseRollupInputs } from '../rollup/private_base_rollup_inputs.js';
-import { PublicBaseRollupInputs } from '../rollup/public_base_rollup_inputs.js';
-import { RootRollupInputs, RootRollupPublicInputs } from '../rollup/root_rollup.js';
-import { TubeInputs } from '../rollup/tube_inputs.js';
-import type { ServerCircuitName } from '../stats/index.js';
+import { BlockMergeRollupPrivateInputs } from '../rollup/block_merge_rollup_private_inputs.js';
+import { BlockRollupPublicInputs } from '../rollup/block_rollup_public_inputs.js';
+import { BlockRootEmptyTxFirstRollupPrivateInputs, BlockRootFirstRollupPrivateInputs, BlockRootRollupPrivateInputs, BlockRootSingleTxFirstRollupPrivateInputs, BlockRootSingleTxRollupPrivateInputs } from '../rollup/block_root_rollup_private_inputs.js';
+import { CheckpointMergeRollupPrivateInputs } from '../rollup/checkpoint_merge_rollup_private_inputs.js';
+import { CheckpointRollupPublicInputs } from '../rollup/checkpoint_rollup_public_inputs.js';
+import { CheckpointPaddingRollupPrivateInputs, CheckpointRootRollupPrivateInputs, CheckpointRootSingleBlockRollupPrivateInputs } from '../rollup/checkpoint_root_rollup_private_inputs.js';
+import { PrivateTxBaseRollupPrivateInputs } from '../rollup/private_tx_base_rollup_private_inputs.js';
+import { PublicChonkVerifierPrivateInputs } from '../rollup/public_chonk_verifier_private_inputs.js';
+import { PublicChonkVerifierPublicInputs } from '../rollup/public_chonk_verifier_public_inputs.js';
+import { PublicTxBaseRollupPrivateInputs } from '../rollup/public_tx_base_rollup_private_inputs.js';
+import { RootRollupPrivateInputs } from '../rollup/root_rollup_private_inputs.js';
+import { RootRollupPublicInputs } from '../rollup/root_rollup_public_inputs.js';
+import { TxMergeRollupPrivateInputs } from '../rollup/tx_merge_rollup_private_inputs.js';
+import { TxRollupPublicInputs } from '../rollup/tx_rollup_public_inputs.js';
 import { VerificationKeyData } from '../vks/verification_key.js';
 export type ProofAndVerificationKey<N extends number> = {
     proof: RecursiveProof<N>;
@@ -32,1463 +34,1251 @@ export type PublicInputsAndRecursiveProof<T, N extends number = typeof NESTED_RE
     verificationKey: VerificationKeyData;
 };
 export declare function makePublicInputsAndRecursiveProof<T, N extends number = typeof NESTED_RECURSIVE_PROOF_LENGTH>(inputs: T, proof: RecursiveProof<N>, verificationKey: VerificationKeyData): PublicInputsAndRecursiveProof<T, N>;
-export declare function mapProvingRequestTypeToCircuitName(type: ProvingRequestType): ServerCircuitName;
-export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
+export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[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: 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/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: ZodFor<import("@aztec/foundation/schemas").Fr>;
+                version: 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: ZodFor<import("@aztec/foundation/branded-types").SlotNumber>;
+                timestamp: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                coinbase: ZodFor<import("@aztec/foundation/eth-address").EthAddress>;
+                feeRecipient: 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/branded-types").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: 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: 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<ZodFor<import("@aztec/foundation/schemas").Fr>>;
+                    nullifiers: z.ZodArray<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: 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<ZodFor<import("@aztec/foundation/schemas").Fr>>;
+                    nullifiers: z.ZodArray<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: 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<ZodFor<import("../tx/public_call_request_with_calldata.js").PublicCallRequestWithCalldata>>;
+                appLogicEnqueuedCalls: z.ZodArray<ZodFor<import("../tx/public_call_request_with_calldata.js").PublicCallRequestWithCalldata>>;
+                teardownEnqueuedCall: z.ZodNullable<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: ZodFor<import("../aztec-address/index.js").AztecAddress>;
+            }, z.core.$strip>, z.ZodTransform<import("../avm/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<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: ZodFor<import("../aztec-address/index.js").AztecAddress>;
-                exists: z.ZodBoolean;
-                salt: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                salt: ZodFor<import("@aztec/foundation/schemas").Fr>;
                 deployer: 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/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: ZodFor<import("@aztec/foundation/schemas").Fr>;
+                originalContractClassId: ZodFor<import("@aztec/foundation/schemas").Fr>;
+                initializationHash: ZodFor<import("@aztec/foundation/schemas").Fr>;
+                immutablesHash: 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/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/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/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: ZodFor<import("@aztec/foundation/schemas").Fr>;
+                artifactHash: ZodFor<import("@aztec/foundation/schemas").Fr>;
+                privateFunctionsRoot: ZodFor<import("@aztec/foundation/schemas").Fr>;
+                packedBytecode: ZodFor<Buffer<ArrayBufferLike>>;
+            }, z.core.$strip>, z.ZodTransform<import("../avm/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: ZodFor<import("@aztec/foundation/schemas").Fr>;
+                commitment: ZodFor<import("@aztec/foundation/schemas").Fr>;
+            }, z.core.$strip>, z.ZodTransform<import("../avm/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: ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                selector: ZodFor<import("@aztec/foundation/schemas").Fr>;
+                name: z.ZodString;
+            }, z.core.$strip>, z.ZodTransform<import("../avm/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/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/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<ZodFor<import("@aztec/foundation/schemas").Fr>>;
+            }, z.core.$strip>, z.ZodTransform<import("../avm/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: 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/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/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/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/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/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: ZodFor<import("@aztec/foundation/schemas").Fr>;
+            }, z.core.$strip>, z.ZodTransform<import("../avm/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/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/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<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<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/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<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<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/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<ZodFor<import("@aztec/foundation/schemas").Fr>>;
+            }, z.core.$strip>, z.ZodTransform<import("../avm/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/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/avm.js").AvmAppendTreeHint, {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
-            }>, "many">;
-        }, "strip", z.ZodTypeAny, {
-            publicDataWrites: import("../avm/avm.js").AvmPublicDataWriteTreeHint[];
-            enqueuedCalls: import("../avm/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/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/avm.js").AvmExecutionHints, {
+            globalVariables: import("../tx/global_variables.js").GlobalVariables;
+            tx: import("../avm/avm.js").AvmTxHint;
+            protocolContracts: import("../tx/protocol_contracts.js").ProtocolContracts;
             contractInstances: import("../avm/avm.js").AvmContractInstanceHint[];
             contractClasses: import("../avm/avm.js").AvmContractClassHint[];
-            publicDataReads: import("../avm/avm.js").AvmPublicDataReadTreeHint[];
-            nullifierReads: import("../avm/avm.js").AvmNullifierReadTreeHint[];
-            nullifierWrites: import("../avm/avm.js").AvmNullifierWriteTreeHint[];
-            noteHashReads: import("../avm/avm.js").AvmAppendTreeHint[];
-            noteHashWrites: import("../avm/avm.js").AvmAppendTreeHint[];
-            l1ToL2MessageReads: import("../avm/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/avm.js").AvmBytecodeCommitmentHint[];
+            debugFunctionNames: import("../avm/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[];
-                };
+            contractDbCommitCheckpointHints: {
+                readonly actionCounter: number;
+                readonly oldCheckpointId: number;
+                readonly newCheckpointId: 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[];
-            }[];
-        }>, import("../avm/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/avm.js").AvmGetSiblingPathHint[];
+            getPreviousValueIndexHints: import("../avm/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/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[];
             }[];
-            noteHashWrites: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
+            appendLeavesHints: import("../avm/avm.js").AvmAppendLeavesHint[];
+            createCheckpointHints: {
+                readonly actionCounter: number;
+                readonly oldCheckpointId: number;
+                readonly newCheckpointId: number;
             }[];
-            l1ToL2MessageReads: {
-                value: string;
-                leafIndex: string;
-                siblingPath: string[];
+            commitCheckpointHints: {
+                readonly actionCounter: number;
+                readonly oldCheckpointId: number;
+                readonly newCheckpointId: number;
             }[];
-        }>;
-        publicInputs: z.ZodEffects<z.ZodObject<{
-            globalVariables: z.ZodEffects<z.ZodObject<{
+            revertCheckpointHints: import("../avm/avm.js").AvmRevertCheckpointHint[];
+        }>>;
+        publicInputs: z.ZodPipe<z.ZodObject<{
+            globalVariables: z.ZodPipe<z.ZodObject<{
                 chainId: ZodFor<import("@aztec/foundation/schemas").Fr>;
                 version: ZodFor<import("@aztec/foundation/schemas").Fr>;
-                blockNumber: ZodFor<import("@aztec/foundation/schemas").Fr>;
-                slotNumber: ZodFor<import("@aztec/foundation/schemas").Fr>;
-                timestamp: ZodFor<import("@aztec/foundation/schemas").Fr>;
-                coinbase: 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: ZodFor<import("@aztec/foundation/branded-types").SlotNumber>;
+                timestamp: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                coinbase: ZodFor<import("@aztec/foundation/eth-address").EthAddress>;
                 feeRecipient: 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/branded-types").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<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: 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: ZodFor<import("../aztec-address/index.js").AztecAddress>;
                 contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
-                functionSelector: 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: ZodFor<import("../aztec-address/index.js").AztecAddress>;
                 contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
-                functionSelector: 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: ZodFor<import("../aztec-address/index.js").AztecAddress>;
                 contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
-                functionSelector: 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: 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: 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/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: 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<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: 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("../avm/public_data_write.js").PublicDataWrite, {
                     leafSlot: import("@aztec/foundation/schemas").Fr;
-                }, {
-                    value: string;
-                    leafSlot: string;
-                }>, import("../avm/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/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("../avm/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/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/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;
@@ -1498,1459 +1288,215 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
             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/avm_accumulated_data.js").AvmAccumulatedDataArrayLengths;
             accumulatedData: import("../avm/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/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/avm.js").AvmExecutionHints;
         publicInputs: import("../avm/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;
-        };
-    };
-}>, z.ZodObject<{
-    type: z.ZodLiteral<ProvingRequestType.BASE_PARITY>;
-    inputs: z.ZodType<BaseParityInputs, any, string>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.BASE_PARITY;
-    inputs: BaseParityInputs;
-}, {
-    type: ProvingRequestType.BASE_PARITY;
-    inputs: string;
-}>, z.ZodObject<{
-    type: z.ZodLiteral<ProvingRequestType.ROOT_PARITY>;
-    inputs: z.ZodType<RootParityInputs, any, string>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.ROOT_PARITY;
-    inputs: RootParityInputs;
-}, {
-    type: ProvingRequestType.ROOT_PARITY;
-    inputs: string;
-}>, z.ZodObject<{
-    type: z.ZodLiteral<ProvingRequestType.PRIVATE_BASE_ROLLUP>;
-    inputs: z.ZodType<PrivateBaseRollupInputs, any, string>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.PRIVATE_BASE_ROLLUP;
-    inputs: PrivateBaseRollupInputs;
-}, {
-    type: ProvingRequestType.PRIVATE_BASE_ROLLUP;
-    inputs: string;
-}>, z.ZodObject<{
-    type: z.ZodLiteral<ProvingRequestType.PUBLIC_BASE_ROLLUP>;
-    inputs: z.ZodType<PublicBaseRollupInputs, any, string>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.PUBLIC_BASE_ROLLUP;
-    inputs: PublicBaseRollupInputs;
-}, {
-    type: ProvingRequestType.PUBLIC_BASE_ROLLUP;
-    inputs: string;
-}>, z.ZodObject<{
-    type: z.ZodLiteral<ProvingRequestType.MERGE_ROLLUP>;
-    inputs: z.ZodType<MergeRollupInputs, any, string>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.MERGE_ROLLUP;
-    inputs: MergeRollupInputs;
-}, {
-    type: ProvingRequestType.MERGE_ROLLUP;
-    inputs: string;
-}>, z.ZodObject<{
+    }>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.PARITY_BASE>;
+    inputs: z.ZodType<ParityBasePrivateInputs, string, z.core.$ZodTypeInternals<ParityBasePrivateInputs, string>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.PARITY_ROOT>;
+    inputs: z.ZodType<ParityRootPrivateInputs, string, z.core.$ZodTypeInternals<ParityRootPrivateInputs, string>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.PUBLIC_CHONK_VERIFIER>;
+    inputs: z.ZodType<PublicChonkVerifierPrivateInputs, string, z.core.$ZodTypeInternals<PublicChonkVerifierPrivateInputs, string>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.PRIVATE_TX_BASE_ROLLUP>;
+    inputs: z.ZodType<PrivateTxBaseRollupPrivateInputs, string, z.core.$ZodTypeInternals<PrivateTxBaseRollupPrivateInputs, string>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.PUBLIC_TX_BASE_ROLLUP>;
+    inputs: z.ZodType<PublicTxBaseRollupPrivateInputs, string, z.core.$ZodTypeInternals<PublicTxBaseRollupPrivateInputs, string>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.TX_MERGE_ROLLUP>;
+    inputs: z.ZodType<TxMergeRollupPrivateInputs, string, z.core.$ZodTypeInternals<TxMergeRollupPrivateInputs, string>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP>;
+    inputs: z.ZodType<BlockRootFirstRollupPrivateInputs, string, z.core.$ZodTypeInternals<BlockRootFirstRollupPrivateInputs, string>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP>;
+    inputs: z.ZodType<BlockRootSingleTxFirstRollupPrivateInputs, string, z.core.$ZodTypeInternals<BlockRootSingleTxFirstRollupPrivateInputs, string>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP>;
+    inputs: z.ZodType<BlockRootEmptyTxFirstRollupPrivateInputs, string, z.core.$ZodTypeInternals<BlockRootEmptyTxFirstRollupPrivateInputs, string>>;
+}, z.core.$strip>, z.ZodObject<{
     type: z.ZodLiteral<ProvingRequestType.BLOCK_ROOT_ROLLUP>;
-    inputs: z.ZodType<BlockRootRollupInputs, any, string>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.BLOCK_ROOT_ROLLUP;
-    inputs: BlockRootRollupInputs;
-}, {
-    type: ProvingRequestType.BLOCK_ROOT_ROLLUP;
-    inputs: string;
-}>, z.ZodObject<{
-    type: z.ZodLiteral<ProvingRequestType.SINGLE_TX_BLOCK_ROOT_ROLLUP>;
-    inputs: z.ZodType<SingleTxBlockRootRollupInputs, any, string>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.SINGLE_TX_BLOCK_ROOT_ROLLUP;
-    inputs: SingleTxBlockRootRollupInputs;
-}, {
-    type: ProvingRequestType.SINGLE_TX_BLOCK_ROOT_ROLLUP;
-    inputs: string;
-}>, z.ZodObject<{
-    type: z.ZodLiteral<ProvingRequestType.EMPTY_BLOCK_ROOT_ROLLUP>;
-    inputs: z.ZodType<EmptyBlockRootRollupInputs, any, string>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.EMPTY_BLOCK_ROOT_ROLLUP;
-    inputs: EmptyBlockRootRollupInputs;
-}, {
-    type: ProvingRequestType.EMPTY_BLOCK_ROOT_ROLLUP;
-    inputs: string;
-}>, z.ZodObject<{
+    inputs: z.ZodType<BlockRootRollupPrivateInputs, string, z.core.$ZodTypeInternals<BlockRootRollupPrivateInputs, string>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.BLOCK_ROOT_SINGLE_TX_ROLLUP>;
+    inputs: z.ZodType<BlockRootSingleTxRollupPrivateInputs, string, z.core.$ZodTypeInternals<BlockRootSingleTxRollupPrivateInputs, string>>;
+}, z.core.$strip>, z.ZodObject<{
     type: z.ZodLiteral<ProvingRequestType.BLOCK_MERGE_ROLLUP>;
-    inputs: z.ZodType<BlockMergeRollupInputs, any, string>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.BLOCK_MERGE_ROLLUP;
-    inputs: BlockMergeRollupInputs;
-}, {
-    type: ProvingRequestType.BLOCK_MERGE_ROLLUP;
-    inputs: string;
-}>, z.ZodObject<{
+    inputs: z.ZodType<BlockMergeRollupPrivateInputs, string, z.core.$ZodTypeInternals<BlockMergeRollupPrivateInputs, string>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.CHECKPOINT_ROOT_ROLLUP>;
+    inputs: z.ZodType<CheckpointRootRollupPrivateInputs, string, z.core.$ZodTypeInternals<CheckpointRootRollupPrivateInputs, string>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP>;
+    inputs: z.ZodType<CheckpointRootSingleBlockRollupPrivateInputs, string, z.core.$ZodTypeInternals<CheckpointRootSingleBlockRollupPrivateInputs, string>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.CHECKPOINT_PADDING_ROLLUP>;
+    inputs: z.ZodType<CheckpointPaddingRollupPrivateInputs, string, z.core.$ZodTypeInternals<CheckpointPaddingRollupPrivateInputs, string>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.CHECKPOINT_MERGE_ROLLUP>;
+    inputs: z.ZodType<CheckpointMergeRollupPrivateInputs, string, z.core.$ZodTypeInternals<CheckpointMergeRollupPrivateInputs, string>>;
+}, z.core.$strip>, z.ZodObject<{
     type: z.ZodLiteral<ProvingRequestType.ROOT_ROLLUP>;
-    inputs: z.ZodType<RootRollupInputs, any, string>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.ROOT_ROLLUP;
-    inputs: RootRollupInputs;
-}, {
-    type: ProvingRequestType.ROOT_ROLLUP;
-    inputs: string;
-}>, z.ZodObject<{
-    type: z.ZodLiteral<ProvingRequestType.TUBE_PROOF>;
-    inputs: z.ZodType<TubeInputs, any, string>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.TUBE_PROOF;
-    inputs: TubeInputs;
-}, {
-    type: ProvingRequestType.TUBE_PROOF;
-    inputs: string;
-}>]>;
-export declare function getProvingJobInputClassFor(type: ProvingRequestType): typeof AvmCircuitInputs | typeof BaseParityInputs | typeof RootParityInputs | typeof BlockMergeRollupInputs | typeof BlockRootRollupInputs | typeof SingleTxBlockRootRollupInputs | typeof EmptyBlockRootRollupInputs | typeof MergeRollupInputs | typeof PrivateBaseRollupInputs | typeof PublicBaseRollupInputs | typeof RootRollupInputs | typeof TubeInputs;
+    inputs: z.ZodType<RootRollupPrivateInputs, string, z.core.$ZodTypeInternals<RootRollupPrivateInputs, string>>;
+}, z.core.$strip>], "type">;
+export declare function getProvingJobInputClassFor(type: ProvingRequestType): typeof AvmCircuitInputs | typeof ParityBasePrivateInputs | typeof ParityRootPrivateInputs | typeof BlockMergeRollupPrivateInputs | typeof BlockRootFirstRollupPrivateInputs | typeof BlockRootSingleTxFirstRollupPrivateInputs | typeof BlockRootEmptyTxFirstRollupPrivateInputs | typeof BlockRootRollupPrivateInputs | typeof BlockRootSingleTxRollupPrivateInputs | typeof PrivateTxBaseRollupPrivateInputs | typeof PublicTxBaseRollupPrivateInputs | typeof TxMergeRollupPrivateInputs | typeof CheckpointMergeRollupPrivateInputs | typeof CheckpointRootRollupPrivateInputs | typeof CheckpointRootSingleBlockRollupPrivateInputs | typeof CheckpointPaddingRollupPrivateInputs | typeof PublicChonkVerifierPrivateInputs;
 export type ProvingJobInputs = z.infer<typeof ProvingJobInputs>;
 export type ProvingJobInputsMap = {
     [ProvingRequestType.PUBLIC_VM]: AvmCircuitInputs;
-    [ProvingRequestType.PRIVATE_BASE_ROLLUP]: PrivateBaseRollupInputs;
-    [ProvingRequestType.PUBLIC_BASE_ROLLUP]: PublicBaseRollupInputs;
-    [ProvingRequestType.MERGE_ROLLUP]: MergeRollupInputs;
-    [ProvingRequestType.EMPTY_BLOCK_ROOT_ROLLUP]: EmptyBlockRootRollupInputs;
-    [ProvingRequestType.BLOCK_ROOT_ROLLUP]: BlockRootRollupInputs;
-    [ProvingRequestType.SINGLE_TX_BLOCK_ROOT_ROLLUP]: SingleTxBlockRootRollupInputs;
-    [ProvingRequestType.BLOCK_MERGE_ROLLUP]: BlockMergeRollupInputs;
-    [ProvingRequestType.ROOT_ROLLUP]: RootRollupInputs;
-    [ProvingRequestType.BASE_PARITY]: BaseParityInputs;
-    [ProvingRequestType.ROOT_PARITY]: RootParityInputs;
-    [ProvingRequestType.TUBE_PROOF]: TubeInputs;
+    [ProvingRequestType.PUBLIC_CHONK_VERIFIER]: PublicChonkVerifierPrivateInputs;
+    [ProvingRequestType.PRIVATE_TX_BASE_ROLLUP]: PrivateTxBaseRollupPrivateInputs;
+    [ProvingRequestType.PUBLIC_TX_BASE_ROLLUP]: PublicTxBaseRollupPrivateInputs;
+    [ProvingRequestType.TX_MERGE_ROLLUP]: TxMergeRollupPrivateInputs;
+    [ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP]: BlockRootFirstRollupPrivateInputs;
+    [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP]: BlockRootSingleTxFirstRollupPrivateInputs;
+    [ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP]: BlockRootEmptyTxFirstRollupPrivateInputs;
+    [ProvingRequestType.BLOCK_ROOT_ROLLUP]: BlockRootRollupPrivateInputs;
+    [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_ROLLUP]: BlockRootSingleTxRollupPrivateInputs;
+    [ProvingRequestType.BLOCK_MERGE_ROLLUP]: BlockMergeRollupPrivateInputs;
+    [ProvingRequestType.CHECKPOINT_ROOT_ROLLUP]: CheckpointRootRollupPrivateInputs;
+    [ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP]: CheckpointRootSingleBlockRollupPrivateInputs;
+    [ProvingRequestType.CHECKPOINT_PADDING_ROLLUP]: CheckpointPaddingRollupPrivateInputs;
+    [ProvingRequestType.CHECKPOINT_MERGE_ROLLUP]: CheckpointMergeRollupPrivateInputs;
+    [ProvingRequestType.ROOT_ROLLUP]: RootRollupPrivateInputs;
+    [ProvingRequestType.PARITY_BASE]: ParityBasePrivateInputs;
+    [ProvingRequestType.PARITY_ROOT]: ParityRootPrivateInputs;
 };
-export declare const ProvingJobResult: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
+export declare const ProvingJobResult: z.ZodDiscriminatedUnion<[z.ZodObject<{
     type: z.ZodLiteral<ProvingRequestType.PUBLIC_VM>;
-    result: ZodFor<ProofAndVerificationKey<4154>>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.PUBLIC_VM;
-    result: ProofAndVerificationKey<4154>;
-}, {
-    type: ProvingRequestType.PUBLIC_VM;
-    result?: any;
-}>, z.ZodObject<{
-    type: z.ZodLiteral<ProvingRequestType.PRIVATE_BASE_ROLLUP>;
-    result: ZodFor<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, 538>>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.PRIVATE_BASE_ROLLUP;
-    result: PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, 538>;
-}, {
-    type: ProvingRequestType.PRIVATE_BASE_ROLLUP;
-    result?: any;
-}>, z.ZodObject<{
-    type: z.ZodLiteral<ProvingRequestType.PUBLIC_BASE_ROLLUP>;
-    result: ZodFor<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, 538>>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.PUBLIC_BASE_ROLLUP;
-    result: PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, 538>;
-}, {
-    type: ProvingRequestType.PUBLIC_BASE_ROLLUP;
-    result?: any;
-}>, z.ZodObject<{
-    type: z.ZodLiteral<ProvingRequestType.MERGE_ROLLUP>;
-    result: ZodFor<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, 538>>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.MERGE_ROLLUP;
-    result: PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, 538>;
-}, {
-    type: ProvingRequestType.MERGE_ROLLUP;
-    result?: any;
-}>, z.ZodObject<{
-    type: z.ZodLiteral<ProvingRequestType.EMPTY_BLOCK_ROOT_ROLLUP>;
-    result: ZodFor<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 538>>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.EMPTY_BLOCK_ROOT_ROLLUP;
-    result: PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 538>;
-}, {
-    type: ProvingRequestType.EMPTY_BLOCK_ROOT_ROLLUP;
-    result?: any;
-}>, z.ZodObject<{
+    result: z.ZodPipe<ZodFor<Buffer<ArrayBufferLike>>, z.ZodTransform<RecursiveProof<16400>, Buffer<ArrayBufferLike>>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.PUBLIC_CHONK_VERIFIER>;
+    result: ZodFor<PublicInputsAndRecursiveProof<PublicChonkVerifierPublicInputs, 480>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.PRIVATE_TX_BASE_ROLLUP>;
+    result: ZodFor<PublicInputsAndRecursiveProof<TxRollupPublicInputs, 480>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.PUBLIC_TX_BASE_ROLLUP>;
+    result: ZodFor<PublicInputsAndRecursiveProof<TxRollupPublicInputs, 480>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.TX_MERGE_ROLLUP>;
+    result: ZodFor<PublicInputsAndRecursiveProof<TxRollupPublicInputs, 480>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP>;
+    result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 480>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP>;
+    result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 480>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP>;
+    result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 480>>;
+}, z.core.$strip>, z.ZodObject<{
     type: z.ZodLiteral<ProvingRequestType.BLOCK_ROOT_ROLLUP>;
-    result: ZodFor<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 538>>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.BLOCK_ROOT_ROLLUP;
-    result: PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 538>;
-}, {
-    type: ProvingRequestType.BLOCK_ROOT_ROLLUP;
-    result?: any;
-}>, z.ZodObject<{
-    type: z.ZodLiteral<ProvingRequestType.SINGLE_TX_BLOCK_ROOT_ROLLUP>;
-    result: ZodFor<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 538>>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.SINGLE_TX_BLOCK_ROOT_ROLLUP;
-    result: PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 538>;
-}, {
-    type: ProvingRequestType.SINGLE_TX_BLOCK_ROOT_ROLLUP;
-    result?: any;
-}>, z.ZodObject<{
+    result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 480>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.BLOCK_ROOT_SINGLE_TX_ROLLUP>;
+    result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 480>>;
+}, z.core.$strip>, z.ZodObject<{
     type: z.ZodLiteral<ProvingRequestType.BLOCK_MERGE_ROLLUP>;
-    result: ZodFor<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 538>>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.BLOCK_MERGE_ROLLUP;
-    result: PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, 538>;
-}, {
-    type: ProvingRequestType.BLOCK_MERGE_ROLLUP;
-    result?: any;
-}>, z.ZodObject<{
+    result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 480>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.CHECKPOINT_ROOT_ROLLUP>;
+    result: ZodFor<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 480>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP>;
+    result: ZodFor<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 480>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.CHECKPOINT_PADDING_ROLLUP>;
+    result: ZodFor<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 480>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.CHECKPOINT_MERGE_ROLLUP>;
+    result: ZodFor<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 480>>;
+}, z.core.$strip>, z.ZodObject<{
     type: z.ZodLiteral<ProvingRequestType.ROOT_ROLLUP>;
-    result: ZodFor<PublicInputsAndRecursiveProof<RootRollupPublicInputs, 459>>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.ROOT_ROLLUP;
-    result: PublicInputsAndRecursiveProof<RootRollupPublicInputs, 459>;
-}, {
-    type: ProvingRequestType.ROOT_ROLLUP;
-    result?: any;
-}>, z.ZodObject<{
-    type: z.ZodLiteral<ProvingRequestType.BASE_PARITY>;
-    result: ZodFor<PublicInputsAndRecursiveProof<ParityPublicInputs, 459>>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.BASE_PARITY;
-    result: PublicInputsAndRecursiveProof<ParityPublicInputs, 459>;
-}, {
-    type: ProvingRequestType.BASE_PARITY;
-    result?: any;
-}>, z.ZodObject<{
-    type: z.ZodLiteral<ProvingRequestType.ROOT_PARITY>;
-    result: ZodFor<PublicInputsAndRecursiveProof<ParityPublicInputs, 459>>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.ROOT_PARITY;
-    result: PublicInputsAndRecursiveProof<ParityPublicInputs, 459>;
-}, {
-    type: ProvingRequestType.ROOT_PARITY;
-    result?: any;
-}>, z.ZodObject<{
-    type: z.ZodLiteral<ProvingRequestType.TUBE_PROOF>;
-    result: ZodFor<ProofAndVerificationKey<538>>;
-}, "strip", z.ZodTypeAny, {
-    type: ProvingRequestType.TUBE_PROOF;
-    result: ProofAndVerificationKey<538>;
-}, {
-    type: ProvingRequestType.TUBE_PROOF;
-    result?: any;
-}>]>;
+    result: ZodFor<PublicInputsAndRecursiveProof<RootRollupPublicInputs, 410>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.PARITY_BASE>;
+    result: ZodFor<PublicInputsAndRecursiveProof<ParityPublicInputs, 410>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.PARITY_ROOT>;
+    result: ZodFor<PublicInputsAndRecursiveProof<ParityPublicInputs, 410>>;
+}, z.core.$strip>], "type">;
 export type ProvingJobResult = z.infer<typeof ProvingJobResult>;
 export type ProvingJobResultsMap = {
-    [ProvingRequestType.PUBLIC_VM]: ProofAndVerificationKey<typeof AVM_PROOF_LENGTH_IN_FIELDS>;
-    [ProvingRequestType.PRIVATE_BASE_ROLLUP]: PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
-    [ProvingRequestType.PUBLIC_BASE_ROLLUP]: PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
-    [ProvingRequestType.MERGE_ROLLUP]: PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
-    [ProvingRequestType.EMPTY_BLOCK_ROOT_ROLLUP]: PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
-    [ProvingRequestType.SINGLE_TX_BLOCK_ROOT_ROLLUP]: PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
-    [ProvingRequestType.BLOCK_ROOT_ROLLUP]: PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
-    [ProvingRequestType.BLOCK_MERGE_ROLLUP]: PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
+    [ProvingRequestType.PUBLIC_VM]: RecursiveProof<typeof AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED>;
+    [ProvingRequestType.PUBLIC_CHONK_VERIFIER]: PublicInputsAndRecursiveProof<PublicChonkVerifierPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
+    [ProvingRequestType.PRIVATE_TX_BASE_ROLLUP]: PublicInputsAndRecursiveProof<TxRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
+    [ProvingRequestType.PUBLIC_TX_BASE_ROLLUP]: PublicInputsAndRecursiveProof<TxRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
+    [ProvingRequestType.TX_MERGE_ROLLUP]: PublicInputsAndRecursiveProof<TxRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
+    [ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP]: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
+    [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP]: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
+    [ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP]: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
+    [ProvingRequestType.BLOCK_ROOT_ROLLUP]: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
+    [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_ROLLUP]: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
+    [ProvingRequestType.BLOCK_MERGE_ROLLUP]: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
+    [ProvingRequestType.CHECKPOINT_ROOT_ROLLUP]: PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
+    [ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP]: PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
+    [ProvingRequestType.CHECKPOINT_PADDING_ROLLUP]: PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
+    [ProvingRequestType.CHECKPOINT_MERGE_ROLLUP]: PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
     [ProvingRequestType.ROOT_ROLLUP]: PublicInputsAndRecursiveProof<RootRollupPublicInputs>;
-    [ProvingRequestType.BASE_PARITY]: PublicInputsAndRecursiveProof<ParityPublicInputs, typeof RECURSIVE_PROOF_LENGTH>;
-    [ProvingRequestType.ROOT_PARITY]: PublicInputsAndRecursiveProof<ParityPublicInputs, typeof NESTED_RECURSIVE_PROOF_LENGTH>;
-    [ProvingRequestType.TUBE_PROOF]: ProofAndVerificationKey<typeof TUBE_PROOF_LENGTH>;
+    [ProvingRequestType.PARITY_BASE]: PublicInputsAndRecursiveProof<ParityPublicInputs, typeof RECURSIVE_PROOF_LENGTH>;
+    [ProvingRequestType.PARITY_ROOT]: PublicInputsAndRecursiveProof<ParityPublicInputs, typeof NESTED_RECURSIVE_PROOF_LENGTH>;
 };
 export type ProvingRequestResultFor<T extends ProvingRequestType> = {
     type: T;
     result: ProvingJobResultsMap[T];
 };
 export declare const ProvingJobId: z.ZodString;
-export declare const ProofUri: z.ZodBranded<z.ZodString, "ProvingJobUri">;
-export type ProofUri = z.infer<typeof ProofUri>;
+export type ProofUri = string & z.$brand<'ProvingJobUri'>;
+export declare const ProofUri: ZodFor<ProofUri>;
 export type ProvingJobId = z.infer<typeof ProvingJobId>;
-export declare const ProvingJob: z.ZodObject<{
-    id: z.ZodString;
-    type: z.ZodNativeEnum<typeof ProvingRequestType>;
-    epochNumber: z.ZodNumber;
-    inputsUri: z.ZodBranded<z.ZodString, "ProvingJobUri">;
-}, "strip", z.ZodTypeAny, {
+type ProvingJobShape = {
+    id: ProvingJobId;
     type: ProvingRequestType;
-    id: string;
-    epochNumber: number;
-    inputsUri: string & z.BRAND<"ProvingJobUri">;
-}, {
-    type: ProvingRequestType;
-    id: string;
-    epochNumber: number;
-    inputsUri: string;
-}>;
-export declare const makeProvingJobId: (epochNumber: number, type: ProvingRequestType, inputsHash: string) => string;
-export declare const getEpochFromProvingJobId: (id: ProvingJobId) => number;
+    epochNumber: EpochNumber;
+    inputsUri: ProofUri;
+};
+export declare const ProvingJob: z.ZodType<ProvingJobShape, any>;
+export declare const makeProvingJobId: (epochNumber: EpochNumber, type: ProvingRequestType, inputsHash: string) => string;
+export declare const getEpochFromProvingJobId: (id: string) => EpochNumber;
 export type ProvingJob = z.infer<typeof ProvingJob>;
 export declare function makeProvingRequestResult(type: ProvingRequestType, result: ProvingJobResult['result']): ProvingJobResult;
 export declare const ProvingJobFulfilledResult: z.ZodObject<{
     status: z.ZodLiteral<"fulfilled">;
-    value: z.ZodBranded<z.ZodString, "ProvingJobUri">;
-}, "strip", z.ZodTypeAny, {
-    status: "fulfilled";
-    value: string & z.BRAND<"ProvingJobUri">;
-}, {
-    status: "fulfilled";
-    value: string;
-}>;
+    value: ZodFor<ProofUri>;
+}, z.core.$strip>;
 export type ProvingJobFulfilledResult = z.infer<typeof ProvingJobFulfilledResult>;
 export declare const ProvingJobRejectedResult: z.ZodObject<{
     status: z.ZodLiteral<"rejected">;
     reason: z.ZodString;
-}, "strip", z.ZodTypeAny, {
-    status: "rejected";
-    reason: string;
-}, {
-    status: "rejected";
-    reason: string;
-}>;
+}, z.core.$strip>;
 export type ProvingJobRejectedResult = z.infer<typeof ProvingJobRejectedResult>;
-export declare const ProvingJobSettledResult: z.ZodDiscriminatedUnion<"status", [z.ZodObject<{
+export declare const ProvingJobSettledResult: z.ZodDiscriminatedUnion<[z.ZodObject<{
     status: z.ZodLiteral<"fulfilled">;
-    value: z.ZodBranded<z.ZodString, "ProvingJobUri">;
-}, "strip", z.ZodTypeAny, {
-    status: "fulfilled";
-    value: string & z.BRAND<"ProvingJobUri">;
-}, {
-    status: "fulfilled";
-    value: string;
-}>, z.ZodObject<{
+    value: ZodFor<ProofUri>;
+}, z.core.$strip>, z.ZodObject<{
     status: z.ZodLiteral<"rejected">;
     reason: z.ZodString;
-}, "strip", z.ZodTypeAny, {
-    status: "rejected";
-    reason: string;
-}, {
-    status: "rejected";
-    reason: string;
-}>]>;
+}, z.core.$strip>], "status">;
 export type ProvingJobSettledResult = z.infer<typeof ProvingJobSettledResult>;
-export declare const ProvingJobStatus: z.ZodDiscriminatedUnion<"status", [z.ZodObject<{
+export declare const ProvingJobStatus: z.ZodDiscriminatedUnion<[z.ZodObject<{
     status: z.ZodLiteral<"in-queue">;
-}, "strip", z.ZodTypeAny, {
-    status: "in-queue";
-}, {
-    status: "in-queue";
-}>, z.ZodObject<{
+}, z.core.$strip>, z.ZodObject<{
     status: z.ZodLiteral<"in-progress">;
-}, "strip", z.ZodTypeAny, {
-    status: "in-progress";
-}, {
-    status: "in-progress";
-}>, z.ZodObject<{
+}, z.core.$strip>, z.ZodObject<{
     status: z.ZodLiteral<"not-found">;
-}, "strip", z.ZodTypeAny, {
-    status: "not-found";
-}, {
-    status: "not-found";
-}>, z.ZodObject<{
+}, z.core.$strip>, z.ZodObject<{
     status: z.ZodLiteral<"fulfilled">;
-    value: z.ZodBranded<z.ZodString, "ProvingJobUri">;
-}, "strip", z.ZodTypeAny, {
-    status: "fulfilled";
-    value: string & z.BRAND<"ProvingJobUri">;
-}, {
-    status: "fulfilled";
-    value: string;
-}>, z.ZodObject<{
+    value: ZodFor<ProofUri>;
+}, z.core.$strip>, z.ZodObject<{
     status: z.ZodLiteral<"rejected">;
     reason: z.ZodString;
-}, "strip", z.ZodTypeAny, {
-    status: "rejected";
-    reason: string;
-}, {
-    status: "rejected";
-    reason: string;
-}>]>;
+}, z.core.$strip>], "status">;
 export type ProvingJobStatus = z.infer<typeof ProvingJobStatus>;
-//# sourceMappingURL=proving-job.d.ts.map
+export {};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmluZy1qb2IuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9pbnRlcmZhY2VzL3Byb3Zpbmctam9iLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFDTCxvQ0FBb0MsRUFDcEMsNkJBQTZCLEVBQzdCLHlDQUF5QyxFQUN6QyxzQkFBc0IsRUFDdkIsTUFBTSxrQkFBa0IsQ0FBQztBQUMxQixPQUFPLEVBQUUsV0FBVyxFQUFxQixNQUFNLGlDQUFpQyxDQUFDO0FBQ2pGLE9BQU8sS0FBSyxFQUFFLE1BQU0sRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBRXhELE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxFQUFFLGdCQUFnQixFQUFFLE1BQU0sZUFBZSxDQUFDO0FBRWpELE9BQU8sRUFBRSx1QkFBdUIsRUFBRSxNQUFNLHlDQUF5QyxDQUFDO0FBQ2xGLE9BQU8sRUFBRSxrQkFBa0IsRUFBRSxNQUFNLG1DQUFtQyxDQUFDO0FBQ3ZFLE9BQU8sRUFBRSx1QkFBdUIsRUFBRSxNQUFNLHlDQUF5QyxDQUFDO0FBQ2xGLE9BQU8sRUFBRSxrQkFBa0IsRUFBRSxNQUFNLG1DQUFtQyxDQUFDO0FBQ3ZFLE9BQU8sRUFBRSxjQUFjLEVBQUUsTUFBTSw4QkFBOEIsQ0FBQztBQUM5RCxPQUFPLEVBQUUsNkJBQTZCLEVBQUUsTUFBTSxnREFBZ0QsQ0FBQztBQUMvRixPQUFPLEVBQUUsdUJBQXVCLEVBQUUsTUFBTSx5Q0FBeUMsQ0FBQztBQUNsRixPQUFPLEVBQ0wsd0NBQXdDLEVBQ3hDLGlDQUFpQyxFQUNqQyw0QkFBNEIsRUFDNUIseUNBQXlDLEVBQ3pDLG9DQUFvQyxFQUNyQyxNQUFNLCtDQUErQyxDQUFDO0FBQ3ZELE9BQU8sRUFBRSxrQ0FBa0MsRUFBRSxNQUFNLHFEQUFxRCxDQUFDO0FBQ3pHLE9BQU8sRUFBRSw0QkFBNEIsRUFBRSxNQUFNLDhDQUE4QyxDQUFDO0FBQzVGLE9BQU8sRUFDTCxvQ0FBb0MsRUFDcEMsaUNBQWlDLEVBQ2pDLDRDQUE0QyxFQUM3QyxNQUFNLG9EQUFvRCxDQUFDO0FBQzVELE9BQU8sRUFBRSxnQ0FBZ0MsRUFBRSxNQUFNLG9EQUFvRCxDQUFDO0FBQ3RHLE9BQU8sRUFBRSxnQ0FBZ0MsRUFBRSxNQUFNLG1EQUFtRCxDQUFDO0FBQ3JHLE9BQU8sRUFBRSwrQkFBK0IsRUFBRSxNQUFNLGtEQUFrRCxDQUFDO0FBQ25HLE9BQU8sRUFBRSwrQkFBK0IsRUFBRSxNQUFNLG1EQUFtRCxDQUFDO0FBQ3BHLE9BQU8sRUFBRSx1QkFBdUIsRUFBRSxNQUFNLHlDQUF5QyxDQUFDO0FBQ2xGLE9BQU8sRUFBRSxzQkFBc0IsRUFBRSxNQUFNLHdDQUF3QyxDQUFDO0FBQ2hGLE9BQU8sRUFBRSwwQkFBMEIsRUFBRSxNQUFNLDZDQUE2QyxDQUFDO0FBQ3pGLE9BQU8sRUFBRSxvQkFBb0IsRUFBRSxNQUFNLHNDQUFzQyxDQUFDO0FBQzVFLE9BQU8sRUFBRSxtQkFBbUIsRUFBRSxNQUFNLDRCQUE0QixDQUFDO0FBRWpFLE1BQU0sTUFBTSx1QkFBdUIsQ0FBQyxDQUFDLFNBQVMsTUFBTSxJQUFJO0lBQ3RELEtBQUssRUFBRSxjQUFjLENBQUMsQ0FBQyxDQUFDLENBQUM7SUFDekIsZUFBZSxFQUFFLG1CQUFtQixDQUFDO0NBQ3RDLENBQUM7QUFFRix3QkFBZ0IsMkJBQTJCLENBQUMsQ0FBQyxTQUFTLE1BQU0sRUFDMUQsS0FBSyxFQUFFLGNBQWMsQ0FBQyxDQUFDLENBQUMsRUFDeEIsZUFBZSxFQUFFLG1CQUFtQixHQUNuQyx1QkFBdUIsQ0FBQyxDQUFDLENBQUMsQ0FFNUI7QUFFRCxNQUFNLE1BQU0sNkJBQTZCLENBQUMsQ0FBQyxFQUFFLENBQUMsU0FBUyxNQUFNLEdBQUcsT0FBTyw2QkFBNkIsSUFBSTtJQUN0RyxNQUFNLEVBQUUsQ0FBQyxDQUFDO0lBQ1YsS0FBSyxFQUFFLGNBQWMsQ0FBQyxDQUFDLENBQUMsQ0FBQztJQUN6QixlQUFlLEVBQUUsbUJBQW1CLENBQUM7Q0FDdEMsQ0FBQztBQWFGLHdCQUFnQixpQ0FBaUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxTQUFTLE1BQU0sR0FBRyxPQUFPLDZCQUE2QixFQUMxRyxNQUFNLEVBQUUsQ0FBQyxFQUNULEtBQUssRUFBRSxjQUFjLENBQUMsQ0FBQyxDQUFDLEVBQ3hCLGVBQWUsRUFBRSxtQkFBbUIsR0FDbkMsNkJBQTZCLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUVyQztBQUVELGVBQU8sTUFBTSxnQkFBZ0I7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OzsyQkFvRDNCLENBQUM7QUFFSCx3QkFBZ0IsMEJBQTBCLENBQUMsSUFBSSxFQUFFLGtCQUFrQixvc0JBMkNsRTtBQUVELE1BQU0sTUFBTSxnQkFBZ0IsR0FBRyxDQUFDLENBQUMsS0FBSyxDQUFDLE9BQU8sZ0JBQWdCLENBQUMsQ0FBQztBQUVoRSxNQUFNLE1BQU0sbUJBQW1CLEdBQUc7SUFDaEMsQ0FBQyxrQkFBa0IsQ0FBQyxTQUFTLENBQUMsRUFBRSxnQkFBZ0IsQ0FBQztJQUNqRCxDQUFDLGtCQUFrQixDQUFDLHFCQUFxQixDQUFDLEVBQUUsZ0NBQWdDLENBQUM7SUFDN0UsQ0FBQyxrQkFBa0IsQ0FBQyxzQkFBc0IsQ0FBQyxFQUFFLGdDQUFnQyxDQUFDO0lBQzlFLENBQUMsa0JBQWtCLENBQUMscUJBQXFCLENBQUMsRUFBRSwrQkFBK0IsQ0FBQztJQUM1RSxDQUFDLGtCQUFrQixDQUFDLGVBQWUsQ0FBQyxFQUFFLDBCQUEwQixDQUFDO0lBQ2pFLENBQUMsa0JBQWtCLENBQUMsdUJBQXVCLENBQUMsRUFBRSxpQ0FBaUMsQ0FBQztJQUNoRixDQUFDLGtCQUFrQixDQUFDLGlDQUFpQyxDQUFDLEVBQUUseUNBQXlDLENBQUM7SUFDbEcsQ0FBQyxrQkFBa0IsQ0FBQyxnQ0FBZ0MsQ0FBQyxFQUFFLHdDQUF3QyxDQUFDO0lBQ2hHLENBQUMsa0JBQWtCLENBQUMsaUJBQWlCLENBQUMsRUFBRSw0QkFBNEIsQ0FBQztJQUNyRSxDQUFDLGtCQUFrQixDQUFDLDJCQUEyQixDQUFDLEVBQUUsb0NBQW9DLENBQUM7SUFDdkYsQ0FBQyxrQkFBa0IsQ0FBQyxrQkFBa0IsQ0FBQyxFQUFFLDZCQUE2QixDQUFDO0lBQ3ZFLENBQUMsa0JBQWtCLENBQUMsc0JBQXNCLENBQUMsRUFBRSxpQ0FBaUMsQ0FBQztJQUMvRSxDQUFDLGtCQUFrQixDQUFDLG1DQUFtQyxDQUFDLEVBQUUsNENBQTRDLENBQUM7SUFDdkcsQ0FBQyxrQkFBa0IsQ0FBQyx5QkFBeUIsQ0FBQyxFQUFFLG9DQUFvQyxDQUFDO0lBQ3JGLENBQUMsa0JBQWtCLENBQUMsdUJBQXVCLENBQUMsRUFBRSxrQ0FBa0MsQ0FBQztJQUNqRixDQUFDLGtCQUFrQixDQUFDLFdBQVcsQ0FBQyxFQUFFLHVCQUF1QixDQUFDO0lBQzFELENBQUMsa0JBQWtCLENBQUMsV0FBVyxDQUFDLEVBQUUsdUJBQXVCLENBQUM7SUFDMUQsQ0FBQyxrQkFBa0IsQ0FBQyxXQUFXLENBQUMsRUFBRSx1QkFBdUIsQ0FBQztDQUMzRCxDQUFDO0FBRUYsZUFBTyxNQUFNLGdCQUFnQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OzJCQW1IM0IsQ0FBQztBQUNILE1BQU0sTUFBTSxnQkFBZ0IsR0FBRyxDQUFDLENBQUMsS0FBSyxDQUFDLE9BQU8sZ0JBQWdCLENBQUMsQ0FBQztBQUNoRSxNQUFNLE1BQU0sb0JBQW9CLEdBQUc7SUFDakMsQ0FBQyxrQkFBa0IsQ0FBQyxTQUFTLENBQUMsRUFBRSxjQUFjLENBQUMsT0FBTyxvQ0FBb0MsQ0FBQyxDQUFDO0lBQzVGLENBQUMsa0JBQWtCLENBQUMscUJBQXFCLENBQUMsRUFBRSw2QkFBNkIsQ0FDdkUsK0JBQStCLEVBQy9CLE9BQU8seUNBQXlDLENBQ2pELENBQUM7SUFDRixDQUFDLGtCQUFrQixDQUFDLHNCQUFzQixDQUFDLEVBQUUsNkJBQTZCLENBQ3hFLG9CQUFvQixFQUNwQixPQUFPLHlDQUF5QyxDQUNqRCxDQUFDO0lBQ0YsQ0FBQyxrQkFBa0IsQ0FBQyxxQkFBcUIsQ0FBQyxFQUFFLDZCQUE2QixDQUN2RSxvQkFBb0IsRUFDcEIsT0FBTyx5Q0FBeUMsQ0FDakQsQ0FBQztJQUNGLENBQUMsa0JBQWtCLENBQUMsZUFBZSxDQUFDLEVBQUUsNkJBQTZCLENBQ2pFLG9CQUFvQixFQUNwQixPQUFPLHlDQUF5QyxDQUNqRCxDQUFDO0lBQ0YsQ0FBQyxrQkFBa0IsQ0FBQyx1QkFBdUIsQ0FBQyxFQUFFLDZCQUE2QixDQUN6RSx1QkFBdUIsRUFDdkIsT0FBTyx5Q0FBeUMsQ0FDakQsQ0FBQztJQUNGLENBQUMsa0JBQWtCLENBQUMsaUNBQWlDLENBQUMsRUFBRSw2QkFBNkIsQ0FDbkYsdUJBQXVCLEVBQ3ZCLE9BQU8seUNBQXlDLENBQ2pELENBQUM7SUFDRixDQUFDLGtCQUFrQixDQUFDLGdDQUFnQyxDQUFDLEVBQUUsNkJBQTZCLENBQ2xGLHVCQUF1QixFQUN2QixPQUFPLHlDQUF5QyxDQUNqRCxDQUFDO0lBQ0YsQ0FBQyxrQkFBa0IsQ0FBQyxpQkFBaUIsQ0FBQyxFQUFFLDZCQUE2QixDQUNuRSx1QkFBdUIsRUFDdkIsT0FBTyx5Q0FBeUMsQ0FDakQsQ0FBQztJQUNGLENBQUMsa0JBQWtCLENBQUMsMkJBQTJCLENBQUMsRUFBRSw2QkFBNkIsQ0FDN0UsdUJBQXVCLEVBQ3ZCLE9BQU8seUNBQXlDLENBQ2pELENBQUM7SUFDRixDQUFDLGtCQUFrQixDQUFDLGtCQUFrQixDQUFDLEVBQUUsNkJBQTZCLENBQ3BFLHVCQUF1QixFQUN2QixPQUFPLHlDQUF5QyxDQUNqRCxDQUFDO0lBQ0YsQ0FBQyxrQkFBa0IsQ0FBQyxzQkFBc0IsQ0FBQyxFQUFFLDZCQUE2QixDQUN4RSw0QkFBNEIsRUFDNUIsT0FBTyx5Q0FBeUMsQ0FDakQsQ0FBQztJQUNGLENBQUMsa0JBQWtCLENBQUMsbUNBQW1DLENBQUMsRUFBRSw2QkFBNkIsQ0FDckYsNEJBQTRCLEVBQzVCLE9BQU8seUNBQXlDLENBQ2pELENBQUM7SUFDRixDQUFDLGtCQUFrQixDQUFDLHlCQUF5QixDQUFDLEVBQUUsNkJBQTZCLENBQzNFLDRCQUE0QixFQUM1QixPQUFPLHlDQUF5QyxDQUNqRCxDQUFDO0lBQ0YsQ0FBQyxrQkFBa0IsQ0FBQyx1QkFBdUIsQ0FBQyxFQUFFLDZCQUE2QixDQUN6RSw0QkFBNEIsRUFDNUIsT0FBTyx5Q0FBeUMsQ0FDakQsQ0FBQztJQUNGLENBQUMsa0JBQWtCLENBQUMsV0FBVyxDQUFDLEVBQUUsNkJBQTZCLENBQUMsc0JBQXNCLENBQUMsQ0FBQztJQUN4RixDQUFDLGtCQUFrQixDQUFDLFdBQVcsQ0FBQyxFQUFFLDZCQUE2QixDQUFDLGtCQUFrQixFQUFFLE9BQU8sc0JBQXNCLENBQUMsQ0FBQztJQUNuSCxDQUFDLGtCQUFrQixDQUFDLFdBQVcsQ0FBQyxFQUFFLDZCQUE2QixDQUM3RCxrQkFBa0IsRUFDbEIsT0FBTyw2QkFBNkIsQ0FDckMsQ0FBQztDQUNILENBQUM7QUFFRixNQUFNLE1BQU0sdUJBQXVCLENBQUMsQ0FBQyxTQUFTLGtCQUFrQixJQUFJO0lBQUUsSUFBSSxFQUFFLENBQUMsQ0FBQztJQUFDLE1BQU0sRUFBRSxvQkFBb0IsQ0FBQyxDQUFDLENBQUMsQ0FBQTtDQUFFLENBQUM7QUFFakgsZUFBTyxNQUFNLFlBQVksYUFBYSxDQUFDO0FBRXZDLE1BQU0sTUFBTSxRQUFRLEdBQUcsTUFBTSxHQUFHLENBQUMsQ0FBQyxNQUFNLENBQUMsZUFBZSxDQUFDLENBQUM7QUFDMUQsZUFBTyxNQUFNLFFBQVEsRUFBRSxNQUFNLENBQUMsUUFBUSxDQUFvRCxDQUFDO0FBRTNGLE1BQU0sTUFBTSxZQUFZLEdBQUcsQ0FBQyxDQUFDLEtBQUssQ0FBQyxPQUFPLFlBQVksQ0FBQyxDQUFDO0FBRXhELEtBQUssZUFBZSxHQUFHO0lBQ3JCLEVBQUUsRUFBRSxZQUFZLENBQUM7SUFDakIsSUFBSSxFQUFFLGtCQUFrQixDQUFDO0lBQ3pCLFdBQVcsRUFBRSxXQUFXLENBQUM7SUFDekIsU0FBUyxFQUFFLFFBQVEsQ0FBQztDQUNyQixDQUFDO0FBRUYsZUFBTyxNQUFNLFVBQVUsRUFBRSxDQUFDLENBQUMsT0FBTyxDQUFDLGVBQWUsRUFBRSxHQUFHLENBS3JELENBQUM7QUFFSCxlQUFPLE1BQU0sZ0JBQWdCLG9GQUU1QixDQUFDO0FBRUYsZUFBTyxNQUFNLHdCQUF3Qiw2QkFPcEMsQ0FBQztBQUVGLE1BQU0sTUFBTSxVQUFVLEdBQUcsQ0FBQyxDQUFDLEtBQUssQ0FBQyxPQUFPLFVBQVUsQ0FBQyxDQUFDO0FBRXBELHdCQUFnQix3QkFBd0IsQ0FDdEMsSUFBSSxFQUFFLGtCQUFrQixFQUN4QixNQUFNLEVBQUUsZ0JBQWdCLENBQUMsUUFBUSxDQUFDLEdBQ2pDLGdCQUFnQixDQUVsQjtBQUVELGVBQU8sTUFBTSx5QkFBeUI7OztpQkFHcEMsQ0FBQztBQUNILE1BQU0sTUFBTSx5QkFBeUIsR0FBRyxDQUFDLENBQUMsS0FBSyxDQUFDLE9BQU8seUJBQXlCLENBQUMsQ0FBQztBQUVsRixlQUFPLE1BQU0sd0JBQXdCOzs7aUJBR25DLENBQUM7QUFDSCxNQUFNLE1BQU0sd0JBQXdCLEdBQUcsQ0FBQyxDQUFDLEtBQUssQ0FBQyxPQUFPLHdCQUF3QixDQUFDLENBQUM7QUFFaEYsZUFBTyxNQUFNLHVCQUF1Qjs7Ozs7OzZCQUdsQyxDQUFDO0FBQ0gsTUFBTSxNQUFNLHVCQUF1QixHQUFHLENBQUMsQ0FBQyxLQUFLLENBQUMsT0FBTyx1QkFBdUIsQ0FBQyxDQUFDO0FBRTlFLGVBQU8sTUFBTSxnQkFBZ0I7Ozs7Ozs7Ozs7Ozs2QkFNM0IsQ0FBQztBQUNILE1BQU0sTUFBTSxnQkFBZ0IsR0FBRyxDQUFDLENBQUMsS0FBSyxDQUFDLE9BQU8sZ0JBQWdCLENBQUMsQ0FBQyJ9