@aztec/constants 0.0.1-commit.b9865e97 → 0.0.1-commit.be03c316

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec/constants",
-  "version": "0.0.1-commit.b9865e97",
+  "version": "0.0.1-commit.be03c316",
   "type": "module",
   "inherits": [
     "../package.common.json"
@@ -19,14 +19,15 @@
     "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",
+    "generate": "./scripts/remake-constants.sh",
     "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.b9865e97",
+    "@aztec/foundation": "0.0.1-commit.be03c316",
     "tslib": "^2.4.0"
   },
   "devDependencies": {
+    "@aztec/constants-codegen": "0.0.1-commit.be03c316",
     "@jest/globals": "^30.0.0",
     "@types/jest": "^30.0.0",
     "@types/node": "^22.15.17",

package/src/constants.gen.ts

@@ -1,4 +1,4 @@
-// GENERATED FILE - DO NOT EDIT, RUN yarn remake-constants
+// GENERATED FILE - DO NOT EDIT
 export const MAX_FIELD_VALUE = 21888242871839275222246405745257275088548364400416034343698204186575808495616n;
 export const MAX_ETH_ADDRESS_BIT_SIZE = 160;
 export const MAX_ETH_ADDRESS_VALUE = 1461501637330902918203684832716283019655932542975n;
@@ -57,8 +57,6 @@ export const MAX_KEY_VALIDATION_REQUESTS_PER_CALL = 16;
 export const NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP = 1024;
 export const PRIVATE_KERNEL_INIT_VK_INDEX = 0;
 export const PRIVATE_KERNEL_INNER_VK_INDEX = 1;
-export const PRIVATE_KERNEL_TAIL_VK_INDEX = 2;
-export const PRIVATE_KERNEL_TAIL_TO_PUBLIC_VK_INDEX = 3;
 export const HIDING_KERNEL_TO_ROLLUP_VK_INDEX = 4;
 export const HIDING_KERNEL_TO_PUBLIC_VK_INDEX = 5;
 export const PUBLIC_CHONK_VERIFIER_VK_INDEX = 6;
@@ -79,11 +77,18 @@ export const ROOT_ROLLUP_VK_INDEX = 20;
 export const PARITY_BASE_VK_INDEX = 21;
 export const PARITY_ROOT_VK_INDEX = 22;
 export const PRIVATE_KERNEL_RESET_VK_INDEX = 23;
-export const PRIVATE_KERNEL_INIT_3_VK_INDEX = 65;
-export const PRIVATE_KERNEL_INIT_2_VK_INDEX = 66;
-export const PRIVATE_KERNEL_INNER_2_VK_INDEX = 67;
-export const PRIVATE_KERNEL_INNER_3_VK_INDEX = 68;
-export const MAX_APPS_PER_KERNEL = 3;
+export const PRIVATE_KERNEL_RESET_TAIL_VK_INDEX = 31;
+export const PRIVATE_KERNEL_RESET_TAIL_TO_PUBLIC_VK_INDEX = 37;
+export const PRIVATE_KERNEL_RESET_BLOCK_END = 43;
+export const PRIVATE_KERNEL_INIT_2_VK_INDEX = 65;
+export const PRIVATE_KERNEL_INIT_3_VK_INDEX = 66;
+export const PRIVATE_KERNEL_INIT_4_VK_INDEX = 67;
+export const PRIVATE_KERNEL_INIT_5_VK_INDEX = 68;
+export const PRIVATE_KERNEL_INNER_2_VK_INDEX = 69;
+export const PRIVATE_KERNEL_INNER_3_VK_INDEX = 70;
+export const PRIVATE_KERNEL_INNER_4_VK_INDEX = 71;
+export const PRIVATE_KERNEL_INNER_5_VK_INDEX = 72;
+export const MAX_APPS_PER_KERNEL = 5;
 export const GLOBAL_INDEX_NOTE_HASH_READ_REQUEST_OFFSET = 0;
 export const GLOBAL_INDEX_NULLIFIER_READ_REQUEST_OFFSET = 16;
 export const GLOBAL_INDEX_NOTE_HASH_OFFSET = 32;
@@ -207,11 +212,11 @@ export const TX_REQUEST_LENGTH = 15;
 export const TOTAL_FEES_LENGTH = 1;
 export const TOTAL_MANA_USED_LENGTH = 1;
 export const BLOCK_HEADER_LENGTH = 22;
-export const CHECKPOINT_HEADER_LENGTH = 12;
-export const CHECKPOINT_HEADER_SIZE_IN_BYTES = 316;
+export const CHECKPOINT_HEADER_LENGTH = 13;
+export const CHECKPOINT_HEADER_SIZE_IN_BYTES = 348;
 export const SCOPED_READ_REQUEST_LEN = 3;
-export const PRIVATE_CIRCUIT_PUBLIC_INPUTS_LENGTH = 838;
-export const PRIVATE_CONTEXT_INPUTS_LENGTH = 37;
+export const PRIVATE_CIRCUIT_PUBLIC_INPUTS_LENGTH = 839;
+export const PRIVATE_CONTEXT_INPUTS_LENGTH = 38;
 export const FEE_RECIPIENT_LENGTH = 2;
 export const HIDING_KERNEL_IO_PUBLIC_INPUTS_SIZE = 28;
 export const PAIRING_POINTS_SIZE = 8;
@@ -247,14 +252,17 @@ export const IPA_PROOF_LENGTH = 64;
 export const ULTRA_KECCAK_PROOF_LENGTH = 331;
 export const RECURSIVE_ROLLUP_HONK_PROOF_LENGTH = 480;
 export const NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH = 480;
-export const CHONK_HIDING_OINK_LENGTH = 108;
-export const CHONK_MERGE_PROOF_SIZE = 42;
-export const CHONK_ECCVM_PROOF_LENGTH = 608;
-export const CHONK_JOINT_PROOF_LENGTH = 499;
-export const CHONK_PROOF_LENGTH = 1349;
+export const CHONK_HIDING_OINK_LENGTH = 48;
+export const CHONK_MERGE_PROOF_SIZE = 41;
+export const CHONK_ECCVM_PROOF_LENGTH = 556;
+export const CHONK_TRIPLE_IPA_PROOF_LENGTH = 70;
+export const CHONK_JOINT_PROOF_LENGTH = 478;
+export const CHONK_PROOF_LENGTH = 1221;
 export const ULTRA_VK_LENGTH_IN_FIELDS = 115;
-export const MEGA_VK_LENGTH_IN_FIELDS = 143;
-export const CHONK_VK_LENGTH_IN_FIELDS = 143;
+export const MEGA_APP_VK_LENGTH_IN_FIELDS = 151;
+export const MEGA_KERNEL_VK_LENGTH_IN_FIELDS = 151;
+export const MEGA_ZK_VK_LENGTH_IN_FIELDS = 119;
+export const CHONK_VK_LENGTH_IN_FIELDS = 119;
 export const AVM_VERIFICATION_KEY_LENGTH_IN_FIELDS = 86;
 export const MAX_PUBLIC_BYTECODE_SIZE_IN_BYTES = 96000;
 export const MAX_PUBLIC_CALLS_TO_UNIQUE_CONTRACT_CLASS_IDS = 21;
@@ -293,9 +301,8 @@ export const AVM_SUBTRACE_ID_TO_RADIX = 8192;
 export const AVM_DYN_GAS_ID_CALLDATACOPY = 1;
 export const AVM_DYN_GAS_ID_RETURNDATACOPY = 2;
 export const AVM_DYN_GAS_ID_TORADIX = 4;
-export const AVM_DYN_GAS_ID_BITWISE = 8;
-export const AVM_DYN_GAS_ID_EMITPUBLICLOG = 16;
-export const AVM_DYN_GAS_ID_SSTORE = 32;
+export const AVM_DYN_GAS_ID_EMITPUBLICLOG = 8;
+export const AVM_DYN_GAS_ID_SSTORE = 16;
 export const AVM_EXEC_OP_ID_GETENVVAR = 1;
 export const AVM_EXEC_OP_ID_MOV = 2;
 export const AVM_EXEC_OP_ID_JUMP = 4;
@@ -397,13 +404,17 @@ export const AVM_PUBLIC_INPUTS_TRANSACTION_FEE_ROW_IDX = 4683;
 export const AVM_PUBLIC_INPUTS_REVERTED_ROW_IDX = 4684;
 export const AVM_PUBLIC_INPUTS_COLUMNS_MAX_LENGTH = 4685;
 export const AVM_NUM_PUBLIC_INPUT_COLUMNS = 4;
-export const AVM_PUBLIC_INPUTS_COLUMNS_COMBINED_LENGTH = 18740;
-export const AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED = 16400;
-export const AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED = 1000;
+export const AVM_PUBLIC_INPUTS_COLUMN_0_LENGTH = 4685;
+export const AVM_PUBLIC_INPUTS_COLUMN_1_LENGTH = 4683;
+export const AVM_PUBLIC_INPUTS_COLUMN_2_LENGTH = 522;
+export const AVM_PUBLIC_INPUTS_COLUMN_3_LENGTH = 99;
+export const AVM_PUBLIC_INPUTS_COLUMNS_COMBINED_LENGTH = 9989;
+export const AVM_V2_PROOF_LENGTH_IN_FIELDS = 14532;
 export const DA_BYTES_PER_FIELD = 32;
 export const DA_GAS_PER_BYTE = 1;
 export const DA_GAS_PER_FIELD = 32;
 export const TX_DA_GAS_OVERHEAD = 96;
+export const MAX_TX_BLOB_DATA_SIZE_IN_FIELDS = 8475;
 export const PUBLIC_TX_L2_GAS_OVERHEAD = 540000;
 export const PRIVATE_TX_L2_GAS_OVERHEAD = 440000;
 export const FIXED_AVM_STARTUP_L2_GAS = 20000;
@@ -412,8 +423,8 @@ export const MAX_PROCESSABLE_L2_GAS = 6540000;
 export const MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT = 786432;
 export const L2_GAS_DISTRIBUTED_STORAGE_PREMIUM = 1024;
 export const AVM_PC_SIZE_IN_BITS = 32;
-export const AVM_MAX_OPERANDS = 7;
-export const AVM_MAX_REGISTERS = 6;
+export const AVM_MAX_OPERANDS = 5;
+export const AVM_MAX_REGISTERS = 4;
 export const AVM_ADDRESSING_BASE_RESOLUTION_L2_GAS = 3;
 export const AVM_ADDRESSING_INDIRECT_L2_GAS = 3;
 export const AVM_ADDRESSING_RELATIVE_L2_GAS = 3;
@@ -468,10 +479,9 @@ export const AVM_SHA256COMPRESSION_BASE_L2_GAS = 12288;
 export const AVM_KECCAKF1600_BASE_L2_GAS = 58176;
 export const AVM_ECADD_BASE_L2_GAS = 180;
 export const AVM_TORADIXBE_BASE_L2_GAS = 24;
-export const AVM_CALLDATACOPY_DYN_L2_GAS = 3;
-export const AVM_RETURNDATACOPY_DYN_L2_GAS = 3;
+export const AVM_CALLDATACOPY_DYN_L2_GAS = 6;
+export const AVM_RETURNDATACOPY_DYN_L2_GAS = 6;
 export const AVM_TORADIXBE_DYN_L2_GAS = 3;
-export const AVM_BITWISE_DYN_L2_GAS = 3;
 export const AVM_EMITPUBLICLOG_DYN_L2_GAS = 3;
 export const AVM_EMITNOTEHASH_BASE_DA_GAS = 32;
 export const AVM_EMITNULLIFIER_BASE_DA_GAS = 32;
@@ -489,8 +499,7 @@ export const PROOF_TYPE_AVM = 3;
 export const PROOF_TYPE_ROLLUP_HONK = 4;
 export const PROOF_TYPE_ROOT_ROLLUP_HONK = 5;
 export const PROOF_TYPE_HN_FINAL = 7;
-export const PROOF_TYPE_HN_TAIL = 8;
-export const PROOF_TYPE_CHONK = 9;
+export const PROOF_TYPE_CHONK = 8;
 export const TWO_POW_64 = 18446744073709551616n;
 export const AVM_WRITTEN_PUBLIC_DATA_SLOTS_TREE_HEIGHT = 6;
 export const AVM_WRITTEN_PUBLIC_DATA_SLOTS_TREE_INITIAL_ROOT = 8857725174171741160013581538021104168730942281584695363072221389187184558934n;
@@ -524,7 +533,11 @@ export enum DomainSeparator {
   NOTE_COMPLETION_LOG_TAG = 3372669888,
   UNCONSTRAINED_MSG_LOG_TAG = 1485357192,
   CONSTRAINED_MSG_LOG_TAG = 3715244738,
+  CONSTRAINED_MSG_NULLIFIER = 3723577546,
+  CONSTRAINED_MSG_SENDER_SECRET = 1182889476,
   NON_INTERACTIVE_HANDSHAKE_LOG_TAG = 4046403018,
+  INTERACTIVE_HANDSHAKE_SIGNATURE = 3098455647,
+  HANDSHAKE_FORGERY_PROTECTION = 2291983127,
   PRIVATE_LOG_FIRST_FIELD = 2769976252,
   PUBLIC_LEAF_SLOT = 1247650290,
   PUBLIC_STORAGE_MAP_SLOT = 4015149901,
@@ -542,6 +555,8 @@ export enum DomainSeparator {
   IVSK_M = 2747825907,
   OVSK_M = 4272201051,
   TSK_M = 1546190975,
+  MSSK_M = 617962565,
+  FBSK_M = 787738027,
   PUBLIC_KEYS_HASH = 777457226,
   SINGLE_PUBLIC_KEY_HASH = 3452068255,
   PARTIAL_ADDRESS = 2103633018,

package/src/constants.ts

@@ -4,14 +4,38 @@ 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';
@@ -27,3 +51,15 @@ export const INITIAL_CHECKPOINT_NUMBER: CheckpointNumber = CheckpointNumber(INIT
 /** 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.d.ts

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29uc3RhbnRzLmluLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvc2NyaXB0cy9jb25zdGFudHMuaW4udHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IiJ9

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

@@ -1 +0,0 @@
-{"version":3,"file":"constants.in.d.ts","sourceRoot":"","sources":["../../src/scripts/constants.in.ts"],"names":[],"mappings":""}