@aztec/stdlib 0.0.0-test.1 → 0.0.1-commit.b655e406

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 { 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,66 +30,76 @@ 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>;
+            blockNumber: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
             slotNumber: import("@aztec/foundation/schemas").ZodFor<Fr>;
-            timestamp: import("@aztec/foundation/schemas").ZodFor<Fr>;
+            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;
+            blockNumber: number;
             slotNumber: Fr;
-            timestamp: Fr;
+            timestamp: bigint;
             coinbase: import("@aztec/foundation/schemas").EthAddress;
             feeRecipient: AztecAddress;
-            gasFees: import("../gas/gas_fees.js").GasFees;
+            gasFees: GasFees;
         }, {
+            blockNumber: string | number | bigint;
+            timestamp: string | number | bigint;
             gasFees: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             };
             chainId?: any;
             version?: any;
-            blockNumber?: any;
             slotNumber?: any;
-            timestamp?: any;
             coinbase?: any;
             feeRecipient?: any;
         }>, GlobalVariables, {
+            blockNumber: string | number | bigint;
+            timestamp: string | number | bigint;
             gasFees: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             };
             chainId?: any;
             version?: any;
-            blockNumber?: any;
             slotNumber?: any;
-            timestamp?: 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<{
                 root: z.ZodType<Fr, any, string>;
@@ -142,15 +154,11 @@ 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;
@@ -163,11 +171,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;
@@ -180,6 +188,10 @@ 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>;
@@ -222,36 +234,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 +274,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 +291,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;
             isStaticCall: boolean;
-            argsHash: Fr;
+            calldataHash: Fr;
         }, {
             isStaticCall: boolean;
-            argsHash: string;
+            calldataHash: string;
             contractAddress?: any;
             msgSender?: any;
-            functionSelector?: any;
         }>, PublicCallRequest, {
             isStaticCall: boolean;
-            argsHash: string;
+            calldataHash: string;
             contractAddress?: any;
             msgSender?: any;
-            functionSelector?: any;
         }>, "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;
             isStaticCall: boolean;
-            argsHash: Fr;
+            calldataHash: Fr;
         }, {
             isStaticCall: boolean;
-            argsHash: string;
+            calldataHash: string;
             contractAddress?: any;
             msgSender?: any;
-            functionSelector?: any;
         }>, PublicCallRequest, {
             isStaticCall: boolean;
-            argsHash: string;
+            calldataHash: string;
             contractAddress?: any;
             msgSender?: any;
-            functionSelector?: any;
         }>, "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;
             isStaticCall: boolean;
