@aztec/stdlib 4.0.0-nightly.20250907 → 4.0.0-nightly.20260108

package/dest/avm/avm_circuit_public_inputs.d.ts

@@ -1,5 +1,5 @@
 import { MAX_ENQUEUED_CALLS_PER_TX } from '@aztec/constants';
-import { Fr } from '@aztec/foundation/fields';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { BufferReader, FieldReader, type Tuple } from '@aztec/foundation/serialize';
 import { inspect } from 'util';
 import { z } from 'zod';
@@ -8,15 +8,18 @@ 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>;
@@ -31,13 +34,13 @@ export declare class AvmCircuitPublicInputs {
     accumulatedData: AvmAccumulatedData;
     transactionFee: Fr;
     reverted: boolean;
-    constructor(globalVariables: GlobalVariables, startTreeSnapshots: TreeSnapshots, startGasUsed: Gas, gasSettings: GasSettings, effectiveGasFees: GasFees, feePayer: AztecAddress, 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.ZodEffects<z.ZodObject<{
         globalVariables: z.ZodEffects<z.ZodObject<{
             chainId: import("@aztec/foundation/schemas").ZodFor<Fr>;
             version: import("@aztec/foundation/schemas").ZodFor<Fr>;
-            blockNumber: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            slotNumber: import("@aztec/foundation/schemas").ZodFor<Fr>;
+            blockNumber: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, import("../../../foundation/dest/branded-types/block_number.js").BlockNumber, string | number | bigint>;
+            slotNumber: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").SlotNumber>;
             timestamp: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
             coinbase: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
             feeRecipient: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
@@ -57,36 +60,49 @@ export declare class AvmCircuitPublicInputs {
         }, "strip", z.ZodTypeAny, {
             chainId: Fr;
             version: Fr;
-            blockNumber: number;
-            slotNumber: Fr;
+            blockNumber: number & {
+                _branding: "BlockNumber";
+            };
+            slotNumber: number & {
+                _branding: "SlotNumber";
+            };
             timestamp: bigint;
             coinbase: import("@aztec/foundation/schemas").EthAddress;
             feeRecipient: AztecAddress;
             gasFees: GasFees;
         }, {
+            chainId?: any;
+            version?: any;
             blockNumber: string | number | bigint;
+            slotNumber?: any;
             timestamp: string | number | bigint;
+            coinbase?: any;
+            feeRecipient?: any;
             gasFees: {
                 feePerDaGas: string | number | bigint;
                 feePerL2Gas: string | number | bigint;
             };
+        }>, GlobalVariables, {
             chainId?: any;
             version?: any;
+            blockNumber: string | number | bigint;
             slotNumber?: any;
+            timestamp: string | number | bigint;
             coinbase?: any;
             feeRecipient?: any;
-        }>, GlobalVariables, {
-            blockNumber: string | number | bigint;
-            timestamp: string | number | bigint;
             gasFees: {
                 feePerDaGas: string | number | bigint;
                 feePerL2Gas: string | number | bigint;
             };
-            chainId?: any;
-            version?: any;
-            slotNumber?: any;
-            coinbase?: any;
-            feeRecipient?: any;
+        }>;
+        protocolContracts: z.ZodEffects<z.ZodObject<{
+            derivedAddresses: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<AztecAddress>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            derivedAddresses: AztecAddress[];
+        }, {
+            derivedAddresses: any[];
+        }>, ProtocolContracts, {
+            derivedAddresses: any[];
         }>;
         startTreeSnapshots: z.ZodEffects<z.ZodObject<{
             l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
@@ -142,11 +158,15 @@ export declare class AvmCircuitPublicInputs {
                 nextAvailableLeafIndex: string | number | bigint;
             }>;
         }, "strip", z.ZodTypeAny, {
+            l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
             noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
             nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
             publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
-            l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
         }, {
+            l1ToL2MessageTree: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
             noteHashTree: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
@@ -159,11 +179,11 @@ export declare class AvmCircuitPublicInputs {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
+        }>, TreeSnapshots, {
             l1ToL2MessageTree: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
-        }>, TreeSnapshots, {
             noteHashTree: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
@@ -176,10 +196,6 @@ export declare class AvmCircuitPublicInputs {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
-            l1ToL2MessageTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
         }>;
         startGasUsed: z.ZodEffects<z.ZodObject<{
             daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
@@ -301,6 +317,7 @@ export declare class AvmCircuitPublicInputs {
             feePerL2Gas: string | number | bigint;
         }>;
         feePayer: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+        proverId: z.ZodType<Fr, any, string>;
         publicCallRequestArrayLengths: z.ZodEffects<z.ZodObject<{
             setupCalls: z.ZodNumber;
             appLogicCalls: z.ZodNumber;
@@ -324,20 +341,20 @@ export declare class AvmCircuitPublicInputs {
             isStaticCall: z.ZodBoolean;
             calldataHash: z.ZodType<Fr, any, string>;
         }, "strip", z.ZodTypeAny, {
-            contractAddress: AztecAddress;
             msgSender: AztecAddress;
+            contractAddress: AztecAddress;
             isStaticCall: boolean;
             calldataHash: Fr;
         }, {
+            msgSender?: any;
+            contractAddress?: any;
             isStaticCall: boolean;
             calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
         }>, PublicCallRequest, {
+            msgSender?: any;
+            contractAddress?: any;
             isStaticCall: boolean;
             calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
         }>, "many">;
         publicAppLogicCallRequests: z.ZodArray<z.ZodEffects<z.ZodObject<{
             msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
@@ -345,20 +362,20 @@ export declare class AvmCircuitPublicInputs {
             isStaticCall: z.ZodBoolean;
             calldataHash: z.ZodType<Fr, any, string>;
         }, "strip", z.ZodTypeAny, {
-            contractAddress: AztecAddress;
             msgSender: AztecAddress;
+            contractAddress: AztecAddress;
             isStaticCall: boolean;
             calldataHash: Fr;
         }, {
+            msgSender?: any;
+            contractAddress?: any;
             isStaticCall: boolean;
             calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
         }>, PublicCallRequest, {
+            msgSender?: any;
+            contractAddress?: any;
             isStaticCall: boolean;
             calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
         }>, "many">;
         publicTeardownCallRequest: z.ZodEffects<z.ZodObject<{
             msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
@@ -366,20 +383,20 @@ export declare class AvmCircuitPublicInputs {
             isStaticCall: z.ZodBoolean;
             calldataHash: z.ZodType<Fr, any, string>;
         }, "strip", z.ZodTypeAny, {
-            contractAddress: AztecAddress;
             msgSender: AztecAddress;
+            contractAddress: AztecAddress;
             isStaticCall: boolean;
             calldataHash: Fr;
         }, {
+            msgSender?: any;
+            contractAddress?: any;
             isStaticCall: boolean;
             calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
         }>, PublicCallRequest, {
+            msgSender?: any;
+            contractAddress?: any;
             isStaticCall: boolean;
             calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
         }>;
         previousNonRevertibleAccumulatedDataArrayLengths: z.ZodEffects<z.ZodObject<{
             noteHashes: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
@@ -587,11 +604,15 @@ export declare class AvmCircuitPublicInputs {
                 nextAvailableLeafIndex: string | number | bigint;
             }>;
         }, "strip", z.ZodTypeAny, {
+            l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
             noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
             nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
             publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
-            l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
         }, {
+            l1ToL2MessageTree: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
             noteHashTree: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
@@ -604,11 +625,11 @@ export declare class AvmCircuitPublicInputs {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
+        }>, TreeSnapshots, {
             l1ToL2MessageTree: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
-        }>, TreeSnapshots, {
             noteHashTree: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
@@ -621,10 +642,6 @@ export declare class AvmCircuitPublicInputs {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
-            l1ToL2MessageTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
         }>;
         endGasUsed: z.ZodEffects<z.ZodObject<{
             daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
@@ -643,26 +660,22 @@ export declare class AvmCircuitPublicInputs {
             noteHashes: z.ZodNumber;
             nullifiers: z.ZodNumber;
             l2ToL1Msgs: z.ZodNumber;
-            publicLogs: z.ZodNumber;
             publicDataWrites: z.ZodNumber;
         }, "strip", z.ZodTypeAny, {
             noteHashes: number;
             nullifiers: number;
             l2ToL1Msgs: number;
             publicDataWrites: number;
-            publicLogs: number;
         }, {
             noteHashes: number;
             nullifiers: number;
             l2ToL1Msgs: number;
             publicDataWrites: number;
-            publicLogs: number;
         }>, AvmAccumulatedDataArrayLengths, {
             noteHashes: number;
             nullifiers: number;
             l2ToL1Msgs: number;
             publicDataWrites: number;
-            publicLogs: number;
         }>;
         accumulatedData: z.ZodEffects<z.ZodObject<{
             noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
@@ -698,26 +711,26 @@ export declare class AvmCircuitPublicInputs {
                 };
                 contractAddress?: any;
             }>, "many">;
-            publicLogs: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("../logs/public_log.js").PublicLog>, "many">;
+            publicLogs: import("@aztec/foundation/schemas").ZodFor<import("../logs/public_log.js").FlatPublicLogs>;
             publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 leafSlot: z.ZodType<Fr, any, string>;
                 value: z.ZodType<Fr, any, string>;
             }, "strip", z.ZodTypeAny, {
-                value: Fr;
                 leafSlot: Fr;
+                value: Fr;
             }, {
-                value: string;
                 leafSlot: string;
-            }>, import("./public_data_write.js").PublicDataWrite, {
                 value: string;
+            }>, import("./public_data_write.js").PublicDataWrite, {
                 leafSlot: string;
+                value: string;
             }>, "many">;
         }, "strip", z.ZodTypeAny, {
             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[];
-            publicLogs: import("../logs/public_log.js").PublicLog[];
         }, {
             noteHashes: string[];
             nullifiers: string[];
@@ -728,11 +741,11 @@ export declare class AvmCircuitPublicInputs {
                 };
                 contractAddress?: any;
             }[];
+            publicLogs?: any;
             publicDataWrites: {
-                value: string;
                 leafSlot: string;
+                value: string;
             }[];
-            publicLogs: any[];
         }>, AvmAccumulatedData, {
             noteHashes: string[];
             nullifiers: string[];
@@ -743,26 +756,27 @@ export declare class AvmCircuitPublicInputs {
                 };
                 contractAddress?: any;
             }[];
+            publicLogs?: any;
             publicDataWrites: {
-                value: string;
                 leafSlot: string;
+                value: string;
             }[];
-            publicLogs: any[];
         }>;
         transactionFee: z.ZodType<Fr, any, string>;
         reverted: z.ZodBoolean;
     }, "strip", z.ZodTypeAny, {
         globalVariables: GlobalVariables;
-        gasSettings: GasSettings;
-        publicTeardownCallRequest: PublicCallRequest;
-        transactionFee: Fr;
-        feePayer: AztecAddress;
-        effectiveGasFees: GasFees;
+        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;
@@ -771,20 +785,46 @@ export declare class AvmCircuitPublicInputs {
         endGasUsed: Gas;
         accumulatedDataArrayLengths: AvmAccumulatedDataArrayLengths;
         accumulatedData: AvmAccumulatedData;
+        transactionFee: Fr;
         reverted: boolean;
     }, {
         globalVariables: {
+            chainId?: any;
+            version?: any;
             blockNumber: string | number | bigint;
+            slotNumber?: any;
             timestamp: string | number | bigint;
+            coinbase?: any;
+            feeRecipient?: any;
             gasFees: {
                 feePerDaGas: string | number | bigint;
                 feePerL2Gas: string | number | bigint;
             };
-            chainId?: any;
-            version?: any;
-            slotNumber?: any;
-            coinbase?: any;
-            feeRecipient?: any;
+        };
+        protocolContracts: {
+            derivedAddresses: any[];
+        };
+        startTreeSnapshots: {
+            l1ToL2MessageTree: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            noteHashTree: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            nullifierTree: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            publicDataTree: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+        };
+        startGasUsed: {
+            daGas: string | number | bigint;
+            l2Gas: string | number | bigint;
         };
         gasSettings: {
             gasLimits: {
@@ -804,56 +844,35 @@ export declare class AvmCircuitPublicInputs {
                 feePerL2Gas: string | number | bigint;
             };
         };
-        publicTeardownCallRequest: {
-            isStaticCall: boolean;
-            calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
-        };
-        transactionFee: string;
         effectiveGasFees: {
             feePerDaGas: string | number | bigint;
             feePerL2Gas: string | number | bigint;
         };
-        startTreeSnapshots: {
-            noteHashTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            nullifierTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            publicDataTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            l1ToL2MessageTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-        };
-        startGasUsed: {
-            daGas: string | number | bigint;
-            l2Gas: string | number | bigint;
-        };
+        feePayer?: any;
+        proverId: string;
         publicCallRequestArrayLengths: {
             setupCalls: number;
             appLogicCalls: number;
             teardownCall: boolean;
         };
         publicSetupCallRequests: {
+            msgSender?: any;
+            contractAddress?: any;
             isStaticCall: boolean;
             calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
         }[];
         publicAppLogicCallRequests: {
+            msgSender?: any;
+            contractAddress?: any;
             isStaticCall: boolean;
             calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
         }[];
+        publicTeardownCallRequest: {
+            msgSender?: any;
+            contractAddress?: any;
+            isStaticCall: boolean;
+            calldataHash: string;
+        };
         previousNonRevertibleAccumulatedDataArrayLengths: {
             noteHashes: string | number | bigint;
             nullifiers: string | number | bigint;
@@ -887,19 +906,19 @@ export declare class AvmCircuitPublicInputs {
             }[];
         };
         endTreeSnapshots: {
-            noteHashTree: {
+            l1ToL2MessageTree: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
-            nullifierTree: {
+            noteHashTree: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
-            publicDataTree: {
+            nullifierTree: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
-            l1ToL2MessageTree: {
+            publicDataTree: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
@@ -913,7 +932,6 @@ export declare class AvmCircuitPublicInputs {
             nullifiers: number;
             l2ToL1Msgs: number;
             publicDataWrites: number;
-            publicLogs: number;
         };
         accumulatedData: {
             noteHashes: string[];
@@ -925,27 +943,52 @@ export declare class AvmCircuitPublicInputs {
                 };
                 contractAddress?: any;
             }[];
+            publicLogs?: any;
             publicDataWrites: {
-                value: string;
                 leafSlot: string;
+                value: string;
             }[];
-            publicLogs: any[];
         };
+        transactionFee: string;
         reverted: boolean;
-        feePayer?: any;
     }>, AvmCircuitPublicInputs, {
         globalVariables: {
+            chainId?: any;
+            version?: any;
             blockNumber: string | number | bigint;
+            slotNumber?: any;
             timestamp: string | number | bigint;
+            coinbase?: any;
+            feeRecipient?: any;
             gasFees: {
                 feePerDaGas: string | number | bigint;
                 feePerL2Gas: string | number | bigint;
             };
-            chainId?: any;
-            version?: any;
-            slotNumber?: any;
-            coinbase?: any;
-            feeRecipient?: any;
+        };
+        protocolContracts: {
+            derivedAddresses: any[];
+        };
+        startTreeSnapshots: {
+            l1ToL2MessageTree: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            noteHashTree: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            nullifierTree: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            publicDataTree: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+        };
+        startGasUsed: {
+            daGas: string | number | bigint;
+            l2Gas: string | number | bigint;
         };
         gasSettings: {
             gasLimits: {
@@ -965,56 +1008,35 @@ export declare class AvmCircuitPublicInputs {
                 feePerL2Gas: string | number | bigint;
             };
         };
-        publicTeardownCallRequest: {
-            isStaticCall: boolean;
-            calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
-        };
-        transactionFee: string;
         effectiveGasFees: {
             feePerDaGas: string | number | bigint;
             feePerL2Gas: string | number | bigint;
         };
-        startTreeSnapshots: {
-            noteHashTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            nullifierTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            publicDataTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            l1ToL2MessageTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-        };
-        startGasUsed: {
-            daGas: string | number | bigint;
-            l2Gas: string | number | bigint;
-        };
+        feePayer?: any;
+        proverId: string;
         publicCallRequestArrayLengths: {
             setupCalls: number;
             appLogicCalls: number;
             teardownCall: boolean;
         };
         publicSetupCallRequests: {
+            msgSender?: any;
+            contractAddress?: any;
             isStaticCall: boolean;
             calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
         }[];
         publicAppLogicCallRequests: {
+            msgSender?: any;
+            contractAddress?: any;
             isStaticCall: boolean;
             calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
         }[];
+        publicTeardownCallRequest: {
+            msgSender?: any;
+            contractAddress?: any;
+            isStaticCall: boolean;
+            calldataHash: string;
+        };
         previousNonRevertibleAccumulatedDataArrayLengths: {
             noteHashes: string | number | bigint;
             nullifiers: string | number | bigint;
@@ -1048,19 +1070,19 @@ export declare class AvmCircuitPublicInputs {
             }[];
         };
         endTreeSnapshots: {
-            noteHashTree: {
+            l1ToL2MessageTree: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
-            nullifierTree: {
+            noteHashTree: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
-            publicDataTree: {
+            nullifierTree: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
-            l1ToL2MessageTree: {
+            publicDataTree: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
@@ -1074,7 +1096,6 @@ export declare class AvmCircuitPublicInputs {
             nullifiers: number;
             l2ToL1Msgs: number;
             publicDataWrites: number;
-            publicLogs: number;
         };
         accumulatedData: {
             noteHashes: string[];
@@ -1086,23 +1107,31 @@ export declare class AvmCircuitPublicInputs {
                 };
                 contractAddress?: any;
             }[];
+            publicLogs?: any;
             publicDataWrites: {
-                value: string;
                 leafSlot: string;
+                value: string;
             }[];
-            publicLogs: any[];
         };
+        transactionFee: string;
         reverted: boolean;
-        feePayer?: any;
     }>;
     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 | AztecAddress | Fr | Fr[])[];
+    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=avm_circuit_public_inputs.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX2NpcmN1aXRfcHVibGljX2lucHV0cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2F2bS9hdm1fY2lyY3VpdF9wdWJsaWNfaW5wdXRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSx5QkFBeUIsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBRTdELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVwRCxPQUFPLEVBQUUsWUFBWSxFQUFFLFdBQVcsRUFBRSxLQUFLLEtBQUssRUFBbUMsTUFBTSw2QkFBNkIsQ0FBQztBQUdySCxPQUFPLEVBQUUsT0FBTyxFQUFFLE1BQU0sTUFBTSxDQUFDO0FBQy9CLE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxFQUFFLFlBQVksRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQ3pELE9BQU8sRUFBRSxHQUFHLEVBQUUsT0FBTyxFQUFFLFdBQVcsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBQzVELE9BQU8sRUFDTCwyQkFBMkIsRUFDM0IsdUNBQXVDLEVBQ3hDLE1BQU0sOENBQThDLENBQUM7QUFDdEQsT0FBTyxFQUFFLGlCQUFpQixFQUFFLDZCQUE2QixFQUFFLE1BQU0sa0NBQWtDLENBQUM7QUFDcEcsT0FBTyxFQUFFLGVBQWUsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQzVELE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQ2hFLE9BQU8sRUFBRSxhQUFhLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUN4RCxPQUFPLEVBQUUsa0JBQWtCLEVBQUUsOEJBQThCLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUsvRixxQkFBYSxzQkFBc0I7SUFJeEIsZUFBZSxFQUFFLGVBQWU7SUFDaEMsaUJBQWlCLEVBQUUsaUJBQWlCO0lBQ3BDLGtCQUFrQixFQUFFLGFBQWE7SUFDakMsWUFBWSxFQUFFLEdBQUc7SUFDakIsV0FBVyxFQUFFLFdBQVc7SUFDeEIsZ0JBQWdCLEVBQUUsT0FBTztJQUN6QixRQUFRLEVBQUUsWUFBWTtJQUN0QixRQUFRLEVBQUUsRUFBRTtJQUNaLDZCQUE2QixFQUFFLDZCQUE2QjtJQUM1RCx1QkFBdUIsRUFBRSxLQUFLLENBQUMsaUJBQWlCLEVBQUUsT0FBTyx5QkFBeUIsQ0FBQztJQUNuRiwwQkFBMEIsRUFBRSxLQUFLLENBQUMsaUJBQWlCLEVBQUUsT0FBTyx5QkFBeUIsQ0FBQztJQUN0Rix5QkFBeUIsRUFBRSxpQkFBaUI7SUFDNUMsZ0RBQWdELEVBQUUsdUNBQXVDO0lBQ3pGLDZDQUE2QyxFQUFFLHVDQUF1QztJQUN0RixvQ0FBb0MsRUFBRSwyQkFBMkI7SUFDakUsaUNBQWlDLEVBQUUsMkJBQTJCO0lBRzlELGdCQUFnQixFQUFFLGFBQWE7SUFDL0IsVUFBVSxFQUFFLEdBQUc7SUFDZiwyQkFBMkIsRUFBRSw4QkFBOEI7SUFDM0QsZUFBZSxFQUFFLGtCQUFrQjtJQUNuQyxjQUFjLEVBQUUsRUFBRTtJQUNsQixRQUFRLEVBQUUsT0FBTztJQTFCMUIsWUFHUyxlQUFlLEVBQUUsZUFBZSxFQUNoQyxpQkFBaUIsRUFBRSxpQkFBaUIsRUFDcEMsa0JBQWtCLEVBQUUsYUFBYSxFQUNqQyxZQUFZLEVBQUUsR0FBRyxFQUNqQixXQUFXLEVBQUUsV0FBVyxFQUN4QixnQkFBZ0IsRUFBRSxPQUFPLEVBQ3pCLFFBQVEsRUFBRSxZQUFZLEVBQ3RCLFFBQVEsRUFBRSxFQUFFLEVBQ1osNkJBQTZCLEVBQUUsNkJBQTZCLEVBQzVELHVCQUF1QixFQUFFLEtBQUssQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLHlCQUF5QixDQUFDLEVBQ25GLDBCQUEwQixFQUFFLEtBQUssQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLHlCQUF5QixDQUFDLEVBQ3RGLHlCQUF5QixFQUFFLGlCQUFpQixFQUM1QyxnREFBZ0QsRUFBRSx1Q0FBdUMsRUFDekYsNkNBQTZDLEVBQUUsdUNBQXVDLEVBQ3RGLG9DQUFvQyxFQUFFLDJCQUEyQixFQUNqRSxpQ0FBaUMsRUFBRSwyQkFBMkIsRUFHOUQsZ0JBQWdCLEVBQUUsYUFBYSxFQUMvQixVQUFVLEVBQUUsR0FBRyxFQUNmLDJCQUEyQixFQUFFLDhCQUE4QixFQUMzRCxlQUFlLEVBQUUsa0JBQWtCLEVBQ25DLGNBQWMsRUFBRSxFQUFFLEVBQ2xCLFFBQVEsRUFBRSxPQUFPLEVBQ3RCO0lBRUosTUFBTSxLQUFLLE1BQU07Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztPQTRFaEI7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSwwQkEwQjlDO0lBRUQsUUFBUSw0QkF5QlA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLDBCQUU1QjtJQUVELFFBQVEsa0JBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxFQUFFLEVBQUUsR0FBRyxXQUFXLDBCQTBCM0M7SUFFRCxRQUFRLG9EQXlCUDtJQUVELE1BQU0sQ0FBQyxLQUFLLDJCQXlCWDtJQUVEOzs7Ozs7T0FNRztJQUNILE1BQU0sQ0FBQyxlQUFlLENBQUMsR0FBRyxFQUFFLEdBQUcsR0FBRyxzQkFBc0IsQ0ErQnZEO0lBRU0sd0JBQXdCLElBQUksTUFBTSxDQUV4QztJQUVELENBQUMsT0FBTyxDQUFDLE1BQU0sQ0FBQyxXQWlDZjtDQUNGIn0=