@aztec/stdlib 0.0.0-test.0 → 0.0.1-commit.03f7ef2

package/dest/avm/avm_circuit_public_inputs.d.ts

@@ -1,24 +1,26 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 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';
 import { AztecAddress } from '../aztec-address/index.js';
-import { Gas, GasSettings } from '../gas/index.js';
+import { Gas, GasFees, GasSettings } from '../gas/index.js';
 import { PrivateToAvmAccumulatedData, PrivateToAvmAccumulatedDataArrayLengths } from '../kernel/private_to_avm_accumulated_data.js';
-import { PublicCallRequest } from '../kernel/public_call_request.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 } from './avm_accumulated_data.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;
@@ -28,65 +30,79 @@ export declare class AvmCircuitPublicInputs {
     previousRevertibleAccumulatedData: PrivateToAvmAccumulatedData;
     endTreeSnapshots: TreeSnapshots;
     endGasUsed: Gas;
+    accumulatedDataArrayLengths: AvmAccumulatedDataArrayLengths;
     accumulatedData: AvmAccumulatedData;
     transactionFee: Fr;
     reverted: boolean;
-    constructor(globalVariables: GlobalVariables, startTreeSnapshots: TreeSnapshots, startGasUsed: Gas, gasSettings: GasSettings, feePayer: AztecAddress, 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, 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: import("@aztec/foundation/schemas").ZodFor<Fr>;
-            slotNumber: import("@aztec/foundation/schemas").ZodFor<Fr>;
-            timestamp: 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>;
             gasFees: z.ZodEffects<z.ZodObject<{
-                feePerDaGas: z.ZodType<Fr, any, string>;
-                feePerL2Gas: z.ZodType<Fr, any, string>;
+                feePerDaGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                feePerL2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
             }, "strip", z.ZodTypeAny, {
-                feePerDaGas: Fr;
-                feePerL2Gas: Fr;
+                feePerDaGas: bigint;
+                feePerL2Gas: bigint;
             }, {
-                feePerDaGas: string;
-                feePerL2Gas: string;
-            }>, import("../gas/gas_fees.js").GasFees, {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
+            }>, GasFees, {
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             }>;
         }, "strip", z.ZodTypeAny, {
             chainId: Fr;
             version: Fr;
-            blockNumber: Fr;
-            slotNumber: Fr;
-            timestamp: Fr;
+            blockNumber: number & {
+                _branding: "BlockNumber";
+            };
+            slotNumber: number & {
+                _branding: "SlotNumber";
+            };
+            timestamp: bigint;
             coinbase: import("@aztec/foundation/schemas").EthAddress;
             feeRecipient: AztecAddress;
-            gasFees: import("../gas/gas_fees.js").GasFees;
+            gasFees: GasFees;
         }, {
-            gasFees: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
-            };
             chainId?: any;
             version?: any;
-            blockNumber?: any;
+            blockNumber: string | number | bigint;
             slotNumber?: any;
-            timestamp?: any;
+            timestamp: string | number | bigint;
             coinbase?: any;
             feeRecipient?: any;
-        }>, GlobalVariables, {
             gasFees: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             };
