@aztec/constants 4.0.0-nightly.20250907 → 4.0.0-nightly.20260107

package/dest/constants.js

@@ -1,4 +1,18 @@
+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';
 // Typescript-land-only constants
 export const SPONSORED_FPC_SALT = BigInt(0);
 // Autogenerated constants loaded from noir-land
+// eslint-disable-next-line import/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/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/export
+export const GENESIS_BLOCK_HEADER_HASH = new Fr(GENESIS_BLOCK_HEADER_HASH_BIGINT);

package/dest/scripts/constants.in.d.ts

@@ -1,2 +1,2 @@
 export {};
-//# sourceMappingURL=constants.in.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29uc3RhbnRzLmluLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvc2NyaXB0cy9jb25zdGFudHMuaW4udHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IiJ9

package/dest/scripts/constants.in.js

@@ -30,8 +30,10 @@ const CPP_CONSTANTS = [
     'UPDATES_DELAYED_PUBLIC_MUTABLE_VALUES_LEN',
     'PUBLIC_DATA_TREE_HEIGHT',
     'NULLIFIER_TREE_HEIGHT',
+    'NULLIFIER_SUBTREE_HEIGHT',
     'NOTE_HASH_TREE_HEIGHT',
     'L1_TO_L2_MSG_TREE_HEIGHT',
+    'ARCHIVE_HEIGHT',
     'TIMESTAMP_OF_CHANGE_BIT_SIZE',
     'UPDATES_DELAYED_PUBLIC_MUTABLE_METADATA_BIT_SIZE',
     'MAX_ENQUEUED_CALLS_PER_TX',
@@ -43,7 +45,6 @@ const CPP_CONSTANTS = [
     'MAX_PUBLIC_CALLS_TO_UNIQUE_CONTRACT_CLASS_IDS',
     'MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX',
     'MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX',
-    'PUBLIC_LOG_SIZE_IN_FIELDS',
     'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_ROW_IDX',
     'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_CHAIN_ID_ROW_IDX',
     'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_VERSION_ROW_IDX',
@@ -53,6 +54,7 @@ const CPP_CONSTANTS = [
     'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_COINBASE_ROW_IDX',
     'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_FEE_RECIPIENT_ROW_IDX',
     'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_GAS_FEES_ROW_IDX',
+    'AVM_PUBLIC_INPUTS_PROTOCOL_CONTRACTS_ROW_IDX',
     'AVM_PUBLIC_INPUTS_START_TREE_SNAPSHOTS_ROW_IDX',
     'AVM_PUBLIC_INPUTS_START_TREE_SNAPSHOTS_L1_TO_L2_MESSAGE_TREE_ROW_IDX',
     'AVM_PUBLIC_INPUTS_START_TREE_SNAPSHOTS_NOTE_HASH_TREE_ROW_IDX',
@@ -100,12 +102,18 @@ const CPP_CONSTANTS = [
     'AVM_WRITTEN_PUBLIC_DATA_SLOTS_TREE_INITIAL_ROOT',
     'AVM_WRITTEN_PUBLIC_DATA_SLOTS_TREE_INITIAL_SIZE',
     'NOTE_HASH_TREE_LEAF_COUNT',
-    'L1_TO_L2_MSG_TREE_LEAF_COUNT'
+    'L1_TO_L2_MSG_TREE_LEAF_COUNT',
+    'FLAT_PUBLIC_LOGS_HEADER_LENGTH',
+    'FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH',
+    'PUBLIC_LOGS_LENGTH',
+    'PUBLIC_LOG_HEADER_LENGTH',
+    'MAX_PROTOCOL_CONTRACTS',
+    'DEFAULT_MAX_DEBUG_LOG_MEMORY_READS'
 ];
 const CPP_GENERATORS = [
     'PARTIAL_ADDRESS',
     'CONTRACT_ADDRESS_V1',
-    'CONTRACT_LEAF',
+    'CONTRACT_CLASS_ID',
     'PUBLIC_KEYS_HASH',
     'NOTE_HASH_NONCE',
     'UNIQUE_NOTE_HASH',
@@ -128,8 +136,12 @@ const PIL_CONSTANTS = [
     'AVM_BITWISE_XOR_OP_ID',
     'AVM_KECCAKF1600_NUM_ROUNDS',
     'AVM_KECCAKF1600_STATE_SIZE',
+    'AVM_TX_PHASE_VALUE_START',
+    'AVM_TX_PHASE_VALUE_SETUP',
+    'AVM_TX_PHASE_VALUE_LAST',
     'AVM_HIGHEST_MEM_ADDRESS',
     'AVM_MEMORY_NUM_BITS',
+    'AVM_MEMORY_SIZE',
     'MAX_PACKED_PUBLIC_BYTECODE_SIZE_IN_FIELDS',
     'MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX',
     'MAX_NOTE_HASHES_PER_TX',
@@ -142,8 +154,12 @@ 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',
+    'ROUTER_ADDRESS',
     'FEE_JUICE_BALANCES_SLOT',
     'TIMESTAMP_OF_CHANGE_BIT_SIZE',
     'UPDATES_DELAYED_PUBLIC_MUTABLE_METADATA_BIT_SIZE',
@@ -156,7 +172,6 @@ const PIL_CONSTANTS = [
     'MAX_PUBLIC_CALLS_TO_UNIQUE_CONTRACT_CLASS_IDS',
     'MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX',
     'MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX',
-    'PUBLIC_LOG_SIZE_IN_FIELDS',
     'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_ROW_IDX',
     'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_CHAIN_ID_ROW_IDX',
     'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_VERSION_ROW_IDX',
@@ -166,6 +181,7 @@ const PIL_CONSTANTS = [
     'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_COINBASE_ROW_IDX',
     'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_FEE_RECIPIENT_ROW_IDX',
     'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_GAS_FEES_ROW_IDX',
+    'AVM_PUBLIC_INPUTS_PROTOCOL_CONTRACTS_ROW_IDX',
     'AVM_PUBLIC_INPUTS_START_TREE_SNAPSHOTS_ROW_IDX',
     'AVM_PUBLIC_INPUTS_START_TREE_SNAPSHOTS_L1_TO_L2_MESSAGE_TREE_ROW_IDX',
     'AVM_PUBLIC_INPUTS_START_TREE_SNAPSHOTS_NOTE_HASH_TREE_ROW_IDX',
@@ -216,7 +232,7 @@ const PIL_CONSTANTS = [
     'AVM_SUBTRACE_ID_CAST',
     'AVM_SUBTRACE_ID_SET',
     'AVM_SUBTRACE_ID_BITWISE',
-    'AVM_SUBTRACE_ID_POSEIDON_PERM',
+    'AVM_SUBTRACE_ID_POSEIDON2_PERM',
     'AVM_SUBTRACE_ID_TO_RADIX',
     'AVM_SUBTRACE_ID_ECC',
     'AVM_SUBTRACE_ID_KECCAKF1600',
@@ -271,12 +287,17 @@ const PIL_CONSTANTS = [
     'AVM_RETRIEVED_BYTECODES_TREE_INITIAL_ROOT',
     'AVM_RETRIEVED_BYTECODES_TREE_INITIAL_SIZE',
     'NOTE_HASH_TREE_LEAF_COUNT',
-    'L1_TO_L2_MSG_TREE_LEAF_COUNT'
+    'L1_TO_L2_MSG_TREE_LEAF_COUNT',
+    'FLAT_PUBLIC_LOGS_HEADER_LENGTH',
+    'FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH',
+    'PUBLIC_LOGS_LENGTH',
+    'PUBLIC_LOG_HEADER_LENGTH',
+    'MAX_PROTOCOL_CONTRACTS'
 ];
 const PIL_GENERATORS = [
     'PARTIAL_ADDRESS',
     'CONTRACT_ADDRESS_V1',
-    'CONTRACT_LEAF',
+    'CONTRACT_CLASS_ID',
     'PUBLIC_KEYS_HASH',
     'NOTE_HASH_NONCE',
     'UNIQUE_NOTE_HASH',
@@ -292,11 +313,9 @@ const SOLIDITY_CONSTANTS = [
     'L1_TO_L2_MSG_SUBTREE_HEIGHT',
     'NUM_MSGS_PER_BASE_PARITY',
     'NUM_BASE_PARITY_PER_ROOT_PARITY',
-    'PROPOSED_BLOCK_HEADER_LENGTH_BYTES',
     'BLS12_POINT_COMPRESSED_BYTES',
     'ROOT_ROLLUP_PUBLIC_INPUTS_LENGTH',
-    'BLOBS_PER_BLOCK',
-    'INITIAL_L2_BLOCK_NUM',
+    'INITIAL_CHECKPOINT_NUMBER',
     'GENESIS_ARCHIVE_ROOT',
     'FEE_JUICE_ADDRESS',
     'AZTEC_MAX_EPOCH_DURATION'
@@ -322,7 +341,7 @@ const SOLIDITY_CONSTANTS = [
  */ function processConstantsCpp(constants, generatorIndices) {
     const code = [];
     Object.entries(constants).forEach(([key, value])=>{
-        if (CPP_CONSTANTS.includes(key) || key.startsWith('AVM_') && key !== 'AVM_VK_INDEX') {
+        if (CPP_CONSTANTS.includes(key) || key.startsWith('AVM_')) {
             if (BigInt(value) <= 2n ** 31n - 1n) {
                 code.push(`#define ${key} ${value}`);
             } else if (BigInt(value) <= 2n ** 64n - 1n) {
@@ -334,7 +353,7 @@ const SOLIDITY_CONSTANTS = [
     });
     Object.entries(generatorIndices).forEach(([key, value])=>{
         if (CPP_GENERATORS.includes(key)) {
-            code.push(`#define GENERATOR_INDEX__${key} ${value}`);
+            code.push(`#define DOM_SEP__${key} ${value}`);
         }
     });
     return code.join('\n');
@@ -354,7 +373,7 @@ const SOLIDITY_CONSTANTS = [
     });
     Object.entries(generatorIndices).forEach(([key, value])=>{
         if (PIL_GENERATORS.includes(key)) {
-            code.push(`    pol GENERATOR_INDEX__${key} = ${value};`);
+            code.push(`    pol DOM_SEP__${key} = ${value};`);
         }
     });
     return code.join('\n');
@@ -463,7 +482,7 @@ ${processConstantsSolidity(constants)}
         {
             const [, name, _type, value, end] = line.match(/global\s+(\w+)(\s*:\s*\w+)?\s*=\s*([^;]*)(;)?/) || [];
             if (name && value) {
-                const [, indexName] = name.match(/GENERATOR_INDEX__(\w+)/) || [];
+                const [, indexName] = name.match(/DOM_SEP__(\w+)/) || [];
                 if (indexName) {
                     // Generator index.
                     generatorIndexEnum[indexName] = +value;
@@ -535,8 +554,9 @@ ${processConstantsSolidity(constants)}
     // be a bigint, even the actual constant values!
     const prelude = expressions.map(([name, rhs])=>{
         const guardedRhs = rhs// Remove 'as u8', 'as u32' and 'as u64' castings
-        .replaceAll(' as u8', '').replaceAll(' as u32', '').replaceAll(' as u64', '')// Remove the 'AztecAddress::from_field(...)' pattern
-        .replace(/AztecAddress::from_field\((0x[a-fA-F0-9]+|[0-9]+)\)/g, '$1')// We make some space around the parentheses, so that constant numbers are still split.
+        .replaceAll(' as u8', '').replaceAll(' as u32', '').replaceAll(' as u64', '')// Remove the 'AztecAddress::from_field(...)' pattern.
+        // Also copes with the noir formatter re-formatting over multiple lines.
+        .replace(/AztecAddress::from_field\(\s*(0x[a-fA-F0-9]+|\d+)\s*,?\s*\)/gs, '$1')// We make some space around the parentheses, so that constant numbers are still split.
         .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.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec/constants",
-  "version": "4.0.0-nightly.20250907",
+  "version": "4.0.0-nightly.20260107",
   "type": "module",
   "inherits": [
     "../package.common.json"
@@ -9,19 +9,21 @@
     ".": "./dest/constants.js"
   },
   "scripts": {
-    "build": "yarn clean && tsc -b",
-    "build:dev": "tsc -b --watch",
+    "build": "yarn clean && ../scripts/tsc.sh",
+    "build:dev": "../scripts/tsc.sh --watch",
     "clean": "rm -rf ./dest .tsbuildinfo",
     "remake-constants": "node --loader @swc-node/register/esm src/scripts/constants.in.ts && cd ../../l1-contracts && forge fmt",
     "test": "NODE_NO_WARNINGS=1 node --experimental-vm-modules ../node_modules/.bin/jest --passWithNoTests --maxWorkers=${JEST_MAX_WORKERS:-8}"
   },
   "dependencies": {
+    "@aztec/foundation": "4.0.0-nightly.20260107",
     "tslib": "^2.4.0"
   },
   "devDependencies": {
     "@jest/globals": "^30.0.0",
     "@types/jest": "^30.0.0",
     "@types/node": "^22.15.17",
+    "@typescript/native-preview": "7.0.0-dev.20251126.1",
     "eslint": "^9.26.0",
     "jest": "^30.0.0",
     "prettier": "^3.5.3",