@aztec/stdlib 0.87.7 → 1.0.0-nightly.20250604

package/dest/avm/avm_proving_request.d.ts

@@ -63,25 +63,210 @@ 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;
+                    };
+                }>;
                 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 +331,37 @@ 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[];
                 };
                 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 +377,47 @@ 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;
+                    }[];
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -201,6 +437,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 +456,47 @@ 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;
+                    }[];
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -242,6 +516,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 +2279,47 @@ 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;
+                    }[];
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -2027,6 +2339,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 +2644,47 @@ 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;
+                    }[];
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -2354,6 +2704,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;
@@ -2896,6 +3250,23 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 };
             }>;
             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 +3604,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">;
@@ -3336,6 +3732,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
             feePayer: import("../aztec-address/index.js").AztecAddress;
             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 +3741,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;
         }, {
@@ -3407,6 +3805,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 +3878,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[];
@@ -3555,6 +3965,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 +4038,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[];
@@ -3708,6 +4130,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 +4203,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 +4246,47 @@ 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;
+                    }[];
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -3838,6 +4306,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;
@@ -4186,6 +4658,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 +4731,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 +4774,47 @@ 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;
+                    }[];
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -4316,6 +4834,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;
@@ -4670,6 +5192,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 +5265,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 +5308,47 @@ 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;
+                    }[];
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -4800,6 +5368,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;