@aztec/constants 0.0.1-commit.c7c42ec → 0.0.1-commit.c949de6bc
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 +1 -1
- package/dest/constants.d.ts.map +1 -1
- package/dest/constants.gen.d.ts +125 -117
- package/dest/constants.gen.d.ts.map +1 -1
- package/dest/constants.gen.js +125 -117
- package/dest/constants.js +3 -3
- package/dest/scripts/constants.in.js +34 -20
- package/package.json +10 -3
- package/src/constants.gen.ts +128 -128
- package/src/constants.ts +4 -3
package/dest/constants.gen.js
CHANGED
|
@@ -1,5 +1,7 @@
|
|
|
1
1
|
// GENERATED FILE - DO NOT EDIT, RUN yarn remake-constants
|
|
2
2
|
export const MAX_FIELD_VALUE = 21888242871839275222246405745257275088548364400416034343698204186575808495616n;
|
|
3
|
+
export const MAX_ETH_ADDRESS_BIT_SIZE = 160;
|
|
4
|
+
export const MAX_ETH_ADDRESS_VALUE = 1461501637330902918203684832716283019655932542975n;
|
|
3
5
|
export const MAX_U64_VALUE = 18446744073709551615n;
|
|
4
6
|
export const MAX_U32_VALUE = 4294967295;
|
|
5
7
|
export const MAX_FR_CALLDATA_TO_ALL_ENQUEUED_CALLS = 16000;
|
|
@@ -10,6 +12,7 @@ export const NOTE_HASH_TREE_HEIGHT = 42;
|
|
|
10
12
|
export const PUBLIC_DATA_TREE_HEIGHT = 40;
|
|
11
13
|
export const NULLIFIER_TREE_HEIGHT = 42;
|
|
12
14
|
export const L1_TO_L2_MSG_TREE_HEIGHT = 36;
|
|
15
|
+
export const OUT_HASH_TREE_HEIGHT = 5;
|
|
13
16
|
export const ARTIFACT_FUNCTION_TREE_MAX_HEIGHT = 7;
|
|
14
17
|
export const NULLIFIER_TREE_ID = 0;
|
|
15
18
|
export const NOTE_HASH_TREE_ID = 1;
|
|
@@ -18,6 +21,7 @@ export const L1_TO_L2_MESSAGE_TREE_ID = 3;
|
|
|
18
21
|
export const ARCHIVE_TREE_ID = 4;
|
|
19
22
|
export const NOTE_HASH_TREE_LEAF_COUNT = 4398046511104;
|
|
20
23
|
export const L1_TO_L2_MSG_TREE_LEAF_COUNT = 68719476736;
|
|
24
|
+
export const OUT_HASH_TREE_LEAF_COUNT = 32;
|
|
21
25
|
export const NOTE_HASH_SUBTREE_HEIGHT = 6;
|
|
22
26
|
export const NULLIFIER_SUBTREE_HEIGHT = 6;
|
|
23
27
|
export const PUBLIC_DATA_SUBTREE_HEIGHT = 6;
|
|
@@ -35,21 +39,21 @@ export const MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX = 64;
|
|
|
35
39
|
export const MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX = 63;
|
|
36
40
|
export const MAX_PUBLIC_DATA_READS_PER_TX = 64;
|
|
37
41
|
export const MAX_L2_TO_L1_MSGS_PER_TX = 8;
|
|
42
|
+
export const MAX_PRIVATE_LOGS_PER_TX = 64;
|
|
43
|
+
export const MAX_CONTRACT_CLASS_LOGS_PER_TX = 1;
|
|
38
44
|
export const MAX_NOTE_HASH_READ_REQUESTS_PER_TX = 64;
|
|
39
45
|
export const MAX_NULLIFIER_READ_REQUESTS_PER_TX = 64;
|
|
40
46
|
export const MAX_KEY_VALIDATION_REQUESTS_PER_TX = 64;
|
|
41
|
-
export const MAX_PRIVATE_LOGS_PER_TX = 64;
|
|
42
|
-
export const MAX_CONTRACT_CLASS_LOGS_PER_TX = 1;
|
|
43
47
|
export const MAX_NOTE_HASHES_PER_CALL = 16;
|
|
44
48
|
export const MAX_NULLIFIERS_PER_CALL = 16;
|
|
45
49
|
export const MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL = 8;
|
|
46
50
|
export const MAX_ENQUEUED_CALLS_PER_CALL = 32;
|
|
47
51
|
export const MAX_L2_TO_L1_MSGS_PER_CALL = 8;
|
|
52
|
+
export const MAX_PRIVATE_LOGS_PER_CALL = 16;
|
|
53
|
+
export const MAX_CONTRACT_CLASS_LOGS_PER_CALL = 1;
|
|
48
54
|
export const MAX_NOTE_HASH_READ_REQUESTS_PER_CALL = 16;
|
|
49
55
|
export const MAX_NULLIFIER_READ_REQUESTS_PER_CALL = 16;
|
|
50
56
|
export const MAX_KEY_VALIDATION_REQUESTS_PER_CALL = 16;
|
|
51
|
-
export const MAX_PRIVATE_LOGS_PER_CALL = 16;
|
|
52
|
-
export const MAX_CONTRACT_CLASS_LOGS_PER_CALL = 1;
|
|
53
57
|
export const NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP = 1024;
|
|
54
58
|
export const PRIVATE_KERNEL_INIT_VK_INDEX = 0;
|
|
55
59
|
export const PRIVATE_KERNEL_INNER_VK_INDEX = 1;
|
|
@@ -92,30 +96,31 @@ export const INITIAL_CHECKPOINT_NUMBER = 1;
|
|
|
92
96
|
export const INITIAL_L2_BLOCK_NUM = 1;
|
|
93
97
|
export const FIELDS_PER_BLOB = 4096;
|
|
94
98
|
export const BLOBS_PER_CHECKPOINT = 6;
|
|
95
|
-
export const
|
|
96
|
-
export const
|
|
97
|
-
export const GENESIS_BLOCK_HEADER_HASH =
|
|
98
|
-
export const GENESIS_ARCHIVE_ROOT =
|
|
99
|
+
export const MAX_CHECKPOINTS_PER_EPOCH = 32;
|
|
100
|
+
export const MAX_TX_LIFETIME = 86400;
|
|
101
|
+
export const GENESIS_BLOCK_HEADER_HASH = 21694244557328181932449230888455310614586084993178835904749768133365362325861n;
|
|
102
|
+
export const GENESIS_ARCHIVE_ROOT = 9682850228538071369704502076456077473410427336083826595120404283897422804423n;
|
|
103
|
+
export const EMPTY_EPOCH_OUT_HASH = 355785372471781095838790036702437931769306153278986832745847530947941691539n;
|
|
99
104
|
export const MAX_PACKED_PUBLIC_BYTECODE_SIZE_IN_FIELDS = 3000;
|
|
100
105
|
export const MAX_PACKED_BYTECODE_SIZE_PER_PRIVATE_FUNCTION_IN_FIELDS = 3000;
|
|
101
106
|
export const MAX_PACKED_BYTECODE_SIZE_PER_UTILITY_FUNCTION_IN_FIELDS = 3000;
|
|
102
107
|
export const CLASS_REGISTRY_PRIVATE_FUNCTION_BROADCASTED_ADDITIONAL_FIELDS = 23;
|
|
103
108
|
export const CLASS_REGISTRY_UTILITY_FUNCTION_BROADCASTED_ADDITIONAL_FIELDS = 14;
|
|
104
|
-
export const CONTRACT_CLASS_PUBLISHED_MAGIC_VALUE =
|
|
105
|
-
export const CONTRACT_CLASS_REGISTRY_PRIVATE_FUNCTION_BROADCASTED_MAGIC_VALUE =
|
|
106
|
-
export const CONTRACT_CLASS_REGISTRY_UTILITY_FUNCTION_BROADCASTED_MAGIC_VALUE =
|
|
107
|
-
export const CONTRACT_INSTANCE_PUBLISHED_MAGIC_VALUE =
|
|
108
|
-
export const CONTRACT_INSTANCE_UPDATED_MAGIC_VALUE =
|
|
109
|
+
export const CONTRACT_CLASS_PUBLISHED_MAGIC_VALUE = 14907836659448373306373608164128296596488873008270905914742877230397948162628n;
|
|
110
|
+
export const CONTRACT_CLASS_REGISTRY_PRIVATE_FUNCTION_BROADCASTED_MAGIC_VALUE = 6632427679359753950122686582223287785801228472790519808071945107172278003224n;
|
|
111
|
+
export const CONTRACT_CLASS_REGISTRY_UTILITY_FUNCTION_BROADCASTED_MAGIC_VALUE = 2863388930963370662477859081312917957786876946407365497018765359301074232169n;
|
|
112
|
+
export const CONTRACT_INSTANCE_PUBLISHED_MAGIC_VALUE = 10538216027419913765597387738085647348651103543680388181336823392401502757423n;
|
|
113
|
+
export const CONTRACT_INSTANCE_UPDATED_MAGIC_VALUE = 20721543224513346060908370400407150739273836456436647488068002302723900469047n;
|
|
109
114
|
export const MAX_PROTOCOL_CONTRACTS = 11;
|
|
110
115
|
export const CANONICAL_AUTH_REGISTRY_ADDRESS = 1;
|
|
111
116
|
export const CONTRACT_INSTANCE_REGISTRY_CONTRACT_ADDRESS = 2;
|
|
112
117
|
export const CONTRACT_CLASS_REGISTRY_CONTRACT_ADDRESS = 3;
|
|
113
118
|
export const MULTI_CALL_ENTRYPOINT_ADDRESS = 4;
|
|
114
119
|
export const FEE_JUICE_ADDRESS = 5;
|
|
115
|
-
export const
|
|
116
|
-
export const SIDE_EFFECT_MASKING_ADDRESS =
|
|
120
|
+
export const PUBLIC_CHECKS_ADDRESS = 6;
|
|
121
|
+
export const SIDE_EFFECT_MASKING_ADDRESS = 19523154334483583633304358390644137470227519736821975910774528428729027989987n;
|
|
117
122
|
export const NULL_MSG_SENDER_CONTRACT_ADDRESS = 21888242871839275222246405745257275088548364400416034343698204186575808495616n;
|
|
118
|
-
export const CONTRACT_CLASS_REGISTRY_BYTECODE_CAPSULE_SLOT =
|
|
123
|
+
export const CONTRACT_CLASS_REGISTRY_BYTECODE_CAPSULE_SLOT = 14193106819744442689484501689686180698286338820089744102289275815863062044599n;
|
|
119
124
|
export const FEE_JUICE_BALANCES_SLOT = 1;
|
|
120
125
|
export const UPDATED_CLASS_IDS_SLOT = 1;
|
|
121
126
|
export const DEFAULT_NPK_M_X = 582240093077765400562621227108555700500271598878376310175765873770292988861n;
|
|
@@ -131,7 +136,6 @@ export const GAS_FEES_LENGTH = 2;
|
|
|
131
136
|
export const GAS_LENGTH = 2;
|
|
132
137
|
export const GAS_SETTINGS_LENGTH = 8;
|
|
133
138
|
export const CALL_CONTEXT_LENGTH = 4;
|
|
134
|
-
export const CONTENT_COMMITMENT_LENGTH = 3;
|
|
135
139
|
export const CONTRACT_INSTANCE_LENGTH = 16;
|
|
136
140
|
export const CONTRACT_STORAGE_READ_LENGTH = 3;
|
|
137
141
|
export const CONTRACT_STORAGE_UPDATE_REQUEST_LENGTH = 3;
|
|
@@ -159,11 +163,11 @@ export const KEY_VALIDATION_REQUEST_AND_GENERATOR_LENGTH = 5;
|
|
|
159
163
|
export const SCOPED_KEY_VALIDATION_REQUEST_AND_GENERATOR_LENGTH = 6;
|
|
160
164
|
export const PARTIAL_STATE_REFERENCE_LENGTH = 6;
|
|
161
165
|
export const TREE_LEAF_READ_REQUEST_LENGTH = 2;
|
|
162
|
-
export const PRIVATE_LOG_SIZE_IN_FIELDS =
|
|
163
|
-
export const PRIVATE_LOG_LENGTH =
|
|
164
|
-
export const PRIVATE_LOG_DATA_LENGTH =
|
|
165
|
-
export const PRIVATE_LOG_CIPHERTEXT_LEN =
|
|
166
|
-
export const SCOPED_PRIVATE_LOG_DATA_LENGTH =
|
|
166
|
+
export const PRIVATE_LOG_SIZE_IN_FIELDS = 16;
|
|
167
|
+
export const PRIVATE_LOG_LENGTH = 17;
|
|
168
|
+
export const PRIVATE_LOG_DATA_LENGTH = 19;
|
|
169
|
+
export const PRIVATE_LOG_CIPHERTEXT_LEN = 15;
|
|
170
|
+
export const SCOPED_PRIVATE_LOG_DATA_LENGTH = 20;
|
|
167
171
|
export const FLAT_PUBLIC_LOGS_HEADER_LENGTH = 1;
|
|
168
172
|
export const FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH = 4096;
|
|
169
173
|
export const PUBLIC_LOGS_LENGTH = 4097;
|
|
@@ -192,48 +196,47 @@ export const TX_REQUEST_LENGTH = 15;
|
|
|
192
196
|
export const TOTAL_FEES_LENGTH = 1;
|
|
193
197
|
export const TOTAL_MANA_USED_LENGTH = 1;
|
|
194
198
|
export const BLOCK_HEADER_LENGTH = 22;
|
|
195
|
-
export const BLOCK_HEADER_LENGTH_BYTES = 616;
|
|
196
199
|
export const CHECKPOINT_HEADER_LENGTH = 12;
|
|
197
200
|
export const CHECKPOINT_HEADER_SIZE_IN_BYTES = 316;
|
|
198
201
|
export const SCOPED_READ_REQUEST_LEN = 3;
|
|
199
|
-
export const PRIVATE_CIRCUIT_PUBLIC_INPUTS_LENGTH =
|
|
202
|
+
export const PRIVATE_CIRCUIT_PUBLIC_INPUTS_LENGTH = 870;
|
|
200
203
|
export const PRIVATE_CONTEXT_INPUTS_LENGTH = 37;
|
|
201
204
|
export const FEE_RECIPIENT_LENGTH = 2;
|
|
202
|
-
export const HIDING_KERNEL_IO_PUBLIC_INPUTS_SIZE =
|
|
203
|
-
export const PAIRING_POINTS_SIZE =
|
|
204
|
-
export const IPA_CLAIM_SIZE =
|
|
205
|
+
export const HIDING_KERNEL_IO_PUBLIC_INPUTS_SIZE = 28;
|
|
206
|
+
export const PAIRING_POINTS_SIZE = 8;
|
|
207
|
+
export const IPA_CLAIM_SIZE = 6;
|
|
205
208
|
export const PUBLIC_DATA_READ_LENGTH = 3;
|
|
206
209
|
export const PRIVATE_VALIDATION_REQUESTS_LENGTH = 771;
|
|
207
|
-
export const PRIVATE_TO_ROLLUP_ACCUMULATED_DATA_LENGTH =
|
|
210
|
+
export const PRIVATE_TO_ROLLUP_ACCUMULATED_DATA_LENGTH = 1243;
|
|
208
211
|
export const TX_CONSTANT_DATA_LENGTH = 34;
|
|
209
212
|
export const COMBINED_CONSTANT_DATA_LENGTH = 43;
|
|
210
|
-
export const PRIVATE_ACCUMULATED_DATA_LENGTH =
|
|
211
|
-
export const PRIVATE_KERNEL_CIRCUIT_PUBLIC_INPUTS_LENGTH =
|
|
212
|
-
export const PRIVATE_TO_PUBLIC_ACCUMULATED_DATA_LENGTH =
|
|
213
|
+
export const PRIVATE_ACCUMULATED_DATA_LENGTH = 2059;
|
|
214
|
+
export const PRIVATE_KERNEL_CIRCUIT_PUBLIC_INPUTS_LENGTH = 2873;
|
|
215
|
+
export const PRIVATE_TO_PUBLIC_ACCUMULATED_DATA_LENGTH = 1371;
|
|
213
216
|
export const PRIVATE_TO_AVM_ACCUMULATED_DATA_LENGTH = 152;
|
|
214
217
|
export const NUM_PRIVATE_TO_AVM_ACCUMULATED_DATA_ARRAYS = 3;
|
|
215
218
|
export const NUM_AVM_ACCUMULATED_DATA_ARRAYS = 4;
|
|
216
219
|
export const NUM_PUBLIC_CALL_REQUEST_ARRAYS = 3;
|
|
217
220
|
export const AVM_ACCUMULATED_DATA_LENGTH = 4377;
|
|
218
|
-
export const PRIVATE_TO_PUBLIC_KERNEL_CIRCUIT_PUBLIC_INPUTS_LENGTH =
|
|
219
|
-
export const PRIVATE_TO_ROLLUP_KERNEL_CIRCUIT_PUBLIC_INPUTS_LENGTH =
|
|
221
|
+
export const PRIVATE_TO_PUBLIC_KERNEL_CIRCUIT_PUBLIC_INPUTS_LENGTH = 2784;
|
|
222
|
+
export const PRIVATE_TO_ROLLUP_KERNEL_CIRCUIT_PUBLIC_INPUTS_LENGTH = 1281;
|
|
220
223
|
export const AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH = 5008;
|
|
221
224
|
export const BLOCK_CONSTANT_DATA_LENGTH = 16;
|
|
222
225
|
export const CHECKPOINT_CONSTANT_DATA_LENGTH = 10;
|
|
223
226
|
export const EPOCH_CONSTANT_DATA_LENGTH = 5;
|
|
224
227
|
export const TX_ROLLUP_PUBLIC_INPUTS_LENGTH = 52;
|
|
225
|
-
export const BLOCK_ROLLUP_PUBLIC_INPUTS_LENGTH =
|
|
226
|
-
export const CHECKPOINT_ROLLUP_PUBLIC_INPUTS_LENGTH =
|
|
227
|
-
export const ROOT_ROLLUP_PUBLIC_INPUTS_LENGTH =
|
|
228
|
+
export const BLOCK_ROLLUP_PUBLIC_INPUTS_LENGTH = 56;
|
|
229
|
+
export const CHECKPOINT_ROLLUP_PUBLIC_INPUTS_LENGTH = 149;
|
|
230
|
+
export const ROOT_ROLLUP_PUBLIC_INPUTS_LENGTH = 111;
|
|
228
231
|
export const NUM_MSGS_PER_BASE_PARITY = 256;
|
|
229
232
|
export const NUM_BASE_PARITY_PER_ROOT_PARITY = 4;
|
|
230
|
-
export const RECURSIVE_PROOF_LENGTH =
|
|
231
|
-
export const NESTED_RECURSIVE_PROOF_LENGTH =
|
|
233
|
+
export const RECURSIVE_PROOF_LENGTH = 449;
|
|
234
|
+
export const NESTED_RECURSIVE_PROOF_LENGTH = 449;
|
|
232
235
|
export const IPA_PROOF_LENGTH = 64;
|
|
233
|
-
export const ULTRA_KECCAK_PROOF_LENGTH =
|
|
234
|
-
export const RECURSIVE_ROLLUP_HONK_PROOF_LENGTH =
|
|
235
|
-
export const NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH =
|
|
236
|
-
export const CHONK_PROOF_LENGTH =
|
|
236
|
+
export const ULTRA_KECCAK_PROOF_LENGTH = 331;
|
|
237
|
+
export const RECURSIVE_ROLLUP_HONK_PROOF_LENGTH = 519;
|
|
238
|
+
export const NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH = 519;
|
|
239
|
+
export const CHONK_PROOF_LENGTH = 1632;
|
|
237
240
|
export const ULTRA_VK_LENGTH_IN_FIELDS = 115;
|
|
238
241
|
export const MEGA_VK_LENGTH_IN_FIELDS = 127;
|
|
239
242
|
export const CHONK_VK_LENGTH_IN_FIELDS = 127;
|
|
@@ -250,9 +253,9 @@ export const MEM_TAG_U128 = 6;
|
|
|
250
253
|
export const AVM_HIGHEST_MEM_ADDRESS = 4294967295;
|
|
251
254
|
export const AVM_MEMORY_NUM_BITS = 32;
|
|
252
255
|
export const AVM_MEMORY_SIZE = 4294967296;
|
|
253
|
-
export const AVM_BITWISE_AND_OP_ID =
|
|
254
|
-
export const AVM_BITWISE_OR_OP_ID =
|
|
255
|
-
export const AVM_BITWISE_XOR_OP_ID =
|
|
256
|
+
export const AVM_BITWISE_AND_OP_ID = 1;
|
|
257
|
+
export const AVM_BITWISE_OR_OP_ID = 2;
|
|
258
|
+
export const AVM_BITWISE_XOR_OP_ID = 4;
|
|
256
259
|
export const AVM_KECCAKF1600_NUM_ROUNDS = 24;
|
|
257
260
|
export const AVM_KECCAKF1600_STATE_SIZE = 25;
|
|
258
261
|
export const AVM_TX_PHASE_VALUE_START = 0;
|
|
@@ -266,7 +269,7 @@ export const AVM_SUBTRACE_ID_CALLDATA_COPY = 16;
|
|
|
266
269
|
export const AVM_SUBTRACE_ID_RETURNDATA_COPY = 32;
|
|
267
270
|
export const AVM_SUBTRACE_ID_SET = 64;
|
|
268
271
|
export const AVM_SUBTRACE_ID_GETCONTRACTINSTANCE = 128;
|
|
269
|
-
export const
|
|
272
|
+
export const AVM_SUBTRACE_ID_EMITPUBLICLOG = 256;
|
|
270
273
|
export const AVM_SUBTRACE_ID_POSEIDON2_PERM = 512;
|
|
271
274
|
export const AVM_SUBTRACE_ID_SHA256_COMPRESSION = 1024;
|
|
272
275
|
export const AVM_SUBTRACE_ID_KECCAKF1600 = 2048;
|
|
@@ -276,7 +279,7 @@ export const AVM_DYN_GAS_ID_CALLDATACOPY = 1;
|
|
|
276
279
|
export const AVM_DYN_GAS_ID_RETURNDATACOPY = 2;
|
|
277
280
|
export const AVM_DYN_GAS_ID_TORADIX = 4;
|
|
278
281
|
export const AVM_DYN_GAS_ID_BITWISE = 8;
|
|
279
|
-
export const
|
|
282
|
+
export const AVM_DYN_GAS_ID_EMITPUBLICLOG = 16;
|
|
280
283
|
export const AVM_DYN_GAS_ID_SSTORE = 32;
|
|
281
284
|
export const AVM_EXEC_OP_ID_GETENVVAR = 1;
|
|
282
285
|
export const AVM_EXEC_OP_ID_MOV = 2;
|
|
@@ -380,23 +383,26 @@ export const AVM_PUBLIC_INPUTS_REVERTED_ROW_IDX = 4684;
|
|
|
380
383
|
export const AVM_PUBLIC_INPUTS_COLUMNS_MAX_LENGTH = 4685;
|
|
381
384
|
export const AVM_NUM_PUBLIC_INPUT_COLUMNS = 4;
|
|
382
385
|
export const AVM_PUBLIC_INPUTS_COLUMNS_COMBINED_LENGTH = 18740;
|
|
383
|
-
export const AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED =
|
|
386
|
+
export const AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED = 16400;
|
|
384
387
|
export const AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED = 1000;
|
|
385
|
-
export const AVM_MAX_PROCESSABLE_L2_GAS = 6000000;
|
|
386
388
|
export const DA_BYTES_PER_FIELD = 32;
|
|
387
|
-
export const DA_GAS_PER_BYTE =
|
|
388
|
-
export const
|
|
389
|
-
export const
|
|
389
|
+
export const DA_GAS_PER_BYTE = 1;
|
|
390
|
+
export const DA_GAS_PER_FIELD = 32;
|
|
391
|
+
export const TX_DA_GAS_OVERHEAD = 96;
|
|
392
|
+
export const PUBLIC_TX_L2_GAS_OVERHEAD = 540000;
|
|
393
|
+
export const PRIVATE_TX_L2_GAS_OVERHEAD = 440000;
|
|
390
394
|
export const FIXED_AVM_STARTUP_L2_GAS = 20000;
|
|
391
|
-
export const
|
|
392
|
-
export const
|
|
393
|
-
export const
|
|
394
|
-
export const
|
|
395
|
-
export const
|
|
395
|
+
export const AVM_MAX_PROCESSABLE_L2_GAS = 6000000;
|
|
396
|
+
export const MAX_PROCESSABLE_L2_GAS = 6540000;
|
|
397
|
+
export const MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT = 786432;
|
|
398
|
+
export const GAS_ESTIMATION_TEARDOWN_L2_GAS_LIMIT = 6540000;
|
|
399
|
+
export const GAS_ESTIMATION_L2_GAS_LIMIT = 13080000;
|
|
400
|
+
export const GAS_ESTIMATION_TEARDOWN_DA_GAS_LIMIT = 786432;
|
|
401
|
+
export const GAS_ESTIMATION_DA_GAS_LIMIT = 1572864;
|
|
396
402
|
export const DEFAULT_TEARDOWN_L2_GAS_LIMIT = 1000000;
|
|
397
|
-
export const DEFAULT_L2_GAS_LIMIT =
|
|
398
|
-
export const DEFAULT_TEARDOWN_DA_GAS_LIMIT =
|
|
399
|
-
export const DEFAULT_DA_GAS_LIMIT =
|
|
403
|
+
export const DEFAULT_L2_GAS_LIMIT = 6540000;
|
|
404
|
+
export const DEFAULT_TEARDOWN_DA_GAS_LIMIT = 393216;
|
|
405
|
+
export const DEFAULT_DA_GAS_LIMIT = 786432;
|
|
400
406
|
export const L2_GAS_DISTRIBUTED_STORAGE_PREMIUM = 1024;
|
|
401
407
|
export const AVM_PC_SIZE_IN_BITS = 32;
|
|
402
408
|
export const AVM_MAX_OPERANDS = 7;
|
|
@@ -404,11 +410,11 @@ export const AVM_MAX_REGISTERS = 6;
|
|
|
404
410
|
export const AVM_ADDRESSING_BASE_RESOLUTION_L2_GAS = 3;
|
|
405
411
|
export const AVM_ADDRESSING_INDIRECT_L2_GAS = 3;
|
|
406
412
|
export const AVM_ADDRESSING_RELATIVE_L2_GAS = 3;
|
|
407
|
-
export const L2_GAS_PER_NOTE_HASH =
|
|
408
|
-
export const L2_GAS_PER_NULLIFIER =
|
|
409
|
-
export const L2_GAS_PER_L2_TO_L1_MSG =
|
|
410
|
-
export const L2_GAS_PER_PRIVATE_LOG =
|
|
411
|
-
export const L2_GAS_PER_CONTRACT_CLASS_LOG =
|
|
413
|
+
export const L2_GAS_PER_NOTE_HASH = 9200;
|
|
414
|
+
export const L2_GAS_PER_NULLIFIER = 16000;
|
|
415
|
+
export const L2_GAS_PER_L2_TO_L1_MSG = 5200;
|
|
416
|
+
export const L2_GAS_PER_PRIVATE_LOG = 2500;
|
|
417
|
+
export const L2_GAS_PER_CONTRACT_CLASS_LOG = 73000;
|
|
412
418
|
export const AVM_ADD_BASE_L2_GAS = 12;
|
|
413
419
|
export const AVM_SUB_BASE_L2_GAS = 12;
|
|
414
420
|
export const AVM_MUL_BASE_L2_GAS = 27;
|
|
@@ -439,12 +445,12 @@ export const AVM_SLOAD_BASE_L2_GAS = 1290;
|
|
|
439
445
|
export const AVM_SSTORE_BASE_L2_GAS = 33140;
|
|
440
446
|
export const AVM_NOTEHASHEXISTS_BASE_L2_GAS = 504;
|
|
441
447
|
export const AVM_EMITNOTEHASH_BASE_L2_GAS = 19275;
|
|
442
|
-
export const AVM_NULLIFIEREXISTS_BASE_L2_GAS =
|
|
448
|
+
export const AVM_NULLIFIEREXISTS_BASE_L2_GAS = 903;
|
|
443
449
|
export const AVM_EMITNULLIFIER_BASE_L2_GAS = 30800;
|
|
444
450
|
export const AVM_L1TOL2MSGEXISTS_BASE_L2_GAS = 540;
|
|
445
451
|
export const AVM_GETCONTRACTINSTANCE_BASE_L2_GAS = 6108;
|
|
446
|
-
export const
|
|
447
|
-
export const AVM_SENDL2TOL1MSG_BASE_L2_GAS =
|
|
452
|
+
export const AVM_EMITPUBLICLOG_BASE_L2_GAS = 15;
|
|
453
|
+
export const AVM_SENDL2TOL1MSG_BASE_L2_GAS = 5239;
|
|
448
454
|
export const AVM_CALL_BASE_L2_GAS = 9936;
|
|
449
455
|
export const AVM_STATICCALL_BASE_L2_GAS = 9936;
|
|
450
456
|
export const AVM_RETURN_BASE_L2_GAS = 9;
|
|
@@ -459,16 +465,16 @@ export const AVM_CALLDATACOPY_DYN_L2_GAS = 3;
|
|
|
459
465
|
export const AVM_RETURNDATACOPY_DYN_L2_GAS = 3;
|
|
460
466
|
export const AVM_TORADIXBE_DYN_L2_GAS = 3;
|
|
461
467
|
export const AVM_BITWISE_DYN_L2_GAS = 3;
|
|
462
|
-
export const
|
|
463
|
-
export const AVM_EMITNOTEHASH_BASE_DA_GAS =
|
|
464
|
-
export const AVM_EMITNULLIFIER_BASE_DA_GAS =
|
|
465
|
-
export const AVM_SENDL2TOL1MSG_BASE_DA_GAS =
|
|
466
|
-
export const
|
|
467
|
-
export const
|
|
468
|
-
export const AVM_SSTORE_DYN_DA_GAS =
|
|
469
|
-
export const TX_START_PREFIX =
|
|
470
|
-
export const BLOCK_END_PREFIX =
|
|
471
|
-
export const CHECKPOINT_END_PREFIX =
|
|
468
|
+
export const AVM_EMITPUBLICLOG_DYN_L2_GAS = 3;
|
|
469
|
+
export const AVM_EMITNOTEHASH_BASE_DA_GAS = 32;
|
|
470
|
+
export const AVM_EMITNULLIFIER_BASE_DA_GAS = 32;
|
|
471
|
+
export const AVM_SENDL2TOL1MSG_BASE_DA_GAS = 32;
|
|
472
|
+
export const AVM_EMITPUBLICLOG_BASE_DA_GAS = 64;
|
|
473
|
+
export const AVM_EMITPUBLICLOG_DYN_DA_GAS = 32;
|
|
474
|
+
export const AVM_SSTORE_DYN_DA_GAS = 64;
|
|
475
|
+
export const TX_START_PREFIX = 2624615704;
|
|
476
|
+
export const BLOCK_END_PREFIX = 3951939007;
|
|
477
|
+
export const CHECKPOINT_END_PREFIX = 2355328067;
|
|
472
478
|
export const PROOF_TYPE_HONK = 0;
|
|
473
479
|
export const PROOF_TYPE_OINK = 1;
|
|
474
480
|
export const PROOF_TYPE_HN = 2;
|
|
@@ -497,43 +503,45 @@ export const UPDATES_DELAYED_PUBLIC_MUTABLE_METADATA_BIT_SIZE = 144;
|
|
|
497
503
|
export const GRUMPKIN_ONE_X = 1;
|
|
498
504
|
export const GRUMPKIN_ONE_Y = 17631683881184975370165255887551781615748388533673675138860n;
|
|
499
505
|
export const DEFAULT_MAX_DEBUG_LOG_MEMORY_READS = 125000;
|
|
500
|
-
export var
|
|
501
|
-
|
|
502
|
-
|
|
503
|
-
|
|
504
|
-
|
|
505
|
-
|
|
506
|
-
|
|
507
|
-
|
|
508
|
-
|
|
509
|
-
|
|
510
|
-
|
|
511
|
-
|
|
512
|
-
|
|
513
|
-
|
|
514
|
-
|
|
515
|
-
|
|
516
|
-
|
|
517
|
-
|
|
518
|
-
|
|
519
|
-
|
|
520
|
-
|
|
521
|
-
|
|
522
|
-
|
|
523
|
-
|
|
524
|
-
|
|
525
|
-
|
|
526
|
-
|
|
527
|
-
|
|
528
|
-
|
|
529
|
-
|
|
530
|
-
|
|
531
|
-
|
|
532
|
-
|
|
533
|
-
|
|
534
|
-
|
|
535
|
-
|
|
536
|
-
|
|
537
|
-
|
|
538
|
-
|
|
506
|
+
export var DomainSeparator = /*#__PURE__*/ function(DomainSeparator) {
|
|
507
|
+
DomainSeparator[DomainSeparator["NOTE_HASH"] = 116501019] = "NOTE_HASH";
|
|
508
|
+
DomainSeparator[DomainSeparator["NOTE_HASH_NONCE"] = 1721808740] = "NOTE_HASH_NONCE";
|
|
509
|
+
DomainSeparator[DomainSeparator["UNIQUE_NOTE_HASH"] = 226850429] = "UNIQUE_NOTE_HASH";
|
|
510
|
+
DomainSeparator[DomainSeparator["SILOED_NOTE_HASH"] = 3361878420] = "SILOED_NOTE_HASH";
|
|
511
|
+
DomainSeparator[DomainSeparator["NOTE_NULLIFIER"] = 50789342] = "NOTE_NULLIFIER";
|
|
512
|
+
DomainSeparator[DomainSeparator["MESSAGE_NULLIFIER"] = 3754509616] = "MESSAGE_NULLIFIER";
|
|
513
|
+
DomainSeparator[DomainSeparator["SILOED_NULLIFIER"] = 57496191] = "SILOED_NULLIFIER";
|
|
514
|
+
DomainSeparator[DomainSeparator["PRIVATE_LOG_FIRST_FIELD"] = 2769976252] = "PRIVATE_LOG_FIRST_FIELD";
|
|
515
|
+
DomainSeparator[DomainSeparator["PUBLIC_LEAF_SLOT"] = 1247650290] = "PUBLIC_LEAF_SLOT";
|
|
516
|
+
DomainSeparator[DomainSeparator["PUBLIC_STORAGE_MAP_SLOT"] = 4015149901] = "PUBLIC_STORAGE_MAP_SLOT";
|
|
517
|
+
DomainSeparator[DomainSeparator["PRIVATE_FUNCTION_LEAF"] = 1389398688] = "PRIVATE_FUNCTION_LEAF";
|
|
518
|
+
DomainSeparator[DomainSeparator["PUBLIC_BYTECODE"] = 260313585] = "PUBLIC_BYTECODE";
|
|
519
|
+
DomainSeparator[DomainSeparator["CONTRACT_CLASS_ID"] = 3923495515] = "CONTRACT_CLASS_ID";
|
|
520
|
+
DomainSeparator[DomainSeparator["INITIALIZER"] = 385396519] = "INITIALIZER";
|
|
521
|
+
DomainSeparator[DomainSeparator["NHK_M"] = 242137788] = "NHK_M";
|
|
522
|
+
DomainSeparator[DomainSeparator["IVSK_M"] = 2747825907] = "IVSK_M";
|
|
523
|
+
DomainSeparator[DomainSeparator["OVSK_M"] = 4272201051] = "OVSK_M";
|
|
524
|
+
DomainSeparator[DomainSeparator["TSK_M"] = 1546190975] = "TSK_M";
|
|
525
|
+
DomainSeparator[DomainSeparator["PUBLIC_KEYS_HASH"] = 777457226] = "PUBLIC_KEYS_HASH";
|
|
526
|
+
DomainSeparator[DomainSeparator["PARTIAL_ADDRESS"] = 2103633018] = "PARTIAL_ADDRESS";
|
|
527
|
+
DomainSeparator[DomainSeparator["CONTRACT_ADDRESS_V1"] = 1788365517] = "CONTRACT_ADDRESS_V1";
|
|
528
|
+
DomainSeparator[DomainSeparator["BLOCK_HEADER_HASH"] = 4195546849] = "BLOCK_HEADER_HASH";
|
|
529
|
+
DomainSeparator[DomainSeparator["TX_REQUEST"] = 3763737512] = "TX_REQUEST";
|
|
530
|
+
DomainSeparator[DomainSeparator["PUBLIC_TX_HASH"] = 1630108851] = "PUBLIC_TX_HASH";
|
|
531
|
+
DomainSeparator[DomainSeparator["PRIVATE_TX_HASH"] = 1971680439] = "PRIVATE_TX_HASH";
|
|
532
|
+
DomainSeparator[DomainSeparator["PUBLIC_CALLDATA"] = 2760353947] = "PUBLIC_CALLDATA";
|
|
533
|
+
DomainSeparator[DomainSeparator["FUNCTION_ARGS"] = 3576554347] = "FUNCTION_ARGS";
|
|
534
|
+
DomainSeparator[DomainSeparator["PROTOCOL_CONTRACTS"] = 3904434327] = "PROTOCOL_CONTRACTS";
|
|
535
|
+
DomainSeparator[DomainSeparator["EVENT_COMMITMENT"] = 2517418573] = "EVENT_COMMITMENT";
|
|
536
|
+
DomainSeparator[DomainSeparator["AUTHWIT_INNER"] = 221354163] = "AUTHWIT_INNER";
|
|
537
|
+
DomainSeparator[DomainSeparator["AUTHWIT_OUTER"] = 3283595782] = "AUTHWIT_OUTER";
|
|
538
|
+
DomainSeparator[DomainSeparator["AUTHWIT_NULLIFIER"] = 1239150694] = "AUTHWIT_NULLIFIER";
|
|
539
|
+
DomainSeparator[DomainSeparator["SYMMETRIC_KEY"] = 3882206064] = "SYMMETRIC_KEY";
|
|
540
|
+
DomainSeparator[DomainSeparator["SYMMETRIC_KEY_2"] = 4129434989] = "SYMMETRIC_KEY_2";
|
|
541
|
+
DomainSeparator[DomainSeparator["PARTIAL_NOTE_VALIDITY_COMMITMENT"] = 623934423] = "PARTIAL_NOTE_VALIDITY_COMMITMENT";
|
|
542
|
+
DomainSeparator[DomainSeparator["INITIALIZATION_NULLIFIER"] = 1653084894] = "INITIALIZATION_NULLIFIER";
|
|
543
|
+
DomainSeparator[DomainSeparator["SECRET_HASH"] = 4199652938] = "SECRET_HASH";
|
|
544
|
+
DomainSeparator[DomainSeparator["TX_NULLIFIER"] = 1025801951] = "TX_NULLIFIER";
|
|
545
|
+
DomainSeparator[DomainSeparator["SIGNATURE_PAYLOAD"] = 463525807] = "SIGNATURE_PAYLOAD";
|
|
546
|
+
return DomainSeparator;
|
|
539
547
|
}({});
|
package/dest/constants.js
CHANGED
|
@@ -6,13 +6,13 @@ import { GENESIS_BLOCK_HEADER_HASH as GENESIS_BLOCK_HEADER_HASH_BIGINT, INITIAL_
|
|
|
6
6
|
// Typescript-land-only constants
|
|
7
7
|
export const SPONSORED_FPC_SALT = BigInt(0);
|
|
8
8
|
// Autogenerated constants loaded from noir-land
|
|
9
|
-
// eslint-disable-next-line import/export
|
|
9
|
+
// eslint-disable-next-line import-x/export
|
|
10
10
|
export * from './constants.gen.js';
|
|
11
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/export
|
|
12
|
+
// eslint-disable-next-line import-x/export
|
|
13
13
|
export const INITIAL_L2_BLOCK_NUM = BlockNumber(INITIAL_L2_BLOCK_NUM_RAW);
|
|
14
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
15
|
export const INITIAL_L2_CHECKPOINT_NUM = CheckpointNumber(INITIAL_CHECKPOINT_NUM_RAW);
|
|
16
16
|
/** The block header hash for the genesis block 0. */ // Shadow the export from constants.gen above
|
|
17
|
-
// eslint-disable-next-line import/export
|
|
17
|
+
// eslint-disable-next-line import-x/export
|
|
18
18
|
export const GENESIS_BLOCK_HEADER_HASH = new Fr(GENESIS_BLOCK_HEADER_HASH_BIGINT);
|
|
@@ -9,6 +9,8 @@ const SOLIDITY_CONSTANTS_FILE = '../../../../l1-contracts/src/core/libraries/Con
|
|
|
9
9
|
// Whitelist of constants that will be copied to aztec_constants.hpp.
|
|
10
10
|
// We don't copy everything as just a handful are needed, and updating them breaks the cache and triggers expensive bb builds.
|
|
11
11
|
const CPP_CONSTANTS = [
|
|
12
|
+
'MAX_ETH_ADDRESS_BIT_SIZE',
|
|
13
|
+
'MAX_ETH_ADDRESS_VALUE',
|
|
12
14
|
'GENESIS_BLOCK_HEADER_HASH',
|
|
13
15
|
'GENESIS_ARCHIVE_ROOT',
|
|
14
16
|
'MEM_TAG_U1',
|
|
@@ -24,7 +26,8 @@ const CPP_CONSTANTS = [
|
|
|
24
26
|
'CONTRACT_CLASS_REGISTRY_CONTRACT_ADDRESS',
|
|
25
27
|
'MULTI_CALL_ENTRYPOINT_ADDRESS',
|
|
26
28
|
'FEE_JUICE_ADDRESS',
|
|
27
|
-
'
|
|
29
|
+
'TX_DA_GAS_OVERHEAD',
|
|
30
|
+
'PUBLIC_CHECKS_ADDRESS',
|
|
28
31
|
'FEE_JUICE_BALANCES_SLOT',
|
|
29
32
|
'UPDATED_CLASS_IDS_SLOT',
|
|
30
33
|
'UPDATES_DELAYED_PUBLIC_MUTABLE_VALUES_LEN',
|
|
@@ -40,6 +43,7 @@ const CPP_CONSTANTS = [
|
|
|
40
43
|
'MAX_NOTE_HASHES_PER_TX',
|
|
41
44
|
'MAX_NULLIFIERS_PER_TX',
|
|
42
45
|
'MAX_L2_TO_L1_MSGS_PER_TX',
|
|
46
|
+
'MAX_PROCESSABLE_L2_GAS',
|
|
43
47
|
'MAX_PUBLIC_LOGS_PER_TX',
|
|
44
48
|
'MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX',
|
|
45
49
|
'MAX_PUBLIC_CALLS_TO_UNIQUE_CONTRACT_CLASS_IDS',
|
|
@@ -107,10 +111,12 @@ const CPP_CONSTANTS = [
|
|
|
107
111
|
'FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH',
|
|
108
112
|
'PUBLIC_LOGS_LENGTH',
|
|
109
113
|
'PUBLIC_LOG_HEADER_LENGTH',
|
|
114
|
+
'PUBLIC_TX_L2_GAS_OVERHEAD',
|
|
110
115
|
'MAX_PROTOCOL_CONTRACTS',
|
|
111
116
|
'DEFAULT_MAX_DEBUG_LOG_MEMORY_READS'
|
|
112
117
|
];
|
|
113
118
|
const CPP_GENERATORS = [
|
|
119
|
+
'BLOCK_HEADER_HASH',
|
|
114
120
|
'PARTIAL_ADDRESS',
|
|
115
121
|
'CONTRACT_ADDRESS_V1',
|
|
116
122
|
'CONTRACT_CLASS_ID',
|
|
@@ -118,12 +124,14 @@ const CPP_GENERATORS = [
|
|
|
118
124
|
'NOTE_HASH_NONCE',
|
|
119
125
|
'UNIQUE_NOTE_HASH',
|
|
120
126
|
'SILOED_NOTE_HASH',
|
|
121
|
-
'
|
|
122
|
-
'
|
|
127
|
+
'SILOED_NULLIFIER',
|
|
128
|
+
'PUBLIC_LEAF_SLOT',
|
|
129
|
+
'PUBLIC_STORAGE_MAP_SLOT',
|
|
123
130
|
'PUBLIC_CALLDATA',
|
|
124
131
|
'PUBLIC_BYTECODE'
|
|
125
132
|
];
|
|
126
133
|
const PIL_CONSTANTS = [
|
|
134
|
+
'MAX_ETH_ADDRESS_VALUE',
|
|
127
135
|
'MEM_TAG_U1',
|
|
128
136
|
'MEM_TAG_U8',
|
|
129
137
|
'MEM_TAG_U16',
|
|
@@ -159,7 +167,7 @@ const PIL_CONSTANTS = [
|
|
|
159
167
|
'CONTRACT_CLASS_REGISTRY_CONTRACT_ADDRESS',
|
|
160
168
|
'MULTI_CALL_ENTRYPOINT_ADDRESS',
|
|
161
169
|
'FEE_JUICE_ADDRESS',
|
|
162
|
-
'
|
|
170
|
+
'PUBLIC_CHECKS_ADDRESS',
|
|
163
171
|
'FEE_JUICE_BALANCES_SLOT',
|
|
164
172
|
'TIMESTAMP_OF_CHANGE_BIT_SIZE',
|
|
165
173
|
'UPDATES_DELAYED_PUBLIC_MUTABLE_METADATA_BIT_SIZE',
|
|
@@ -243,10 +251,10 @@ const PIL_CONSTANTS = [
|
|
|
243
251
|
'AVM_DYN_GAS_ID_RETURNDATACOPY',
|
|
244
252
|
'AVM_DYN_GAS_ID_TORADIX',
|
|
245
253
|
'AVM_DYN_GAS_ID_BITWISE',
|
|
246
|
-
'
|
|
254
|
+
'AVM_DYN_GAS_ID_EMITPUBLICLOG',
|
|
247
255
|
'AVM_DYN_GAS_ID_SSTORE',
|
|
248
256
|
'AVM_SUBTRACE_ID_GETCONTRACTINSTANCE',
|
|
249
|
-
'
|
|
257
|
+
'AVM_SUBTRACE_ID_EMITPUBLICLOG',
|
|
250
258
|
'AVM_EXEC_OP_ID_GETENVVAR',
|
|
251
259
|
'AVM_EXEC_OP_ID_MOV',
|
|
252
260
|
'AVM_EXEC_OP_ID_JUMP',
|
|
@@ -302,14 +310,16 @@ const PIL_GENERATORS = [
|
|
|
302
310
|
'NOTE_HASH_NONCE',
|
|
303
311
|
'UNIQUE_NOTE_HASH',
|
|
304
312
|
'SILOED_NOTE_HASH',
|
|
305
|
-
'
|
|
306
|
-
'
|
|
313
|
+
'SILOED_NULLIFIER',
|
|
314
|
+
'PUBLIC_LEAF_SLOT',
|
|
315
|
+
'PUBLIC_STORAGE_MAP_SLOT',
|
|
307
316
|
'PUBLIC_CALLDATA',
|
|
308
317
|
'PUBLIC_BYTECODE'
|
|
309
318
|
];
|
|
310
319
|
const SOLIDITY_CONSTANTS = [
|
|
311
320
|
'MAX_FIELD_VALUE',
|
|
312
321
|
'MAX_L2_TO_L1_MSGS_PER_TX',
|
|
322
|
+
'EMPTY_EPOCH_OUT_HASH',
|
|
313
323
|
'L1_TO_L2_MSG_SUBTREE_HEIGHT',
|
|
314
324
|
'NUM_MSGS_PER_BASE_PARITY',
|
|
315
325
|
'NUM_BASE_PARITY_PER_ROOT_PARITY',
|
|
@@ -318,7 +328,7 @@ const SOLIDITY_CONSTANTS = [
|
|
|
318
328
|
'INITIAL_CHECKPOINT_NUMBER',
|
|
319
329
|
'GENESIS_ARCHIVE_ROOT',
|
|
320
330
|
'FEE_JUICE_ADDRESS',
|
|
321
|
-
'
|
|
331
|
+
'MAX_CHECKPOINTS_PER_EPOCH'
|
|
322
332
|
];
|
|
323
333
|
/**
|
|
324
334
|
* Processes a collection of constants and generates code to export them as TypeScript constants.
|
|
@@ -353,7 +363,7 @@ const SOLIDITY_CONSTANTS = [
|
|
|
353
363
|
});
|
|
354
364
|
Object.entries(generatorIndices).forEach(([key, value])=>{
|
|
355
365
|
if (CPP_GENERATORS.includes(key)) {
|
|
356
|
-
code.push(`#define DOM_SEP__${key} ${value}`);
|
|
366
|
+
code.push(`#define DOM_SEP__${key} ${value}UL`);
|
|
357
367
|
}
|
|
358
368
|
});
|
|
359
369
|
return code.join('\n');
|
|
@@ -410,30 +420,30 @@ const SOLIDITY_CONSTANTS = [
|
|
|
410
420
|
}
|
|
411
421
|
/**
|
|
412
422
|
* Generate the constants file in Typescript.
|
|
413
|
-
*/ function generateTypescriptConstants({ constants,
|
|
423
|
+
*/ function generateTypescriptConstants({ constants, domainSeparatorEnum }, targetPath) {
|
|
414
424
|
const result = [
|
|
415
425
|
'// GENERATED FILE - DO NOT EDIT, RUN yarn remake-constants',
|
|
416
426
|
processConstantsTS(constants),
|
|
417
|
-
processEnumTS('
|
|
427
|
+
processEnumTS('DomainSeparator', domainSeparatorEnum)
|
|
418
428
|
].join('\n');
|
|
419
429
|
fs.writeFileSync(targetPath, result);
|
|
420
430
|
}
|
|
421
431
|
/**
|
|
422
432
|
* Generate the constants file in C++.
|
|
423
|
-
*/ function generateCppConstants({ constants,
|
|
433
|
+
*/ function generateCppConstants({ constants, domainSeparatorEnum }, targetPath) {
|
|
424
434
|
const resultCpp = `// GENERATED FILE - DO NOT EDIT, RUN yarn remake-constants in yarn-project/constants
|
|
425
435
|
#pragma once
|
|
426
436
|
|
|
427
|
-
${processConstantsCpp(constants,
|
|
437
|
+
${processConstantsCpp(constants, domainSeparatorEnum)}
|
|
428
438
|
`;
|
|
429
439
|
fs.writeFileSync(targetPath, resultCpp);
|
|
430
440
|
}
|
|
431
441
|
/**
|
|
432
442
|
* Generate the constants file in PIL.
|
|
433
|
-
*/ function generatePilConstants({ constants,
|
|
443
|
+
*/ function generatePilConstants({ constants, domainSeparatorEnum }, targetPath) {
|
|
434
444
|
const resultPil = `// GENERATED FILE - DO NOT EDIT, RUN yarn remake-constants in yarn-project/constants
|
|
435
445
|
namespace constants;
|
|
436
|
-
${processConstantsPil(constants,
|
|
446
|
+
${processConstantsPil(constants, domainSeparatorEnum)}
|
|
437
447
|
\n`;
|
|
438
448
|
fs.writeFileSync(targetPath, resultPil);
|
|
439
449
|
}
|
|
@@ -463,7 +473,7 @@ ${processConstantsSolidity(constants)}
|
|
|
463
473
|
* Parse the content of the constants file in Noir.
|
|
464
474
|
*/ function parseNoirFile(fileContent) {
|
|
465
475
|
const constantsExpressions = [];
|
|
466
|
-
const
|
|
476
|
+
const domainSeparatorEnum = {};
|
|
467
477
|
const emptyExpression = ()=>({
|
|
468
478
|
name: '',
|
|
469
479
|
content: []
|
|
@@ -485,7 +495,7 @@ ${processConstantsSolidity(constants)}
|
|
|
485
495
|
const [, indexName] = name.match(/DOM_SEP__(\w+)/) || [];
|
|
486
496
|
if (indexName) {
|
|
487
497
|
// Generator index.
|
|
488
|
-
|
|
498
|
+
domainSeparatorEnum[indexName] = +value;
|
|
489
499
|
} else if (end) {
|
|
490
500
|
// A single line of expression.
|
|
491
501
|
constantsExpressions.push([
|
|
@@ -533,7 +543,7 @@ ${processConstantsSolidity(constants)}
|
|
|
533
543
|
const constants = evaluateExpressions(constantsExpressions);
|
|
534
544
|
return {
|
|
535
545
|
constants,
|
|
536
|
-
|
|
546
|
+
domainSeparatorEnum
|
|
537
547
|
};
|
|
538
548
|
}
|
|
539
549
|
/**
|
|
@@ -560,7 +570,11 @@ ${processConstantsSolidity(constants)}
|
|
|
560
570
|
.replace(/\(/g, '( ').replace(/\)/g, ' )')// We also make some space around common operators
|
|
561
571
|
.replace(/\+/g, ' + ').replace(/(?<!\/)\*(?!\/)/, ' * ')// We split the expression into terms...
|
|
562
572
|
.split(/\s+/)// ...and then we convert each term to a BigInt if it is a number.
|
|
563
|
-
.map((term)=>
|
|
573
|
+
.map((term)=>{
|
|
574
|
+
// Remove underscores from numeric literals (e.g., 6_000_000 -> 6000000)
|
|
575
|
+
const termWithoutUnderscores = term.replace(/_/g, '');
|
|
576
|
+
return isNaN(+termWithoutUnderscores) ? term : `BigInt('${termWithoutUnderscores}')`;
|
|
577
|
+
})// .. also, we convert the known bigints to BigInts.
|
|
564
578
|
.map((term)=>knownBigInts.includes(term) ? `BigInt(${term})` : term)// We join the terms back together.
|
|
565
579
|
.join(' ');
|
|
566
580
|
return `var ${name} = ${guardedRhs};`;
|