@aztec/stdlib 0.87.7 → 1.0.0-nightly.20250604

package/dest/avm/avm.d.ts

@@ -1,7 +1,10 @@
 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 { ScopedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
 import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
 import { MerkleTreeId } from '../trees/merkle_tree_id.js';
 import { NullifierLeafPreimage } from '../trees/nullifier_leaf.js';
@@ -1746,24 +1749,30 @@ export declare class AvmEnqueuedCallHint {
 export declare class AvmTxHint {
     readonly hash: string;
     readonly globalVariables: GlobalVariables;
+    readonly gasSettings: GasSettings;
     readonly nonRevertibleAccumulatedData: {
         noteHashes: Fr[];
         nullifiers: Fr[];
+        l2ToL1Messages: ScopedL2ToL1Message[];
     };
     readonly revertibleAccumulatedData: {
         noteHashes: Fr[];
         nullifiers: Fr[];
+        l2ToL1Messages: ScopedL2ToL1Message[];
     };
     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[];
+        l2ToL1Messages: ScopedL2ToL1Message[];
     }, revertibleAccumulatedData: {
         noteHashes: Fr[];
         nullifiers: Fr[];
-    }, setupEnqueuedCalls: AvmEnqueuedCallHint[], appLogicEnqueuedCalls: AvmEnqueuedCallHint[], teardownEnqueuedCall: AvmEnqueuedCallHint | null);
+        l2ToL1Messages: ScopedL2ToL1Message[];
+    }, 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,25 +1832,210 @@ 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">;
+            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<Fr, any, string>;
+                    counter: z.ZodNumber;
+                }, "strip", z.ZodTypeAny, {
+                    counter: number;
+                    recipient: import("@aztec/foundation/schemas").EthAddress;
+                    content: Fr;
+                }, {
+                    counter: number;
+                    recipient: string;
+                    content: string;
+                }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                    counter: number;
+                    recipient: string;
+                    content: string;
+                }>;
+                contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+            }, "strip", z.ZodTypeAny, {
+                message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                contractAddress: AztecAddress;
+            }, {
+                message: {
+                    counter: number;
+                    recipient: string;
+                    content: string;
+                };
+                contractAddress?: any;
+            }>, ScopedL2ToL1Message, {
+                message: {
+                    counter: number;
+                    recipient: string;
+                    content: string;
+                };
+                contractAddress?: any;
+            }>, "many">;
         }, "strip", z.ZodTypeAny, {
             noteHashes: Fr[];
             nullifiers: Fr[];
+            l2ToL1Messages: ScopedL2ToL1Message[];
         }, {
             noteHashes: string[];
             nullifiers: string[];
+            l2ToL1Messages: {
+                message: {
+                    counter: number;
+                    recipient: string;
+                    content: string;
+                };
+                contractAddress?: any;
+            }[];
         }>;
         revertibleAccumulatedData: z.ZodObject<{
             noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
             nullifiers: z.ZodArray<z.ZodType<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<Fr, any, string>;
+                    counter: z.ZodNumber;
+                }, "strip", z.ZodTypeAny, {
+                    counter: number;
+                    recipient: import("@aztec/foundation/schemas").EthAddress;
+                    content: Fr;
+                }, {
+                    counter: number;
+                    recipient: string;
+                    content: string;
+                }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                    counter: number;
+                    recipient: string;
+                    content: string;
+                }>;
+                contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+            }, "strip", z.ZodTypeAny, {
+                message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                contractAddress: AztecAddress;
+            }, {
+                message: {
+                    counter: number;
+                    recipient: string;
+                    content: string;
+                };
+                contractAddress?: any;
+            }>, ScopedL2ToL1Message, {
+                message: {
+                    counter: number;
+                    recipient: string;
+                    content: string;
+                };
+                contractAddress?: any;
+            }>, "many">;
         }, "strip", z.ZodTypeAny, {
             noteHashes: Fr[];
             nullifiers: Fr[];
+            l2ToL1Messages: ScopedL2ToL1Message[];
         }, {
             noteHashes: string[];
             nullifiers: string[];
+            l2ToL1Messages: {
+                message: {
+                    counter: number;
+                    recipient: string;
+                    content: string;
+                };
+                contractAddress?: any;
+            }[];
         }>;
         setupEnqueuedCalls: z.ZodArray<z.ZodEffects<z.ZodObject<{
             msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
@@ -1906,20 +2100,37 @@ 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[];
+            l2ToL1Messages: ScopedL2ToL1Message[];
         };
         revertibleAccumulatedData: {
             noteHashes: Fr[];
             nullifiers: Fr[];
+            l2ToL1Messages: ScopedL2ToL1Message[];
         };
         setupEnqueuedCalls: AvmEnqueuedCallHint[];
         appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
         teardownEnqueuedCall: AvmEnqueuedCallHint | null;
