@aztec/constants 0.0.1-commit.f2ce05ee → 0.0.1-commit.f5a9928

package/src/constants.ts

@@ -4,29 +4,62 @@ import { Fr } from '@aztec/foundation/curves/bn254';
 // Re-export L2 block number constants with proper BlockNumber type
 // Note: The generated constants are plain numbers, but we provide typed versions here
 import {
+  DA_GAS_PER_FIELD,
   GENESIS_BLOCK_HEADER_HASH as GENESIS_BLOCK_HEADER_HASH_BIGINT,
   INITIAL_CHECKPOINT_NUMBER as INITIAL_CHECKPOINT_NUM_RAW,
   INITIAL_L2_BLOCK_NUM as INITIAL_L2_BLOCK_NUM_RAW,
+  MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT as MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT_RAW,
+  MAX_TX_BLOB_DATA_SIZE_IN_FIELDS,
 } from './constants.gen.js';
 
 // Typescript-land-only constants
 export const SPONSORED_FPC_SALT = BigInt(0);
 
+/**
+ * Network-minimum per-block budget multiplier for L2 gas / tx count. Operators may configure a higher value,
+ * but never lower: a node admitting txs under a smaller multiplier would accept work it can never pack.
+ */
+export const MIN_PER_BLOCK_ALLOCATION_MULTIPLIER = 1.2;
+
+/**
+ * Network-minimum per-block budget multiplier for DA gas / blob fields. See
+ * {@link MIN_PER_BLOCK_ALLOCATION_MULTIPLIER}. The DA-specific operator knob and its runtime enforcement land
+ * with the network tx admission limits (#23947); until then this constant is documentation of the network
+ * minimum only.
+ */
+export const MIN_PER_BLOCK_DA_ALLOCATION_MULTIPLIER = 1.5;
+
+/**
+ * The most DA gas a single tx can consume. A tx's effects cannot encode more than
+ * MAX_TX_BLOB_DATA_SIZE_IN_FIELDS fields in a blob, each costing DA_GAS_PER_FIELD, so this is the maximum
+ * DA gas a tx could ever use; declaring a higher limit is rejected by inbound validation.
+ */
+export const MAX_TX_DA_GAS = MAX_TX_BLOB_DATA_SIZE_IN_FIELDS * DA_GAS_PER_FIELD;
+
 // Autogenerated constants loaded from noir-land
 // eslint-disable-next-line import-x/export
 export * from './constants.gen.js';
 
 /** The initial L2 block number (typed as BlockNumber). This is the first block number in the Aztec L2 chain. */
-// Shadow the export from constants.gen above
 // eslint-disable-next-line import-x/export
 export const INITIAL_L2_BLOCK_NUM: BlockNumber = BlockNumber(INITIAL_L2_BLOCK_NUM_RAW);
 
 /** The initial L2 checkpoint number (typed as CheckpointNumber). This is the first checkpoint number in the Aztec L2 chain. */
-// Shadow the export from constants.gen above
-
-export const INITIAL_L2_CHECKPOINT_NUM: CheckpointNumber = CheckpointNumber(INITIAL_CHECKPOINT_NUM_RAW);
+// eslint-disable-next-line import-x/export
+export const INITIAL_CHECKPOINT_NUMBER: CheckpointNumber = CheckpointNumber(INITIAL_CHECKPOINT_NUM_RAW);
 
 /** The block header hash for the genesis block 0. */
-// Shadow the export from constants.gen above
 // eslint-disable-next-line import-x/export
 export const GENESIS_BLOCK_HEADER_HASH = new Fr(GENESIS_BLOCK_HEADER_HASH_BIGINT);
+
+/**
+ * The RAW DA capacity of a checkpoint's blobs: `BLOBS_PER_CHECKPOINT * FIELDS_PER_BLOB * DA_GAS_PER_FIELD`.
+ * This value is NOT attainable by transactions. The blob encoding reserves overhead fields that no tx pays
+ * DA gas for: a checkpoint-end marker field plus per-block block-end fields (7 for the first block in a
+ * checkpoint, 6 for each subsequent block — see `@aztec/blob-lib` encoding). The true tx-usable DA budget
+ * is lower and block-count-dependent; consumers budgeting tx data should subtract the encoding overhead (as
+ * `CheckpointBuilder` and the network tx gas limits in `@aztec/stdlib/gas` do) rather than use this value
+ * directly.
+ */
+// eslint-disable-next-line import-x/export
+export const MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT = MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT_RAW;