@aztec/stdlib 0.87.1 → 0.87.2-nightly.20250524

package/dest/avm/avm.d.ts

@@ -1,6 +1,8 @@
 import { Fr } from '@aztec/foundation/fields';
 import { z } from 'zod';
 import { AztecAddress } from '../aztec-address/index.js';
+import { Gas } from '../gas/gas.js';
+import { GasSettings } from '../gas/gas_settings.js';
 import { PublicKeys } from '../keys/public_keys.js';
 import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
 import { MerkleTreeId } from '../trees/merkle_tree_id.js';
@@ -1746,6 +1748,7 @@ export declare class AvmEnqueuedCallHint {
 export declare class AvmTxHint {
     readonly hash: string;
     readonly globalVariables: GlobalVariables;
+    readonly gasSettings: GasSettings;
     readonly nonRevertibleAccumulatedData: {
         noteHashes: Fr[];
         nullifiers: Fr[];
@@ -1757,13 +1760,14 @@ export declare class AvmTxHint {
     readonly setupEnqueuedCalls: AvmEnqueuedCallHint[];
     readonly appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
     readonly teardownEnqueuedCall: AvmEnqueuedCallHint | null;
-    constructor(hash: string, globalVariables: GlobalVariables, nonRevertibleAccumulatedData: {
+    readonly gasUsedByPrivate: Gas;
+    constructor(hash: string, globalVariables: GlobalVariables, gasSettings: GasSettings, nonRevertibleAccumulatedData: {
         noteHashes: Fr[];
         nullifiers: Fr[];
     }, revertibleAccumulatedData: {
         noteHashes: Fr[];
         nullifiers: Fr[];
-    }, setupEnqueuedCalls: AvmEnqueuedCallHint[], appLogicEnqueuedCalls: AvmEnqueuedCallHint[], teardownEnqueuedCall: AvmEnqueuedCallHint | null);
+    }, setupEnqueuedCalls: AvmEnqueuedCallHint[], appLogicEnqueuedCalls: AvmEnqueuedCallHint[], teardownEnqueuedCall: AvmEnqueuedCallHint | null, gasUsedByPrivate: Gas);
     static fromTx(tx: Tx): Promise<AvmTxHint>;
     static empty(): AvmTxHint;
     static get schema(): z.ZodEffects<z.ZodObject<{
@@ -1823,6 +1827,99 @@ export declare class AvmTxHint {
             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;
+            }>, 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;
+            }>, Gas, {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            }>;
+            maxFeesPerGas: z.ZodEffects<z.ZodObject<{
+                feePerDaGas: z.ZodType<Fr, any, string>;
+                feePerL2Gas: z.ZodType<Fr, any, string>;
+            }, "strip", z.ZodTypeAny, {
+                feePerDaGas: Fr;
+                feePerL2Gas: Fr;
+            }, {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            }>, import("../gas/gas_fees.js").GasFees, {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            }>;
+            maxPriorityFeesPerGas: z.ZodEffects<z.ZodObject<{
+                feePerDaGas: z.ZodType<Fr, any, string>;
+                feePerL2Gas: z.ZodType<Fr, any, string>;
+            }, "strip", z.ZodTypeAny, {
+                feePerDaGas: Fr;
+                feePerL2Gas: Fr;
+            }, {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            }>, import("../gas/gas_fees.js").GasFees, {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            }>;
+        }, "strip", z.ZodTypeAny, {
+            gasLimits: Gas;
+            teardownGasLimits: 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;
+            };
+        }>, 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<Fr, any, string>, "many">;
             nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
@@ -1906,9 +2003,23 @@ export declare class AvmTxHint {
             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;
+        }>, Gas, {
+            daGas: string | number | bigint;
+            l2Gas: string | number | bigint;
+        }>;
     }, "strip", z.ZodTypeAny, {
         hash: string;
         globalVariables: GlobalVariables;
+        gasSettings: GasSettings;
         nonRevertibleAccumulatedData: {
             noteHashes: Fr[];
             nullifiers: Fr[];
@@ -1920,6 +2031,7 @@ export declare class AvmTxHint {
         setupEnqueuedCalls: AvmEnqueuedCallHint[];
         appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
         teardownEnqueuedCall: AvmEnqueuedCallHint | null;
+        gasUsedByPrivate: Gas;
     }, {
         hash: string;
         globalVariables: {
@@ -1935,6 +2047,24 @@ export declare class AvmTxHint {
             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[];
@@ -1961,6 +2091,10 @@ export declare class AvmTxHint {
             contractAddress?: any;
             msgSender?: any;
         } | null;
+        gasUsedByPrivate: {
+            daGas: string | number | bigint;
+            l2Gas: string | number | bigint;
+        };
     }>, AvmTxHint, {
         hash: string;
         globalVariables: {
@@ -1976,6 +2110,24 @@ export declare class AvmTxHint {
             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[];
@@ -2002,6 +2154,10 @@ export declare class AvmTxHint {
             contractAddress?: any;
             msgSender?: any;
         } | null;
+        gasUsedByPrivate: {
+            daGas: string | number | bigint;
+            l2Gas: string | number | bigint;
+        };
     }>;
 }
 export declare class AvmExecutionHints {
@@ -2081,6 +2237,99 @@ export declare class AvmExecutionHints {
                 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;
+                }>, 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;
+                }>, Gas, {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                }>;
+                maxFeesPerGas: z.ZodEffects<z.ZodObject<{
+                    feePerDaGas: z.ZodType<Fr, any, string>;
+                    feePerL2Gas: z.ZodType<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    feePerDaGas: Fr;
+                    feePerL2Gas: Fr;
+                }, {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                }>, import("../gas/gas_fees.js").GasFees, {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                }>;
+                maxPriorityFeesPerGas: z.ZodEffects<z.ZodObject<{
+                    feePerDaGas: z.ZodType<Fr, any, string>;
+                    feePerL2Gas: z.ZodType<Fr, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    feePerDaGas: Fr;
+                    feePerL2Gas: Fr;
+                }, {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                }>, import("../gas/gas_fees.js").GasFees, {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                }>;
+            }, "strip", z.ZodTypeAny, {
+                gasLimits: Gas;
+                teardownGasLimits: 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;
+                };
+            }>, 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<Fr, any, string>, "many">;
                 nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
@@ -2164,9 +2413,23 @@ export declare class AvmExecutionHints {
                 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;
+            }>, Gas, {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            }>;
         }, "strip", z.ZodTypeAny, {
             hash: string;
             globalVariables: GlobalVariables;
+            gasSettings: GasSettings;
             nonRevertibleAccumulatedData: {
                 noteHashes: Fr[];
                 nullifiers: Fr[];
@@ -2178,6 +2441,7 @@ export declare class AvmExecutionHints {
             setupEnqueuedCalls: AvmEnqueuedCallHint[];
             appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
             teardownEnqueuedCall: AvmEnqueuedCallHint | null;
+            gasUsedByPrivate: Gas;
         }, {
             hash: string;
             globalVariables: {
@@ -2193,6 +2457,24 @@ export declare class AvmExecutionHints {
                 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[];
@@ -2219,6 +2501,10 @@ export declare class AvmExecutionHints {
                 contractAddress?: any;
                 msgSender?: any;
             } | null;
+            gasUsedByPrivate: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
         }>, AvmTxHint, {
             hash: string;
             globalVariables: {
@@ -2234,6 +2520,24 @@ export declare class AvmExecutionHints {
                 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[];
@@ -2260,6 +2564,10 @@ export declare class AvmExecutionHints {
                 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<AztecAddress>;
@@ -4003,6 +4311,24 @@ export declare class AvmExecutionHints {
                 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[];
@@ -4029,6 +4355,10 @@ export declare class AvmExecutionHints {
                 contractAddress?: any;
                 msgSender?: any;
             } | null;
+            gasUsedByPrivate: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
         };
         contractInstances: {
             salt: string;
@@ -4330,6 +4660,24 @@ export declare class AvmExecutionHints {
                 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[];
@@ -4356,6 +4704,10 @@ export declare class AvmExecutionHints {
                 contractAddress?: any;
                 msgSender?: any;
             } | null;
+            gasUsedByPrivate: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
         };
         contractInstances: {
             salt: string;
@@ -4707,6 +5059,99 @@ export declare class AvmCircuitInputs {
                     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;
+                    }>, 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;
+                    }>, Gas, {
+                        daGas: string | number | bigint;
+                        l2Gas: string | number | bigint;
+                    }>;
+                    maxFeesPerGas: z.ZodEffects<z.ZodObject<{
+                        feePerDaGas: z.ZodType<Fr, any, string>;
+                        feePerL2Gas: z.ZodType<Fr, any, string>;
+                    }, "strip", z.ZodTypeAny, {
+                        feePerDaGas: Fr;
+                        feePerL2Gas: Fr;
+                    }, {
+                        feePerDaGas: string;
+                        feePerL2Gas: string;
+                    }>, import("../gas/gas_fees.js").GasFees, {
+                        feePerDaGas: string;
+                        feePerL2Gas: string;
+                    }>;
+                    maxPriorityFeesPerGas: z.ZodEffects<z.ZodObject<{
+                        feePerDaGas: z.ZodType<Fr, any, string>;
+                        feePerL2Gas: z.ZodType<Fr, any, string>;
+                    }, "strip", z.ZodTypeAny, {
+                        feePerDaGas: Fr;
+                        feePerL2Gas: Fr;
+                    }, {
+                        feePerDaGas: string;
+                        feePerL2Gas: string;
+                    }>, import("../gas/gas_fees.js").GasFees, {
+                        feePerDaGas: string;
+                        feePerL2Gas: string;
+                    }>;
+                }, "strip", z.ZodTypeAny, {
+                    gasLimits: Gas;
+                    teardownGasLimits: 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;
+                    };
+                }>, 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<Fr, any, string>, "many">;
                     nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
@@ -4790,9 +5235,23 @@ export declare class AvmCircuitInputs {
                     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;
+                }>, Gas, {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                }>;
             }, "strip", z.ZodTypeAny, {
                 hash: string;
                 globalVariables: GlobalVariables;
+                gasSettings: GasSettings;
                 nonRevertibleAccumulatedData: {
                     noteHashes: Fr[];
                     nullifiers: Fr[];
@@ -4804,6 +5263,7 @@ export declare class AvmCircuitInputs {
                 setupEnqueuedCalls: AvmEnqueuedCallHint[];
                 appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
                 teardownEnqueuedCall: AvmEnqueuedCallHint | null;
+                gasUsedByPrivate: Gas;
             }, {
                 hash: string;
                 globalVariables: {
@@ -4819,6 +5279,24 @@ export declare class AvmCircuitInputs {
                     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[];
@@ -4845,6 +5323,10 @@ export declare class AvmCircuitInputs {
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             }>, AvmTxHint, {
                 hash: string;
                 globalVariables: {
@@ -4860,6 +5342,24 @@ export declare class AvmCircuitInputs {
                     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[];
@@ -4886,6 +5386,10 @@ export declare class AvmCircuitInputs {
                     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<AztecAddress>;
@@ -6629,6 +7133,24 @@ export declare class AvmCircuitInputs {
                     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[];
@@ -6655,6 +7177,10 @@ export declare class AvmCircuitInputs {
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;
@@ -6956,6 +7482,24 @@ export declare class AvmCircuitInputs {
                     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[];
@@ -6982,6 +7526,10 @@ export declare class AvmCircuitInputs {
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;
@@ -7426,7 +7974,7 @@ export declare class AvmCircuitInputs {
             }, {
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
-            }>, import("../gas/gas.js").Gas, {
+            }>, Gas, {
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             }>;
@@ -7440,7 +7988,7 @@ export declare class AvmCircuitInputs {
                 }, {
                     daGas: string | number | bigint;
                     l2Gas: string | number | bigint;
-                }>, import("../gas/gas.js").Gas, {
+                }>, Gas, {
                     daGas: string | number | bigint;
                     l2Gas: string | number | bigint;
                 }>;
@@ -7453,7 +8001,7 @@ export declare class AvmCircuitInputs {
                 }, {
                     daGas: string | number | bigint;
                     l2Gas: string | number | bigint;
-                }>, import("../gas/gas.js").Gas, {
+                }>, Gas, {
                     daGas: string | number | bigint;
                     l2Gas: string | number | bigint;
                 }>;
@@ -7484,8 +8032,8 @@ export declare class AvmCircuitInputs {
                     feePerL2Gas: string;
                 }>;
             }, "strip", z.ZodTypeAny, {
-                gasLimits: import("../gas/gas.js").Gas;
-                teardownGasLimits: import("../gas/gas.js").Gas;
+                gasLimits: Gas;
+                teardownGasLimits: Gas;
                 maxFeesPerGas: import("../gas/gas_fees.js").GasFees;
                 maxPriorityFeesPerGas: import("../gas/gas_fees.js").GasFees;
             }, {
@@ -7505,7 +8053,7 @@ export declare class AvmCircuitInputs {
                     feePerDaGas: string;
                     feePerL2Gas: string;
                 };
-            }>, import("../gas/gas_settings.js").GasSettings, {
+            }>, GasSettings, {
                 gasLimits: {
                     daGas: string | number | bigint;
                     l2Gas: string | number | bigint;
@@ -7524,6 +8072,23 @@ export declare class AvmCircuitInputs {
                 };
             }>;
             feePayer: import("@aztec/foundation/schemas").ZodFor<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<AztecAddress>;
                 contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
@@ -7857,10 +8422,35 @@ export declare class AvmCircuitInputs {
             }, {
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
-            }>, import("../gas/gas.js").Gas, {
+            }>, Gas, {
                 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<Fr, any, string>, "many">;
                 nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
@@ -7958,12 +8548,13 @@ export declare class AvmCircuitInputs {
             reverted: z.ZodBoolean;
         }, "strip", z.ZodTypeAny, {
             globalVariables: GlobalVariables;
-            gasSettings: import("../gas/gas_settings.js").GasSettings;
+            gasSettings: GasSettings;
             publicTeardownCallRequest: import("../kernel/public_call_request.js").PublicCallRequest;
             transactionFee: Fr;
             feePayer: AztecAddress;
             startTreeSnapshots: TreeSnapshots;
-            startGasUsed: import("../gas/gas.js").Gas;
+            startGasUsed: 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;
@@ -7971,7 +8562,8 @@ export declare class AvmCircuitInputs {
             previousNonRevertibleAccumulatedData: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData;
             previousRevertibleAccumulatedData: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData;
             endTreeSnapshots: TreeSnapshots;
-            endGasUsed: import("../gas/gas.js").Gas;
+            endGasUsed: Gas;
+            accumulatedDataArrayLengths: import("./avm_accumulated_data.js").AvmAccumulatedDataArrayLengths;
             accumulatedData: import("./avm_accumulated_data.js").AvmAccumulatedData;
             reverted: boolean;
         }, {
@@ -8035,6 +8627,11 @@ export declare class AvmCircuitInputs {
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            publicCallRequestArrayLengths: {
+                setupCalls: number;
+                appLogicCalls: number;
+                teardownCall: boolean;
+            };
             publicSetupCallRequests: {
                 isStaticCall: boolean;
                 calldataHash: string;
@@ -8103,6 +8700,13 @@ export declare class AvmCircuitInputs {
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            accumulatedDataArrayLengths: {
+                noteHashes: number;
+                nullifiers: number;
+                l2ToL1Msgs: number;
+                publicLogs: number;
+                publicDataWrites: number;
+            };
             accumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -8183,6 +8787,11 @@ export declare class AvmCircuitInputs {
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            publicCallRequestArrayLengths: {
+                setupCalls: number;
+                appLogicCalls: number;
+                teardownCall: boolean;
+            };
             publicSetupCallRequests: {
                 isStaticCall: boolean;
                 calldataHash: string;
@@ -8251,6 +8860,13 @@ export declare class AvmCircuitInputs {
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            accumulatedDataArrayLengths: {
+                noteHashes: number;
+                nullifiers: number;
+                l2ToL1Msgs: number;
+                publicLogs: number;
+                publicDataWrites: number;
+            };
             accumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -8336,6 +8952,11 @@ export declare class AvmCircuitInputs {
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            publicCallRequestArrayLengths: {
+                setupCalls: number;
+                appLogicCalls: number;
+                teardownCall: boolean;
+            };
             publicSetupCallRequests: {
                 isStaticCall: boolean;
                 calldataHash: string;
@@ -8404,6 +9025,13 @@ export declare class AvmCircuitInputs {
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            accumulatedDataArrayLengths: {
+                noteHashes: number;
+                nullifiers: number;
+                l2ToL1Msgs: number;
+                publicLogs: number;
+                publicDataWrites: number;
+            };
             accumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -8440,6 +9068,24 @@ export declare class AvmCircuitInputs {
                     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[];
@@ -8466,6 +9112,10 @@ export declare class AvmCircuitInputs {
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;
@@ -8814,6 +9464,11 @@ export declare class AvmCircuitInputs {
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            publicCallRequestArrayLengths: {
+                setupCalls: number;
+                appLogicCalls: number;
+                teardownCall: boolean;
+            };
             publicSetupCallRequests: {
                 isStaticCall: boolean;
                 calldataHash: string;
@@ -8882,6 +9537,13 @@ export declare class AvmCircuitInputs {
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            accumulatedDataArrayLengths: {
+                noteHashes: number;
+                nullifiers: number;
+                l2ToL1Msgs: number;
+                publicLogs: number;
+                publicDataWrites: number;
+            };
             accumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -8918,6 +9580,24 @@ export declare class AvmCircuitInputs {
                     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[];
@@ -8944,6 +9624,10 @@ export declare class AvmCircuitInputs {
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;