+        gasUsedByPrivate: Gas;
     }, {
         hash: string;
         globalVariables: {
@@ -1935,13 +2146,47 @@ 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[];
+            l2ToL1Messages: {
+                message: {
+                    counter: number;
+                    recipient: string;
+                    content: string;
+                };
+                contractAddress?: any;
+            }[];
         };
         revertibleAccumulatedData: {
             noteHashes: string[];
             nullifiers: string[];
+            l2ToL1Messages: {
+                message: {
+                    counter: number;
+                    recipient: string;
+                    content: string;
+                };
+                contractAddress?: any;
+            }[];
         };
         setupEnqueuedCalls: {
             isStaticCall: boolean;
@@ -1961,6 +2206,10 @@ export declare class AvmTxHint {
             contractAddress?: any;
             msgSender?: any;
         } | null;
+        gasUsedByPrivate: {
+            daGas: string | number | bigint;
+            l2Gas: string | number | bigint;
+        };
     }>, AvmTxHint, {
         hash: string;
         globalVariables: {
@@ -1976,13 +2225,47 @@ 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[];
+            l2ToL1Messages: {
+                message: {
+                    counter: number;
+                    recipient: string;
+                    content: string;
+                };
+                contractAddress?: any;
+            }[];
         };
         revertibleAccumulatedData: {
             noteHashes: string[];
             nullifiers: string[];
+            l2ToL1Messages: {
+                message: {
+                    counter: number;
+                    recipient: string;
+                    content: string;
+                };
+                contractAddress?: any;
+            }[];
         };
         setupEnqueuedCalls: {
             isStaticCall: boolean;
@@ -2002,6 +2285,10 @@ export declare class AvmTxHint {
             contractAddress?: any;
             msgSender?: any;
         } | null;
+        gasUsedByPrivate: {
+            daGas: string | number | bigint;
+            l2Gas: string | number | bigint;
+        };
     }>;
 }
 export declare class AvmExecutionHints {
@@ -2081,25 +2368,210 @@ 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">;
+                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<Fr, any, string>;
+                        counter: z.ZodNumber;
+                    }, "strip", z.ZodTypeAny, {
+                        counter: number;
+                        recipient: import("@aztec/foundation/schemas").EthAddress;
+                        content: Fr;
+                    }, {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    }>;
+                    contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                }, "strip", z.ZodTypeAny, {
+                    message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                    contractAddress: AztecAddress;
+                }, {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }>, ScopedL2ToL1Message, {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }>, "many">;
             }, "strip", z.ZodTypeAny, {
                 noteHashes: Fr[];
                 nullifiers: Fr[];
+                l2ToL1Messages: ScopedL2ToL1Message[];
             }, {
                 noteHashes: string[];
                 nullifiers: string[];
+                l2ToL1Messages: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
             }>;
             revertibleAccumulatedData: z.ZodObject<{
                 noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
                 nullifiers: z.ZodArray<z.ZodType<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<Fr, any, string>;
+                        counter: z.ZodNumber;
+                    }, "strip", z.ZodTypeAny, {
+                        counter: number;
+                        recipient: import("@aztec/foundation/schemas").EthAddress;
+                        content: Fr;
+                    }, {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    }>;
+                    contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                }, "strip", z.ZodTypeAny, {
+                    message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                    contractAddress: AztecAddress;
+                }, {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }>, ScopedL2ToL1Message, {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }>, "many">;
             }, "strip", z.ZodTypeAny, {
                 noteHashes: Fr[];
                 nullifiers: Fr[];
+                l2ToL1Messages: ScopedL2ToL1Message[];
             }, {
                 noteHashes: string[];
                 nullifiers: string[];
+                l2ToL1Messages: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
             }>;
             setupEnqueuedCalls: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
