@aztec-labs/stdlib 6.0.0-nightly.20260829

package/dest/avm/avm_circuit_public_inputs.d.ts

@@ -0,0 +1,385 @@
+import { MAX_ENQUEUED_CALLS_PER_TX } from '@aztec-labs/constants';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { BufferReader, FieldReader, type Tuple } from '@aztec-labs/foundation/serialize';
+import { inspect } from 'util';
+import { z } from 'zod';
+import { AztecAddress } from '../aztec-address/index.js';
+import { Gas, GasFees, GasSettings } from '../gas/index.js';
+import { PrivateToAvmAccumulatedData, PrivateToAvmAccumulatedDataArrayLengths } from '../kernel/private_to_avm_accumulated_data.js';
+import { PublicCallRequest, PublicCallRequestArrayLengths } from '../kernel/public_call_request.js';
+import { GlobalVariables } from '../tx/global_variables.js';
+import { ProtocolContracts } from '../tx/protocol_contracts.js';
+import { TreeSnapshots } from '../tx/tree_snapshots.js';
+import { AvmAccumulatedData, AvmAccumulatedDataArrayLengths } from './avm_accumulated_data.js';
+export declare class AvmCircuitPublicInputs {
+    globalVariables: GlobalVariables;
+    protocolContracts: ProtocolContracts;
+    startTreeSnapshots: TreeSnapshots;
+    startGasUsed: Gas;
+    gasSettings: GasSettings;
+    effectiveGasFees: GasFees;
+    feePayer: AztecAddress;
+    proverId: Fr;
+    publicCallRequestArrayLengths: PublicCallRequestArrayLengths;
+    publicSetupCallRequests: Tuple<PublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_TX>;
+    publicAppLogicCallRequests: Tuple<PublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_TX>;
+    publicTeardownCallRequest: PublicCallRequest;
+    previousNonRevertibleAccumulatedDataArrayLengths: PrivateToAvmAccumulatedDataArrayLengths;
+    previousRevertibleAccumulatedDataArrayLengths: PrivateToAvmAccumulatedDataArrayLengths;
+    previousNonRevertibleAccumulatedData: PrivateToAvmAccumulatedData;
+    previousRevertibleAccumulatedData: PrivateToAvmAccumulatedData;
+    endTreeSnapshots: TreeSnapshots;
+    endGasUsed: Gas;
+    accumulatedDataArrayLengths: AvmAccumulatedDataArrayLengths;
+    accumulatedData: AvmAccumulatedData;
+    transactionFee: Fr;
+    reverted: boolean;
+    constructor(globalVariables: GlobalVariables, protocolContracts: ProtocolContracts, startTreeSnapshots: TreeSnapshots, startGasUsed: Gas, gasSettings: GasSettings, effectiveGasFees: GasFees, feePayer: AztecAddress, proverId: Fr, publicCallRequestArrayLengths: PublicCallRequestArrayLengths, publicSetupCallRequests: Tuple<PublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_TX>, publicAppLogicCallRequests: Tuple<PublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_TX>, publicTeardownCallRequest: PublicCallRequest, previousNonRevertibleAccumulatedDataArrayLengths: PrivateToAvmAccumulatedDataArrayLengths, previousRevertibleAccumulatedDataArrayLengths: PrivateToAvmAccumulatedDataArrayLengths, previousNonRevertibleAccumulatedData: PrivateToAvmAccumulatedData, previousRevertibleAccumulatedData: PrivateToAvmAccumulatedData, endTreeSnapshots: TreeSnapshots, endGasUsed: Gas, accumulatedDataArrayLengths: AvmAccumulatedDataArrayLengths, accumulatedData: AvmAccumulatedData, transactionFee: Fr, reverted: boolean);
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        globalVariables: z.ZodPipe<z.ZodObject<{
+            chainId: import("@aztec-labs/foundation/schemas").ZodFor<Fr>;
+            version: import("@aztec-labs/foundation/schemas").ZodFor<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<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<GasFees, {
+                feePerDaGas: bigint;
+                feePerL2Gas: bigint;
+            }>>;
+        }, z.core.$strip>, z.ZodTransform<GlobalVariables, {
+            chainId: Fr;
+            version: 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: AztecAddress;
+            gasFees: GasFees;
+        }>>;
+        protocolContracts: z.ZodPipe<z.ZodObject<{
+            derivedAddresses: z.ZodArray<import("@aztec-labs/foundation/schemas").ZodFor<AztecAddress>>;
+        }, z.core.$strip>, z.ZodTransform<ProtocolContracts, {
+            derivedAddresses: AztecAddress[];
+        }>>;
+        startTreeSnapshots: z.ZodPipe<z.ZodObject<{
+            l1ToL2MessageTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<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: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            noteHashTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<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: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            nullifierTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<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: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            publicDataTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<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: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+        }, z.core.$strip>, z.ZodTransform<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<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<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<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<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<GasFees, {
+                feePerDaGas: bigint;
+                feePerL2Gas: bigint;
+            }>>;
+        }, z.core.$strip>, z.ZodTransform<GasSettings, {
+            gasLimits: Gas;
+            teardownGasLimits: Gas;
+            maxFeesPerGas: GasFees;
+            maxPriorityFeesPerGas: 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<GasFees, {
+            feePerDaGas: bigint;
+            feePerL2Gas: bigint;
+        }>>;
+        feePayer: import("@aztec-labs/foundation/schemas").ZodFor<AztecAddress>;
+        proverId: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+        publicCallRequestArrayLengths: z.ZodPipe<z.ZodObject<{
+            setupCalls: z.ZodNumber;
+            appLogicCalls: z.ZodNumber;
+            teardownCall: z.ZodBoolean;
+        }, z.core.$strip>, z.ZodTransform<PublicCallRequestArrayLengths, {
+            setupCalls: number;
+            appLogicCalls: number;
+            teardownCall: boolean;
+        }>>;
+        publicSetupCallRequests: z.ZodArray<z.ZodPipe<z.ZodObject<{
+            msgSender: import("@aztec-labs/foundation/schemas").ZodFor<AztecAddress>;
+            contractAddress: import("@aztec-labs/foundation/schemas").ZodFor<AztecAddress>;
+            isStaticCall: z.ZodBoolean;
+            calldataHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+        }, z.core.$strip>, z.ZodTransform<PublicCallRequest, {
+            msgSender: AztecAddress;
+            contractAddress: AztecAddress;
+            isStaticCall: boolean;
+            calldataHash: Fr;
+        }>>>;
+        publicAppLogicCallRequests: z.ZodArray<z.ZodPipe<z.ZodObject<{
+            msgSender: import("@aztec-labs/foundation/schemas").ZodFor<AztecAddress>;
+            contractAddress: import("@aztec-labs/foundation/schemas").ZodFor<AztecAddress>;
+            isStaticCall: z.ZodBoolean;
+            calldataHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+        }, z.core.$strip>, z.ZodTransform<PublicCallRequest, {
+            msgSender: AztecAddress;
+            contractAddress: AztecAddress;
+            isStaticCall: boolean;
+            calldataHash: Fr;
+        }>>>;
+        publicTeardownCallRequest: z.ZodPipe<z.ZodObject<{
+            msgSender: import("@aztec-labs/foundation/schemas").ZodFor<AztecAddress>;
+            contractAddress: import("@aztec-labs/foundation/schemas").ZodFor<AztecAddress>;
+            isStaticCall: z.ZodBoolean;
+            calldataHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+        }, z.core.$strip>, z.ZodTransform<PublicCallRequest, {
+            msgSender: AztecAddress;
+            contractAddress: AztecAddress;
+            isStaticCall: boolean;
+            calldataHash: 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<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<PrivateToAvmAccumulatedDataArrayLengths, {
+            noteHashes: number;
+            nullifiers: number;
+            l2ToL1Msgs: number;
+        }>>;
+        previousNonRevertibleAccumulatedData: z.ZodPipe<z.ZodObject<{
+            noteHashes: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+            nullifiers: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<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<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                    recipient: import("@aztec-labs/foundation/eth-address").EthAddress;
+                    content: Fr;
+                }>>;
+                contractAddress: import("@aztec-labs/foundation/schemas").ZodFor<AztecAddress>;
+            }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
+                message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                contractAddress: AztecAddress;
+            }>>>;
+        }, z.core.$strip>, z.ZodTransform<PrivateToAvmAccumulatedData, {
+            noteHashes: Fr[];
+            nullifiers: Fr[];
+            l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
+        }>>;
+        previousRevertibleAccumulatedData: z.ZodPipe<z.ZodObject<{
+            noteHashes: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+            nullifiers: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<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<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                    recipient: import("@aztec-labs/foundation/eth-address").EthAddress;
+                    content: Fr;
+                }>>;
+                contractAddress: import("@aztec-labs/foundation/schemas").ZodFor<AztecAddress>;
+            }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
+                message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                contractAddress: AztecAddress;
+            }>>>;
+        }, z.core.$strip>, z.ZodTransform<PrivateToAvmAccumulatedData, {
+            noteHashes: Fr[];
+            nullifiers: Fr[];
+            l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
+        }>>;
+        endTreeSnapshots: z.ZodPipe<z.ZodObject<{
+            l1ToL2MessageTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<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: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            noteHashTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<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: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            nullifierTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<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: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            publicDataTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<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: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+        }, z.core.$strip>, z.ZodTransform<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<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<AvmAccumulatedDataArrayLengths, {
+            noteHashes: number;
+            nullifiers: number;
+            l2ToL1Msgs: number;
+            publicDataWrites: number;
+        }>>;
+        accumulatedData: z.ZodPipe<z.ZodObject<{
+            noteHashes: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+            nullifiers: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<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<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                    recipient: import("@aztec-labs/foundation/eth-address").EthAddress;
+                    content: Fr;
+                }>>;
+                contractAddress: import("@aztec-labs/foundation/schemas").ZodFor<AztecAddress>;
+            }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
+                message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                contractAddress: AztecAddress;
+            }>>>;
+            publicLogs: import("@aztec-labs/foundation/schemas").ZodFor<import("../logs/public_log.js").FlatPublicLogs>;
+            publicDataWrites: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                leafSlot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            }, z.core.$strip>, z.ZodTransform<import("./public_data_write.js").PublicDataWrite, {
+                leafSlot: Fr;
+                value: Fr;
+            }>>>;
+        }, z.core.$strip>, z.ZodTransform<AvmAccumulatedData, {
+            noteHashes: Fr[];
+            nullifiers: 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<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+        reverted: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodTransform<AvmCircuitPublicInputs, {
+        globalVariables: GlobalVariables;
+        protocolContracts: ProtocolContracts;
+        startTreeSnapshots: TreeSnapshots;
+        startGasUsed: Gas;
+        gasSettings: GasSettings;
+        effectiveGasFees: GasFees;
+        feePayer: AztecAddress;
+        proverId: Fr;
+        publicCallRequestArrayLengths: PublicCallRequestArrayLengths;
+        publicSetupCallRequests: PublicCallRequest[];
+        publicAppLogicCallRequests: PublicCallRequest[];
+        publicTeardownCallRequest: PublicCallRequest;
+        previousNonRevertibleAccumulatedDataArrayLengths: PrivateToAvmAccumulatedDataArrayLengths;
+        previousRevertibleAccumulatedDataArrayLengths: PrivateToAvmAccumulatedDataArrayLengths;
+        previousNonRevertibleAccumulatedData: PrivateToAvmAccumulatedData;
+        previousRevertibleAccumulatedData: PrivateToAvmAccumulatedData;
+        endTreeSnapshots: TreeSnapshots;
+        endGasUsed: Gas;
+        accumulatedDataArrayLengths: AvmAccumulatedDataArrayLengths;
+        accumulatedData: AvmAccumulatedData;
+        transactionFee: Fr;
+        reverted: boolean;
+    }>>;
+    static fromBuffer(buffer: Buffer | BufferReader): AvmCircuitPublicInputs;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromString(str: string): AvmCircuitPublicInputs;
+    toString(): `0x${string}`;
+    static fromFields(fields: Fr[] | FieldReader): AvmCircuitPublicInputs;
+    toFields(): (number | boolean | Fr[] | AztecAddress | Fr)[];
+    static empty(): AvmCircuitPublicInputs;
+    /**
+     * Creates an AvmCircuitPublicInputs instance from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * @param obj - Plain object containing AvmCircuitPublicInputs fields
+     * @returns An AvmCircuitPublicInputs instance
+     */
+    static fromPlainObject(obj: any): AvmCircuitPublicInputs;
+    serializeWithMessagePack(): Buffer;
+    [inspect.custom](): string;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX2NpcmN1aXRfcHVibGljX2lucHV0cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2F2bS9hdm1fY2lyY3VpdF9wdWJsaWNfaW5wdXRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSx5QkFBeUIsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBRWxFLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxxQ0FBcUMsQ0FBQztBQUV6RCxPQUFPLEVBQ0wsWUFBWSxFQUNaLFdBQVcsRUFDWCxLQUFLLEtBQUssRUFHWCxNQUFNLGtDQUFrQyxDQUFDO0FBRTFDLE9BQU8sRUFBRSxPQUFPLEVBQUUsTUFBTSxNQUFNLENBQUM7QUFDL0IsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUV4QixPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDekQsT0FBTyxFQUFFLEdBQUcsRUFBRSxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFDNUQsT0FBTyxFQUNMLDJCQUEyQixFQUMzQix1Q0FBdUMsRUFDeEMsTUFBTSw4Q0FBOEMsQ0FBQztBQUN0RCxPQUFPLEVBQUUsaUJBQWlCLEVBQUUsNkJBQTZCLEVBQUUsTUFBTSxrQ0FBa0MsQ0FBQztBQUNwRyxPQUFPLEVBQUUsZUFBZSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDNUQsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDaEUsT0FBTyxFQUFFLGFBQWEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQ3hELE9BQU8sRUFBRSxrQkFBa0IsRUFBRSw4QkFBOEIsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBSy9GLHFCQUFhLHNCQUFzQjtJQUl4QixlQUFlLEVBQUUsZUFBZTtJQUNoQyxpQkFBaUIsRUFBRSxpQkFBaUI7SUFDcEMsa0JBQWtCLEVBQUUsYUFBYTtJQUNqQyxZQUFZLEVBQUUsR0FBRztJQUNqQixXQUFXLEVBQUUsV0FBVztJQUN4QixnQkFBZ0IsRUFBRSxPQUFPO0lBQ3pCLFFBQVEsRUFBRSxZQUFZO0lBQ3RCLFFBQVEsRUFBRSxFQUFFO0lBQ1osNkJBQTZCLEVBQUUsNkJBQTZCO0lBQzVELHVCQUF1QixFQUFFLEtBQUssQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLHlCQUF5QixDQUFDO0lBQ25GLDBCQUEwQixFQUFFLEtBQUssQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLHlCQUF5QixDQUFDO0lBQ3RGLHlCQUF5QixFQUFFLGlCQUFpQjtJQUM1QyxnREFBZ0QsRUFBRSx1Q0FBdUM7SUFDekYsNkNBQTZDLEVBQUUsdUNBQXVDO0lBQ3RGLG9DQUFvQyxFQUFFLDJCQUEyQjtJQUNqRSxpQ0FBaUMsRUFBRSwyQkFBMkI7SUFHOUQsZ0JBQWdCLEVBQUUsYUFBYTtJQUMvQixVQUFVLEVBQUUsR0FBRztJQUNmLDJCQUEyQixFQUFFLDhCQUE4QjtJQUMzRCxlQUFlLEVBQUUsa0JBQWtCO0lBQ25DLGNBQWMsRUFBRSxFQUFFO0lBQ2xCLFFBQVEsRUFBRSxPQUFPO0lBMUIxQixZQUdTLGVBQWUsRUFBRSxlQUFlLEVBQ2hDLGlCQUFpQixFQUFFLGlCQUFpQixFQUNwQyxrQkFBa0IsRUFBRSxhQUFhLEVBQ2pDLFlBQVksRUFBRSxHQUFHLEVBQ2pCLFdBQVcsRUFBRSxXQUFXLEVBQ3hCLGdCQUFnQixFQUFFLE9BQU8sRUFDekIsUUFBUSxFQUFFLFlBQVksRUFDdEIsUUFBUSxFQUFFLEVBQUUsRUFDWiw2QkFBNkIsRUFBRSw2QkFBNkIsRUFDNUQsdUJBQXVCLEVBQUUsS0FBSyxDQUFDLGlCQUFpQixFQUFFLE9BQU8seUJBQXlCLENBQUMsRUFDbkYsMEJBQTBCLEVBQUUsS0FBSyxDQUFDLGlCQUFpQixFQUFFLE9BQU8seUJBQXlCLENBQUMsRUFDdEYseUJBQXlCLEVBQUUsaUJBQWlCLEVBQzVDLGdEQUFnRCxFQUFFLHVDQUF1QyxFQUN6Riw2Q0FBNkMsRUFBRSx1Q0FBdUMsRUFDdEYsb0NBQW9DLEVBQUUsMkJBQTJCLEVBQ2pFLGlDQUFpQyxFQUFFLDJCQUEyQixFQUc5RCxnQkFBZ0IsRUFBRSxhQUFhLEVBQy9CLFVBQVUsRUFBRSxHQUFHLEVBQ2YsMkJBQTJCLEVBQUUsOEJBQThCLEVBQzNELGVBQWUsRUFBRSxrQkFBa0IsRUFDbkMsY0FBYyxFQUFFLEVBQUUsRUFDbEIsUUFBUSxFQUFFLE9BQU8sRUFDdEI7SUFFSixNQUFNLEtBQUssTUFBTTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztRQTRFaEI7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSwwQkEwQjlDO0lBRUQsUUFBUSw0QkF5QlA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLDBCQUU1QjtJQUVELFFBQVEsa0JBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxFQUFFLEVBQUUsR0FBRyxXQUFXLDBCQTBCM0M7SUFFRCxRQUFRLG9EQXlCUDtJQUVELE1BQU0sQ0FBQyxLQUFLLDJCQXlCWDtJQUVEOzs7Ozs7T0FNRztJQUNILE1BQU0sQ0FBQyxlQUFlLENBQUMsR0FBRyxFQUFFLEdBQUcsR0FBRyxzQkFBc0IsQ0ErQnZEO0lBRU0sd0JBQXdCLElBQUksTUFBTSxDQUV4QztJQUVELENBQUMsT0FBTyxDQUFDLE1BQU0sQ0FBQyxXQWlDZjtDQUNGIn0=

package/dest/avm/avm_circuit_public_inputs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"avm_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/avm/avm_circuit_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AAElE,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAEzD,OAAO,EACL,YAAY,EACZ,WAAW,EACX,KAAK,KAAK,EAGX,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC5D,OAAO,EACL,2BAA2B,EAC3B,uCAAuC,EACxC,MAAM,8CAA8C,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,6BAA6B,EAAE,MAAM,kCAAkC,CAAC;AACpG,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,8BAA8B,EAAE,MAAM,2BAA2B,CAAC;AAK/F,qBAAa,sBAAsB;IAIxB,eAAe,EAAE,eAAe;IAChC,iBAAiB,EAAE,iBAAiB;IACpC,kBAAkB,EAAE,aAAa;IACjC,YAAY,EAAE,GAAG;IACjB,WAAW,EAAE,WAAW;IACxB,gBAAgB,EAAE,OAAO;IACzB,QAAQ,EAAE,YAAY;IACtB,QAAQ,EAAE,EAAE;IACZ,6BAA6B,EAAE,6BAA6B;IAC5D,uBAAuB,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,yBAAyB,CAAC;IACnF,0BAA0B,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,yBAAyB,CAAC;IACtF,yBAAyB,EAAE,iBAAiB;IAC5C,gDAAgD,EAAE,uCAAuC;IACzF,6CAA6C,EAAE,uCAAuC;IACtF,oCAAoC,EAAE,2BAA2B;IACjE,iCAAiC,EAAE,2BAA2B;IAG9D,gBAAgB,EAAE,aAAa;IAC/B,UAAU,EAAE,GAAG;IACf,2BAA2B,EAAE,8BAA8B;IAC3D,eAAe,EAAE,kBAAkB;IACnC,cAAc,EAAE,EAAE;IAClB,QAAQ,EAAE,OAAO;IA1B1B,YAGS,eAAe,EAAE,eAAe,EAChC,iBAAiB,EAAE,iBAAiB,EACpC,kBAAkB,EAAE,aAAa,EACjC,YAAY,EAAE,GAAG,EACjB,WAAW,EAAE,WAAW,EACxB,gBAAgB,EAAE,OAAO,EACzB,QAAQ,EAAE,YAAY,EACtB,QAAQ,EAAE,EAAE,EACZ,6BAA6B,EAAE,6BAA6B,EAC5D,uBAAuB,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,yBAAyB,CAAC,EACnF,0BAA0B,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,yBAAyB,CAAC,EACtF,yBAAyB,EAAE,iBAAiB,EAC5C,gDAAgD,EAAE,uCAAuC,EACzF,6CAA6C,EAAE,uCAAuC,EACtF,oCAAoC,EAAE,2BAA2B,EACjE,iCAAiC,EAAE,2BAA2B,EAG9D,gBAAgB,EAAE,aAAa,EAC/B,UAAU,EAAE,GAAG,EACf,2BAA2B,EAAE,8BAA8B,EAC3D,eAAe,EAAE,kBAAkB,EACnC,cAAc,EAAE,EAAE,EAClB,QAAQ,EAAE,OAAO,EACtB;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QA4EhB;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,0BA0B9C;IAED,QAAQ,4BAyBP;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,0BAE5B;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,0BA0B3C;IAED,QAAQ,oDAyBP;IAED,MAAM,CAAC,KAAK,2BAyBX;IAED;;;;;;OAMG;IACH,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,sBAAsB,CA+BvD;IAEM,wBAAwB,IAAI,MAAM,CAExC;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,WAiCf;CACF"}