+        }>, GlobalVariables, {
             chainId?: any;
             version?: any;
-            blockNumber?: any;
+            blockNumber: string | number | bigint;
             slotNumber?: any;
-            timestamp?: any;
+            timestamp: string | number | bigint;
             coinbase?: any;
             feeRecipient?: any;
+            gasFees: {
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
+            };
+        }>;
+        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<{
@@ -222,36 +238,36 @@ export declare class AvmCircuitPublicInputs {
                 l2Gas: string | number | bigint;
             }>;
             maxFeesPerGas: z.ZodEffects<z.ZodObject<{
-                feePerDaGas: z.ZodType<Fr, any, string>;
-                feePerL2Gas: z.ZodType<Fr, any, string>;
+                feePerDaGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                feePerL2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
             }, "strip", z.ZodTypeAny, {
-                feePerDaGas: Fr;
-                feePerL2Gas: Fr;
+                feePerDaGas: bigint;
+                feePerL2Gas: bigint;
             }, {
-                feePerDaGas: string;
-                feePerL2Gas: string;
-            }>, import("../gas/gas_fees.js").GasFees, {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
+            }>, GasFees, {
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             }>;
             maxPriorityFeesPerGas: z.ZodEffects<z.ZodObject<{
-                feePerDaGas: z.ZodType<Fr, any, string>;
-                feePerL2Gas: z.ZodType<Fr, any, string>;
+                feePerDaGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+                feePerL2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
             }, "strip", z.ZodTypeAny, {
-                feePerDaGas: Fr;
-                feePerL2Gas: Fr;
+                feePerDaGas: bigint;
+                feePerL2Gas: bigint;
             }, {
-                feePerDaGas: string;
-                feePerL2Gas: string;
-            }>, import("../gas/gas_fees.js").GasFees, {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
+            }>, GasFees, {
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             }>;
         }, "strip", z.ZodTypeAny, {
             gasLimits: Gas;
             teardownGasLimits: Gas;
-            maxFeesPerGas: import("../gas/gas_fees.js").GasFees;
-            maxPriorityFeesPerGas: import("../gas/gas_fees.js").GasFees;
+            maxFeesPerGas: GasFees;
+            maxPriorityFeesPerGas: GasFees;
         }, {
             gasLimits: {
                 daGas: string | number | bigint;
@@ -262,12 +278,12 @@ export declare class AvmCircuitPublicInputs {
                 l2Gas: string | number | bigint;
             };
             maxFeesPerGas: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             };
             maxPriorityFeesPerGas: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             };
         }>, GasSettings, {
             gasLimits: {
@@ -279,89 +295,108 @@ export declare class AvmCircuitPublicInputs {
                 l2Gas: string | number | bigint;
             };
             maxFeesPerGas: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             };
             maxPriorityFeesPerGas: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             };
         }>;