@@ -2164,20 +2636,37 @@ 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[];
+                l2ToL1Messages: ScopedL2ToL1Message[];
             };
             revertibleAccumulatedData: {
                 noteHashes: Fr[];
                 nullifiers: Fr[];
+                l2ToL1Messages: ScopedL2ToL1Message[];
             };
             setupEnqueuedCalls: AvmEnqueuedCallHint[];
             appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
             teardownEnqueuedCall: AvmEnqueuedCallHint | null;
+            gasUsedByPrivate: Gas;
         }, {
             hash: string;
             globalVariables: {
@@ -2193,13 +2682,47 @@ 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[];
+                l2ToL1Messages: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
             };
             revertibleAccumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
+                l2ToL1Messages: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
             };
             setupEnqueuedCalls: {
                 isStaticCall: boolean;
@@ -2219,6 +2742,10 @@ export declare class AvmExecutionHints {
                 contractAddress?: any;
                 msgSender?: any;
             } | null;
+            gasUsedByPrivate: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
         }>, AvmTxHint, {
             hash: string;
             globalVariables: {
@@ -2234,13 +2761,47 @@ 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[];
+                l2ToL1Messages: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
             };
             revertibleAccumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
+                l2ToL1Messages: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
             };
             setupEnqueuedCalls: {
                 isStaticCall: boolean;
@@ -2260,6 +2821,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>;
@@ -3995,21 +4560,55 @@ export declare class AvmExecutionHints {
                     feePerDaGas: string;
                     feePerL2Gas: string;
                 };
-                chainId?: any;
-                version?: any;
-                blockNumber?: any;
-                slotNumber?: any;
-                timestamp?: any;
-                coinbase?: any;
-                feeRecipient?: any;
+                chainId?: any;
+                version?: any;
+                blockNumber?: any;
+                slotNumber?: any;
+                timestamp?: any;
+                coinbase?: any;
+                feeRecipient?: any;
+            };
+            gasSettings: {
+                gasLimits: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
+                teardownGasLimits: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
+                maxFeesPerGas: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
+                maxPriorityFeesPerGas: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                };
             };
             nonRevertibleAccumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
+                l2ToL1Messages: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
             };
             revertibleAccumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
+                l2ToL1Messages: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
             };
             setupEnqueuedCalls: {
                 isStaticCall: boolean;
@@ -4029,6 +4628,10 @@ export declare class AvmExecutionHints {
                 contractAddress?: any;
                 msgSender?: any;
             } | null;
+            gasUsedByPrivate: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
         };
         contractInstances: {
             salt: string;
@@ -4330,13 +4933,47 @@ 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[];
+                l2ToL1Messages: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
             };
             revertibleAccumulatedData: {
                 noteHashes: string[];
                 nullifiers: string[];
+                l2ToL1Messages: {
+                    message: {
+                        counter: number;
+                        recipient: string;
+                        content: string;
+                    };
+                    contractAddress?: any;
+                }[];
             };
             setupEnqueuedCalls: {
                 isStaticCall: boolean;
@@ -4356,6 +4993,10 @@ export declare class AvmExecutionHints {
                 contractAddress?: any;
                 msgSender?: any;
             } | null;
+            gasUsedByPrivate: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
         };
         contractInstances: {
             salt: string;
@@ -4707,25 +5348,210 @@ 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">;
+                    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<Fr, any, string>;
+                            counter: z.ZodNumber;
+                        }, "strip", z.ZodTypeAny, {
+                            counter: number;
+                            recipient: import("@aztec/foundation/schemas").EthAddress;
+                            content: Fr;
+                        }, {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        }>;
+                        contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                    }, "strip", z.ZodTypeAny, {
+                        message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                        contractAddress: AztecAddress;
+                    }, {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }>, ScopedL2ToL1Message, {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }>, "many">;
                 }, "strip", z.ZodTypeAny, {
                     noteHashes: Fr[];
                     nullifiers: Fr[];
+                    l2ToL1Messages: ScopedL2ToL1Message[];
                 }, {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
                 }>;
                 revertibleAccumulatedData: z.ZodObject<{
                     noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
                     nullifiers: z.ZodArray<z.ZodType<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<Fr, any, string>;
+                            counter: z.ZodNumber;
+                        }, "strip", z.ZodTypeAny, {
+                            counter: number;
+                            recipient: import("@aztec/foundation/schemas").EthAddress;
+                            content: Fr;
+                        }, {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        }>;
+                        contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+                    }, "strip", z.ZodTypeAny, {
+                        message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+                        contractAddress: AztecAddress;
+                    }, {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }>, ScopedL2ToL1Message, {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }>, "many">;
                 }, "strip", z.ZodTypeAny, {
                     noteHashes: Fr[];
                     nullifiers: Fr[];
+                    l2ToL1Messages: ScopedL2ToL1Message[];
                 }, {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
                 }>;
                 setupEnqueuedCalls: z.ZodArray<z.ZodEffects<z.ZodObject<{
                     msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
@@ -4790,20 +5616,37 @@ 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[];
+                    l2ToL1Messages: ScopedL2ToL1Message[];
                 };
                 revertibleAccumulatedData: {
                     noteHashes: Fr[];
                     nullifiers: Fr[];
+                    l2ToL1Messages: ScopedL2ToL1Message[];
                 };
                 setupEnqueuedCalls: AvmEnqueuedCallHint[];
                 appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
                 teardownEnqueuedCall: AvmEnqueuedCallHint | null;
