@aztec/constants 0.0.0-test.1 → 0.0.1-commit.0b941701
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dest/constants.d.ts +10 -2
- package/dest/constants.d.ts.map +1 -1
- package/dest/constants.gen.d.ts +413 -282
- package/dest/constants.gen.d.ts.map +1 -1
- package/dest/constants.gen.js +413 -282
- package/dest/constants.js +15 -1
- package/dest/scripts/constants.in.d.ts +1 -1
- package/dest/scripts/constants.in.js +294 -129
- package/package.json +17 -13
- package/src/constants.gen.ts +412 -287
- package/src/constants.ts +28 -1
package/dest/constants.js
CHANGED
|
@@ -1,4 +1,18 @@
|
|
|
1
|
+
import { BlockNumber, CheckpointNumber } from '@aztec/foundation/branded-types';
|
|
2
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
3
|
+
// Re-export L2 block number constants with proper BlockNumber type
|
|
4
|
+
// Note: The generated constants are plain numbers, but we provide typed versions here
|
|
5
|
+
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';
|
|
1
6
|
// Typescript-land-only constants
|
|
2
|
-
export const
|
|
7
|
+
export const SPONSORED_FPC_SALT = BigInt(0);
|
|
3
8
|
// Autogenerated constants loaded from noir-land
|
|
9
|
+
// eslint-disable-next-line import-x/export
|
|
4
10
|
export * from './constants.gen.js';
|
|
11
|
+
/** 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
|
|
12
|
+
// eslint-disable-next-line import-x/export
|
|
13
|
+
export const INITIAL_L2_BLOCK_NUM = BlockNumber(INITIAL_L2_BLOCK_NUM_RAW);
|
|
14
|
+
/** 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
|
|
15
|
+
export const INITIAL_L2_CHECKPOINT_NUM = CheckpointNumber(INITIAL_CHECKPOINT_NUM_RAW);
|
|
16
|
+
/** The block header hash for the genesis block 0. */ // Shadow the export from constants.gen above
|
|
17
|
+
// eslint-disable-next-line import-x/export
|
|
18
|
+
export const GENESIS_BLOCK_HEADER_HASH = new Fr(GENESIS_BLOCK_HEADER_HASH_BIGINT);
|
|
@@ -1,2 +1,2 @@
|
|
|
1
1
|
export {};
|
|
2
|
-
//# sourceMappingURL=
|
|
2
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29uc3RhbnRzLmluLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvc2NyaXB0cy9jb25zdGFudHMuaW4udHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IiJ9
|
|
@@ -3,78 +3,16 @@ import { dirname, join } from 'path';
|
|
|
3
3
|
import { fileURLToPath } from 'url';
|
|
4
4
|
const NOIR_CONSTANTS_FILE = '../../../../noir-projects/noir-protocol-circuits/crates/types/src/constants.nr';
|
|
5
5
|
const TS_CONSTANTS_FILE = '../constants.gen.ts';
|
|
6
|
-
const CPP_AZTEC_CONSTANTS_FILE = '../../../../barretenberg/cpp/src/barretenberg/
|
|
7
|
-
const PIL_AZTEC_CONSTANTS_FILE = '../../../../barretenberg/cpp/pil/
|
|
8
|
-
// Temp while vm2 is WIP
|
|
9
|
-
const PIL_VM2_AZTEC_CONSTANTS_FILE = '../../../../barretenberg/cpp/pil/vm2/constants_gen.pil';
|
|
6
|
+
const CPP_AZTEC_CONSTANTS_FILE = '../../../../barretenberg/cpp/src/barretenberg/vm2/common/aztec_constants.hpp';
|
|
7
|
+
const PIL_AZTEC_CONSTANTS_FILE = '../../../../barretenberg/cpp/pil/vm2/constants_gen.pil';
|
|
10
8
|
const SOLIDITY_CONSTANTS_FILE = '../../../../l1-contracts/src/core/libraries/ConstantsGen.sol';
|
|
11
9
|
// Whitelist of constants that will be copied to aztec_constants.hpp.
|
|
12
10
|
// We don't copy everything as just a handful are needed, and updating them breaks the cache and triggers expensive bb builds.
|
|
13
11
|
const CPP_CONSTANTS = [
|
|
14
|
-
'
|
|
15
|
-
'
|
|
16
|
-
'
|
|
17
|
-
'
|
|
18
|
-
'GLOBAL_VARIABLES_LENGTH',
|
|
19
|
-
'APPEND_ONLY_TREE_SNAPSHOT_LENGTH',
|
|
20
|
-
'PARTIAL_STATE_REFERENCE_LENGTH',
|
|
21
|
-
'STATE_REFERENCE_LENGTH',
|
|
22
|
-
'HEADER_LENGTH',
|
|
23
|
-
'CALL_CONTEXT_LENGTH',
|
|
24
|
-
'PUBLIC_CIRCUIT_PUBLIC_INPUTS_LENGTH',
|
|
25
|
-
'READ_REQUEST_LENGTH',
|
|
26
|
-
'MAX_ENQUEUED_CALLS_PER_TX',
|
|
27
|
-
'MAX_NOTE_HASHES_PER_TX',
|
|
28
|
-
'MAX_NULLIFIERS_PER_TX',
|
|
29
|
-
'MAX_L2_TO_L1_MSGS_PER_TX',
|
|
30
|
-
'MAX_PUBLIC_LOGS_PER_TX',
|
|
31
|
-
'PUBLIC_LOG_DATA_SIZE_IN_FIELDS',
|
|
32
|
-
'MAX_NOTE_HASH_READ_REQUESTS_PER_CALL',
|
|
33
|
-
'MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX',
|
|
34
|
-
'MAX_NULLIFIER_READ_REQUESTS_PER_CALL',
|
|
35
|
-
'MAX_NULLIFIER_NON_EXISTENT_READ_REQUESTS_PER_CALL',
|
|
36
|
-
'MAX_L1_TO_L2_MSG_READ_REQUESTS_PER_CALL',
|
|
37
|
-
'CONTRACT_STORAGE_UPDATE_REQUEST_LENGTH',
|
|
38
|
-
'MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_CALL',
|
|
39
|
-
'CONTRACT_STORAGE_READ_LENGTH',
|
|
40
|
-
'PUBLIC_INNER_CALL_REQUEST_LENGTH',
|
|
41
|
-
'MAX_PUBLIC_DATA_READS_PER_CALL',
|
|
42
|
-
'MAX_ENQUEUED_CALLS_PER_CALL',
|
|
43
|
-
'NOTE_HASH_LENGTH',
|
|
44
|
-
'MAX_NOTE_HASHES_PER_CALL',
|
|
45
|
-
'NULLIFIER_LENGTH',
|
|
46
|
-
'MAX_NULLIFIERS_PER_CALL',
|
|
47
|
-
'L2_TO_L1_MESSAGE_LENGTH',
|
|
48
|
-
'MAX_L2_TO_L1_MSGS_PER_CALL',
|
|
49
|
-
'LOG_HASH_LENGTH',
|
|
50
|
-
'MAX_PUBLIC_LOGS_PER_CALL',
|
|
51
|
-
'HEADER_LENGTH',
|
|
52
|
-
'GLOBAL_VARIABLES_LENGTH',
|
|
53
|
-
'AZTEC_ADDRESS_LENGTH',
|
|
54
|
-
'START_NOTE_HASH_EXISTS_WRITE_OFFSET',
|
|
55
|
-
'START_NULLIFIER_EXISTS_OFFSET',
|
|
56
|
-
'START_NULLIFIER_NON_EXISTS_OFFSET',
|
|
57
|
-
'START_L1_TO_L2_MSG_EXISTS_WRITE_OFFSET',
|
|
58
|
-
'START_SSTORE_WRITE_OFFSET',
|
|
59
|
-
'START_SLOAD_WRITE_OFFSET',
|
|
60
|
-
'START_EMIT_NOTE_HASH_WRITE_OFFSET',
|
|
61
|
-
'START_EMIT_NULLIFIER_WRITE_OFFSET',
|
|
62
|
-
'START_EMIT_L2_TO_L1_MSG_WRITE_OFFSET',
|
|
63
|
-
'START_EMIT_UNENCRYPTED_LOG_WRITE_OFFSET',
|
|
64
|
-
'SENDER_KERNEL_INPUTS_COL_OFFSET',
|
|
65
|
-
'ADDRESS_KERNEL_INPUTS_COL_OFFSET',
|
|
66
|
-
'CHAIN_ID_KERNEL_INPUTS_COL_OFFSET',
|
|
67
|
-
'VERSION_KERNEL_INPUTS_COL_OFFSET',
|
|
68
|
-
'BLOCK_NUMBER_KERNEL_INPUTS_COL_OFFSET',
|
|
69
|
-
'TIMESTAMP_KERNEL_INPUTS_COL_OFFSET',
|
|
70
|
-
'FEE_PER_DA_GAS_KERNEL_INPUTS_COL_OFFSET',
|
|
71
|
-
'FEE_PER_L2_GAS_KERNEL_INPUTS_COL_OFFSET',
|
|
72
|
-
'IS_STATIC_CALL_KERNEL_INPUTS_COL_OFFSET',
|
|
73
|
-
'DA_START_GAS_KERNEL_INPUTS_COL_OFFSET',
|
|
74
|
-
'L2_START_GAS_KERNEL_INPUTS_COL_OFFSET',
|
|
75
|
-
'DA_END_GAS_KERNEL_INPUTS_COL_OFFSET',
|
|
76
|
-
'L2_END_GAS_KERNEL_INPUTS_COL_OFFSET',
|
|
77
|
-
'TRANSACTION_FEE_KERNEL_INPUTS_COL_OFFSET',
|
|
12
|
+
'MAX_ETH_ADDRESS_BIT_SIZE',
|
|
13
|
+
'MAX_ETH_ADDRESS_VALUE',
|
|
14
|
+
'GENESIS_BLOCK_HEADER_HASH',
|
|
15
|
+
'GENESIS_ARCHIVE_ROOT',
|
|
78
16
|
'MEM_TAG_U1',
|
|
79
17
|
'MEM_TAG_U8',
|
|
80
18
|
'MEM_TAG_U16',
|
|
@@ -82,66 +20,113 @@ const CPP_CONSTANTS = [
|
|
|
82
20
|
'MEM_TAG_U64',
|
|
83
21
|
'MEM_TAG_U128',
|
|
84
22
|
'MEM_TAG_FF',
|
|
85
|
-
'MAX_L2_GAS_PER_TX_PUBLIC_PORTION',
|
|
86
23
|
'MAX_PACKED_PUBLIC_BYTECODE_SIZE_IN_FIELDS',
|
|
87
24
|
'CANONICAL_AUTH_REGISTRY_ADDRESS',
|
|
88
|
-
'
|
|
89
|
-
'
|
|
25
|
+
'CONTRACT_INSTANCE_REGISTRY_CONTRACT_ADDRESS',
|
|
26
|
+
'CONTRACT_CLASS_REGISTRY_CONTRACT_ADDRESS',
|
|
90
27
|
'MULTI_CALL_ENTRYPOINT_ADDRESS',
|
|
91
28
|
'FEE_JUICE_ADDRESS',
|
|
92
|
-
'
|
|
29
|
+
'PUBLIC_CHECKS_ADDRESS',
|
|
93
30
|
'FEE_JUICE_BALANCES_SLOT',
|
|
94
|
-
'MAX_PUBLIC_CALLS_TO_UNIQUE_CONTRACT_CLASS_IDS',
|
|
95
31
|
'UPDATED_CLASS_IDS_SLOT',
|
|
96
|
-
'
|
|
32
|
+
'UPDATES_DELAYED_PUBLIC_MUTABLE_VALUES_LEN',
|
|
33
|
+
'PUBLIC_DATA_TREE_HEIGHT',
|
|
34
|
+
'NULLIFIER_TREE_HEIGHT',
|
|
35
|
+
'NULLIFIER_SUBTREE_HEIGHT',
|
|
36
|
+
'NOTE_HASH_TREE_HEIGHT',
|
|
37
|
+
'L1_TO_L2_MSG_TREE_HEIGHT',
|
|
38
|
+
'ARCHIVE_HEIGHT',
|
|
39
|
+
'TIMESTAMP_OF_CHANGE_BIT_SIZE',
|
|
40
|
+
'UPDATES_DELAYED_PUBLIC_MUTABLE_METADATA_BIT_SIZE',
|
|
41
|
+
'MAX_ENQUEUED_CALLS_PER_TX',
|
|
42
|
+
'MAX_NOTE_HASHES_PER_TX',
|
|
43
|
+
'MAX_NULLIFIERS_PER_TX',
|
|
44
|
+
'MAX_L2_TO_L1_MSGS_PER_TX',
|
|
45
|
+
'MAX_PUBLIC_LOGS_PER_TX',
|
|
46
|
+
'MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX',
|
|
47
|
+
'MAX_PUBLIC_CALLS_TO_UNIQUE_CONTRACT_CLASS_IDS',
|
|
48
|
+
'MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX',
|
|
49
|
+
'MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX',
|
|
50
|
+
'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_ROW_IDX',
|
|
51
|
+
'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_CHAIN_ID_ROW_IDX',
|
|
52
|
+
'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_VERSION_ROW_IDX',
|
|
53
|
+
'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_BLOCK_NUMBER_ROW_IDX',
|
|
54
|
+
'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_SLOT_NUMBER_ROW_IDX',
|
|
55
|
+
'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_TIMESTAMP_ROW_IDX',
|
|
56
|
+
'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_COINBASE_ROW_IDX',
|
|
57
|
+
'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_FEE_RECIPIENT_ROW_IDX',
|
|
58
|
+
'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_GAS_FEES_ROW_IDX',
|
|
59
|
+
'AVM_PUBLIC_INPUTS_PROTOCOL_CONTRACTS_ROW_IDX',
|
|
60
|
+
'AVM_PUBLIC_INPUTS_START_TREE_SNAPSHOTS_ROW_IDX',
|
|
61
|
+
'AVM_PUBLIC_INPUTS_START_TREE_SNAPSHOTS_L1_TO_L2_MESSAGE_TREE_ROW_IDX',
|
|
62
|
+
'AVM_PUBLIC_INPUTS_START_TREE_SNAPSHOTS_NOTE_HASH_TREE_ROW_IDX',
|
|
63
|
+
'AVM_PUBLIC_INPUTS_START_TREE_SNAPSHOTS_NULLIFIER_TREE_ROW_IDX',
|
|
64
|
+
'AVM_PUBLIC_INPUTS_START_TREE_SNAPSHOTS_PUBLIC_DATA_TREE_ROW_IDX',
|
|
65
|
+
'AVM_PUBLIC_INPUTS_START_GAS_USED_ROW_IDX',
|
|
66
|
+
'AVM_PUBLIC_INPUTS_GAS_SETTINGS_ROW_IDX',
|
|
67
|
+
'AVM_PUBLIC_INPUTS_FEE_PAYER_ROW_IDX',
|
|
68
|
+
'AVM_PUBLIC_INPUTS_PUBLIC_SETUP_CALL_REQUESTS_ROW_IDX',
|
|
69
|
+
'AVM_PUBLIC_INPUTS_PUBLIC_APP_LOGIC_CALL_REQUESTS_ROW_IDX',
|
|
70
|
+
'AVM_PUBLIC_INPUTS_PUBLIC_TEARDOWN_CALL_REQUEST_ROW_IDX',
|
|
71
|
+
'AVM_PUBLIC_INPUTS_PREVIOUS_NON_REVERTIBLE_ACCUMULATED_DATA_ARRAY_LENGTHS_ROW_IDX',
|
|
72
|
+
'AVM_PUBLIC_INPUTS_PREVIOUS_REVERTIBLE_ACCUMULATED_DATA_ARRAY_LENGTHS_ROW_IDX',
|
|
73
|
+
'AVM_PUBLIC_INPUTS_PREVIOUS_NON_REVERTIBLE_ACCUMULATED_DATA_ROW_IDX',
|
|
74
|
+
'AVM_PUBLIC_INPUTS_PREVIOUS_NON_REVERTIBLE_ACCUMULATED_DATA_NOTE_HASHES_ROW_IDX',
|
|
75
|
+
'AVM_PUBLIC_INPUTS_PREVIOUS_NON_REVERTIBLE_ACCUMULATED_DATA_NULLIFIERS_ROW_IDX',
|
|
76
|
+
'AVM_PUBLIC_INPUTS_PREVIOUS_NON_REVERTIBLE_ACCUMULATED_DATA_L2_TO_L1_MSGS_ROW_IDX',
|
|
77
|
+
'AVM_PUBLIC_INPUTS_PREVIOUS_REVERTIBLE_ACCUMULATED_DATA_ROW_IDX',
|
|
78
|
+
'AVM_PUBLIC_INPUTS_PREVIOUS_REVERTIBLE_ACCUMULATED_DATA_NOTE_HASHES_ROW_IDX',
|
|
79
|
+
'AVM_PUBLIC_INPUTS_PREVIOUS_REVERTIBLE_ACCUMULATED_DATA_NULLIFIERS_ROW_IDX',
|
|
80
|
+
'AVM_PUBLIC_INPUTS_PREVIOUS_REVERTIBLE_ACCUMULATED_DATA_L2_TO_L1_MSGS_ROW_IDX',
|
|
81
|
+
'AVM_PUBLIC_INPUTS_END_TREE_SNAPSHOTS_ROW_IDX',
|
|
82
|
+
'AVM_PUBLIC_INPUTS_END_TREE_SNAPSHOTS_L1_TO_L2_MESSAGE_TREE_ROW_IDX',
|
|
83
|
+
'AVM_PUBLIC_INPUTS_END_TREE_SNAPSHOTS_NOTE_HASH_TREE_ROW_IDX',
|
|
84
|
+
'AVM_PUBLIC_INPUTS_END_TREE_SNAPSHOTS_NULLIFIER_TREE_ROW_IDX',
|
|
85
|
+
'AVM_PUBLIC_INPUTS_END_TREE_SNAPSHOTS_PUBLIC_DATA_TREE_ROW_IDX',
|
|
86
|
+
'AVM_PUBLIC_INPUTS_END_GAS_USED_ROW_IDX',
|
|
87
|
+
'AVM_PUBLIC_INPUTS_AVM_ACCUMULATED_DATA_ARRAY_LENGTHS_NOTE_HASHES_ROW_IDX',
|
|
88
|
+
'AVM_PUBLIC_INPUTS_AVM_ACCUMULATED_DATA_ARRAY_LENGTHS_NULLIFIERS_ROW_IDX',
|
|
89
|
+
'AVM_PUBLIC_INPUTS_AVM_ACCUMULATED_DATA_ARRAY_LENGTHS_L2_TO_L1_MSGS_ROW_IDX',
|
|
90
|
+
'AVM_PUBLIC_INPUTS_AVM_ACCUMULATED_DATA_ARRAY_LENGTHS_PUBLIC_LOGS_ROW_IDX',
|
|
91
|
+
'AVM_PUBLIC_INPUTS_AVM_ACCUMULATED_DATA_ARRAY_LENGTHS_PUBLIC_DATA_WRITES_ROW_IDX',
|
|
92
|
+
'AVM_PUBLIC_INPUTS_AVM_ACCUMULATED_DATA_ROW_IDX',
|
|
93
|
+
'AVM_PUBLIC_INPUTS_AVM_ACCUMULATED_DATA_NOTE_HASHES_ROW_IDX',
|
|
94
|
+
'AVM_PUBLIC_INPUTS_AVM_ACCUMULATED_DATA_NULLIFIERS_ROW_IDX',
|
|
95
|
+
'AVM_PUBLIC_INPUTS_AVM_ACCUMULATED_DATA_L2_TO_L1_MSGS_ROW_IDX',
|
|
96
|
+
'AVM_PUBLIC_INPUTS_AVM_ACCUMULATED_DATA_PUBLIC_LOGS_ROW_IDX',
|
|
97
|
+
'AVM_PUBLIC_INPUTS_AVM_ACCUMULATED_DATA_PUBLIC_DATA_WRITES_ROW_IDX',
|
|
98
|
+
'AVM_PUBLIC_INPUTS_TRANSACTION_FEE_ROW_IDX',
|
|
99
|
+
'AVM_PUBLIC_INPUTS_REVERTED_ROW_IDX',
|
|
100
|
+
'AVM_PUBLIC_INPUTS_COLUMNS_MAX_LENGTH',
|
|
101
|
+
'AVM_NUM_PUBLIC_INPUT_COLUMNS',
|
|
102
|
+
'AVM_PUBLIC_INPUTS_COLUMNS_COMBINED_LENGTH',
|
|
103
|
+
'AVM_WRITTEN_PUBLIC_DATA_SLOTS_TREE_HEIGHT',
|
|
104
|
+
'AVM_WRITTEN_PUBLIC_DATA_SLOTS_TREE_INITIAL_ROOT',
|
|
105
|
+
'AVM_WRITTEN_PUBLIC_DATA_SLOTS_TREE_INITIAL_SIZE',
|
|
106
|
+
'NOTE_HASH_TREE_LEAF_COUNT',
|
|
107
|
+
'L1_TO_L2_MSG_TREE_LEAF_COUNT',
|
|
108
|
+
'FLAT_PUBLIC_LOGS_HEADER_LENGTH',
|
|
109
|
+
'FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH',
|
|
110
|
+
'PUBLIC_LOGS_LENGTH',
|
|
111
|
+
'PUBLIC_LOG_HEADER_LENGTH',
|
|
112
|
+
'MAX_PROTOCOL_CONTRACTS',
|
|
113
|
+
'DEFAULT_MAX_DEBUG_LOG_MEMORY_READS'
|
|
97
114
|
];
|
|
98
115
|
const CPP_GENERATORS = [
|
|
99
116
|
'PARTIAL_ADDRESS',
|
|
100
117
|
'CONTRACT_ADDRESS_V1',
|
|
101
|
-
'
|
|
118
|
+
'CONTRACT_CLASS_ID',
|
|
102
119
|
'PUBLIC_KEYS_HASH',
|
|
103
120
|
'NOTE_HASH_NONCE',
|
|
104
121
|
'UNIQUE_NOTE_HASH',
|
|
105
122
|
'SILOED_NOTE_HASH',
|
|
106
123
|
'OUTER_NULLIFIER',
|
|
107
|
-
'PUBLIC_LEAF_INDEX'
|
|
124
|
+
'PUBLIC_LEAF_INDEX',
|
|
125
|
+
'PUBLIC_CALLDATA',
|
|
126
|
+
'PUBLIC_BYTECODE'
|
|
108
127
|
];
|
|
109
128
|
const PIL_CONSTANTS = [
|
|
110
|
-
'
|
|
111
|
-
'MAX_NULLIFIER_READ_REQUESTS_PER_CALL',
|
|
112
|
-
'MAX_NULLIFIER_NON_EXISTENT_READ_REQUESTS_PER_CALL',
|
|
113
|
-
'MAX_L1_TO_L2_MSG_READ_REQUESTS_PER_CALL',
|
|
114
|
-
'MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_CALL',
|
|
115
|
-
'MAX_PUBLIC_DATA_READS_PER_CALL',
|
|
116
|
-
'MAX_ENQUEUED_CALLS_PER_CALL',
|
|
117
|
-
'MAX_NOTE_HASHES_PER_CALL',
|
|
118
|
-
'MAX_NULLIFIERS_PER_CALL',
|
|
119
|
-
'MAX_L2_TO_L1_MSGS_PER_CALL',
|
|
120
|
-
'MAX_PUBLIC_LOGS_PER_CALL',
|
|
121
|
-
'START_NOTE_HASH_EXISTS_WRITE_OFFSET',
|
|
122
|
-
'START_NULLIFIER_EXISTS_OFFSET',
|
|
123
|
-
'START_NULLIFIER_NON_EXISTS_OFFSET',
|
|
124
|
-
'START_L1_TO_L2_MSG_EXISTS_WRITE_OFFSET',
|
|
125
|
-
'START_SSTORE_WRITE_OFFSET',
|
|
126
|
-
'START_SLOAD_WRITE_OFFSET',
|
|
127
|
-
'START_EMIT_NOTE_HASH_WRITE_OFFSET',
|
|
128
|
-
'START_EMIT_NULLIFIER_WRITE_OFFSET',
|
|
129
|
-
'START_EMIT_L2_TO_L1_MSG_WRITE_OFFSET',
|
|
130
|
-
'START_EMIT_UNENCRYPTED_LOG_WRITE_OFFSET',
|
|
131
|
-
'SENDER_KERNEL_INPUTS_COL_OFFSET',
|
|
132
|
-
'ADDRESS_KERNEL_INPUTS_COL_OFFSET',
|
|
133
|
-
'CHAIN_ID_KERNEL_INPUTS_COL_OFFSET',
|
|
134
|
-
'VERSION_KERNEL_INPUTS_COL_OFFSET',
|
|
135
|
-
'BLOCK_NUMBER_KERNEL_INPUTS_COL_OFFSET',
|
|
136
|
-
'TIMESTAMP_KERNEL_INPUTS_COL_OFFSET',
|
|
137
|
-
'FEE_PER_DA_GAS_KERNEL_INPUTS_COL_OFFSET',
|
|
138
|
-
'FEE_PER_L2_GAS_KERNEL_INPUTS_COL_OFFSET',
|
|
139
|
-
'IS_STATIC_CALL_KERNEL_INPUTS_COL_OFFSET',
|
|
140
|
-
'DA_START_GAS_KERNEL_INPUTS_COL_OFFSET',
|
|
141
|
-
'L2_START_GAS_KERNEL_INPUTS_COL_OFFSET',
|
|
142
|
-
'DA_END_GAS_KERNEL_INPUTS_COL_OFFSET',
|
|
143
|
-
'L2_END_GAS_KERNEL_INPUTS_COL_OFFSET',
|
|
144
|
-
'TRANSACTION_FEE_KERNEL_INPUTS_COL_OFFSET',
|
|
129
|
+
'MAX_ETH_ADDRESS_VALUE',
|
|
145
130
|
'MEM_TAG_U1',
|
|
146
131
|
'MEM_TAG_U8',
|
|
147
132
|
'MEM_TAG_U16',
|
|
@@ -149,18 +134,195 @@ const PIL_CONSTANTS = [
|
|
|
149
134
|
'MEM_TAG_U64',
|
|
150
135
|
'MEM_TAG_U128',
|
|
151
136
|
'MEM_TAG_FF',
|
|
152
|
-
'
|
|
137
|
+
'AVM_BITWISE_AND_OP_ID',
|
|
138
|
+
'AVM_BITWISE_OR_OP_ID',
|
|
139
|
+
'AVM_BITWISE_XOR_OP_ID',
|
|
140
|
+
'AVM_KECCAKF1600_NUM_ROUNDS',
|
|
141
|
+
'AVM_KECCAKF1600_STATE_SIZE',
|
|
142
|
+
'AVM_TX_PHASE_VALUE_START',
|
|
143
|
+
'AVM_TX_PHASE_VALUE_SETUP',
|
|
144
|
+
'AVM_TX_PHASE_VALUE_LAST',
|
|
145
|
+
'AVM_HIGHEST_MEM_ADDRESS',
|
|
146
|
+
'AVM_MEMORY_NUM_BITS',
|
|
147
|
+
'AVM_MEMORY_SIZE',
|
|
148
|
+
'MAX_PACKED_PUBLIC_BYTECODE_SIZE_IN_FIELDS',
|
|
149
|
+
'MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX',
|
|
150
|
+
'MAX_NOTE_HASHES_PER_TX',
|
|
151
|
+
'GRUMPKIN_ONE_X',
|
|
152
|
+
'GRUMPKIN_ONE_Y',
|
|
153
|
+
'AVM_PC_SIZE_IN_BITS',
|
|
154
|
+
'PUBLIC_DATA_TREE_HEIGHT',
|
|
155
|
+
'NULLIFIER_TREE_HEIGHT',
|
|
156
|
+
'NOTE_HASH_TREE_HEIGHT',
|
|
157
|
+
'L1_TO_L2_MSG_TREE_HEIGHT',
|
|
158
|
+
'UPDATED_CLASS_IDS_SLOT',
|
|
159
|
+
'UPDATES_DELAYED_PUBLIC_MUTABLE_VALUES_LEN',
|
|
160
|
+
'CANONICAL_AUTH_REGISTRY_ADDRESS',
|
|
161
|
+
'CONTRACT_INSTANCE_REGISTRY_CONTRACT_ADDRESS',
|
|
162
|
+
'CONTRACT_CLASS_REGISTRY_CONTRACT_ADDRESS',
|
|
163
|
+
'MULTI_CALL_ENTRYPOINT_ADDRESS',
|
|
164
|
+
'FEE_JUICE_ADDRESS',
|
|
165
|
+
'PUBLIC_CHECKS_ADDRESS',
|
|
166
|
+
'FEE_JUICE_BALANCES_SLOT',
|
|
167
|
+
'TIMESTAMP_OF_CHANGE_BIT_SIZE',
|
|
168
|
+
'UPDATES_DELAYED_PUBLIC_MUTABLE_METADATA_BIT_SIZE',
|
|
169
|
+
'UPDATES_SHARED_MUTABLE_METADATA_BIT_SIZE',
|
|
170
|
+
'MAX_ENQUEUED_CALLS_PER_TX',
|
|
171
|
+
'MAX_NOTE_HASHES_PER_TX',
|
|
172
|
+
'MAX_NULLIFIERS_PER_TX',
|
|
173
|
+
'MAX_L2_TO_L1_MSGS_PER_TX',
|
|
174
|
+
'MAX_PUBLIC_LOGS_PER_TX',
|
|
175
|
+
'MAX_PUBLIC_CALLS_TO_UNIQUE_CONTRACT_CLASS_IDS',
|
|
176
|
+
'MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX',
|
|
177
|
+
'MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX',
|
|
178
|
+
'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_ROW_IDX',
|
|
179
|
+
'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_CHAIN_ID_ROW_IDX',
|
|
180
|
+
'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_VERSION_ROW_IDX',
|
|
181
|
+
'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_BLOCK_NUMBER_ROW_IDX',
|
|
182
|
+
'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_SLOT_NUMBER_ROW_IDX',
|
|
183
|
+
'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_TIMESTAMP_ROW_IDX',
|
|
184
|
+
'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_COINBASE_ROW_IDX',
|
|
185
|
+
'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_FEE_RECIPIENT_ROW_IDX',
|
|
186
|
+
'AVM_PUBLIC_INPUTS_GLOBAL_VARIABLES_GAS_FEES_ROW_IDX',
|
|
187
|
+
'AVM_PUBLIC_INPUTS_PROTOCOL_CONTRACTS_ROW_IDX',
|
|
188
|
+
'AVM_PUBLIC_INPUTS_START_TREE_SNAPSHOTS_ROW_IDX',
|
|
189
|
+
'AVM_PUBLIC_INPUTS_START_TREE_SNAPSHOTS_L1_TO_L2_MESSAGE_TREE_ROW_IDX',
|
|
190
|
+
'AVM_PUBLIC_INPUTS_START_TREE_SNAPSHOTS_NOTE_HASH_TREE_ROW_IDX',
|
|
191
|
+
'AVM_PUBLIC_INPUTS_START_TREE_SNAPSHOTS_NULLIFIER_TREE_ROW_IDX',
|
|
192
|
+
'AVM_PUBLIC_INPUTS_START_TREE_SNAPSHOTS_PUBLIC_DATA_TREE_ROW_IDX',
|
|
193
|
+
'AVM_PUBLIC_INPUTS_START_GAS_USED_ROW_IDX',
|
|
194
|
+
'AVM_PUBLIC_INPUTS_GAS_SETTINGS_ROW_IDX',
|
|
195
|
+
'AVM_PUBLIC_INPUTS_GAS_SETTINGS_GAS_LIMITS_ROW_IDX',
|
|
196
|
+
'AVM_PUBLIC_INPUTS_GAS_SETTINGS_TEARDOWN_GAS_LIMITS_ROW_IDX',
|
|
197
|
+
'AVM_PUBLIC_INPUTS_FEE_PAYER_ROW_IDX',
|
|
198
|
+
'AVM_PUBLIC_INPUTS_PUBLIC_SETUP_CALL_REQUESTS_ROW_IDX',
|
|
199
|
+
'AVM_PUBLIC_INPUTS_PUBLIC_APP_LOGIC_CALL_REQUESTS_ROW_IDX',
|
|
200
|
+
'AVM_PUBLIC_INPUTS_PUBLIC_TEARDOWN_CALL_REQUEST_ROW_IDX',
|
|
201
|
+
'AVM_PUBLIC_INPUTS_PREVIOUS_NON_REVERTIBLE_ACCUMULATED_DATA_ARRAY_LENGTHS_ROW_IDX',
|
|
202
|
+
'AVM_PUBLIC_INPUTS_PREVIOUS_REVERTIBLE_ACCUMULATED_DATA_ARRAY_LENGTHS_ROW_IDX',
|
|
203
|
+
'AVM_PUBLIC_INPUTS_PREVIOUS_NON_REVERTIBLE_ACCUMULATED_DATA_ROW_IDX',
|
|
204
|
+
'AVM_PUBLIC_INPUTS_PREVIOUS_NON_REVERTIBLE_ACCUMULATED_DATA_NOTE_HASHES_ROW_IDX',
|
|
205
|
+
'AVM_PUBLIC_INPUTS_PREVIOUS_NON_REVERTIBLE_ACCUMULATED_DATA_NULLIFIERS_ROW_IDX',
|
|
206
|
+
'AVM_PUBLIC_INPUTS_PREVIOUS_NON_REVERTIBLE_ACCUMULATED_DATA_L2_TO_L1_MSGS_ROW_IDX',
|
|
207
|
+
'AVM_PUBLIC_INPUTS_PREVIOUS_REVERTIBLE_ACCUMULATED_DATA_ROW_IDX',
|
|
208
|
+
'AVM_PUBLIC_INPUTS_PREVIOUS_REVERTIBLE_ACCUMULATED_DATA_NOTE_HASHES_ROW_IDX',
|
|
209
|
+
'AVM_PUBLIC_INPUTS_PREVIOUS_REVERTIBLE_ACCUMULATED_DATA_NULLIFIERS_ROW_IDX',
|
|
210
|
+
'AVM_PUBLIC_INPUTS_PREVIOUS_REVERTIBLE_ACCUMULATED_DATA_L2_TO_L1_MSGS_ROW_IDX',
|
|
211
|
+
'AVM_PUBLIC_INPUTS_END_TREE_SNAPSHOTS_ROW_IDX',
|
|
212
|
+
'AVM_PUBLIC_INPUTS_END_TREE_SNAPSHOTS_L1_TO_L2_MESSAGE_TREE_ROW_IDX',
|
|
213
|
+
'AVM_PUBLIC_INPUTS_END_TREE_SNAPSHOTS_NOTE_HASH_TREE_ROW_IDX',
|
|
214
|
+
'AVM_PUBLIC_INPUTS_END_TREE_SNAPSHOTS_NULLIFIER_TREE_ROW_IDX',
|
|
215
|
+
'AVM_PUBLIC_INPUTS_END_TREE_SNAPSHOTS_PUBLIC_DATA_TREE_ROW_IDX',
|
|
216
|
+
'AVM_PUBLIC_INPUTS_END_GAS_USED_ROW_IDX',
|
|
217
|
+
'AVM_PUBLIC_INPUTS_AVM_ACCUMULATED_DATA_ARRAY_LENGTHS_NOTE_HASHES_ROW_IDX',
|
|
218
|
+
'AVM_PUBLIC_INPUTS_AVM_ACCUMULATED_DATA_ARRAY_LENGTHS_NULLIFIERS_ROW_IDX',
|
|
219
|
+
'AVM_PUBLIC_INPUTS_AVM_ACCUMULATED_DATA_ARRAY_LENGTHS_L2_TO_L1_MSGS_ROW_IDX',
|
|
220
|
+
'AVM_PUBLIC_INPUTS_AVM_ACCUMULATED_DATA_ARRAY_LENGTHS_PUBLIC_LOGS_ROW_IDX',
|
|
221
|
+
'AVM_PUBLIC_INPUTS_AVM_ACCUMULATED_DATA_ARRAY_LENGTHS_PUBLIC_DATA_WRITES_ROW_IDX',
|
|
222
|
+
'AVM_PUBLIC_INPUTS_AVM_ACCUMULATED_DATA_ROW_IDX',
|
|
223
|
+
'AVM_PUBLIC_INPUTS_AVM_ACCUMULATED_DATA_NOTE_HASHES_ROW_IDX',
|
|
224
|
+
'AVM_PUBLIC_INPUTS_AVM_ACCUMULATED_DATA_NULLIFIERS_ROW_IDX',
|
|
225
|
+
'AVM_PUBLIC_INPUTS_AVM_ACCUMULATED_DATA_L2_TO_L1_MSGS_ROW_IDX',
|
|
226
|
+
'AVM_PUBLIC_INPUTS_AVM_ACCUMULATED_DATA_PUBLIC_LOGS_ROW_IDX',
|
|
227
|
+
'AVM_PUBLIC_INPUTS_AVM_ACCUMULATED_DATA_PUBLIC_DATA_WRITES_ROW_IDX',
|
|
228
|
+
'AVM_PUBLIC_INPUTS_TRANSACTION_FEE_ROW_IDX',
|
|
229
|
+
'AVM_PUBLIC_INPUTS_REVERTED_ROW_IDX',
|
|
230
|
+
'AVM_PUBLIC_INPUTS_COLUMNS_MAX_LENGTH',
|
|
231
|
+
'AVM_NUM_PUBLIC_INPUT_COLUMNS',
|
|
232
|
+
'AVM_PUBLIC_INPUTS_COLUMNS_COMBINED_LENGTH',
|
|
233
|
+
'AVM_SUBTRACE_ID_EXECUTION',
|
|
234
|
+
'AVM_SUBTRACE_ID_ALU',
|
|
235
|
+
'AVM_SUBTRACE_ID_CAST',
|
|
236
|
+
'AVM_SUBTRACE_ID_SET',
|
|
237
|
+
'AVM_SUBTRACE_ID_BITWISE',
|
|
238
|
+
'AVM_SUBTRACE_ID_POSEIDON2_PERM',
|
|
239
|
+
'AVM_SUBTRACE_ID_TO_RADIX',
|
|
240
|
+
'AVM_SUBTRACE_ID_ECC',
|
|
241
|
+
'AVM_SUBTRACE_ID_KECCAKF1600',
|
|
242
|
+
'AVM_SUBTRACE_ID_CALLDATA_COPY',
|
|
243
|
+
'AVM_SUBTRACE_ID_SHA256_COMPRESSION',
|
|
244
|
+
'AVM_SUBTRACE_ID_RETURNDATA_COPY',
|
|
245
|
+
'AVM_DYN_GAS_ID_CALLDATACOPY',
|
|
246
|
+
'AVM_DYN_GAS_ID_RETURNDATACOPY',
|
|
247
|
+
'AVM_DYN_GAS_ID_TORADIX',
|
|
248
|
+
'AVM_DYN_GAS_ID_BITWISE',
|
|
249
|
+
'AVM_DYN_GAS_ID_EMITUNENCRYPTEDLOG',
|
|
250
|
+
'AVM_DYN_GAS_ID_SSTORE',
|
|
251
|
+
'AVM_SUBTRACE_ID_GETCONTRACTINSTANCE',
|
|
252
|
+
'AVM_SUBTRACE_ID_EMITUNENCRYPTEDLOG',
|
|
253
|
+
'AVM_EXEC_OP_ID_GETENVVAR',
|
|
254
|
+
'AVM_EXEC_OP_ID_MOV',
|
|
255
|
+
'AVM_EXEC_OP_ID_JUMP',
|
|
256
|
+
'AVM_EXEC_OP_ID_JUMPI',
|
|
257
|
+
'AVM_EXEC_OP_ID_CALL',
|
|
258
|
+
'AVM_EXEC_OP_ID_STATICCALL',
|
|
259
|
+
'AVM_EXEC_OP_ID_INTERNALCALL',
|
|
260
|
+
'AVM_EXEC_OP_ID_INTERNALRETURN',
|
|
261
|
+
'AVM_EXEC_OP_ID_RETURN',
|
|
262
|
+
'AVM_EXEC_OP_ID_REVERT',
|
|
263
|
+
'AVM_EXEC_OP_ID_SUCCESSCOPY',
|
|
264
|
+
'AVM_EXEC_OP_ID_ALU_ADD',
|
|
265
|
+
'AVM_EXEC_OP_ID_ALU_SUB',
|
|
266
|
+
'AVM_EXEC_OP_ID_ALU_MUL',
|
|
267
|
+
'AVM_EXEC_OP_ID_ALU_DIV',
|
|
268
|
+
'AVM_EXEC_OP_ID_ALU_FDIV',
|
|
269
|
+
'AVM_EXEC_OP_ID_ALU_EQ',
|
|
270
|
+
'AVM_EXEC_OP_ID_ALU_LT',
|
|
271
|
+
'AVM_EXEC_OP_ID_ALU_LTE',
|
|
272
|
+
'AVM_EXEC_OP_ID_ALU_NOT',
|
|
273
|
+
'AVM_EXEC_OP_ID_ALU_SHL',
|
|
274
|
+
'AVM_EXEC_OP_ID_ALU_SHR',
|
|
275
|
+
'AVM_EXEC_OP_ID_ALU_TRUNCATE',
|
|
276
|
+
'AVM_EXEC_OP_ID_RETURNDATASIZE',
|
|
277
|
+
'AVM_EXEC_OP_ID_DEBUGLOG',
|
|
278
|
+
'AVM_EXEC_OP_ID_SLOAD',
|
|
279
|
+
'AVM_EXEC_OP_ID_SSTORE',
|
|
280
|
+
'AVM_EXEC_OP_ID_NOTEHASH_EXISTS',
|
|
281
|
+
'AVM_EXEC_OP_ID_EMIT_NOTEHASH',
|
|
282
|
+
'AVM_EXEC_OP_ID_L1_TO_L2_MESSAGE_EXISTS',
|
|
283
|
+
'AVM_EXEC_OP_ID_NULLIFIER_EXISTS',
|
|
284
|
+
'AVM_EXEC_OP_ID_EMIT_NULLIFIER',
|
|
285
|
+
'AVM_EXEC_OP_ID_SENDL2TOL1MSG',
|
|
286
|
+
'AVM_WRITTEN_PUBLIC_DATA_SLOTS_TREE_HEIGHT',
|
|
287
|
+
'AVM_WRITTEN_PUBLIC_DATA_SLOTS_TREE_INITIAL_ROOT',
|
|
288
|
+
'AVM_WRITTEN_PUBLIC_DATA_SLOTS_TREE_INITIAL_SIZE',
|
|
289
|
+
'AVM_RETRIEVED_BYTECODES_TREE_HEIGHT',
|
|
290
|
+
'AVM_RETRIEVED_BYTECODES_TREE_INITIAL_ROOT',
|
|
291
|
+
'AVM_RETRIEVED_BYTECODES_TREE_INITIAL_SIZE',
|
|
292
|
+
'NOTE_HASH_TREE_LEAF_COUNT',
|
|
293
|
+
'L1_TO_L2_MSG_TREE_LEAF_COUNT',
|
|
294
|
+
'FLAT_PUBLIC_LOGS_HEADER_LENGTH',
|
|
295
|
+
'FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH',
|
|
296
|
+
'PUBLIC_LOGS_LENGTH',
|
|
297
|
+
'PUBLIC_LOG_HEADER_LENGTH',
|
|
298
|
+
'MAX_PROTOCOL_CONTRACTS'
|
|
153
299
|
];
|
|
154
300
|
const PIL_GENERATORS = [
|
|
155
301
|
'PARTIAL_ADDRESS',
|
|
156
302
|
'CONTRACT_ADDRESS_V1',
|
|
157
|
-
'
|
|
303
|
+
'CONTRACT_CLASS_ID',
|
|
158
304
|
'PUBLIC_KEYS_HASH',
|
|
159
305
|
'NOTE_HASH_NONCE',
|
|
160
306
|
'UNIQUE_NOTE_HASH',
|
|
161
307
|
'SILOED_NOTE_HASH',
|
|
162
308
|
'OUTER_NULLIFIER',
|
|
163
|
-
'PUBLIC_LEAF_INDEX'
|
|
309
|
+
'PUBLIC_LEAF_INDEX',
|
|
310
|
+
'PUBLIC_CALLDATA',
|
|
311
|
+
'PUBLIC_BYTECODE'
|
|
312
|
+
];
|
|
313
|
+
const SOLIDITY_CONSTANTS = [
|
|
314
|
+
'MAX_FIELD_VALUE',
|
|
315
|
+
'MAX_L2_TO_L1_MSGS_PER_TX',
|
|
316
|
+
'EMPTY_EPOCH_OUT_HASH',
|
|
317
|
+
'L1_TO_L2_MSG_SUBTREE_HEIGHT',
|
|
318
|
+
'NUM_MSGS_PER_BASE_PARITY',
|
|
319
|
+
'NUM_BASE_PARITY_PER_ROOT_PARITY',
|
|
320
|
+
'BLS12_POINT_COMPRESSED_BYTES',
|
|
321
|
+
'ROOT_ROLLUP_PUBLIC_INPUTS_LENGTH',
|
|
322
|
+
'INITIAL_CHECKPOINT_NUMBER',
|
|
323
|
+
'GENESIS_ARCHIVE_ROOT',
|
|
324
|
+
'FEE_JUICE_ADDRESS',
|
|
325
|
+
'AZTEC_MAX_EPOCH_DURATION'
|
|
164
326
|
];
|
|
165
327
|
/**
|
|
166
328
|
* Processes a collection of constants and generates code to export them as TypeScript constants.
|
|
@@ -183,14 +345,19 @@ const PIL_GENERATORS = [
|
|
|
183
345
|
*/ function processConstantsCpp(constants, generatorIndices) {
|
|
184
346
|
const code = [];
|
|
185
347
|
Object.entries(constants).forEach(([key, value])=>{
|
|
186
|
-
if (CPP_CONSTANTS.includes(key) || key.startsWith('AVM_')
|
|
187
|
-
|
|
188
|
-
|
|
348
|
+
if (CPP_CONSTANTS.includes(key) || key.startsWith('AVM_')) {
|
|
349
|
+
if (BigInt(value) <= 2n ** 31n - 1n) {
|
|
350
|
+
code.push(`#define ${key} ${value}`);
|
|
351
|
+
} else if (BigInt(value) <= 2n ** 64n - 1n) {
|
|
352
|
+
code.push(`#define ${key} 0x${BigInt(value).toString(16)}`); // hex literals
|
|
353
|
+
} else {
|
|
354
|
+
code.push(`#define ${key} "0x${BigInt(value).toString(16).padStart(64, '0')}"`); // stringify large numbers
|
|
355
|
+
}
|
|
189
356
|
}
|
|
190
357
|
});
|
|
191
358
|
Object.entries(generatorIndices).forEach(([key, value])=>{
|
|
192
359
|
if (CPP_GENERATORS.includes(key)) {
|
|
193
|
-
code.push(`#define
|
|
360
|
+
code.push(`#define DOM_SEP__${key} ${value}`);
|
|
194
361
|
}
|
|
195
362
|
});
|
|
196
363
|
return code.join('\n');
|
|
@@ -210,7 +377,7 @@ const PIL_GENERATORS = [
|
|
|
210
377
|
});
|
|
211
378
|
Object.entries(generatorIndices).forEach(([key, value])=>{
|
|
212
379
|
if (PIL_GENERATORS.includes(key)) {
|
|
213
|
-
code.push(` pol
|
|
380
|
+
code.push(` pol DOM_SEP__${key} = ${value};`);
|
|
214
381
|
}
|
|
215
382
|
});
|
|
216
383
|
return code.join('\n');
|
|
@@ -239,7 +406,7 @@ const PIL_GENERATORS = [
|
|
|
239
406
|
*/ function processConstantsSolidity(constants, prefix = '') {
|
|
240
407
|
const code = [];
|
|
241
408
|
Object.entries(constants).forEach(([key, value])=>{
|
|
242
|
-
if (
|
|
409
|
+
if (SOLIDITY_CONSTANTS.includes(key)) {
|
|
243
410
|
code.push(` uint256 internal constant ${prefix}${key} = ${value};`);
|
|
244
411
|
}
|
|
245
412
|
});
|
|
@@ -249,7 +416,7 @@ const PIL_GENERATORS = [
|
|
|
249
416
|
* Generate the constants file in Typescript.
|
|
250
417
|
*/ function generateTypescriptConstants({ constants, generatorIndexEnum }, targetPath) {
|
|
251
418
|
const result = [
|
|
252
|
-
'
|
|
419
|
+
'// GENERATED FILE - DO NOT EDIT, RUN yarn remake-constants',
|
|
253
420
|
processConstantsTS(constants),
|
|
254
421
|
processEnumTS('GeneratorIndex', generatorIndexEnum)
|
|
255
422
|
].join('\n');
|
|
@@ -319,7 +486,7 @@ ${processConstantsSolidity(constants)}
|
|
|
319
486
|
{
|
|
320
487
|
const [, name, _type, value, end] = line.match(/global\s+(\w+)(\s*:\s*\w+)?\s*=\s*([^;]*)(;)?/) || [];
|
|
321
488
|
if (name && value) {
|
|
322
|
-
const [, indexName] = name.match(/
|
|
489
|
+
const [, indexName] = name.match(/DOM_SEP__(\w+)/) || [];
|
|
323
490
|
if (indexName) {
|
|
324
491
|
// Generator index.
|
|
325
492
|
generatorIndexEnum[indexName] = +value;
|
|
@@ -390,9 +557,10 @@ ${processConstantsSolidity(constants)}
|
|
|
390
557
|
// However, (1) the bigints need to be initialized from strings; (2) everything needs to
|
|
391
558
|
// be a bigint, even the actual constant values!
|
|
392
559
|
const prelude = expressions.map(([name, rhs])=>{
|
|
393
|
-
const guardedRhs = rhs// Remove 'as u8' and 'as
|
|
394
|
-
.replaceAll(' as u8', '').replaceAll(' as u32', '')// Remove the 'AztecAddress::from_field(...)' pattern
|
|
395
|
-
|
|
560
|
+
const guardedRhs = rhs// Remove 'as u8', 'as u32' and 'as u64' castings
|
|
561
|
+
.replaceAll(' as u8', '').replaceAll(' as u32', '').replaceAll(' as u64', '')// Remove the 'AztecAddress::from_field(...)' pattern.
|
|
562
|
+
// Also copes with the noir formatter re-formatting over multiple lines.
|
|
563
|
+
.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.
|
|
396
564
|
.replace(/\(/g, '( ').replace(/\)/g, ' )')// We also make some space around common operators
|
|
397
565
|
.replace(/\+/g, ' + ').replace(/(?<!\/)\*(?!\/)/, ' * ')// We split the expression into terms...
|
|
398
566
|
.split(/\s+/)// ...and then we convert each term to a BigInt if it is a number.
|
|
@@ -421,12 +589,9 @@ ${processConstantsSolidity(constants)}
|
|
|
421
589
|
// Cpp
|
|
422
590
|
const cppTargetPath = join(__dirname, CPP_AZTEC_CONSTANTS_FILE);
|
|
423
591
|
generateCppConstants(parsedContent, cppTargetPath);
|
|
424
|
-
// PIL
|
|
592
|
+
// PIL
|
|
425
593
|
const pilTargetPath = join(__dirname, PIL_AZTEC_CONSTANTS_FILE);
|
|
426
594
|
generatePilConstants(parsedContent, pilTargetPath);
|
|
427
|
-
// PIL - VM2
|
|
428
|
-
const pilVm2TargetPath = join(__dirname, PIL_VM2_AZTEC_CONSTANTS_FILE);
|
|
429
|
-
generatePilConstants(parsedContent, pilVm2TargetPath);
|
|
430
595
|
// Solidity
|
|
431
596
|
const solidityTargetPath = join(__dirname, SOLIDITY_CONSTANTS_FILE);
|
|
432
597
|
fs.mkdirSync(dirname(solidityTargetPath), {
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@aztec/constants",
|
|
3
|
-
"version": "0.0.
|
|
3
|
+
"version": "0.0.1-commit.0b941701",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"inherits": [
|
|
6
6
|
"../package.common.json"
|
|
@@ -9,26 +9,26 @@
|
|
|
9
9
|
".": "./dest/constants.js"
|
|
10
10
|
},
|
|
11
11
|
"scripts": {
|
|
12
|
-
"build": "yarn clean && tsc
|
|
13
|
-
"build:dev": "tsc
|
|
12
|
+
"build": "yarn clean && ../scripts/tsc.sh",
|
|
13
|
+
"build:dev": "../scripts/tsc.sh --watch",
|
|
14
14
|
"clean": "rm -rf ./dest .tsbuildinfo",
|
|
15
|
-
"formatting": "run -T prettier --check ./src && run -T eslint ./src",
|
|
16
|
-
"formatting:fix": "run -T eslint --fix ./src && run -T prettier -w ./src",
|
|
17
15
|
"remake-constants": "node --loader @swc-node/register/esm src/scripts/constants.in.ts && cd ../../l1-contracts && forge fmt",
|
|
18
16
|
"test": "NODE_NO_WARNINGS=1 node --experimental-vm-modules ../node_modules/.bin/jest --passWithNoTests --maxWorkers=${JEST_MAX_WORKERS:-8}"
|
|
19
17
|
},
|
|
20
18
|
"dependencies": {
|
|
19
|
+
"@aztec/foundation": "0.0.1-commit.0b941701",
|
|
21
20
|
"tslib": "^2.4.0"
|
|
22
21
|
},
|
|
23
22
|
"devDependencies": {
|
|
24
|
-
"@jest/globals": "^
|
|
25
|
-
"@types/jest": "^
|
|
26
|
-
"@types/node": "^
|
|
27
|
-
"
|
|
28
|
-
"
|
|
29
|
-
"
|
|
23
|
+
"@jest/globals": "^30.0.0",
|
|
24
|
+
"@types/jest": "^30.0.0",
|
|
25
|
+
"@types/node": "^22.15.17",
|
|
26
|
+
"@typescript/native-preview": "7.0.0-dev.20260113.1",
|
|
27
|
+
"eslint": "^9.26.0",
|
|
28
|
+
"jest": "^30.0.0",
|
|
29
|
+
"prettier": "^3.5.3",
|
|
30
30
|
"ts-node": "^10.9.1",
|
|
31
|
-
"typescript": "^5.
|
|
31
|
+
"typescript": "^5.3.3"
|
|
32
32
|
},
|
|
33
33
|
"files": [
|
|
34
34
|
"dest",
|
|
@@ -38,7 +38,7 @@
|
|
|
38
38
|
],
|
|
39
39
|
"types": "./dest/index.d.ts",
|
|
40
40
|
"engines": {
|
|
41
|
-
"node": ">=
|
|
41
|
+
"node": ">=20.10"
|
|
42
42
|
},
|
|
43
43
|
"jest": {
|
|
44
44
|
"extensionsToTreatAsEsm": [
|
|
@@ -71,6 +71,10 @@
|
|
|
71
71
|
"testTimeout": 120000,
|
|
72
72
|
"setupFiles": [
|
|
73
73
|
"../../foundation/src/jest/setup.mjs"
|
|
74
|
+
],
|
|
75
|
+
"testEnvironment": "../../foundation/src/jest/env.mjs",
|
|
76
|
+
"setupFilesAfterEnv": [
|
|
77
|
+
"../../foundation/src/jest/setupAfterEnv.mjs"
|
|
74
78
|
]
|
|
75
79
|
}
|
|
76
80
|
}
|