@aztec/stdlib 0.87.7 → 1.0.0-nightly.20250605

package/dest/avm/avm_proving_request.d.ts

@@ -63,25 +63,223 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     coinbase?: any;
                     feeRecipient?: any;
                 }>;
+                gasSettings: z.ZodEffects<z.ZodObject<{
+                    gasLimits: z.ZodEffects<z.ZodObject<{
+                        daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                        l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                    }, "strip", z.ZodTypeAny, {
+                        daGas: number;
+                        l2Gas: number;
+                    }, {
+                        daGas: string | number | bigint;
+                        l2Gas: string | number | bigint;
+                    }>, import("../gas/gas.js").Gas, {
+                        daGas: string | number | bigint;
+                        l2Gas: string | number | bigint;
+                    }>;
+                    teardownGasLimits: z.ZodEffects<z.ZodObject<{
+                        daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                        l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                    }, "strip", z.ZodTypeAny, {
+                        daGas: number;
+                        l2Gas: number;
+                    }, {
+                        daGas: string | number | bigint;
+                        l2Gas: string | number | bigint;
+                    }>, import("../gas/gas.js").Gas, {
+                        daGas: string | number | bigint;
+                        l2Gas: string | number | bigint;
+                    }>;
+                    maxFeesPerGas: z.ZodEffects<z.ZodObject<{
+                        feePerDaGas: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        feePerL2Gas: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                    }, "strip", z.ZodTypeAny, {
+                        feePerDaGas: import("@aztec/foundation/schemas").Fr;
+                        feePerL2Gas: import("@aztec/foundation/schemas").Fr;
+                    }, {
+                        feePerDaGas: string;
+                        feePerL2Gas: string;
+                    }>, import("../gas/gas_fees.js").GasFees, {
+                        feePerDaGas: string;
+                        feePerL2Gas: string;
+                    }>;
+                    maxPriorityFeesPerGas: z.ZodEffects<z.ZodObject<{
+                        feePerDaGas: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                        feePerL2Gas: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                    }, "strip", z.ZodTypeAny, {
+                        feePerDaGas: import("@aztec/foundation/schemas").Fr;
+                        feePerL2Gas: import("@aztec/foundation/schemas").Fr;
+                    }, {
+                        feePerDaGas: string;
+                        feePerL2Gas: string;
+                    }>, import("../gas/gas_fees.js").GasFees, {
+                        feePerDaGas: string;
+                        feePerL2Gas: string;
+                    }>;
+                }, "strip", z.ZodTypeAny, {
+                    gasLimits: import("../gas/gas.js").Gas;
+                    teardownGasLimits: import("../gas/gas.js").Gas;
+                    maxFeesPerGas: import("../gas/gas_fees.js").GasFees;
+                    maxPriorityFeesPerGas: import("../gas/gas_fees.js").GasFees;
+                }, {
+                    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;
+                    };
+                }>, import("../gas/gas_settings.js").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;
+                    };
+                }>;
+                effectiveGasFees: z.ZodEffects<z.ZodObject<{
+                    feePerDaGas: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                    feePerL2Gas: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    feePerDaGas: import("@aztec/foundation/schemas").Fr;
+                    feePerL2Gas: import("@aztec/foundation/schemas").Fr;
+                }, {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                }>, import("../gas/gas_fees.js").GasFees, {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                }>;
                 nonRevertibleAccumulatedData: z.ZodObject<{
                     noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
                     nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
+                    l2ToL1Messages: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                        message: z.ZodEffects<z.ZodObject<{
+                            recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
+                            content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                            counter: z.ZodNumber;
+                        }, "strip", z.ZodTypeAny, {
+                            counter: number;
+                            recipient: import("@aztec/foundation/schemas").EthAddress;
+                            content: import("@aztec/foundation/schemas").Fr;
+                        }, {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        }>;
+                        contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                    }, "strip", z.ZodTypeAny, {
+                        message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                        contractAddress: import("../aztec-address/index.js").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">;
                 }, "strip", z.ZodTypeAny, {
                     noteHashes: import("@aztec/foundation/schemas").Fr[];
                     nullifiers: import("@aztec/foundation/schemas").Fr[];
+                    l2ToL1Messages: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
                 }, {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
                 }>;
                 revertibleAccumulatedData: z.ZodObject<{
                     noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
                     nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
+                    l2ToL1Messages: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                        message: z.ZodEffects<z.ZodObject<{
+                            recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
+                            content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                            counter: z.ZodNumber;
+                        }, "strip", z.ZodTypeAny, {
+                            counter: number;
+                            recipient: import("@aztec/foundation/schemas").EthAddress;
+                            content: import("@aztec/foundation/schemas").Fr;
+                        }, {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        }>;
+                        contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                    }, "strip", z.ZodTypeAny, {
+                        message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                        contractAddress: import("../aztec-address/index.js").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">;
                 }, "strip", z.ZodTypeAny, {
                     noteHashes: import("@aztec/foundation/schemas").Fr[];
                     nullifiers: import("@aztec/foundation/schemas").Fr[];
+                    l2ToL1Messages: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
                 }, {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
                 }>;
                 setupEnqueuedCalls: z.ZodArray<z.ZodEffects<z.ZodObject<{
                     msgSender: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
@@ -146,20 +344,38 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     contractAddress?: any;
                     msgSender?: any;
                 }>>;