+                gasUsedByPrivate: Gas;
             }, {
                 hash: string;
                 globalVariables: {
@@ -4819,13 +5662,47 @@ 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[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
                 };
                 revertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -4845,6 +5722,10 @@ export declare class AvmCircuitInputs {
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             }>, AvmTxHint, {
                 hash: string;
                 globalVariables: {
@@ -4860,13 +5741,47 @@ 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[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
                 };
                 revertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -4886,6 +5801,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,13 +7548,47 @@ 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[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
                 };
                 revertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -6655,6 +7608,10 @@ export declare class AvmCircuitInputs {
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;
@@ -6956,13 +7913,47 @@ 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[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
                 };
                 revertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -6982,6 +7973,10 @@ export declare class AvmCircuitInputs {
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;
@@ -7426,7 +8421,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 +8435,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 +8448,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 +8479,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 +8500,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 +8519,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>;
@@ -7653,7 +8665,7 @@ export declare class AvmCircuitInputs {
                         content: string;
                     };
                     contractAddress?: any;
-                }>, import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
+                }>, ScopedL2ToL1Message, {
                     message: {
                         counter: number;
                         recipient: string;
@@ -7664,7 +8676,7 @@ export declare class AvmCircuitInputs {
             }, "strip", z.ZodTypeAny, {
                 noteHashes: Fr[];
                 nullifiers: Fr[];
-                l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
+                l2ToL1Msgs: ScopedL2ToL1Message[];
             }, {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -7720,7 +8732,7 @@ export declare class AvmCircuitInputs {
                         content: string;
                     };
                     contractAddress?: any;
-                }>, import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
+                }>, ScopedL2ToL1Message, {
                     message: {
                         counter: number;
                         recipient: string;
@@ -7731,7 +8743,7 @@ export declare class AvmCircuitInputs {
             }, "strip", z.ZodTypeAny, {
                 noteHashes: Fr[];
                 nullifiers: Fr[];
-                l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
+                l2ToL1Msgs: ScopedL2ToL1Message[];
             }, {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -7857,10 +8869,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">;
@@ -7893,7 +8930,7 @@ export declare class AvmCircuitInputs {
                         content: string;
                     };
                     contractAddress?: any;
-                }>, import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
+                }>, ScopedL2ToL1Message, {
                     message: {
                         counter: number;
                         recipient: string;
@@ -7918,7 +8955,7 @@ export declare class AvmCircuitInputs {
             }, "strip", z.ZodTypeAny, {
                 noteHashes: Fr[];
                 nullifiers: Fr[];
-                l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
+                l2ToL1Msgs: ScopedL2ToL1Message[];
                 publicLogs: import("../logs/public_log.js").PublicLog[];
                 publicDataWrites: import("./public_data_write.js").PublicDataWrite[];
             }, {
@@ -7958,12 +8995,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 +9009,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 +9074,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 +9147,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 +9234,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 +9307,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 +9399,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 +9472,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,13 +9515,47 @@ 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[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
                 };
                 revertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -8466,6 +9575,10 @@ export declare class AvmCircuitInputs {
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;
@@ -8814,6 +9927,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 +10000,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,13 +10043,47 @@ 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[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
                 };
                 revertibleAccumulatedData: {
                     noteHashes: string[];
                     nullifiers: string[];
+                    l2ToL1Messages: {
+                        message: {
+                            counter: number;
+                            recipient: string;
+                            content: string;
+                        };
+                        contractAddress?: any;
+                    }[];
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -8944,6 +10103,10 @@ export declare class AvmCircuitInputs {
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;