package/dest/avm/avm_circuit_public_inputs.js

@@ -0,0 +1,183 @@
+var _computedKey;
+import { MAX_ENQUEUED_CALLS_PER_TX } from '@aztec-labs/constants';
+import { makeTuple } from '@aztec-labs/foundation/array';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { schemas } from '@aztec-labs/foundation/schemas';
+import { BufferReader, FieldReader, assertLength, serializeToBuffer } from '@aztec-labs/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec-labs/foundation/string';
+import { inspect } from 'util';
+import { z } from 'zod';
+import { AztecAddress } from '../aztec-address/index.js';
+import { Gas, GasFees, GasSettings } from '../gas/index.js';
+import { PrivateToAvmAccumulatedData, PrivateToAvmAccumulatedDataArrayLengths } from '../kernel/private_to_avm_accumulated_data.js';
+import { PublicCallRequest, PublicCallRequestArrayLengths } from '../kernel/public_call_request.js';
+import { GlobalVariables } from '../tx/global_variables.js';
+import { ProtocolContracts } from '../tx/protocol_contracts.js';
+import { TreeSnapshots } from '../tx/tree_snapshots.js';
+import { AvmAccumulatedData, AvmAccumulatedDataArrayLengths } from './avm_accumulated_data.js';
+import { serializeWithMessagePack } from './message_pack.js';
+_computedKey = inspect.custom;
+// Note: the {from,to}{Buffer,Fields,String} methods are needed by AvmProofData and PublicBaseRollupInputs.
+// At some point it might be worth writing Zod schemas for all dependent types and get rid of that.
+export class AvmCircuitPublicInputs {
+    globalVariables;
+    protocolContracts;
+    startTreeSnapshots;
+    startGasUsed;
+    gasSettings;
+    effectiveGasFees;
+    feePayer;
+    proverId;
+    publicCallRequestArrayLengths;
+    publicSetupCallRequests;
+    publicAppLogicCallRequests;
+    publicTeardownCallRequest;
+    previousNonRevertibleAccumulatedDataArrayLengths;
+    previousRevertibleAccumulatedDataArrayLengths;
+    previousNonRevertibleAccumulatedData;
+    previousRevertibleAccumulatedData;
+    endTreeSnapshots;
+    endGasUsed;
+    accumulatedDataArrayLengths;
+    accumulatedData;
+    transactionFee;
+    reverted;
+    constructor(///////////////////////////////////
+    // Inputs.
+    globalVariables, protocolContracts, startTreeSnapshots, startGasUsed, gasSettings, effectiveGasFees, feePayer, proverId, publicCallRequestArrayLengths, publicSetupCallRequests, publicAppLogicCallRequests, publicTeardownCallRequest, previousNonRevertibleAccumulatedDataArrayLengths, previousRevertibleAccumulatedDataArrayLengths, previousNonRevertibleAccumulatedData, previousRevertibleAccumulatedData, ///////////////////////////////////
+    // Outputs.
+    endTreeSnapshots, endGasUsed, accumulatedDataArrayLengths, accumulatedData, transactionFee, reverted){
+        this.globalVariables = globalVariables;
+        this.protocolContracts = protocolContracts;
+        this.startTreeSnapshots = startTreeSnapshots;
+        this.startGasUsed = startGasUsed;
+        this.gasSettings = gasSettings;
+        this.effectiveGasFees = effectiveGasFees;
+        this.feePayer = feePayer;
+        this.proverId = proverId;
+        this.publicCallRequestArrayLengths = publicCallRequestArrayLengths;
+        this.publicSetupCallRequests = publicSetupCallRequests;
+        this.publicAppLogicCallRequests = publicAppLogicCallRequests;
+        this.publicTeardownCallRequest = publicTeardownCallRequest;
+        this.previousNonRevertibleAccumulatedDataArrayLengths = previousNonRevertibleAccumulatedDataArrayLengths;
+        this.previousRevertibleAccumulatedDataArrayLengths = previousRevertibleAccumulatedDataArrayLengths;
+        this.previousNonRevertibleAccumulatedData = previousNonRevertibleAccumulatedData;
+        this.previousRevertibleAccumulatedData = previousRevertibleAccumulatedData;
+        this.endTreeSnapshots = endTreeSnapshots;
+        this.endGasUsed = endGasUsed;
+        this.accumulatedDataArrayLengths = accumulatedDataArrayLengths;
+        this.accumulatedData = accumulatedData;
+        this.transactionFee = transactionFee;
+        this.reverted = reverted;
+    }
+    static get schema() {
+        return z.object({
+            globalVariables: GlobalVariables.schema,
+            protocolContracts: ProtocolContracts.schema,
+            startTreeSnapshots: TreeSnapshots.schema,
+            startGasUsed: Gas.schema,
+            gasSettings: GasSettings.schema,
+            effectiveGasFees: GasFees.schema,
+            feePayer: AztecAddress.schema,
+            proverId: Fr.schema,
+            publicCallRequestArrayLengths: PublicCallRequestArrayLengths.schema,
+            publicSetupCallRequests: PublicCallRequest.schema.array().max(MAX_ENQUEUED_CALLS_PER_TX),
+            publicAppLogicCallRequests: PublicCallRequest.schema.array().max(MAX_ENQUEUED_CALLS_PER_TX),
+            publicTeardownCallRequest: PublicCallRequest.schema,
+            previousNonRevertibleAccumulatedDataArrayLengths: PrivateToAvmAccumulatedDataArrayLengths.schema,
+            previousRevertibleAccumulatedDataArrayLengths: PrivateToAvmAccumulatedDataArrayLengths.schema,
+            previousNonRevertibleAccumulatedData: PrivateToAvmAccumulatedData.schema,
+            previousRevertibleAccumulatedData: PrivateToAvmAccumulatedData.schema,
+            endTreeSnapshots: TreeSnapshots.schema,
+            endGasUsed: Gas.schema,
+            accumulatedDataArrayLengths: AvmAccumulatedDataArrayLengths.schema,
+            accumulatedData: AvmAccumulatedData.schema,
+            transactionFee: schemas.Fr,
+            reverted: z.boolean()
+        }).transform(({ globalVariables, protocolContracts, startTreeSnapshots, startGasUsed, gasSettings, effectiveGasFees, feePayer, proverId, publicCallRequestArrayLengths, publicSetupCallRequests, publicAppLogicCallRequests, publicTeardownCallRequest, previousNonRevertibleAccumulatedDataArrayLengths, previousRevertibleAccumulatedDataArrayLengths, previousNonRevertibleAccumulatedData, previousRevertibleAccumulatedData, endTreeSnapshots, endGasUsed, accumulatedDataArrayLengths, accumulatedData, transactionFee, reverted })=>new AvmCircuitPublicInputs(globalVariables, protocolContracts, startTreeSnapshots, startGasUsed, gasSettings, effectiveGasFees, feePayer, proverId, publicCallRequestArrayLengths, assertLength(publicSetupCallRequests, MAX_ENQUEUED_CALLS_PER_TX), assertLength(publicAppLogicCallRequests, MAX_ENQUEUED_CALLS_PER_TX), publicTeardownCallRequest, previousNonRevertibleAccumulatedDataArrayLengths, previousRevertibleAccumulatedDataArrayLengths, previousNonRevertibleAccumulatedData, previousRevertibleAccumulatedData, endTreeSnapshots, endGasUsed, accumulatedDataArrayLengths, accumulatedData, transactionFee, reverted));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new AvmCircuitPublicInputs(reader.readObject(GlobalVariables), reader.readObject(ProtocolContracts), reader.readObject(TreeSnapshots), reader.readObject(Gas), reader.readObject(GasSettings), reader.readObject(GasFees), reader.readObject(AztecAddress), reader.readObject(Fr), reader.readObject(PublicCallRequestArrayLengths), reader.readArray(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest), reader.readArray(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest), reader.readObject(PublicCallRequest), reader.readObject(PrivateToAvmAccumulatedDataArrayLengths), reader.readObject(PrivateToAvmAccumulatedDataArrayLengths), reader.readObject(PrivateToAvmAccumulatedData), reader.readObject(PrivateToAvmAccumulatedData), reader.readObject(TreeSnapshots), reader.readObject(Gas), reader.readObject(AvmAccumulatedDataArrayLengths), reader.readObject(AvmAccumulatedData), reader.readObject(Fr), reader.readBoolean());
+    }
+    toBuffer() {
+        return serializeToBuffer(this.globalVariables, this.protocolContracts, this.startTreeSnapshots, this.startGasUsed, this.gasSettings, this.effectiveGasFees, this.feePayer, this.proverId, this.publicCallRequestArrayLengths, this.publicSetupCallRequests, this.publicAppLogicCallRequests, this.publicTeardownCallRequest, this.previousNonRevertibleAccumulatedDataArrayLengths, this.previousRevertibleAccumulatedDataArrayLengths, this.previousNonRevertibleAccumulatedData, this.previousRevertibleAccumulatedData, this.endTreeSnapshots, this.endGasUsed, this.accumulatedDataArrayLengths, this.accumulatedData, this.transactionFee, this.reverted);
+    }
+    static fromString(str) {
+        return AvmCircuitPublicInputs.fromBuffer(hexToBuffer(str));
+    }
+    toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        return new AvmCircuitPublicInputs(GlobalVariables.fromFields(reader), ProtocolContracts.fromFields(reader), TreeSnapshots.fromFields(reader), Gas.fromFields(reader), GasSettings.fromFields(reader), GasFees.fromFields(reader), AztecAddress.fromFields(reader), reader.readField(), PublicCallRequestArrayLengths.fromFields(reader), reader.readArray(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest), reader.readArray(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest), PublicCallRequest.fromFields(reader), PrivateToAvmAccumulatedDataArrayLengths.fromFields(reader), PrivateToAvmAccumulatedDataArrayLengths.fromFields(reader), PrivateToAvmAccumulatedData.fromFields(reader), PrivateToAvmAccumulatedData.fromFields(reader), TreeSnapshots.fromFields(reader), Gas.fromFields(reader), AvmAccumulatedDataArrayLengths.fromFields(reader), AvmAccumulatedData.fromFields(reader), reader.readField(), reader.readBoolean());
+    }
+    toFields() {
+        return [
+            ...this.globalVariables.toFields(),
+            ...this.protocolContracts.toFields(),
+            ...this.startTreeSnapshots.toFields(),
+            ...this.startGasUsed.toFields(),
+            ...this.gasSettings.toFields(),
+            ...this.effectiveGasFees.toFields(),
+            this.feePayer,
+            this.proverId,
+            ...this.publicCallRequestArrayLengths.toFields(),
+            ...this.publicSetupCallRequests.map((request)=>request.toFields()),
+            ...this.publicAppLogicCallRequests.map((request)=>request.toFields()),
+            ...this.publicTeardownCallRequest.toFields(),
+            ...this.previousNonRevertibleAccumulatedDataArrayLengths.toFields(),
+            ...this.previousRevertibleAccumulatedDataArrayLengths.toFields(),
+            ...this.previousNonRevertibleAccumulatedData.toFields(),
+            ...this.previousRevertibleAccumulatedData.toFields(),
+            ...this.endTreeSnapshots.toFields(),
+            ...this.endGasUsed.toFields(),
+            ...this.accumulatedDataArrayLengths.toFields(),
+            ...this.accumulatedData.toFields(),
+            this.transactionFee,
+            this.reverted
+        ];
+    }
+    static empty() {
+        return new AvmCircuitPublicInputs(GlobalVariables.empty(), ProtocolContracts.empty(), TreeSnapshots.empty(), Gas.empty(), GasSettings.empty(), GasFees.empty(), AztecAddress.zero(), Fr.zero(), PublicCallRequestArrayLengths.empty(), makeTuple(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest.empty), makeTuple(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest.empty), PublicCallRequest.empty(), PrivateToAvmAccumulatedDataArrayLengths.empty(), PrivateToAvmAccumulatedDataArrayLengths.empty(), PrivateToAvmAccumulatedData.empty(), PrivateToAvmAccumulatedData.empty(), TreeSnapshots.empty(), Gas.empty(), AvmAccumulatedDataArrayLengths.empty(), AvmAccumulatedData.empty(), Fr.zero(), false);
+    }
+    /**
+   * Creates an AvmCircuitPublicInputs instance from a plain object without Zod validation.
+   * This method is optimized for performance and skips validation, making it suitable
+   * for deserializing trusted data (e.g., from C++ via MessagePack).
+   * @param obj - Plain object containing AvmCircuitPublicInputs fields
+   * @returns An AvmCircuitPublicInputs instance
+   */ static fromPlainObject(obj) {
+        return new AvmCircuitPublicInputs(GlobalVariables.fromPlainObject(obj.globalVariables), ProtocolContracts.fromPlainObject(obj.protocolContracts), TreeSnapshots.fromPlainObject(obj.startTreeSnapshots), Gas.fromPlainObject(obj.startGasUsed), GasSettings.fromPlainObject(obj.gasSettings), GasFees.fromPlainObject(obj.effectiveGasFees), AztecAddress.fromPlainObject(obj.feePayer), Fr.fromPlainObject(obj.proverId), PublicCallRequestArrayLengths.fromPlainObject(obj.publicCallRequestArrayLengths), assertLength(obj.publicSetupCallRequests.map((r)=>PublicCallRequest.fromPlainObject(r)), MAX_ENQUEUED_CALLS_PER_TX), assertLength(obj.publicAppLogicCallRequests.map((r)=>PublicCallRequest.fromPlainObject(r)), MAX_ENQUEUED_CALLS_PER_TX), PublicCallRequest.fromPlainObject(obj.publicTeardownCallRequest), PrivateToAvmAccumulatedDataArrayLengths.fromPlainObject(obj.previousNonRevertibleAccumulatedDataArrayLengths), PrivateToAvmAccumulatedDataArrayLengths.fromPlainObject(obj.previousRevertibleAccumulatedDataArrayLengths), PrivateToAvmAccumulatedData.fromPlainObject(obj.previousNonRevertibleAccumulatedData), PrivateToAvmAccumulatedData.fromPlainObject(obj.previousRevertibleAccumulatedData), TreeSnapshots.fromPlainObject(obj.endTreeSnapshots), Gas.fromPlainObject(obj.endGasUsed), AvmAccumulatedDataArrayLengths.fromPlainObject(obj.accumulatedDataArrayLengths), AvmAccumulatedData.fromPlainObject(obj.accumulatedData), Fr.fromPlainObject(obj.transactionFee), obj.reverted);
+    }
+    serializeWithMessagePack() {
+        return serializeWithMessagePack(this);
+    }
+    [_computedKey]() {
+        return `AvmCircuitPublicInputs {
+      globalVariables: ${inspect(this.globalVariables)},
+      protocolContracts: ${inspect(this.protocolContracts)},
+      startTreeSnapshots: ${inspect(this.startTreeSnapshots)},
+      startGasUsed: ${inspect(this.startGasUsed)},
+      gasSettings: ${inspect(this.gasSettings)},
+      effectiveGasFees: ${inspect(this.effectiveGasFees)},
+      feePayer: ${inspect(this.feePayer)},
+      proverId: ${inspect(this.proverId)},
+      publicCallRequestArrayLengths: ${inspect(this.publicCallRequestArrayLengths)},
+      publicSetupCallRequests: [${this.publicSetupCallRequests.filter((x)=>!x.isEmpty()).map((h)=>inspect(h)).join(', ')}]},
+      publicAppLogicCallRequests: [${this.publicAppLogicCallRequests.filter((x)=>!x.isEmpty()).map((h)=>inspect(h)).join(', ')}]},
+      publicTeardownCallRequest: ${inspect(this.publicTeardownCallRequest)},
+      previousNonRevertibleAccumulatedDataArrayLengths: ${inspect(this.previousNonRevertibleAccumulatedDataArrayLengths)},
+      previousRevertibleAccumulatedDataArrayLengths: ${inspect(this.previousRevertibleAccumulatedDataArrayLengths)},
+      previousNonRevertibleAccumulatedData: ${inspect(this.previousNonRevertibleAccumulatedData)},
+      previousRevertibleAccumulatedData: ${inspect(this.previousRevertibleAccumulatedData)},
+      endTreeSnapshots: ${inspect(this.endTreeSnapshots)},
+      endGasUsed: ${inspect(this.endGasUsed)},
+      accumulatedDataArrayLengths: ${inspect(this.accumulatedDataArrayLengths)},
+      accumulatedData: ${inspect(this.accumulatedData)},
+      transactionFee: ${inspect(this.transactionFee)},
+      reverted: ${this.reverted},
+      }`;
+    }
+}