@aztec/stdlib 0.87.7 → 1.0.0-nightly.20250605

package/dest/avm/avm.d.ts

@@ -1,7 +1,11 @@
 import { Fr } from '@aztec/foundation/fields';
 import { z } from 'zod';
 import { AztecAddress } from '../aztec-address/index.js';
+import { Gas } from '../gas/gas.js';
+import { GasFees } from '../gas/gas_fees.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 +1750,31 @@ export declare class AvmEnqueuedCallHint {
 export declare class AvmTxHint {
     readonly hash: string;
     readonly globalVariables: GlobalVariables;
+    readonly gasSettings: GasSettings;
+    readonly effectiveGasFees: GasFees;
     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, effectiveGasFees: GasFees, 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<{
@@ -1785,7 +1796,7 @@ export declare class AvmTxHint {
             }, {
                 feePerDaGas: string;
                 feePerL2Gas: string;
-            }>, import("../gas/gas_fees.js").GasFees, {
+            }>, GasFees, {
                 feePerDaGas: string;
                 feePerL2Gas: string;
             }>;
@@ -1797,7 +1808,7 @@ export declare class AvmTxHint {
             timestamp: Fr;
             coinbase: import("@aztec/foundation/schemas").EthAddress;
             feeRecipient: AztecAddress;
-            gasFees: import("../gas/gas_fees.js").GasFees;
+            gasFees: GasFees;
         }, {
             gasFees: {
                 feePerDaGas: string;
@@ -1823,25 +1834,223 @@ 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;
+            }>, 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;
+            }>, GasFees, {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            }>;
+        }, "strip", z.ZodTypeAny, {
+            gasLimits: Gas;
+            teardownGasLimits: Gas;
+            maxFeesPerGas: GasFees;
+            maxPriorityFeesPerGas: 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;
+            };
+        }>;
+        effectiveGasFees: 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;
+        }>, GasFees, {
+            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 +2115,38 @@ 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[];
         };
+        effectiveGasFees: GasFees;
         setupEnqueuedCalls: AvmEnqueuedCallHint[];
         appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
         teardownEnqueuedCall: AvmEnqueuedCallHint | null;
+        gasUsedByPrivate: Gas;
     }, {
         hash: string;
         globalVariables: {
@@ -1935,13 +2162,51 @@ 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;
+            }[];
+        };
+        effectiveGasFees: {
+            feePerDaGas: string;
+            feePerL2Gas: string;
         };
         setupEnqueuedCalls: {
             isStaticCall: boolean;
@@ -1961,6 +2226,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 +2245,51 @@ 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;
+            }[];
+        };
+        effectiveGasFees: {
+            feePerDaGas: string;
+            feePerL2Gas: string;
         };
         setupEnqueuedCalls: {
             isStaticCall: boolean;
@@ -2002,6 +2309,10 @@ export declare class AvmTxHint {
             contractAddress?: any;
             msgSender?: any;
         } | null;
+        gasUsedByPrivate: {
+            daGas: string | number | bigint;
+            l2Gas: string | number | bigint;
+        };
     }>;
 }
 export declare class AvmExecutionHints {
@@ -2043,7 +2354,7 @@ export declare class AvmExecutionHints {
                 }, {
                     feePerDaGas: string;
                     feePerL2Gas: string;
-                }>, import("../gas/gas_fees.js").GasFees, {
+                }>, GasFees, {
                     feePerDaGas: string;
                     feePerL2Gas: string;
                 }>;
@@ -2055,7 +2366,7 @@ export declare class AvmExecutionHints {
                 timestamp: Fr;
                 coinbase: import("@aztec/foundation/schemas").EthAddress;
                 feeRecipient: AztecAddress;
-                gasFees: import("../gas/gas_fees.js").GasFees;
+                gasFees: GasFees;
             }, {
                 gasFees: {
                     feePerDaGas: string;
@@ -2081,25 +2392,223 @@ 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;
+                }>, 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;
+                }>, GasFees, {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
+                }>;
+            }, "strip", z.ZodTypeAny, {
+                gasLimits: Gas;
+                teardownGasLimits: Gas;
+                maxFeesPerGas: GasFees;
+                maxPriorityFeesPerGas: 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;
+                };
+            }>;
+            effectiveGasFees: 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;
+            }>, GasFees, {
+                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 +2673,38 @@ 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[];
             };
+            effectiveGasFees: GasFees;
             setupEnqueuedCalls: AvmEnqueuedCallHint[];
             appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
             teardownEnqueuedCall: AvmEnqueuedCallHint | null;
