@aztec/stdlib 0.87.1 → 0.87.2-nightly.20250524

package/dest/block/l2_block_source.d.ts

@@ -1,5 +1,5 @@
 import type { EthAddress } from '@aztec/foundation/eth-address';
-import type { EventEmitter } from 'events';
+import type { TypedEventEmitter } from '@aztec/foundation/types';
 import { z } from 'zod';
 import type { L1RollupConstants } from '../epoch-helpers/index.js';
 import type { BlockHeader } from '../tx/block_header.js';
@@ -106,7 +106,11 @@ export interface L2BlockSource {
  * L2BlockSource that emits events upon pending / proven chain changes.
  * see L2BlockSourceEvents for the events emitted.
  */
-export interface L2BlockSourceEventEmitter extends L2BlockSource, EventEmitter {
+export type ArchiverEmitter = TypedEventEmitter<{
+    [L2BlockSourceEvents.L2PruneDetected]: (args: L2BlockSourceEvent) => void;
+    [L2BlockSourceEvents.L2BlockProven]: (args: L2BlockSourceEvent) => void;
+}>;
+export interface L2BlockSourceEventEmitter extends L2BlockSource, ArchiverEmitter {
 }
 /**
  * Identifier for L2 block tags.
@@ -244,10 +248,11 @@ export declare const L2TipsSchema: z.ZodObject<{
     };
 }>;
 export declare enum L2BlockSourceEvents {
-    L2PruneDetected = "l2PruneDetected"
+    L2PruneDetected = "l2PruneDetected",
+    L2BlockProven = "l2BlockProven"
 }
 export type L2BlockSourceEvent = {
-    type: 'l2PruneDetected';
+    type: 'l2PruneDetected' | 'l2BlockProven';
     blockNumber: bigint;
     slotNumber: bigint;
     epochNumber: bigint;

package/dest/block/l2_block_source.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"l2_block_source.d.ts","sourceRoot":"","sources":["../../src/block/l2_block_source.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAEhE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,QAAQ,CAAC;AAC3C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAEhE;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B;;;OAGG;IACH,gBAAgB,IAAI,OAAO,CAAC,UAAU,CAAC,CAAC;IAExC;;;OAGG;IACH,kBAAkB,IAAI,OAAO,CAAC,UAAU,CAAC,CAAC;IAE1C;;;OAGG;IACH,cAAc,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAElC;;;OAGG;IACH,oBAAoB,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAExC;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,GAAG,SAAS,CAAC,CAAC;IAEvD;;;;OAIG;IACH,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,GAAG,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC,CAAC;IAE5E;;;;;;OAMG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IAE7E,yDAAyD;IACzD,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC;IAE/F;;;;OAIG;IACH,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,GAAG,SAAS,CAAC,CAAC;IAElE;;;;OAIG;IACH,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAAC;IAEpE;;OAEG;IACH,eAAe,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAEnC;;OAEG;IACH,gBAAgB,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAEpC;;;;OAIG;IACH,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IAE3D;;;;OAIG;IACH,uBAAuB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAErE;;;OAGG;IACH,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAEvD;;OAEG;IACH,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAE7B;;OAEG;IACH,cAAc,IAAI,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAE7C,oBAAoB;IACpB,aAAa,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAChC;AAED;;;GAGG;AACH,MAAM,WAAW,yBAA0B,SAAQ,aAAa,EAAE,YAAY;CAAG;AAEjF;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,QAAQ,GAAG,WAAW,CAAC;AAE3D,4BAA4B;AAC5B,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;AAEnD,6CAA6C;AAC7C,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD,6BAA6B;AAC7B,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAKtE;AAGD,QAAA,MAAM,eAAe;;;;;;;;;;;;;;;;;;IASnB,CAAC;AAEH,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIK,CAAC;AAE/B,oBAAY,mBAAmB;IAC7B,eAAe,oBAAoB;CACpC;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,iBAAiB,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC"}
+{"version":3,"file":"l2_block_source.d.ts","sourceRoot":"","sources":["../../src/block/l2_block_source.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAEjE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAEhE;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B;;;OAGG;IACH,gBAAgB,IAAI,OAAO,CAAC,UAAU,CAAC,CAAC;IAExC;;;OAGG;IACH,kBAAkB,IAAI,OAAO,CAAC,UAAU,CAAC,CAAC;IAE1C;;;OAGG;IACH,cAAc,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAElC;;;OAGG;IACH,oBAAoB,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAExC;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,GAAG,SAAS,CAAC,CAAC;IAEvD;;;;OAIG;IACH,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,GAAG,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC,CAAC;IAE5E;;;;;;OAMG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IAE7E,yDAAyD;IACzD,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC;IAE/F;;;;OAIG;IACH,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,GAAG,SAAS,CAAC,CAAC;IAElE;;;;OAIG;IACH,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAAC;IAEpE;;OAEG;IACH,eAAe,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAEnC;;OAEG;IACH,gBAAgB,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAEpC;;;;OAIG;IACH,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IAE3D;;;;OAIG;IACH,uBAAuB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAErE;;;OAGG;IACH,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAEvD;;OAEG;IACH,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAE7B;;OAEG;IACH,cAAc,IAAI,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAE7C,oBAAoB;IACpB,aAAa,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAChC;AAED;;;GAGG;AAEH,MAAM,MAAM,eAAe,GAAG,iBAAiB,CAAC;IAC9C,CAAC,mBAAmB,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,kBAAkB,KAAK,IAAI,CAAC;IAC1E,CAAC,mBAAmB,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,kBAAkB,KAAK,IAAI,CAAC;CACzE,CAAC,CAAC;AACH,MAAM,WAAW,yBAA0B,SAAQ,aAAa,EAAE,eAAe;CAAG;AAEpF;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,QAAQ,GAAG,WAAW,CAAC;AAE3D,4BAA4B;AAC5B,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;AAEnD,6CAA6C;AAC7C,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD,6BAA6B;AAC7B,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAKtE;AAGD,QAAA,MAAM,eAAe;;;;;;;;;;;;;;;;;;IASnB,CAAC;AAEH,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIK,CAAC;AAE/B,oBAAY,mBAAmB;IAC7B,eAAe,oBAAoB;IACnC,aAAa,kBAAkB;CAChC;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,iBAAiB,GAAG,eAAe,CAAC;IAC1C,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC"}

package/dest/block/l2_block_source.js

@@ -26,5 +26,6 @@ export const L2TipsSchema = z.object({
 });
 export var L2BlockSourceEvents = /*#__PURE__*/ function(L2BlockSourceEvents) {
     L2BlockSourceEvents["L2PruneDetected"] = "l2PruneDetected";
+    L2BlockSourceEvents["L2BlockProven"] = "l2BlockProven";
     return L2BlockSourceEvents;
 }({});

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,6 +92,99 @@ 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;
+                    };
+                }>;
                 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">;
@@ -175,9 +268,23 @@ 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[];
@@ -189,6 +296,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 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,6 +312,24 @@ 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[];
@@ -230,6 +356,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,6 +375,24 @@ 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[];
@@ -271,6 +419,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,6 +2182,24 @@ 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[];
@@ -2056,6 +2226,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,6 +2531,24 @@ 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[];
@@ -2383,6 +2575,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;
@@ -2925,6 +3121,23 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
                 };
             }>;
             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 +3475,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">;
@@ -3365,6 +3603,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
             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;
@@ -3373,6 +3612,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;
         }, {
@@ -3436,6 +3676,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 +3749,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[];
@@ -3584,6 +3836,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 +3909,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[];
@@ -3737,6 +4001,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 +4074,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,6 +4117,24 @@ 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[];
@@ -3867,6 +4161,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;
@@ -4215,6 +4513,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 +4586,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,6 +4629,24 @@ 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[];
@@ -4345,6 +4673,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;
@@ -4699,6 +5031,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 +5104,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,6 +5147,24 @@ 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[];
@@ -4829,6 +5191,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 +5600,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 +5709,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>;