@aztec/stdlib 0.87.7 → 1.0.0-nightly.20250605

package/dest/interfaces/proving-job.d.ts

@@ -1,4 +1,4 @@
-import { AVM_PROOF_LENGTH_IN_FIELDS, NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, RECURSIVE_PROOF_LENGTH, TUBE_PROOF_LENGTH } from '@aztec/constants';
+import { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, RECURSIVE_PROOF_LENGTH, TUBE_PROOF_LENGTH } from '@aztec/constants';
 import type { ZodFor } from '@aztec/foundation/schemas';
 import { z } from 'zod';
 import { AvmCircuitInputs } from '../avm/avm.js';
@@ -92,25 +92,223 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     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: 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: 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: ZodFor<import("../aztec-address/index.js").AztecAddress>;
@@ -175,20 +373,38 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     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/avm.js").AvmEnqueuedCallHint[];
                 appLogicEnqueuedCalls: import("../avm/avm.js").AvmEnqueuedCallHint[];
                 teardownEnqueuedCall: import("../avm/avm.js").AvmEnqueuedCallHint | null;
+                gasUsedByPrivate: import("../gas/gas.js").Gas;
             }, {
                 hash: string;
                 globalVariables: {
@@ -204,13 +420,51 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     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;
@@ -230,6 +484,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             }>, import("../avm/avm.js").AvmTxHint, {
                 hash: string;
                 globalVariables: {
@@ -245,13 +503,51 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     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;
@@ -271,6 +567,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             }>;
             contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 address: ZodFor<import("../aztec-address/index.js").AztecAddress>;
@@ -2030,13 +2330,51 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     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;
@@ -2056,6 +2394,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;
@@ -2357,13 +2699,51 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     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;
@@ -2383,6 +2763,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;
@@ -2924,7 +3308,37 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     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: 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: ZodFor<import("../aztec-address/index.js").AztecAddress>;
                 contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
@@ -3262,6 +3676,31 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 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/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">;
@@ -3363,8 +3802,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
             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;
@@ -3373,6 +3814,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
             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/avm_accumulated_data.js").AvmAccumulatedDataArrayLengths;
             accumulatedData: import("../avm/avm_accumulated_data.js").AvmAccumulatedData;
             reverted: boolean;
         }, {
@@ -3414,6 +3856,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 msgSender?: any;
             };
             transactionFee: string;
+            effectiveGasFees: {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            };
             startTreeSnapshots: {
                 noteHashTree: {
                     root: string;
@@ -3436,6 +3882,11 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            publicCallRequestArrayLengths: {
+                setupCalls: number;
+                appLogicCalls: number;
+                teardownCall: boolean;
+            };
             publicSetupCallRequests: {
                 isStaticCall: boolean;
                 calldataHash: string;
@@ -3504,6 +3955,13 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            accumulatedDataArrayLengths: {
+                noteHashes: number;
+                nullifiers: number;
+                l2ToL1Msgs: number;
+                publicLogs: number;
+                publicDataWrites: number;
+            };
             accumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -3562,6 +4020,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 msgSender?: any;
             };
             transactionFee: string;
+            effectiveGasFees: {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            };
             startTreeSnapshots: {
                 noteHashTree: {
                     root: string;
@@ -3584,6 +4046,11 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            publicCallRequestArrayLengths: {
+                setupCalls: number;
+                appLogicCalls: number;
+                teardownCall: boolean;
+            };
             publicSetupCallRequests: {
                 isStaticCall: boolean;
                 calldataHash: string;
@@ -3652,6 +4119,13 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            accumulatedDataArrayLengths: {
+                noteHashes: number;
+                nullifiers: number;
+                l2ToL1Msgs: number;
+                publicLogs: number;
+                publicDataWrites: number;
+            };
             accumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -3715,6 +4189,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 msgSender?: any;
             };
             transactionFee: string;
+            effectiveGasFees: {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            };
             startTreeSnapshots: {
                 noteHashTree: {
                     root: string;
@@ -3737,6 +4215,11 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            publicCallRequestArrayLengths: {
+                setupCalls: number;
+                appLogicCalls: number;
+                teardownCall: boolean;
+            };
             publicSetupCallRequests: {
                 isStaticCall: boolean;
                 calldataHash: string;
@@ -3805,6 +4288,13 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            accumulatedDataArrayLengths: {
+                noteHashes: number;
+                nullifiers: number;
+                l2ToL1Msgs: number;
+                publicLogs: number;
+                publicDataWrites: number;
+            };
             accumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -3841,13 +4331,51 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     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;
@@ -3867,6 +4395,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;
@@ -4193,6 +4725,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 msgSender?: any;
             };
             transactionFee: string;
+            effectiveGasFees: {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            };
             startTreeSnapshots: {
                 noteHashTree: {
                     root: string;
@@ -4215,6 +4751,11 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            publicCallRequestArrayLengths: {
+                setupCalls: number;
+                appLogicCalls: number;
+                teardownCall: boolean;
+            };
             publicSetupCallRequests: {
                 isStaticCall: boolean;
                 calldataHash: string;
@@ -4283,6 +4824,13 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            accumulatedDataArrayLengths: {
+                noteHashes: number;
+                nullifiers: number;
+                l2ToL1Msgs: number;
+                publicLogs: number;
+                publicDataWrites: number;
+            };
             accumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -4319,13 +4867,51 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     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;
@@ -4345,6 +4931,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;
@@ -4677,6 +5267,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 msgSender?: any;
             };
             transactionFee: string;
+            effectiveGasFees: {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            };
             startTreeSnapshots: {
                 noteHashTree: {
                     root: string;
@@ -4699,6 +5293,11 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            publicCallRequestArrayLengths: {
+                setupCalls: number;
+                appLogicCalls: number;
+                teardownCall: boolean;
+            };
             publicSetupCallRequests: {
                 isStaticCall: boolean;
                 calldataHash: string;
@@ -4767,6 +5366,13 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            accumulatedDataArrayLengths: {
+                noteHashes: number;
+                nullifiers: number;
+                l2ToL1Msgs: number;
+                publicLogs: number;
+                publicDataWrites: number;
+            };
             accumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -4803,13 +5409,51 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     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;
@@ -4829,6 +5473,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;
@@ -5234,10 +5882,10 @@ export type ProvingJobInputsMap = {
 };
 export declare const ProvingJobResult: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
     type: z.ZodLiteral<ProvingRequestType.PUBLIC_VM>;
-    result: ZodFor<ProofAndVerificationKey<4154>>;
+    result: ZodFor<ProofAndVerificationKey<20000>>;
 }, "strip", z.ZodTypeAny, {
     type: ProvingRequestType.PUBLIC_VM;
-    result: ProofAndVerificationKey<4154>;
+    result: ProofAndVerificationKey<20000>;
 }, {
     type: ProvingRequestType.PUBLIC_VM;
     result?: any;
@@ -5343,7 +5991,7 @@ export declare const ProvingJobResult: z.ZodDiscriminatedUnion<"type", [z.ZodObj
 }>]>;
 export type ProvingJobResult = z.infer<typeof ProvingJobResult>;
 export type ProvingJobResultsMap = {
-    [ProvingRequestType.PUBLIC_VM]: ProofAndVerificationKey<typeof AVM_PROOF_LENGTH_IN_FIELDS>;
+    [ProvingRequestType.PUBLIC_VM]: ProofAndVerificationKey<typeof AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED>;
     [ProvingRequestType.PRIVATE_BASE_ROLLUP]: PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
     [ProvingRequestType.PUBLIC_BASE_ROLLUP]: PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
     [ProvingRequestType.MERGE_ROLLUP]: PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;