+        effectiveGasFees: z.ZodEffects<z.ZodObject<{
+            feePerDaGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+            feePerL2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+        }, "strip", z.ZodTypeAny, {
+            feePerDaGas: bigint;
+            feePerL2Gas: bigint;
+        }, {
+            feePerDaGas: string | number | bigint;
+            feePerL2Gas: string | number | bigint;
+        }>, GasFees, {
+            feePerDaGas: string | number | bigint;
+            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;
+            teardownCall: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            setupCalls: number;
+            appLogicCalls: number;
+            teardownCall: boolean;
+        }, {
+            setupCalls: number;
+            appLogicCalls: number;
+            teardownCall: boolean;
+        }>, PublicCallRequestArrayLengths, {
+            setupCalls: number;
+            appLogicCalls: number;
+            teardownCall: boolean;
+        }>;
         publicSetupCallRequests: z.ZodArray<z.ZodEffects<z.ZodObject<{
             msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
             contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-            functionSelector: import("@aztec/foundation/schemas").ZodFor<import("../abi/function_selector.js").FunctionSelector>;
             isStaticCall: z.ZodBoolean;
-            argsHash: z.ZodType<Fr, any, string>;
+            calldataHash: z.ZodType<Fr, any, string>;
         }, "strip", z.ZodTypeAny, {
-            contractAddress: AztecAddress;
             msgSender: AztecAddress;
-            functionSelector: import("../abi/function_selector.js").FunctionSelector;
+            contractAddress: AztecAddress;
             isStaticCall: boolean;
-            argsHash: Fr;
+            calldataHash: Fr;
         }, {
-            isStaticCall: boolean;
-            argsHash: string;
-            contractAddress?: any;
             msgSender?: any;
-            functionSelector?: any;
-        }>, PublicCallRequest, {
-            isStaticCall: boolean;
-            argsHash: string;
             contractAddress?: any;
+            isStaticCall: boolean;
+            calldataHash: string;
+        }>, PublicCallRequest, {
             msgSender?: any;
-            functionSelector?: any;
+            contractAddress?: any;
+            isStaticCall: boolean;
+            calldataHash: string;
         }>, "many">;
         publicAppLogicCallRequests: z.ZodArray<z.ZodEffects<z.ZodObject<{
             msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
             contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-            functionSelector: import("@aztec/foundation/schemas").ZodFor<import("../abi/function_selector.js").FunctionSelector>;
             isStaticCall: z.ZodBoolean;
-            argsHash: z.ZodType<Fr, any, string>;
+            calldataHash: z.ZodType<Fr, any, string>;
         }, "strip", z.ZodTypeAny, {
-            contractAddress: AztecAddress;
             msgSender: AztecAddress;
-            functionSelector: import("../abi/function_selector.js").FunctionSelector;
+            contractAddress: AztecAddress;
             isStaticCall: boolean;
-            argsHash: Fr;
+            calldataHash: Fr;
         }, {
-            isStaticCall: boolean;
-            argsHash: string;
-            contractAddress?: any;
             msgSender?: any;
-            functionSelector?: any;
-        }>, PublicCallRequest, {
-            isStaticCall: boolean;
-            argsHash: string;
             contractAddress?: any;
+            isStaticCall: boolean;
+            calldataHash: string;
+        }>, PublicCallRequest, {
             msgSender?: any;
-            functionSelector?: any;
+            contractAddress?: any;
+            isStaticCall: boolean;
+            calldataHash: string;
         }>, "many">;
         publicTeardownCallRequest: z.ZodEffects<z.ZodObject<{
             msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
             contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-            functionSelector: import("@aztec/foundation/schemas").ZodFor<import("../abi/function_selector.js").FunctionSelector>;
             isStaticCall: z.ZodBoolean;
-            argsHash: z.ZodType<Fr, any, string>;
+            calldataHash: z.ZodType<Fr, any, string>;
         }, "strip", z.ZodTypeAny, {
-            contractAddress: AztecAddress;
             msgSender: AztecAddress;
-            functionSelector: import("../abi/function_selector.js").FunctionSelector;
+            contractAddress: AztecAddress;
             isStaticCall: boolean;
-            argsHash: Fr;
+            calldataHash: Fr;
         }, {
-            isStaticCall: boolean;
-            argsHash: string;
-            contractAddress?: any;
             msgSender?: any;
-            functionSelector?: any;
-        }>, PublicCallRequest, {
-            isStaticCall: boolean;
-            argsHash: string;
             contractAddress?: any;
+            isStaticCall: boolean;
+            calldataHash: string;
+        }>, PublicCallRequest, {
             msgSender?: any;
-            functionSelector?: any;
+            contractAddress?: any;
+            isStaticCall: boolean;
+            calldataHash: string;
         }>;
         previousNonRevertibleAccumulatedDataArrayLengths: z.ZodEffects<z.ZodObject<{
             noteHashes: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
@@ -404,17 +439,13 @@ export declare class AvmCircuitPublicInputs {
                 message: z.ZodEffects<z.ZodObject<{
                     recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
                     content: z.ZodType<Fr, any, string>;
-                    counter: z.ZodNumber;
                 }, "strip", z.ZodTypeAny, {
-                    counter: number;
                     recipient: import("@aztec/foundation/schemas").EthAddress;
                     content: Fr;
                 }, {
-                    counter: number;
                     recipient: string;
                     content: string;
                 }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
-                    counter: number;
                     recipient: string;
                     content: string;
                 }>;
@@ -424,14 +455,12 @@ export declare class AvmCircuitPublicInputs {
                 contractAddress: AztecAddress;
             }, {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
                 contractAddress?: any;
             }>, import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
@@ -446,7 +475,6 @@ export declare class AvmCircuitPublicInputs {
             nullifiers: string[];
             l2ToL1Msgs: {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
@@ -457,7 +485,6 @@ export declare class AvmCircuitPublicInputs {
             nullifiers: string[];
             l2ToL1Msgs: {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
@@ -471,17 +498,13 @@ export declare class AvmCircuitPublicInputs {
                 message: z.ZodEffects<z.ZodObject<{
                     recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
                     content: z.ZodType<Fr, any, string>;
-                    counter: z.ZodNumber;
                 }, "strip", z.ZodTypeAny, {
-                    counter: number;
                     recipient: import("@aztec/foundation/schemas").EthAddress;
                     content: Fr;
                 }, {
-                    counter: number;
                     recipient: string;
                     content: string;
                 }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
-                    counter: number;
                     recipient: string;
                     content: string;
                 }>;
@@ -491,14 +514,12 @@ export declare class AvmCircuitPublicInputs {
                 contractAddress: AztecAddress;
             }, {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
                 contractAddress?: any;
             }>, import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
@@ -513,7 +534,6 @@ export declare class AvmCircuitPublicInputs {
             nullifiers: string[];
             l2ToL1Msgs: {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
@@ -524,7 +544,6 @@ export declare class AvmCircuitPublicInputs {
             nullifiers: string[];
             l2ToL1Msgs: {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
@@ -637,6 +656,27 @@ export declare class AvmCircuitPublicInputs {
             daGas: string | number | bigint;
             l2Gas: string | number | bigint;
         }>;
+        accumulatedDataArrayLengths: z.ZodEffects<z.ZodObject<{
+            noteHashes: z.ZodNumber;
+            nullifiers: z.ZodNumber;
+            l2ToL1Msgs: z.ZodNumber;
+            publicDataWrites: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            noteHashes: number;
+            nullifiers: number;
+            l2ToL1Msgs: number;
+            publicDataWrites: number;
+        }, {
+            noteHashes: number;
+            nullifiers: number;
+            l2ToL1Msgs: number;
+            publicDataWrites: number;
+        }>, AvmAccumulatedDataArrayLengths, {
+            noteHashes: number;
+            nullifiers: number;
+            l2ToL1Msgs: number;
+            publicDataWrites: number;
+        }>;
         accumulatedData: z.ZodEffects<z.ZodObject<{
             noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
             nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
@@ -644,17 +684,13 @@ export declare class AvmCircuitPublicInputs {
                 message: z.ZodEffects<z.ZodObject<{
                     recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
                     content: z.ZodType<Fr, any, string>;
-                    counter: z.ZodNumber;
                 }, "strip", z.ZodTypeAny, {
-                    counter: number;
                     recipient: import("@aztec/foundation/schemas").EthAddress;
                     content: Fr;
                 }, {
-                    counter: number;
                     recipient: string;
                     content: string;
                 }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
-                    counter: number;
                     recipient: string;
                     content: string;
                 }>;
@@ -664,80 +700,80 @@ export declare class AvmCircuitPublicInputs {
                 contractAddress: AztecAddress;
             }, {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
                 contractAddress?: any;
             }>, import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
                 contractAddress?: any;
             }>, "many">;
-            publicLogs: z.ZodArray<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").PublicLog[];
+            publicLogs: import("../logs/public_log.js").FlatPublicLogs;
             publicDataWrites: import("./public_data_write.js").PublicDataWrite[];
         }, {
             noteHashes: string[];
             nullifiers: string[];
             l2ToL1Msgs: {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
                 contractAddress?: any;
             }[];
-            publicLogs: any[];
+            publicLogs?: any;
             publicDataWrites: {
-                value: string;
                 leafSlot: string;
+                value: string;
             }[];
         }>, AvmAccumulatedData, {
             noteHashes: string[];
             nullifiers: string[];
             l2ToL1Msgs: {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
                 contractAddress?: any;
             }[];
-            publicLogs: any[];
+            publicLogs?: any;
             publicDataWrites: {
-                value: string;
                 leafSlot: string;
+                value: string;
             }[];
         }>;
         transactionFee: z.ZodType<Fr, any, string>;
         reverted: z.ZodBoolean;
     }, "strip", z.ZodTypeAny, {
         globalVariables: GlobalVariables;
+        protocolContracts: ProtocolContracts;
         startTreeSnapshots: TreeSnapshots;
         startGasUsed: Gas;
         gasSettings: GasSettings;
+        effectiveGasFees: GasFees;
         feePayer: AztecAddress;
+        proverId: Fr;
+        publicCallRequestArrayLengths: PublicCallRequestArrayLengths;
         publicSetupCallRequests: PublicCallRequest[];
         publicAppLogicCallRequests: PublicCallRequest[];
         publicTeardownCallRequest: PublicCallRequest;
@@ -747,22 +783,26 @@ export declare class AvmCircuitPublicInputs {
         previousRevertibleAccumulatedData: PrivateToAvmAccumulatedData;
         endTreeSnapshots: TreeSnapshots;
         endGasUsed: Gas;
+        accumulatedDataArrayLengths: AvmAccumulatedDataArrayLengths;
         accumulatedData: AvmAccumulatedData;
         transactionFee: Fr;
         reverted: boolean;
     }, {
         globalVariables: {
-            gasFees: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
-            };
             chainId?: any;
             version?: any;
-            blockNumber?: any;
+            blockNumber: string | number | bigint;
             slotNumber?: any;
-            timestamp?: any;
+            timestamp: string | number | bigint;
             coinbase?: any;
             feeRecipient?: any;
+            gasFees: {
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
+            };
+        };
+        protocolContracts: {
+            derivedAddresses: any[];
         };
         startTreeSnapshots: {
             l1ToL2MessageTree: {
@@ -796,34 +836,42 @@ export declare class AvmCircuitPublicInputs {
                 l2Gas: string | number | bigint;
             };
             maxFeesPerGas: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             };
             maxPriorityFeesPerGas: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             };
         };
+        effectiveGasFees: {
+            feePerDaGas: string | number | bigint;
+            feePerL2Gas: string | number | bigint;
+        };
+        feePayer?: any;
+        proverId: string;
+        publicCallRequestArrayLengths: {
+            setupCalls: number;
+            appLogicCalls: number;
+            teardownCall: boolean;
+        };
         publicSetupCallRequests: {
-            isStaticCall: boolean;
-            argsHash: string;
-            contractAddress?: any;
             msgSender?: any;
-            functionSelector?: any;
+            contractAddress?: any;
+            isStaticCall: boolean;
+            calldataHash: string;
         }[];
         publicAppLogicCallRequests: {
-            isStaticCall: boolean;
-            argsHash: string;
-            contractAddress?: any;
             msgSender?: any;
-            functionSelector?: any;
+            contractAddress?: any;
+            isStaticCall: boolean;
+            calldataHash: string;
         }[];
         publicTeardownCallRequest: {
-            isStaticCall: boolean;
-            argsHash: string;
-            contractAddress?: any;
             msgSender?: any;
-            functionSelector?: any;
+            contractAddress?: any;
+            isStaticCall: boolean;
+            calldataHash: string;
         };
         previousNonRevertibleAccumulatedDataArrayLengths: {
             noteHashes: string | number | bigint;
@@ -840,7 +888,6 @@ export declare class AvmCircuitPublicInputs {
             nullifiers: string[];
             l2ToL1Msgs: {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
@@ -852,7 +899,6 @@ export declare class AvmCircuitPublicInputs {
             nullifiers: string[];
             l2ToL1Msgs: {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
@@ -881,39 +927,46 @@ export declare class AvmCircuitPublicInputs {
             daGas: string | number | bigint;
             l2Gas: string | number | bigint;
         };
+        accumulatedDataArrayLengths: {
+            noteHashes: number;
+            nullifiers: number;
+            l2ToL1Msgs: number;
+            publicDataWrites: number;
+        };
         accumulatedData: {
             noteHashes: string[];
             nullifiers: string[];
             l2ToL1Msgs: {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
                 contractAddress?: any;
             }[];
-            publicLogs: any[];
+            publicLogs?: any;
             publicDataWrites: {
-                value: string;
                 leafSlot: string;
+                value: string;
             }[];
         };
         transactionFee: string;
         reverted: boolean;
-        feePayer?: any;
     }>, AvmCircuitPublicInputs, {
         globalVariables: {
-            gasFees: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
-            };
             chainId?: any;
             version?: any;
-            blockNumber?: any;
+            blockNumber: string | number | bigint;
             slotNumber?: any;
-            timestamp?: any;
+            timestamp: string | number | bigint;
             coinbase?: any;
             feeRecipient?: any;
+            gasFees: {
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
+            };
+        };
+        protocolContracts: {
+            derivedAddresses: any[];
         };
         startTreeSnapshots: {
             l1ToL2MessageTree: {
@@ -947,34 +1000,42 @@ export declare class AvmCircuitPublicInputs {
                 l2Gas: string | number | bigint;
             };
             maxFeesPerGas: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             };
             maxPriorityFeesPerGas: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             };
         };
+        effectiveGasFees: {
+            feePerDaGas: string | number | bigint;
+            feePerL2Gas: string | number | bigint;
+        };
+        feePayer?: any;
+        proverId: string;
+        publicCallRequestArrayLengths: {
+            setupCalls: number;
+            appLogicCalls: number;
+            teardownCall: boolean;
+        };
         publicSetupCallRequests: {
-            isStaticCall: boolean;
-            argsHash: string;
-            contractAddress?: any;
             msgSender?: any;
-            functionSelector?: any;
+            contractAddress?: any;
+            isStaticCall: boolean;
+            calldataHash: string;
         }[];
         publicAppLogicCallRequests: {
-            isStaticCall: boolean;
-            argsHash: string;
-            contractAddress?: any;
             msgSender?: any;
-            functionSelector?: any;
+            contractAddress?: any;
+            isStaticCall: boolean;
+            calldataHash: string;
         }[];
         publicTeardownCallRequest: {
-            isStaticCall: boolean;
-            argsHash: string;
-            contractAddress?: any;
             msgSender?: any;
-            functionSelector?: any;
+            contractAddress?: any;
+            isStaticCall: boolean;
+            calldataHash: string;
         };
         previousNonRevertibleAccumulatedDataArrayLengths: {
             noteHashes: string | number | bigint;
@@ -991,7 +1052,6 @@ export declare class AvmCircuitPublicInputs {
             nullifiers: string[];
             l2ToL1Msgs: {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
@@ -1003,7 +1063,6 @@ export declare class AvmCircuitPublicInputs {
             nullifiers: string[];
             l2ToL1Msgs: {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
@@ -1032,34 +1091,47 @@ export declare class AvmCircuitPublicInputs {
             daGas: string | number | bigint;
             l2Gas: string | number | bigint;
         };
+        accumulatedDataArrayLengths: {
+            noteHashes: number;
+            nullifiers: number;
+            l2ToL1Msgs: number;
+            publicDataWrites: number;
+        };
         accumulatedData: {
             noteHashes: string[];
             nullifiers: string[];
             l2ToL1Msgs: {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
                 contractAddress?: any;
             }[];
-            publicLogs: any[];
+            publicLogs?: any;
             publicDataWrites: {
-                value: string;
                 leafSlot: string;
+                value: string;
             }[];
         };
         transactionFee: string;
         reverted: boolean;
-        feePayer?: any;
     }>;
     static fromBuffer(buffer: Buffer | BufferReader): AvmCircuitPublicInputs;
-    toBuffer(): Buffer;
+    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=avm_circuit_public_inputs.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX2NpcmN1aXRfcHVibGljX2lucHV0cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2F2bS9hdm1fY2lyY3VpdF9wdWJsaWNfaW5wdXRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSx5QkFBeUIsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBRTdELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVwRCxPQUFPLEVBQUUsWUFBWSxFQUFFLFdBQVcsRUFBRSxLQUFLLEtBQUssRUFBbUMsTUFBTSw2QkFBNkIsQ0FBQztBQUdySCxPQUFPLEVBQUUsT0FBTyxFQUFFLE1BQU0sTUFBTSxDQUFDO0FBQy9CLE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxFQUFFLFlBQVksRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQ3pELE9BQU8sRUFBRSxHQUFHLEVBQUUsT0FBTyxFQUFFLFdBQVcsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBQzVELE9BQU8sRUFDTCwyQkFBMkIsRUFDM0IsdUNBQXVDLEVBQ3hDLE1BQU0sOENBQThDLENBQUM7QUFDdEQsT0FBTyxFQUFFLGlCQUFpQixFQUFFLDZCQUE2QixFQUFFLE1BQU0sa0NBQWtDLENBQUM7QUFDcEcsT0FBTyxFQUFFLGVBQWUsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQzVELE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQ2hFLE9BQU8sRUFBRSxhQUFhLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUN4RCxPQUFPLEVBQUUsa0JBQWtCLEVBQUUsOEJBQThCLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUsvRixxQkFBYSxzQkFBc0I7SUFJeEIsZUFBZSxFQUFFLGVBQWU7SUFDaEMsaUJBQWlCLEVBQUUsaUJBQWlCO0lBQ3BDLGtCQUFrQixFQUFFLGFBQWE7SUFDakMsWUFBWSxFQUFFLEdBQUc7SUFDakIsV0FBVyxFQUFFLFdBQVc7SUFDeEIsZ0JBQWdCLEVBQUUsT0FBTztJQUN6QixRQUFRLEVBQUUsWUFBWTtJQUN0QixRQUFRLEVBQUUsRUFBRTtJQUNaLDZCQUE2QixFQUFFLDZCQUE2QjtJQUM1RCx1QkFBdUIsRUFBRSxLQUFLLENBQUMsaUJBQWlCLEVBQUUsT0FBTyx5QkFBeUIsQ0FBQztJQUNuRiwwQkFBMEIsRUFBRSxLQUFLLENBQUMsaUJBQWlCLEVBQUUsT0FBTyx5QkFBeUIsQ0FBQztJQUN0Rix5QkFBeUIsRUFBRSxpQkFBaUI7SUFDNUMsZ0RBQWdELEVBQUUsdUNBQXVDO0lBQ3pGLDZDQUE2QyxFQUFFLHVDQUF1QztJQUN0RixvQ0FBb0MsRUFBRSwyQkFBMkI7SUFDakUsaUNBQWlDLEVBQUUsMkJBQTJCO0lBRzlELGdCQUFnQixFQUFFLGFBQWE7SUFDL0IsVUFBVSxFQUFFLEdBQUc7SUFDZiwyQkFBMkIsRUFBRSw4QkFBOEI7SUFDM0QsZUFBZSxFQUFFLGtCQUFrQjtJQUNuQyxjQUFjLEVBQUUsRUFBRTtJQUNsQixRQUFRLEVBQUUsT0FBTztJQTFCMUIsWUFHUyxlQUFlLEVBQUUsZUFBZSxFQUNoQyxpQkFBaUIsRUFBRSxpQkFBaUIsRUFDcEMsa0JBQWtCLEVBQUUsYUFBYSxFQUNqQyxZQUFZLEVBQUUsR0FBRyxFQUNqQixXQUFXLEVBQUUsV0FBVyxFQUN4QixnQkFBZ0IsRUFBRSxPQUFPLEVBQ3pCLFFBQVEsRUFBRSxZQUFZLEVBQ3RCLFFBQVEsRUFBRSxFQUFFLEVBQ1osNkJBQTZCLEVBQUUsNkJBQTZCLEVBQzVELHVCQUF1QixFQUFFLEtBQUssQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLHlCQUF5QixDQUFDLEVBQ25GLDBCQUEwQixFQUFFLEtBQUssQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLHlCQUF5QixDQUFDLEVBQ3RGLHlCQUF5QixFQUFFLGlCQUFpQixFQUM1QyxnREFBZ0QsRUFBRSx1Q0FBdUMsRUFDekYsNkNBQTZDLEVBQUUsdUNBQXVDLEVBQ3RGLG9DQUFvQyxFQUFFLDJCQUEyQixFQUNqRSxpQ0FBaUMsRUFBRSwyQkFBMkIsRUFHOUQsZ0JBQWdCLEVBQUUsYUFBYSxFQUMvQixVQUFVLEVBQUUsR0FBRyxFQUNmLDJCQUEyQixFQUFFLDhCQUE4QixFQUMzRCxlQUFlLEVBQUUsa0JBQWtCLEVBQ25DLGNBQWMsRUFBRSxFQUFFLEVBQ2xCLFFBQVEsRUFBRSxPQUFPLEVBQ3RCO0lBRUosTUFBTSxLQUFLLE1BQU07Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztPQTRFaEI7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSwwQkEwQjlDO0lBRUQsUUFBUSw0QkF5QlA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLDBCQUU1QjtJQUVELFFBQVEsa0JBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxFQUFFLEVBQUUsR0FBRyxXQUFXLDBCQTBCM0M7SUFFRCxRQUFRLG9EQXlCUDtJQUVELE1BQU0sQ0FBQyxLQUFLLDJCQXlCWDtJQUVEOzs7Ozs7T0FNRztJQUNILE1BQU0sQ0FBQyxlQUFlLENBQUMsR0FBRyxFQUFFLEdBQUcsR0FBRyxzQkFBc0IsQ0ErQnZEO0lBRU0sd0JBQXdCLElBQUksTUFBTSxDQUV4QztJQUVELENBQUMsT0FBTyxDQUFDLE1BQU0sQ0FBQyxXQWlDZjtDQUNGIn0=