+                gasUsedByPrivate: z.ZodEffects<z.ZodObject<{
+                    daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                    l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+                }, "strip", z.ZodTypeAny, {
+                    daGas: number;
+                    l2Gas: number;
+                }, {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                }>, import("../gas/gas.js").Gas, {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                }>;
             }, "strip", z.ZodTypeAny, {
                 hash: string;
                 globalVariables: import("../tx/global_variables.js").GlobalVariables;
+                gasSettings: import("../gas/gas_settings.js").GasSettings;
                 nonRevertibleAccumulatedData: {
                     noteHashes: import("@aztec/foundation/schemas").Fr[];
                     nullifiers: import("@aztec/foundation/schemas").Fr[];
+                    l2ToL1Messages: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
                 };
                 revertibleAccumulatedData: {
                     noteHashes: import("@aztec/foundation/schemas").Fr[];
                     nullifiers: import("@aztec/foundation/schemas").Fr[];
+                    l2ToL1Messages: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
                 };
+                effectiveGasFees: import("../gas/gas_fees.js").GasFees;
                 setupEnqueuedCalls: import("./avm.js").AvmEnqueuedCallHint[];
                 appLogicEnqueuedCalls: import("./avm.js").AvmEnqueuedCallHint[];
                 teardownEnqueuedCall: import("./avm.js").AvmEnqueuedCallHint | null;
+                gasUsedByPrivate: import("../gas/gas.js").Gas;
             }, {
                 hash: string;
                 globalVariables: {
@@ -175,13 +391,51 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     coinbase?: any;
                     feeRecipient?: any;
                 };
+                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;
+                    };
+                };
                 nonRevertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
                 };
                 revertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
+                };
+                effectiveGasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -201,6 +455,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             }>, import("./avm.js").AvmTxHint, {
                 hash: string;
                 globalVariables: {
@@ -216,13 +474,51 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     coinbase?: any;
                     feeRecipient?: any;
                 };
+                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;
+                    };
+                };
                 nonRevertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
                 };
                 revertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
+                };
+                effectiveGasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -242,6 +538,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             }>;
             contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 address: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
@@ -2001,13 +2301,51 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     coinbase?: any;
                     feeRecipient?: any;
                 };
+                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;
+                    };
+                };
                 nonRevertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
                 };
                 revertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
+                };
+                effectiveGasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -2027,6 +2365,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;
@@ -2328,13 +2670,51 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     coinbase?: any;
                     feeRecipient?: any;
                 };