+            gasUsedByPrivate: Gas;
         }, {
             hash: string;
             globalVariables: {
@@ -2193,13 +2720,51 @@ 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;
+                }[];
+            };
+            effectiveGasFees: {
+                feePerDaGas: string;
+                feePerL2Gas: string;
             };
             setupEnqueuedCalls: {
                 isStaticCall: boolean;
@@ -2219,6 +2784,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 +2803,51 @@ 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;
+                }[];
+            };
+            effectiveGasFees: {
+                feePerDaGas: string;
+                feePerL2Gas: string;
             };
             setupEnqueuedCalls: {
                 isStaticCall: boolean;
@@ -2260,6 +2867,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,13 +4614,51 @@ 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;
+                }[];
+            };
+            effectiveGasFees: {
+                feePerDaGas: string;
+                feePerL2Gas: string;
             };
             setupEnqueuedCalls: {
                 isStaticCall: boolean;
@@ -4029,6 +4678,10 @@ export declare class AvmExecutionHints {
                 contractAddress?: any;
                 msgSender?: any;
             } | null;
+            gasUsedByPrivate: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
         };
         contractInstances: {
             salt: string;
@@ -4330,13 +4983,51 @@ 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;
+                }[];
             };
-            revertibleAccumulatedData: {
-                noteHashes: string[];
-                nullifiers: string[];
+            effectiveGasFees: {
+                feePerDaGas: string;
+                feePerL2Gas: string;
             };
             setupEnqueuedCalls: {
                 isStaticCall: boolean;
@@ -4356,6 +5047,10 @@ export declare class AvmExecutionHints {
                 contractAddress?: any;
                 msgSender?: any;
             } | null;
+            gasUsedByPrivate: {
+                daGas: string | number | bigint;
+                l2Gas: string | number | bigint;
+            };
         };
         contractInstances: {
             salt: string;
@@ -4669,7 +5364,7 @@ export declare class AvmCircuitInputs {
                     }, {
                         feePerDaGas: string;
                         feePerL2Gas: string;
-                    }>, import("../gas/gas_fees.js").GasFees, {
+                    }>, GasFees, {
                         feePerDaGas: string;
                         feePerL2Gas: string;
                     }>;
@@ -4681,7 +5376,7 @@ export declare class AvmCircuitInputs {
                     timestamp: Fr;
                     coinbase: import("@aztec/foundation/schemas").EthAddress;
                     feeRecipient: AztecAddress;
-                    gasFees: import("../gas/gas_fees.js").GasFees;
+                    gasFees: GasFees;
                 }, {
                     gasFees: {
                         feePerDaGas: string;
@@ -4707,25 +5402,223 @@ 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;
+                    }>, 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;
+                    }>, GasFees, {
+                        feePerDaGas: string;
+                        feePerL2Gas: string;
+                    }>;
+                }, "strip", z.ZodTypeAny, {
+                    gasLimits: Gas;
+                    teardownGasLimits: Gas;
+                    maxFeesPerGas: GasFees;
+                    maxPriorityFeesPerGas: 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;
+                    };
+                }>;
+                effectiveGasFees: 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;
+                }>, GasFees, {
+                    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 +5683,38 @@ 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[];
                 };
+                effectiveGasFees: GasFees;
                 setupEnqueuedCalls: AvmEnqueuedCallHint[];
                 appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
                 teardownEnqueuedCall: AvmEnqueuedCallHint | null;
