@aztec-labs/stdlib 6.0.0-nightly.20260829

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

@@ -0,0 +1,1490 @@
+import { AVM_V2_PROOF_LENGTH_IN_FIELDS, NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, RECURSIVE_PROOF_LENGTH } from '@aztec-labs/constants';
+import { EpochNumber } from '@aztec-labs/foundation/branded-types';
+import type { ZodFor } from '@aztec-labs/foundation/schemas';
+import { z } from 'zod';
+import { AvmCircuitInputs } from '../avm/avm.js';
+import { InboxParityPrivateInputs } from '../parity/inbox_parity_private_inputs.js';
+import { ParityPublicInputs } from '../parity/parity_public_inputs.js';
+import { ProvingRequestType } from '../proofs/proving_request_type.js';
+import { RecursiveProof } from '../proofs/recursive_proof.js';
+import { BlockMergeRollupPrivateInputs } from '../rollup/block_merge_rollup_private_inputs.js';
+import { BlockRollupPublicInputs } from '../rollup/block_rollup_public_inputs.js';
+import { BlockRootNoTxsRollupPrivateInputs, BlockRootRollupPrivateInputs, 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>;
+    verificationKey: VerificationKeyData;
+};
+export declare function makeProofAndVerificationKey<N extends number>(proof: RecursiveProof<N>, verificationKey: VerificationKeyData): ProofAndVerificationKey<N>;
+export type PublicInputsAndRecursiveProof<T, N extends number = typeof NESTED_RECURSIVE_PROOF_LENGTH> = {
+    inputs: T;
+    proof: RecursiveProof<N>;
+    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 const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.PUBLIC_VM>;
+    inputs: z.ZodPipe<z.ZodObject<{
+        hints: z.ZodPipe<z.ZodObject<{
+            globalVariables: z.ZodPipe<z.ZodObject<{
+                chainId: ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+                version: ZodFor<import("@aztec-labs/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-labs/foundation/branded-types").BlockNumber, number>>;
+                slotNumber: ZodFor<import("@aztec-labs/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-labs/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-labs/foundation/schemas").Fr;
+                version: import("@aztec-labs/foundation/schemas").Fr;
+                blockNumber: import("@aztec-labs/foundation/branded-types").BlockNumber;
+                slotNumber: import("@aztec-labs/foundation/branded-types").SlotNumber;
+                timestamp: bigint;
+                coinbase: import("@aztec-labs/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-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../logs/contract_class_log.js").ContractClassLogFields, {
+                            fields: import("@aztec-labs/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-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>>;
+                        emittedLength: z.ZodNumber;
+                    }, z.core.$strict>, z.ZodTransform<import("../logs/private_log.js").PrivateLog, {
+                        fields: import("@aztec-labs/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-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../logs/contract_class_log.js").ContractClassLogFields, {
+                            fields: import("@aztec-labs/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-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>>;
+                        emittedLength: z.ZodNumber;
+                    }, z.core.$strict>, z.ZodTransform<import("../logs/private_log.js").PrivateLog, {
+                        fields: import("@aztec-labs/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-labs/foundation/schemas").Fr>>;
+                    nullifiers: z.ZodArray<ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;
+                    l2ToL1Messages: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                        message: z.ZodPipe<z.ZodObject<{
+                            recipient: z.ZodType<import("@aztec-labs/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/eth-address").EthAddress, string>>;
+                            content: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                            recipient: import("@aztec-labs/foundation/eth-address").EthAddress;
+                            content: import("@aztec-labs/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-labs/foundation/schemas").Fr>>;
+                    nullifiers: z.ZodArray<ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;
+                    l2ToL1Messages: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                        message: z.ZodPipe<z.ZodObject<{
+                            recipient: z.ZodType<import("@aztec-labs/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/eth-address").EthAddress, string>>;
+                            content: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                            recipient: import("@aztec-labs/foundation/eth-address").EthAddress;
+                            content: import("@aztec-labs/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-labs/foundation/schemas").Fr[];
+                    nullifiers: import("@aztec-labs/foundation/schemas").Fr[];
+                    l2ToL1Messages: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
+                };
+                revertibleAccumulatedData: {
+                    noteHashes: import("@aztec-labs/foundation/schemas").Fr[];
+                    nullifiers: import("@aztec-labs/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>;
+                salt: ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+                deployer: ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                currentContractClassId: ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+                originalContractClassId: ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+                initializationHash: ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+                immutablesHash: ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+                publicKeys: z.ZodPipe<z.ZodObject<{
+                    npkMHash: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                    ivpkM: z.ZodType<import("@aztec-labs/foundation/schemas").Point, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Point, string>>;
+                    ovpkMHash: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                    tpkMHash: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                    mspkMHash: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                    fbpkMHash: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("../keys/public_keys.js").PublicKeys, {
+                    npkMHash: import("@aztec-labs/foundation/schemas").Fr;
+                    ivpkM: import("@aztec-labs/foundation/schemas").Point;
+                    ovpkMHash: import("@aztec-labs/foundation/schemas").Fr;
+                    tpkMHash: import("@aztec-labs/foundation/schemas").Fr;
+                    mspkMHash: import("@aztec-labs/foundation/schemas").Fr;
+                    fbpkMHash: import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                deployer: import("../aztec-address/index.js").AztecAddress;
+                currentContractClassId: import("@aztec-labs/foundation/schemas").Fr;
+                originalContractClassId: import("@aztec-labs/foundation/schemas").Fr;
+                initializationHash: import("@aztec-labs/foundation/schemas").Fr;
+                immutablesHash: import("@aztec-labs/foundation/schemas").Fr;
+                publicKeys: import("../keys/public_keys.js").PublicKeys;
+            }>>>;
+            contractClasses: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodNumber;
+                classId: ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+                artifactHash: ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+                privateFunctionsRoot: ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+                packedBytecode: ZodFor<Buffer<ArrayBufferLike>>;
+            }, z.core.$strip>, z.ZodTransform<import("../avm/avm.js").AvmContractClassHint, {
+                hintKey: number;
+                classId: import("@aztec-labs/foundation/schemas").Fr;
+                artifactHash: import("@aztec-labs/foundation/schemas").Fr;
+                privateFunctionsRoot: import("@aztec-labs/foundation/schemas").Fr;
+                packedBytecode: Buffer<ArrayBufferLike>;
+            }>>>;
+            bytecodeCommitments: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodNumber;
+                classId: ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+                commitment: ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+            }, z.core.$strip>, z.ZodTransform<import("../avm/avm.js").AvmBytecodeCommitmentHint, {
+                hintKey: number;
+                classId: import("@aztec-labs/foundation/schemas").Fr;
+                commitment: import("@aztec-labs/foundation/schemas").Fr;
+            }>>>;
+            debugFunctionNames: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                address: ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                selector: ZodFor<import("@aztec-labs/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-labs/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;
+            }, {
+                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;
+            }, {
+                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-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                noteHashTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                nullifierTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                publicDataTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/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-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/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-labs/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-labs/foundation/schemas").Fr[];
+            }>>>;
+            getPreviousValueIndexHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                treeId: z.ZodNumber;
+                value: ZodFor<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                index: bigint;
+                alreadyPresent: boolean;
+            }>>>;
+            getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/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-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                        nullifier: import("@aztec-labs/foundation/schemas").Fr;
+                    }>>;
+                    nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                    nextIndex: bigint;
+                }>> | z.ZodPipe<z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                        value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                        slot: import("@aztec-labs/foundation/schemas").Fr;
+                        value: import("@aztec-labs/foundation/schemas").Fr;
+                    }>>;
+                    nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                    nextIndex: bigint;
+                }>>;
+            }, 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;
+            }, {
+                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-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/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-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                        nullifier: import("@aztec-labs/foundation/schemas").Fr;
+                    }>>;
+                    nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                    nextIndex: bigint;
+                }>> | z.ZodPipe<z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                        value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                        slot: import("@aztec-labs/foundation/schemas").Fr;
+                        value: import("@aztec-labs/foundation/schemas").Fr;
+                    }>>;
+                    nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                    nextIndex: bigint;
+                }>>;
+            }, 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;
+            }, {
+                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-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/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-labs/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-labs/foundation/schemas").Fr;
+            }>>>;
+            sequentialInsertHintsPublicDataTree: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                stateAfter: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                treeId: z.ZodNumber;
+                leaf: z.ZodPipe<z.ZodObject<{
+                    nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                    nullifier: import("@aztec-labs/foundation/schemas").Fr;
+                }>> | z.ZodPipe<z.ZodObject<{
+                    slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                    value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                    slot: import("@aztec-labs/foundation/schemas").Fr;
+                    value: import("@aztec-labs/foundation/schemas").Fr;
+                }>>;
+                lowLeavesWitnessData: z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                            nullifier: import("@aztec-labs/foundation/schemas").Fr;
+                        }>>;
+                        nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                        nextIndex: bigint;
+                    }>> | z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                            value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                            slot: import("@aztec-labs/foundation/schemas").Fr;
+                            value: import("@aztec-labs/foundation/schemas").Fr;
+                        }>>;
+                        nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/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-labs/foundation/schemas").Fr>>;
+                }, z.core.$strip>;
+                insertionWitnessData: z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                            nullifier: import("@aztec-labs/foundation/schemas").Fr;
+                        }>>;
+                        nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                        nextIndex: bigint;
+                    }>> | z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                            value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                            slot: import("@aztec-labs/foundation/schemas").Fr;
+                            value: import("@aztec-labs/foundation/schemas").Fr;
+                        }>>;
+                        nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/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-labs/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-labs/foundation/schemas").Fr[];
+                };
+                readonly insertionWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec-labs/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-labs/foundation/schemas").Fr[];
+                };
+                insertionWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec-labs/foundation/schemas").Fr[];
+                };
+            }>>>;
+            sequentialInsertHintsNullifierTree: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                stateAfter: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                treeId: z.ZodNumber;
+                leaf: z.ZodPipe<z.ZodObject<{
+                    nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                    nullifier: import("@aztec-labs/foundation/schemas").Fr;
+                }>> | z.ZodPipe<z.ZodObject<{
+                    slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                    value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                    slot: import("@aztec-labs/foundation/schemas").Fr;
+                    value: import("@aztec-labs/foundation/schemas").Fr;
+                }>>;
+                lowLeavesWitnessData: z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                            nullifier: import("@aztec-labs/foundation/schemas").Fr;
+                        }>>;
+                        nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                        nextIndex: bigint;
+                    }>> | z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                            value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                            slot: import("@aztec-labs/foundation/schemas").Fr;
+                            value: import("@aztec-labs/foundation/schemas").Fr;
+                        }>>;
+                        nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/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-labs/foundation/schemas").Fr>>;
+                }, z.core.$strip>;
+                insertionWitnessData: z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                            nullifier: import("@aztec-labs/foundation/schemas").Fr;
+                        }>>;
+                        nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                        nextIndex: bigint;
+                    }>> | z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                            value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                            slot: import("@aztec-labs/foundation/schemas").Fr;
+                            value: import("@aztec-labs/foundation/schemas").Fr;
+                        }>>;
+                        nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/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-labs/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-labs/foundation/schemas").Fr[];
+                };
+                readonly insertionWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec-labs/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-labs/foundation/schemas").Fr[];
+                };
+                insertionWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec-labs/foundation/schemas").Fr[];
+                };
+            }>>>;
+            appendLeavesHints: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                stateAfter: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                treeId: z.ZodNumber;
+                leaves: z.ZodArray<ZodFor<import("@aztec-labs/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-labs/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;
+            }, {
+                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;
+            }, {
+                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-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                        nextAvailableLeafIndex: number;
+                    }>>;
+                    noteHashTree: z.ZodPipe<z.ZodObject<{
+                        root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                        nextAvailableLeafIndex: number;
+                    }>>;
+                    nullifierTree: z.ZodPipe<z.ZodObject<{
+                        root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                        nextAvailableLeafIndex: number;
+                    }>>;
+                    publicDataTree: z.ZodPipe<z.ZodObject<{
+                        root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/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-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                        nextAvailableLeafIndex: number;
+                    }>>;
+                    noteHashTree: z.ZodPipe<z.ZodObject<{
+                        root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                        nextAvailableLeafIndex: number;
+                    }>>;
+                    nullifierTree: z.ZodPipe<z.ZodObject<{
+                        root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                        nextAvailableLeafIndex: number;
+                    }>>;
+                    publicDataTree: z.ZodPipe<z.ZodObject<{
+                        root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/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[];
+            bytecodeCommitments: import("../avm/avm.js").AvmBytecodeCommitmentHint[];
+            debugFunctionNames: import("../avm/avm.js").AvmDebugFunctionNameHint[];
+            contractDbCreateCheckpointHints: {
+                readonly actionCounter: number;
+                readonly oldCheckpointId: number;
+                readonly newCheckpointId: number;
+            }[];
+            contractDbCommitCheckpointHints: {
+                readonly actionCounter: number;
+                readonly oldCheckpointId: number;
+                readonly newCheckpointId: number;
+            }[];
+            contractDbRevertCheckpointHints: {
+                readonly actionCounter: number;
+                readonly oldCheckpointId: number;
+                readonly newCheckpointId: 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;
+            }[];
+            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;
+            }[];
+            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-labs/foundation/schemas").Fr[];
+                };
+                readonly insertionWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec-labs/foundation/schemas").Fr[];
+                };
+            }[];
+            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-labs/foundation/schemas").Fr[];
+                };
+                readonly insertionWitnessData: {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+                    index: bigint;
+                    path: import("@aztec-labs/foundation/schemas").Fr[];
+                };
+            }[];
+            appendLeavesHints: import("../avm/avm.js").AvmAppendLeavesHint[];
+            createCheckpointHints: {
+                readonly actionCounter: number;
+                readonly oldCheckpointId: number;
+                readonly newCheckpointId: number;
+            }[];
+            commitCheckpointHints: {
+                readonly actionCounter: number;
+                readonly oldCheckpointId: number;
+                readonly newCheckpointId: number;
+            }[];
+            revertCheckpointHints: import("../avm/avm.js").AvmRevertCheckpointHint[];
+        }>>;
+        publicInputs: z.ZodPipe<z.ZodObject<{
+            globalVariables: z.ZodPipe<z.ZodObject<{
+                chainId: ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+                version: ZodFor<import("@aztec-labs/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-labs/foundation/branded-types").BlockNumber, number>>;
+                slotNumber: ZodFor<import("@aztec-labs/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-labs/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-labs/foundation/schemas").Fr;
+                version: import("@aztec-labs/foundation/schemas").Fr;
+                blockNumber: import("@aztec-labs/foundation/branded-types").BlockNumber;
+                slotNumber: import("@aztec-labs/foundation/branded-types").SlotNumber;
+                timestamp: bigint;
+                coinbase: import("@aztec-labs/foundation/eth-address").EthAddress;
+                feeRecipient: import("../aztec-address/index.js").AztecAddress;
+                gasFees: import("../gas/gas_fees.js").GasFees;
+            }>>;
+            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-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                noteHashTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                nullifierTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                publicDataTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/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;
+            }>>;
+            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;
+            }>>;
+            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;
+            }>>;
+            feePayer: ZodFor<import("../aztec-address/index.js").AztecAddress>;
+            proverId: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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>;
+                isStaticCall: z.ZodBoolean;
+                calldataHash: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+            }, z.core.$strip>, z.ZodTransform<import("../kernel/public_call_request.js").PublicCallRequest, {
+                msgSender: import("../aztec-address/index.js").AztecAddress;
+                contractAddress: import("../aztec-address/index.js").AztecAddress;
+                isStaticCall: boolean;
+                calldataHash: import("@aztec-labs/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>;
+                isStaticCall: z.ZodBoolean;
+                calldataHash: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+            }, z.core.$strip>, z.ZodTransform<import("../kernel/public_call_request.js").PublicCallRequest, {
+                msgSender: import("../aztec-address/index.js").AztecAddress;
+                contractAddress: import("../aztec-address/index.js").AztecAddress;
+                isStaticCall: boolean;
+                calldataHash: import("@aztec-labs/foundation/schemas").Fr;
+            }>>>;
+            publicTeardownCallRequest: z.ZodPipe<z.ZodObject<{
+                msgSender: ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                isStaticCall: z.ZodBoolean;
+                calldataHash: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+            }, z.core.$strip>, z.ZodTransform<import("../kernel/public_call_request.js").PublicCallRequest, {
+                msgSender: import("../aztec-address/index.js").AztecAddress;
+                contractAddress: import("../aztec-address/index.js").AztecAddress;
+                isStaticCall: boolean;
+                calldataHash: import("@aztec-labs/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;
+            }>>;
+            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;
+            }>>;
+            previousNonRevertibleAccumulatedData: z.ZodPipe<z.ZodObject<{
+                noteHashes: z.ZodArray<z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>>;
+                nullifiers: z.ZodArray<z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>>;
+                l2ToL1Msgs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    message: z.ZodPipe<z.ZodObject<{
+                        recipient: z.ZodType<import("@aztec-labs/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/eth-address").EthAddress, string>>;
+                        content: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                        recipient: import("@aztec-labs/foundation/eth-address").EthAddress;
+                        content: import("@aztec-labs/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>, z.ZodTransform<import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData, {
+                noteHashes: import("@aztec-labs/foundation/schemas").Fr[];
+                nullifiers: import("@aztec-labs/foundation/schemas").Fr[];
+                l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
+            }>>;
+            previousRevertibleAccumulatedData: z.ZodPipe<z.ZodObject<{
+                noteHashes: z.ZodArray<z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>>;
+                nullifiers: z.ZodArray<z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>>;
+                l2ToL1Msgs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    message: z.ZodPipe<z.ZodObject<{
+                        recipient: z.ZodType<import("@aztec-labs/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/eth-address").EthAddress, string>>;
+                        content: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                        recipient: import("@aztec-labs/foundation/eth-address").EthAddress;
+                        content: import("@aztec-labs/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>, z.ZodTransform<import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData, {
+                noteHashes: import("@aztec-labs/foundation/schemas").Fr[];
+                nullifiers: import("@aztec-labs/foundation/schemas").Fr[];
+                l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
+            }>>;
+            endTreeSnapshots: z.ZodPipe<z.ZodObject<{
+                l1ToL2MessageTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                noteHashTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                nullifierTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                publicDataTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/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;
+            }>>;
+            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;
+            }>>;
+            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-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>>;
+                nullifiers: z.ZodArray<z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>>;
+                l2ToL1Msgs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    message: z.ZodPipe<z.ZodObject<{
+                        recipient: z.ZodType<import("@aztec-labs/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/eth-address").EthAddress, string>>;
+                        content: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                        recipient: import("@aztec-labs/foundation/eth-address").EthAddress;
+                        content: import("@aztec-labs/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;
+                }>>>;
+                publicLogs: ZodFor<import("../logs/public_log.js").FlatPublicLogs>;
+                publicDataWrites: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                    leafSlot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                    value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("../avm/public_data_write.js").PublicDataWrite, {
+                    leafSlot: import("@aztec-labs/foundation/schemas").Fr;
+                    value: import("@aztec-labs/foundation/schemas").Fr;
+                }>>>;
+            }, z.core.$strip>, z.ZodTransform<import("../avm/avm_accumulated_data.js").AvmAccumulatedData, {
+                noteHashes: import("@aztec-labs/foundation/schemas").Fr[];
+                nullifiers: import("@aztec-labs/foundation/schemas").Fr[];
+                l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
+                publicLogs: import("../logs/public_log.js").FlatPublicLogs;
+                publicDataWrites: import("../avm/public_data_write.js").PublicDataWrite[];
+            }>>;
+            transactionFee: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+            reverted: z.ZodBoolean;
+        }, 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-labs/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;
+            previousNonRevertibleAccumulatedDataArrayLengths: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths;
+            previousRevertibleAccumulatedDataArrayLengths: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths;
+            previousNonRevertibleAccumulatedData: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData;
+            previousRevertibleAccumulatedData: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData;
+            endTreeSnapshots: import("../tx/tree_snapshots.js").TreeSnapshots;
+            endGasUsed: import("../gas/gas.js").Gas;
+            accumulatedDataArrayLengths: import("../avm/avm_accumulated_data.js").AvmAccumulatedDataArrayLengths;
+            accumulatedData: import("../avm/avm_accumulated_data.js").AvmAccumulatedData;
+            transactionFee: import("@aztec-labs/foundation/schemas").Fr;
+            reverted: boolean;
+        }>>;
+    }, z.core.$strip>, z.ZodTransform<AvmCircuitInputs, {
+        hints: import("../avm/avm.js").AvmExecutionHints;
+        publicInputs: import("../avm/avm_circuit_public_inputs.js").AvmCircuitPublicInputs;
+    }>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.INBOX_PARITY>;
+    inputs: z.ZodType<InboxParityPrivateInputs, string, z.core.$ZodTypeInternals<InboxParityPrivateInputs, 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_ROLLUP>;
+    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_ROOT_NO_TXS_ROLLUP>;
+    inputs: z.ZodType<BlockRootNoTxsRollupPrivateInputs, string, z.core.$ZodTypeInternals<BlockRootNoTxsRollupPrivateInputs, string>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.BLOCK_MERGE_ROLLUP>;
+    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<RootRollupPrivateInputs, string, z.core.$ZodTypeInternals<RootRollupPrivateInputs, string>>;
+}, z.core.$strip>], "type">;
+export declare function getProvingJobInputClassFor(type: ProvingRequestType): typeof AvmCircuitInputs | typeof InboxParityPrivateInputs | typeof BlockMergeRollupPrivateInputs | typeof BlockRootNoTxsRollupPrivateInputs | 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.PUBLIC_CHONK_VERIFIER]: PublicChonkVerifierPrivateInputs;
+    [ProvingRequestType.PRIVATE_TX_BASE_ROLLUP]: PrivateTxBaseRollupPrivateInputs;
+    [ProvingRequestType.PUBLIC_TX_BASE_ROLLUP]: PublicTxBaseRollupPrivateInputs;
+    [ProvingRequestType.TX_MERGE_ROLLUP]: TxMergeRollupPrivateInputs;
+    [ProvingRequestType.BLOCK_ROOT_ROLLUP]: BlockRootRollupPrivateInputs;
+    [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_ROLLUP]: BlockRootSingleTxRollupPrivateInputs;
+    [ProvingRequestType.BLOCK_ROOT_NO_TXS_ROLLUP]: BlockRootNoTxsRollupPrivateInputs;
+    [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.INBOX_PARITY]: InboxParityPrivateInputs;
+};
+export declare const ProvingJobResult: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.PUBLIC_VM>;
+    result: z.ZodPipe<ZodFor<Buffer<ArrayBufferLike>>, z.ZodTransform<RecursiveProof<14532>, 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_ROLLUP>;
+    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_ROOT_NO_TXS_ROLLUP>;
+    result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 480>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.BLOCK_MERGE_ROLLUP>;
+    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, 410>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.INBOX_PARITY>;
+    result: ZodFor<PublicInputsAndRecursiveProof<ParityPublicInputs, 410>>;
+}, z.core.$strip>], "type">;
+export type ProvingJobResult = z.infer<typeof ProvingJobResult>;
+export type ProvingJobResultsMap = {
+    [ProvingRequestType.PUBLIC_VM]: RecursiveProof<typeof AVM_V2_PROOF_LENGTH_IN_FIELDS>;
+    [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_NO_TXS_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.INBOX_PARITY]: PublicInputsAndRecursiveProof<ParityPublicInputs, typeof RECURSIVE_PROOF_LENGTH>;
+};
+export type ProvingRequestResultFor<T extends ProvingRequestType> = {
+    type: T;
+    result: ProvingJobResultsMap[T];
+};
+export declare const ProvingJobId: z.ZodString;
+export type ProofUri = string & z.$brand<'ProvingJobUri'>;
+export declare const ProofUri: ZodFor<ProofUri>;
+export type ProvingJobId = z.infer<typeof ProvingJobId>;
+type ProvingJobShape = {
+    id: ProvingJobId;
+    type: ProvingRequestType;
+    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: 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;
+}, z.core.$strip>;
+export type ProvingJobRejectedResult = z.infer<typeof ProvingJobRejectedResult>;
+/**
+ * The result of a job that was cancelled by its producer. Unlike a fulfilled or rejected result it
+ * is not truly terminal: re-enqueuing the same job id revives it, so an abort never permanently
+ * blocks a proof from being produced.
+ */
+export declare const ProvingJobAbortedResult: z.ZodObject<{
+    status: z.ZodLiteral<"aborted">;
+}, z.core.$strip>;
+export type ProvingJobAbortedResult = z.infer<typeof ProvingJobAbortedResult>;
+export declare const ProvingJobSettledResult: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    status: z.ZodLiteral<"fulfilled">;
+    value: ZodFor<ProofUri>;
+}, z.core.$strip>, z.ZodObject<{
+    status: z.ZodLiteral<"rejected">;
+    reason: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    status: z.ZodLiteral<"aborted">;
+}, z.core.$strip>], "status">;
+export type ProvingJobSettledResult = z.infer<typeof ProvingJobSettledResult>;
+export declare const ProvingJobStatus: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    status: z.ZodLiteral<"in-queue">;
+}, z.core.$strip>, z.ZodObject<{
+    status: z.ZodLiteral<"in-progress">;
+}, z.core.$strip>, z.ZodObject<{
+    status: z.ZodLiteral<"not-found">;
+}, z.core.$strip>, z.ZodObject<{
+    status: z.ZodLiteral<"fulfilled">;
+    value: ZodFor<ProofUri>;
+}, z.core.$strip>, z.ZodObject<{
+    status: z.ZodLiteral<"rejected">;
+    reason: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    status: z.ZodLiteral<"aborted">;
+}, z.core.$strip>], "status">;
+export type ProvingJobStatus = z.infer<typeof ProvingJobStatus>;
+export {};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmluZy1qb2IuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9pbnRlcmZhY2VzL3Byb3Zpbmctam9iLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFDTCw2QkFBNkIsRUFDN0IsNkJBQTZCLEVBQzdCLHlDQUF5QyxFQUN6QyxzQkFBc0IsRUFDdkIsTUFBTSx1QkFBdUIsQ0FBQztBQUMvQixPQUFPLEVBQUUsV0FBVyxFQUFxQixNQUFNLHNDQUFzQyxDQUFDO0FBQ3RGLE9BQU8sS0FBSyxFQUFFLE1BQU0sRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQzdELE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxFQUFFLGdCQUFnQixFQUFFLE1BQU0sZUFBZSxDQUFDO0FBRWpELE9BQU8sRUFBRSx3QkFBd0IsRUFBRSxNQUFNLDBDQUEwQyxDQUFDO0FBQ3BGLE9BQU8sRUFBRSxrQkFBa0IsRUFBRSxNQUFNLG1DQUFtQyxDQUFDO0FBQ3ZFLE9BQU8sRUFBRSxrQkFBa0IsRUFBRSxNQUFNLG1DQUFtQyxDQUFDO0FBQ3ZFLE9BQU8sRUFBRSxjQUFjLEVBQUUsTUFBTSw4QkFBOEIsQ0FBQztBQUM5RCxPQUFPLEVBQUUsNkJBQTZCLEVBQUUsTUFBTSxnREFBZ0QsQ0FBQztBQUMvRixPQUFPLEVBQUUsdUJBQXVCLEVBQUUsTUFBTSx5Q0FBeUMsQ0FBQztBQUNsRixPQUFPLEVBQ0wsaUNBQWlDLEVBQ2pDLDRCQUE0QixFQUM1QixvQ0FBb0MsRUFDckMsTUFBTSwrQ0FBK0MsQ0FBQztBQUN2RCxPQUFPLEVBQUUsa0NBQWtDLEVBQUUsTUFBTSxxREFBcUQsQ0FBQztBQUN6RyxPQUFPLEVBQUUsNEJBQTRCLEVBQUUsTUFBTSw4Q0FBOEMsQ0FBQztBQUM1RixPQUFPLEVBQ0wsb0NBQW9DLEVBQ3BDLGlDQUFpQyxFQUNqQyw0Q0FBNEMsRUFDN0MsTUFBTSxvREFBb0QsQ0FBQztBQUM1RCxPQUFPLEVBQUUsZ0NBQWdDLEVBQUUsTUFBTSxvREFBb0QsQ0FBQztBQUN0RyxPQUFPLEVBQUUsZ0NBQWdDLEVBQUUsTUFBTSxtREFBbUQsQ0FBQztBQUNyRyxPQUFPLEVBQUUsK0JBQStCLEVBQUUsTUFBTSxrREFBa0QsQ0FBQztBQUNuRyxPQUFPLEVBQUUsK0JBQStCLEVBQUUsTUFBTSxtREFBbUQsQ0FBQztBQUNwRyxPQUFPLEVBQUUsdUJBQXVCLEVBQUUsTUFBTSx5Q0FBeUMsQ0FBQztBQUNsRixPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx3Q0FBd0MsQ0FBQztBQUNoRixPQUFPLEVBQUUsMEJBQTBCLEVBQUUsTUFBTSw2Q0FBNkMsQ0FBQztBQUN6RixPQUFPLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSxzQ0FBc0MsQ0FBQztBQUM1RSxPQUFPLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSw0QkFBNEIsQ0FBQztBQUVqRSxNQUFNLE1BQU0sdUJBQXVCLENBQUMsQ0FBQyxTQUFTLE1BQU0sSUFBSTtJQUN0RCxLQUFLLEVBQUUsY0FBYyxDQUFDLENBQUMsQ0FBQyxDQUFDO0lBQ3pCLGVBQWUsRUFBRSxtQkFBbUIsQ0FBQztDQUN0QyxDQUFDO0FBRUYsd0JBQWdCLDJCQUEyQixDQUFDLENBQUMsU0FBUyxNQUFNLEVBQzFELEtBQUssRUFBRSxjQUFjLENBQUMsQ0FBQyxDQUFDLEVBQ3hCLGVBQWUsRUFBRSxtQkFBbUIsR0FDbkMsdUJBQXVCLENBQUMsQ0FBQyxDQUFDLENBRTVCO0FBRUQsTUFBTSxNQUFNLDZCQUE2QixDQUFDLENBQUMsRUFBRSxDQUFDLFNBQVMsTUFBTSxHQUFHLE9BQU8sNkJBQTZCLElBQUk7SUFDdEcsTUFBTSxFQUFFLENBQUMsQ0FBQztJQUNWLEtBQUssRUFBRSxjQUFjLENBQUMsQ0FBQyxDQUFDLENBQUM7SUFDekIsZUFBZSxFQUFFLG1CQUFtQixDQUFDO0NBQ3RDLENBQUM7QUFhRix3QkFBZ0IsaUNBQWlDLENBQUMsQ0FBQyxFQUFFLENBQUMsU0FBUyxNQUFNLEdBQUcsT0FBTyw2QkFBNkIsRUFDMUcsTUFBTSxFQUFFLENBQUMsRUFDVCxLQUFLLEVBQUUsY0FBYyxDQUFDLENBQUMsQ0FBQyxFQUN4QixlQUFlLEVBQUUsbUJBQW1CLEdBQ25DLDZCQUE2QixDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FFckM7QUFFRCxlQUFPLE1BQU0sZ0JBQWdCOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7MkJBMkMzQixDQUFDO0FBRUgsd0JBQWdCLDBCQUEwQixDQUFDLElBQUksRUFBRSxrQkFBa0IsK2pCQXFDbEU7QUFFRCxNQUFNLE1BQU0sZ0JBQWdCLEdBQUcsQ0FBQyxDQUFDLEtBQUssQ0FBQyxPQUFPLGdCQUFnQixDQUFDLENBQUM7QUFFaEUsTUFBTSxNQUFNLG1CQUFtQixHQUFHO0lBQ2hDLENBQUMsa0JBQWtCLENBQUMsU0FBUyxDQUFDLEVBQUUsZ0JBQWdCLENBQUM7SUFDakQsQ0FBQyxrQkFBa0IsQ0FBQyxxQkFBcUIsQ0FBQyxFQUFFLGdDQUFnQyxDQUFDO0lBQzdFLENBQUMsa0JBQWtCLENBQUMsc0JBQXNCLENBQUMsRUFBRSxnQ0FBZ0MsQ0FBQztJQUM5RSxDQUFDLGtCQUFrQixDQUFDLHFCQUFxQixDQUFDLEVBQUUsK0JBQStCLENBQUM7SUFDNUUsQ0FBQyxrQkFBa0IsQ0FBQyxlQUFlLENBQUMsRUFBRSwwQkFBMEIsQ0FBQztJQUNqRSxDQUFDLGtCQUFrQixDQUFDLGlCQUFpQixDQUFDLEVBQUUsNEJBQTRCLENBQUM7SUFDckUsQ0FBQyxrQkFBa0IsQ0FBQywyQkFBMkIsQ0FBQyxFQUFFLG9DQUFvQyxDQUFDO0lBQ3ZGLENBQUMsa0JBQWtCLENBQUMsd0JBQXdCLENBQUMsRUFBRSxpQ0FBaUMsQ0FBQztJQUNqRixDQUFDLGtCQUFrQixDQUFDLGtCQUFrQixDQUFDLEVBQUUsNkJBQTZCLENBQUM7SUFDdkUsQ0FBQyxrQkFBa0IsQ0FBQyxzQkFBc0IsQ0FBQyxFQUFFLGlDQUFpQyxDQUFDO0lBQy9FLENBQUMsa0JBQWtCLENBQUMsbUNBQW1DLENBQUMsRUFBRSw0Q0FBNEMsQ0FBQztJQUN2RyxDQUFDLGtCQUFrQixDQUFDLHlCQUF5QixDQUFDLEVBQUUsb0NBQW9DLENBQUM7SUFDckYsQ0FBQyxrQkFBa0IsQ0FBQyx1QkFBdUIsQ0FBQyxFQUFFLGtDQUFrQyxDQUFDO0lBQ2pGLENBQUMsa0JBQWtCLENBQUMsV0FBVyxDQUFDLEVBQUUsdUJBQXVCLENBQUM7SUFDMUQsQ0FBQyxrQkFBa0IsQ0FBQyxZQUFZLENBQUMsRUFBRSx3QkFBd0IsQ0FBQztDQUM3RCxDQUFDO0FBRUYsZUFBTyxNQUFNLGdCQUFnQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OzJCQWlHM0IsQ0FBQztBQUNILE1BQU0sTUFBTSxnQkFBZ0IsR0FBRyxDQUFDLENBQUMsS0FBSyxDQUFDLE9BQU8sZ0JBQWdCLENBQUMsQ0FBQztBQUNoRSxNQUFNLE1BQU0sb0JBQW9CLEdBQUc7SUFDakMsQ0FBQyxrQkFBa0IsQ0FBQyxTQUFTLENBQUMsRUFBRSxjQUFjLENBQUMsT0FBTyw2QkFBNkIsQ0FBQyxDQUFDO0lBQ3JGLENBQUMsa0JBQWtCLENBQUMscUJBQXFCLENBQUMsRUFBRSw2QkFBNkIsQ0FDdkUsK0JBQStCLEVBQy9CLE9BQU8seUNBQXlDLENBQ2pELENBQUM7SUFDRixDQUFDLGtCQUFrQixDQUFDLHNCQUFzQixDQUFDLEVBQUUsNkJBQTZCLENBQ3hFLG9CQUFvQixFQUNwQixPQUFPLHlDQUF5QyxDQUNqRCxDQUFDO0lBQ0YsQ0FBQyxrQkFBa0IsQ0FBQyxxQkFBcUIsQ0FBQyxFQUFFLDZCQUE2QixDQUN2RSxvQkFBb0IsRUFDcEIsT0FBTyx5Q0FBeUMsQ0FDakQsQ0FBQztJQUNGLENBQUMsa0JBQWtCLENBQUMsZUFBZSxDQUFDLEVBQUUsNkJBQTZCLENBQ2pFLG9CQUFvQixFQUNwQixPQUFPLHlDQUF5QyxDQUNqRCxDQUFDO0lBQ0YsQ0FBQyxrQkFBa0IsQ0FBQyx3QkFBd0IsQ0FBQyxFQUFFLDZCQUE2QixDQUMxRSx1QkFBdUIsRUFDdkIsT0FBTyx5Q0FBeUMsQ0FDakQsQ0FBQztJQUNGLENBQUMsa0JBQWtCLENBQUMsaUJBQWlCLENBQUMsRUFBRSw2QkFBNkIsQ0FDbkUsdUJBQXVCLEVBQ3ZCLE9BQU8seUNBQXlDLENBQ2pELENBQUM7SUFDRixDQUFDLGtCQUFrQixDQUFDLDJCQUEyQixDQUFDLEVBQUUsNkJBQTZCLENBQzdFLHVCQUF1QixFQUN2QixPQUFPLHlDQUF5QyxDQUNqRCxDQUFDO0lBQ0YsQ0FBQyxrQkFBa0IsQ0FBQyxrQkFBa0IsQ0FBQyxFQUFFLDZCQUE2QixDQUNwRSx1QkFBdUIsRUFDdkIsT0FBTyx5Q0FBeUMsQ0FDakQsQ0FBQztJQUNGLENBQUMsa0JBQWtCLENBQUMsc0JBQXNCLENBQUMsRUFBRSw2QkFBNkIsQ0FDeEUsNEJBQTRCLEVBQzVCLE9BQU8seUNBQXlDLENBQ2pELENBQUM7SUFDRixDQUFDLGtCQUFrQixDQUFDLG1DQUFtQyxDQUFDLEVBQUUsNkJBQTZCLENBQ3JGLDRCQUE0QixFQUM1QixPQUFPLHlDQUF5QyxDQUNqRCxDQUFDO0lBQ0YsQ0FBQyxrQkFBa0IsQ0FBQyx5QkFBeUIsQ0FBQyxFQUFFLDZCQUE2QixDQUMzRSw0QkFBNEIsRUFDNUIsT0FBTyx5Q0FBeUMsQ0FDakQsQ0FBQztJQUNGLENBQUMsa0JBQWtCLENBQUMsdUJBQXVCLENBQUMsRUFBRSw2QkFBNkIsQ0FDekUsNEJBQTRCLEVBQzVCLE9BQU8seUNBQXlDLENBQ2pELENBQUM7SUFDRixDQUFDLGtCQUFrQixDQUFDLFdBQVcsQ0FBQyxFQUFFLDZCQUE2QixDQUFDLHNCQUFzQixDQUFDLENBQUM7SUFDeEYsQ0FBQyxrQkFBa0IsQ0FBQyxZQUFZLENBQUMsRUFBRSw2QkFBNkIsQ0FBQyxrQkFBa0IsRUFBRSxPQUFPLHNCQUFzQixDQUFDLENBQUM7Q0FDckgsQ0FBQztBQUVGLE1BQU0sTUFBTSx1QkFBdUIsQ0FBQyxDQUFDLFNBQVMsa0JBQWtCLElBQUk7SUFBRSxJQUFJLEVBQUUsQ0FBQyxDQUFDO0lBQUMsTUFBTSxFQUFFLG9CQUFvQixDQUFDLENBQUMsQ0FBQyxDQUFBO0NBQUUsQ0FBQztBQUVqSCxlQUFPLE1BQU0sWUFBWSxhQUFhLENBQUM7QUFFdkMsTUFBTSxNQUFNLFFBQVEsR0FBRyxNQUFNLEdBQUcsQ0FBQyxDQUFDLE1BQU0sQ0FBQyxlQUFlLENBQUMsQ0FBQztBQUMxRCxlQUFPLE1BQU0sUUFBUSxFQUFFLE1BQU0sQ0FBQyxRQUFRLENBQW9ELENBQUM7QUFFM0YsTUFBTSxNQUFNLFlBQVksR0FBRyxDQUFDLENBQUMsS0FBSyxDQUFDLE9BQU8sWUFBWSxDQUFDLENBQUM7QUFFeEQsS0FBSyxlQUFlLEdBQUc7SUFDckIsRUFBRSxFQUFFLFlBQVksQ0FBQztJQUNqQixJQUFJLEVBQUUsa0JBQWtCLENBQUM7SUFDekIsV0FBVyxFQUFFLFdBQVcsQ0FBQztJQUN6QixTQUFTLEVBQUUsUUFBUSxDQUFDO0NBQ3JCLENBQUM7QUFFRixlQUFPLE1BQU0sVUFBVSxFQUFFLENBQUMsQ0FBQyxPQUFPLENBQUMsZUFBZSxFQUFFLEdBQUcsQ0FLckQsQ0FBQztBQUVILGVBQU8sTUFBTSxnQkFBZ0Isb0ZBRTVCLENBQUM7QUFFRixlQUFPLE1BQU0sd0JBQXdCLDZCQU9wQyxDQUFDO0FBRUYsTUFBTSxNQUFNLFVBQVUsR0FBRyxDQUFDLENBQUMsS0FBSyxDQUFDLE9BQU8sVUFBVSxDQUFDLENBQUM7QUFFcEQsd0JBQWdCLHdCQUF3QixDQUN0QyxJQUFJLEVBQUUsa0JBQWtCLEVBQ3hCLE1BQU0sRUFBRSxnQkFBZ0IsQ0FBQyxRQUFRLENBQUMsR0FDakMsZ0JBQWdCLENBRWxCO0FBRUQsZUFBTyxNQUFNLHlCQUF5Qjs7O2lCQUdwQyxDQUFDO0FBQ0gsTUFBTSxNQUFNLHlCQUF5QixHQUFHLENBQUMsQ0FBQyxLQUFLLENBQUMsT0FBTyx5QkFBeUIsQ0FBQyxDQUFDO0FBRWxGLGVBQU8sTUFBTSx3QkFBd0I7OztpQkFHbkMsQ0FBQztBQUNILE1BQU0sTUFBTSx3QkFBd0IsR0FBRyxDQUFDLENBQUMsS0FBSyxDQUFDLE9BQU8sd0JBQXdCLENBQUMsQ0FBQztBQUVoRjs7OztHQUlHO0FBQ0gsZUFBTyxNQUFNLHVCQUF1Qjs7aUJBRWxDLENBQUM7QUFDSCxNQUFNLE1BQU0sdUJBQXVCLEdBQUcsQ0FBQyxDQUFDLEtBQUssQ0FBQyxPQUFPLHVCQUF1QixDQUFDLENBQUM7QUFFOUUsZUFBTyxNQUFNLHVCQUF1Qjs7Ozs7Ozs7NkJBSWxDLENBQUM7QUFDSCxNQUFNLE1BQU0sdUJBQXVCLEdBQUcsQ0FBQyxDQUFDLEtBQUssQ0FBQyxPQUFPLHVCQUF1QixDQUFDLENBQUM7QUFFOUUsZUFBTyxNQUFNLGdCQUFnQjs7Ozs7Ozs7Ozs7Ozs7NkJBTzNCLENBQUM7QUFDSCxNQUFNLE1BQU0sZ0JBQWdCLEdBQUcsQ0FBQyxDQUFDLEtBQUssQ0FBQyxPQUFPLGdCQUFnQixDQUFDLENBQUMifQ==