+                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;
+                    };
+                };
                 nonRevertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
                 };
                 revertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
+                };
+                effectiveGasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -2354,6 +2734,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;
@@ -2895,7 +3279,37 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     feePerL2Gas: string;
                 };
             }>;
+            effectiveGasFees: z.ZodEffects<z.ZodObject<{
+                feePerDaGas: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+                feePerL2Gas: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
+            }, "strip", z.ZodTypeAny, {
+                feePerDaGas: import("@aztec/foundation/schemas").Fr;
+                feePerL2Gas: import("@aztec/foundation/schemas").Fr;
+            }, {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            }>, import("../gas/gas_fees.js").GasFees, {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            }>;
             feePayer: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+            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;
+            }>, import("../kernel/public_call_request.js").PublicCallRequestArrayLengths, {
+                setupCalls: number;
+                appLogicCalls: number;
+                teardownCall: boolean;
+            }>;
             publicSetupCallRequests: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 msgSender: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
                 contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
@@ -3233,6 +3647,31 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             }>;
+            accumulatedDataArrayLengths: z.ZodEffects<z.ZodObject<{
+                noteHashes: z.ZodNumber;
+                nullifiers: z.ZodNumber;
+                l2ToL1Msgs: z.ZodNumber;
+                publicLogs: z.ZodNumber;
+                publicDataWrites: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                noteHashes: number;
+                nullifiers: number;
+                l2ToL1Msgs: number;
+                publicLogs: number;
+                publicDataWrites: number;
+            }, {
+                noteHashes: number;
+                nullifiers: number;
+                l2ToL1Msgs: number;
+                publicLogs: number;
+                publicDataWrites: number;
+            }>, import("./avm_accumulated_data.js").AvmAccumulatedDataArrayLengths, {
+                noteHashes: number;
+                nullifiers: number;
+                l2ToL1Msgs: number;
+                publicLogs: number;
+                publicDataWrites: number;
+            }>;
             accumulatedData: z.ZodEffects<z.ZodObject<{
                 noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
                 nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
@@ -3334,8 +3773,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
             publicTeardownCallRequest: import("../kernel/public_call_request.js").PublicCallRequest;
             transactionFee: import("@aztec/foundation/schemas").Fr;
             feePayer: import("../aztec-address/index.js").AztecAddress;
+            effectiveGasFees: import("../gas/gas_fees.js").GasFees;
             startTreeSnapshots: import("../tx/tree_snapshots.js").TreeSnapshots;
             startGasUsed: import("../gas/gas.js").Gas;
+            publicCallRequestArrayLengths: import("../kernel/public_call_request.js").PublicCallRequestArrayLengths;
             publicSetupCallRequests: import("../kernel/public_call_request.js").PublicCallRequest[];
             publicAppLogicCallRequests: import("../kernel/public_call_request.js").PublicCallRequest[];
             previousNonRevertibleAccumulatedDataArrayLengths: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths;
@@ -3344,6 +3785,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
             previousRevertibleAccumulatedData: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData;
             endTreeSnapshots: import("../tx/tree_snapshots.js").TreeSnapshots;
             endGasUsed: import("../gas/gas.js").Gas;
+            accumulatedDataArrayLengths: import("./avm_accumulated_data.js").AvmAccumulatedDataArrayLengths;
             accumulatedData: import("./avm_accumulated_data.js").AvmAccumulatedData;
             reverted: boolean;
         }, {
@@ -3385,6 +3827,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 msgSender?: any;
             };
             transactionFee: string;
