@aztec/constants 0.0.1-commit.2ed92850 → 0.0.1-commit.3100065

package/dest/constants.js

@@ -2,17 +2,40 @@ import { BlockNumber, CheckpointNumber } from '@aztec/foundation/branded-types';
 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 { 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 } from './constants.gen.js';
+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
+/** The initial L2 block number (typed as BlockNumber). This is the first block number in the Aztec L2 chain. */ // eslint-disable-next-line import-x/export
 export const INITIAL_L2_BLOCK_NUM = 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(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
+/** The initial L2 checkpoint number (typed as CheckpointNumber). This is the first checkpoint number in the Aztec L2 chain. */ // eslint-disable-next-line import-x/export
+export const INITIAL_CHECKPOINT_NUMBER = CheckpointNumber(INITIAL_CHECKPOINT_NUM_RAW);
+/** The block header hash for the genesis block 0. */ // 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;

package/dest/scripts/constants.in.js

@@ -3,9 +3,23 @@ import { dirname, join } from 'path';
 import { fileURLToPath } from 'url';
 const NOIR_CONSTANTS_FILE = '../../../../noir-projects/noir-protocol-circuits/crates/types/src/constants.nr';
 const TS_CONSTANTS_FILE = '../constants.gen.ts';
-const CPP_AZTEC_CONSTANTS_FILE = '../../../../barretenberg/cpp/src/barretenberg/vm2/common/aztec_constants.hpp';
+const CPP_AZTEC_CONSTANTS_FILE = '../../../../barretenberg/cpp/src/barretenberg/aztec/aztec_constants.hpp';
 const PIL_AZTEC_CONSTANTS_FILE = '../../../../barretenberg/cpp/pil/vm2/constants_gen.pil';
 const SOLIDITY_CONSTANTS_FILE = '../../../../l1-contracts/src/core/libraries/ConstantsGen.sol';
+// Additional Noir source files (outside constants.nr) to extract specific constants from, keyed by
+// file path (relative to this script) and the exact constant names to pull from each. Used for
+// constants that are defined alongside circuit code rather than in constants.nr, so they can be
+// exported to the generated TS constants without duplicating their definition. The referenced
+// constants may depend on constants.nr values, which are in scope because they are evaluated after
+// the main file's constants.
+const ADDITIONAL_NOIR_CONSTANT_FILES = [
+    {
+        file: '../../../../noir-projects/noir-protocol-circuits/crates/types/src/blob_data/tx_blob_data.nr',
+        constants: [
+            'MAX_TX_BLOB_DATA_SIZE_IN_FIELDS'
+        ]
+    }
+];
 // Whitelist of constants that will be copied to aztec_constants.hpp.
 // We don't copy everything as just a handful are needed, and updating them breaks the cache and triggers expensive bb builds.
 const CPP_CONSTANTS = [
@@ -21,12 +35,10 @@ const CPP_CONSTANTS = [
     'MEM_TAG_U128',
     'MEM_TAG_FF',
     'MAX_PACKED_PUBLIC_BYTECODE_SIZE_IN_FIELDS',
-    'CANONICAL_AUTH_REGISTRY_ADDRESS',
     'CONTRACT_INSTANCE_REGISTRY_CONTRACT_ADDRESS',
     'CONTRACT_CLASS_REGISTRY_CONTRACT_ADDRESS',
-    'MULTI_CALL_ENTRYPOINT_ADDRESS',
     'FEE_JUICE_ADDRESS',
-    'PUBLIC_CHECKS_ADDRESS',
+    'TX_DA_GAS_OVERHEAD',
     'FEE_JUICE_BALANCES_SLOT',
     'UPDATED_CLASS_IDS_SLOT',
     'UPDATES_DELAYED_PUBLIC_MUTABLE_VALUES_LEN',
@@ -42,6 +54,7 @@ const CPP_CONSTANTS = [
     'MAX_NOTE_HASHES_PER_TX',
     'MAX_NULLIFIERS_PER_TX',
     'MAX_L2_TO_L1_MSGS_PER_TX',
+    'MAX_PROCESSABLE_L2_GAS',
     'MAX_PUBLIC_LOGS_PER_TX',
     'MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX',
     'MAX_PUBLIC_CALLS_TO_UNIQUE_CONTRACT_CLASS_IDS',
@@ -109,21 +122,31 @@ const CPP_CONSTANTS = [
     'FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH',
     'PUBLIC_LOGS_LENGTH',
     'PUBLIC_LOG_HEADER_LENGTH',
+    'PUBLIC_TX_L2_GAS_OVERHEAD',
     'MAX_PROTOCOL_CONTRACTS',
     'DEFAULT_MAX_DEBUG_LOG_MEMORY_READS'
 ];
 const CPP_GENERATORS = [
+    'BLOCK_HEADER_HASH',
+    'SALTED_INITIALIZATION_HASH',
     'PARTIAL_ADDRESS',
-    'CONTRACT_ADDRESS_V1',
+    'CONTRACT_ADDRESS_V2',
     'CONTRACT_CLASS_ID',
     'PUBLIC_KEYS_HASH',
+    'SINGLE_PUBLIC_KEY_HASH',
     'NOTE_HASH_NONCE',
     'UNIQUE_NOTE_HASH',
     'SILOED_NOTE_HASH',
-    'OUTER_NULLIFIER',
-    'PUBLIC_LEAF_INDEX',
+    'SILOED_NULLIFIER',
+    'PUBLIC_LEAF_SLOT',
+    'PUBLIC_STORAGE_MAP_SLOT',
     'PUBLIC_CALLDATA',
-    'PUBLIC_BYTECODE'
+    'PUBLIC_BYTECODE',
+    'MERKLE_HASH',
+    'NULLIFIER_MERKLE',
+    'PUBLIC_DATA_MERKLE',
+    'WRITTEN_SLOTS_MERKLE',
+    'RETRIEVED_BYTECODES_MERKLE'
 ];
 const PIL_CONSTANTS = [
     'MAX_ETH_ADDRESS_VALUE',
@@ -157,12 +180,9 @@ const PIL_CONSTANTS = [
     'L1_TO_L2_MSG_TREE_HEIGHT',
     'UPDATED_CLASS_IDS_SLOT',
     'UPDATES_DELAYED_PUBLIC_MUTABLE_VALUES_LEN',
-    'CANONICAL_AUTH_REGISTRY_ADDRESS',
     'CONTRACT_INSTANCE_REGISTRY_CONTRACT_ADDRESS',
     'CONTRACT_CLASS_REGISTRY_CONTRACT_ADDRESS',
-    'MULTI_CALL_ENTRYPOINT_ADDRESS',
     'FEE_JUICE_ADDRESS',
-    'PUBLIC_CHECKS_ADDRESS',
     'FEE_JUICE_BALANCES_SLOT',
     'TIMESTAMP_OF_CHANGE_BIT_SIZE',
     'UPDATES_DELAYED_PUBLIC_MUTABLE_METADATA_BIT_SIZE',
@@ -246,10 +266,10 @@ const PIL_CONSTANTS = [
     'AVM_DYN_GAS_ID_RETURNDATACOPY',
     'AVM_DYN_GAS_ID_TORADIX',
     'AVM_DYN_GAS_ID_BITWISE',
-    'AVM_DYN_GAS_ID_EMITUNENCRYPTEDLOG',
+    'AVM_DYN_GAS_ID_EMITPUBLICLOG',
     'AVM_DYN_GAS_ID_SSTORE',
     'AVM_SUBTRACE_ID_GETCONTRACTINSTANCE',
-    'AVM_SUBTRACE_ID_EMITUNENCRYPTEDLOG',
+    'AVM_SUBTRACE_ID_EMITPUBLICLOG',
     'AVM_EXEC_OP_ID_GETENVVAR',
     'AVM_EXEC_OP_ID_MOV',
     'AVM_EXEC_OP_ID_JUMP',
@@ -298,17 +318,25 @@ const PIL_CONSTANTS = [
     'MAX_PROTOCOL_CONTRACTS'
 ];
 const PIL_GENERATORS = [
+    'SALTED_INITIALIZATION_HASH',
     'PARTIAL_ADDRESS',
-    'CONTRACT_ADDRESS_V1',
+    'CONTRACT_ADDRESS_V2',
     'CONTRACT_CLASS_ID',
     'PUBLIC_KEYS_HASH',
+    'SINGLE_PUBLIC_KEY_HASH',
     'NOTE_HASH_NONCE',
     'UNIQUE_NOTE_HASH',
     'SILOED_NOTE_HASH',
-    'OUTER_NULLIFIER',
-    'PUBLIC_LEAF_INDEX',
+    'SILOED_NULLIFIER',
+    'PUBLIC_LEAF_SLOT',
+    'PUBLIC_STORAGE_MAP_SLOT',
     'PUBLIC_CALLDATA',
-    'PUBLIC_BYTECODE'
+    'PUBLIC_BYTECODE',
+    'MERKLE_HASH',
+    'NULLIFIER_MERKLE',
+    'PUBLIC_DATA_MERKLE',
+    'WRITTEN_SLOTS_MERKLE',
+    'RETRIEVED_BYTECODES_MERKLE'
 ];
 const SOLIDITY_CONSTANTS = [
     'MAX_FIELD_VALUE',
@@ -322,7 +350,7 @@ const SOLIDITY_CONSTANTS = [
     'INITIAL_CHECKPOINT_NUMBER',
     'GENESIS_ARCHIVE_ROOT',
     'FEE_JUICE_ADDRESS',
-    'AZTEC_MAX_EPOCH_DURATION'
+    'MAX_CHECKPOINTS_PER_EPOCH'
 ];
 /**
  * Processes a collection of constants and generates code to export them as TypeScript constants.
@@ -357,7 +385,7 @@ const SOLIDITY_CONSTANTS = [
     });
     Object.entries(generatorIndices).forEach(([key, value])=>{
         if (CPP_GENERATORS.includes(key)) {
-            code.push(`#define DOM_SEP__${key} ${value}`);
+            code.push(`#define DOM_SEP__${key} ${value}UL`);
         }
     });
     return code.join('\n');
@@ -414,30 +442,30 @@ const SOLIDITY_CONSTANTS = [
 }
 /**
  * Generate the constants file in Typescript.
- */ function generateTypescriptConstants({ constants, generatorIndexEnum }, targetPath) {
+ */ function generateTypescriptConstants({ constants, domainSeparatorEnum }, targetPath) {
     const result = [
         '// GENERATED FILE - DO NOT EDIT, RUN yarn remake-constants',
         processConstantsTS(constants),
-        processEnumTS('GeneratorIndex', generatorIndexEnum)
+        processEnumTS('DomainSeparator', domainSeparatorEnum)
     ].join('\n');
     fs.writeFileSync(targetPath, result);
 }
 /**
  * Generate the constants file in C++.
- */ function generateCppConstants({ constants, generatorIndexEnum }, targetPath) {
+ */ function generateCppConstants({ constants, domainSeparatorEnum }, targetPath) {
     const resultCpp = `// GENERATED FILE - DO NOT EDIT, RUN yarn remake-constants in yarn-project/constants
 #pragma once
 
-${processConstantsCpp(constants, generatorIndexEnum)}
+${processConstantsCpp(constants, domainSeparatorEnum)}
 `;
     fs.writeFileSync(targetPath, resultCpp);
 }
 /**
  * Generate the constants file in PIL.
- */ function generatePilConstants({ constants, generatorIndexEnum }, targetPath) {
+ */ function generatePilConstants({ constants, domainSeparatorEnum }, targetPath) {
     const resultPil = `// GENERATED FILE - DO NOT EDIT, RUN yarn remake-constants in yarn-project/constants
 namespace constants;
-${processConstantsPil(constants, generatorIndexEnum)}
+${processConstantsPil(constants, domainSeparatorEnum)}
 \n`;
     fs.writeFileSync(targetPath, resultPil);
 }
@@ -465,16 +493,19 @@ ${processConstantsSolidity(constants)}
 }
 /**
  * Parse the content of the constants file in Noir.
- */ function parseNoirFile(fileContent) {
+ */ function parseNoirFile(fileContent, { stripLineComments = false } = {}) {
     const constantsExpressions = [];
-    const generatorIndexEnum = {};
+    const domainSeparatorEnum = {};
     const emptyExpression = ()=>({
             name: '',
             content: []
         });
     let expression = emptyExpression();
     fileContent.split('\n').forEach((l)=>{
-        const line = l.trim();
+        // Strip trailing `//` line comments so multi-line expressions with inline comments (e.g.
+        // MAX_TX_BLOB_DATA_SIZE_IN_FIELDS) parse correctly. Disabled for constants.nr to keep its
+        // existing parsing behavior byte-for-byte unchanged.
+        const line = (stripLineComments ? l.replace(/\/\/.*$/, '') : l).trim();
         if (!line) {
             // Empty line.
             return;
@@ -489,7 +520,7 @@ ${processConstantsSolidity(constants)}
                 const [, indexName] = name.match(/DOM_SEP__(\w+)/) || [];
                 if (indexName) {
                     // Generator index.
-                    generatorIndexEnum[indexName] = +value;
+                    domainSeparatorEnum[indexName] = +value;
                 } else if (end) {
                     // A single line of expression.
                     constantsExpressions.push([
@@ -534,10 +565,9 @@ ${processConstantsSolidity(constants)}
             console.warn(`Unknown content: ${line}`);
         }
     });
-    const constants = evaluateExpressions(constantsExpressions);
     return {
-        constants,
-        generatorIndexEnum
+        constantsExpressions,
+        domainSeparatorEnum
     };
 }
 /**
@@ -564,7 +594,11 @@ ${processConstantsSolidity(constants)}
         .replace(/\(/g, '( ').replace(/\)/g, ' )')// We also make some space around common operators
         .replace(/\+/g, ' + ').replace(/(?<!\/)\*(?!\/)/, ' * ')// We split the expression into terms...
         .split(/\s+/)// ...and then we convert each term to a BigInt if it is a number.
-        .map((term)=>isNaN(+term) ? term : `BigInt('${term}')`)// .. also, we convert the known bigints to BigInts.
+        .map((term)=>{
+            // Remove underscores from numeric literals (e.g., 6_000_000 -> 6000000)
+            const termWithoutUnderscores = term.replace(/_/g, '');
+            return isNaN(+termWithoutUnderscores) ? term : `BigInt('${termWithoutUnderscores}')`;
+        })// .. also, we convert the known bigints to BigInts.
         .map((term)=>knownBigInts.includes(term) ? `BigInt(${term})` : term)// We join the terms back together.
         .join(' ');
         return `var ${name} = ${guardedRhs};`;
@@ -582,7 +616,26 @@ ${processConstantsSolidity(constants)}
     const __dirname = dirname(fileURLToPath(import.meta.url));
     const noirConstantsFile = join(__dirname, NOIR_CONSTANTS_FILE);
     const noirConstants = fs.readFileSync(noirConstantsFile, 'utf-8');
-    const parsedContent = parseNoirFile(noirConstants);
+    const { constantsExpressions, domainSeparatorEnum } = parseNoirFile(noirConstants);
+    // Pull in explicitly-listed constants defined outside constants.nr (e.g. alongside circuit code).
+    // They are appended after the main constants so they can reference them when evaluated together.
+    for (const { file, constants: names } of ADDITIONAL_NOIR_CONSTANT_FILES){
+        const additionalContent = fs.readFileSync(join(__dirname, file), 'utf-8');
+        const { constantsExpressions: additionalExpressions } = parseNoirFile(additionalContent, {
+            stripLineComments: true
+        });
+        for (const name of names){
+            const expression = additionalExpressions.find(([exprName])=>exprName === name);
+            if (!expression) {
+                throw new Error(`Constant ${name} not found in ${file}`);
+            }
+            constantsExpressions.push(expression);
+        }
+    }
+    const parsedContent = {
+        constants: evaluateExpressions(constantsExpressions),
+        domainSeparatorEnum
+    };
     // Typescript
     const tsTargetPath = join(__dirname, TS_CONSTANTS_FILE);
     generateTypescriptConstants(parsedContent, tsTargetPath);

package/package.json

@@ -1,10 +1,17 @@
 {
   "name": "@aztec/constants",
-  "version": "0.0.1-commit.2ed92850",
+  "version": "0.0.1-commit.3100065",
   "type": "module",
   "inherits": [
     "../package.common.json"
   ],
+  "typedocOptions": {
+    "entryPoints": [
+      "./src/constants.gen.ts"
+    ],
+    "name": "Constants",
+    "tsconfig": "./tsconfig.json"
+  },
   "exports": {
     ".": "./dest/constants.js"
   },
@@ -16,7 +23,7 @@
     "test": "NODE_NO_WARNINGS=1 node --experimental-vm-modules ../node_modules/.bin/jest --passWithNoTests --maxWorkers=${JEST_MAX_WORKERS:-8}"
   },
   "dependencies": {
-    "@aztec/foundation": "0.0.1-commit.2ed92850",
+    "@aztec/foundation": "0.0.1-commit.3100065",
     "tslib": "^2.4.0"
   },
   "devDependencies": {