@aztec-labs/stdlib 6.0.0-nightly.20260829

package/dest/avm/avm_proving_request.d.ts

@@ -0,0 +1,1269 @@
+import { z } from 'zod';
+import { ProvingRequestType } from '../proofs/proving_request_type.js';
+import { AvmCircuitInputs } from './avm.js';
+export type AvmProvingRequest = z.infer<typeof AvmProvingRequestSchema>;
+export declare const AvmProvingRequestSchema: z.ZodObject<{
+    type: z.ZodLiteral<ProvingRequestType.PUBLIC_VM>;
+    inputs: z.ZodPipe<z.ZodObject<{
+        hints: z.ZodPipe<z.ZodObject<{
+            globalVariables: z.ZodPipe<z.ZodObject<{
+                chainId: import("@aztec-labs/foundation/schemas").ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+                version: import("@aztec-labs/foundation/schemas").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: import("@aztec-labs/foundation/schemas").ZodFor<import("@aztec-labs/foundation/schemas").SlotNumber>;
+                timestamp: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                coinbase: import("@aztec-labs/foundation/schemas").ZodFor<import("@aztec-labs/foundation/eth-address").EthAddress>;
+                feeRecipient: import("@aztec-labs/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                gasFees: z.ZodPipe<z.ZodObject<{
+                    feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../gas/gas_fees.js").GasFees, {
+                    feePerDaGas: bigint;
+                    feePerL2Gas: bigint;
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<import("../tx/global_variables.js").GlobalVariables, {
+                chainId: import("@aztec-labs/foundation/schemas").Fr;
+                version: import("@aztec-labs/foundation/schemas").Fr;
+                blockNumber: import("@aztec-labs/foundation/branded-types").BlockNumber;
+                slotNumber: import("@aztec-labs/foundation/schemas").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: import("@aztec-labs/foundation/schemas").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: import("@aztec-labs/foundation/schemas").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<import("@aztec-labs/foundation/schemas").ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;
+                    nullifiers: z.ZodArray<import("@aztec-labs/foundation/schemas").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: import("@aztec-labs/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                    }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
+                        message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                        contractAddress: import("../aztec-address/index.js").AztecAddress;
+                    }>>>;
+                }, z.core.$strip>;
+                revertibleAccumulatedData: z.ZodObject<{
+                    noteHashes: z.ZodArray<import("@aztec-labs/foundation/schemas").ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;
+                    nullifiers: z.ZodArray<import("@aztec-labs/foundation/schemas").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: import("@aztec-labs/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                    }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
+                        message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                        contractAddress: import("../aztec-address/index.js").AztecAddress;
+                    }>>>;
+                }, z.core.$strip>;
+                setupEnqueuedCalls: z.ZodArray<import("@aztec-labs/foundation/schemas").ZodFor<import("../tx/public_call_request_with_calldata.js").PublicCallRequestWithCalldata>>;
+                appLogicEnqueuedCalls: z.ZodArray<import("@aztec-labs/foundation/schemas").ZodFor<import("../tx/public_call_request_with_calldata.js").PublicCallRequestWithCalldata>>;
+                teardownEnqueuedCall: z.ZodNullable<import("@aztec-labs/foundation/schemas").ZodFor<import("../tx/public_call_request_with_calldata.js").PublicCallRequestWithCalldata>>;
+                gasUsedByPrivate: z.ZodPipe<z.ZodObject<{
+                    daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                    l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../gas/gas.js").Gas, {
+                    daGas: number;
+                    l2Gas: number;
+                }>>;
+                feePayer: import("@aztec-labs/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+            }, z.core.$strip>, z.ZodTransform<import("./avm.js").AvmTxHint, {
+                hash: string;
+                gasSettings: import("../gas/gas_settings.js").GasSettings;
+                effectiveGasFees: import("../gas/gas_fees.js").GasFees;
+                nonRevertibleContractDeploymentData: import("../contract/contract_deployment_data.js").ContractDeploymentData;
+                revertibleContractDeploymentData: import("../contract/contract_deployment_data.js").ContractDeploymentData;
+                nonRevertibleAccumulatedData: {
+                    noteHashes: import("@aztec-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<import("@aztec-labs/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>>;
+            }, z.core.$strip>, z.ZodTransform<import("../tx/protocol_contracts.js").ProtocolContracts, {
+                derivedAddresses: import("../aztec-address/index.js").AztecAddress[];
+            }>>;
+            contractInstances: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                hintKey: z.ZodNumber;
+                address: import("@aztec-labs/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                salt: import("@aztec-labs/foundation/schemas").ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+                deployer: import("@aztec-labs/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                currentContractClassId: import("@aztec-labs/foundation/schemas").ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+                originalContractClassId: import("@aztec-labs/foundation/schemas").ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+                initializationHash: import("@aztec-labs/foundation/schemas").ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+                immutablesHash: import("@aztec-labs/foundation/schemas").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.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: import("@aztec-labs/foundation/schemas").ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+                artifactHash: import("@aztec-labs/foundation/schemas").ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+                privateFunctionsRoot: import("@aztec-labs/foundation/schemas").ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+                packedBytecode: import("@aztec-labs/foundation/schemas").ZodFor<Buffer<ArrayBufferLike>>;
+            }, z.core.$strip>, z.ZodTransform<import("./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: import("@aztec-labs/foundation/schemas").ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+                commitment: import("@aztec-labs/foundation/schemas").ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+            }, z.core.$strip>, z.ZodTransform<import("./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: import("@aztec-labs/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                selector: import("@aztec-labs/foundation/schemas").ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+                name: z.ZodString;
+            }, z.core.$strip>, z.ZodTransform<import("./avm.js").AvmDebugFunctionNameHint, {
+                address: import("../aztec-address/index.js").AztecAddress;
+                selector: import("@aztec-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<import("@aztec-labs/foundation/schemas").ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;
+            }, z.core.$strip>, z.ZodTransform<import("./avm.js").AvmGetSiblingPathHint, {
+                hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                treeId: number;
+                index: bigint;
+                path: import("@aztec-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: import("@aztec-labs/foundation/schemas").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.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: import("@aztec-labs/foundation/schemas").ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+            }, z.core.$strip>, z.ZodTransform<import("./avm.js").AvmGetLeafValueHint, {
+                hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                treeId: number;
+                index: bigint;
+                value: import("@aztec-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<import("@aztec-labs/foundation/schemas").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<import("@aztec-labs/foundation/schemas").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<import("@aztec-labs/foundation/schemas").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<import("@aztec-labs/foundation/schemas").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<import("@aztec-labs/foundation/schemas").ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;
+            }, z.core.$strip>, z.ZodTransform<import("./avm.js").AvmAppendLeavesHint, {
+                hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                treeId: number;
+                leaves: import("@aztec-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.js").AvmRevertCheckpointHint, {
+                actionCounter: number;
+                oldCheckpointId: number;
+                newCheckpointId: number;
+                stateBefore: import("../tx/tree_snapshots.js").TreeSnapshots;
+                stateAfter: import("../tx/tree_snapshots.js").TreeSnapshots;
+            }>>>;
+        }, z.core.$strip>, z.ZodTransform<import("./avm.js").AvmExecutionHints, {
+            globalVariables: import("../tx/global_variables.js").GlobalVariables;
+            tx: import("./avm.js").AvmTxHint;
+            protocolContracts: import("../tx/protocol_contracts.js").ProtocolContracts;
+            contractInstances: import("./avm.js").AvmContractInstanceHint[];
+            contractClasses: import("./avm.js").AvmContractClassHint[];
+            bytecodeCommitments: import("./avm.js").AvmBytecodeCommitmentHint[];
+            debugFunctionNames: import("./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.js").AvmGetSiblingPathHint[];
+            getPreviousValueIndexHints: import("./avm.js").AvmGetPreviousValueIndexHint[];
+            getLeafPreimageHintsPublicDataTree: {
+                readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                readonly index: bigint;
+                readonly leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
+            }[];
+            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.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.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.js").AvmRevertCheckpointHint[];
+        }>>;
+        publicInputs: z.ZodPipe<z.ZodObject<{
+            globalVariables: z.ZodPipe<z.ZodObject<{
+                chainId: import("@aztec-labs/foundation/schemas").ZodFor<import("@aztec-labs/foundation/schemas").Fr>;
+                version: import("@aztec-labs/foundation/schemas").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: import("@aztec-labs/foundation/schemas").ZodFor<import("@aztec-labs/foundation/schemas").SlotNumber>;
+                timestamp: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                coinbase: import("@aztec-labs/foundation/schemas").ZodFor<import("@aztec-labs/foundation/eth-address").EthAddress>;
+                feeRecipient: import("@aztec-labs/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                gasFees: z.ZodPipe<z.ZodObject<{
+                    feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../gas/gas_fees.js").GasFees, {
+                    feePerDaGas: bigint;
+                    feePerL2Gas: bigint;
+                }>>;
+            }, z.core.$strip>, z.ZodTransform<import("../tx/global_variables.js").GlobalVariables, {
+                chainId: import("@aztec-labs/foundation/schemas").Fr;
+                version: import("@aztec-labs/foundation/schemas").Fr;
+                blockNumber: import("@aztec-labs/foundation/branded-types").BlockNumber;
+                slotNumber: import("@aztec-labs/foundation/schemas").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<import("@aztec-labs/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>>;
+            }, z.core.$strip>, z.ZodTransform<import("../tx/protocol_contracts.js").ProtocolContracts, {
+                derivedAddresses: import("../aztec-address/index.js").AztecAddress[];
+            }>>;
+            startTreeSnapshots: z.ZodPipe<z.ZodObject<{
+                l1ToL2MessageTree: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec-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: import("@aztec-labs/foundation/schemas").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: import("@aztec-labs/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                contractAddress: import("@aztec-labs/foundation/schemas").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: import("@aztec-labs/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                contractAddress: import("@aztec-labs/foundation/schemas").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: import("@aztec-labs/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                contractAddress: import("@aztec-labs/foundation/schemas").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: import("@aztec-labs/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
+                    message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                    contractAddress: import("../aztec-address/index.js").AztecAddress;
+                }>>>;
+            }, z.core.$strip>, 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: import("@aztec-labs/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
+                    message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                    contractAddress: import("../aztec-address/index.js").AztecAddress;
+                }>>>;
+            }, z.core.$strip>, 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_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: import("@aztec-labs/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
+                    message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                    contractAddress: import("../aztec-address/index.js").AztecAddress;
+                }>>>;
+                publicLogs: import("@aztec-labs/foundation/schemas").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("./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_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("./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_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_accumulated_data.js").AvmAccumulatedDataArrayLengths;
+            accumulatedData: import("./avm_accumulated_data.js").AvmAccumulatedData;
+            transactionFee: import("@aztec-labs/foundation/schemas").Fr;
+            reverted: boolean;
+        }>>;
+    }, z.core.$strip>, z.ZodTransform<AvmCircuitInputs, {
+        hints: import("./avm.js").AvmExecutionHints;
+        publicInputs: import("./avm_circuit_public_inputs.js").AvmCircuitPublicInputs;
+    }>>;
+}, z.core.$strip>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX3Byb3ZpbmdfcmVxdWVzdC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2F2bS9hdm1fcHJvdmluZ19yZXF1ZXN0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxFQUFFLGtCQUFrQixFQUFFLE1BQU0sbUNBQW1DLENBQUM7QUFDdkUsT0FBTyxFQUFFLGdCQUFnQixFQUFFLE1BQU0sVUFBVSxDQUFDO0FBRTVDLE1BQU0sTUFBTSxpQkFBaUIsR0FBRyxDQUFDLENBQUMsS0FBSyxDQUFDLE9BQU8sdUJBQXVCLENBQUMsQ0FBQztBQUV4RSxlQUFPLE1BQU0sdUJBQXVCOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7aUJBR2xDLENBQUMifQ==