+            effectiveGasFees: {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            };
             startTreeSnapshots: {
                 noteHashTree: {
                     root: string;
@@ -3407,6 +3853,11 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            publicCallRequestArrayLengths: {
+                setupCalls: number;
+                appLogicCalls: number;
+                teardownCall: boolean;
+            };
             publicSetupCallRequests: {
                 isStaticCall: boolean;
                 calldataHash: string;
@@ -3475,6 +3926,13 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            accumulatedDataArrayLengths: {
+                noteHashes: number;
+                nullifiers: number;
+                l2ToL1Msgs: number;
+                publicLogs: number;
+                publicDataWrites: number;
+            };
             accumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -3533,6 +3991,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 msgSender?: any;
             };
             transactionFee: string;
+            effectiveGasFees: {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            };
             startTreeSnapshots: {
                 noteHashTree: {
                     root: string;
@@ -3555,6 +4017,11 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            publicCallRequestArrayLengths: {
+                setupCalls: number;
+                appLogicCalls: number;
+                teardownCall: boolean;
+            };
             publicSetupCallRequests: {
                 isStaticCall: boolean;
                 calldataHash: string;
@@ -3623,6 +4090,13 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            accumulatedDataArrayLengths: {
+                noteHashes: number;
+                nullifiers: number;
+                l2ToL1Msgs: number;
+                publicLogs: number;
+                publicDataWrites: number;
+            };
             accumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -3686,6 +4160,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 msgSender?: any;
             };
             transactionFee: string;
+            effectiveGasFees: {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            };
             startTreeSnapshots: {
                 noteHashTree: {
                     root: string;
@@ -3708,6 +4186,11 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            publicCallRequestArrayLengths: {
+                setupCalls: number;
+                appLogicCalls: number;
+                teardownCall: boolean;
+            };
             publicSetupCallRequests: {
                 isStaticCall: boolean;
                 calldataHash: string;
@@ -3776,6 +4259,13 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            accumulatedDataArrayLengths: {
+                noteHashes: number;
+                nullifiers: number;
+                l2ToL1Msgs: number;
+                publicLogs: number;
+                publicDataWrites: number;
+            };
             accumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -3812,13 +4302,51 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     coinbase?: any;
                     feeRecipient?: any;
                 };
+                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;
+                    };
+                };
                 nonRevertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
                 };
                 revertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
+                };
+                effectiveGasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -3838,6 +4366,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;
@@ -4164,6 +4696,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 msgSender?: any;
             };
             transactionFee: string;
+            effectiveGasFees: {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            };
             startTreeSnapshots: {
                 noteHashTree: {
                     root: string;
@@ -4186,6 +4722,11 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            publicCallRequestArrayLengths: {
+                setupCalls: number;
+                appLogicCalls: number;
+                teardownCall: boolean;
+            };
             publicSetupCallRequests: {
                 isStaticCall: boolean;
                 calldataHash: string;
@@ -4254,6 +4795,13 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            accumulatedDataArrayLengths: {
+                noteHashes: number;
+                nullifiers: number;
+                l2ToL1Msgs: number;
+                publicLogs: number;
+                publicDataWrites: number;
+            };
             accumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -4290,13 +4838,51 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     coinbase?: any;
                     feeRecipient?: any;
                 };
+                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;
+                    };
+                };
                 nonRevertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
                 };
                 revertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
+                };
+                effectiveGasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -4316,6 +4902,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;
@@ -4648,6 +5238,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 msgSender?: any;
             };
             transactionFee: string;
+            effectiveGasFees: {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            };
             startTreeSnapshots: {
                 noteHashTree: {
                     root: string;
@@ -4670,6 +5264,11 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            publicCallRequestArrayLengths: {
+                setupCalls: number;
+                appLogicCalls: number;
+                teardownCall: boolean;
+            };
             publicSetupCallRequests: {
                 isStaticCall: boolean;
                 calldataHash: string;
@@ -4738,6 +5337,13 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            accumulatedDataArrayLengths: {
+                noteHashes: number;
+                nullifiers: number;
+                l2ToL1Msgs: number;
+                publicLogs: number;
+                publicDataWrites: number;
+            };
             accumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -4774,13 +5380,51 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     coinbase?: any;
                     feeRecipient?: any;
                 };
+                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;
+                    };
+                };
                 nonRevertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
                 };
                 revertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
+                };
+                effectiveGasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -4800,6 +5444,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;