-            argsHash: Fr;
+            calldataHash: Fr;
         }, {
             isStaticCall: boolean;
-            argsHash: string;
+            calldataHash: string;
             contractAddress?: any;
             msgSender?: any;
-            functionSelector?: any;
         }>, PublicCallRequest, {
             isStaticCall: boolean;
-            argsHash: string;
+            calldataHash: string;
             contractAddress?: any;
             msgSender?: any;
-            functionSelector?: any;
         }>;
         previousNonRevertibleAccumulatedDataArrayLengths: z.ZodEffects<z.ZodObject<{
             noteHashes: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
@@ -404,17 +435,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 +451,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 +471,6 @@ export declare class AvmCircuitPublicInputs {
             nullifiers: string[];
             l2ToL1Msgs: {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
@@ -457,7 +481,6 @@ export declare class AvmCircuitPublicInputs {
             nullifiers: string[];
             l2ToL1Msgs: {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
@@ -471,17 +494,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 +510,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 +530,6 @@ export declare class AvmCircuitPublicInputs {
             nullifiers: string[];
             l2ToL1Msgs: {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
@@ -524,7 +540,6 @@ export declare class AvmCircuitPublicInputs {
             nullifiers: string[];
             l2ToL1Msgs: {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
@@ -585,15 +600,11 @@ 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;
@@ -606,11 +617,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;
@@ -623,6 +634,10 @@ 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>;
@@ -637,6 +652,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 +680,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,20 +696,18 @@ 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>;
@@ -695,80 +725,111 @@ export declare class AvmCircuitPublicInputs {
             noteHashes: Fr[];
             nullifiers: Fr[];
             l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
-            publicLogs: import("../logs/public_log.js").PublicLog[];
             publicDataWrites: import("./public_data_write.js").PublicDataWrite[];
+            publicLogs: import("../logs/public_log.js").FlatPublicLogs;
         }, {
             noteHashes: string[];
             nullifiers: string[];
             l2ToL1Msgs: {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
                 contractAddress?: any;
             }[];
-            publicLogs: any[];
             publicDataWrites: {
                 value: string;
                 leafSlot: string;
             }[];
+            publicLogs?: any;
         }>, AvmAccumulatedData, {
             noteHashes: string[];
             nullifiers: string[];
             l2ToL1Msgs: {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
                 contractAddress?: any;
             }[];
-            publicLogs: any[];
             publicDataWrites: {
                 value: string;
                 leafSlot: string;
             }[];
+            publicLogs?: any;
         }>;
         transactionFee: z.ZodType<Fr, any, string>;
         reverted: z.ZodBoolean;
     }, "strip", z.ZodTypeAny, {
         globalVariables: GlobalVariables;
-        startTreeSnapshots: TreeSnapshots;
-        startGasUsed: Gas;
         gasSettings: GasSettings;
+        protocolContracts: ProtocolContracts;
+        publicTeardownCallRequest: PublicCallRequest;
+        transactionFee: Fr;
         feePayer: AztecAddress;
+        effectiveGasFees: GasFees;
+        startTreeSnapshots: TreeSnapshots;
+        startGasUsed: Gas;
+        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;
     }, {
         globalVariables: {
+            blockNumber: string | number | bigint;
+            timestamp: string | number | bigint;
             gasFees: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             };
             chainId?: any;
             version?: any;
-            blockNumber?: any;
             slotNumber?: any;
-            timestamp?: any;
             coinbase?: any;
             feeRecipient?: any;
         };
-        startTreeSnapshots: {
-            l1ToL2MessageTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
+        gasSettings: {
+            gasLimits: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
+            teardownGasLimits: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
+            maxFeesPerGas: {
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
+            };
+            maxPriorityFeesPerGas: {
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             };
+        };
+        protocolContracts: {
+            derivedAddresses: any[];
+        };
+        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;
@@ -781,50 +842,33 @@ export declare class AvmCircuitPublicInputs {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
+            l1ToL2MessageTree: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
         };
         startGasUsed: {
             daGas: string | number | bigint;
             l2Gas: string | number | bigint;
         };
-        gasSettings: {
-            gasLimits: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            teardownGasLimits: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            maxFeesPerGas: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
-            };
-            maxPriorityFeesPerGas: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
-            };
+        proverId: string;
+        publicCallRequestArrayLengths: {
+            setupCalls: number;
+            appLogicCalls: number;
+            teardownCall: boolean;
         };
         publicSetupCallRequests: {
             isStaticCall: boolean;
-            argsHash: string;
+            calldataHash: string;
             contractAddress?: any;
             msgSender?: any;
-            functionSelector?: any;
         }[];
         publicAppLogicCallRequests: {
             isStaticCall: boolean;
-            argsHash: string;
+            calldataHash: string;
             contractAddress?: any;
             msgSender?: any;
-            functionSelector?: any;
         }[];
-        publicTeardownCallRequest: {
-            isStaticCall: boolean;
-            argsHash: string;
-            contractAddress?: any;
-            msgSender?: any;
-            functionSelector?: any;
-        };
         previousNonRevertibleAccumulatedDataArrayLengths: {
             noteHashes: string | number | bigint;
             nullifiers: string | number | bigint;
@@ -840,7 +884,6 @@ export declare class AvmCircuitPublicInputs {
             nullifiers: string[];
             l2ToL1Msgs: {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
@@ -852,7 +895,6 @@ export declare class AvmCircuitPublicInputs {
             nullifiers: string[];
             l2ToL1Msgs: {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
@@ -860,10 +902,6 @@ export declare class AvmCircuitPublicInputs {
             }[];
         };
         endTreeSnapshots: {
-            l1ToL2MessageTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
             noteHashTree: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
@@ -876,50 +914,86 @@ export declare class AvmCircuitPublicInputs {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
+            l1ToL2MessageTree: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
         };
         endGasUsed: {
             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[];
             publicDataWrites: {
                 value: string;
                 leafSlot: string;
             }[];
+            publicLogs?: any;
         };
-        transactionFee: string;
         reverted: boolean;
         feePayer?: any;
     }>, AvmCircuitPublicInputs, {
         globalVariables: {
+            blockNumber: string | number | bigint;
+            timestamp: string | number | bigint;
             gasFees: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
             };
             chainId?: any;
             version?: any;
-            blockNumber?: any;
             slotNumber?: any;
-            timestamp?: any;
             coinbase?: any;
             feeRecipient?: any;
         };
-        startTreeSnapshots: {
-            l1ToL2MessageTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
+        gasSettings: {
+            gasLimits: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
+            teardownGasLimits: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
             };
+            maxFeesPerGas: {
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
+            };
+            maxPriorityFeesPerGas: {
+                feePerDaGas: string | number | bigint;
+                feePerL2Gas: string | number | bigint;
+            };
+        };
+        protocolContracts: {
+            derivedAddresses: any[];
+        };
+        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;
@@ -932,50 +1006,33 @@ export declare class AvmCircuitPublicInputs {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
+            l1ToL2MessageTree: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
         };
         startGasUsed: {
             daGas: string | number | bigint;
             l2Gas: string | number | bigint;
         };
-        gasSettings: {
-            gasLimits: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            teardownGasLimits: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            maxFeesPerGas: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
-            };
-            maxPriorityFeesPerGas: {
-                feePerDaGas: string;
-                feePerL2Gas: string;
-            };
+        proverId: string;
+        publicCallRequestArrayLengths: {
+            setupCalls: number;
+            appLogicCalls: number;
+            teardownCall: boolean;
         };
         publicSetupCallRequests: {
             isStaticCall: boolean;
-            argsHash: string;
+            calldataHash: string;
             contractAddress?: any;
             msgSender?: any;
-            functionSelector?: any;
         }[];
         publicAppLogicCallRequests: {
             isStaticCall: boolean;
-            argsHash: string;
+            calldataHash: string;
             contractAddress?: any;
             msgSender?: any;
-            functionSelector?: any;
         }[];
-        publicTeardownCallRequest: {
-            isStaticCall: boolean;
-            argsHash: string;
-            contractAddress?: any;
-            msgSender?: any;
-            functionSelector?: any;
-        };
         previousNonRevertibleAccumulatedDataArrayLengths: {
             noteHashes: string | number | bigint;
             nullifiers: string | number | bigint;
@@ -991,7 +1048,6 @@ export declare class AvmCircuitPublicInputs {
             nullifiers: string[];
             l2ToL1Msgs: {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
@@ -1003,7 +1059,6 @@ export declare class AvmCircuitPublicInputs {
             nullifiers: string[];
             l2ToL1Msgs: {
                 message: {
-                    counter: number;
                     recipient: string;
                     content: string;
                 };
@@ -1011,10 +1066,6 @@ export declare class AvmCircuitPublicInputs {
             }[];
         };
         endTreeSnapshots: {
-            l1ToL2MessageTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
             noteHashTree: {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
@@ -1027,37 +1078,46 @@ export declare class AvmCircuitPublicInputs {
                 root: string;
                 nextAvailableLeafIndex: string | number | bigint;
             };
+            l1ToL2MessageTree: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
         };
         endGasUsed: {
             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[];
             publicDataWrites: {
                 value: string;
                 leafSlot: string;
             }[];
+            publicLogs?: any;
         };
-        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 | AztecAddress | Fr | Fr[])[];
     static empty(): AvmCircuitPublicInputs;
     serializeWithMessagePack(): Buffer;
     [inspect.custom](): string;