+                gasUsedByPrivate: Gas;
             }, {
                 hash: string;
                 globalVariables: {
@@ -4819,13 +5730,51 @@ 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;
+                    }[];
+                };
+                effectiveGasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -4845,6 +5794,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 +5813,51 @@ 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;
+                    }[];
+                };
+                effectiveGasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -4886,6 +5877,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 +7624,51 @@ 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;
+                    }[];
+                };
+                effectiveGasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -6655,6 +7688,10 @@ export declare class AvmCircuitInputs {
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;
@@ -6956,13 +7993,51 @@ 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;
+                    }[];
+                };
+                effectiveGasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -6982,6 +8057,10 @@ export declare class AvmCircuitInputs {
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;
@@ -7286,7 +8365,7 @@ export declare class AvmCircuitInputs {
                 }, {
                     feePerDaGas: string;
                     feePerL2Gas: string;
-                }>, import("../gas/gas_fees.js").GasFees, {
+                }>, GasFees, {
                     feePerDaGas: string;
                     feePerL2Gas: string;
                 }>;
@@ -7298,7 +8377,7 @@ export declare class AvmCircuitInputs {
                 timestamp: Fr;
                 coinbase: import("@aztec/foundation/schemas").EthAddress;
                 feeRecipient: AztecAddress;
-                gasFees: import("../gas/gas_fees.js").GasFees;
+                gasFees: GasFees;
             }, {
                 gasFees: {
                     feePerDaGas: string;
@@ -7426,7 +8505,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 +8519,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 +8532,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;
                 }>;
@@ -7466,7 +8545,7 @@ export declare class AvmCircuitInputs {
                 }, {
                     feePerDaGas: string;
                     feePerL2Gas: string;
-                }>, import("../gas/gas_fees.js").GasFees, {
+                }>, GasFees, {
                     feePerDaGas: string;
                     feePerL2Gas: string;
                 }>;
@@ -7479,15 +8558,15 @@ export declare class AvmCircuitInputs {
                 }, {
                     feePerDaGas: string;
                     feePerL2Gas: string;
-                }>, import("../gas/gas_fees.js").GasFees, {
+                }>, GasFees, {
                     feePerDaGas: string;
                     feePerL2Gas: string;
                 }>;
             }, "strip", z.ZodTypeAny, {
-                gasLimits: import("../gas/gas.js").Gas;
-                teardownGasLimits: import("../gas/gas.js").Gas;
-                maxFeesPerGas: import("../gas/gas_fees.js").GasFees;
-                maxPriorityFeesPerGas: import("../gas/gas_fees.js").GasFees;
+                gasLimits: Gas;
+                teardownGasLimits: Gas;
+                maxFeesPerGas: GasFees;
+                maxPriorityFeesPerGas: GasFees;
             }, {
                 gasLimits: {
                     daGas: string | number | bigint;
@@ -7505,7 +8584,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;
@@ -7523,7 +8602,37 @@ export declare class AvmCircuitInputs {
                     feePerL2Gas: string;
                 };
             }>;
+            effectiveGasFees: 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;
+            }>, GasFees, {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            }>;
             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 +8762,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 +8773,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 +8829,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 +8840,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 +8966,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 +9027,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 +9052,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 +9092,14 @@ 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;
+            effectiveGasFees: GasFees;
             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 +9107,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;
         }, {
@@ -8013,6 +9150,10 @@ export declare class AvmCircuitInputs {
                 msgSender?: any;
             };
             transactionFee: string;
+            effectiveGasFees: {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            };
             startTreeSnapshots: {
                 noteHashTree: {
                     root: string;
@@ -8035,6 +9176,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 +9249,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[];
@@ -8161,6 +9314,10 @@ export declare class AvmCircuitInputs {
                 msgSender?: any;
             };
             transactionFee: string;
+            effectiveGasFees: {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            };
             startTreeSnapshots: {
                 noteHashTree: {
                     root: string;
@@ -8183,6 +9340,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 +9413,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[];
@@ -8314,6 +9483,10 @@ export declare class AvmCircuitInputs {
                 msgSender?: any;
             };
             transactionFee: string;
+            effectiveGasFees: {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            };
             startTreeSnapshots: {
                 noteHashTree: {
                     root: string;
@@ -8336,6 +9509,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 +9582,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 +9625,51 @@ 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;
+                    }[];
+                };
+                effectiveGasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -8466,6 +9689,10 @@ export declare class AvmCircuitInputs {
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;
@@ -8792,6 +10019,10 @@ export declare class AvmCircuitInputs {
                 msgSender?: any;
             };
             transactionFee: string;
+            effectiveGasFees: {
+                feePerDaGas: string;
+                feePerL2Gas: string;
+            };
             startTreeSnapshots: {
                 noteHashTree: {
                     root: string;
@@ -8814,6 +10045,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 +10118,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 +10161,51 @@ 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;
+                    }[];
+                };
+                effectiveGasFees: {
+                    feePerDaGas: string;
+                    feePerL2Gas: string;
                 };
                 setupEnqueuedCalls: {
                     isStaticCall: boolean;
@@ -8944,6 +10225,10 @@ export declare class AvmCircuitInputs {
                     contractAddress?: any;
                     msgSender?: any;
                 } | null;
+                gasUsedByPrivate: {
+                    daGas: string | number | bigint;
+                    l2Gas: string | number | bigint;
+                };
             };
             contractInstances: {
                 salt: string;