@aztec/stdlib 0.0.1-commit.21ecf947b → 0.0.1-commit.2448fdb

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.
Files changed (401) hide show
  1. package/dest/abi/abi.d.ts +57 -85
  2. package/dest/abi/abi.d.ts.map +1 -1
  3. package/dest/abi/abi.js +55 -6
  4. package/dest/abi/buffer.d.ts +14 -4
  5. package/dest/abi/buffer.d.ts.map +1 -1
  6. package/dest/abi/buffer.js +25 -4
  7. package/dest/abi/decoder.d.ts +6 -45
  8. package/dest/abi/decoder.d.ts.map +1 -1
  9. package/dest/abi/decoder.js +17 -70
  10. package/dest/abi/encoder.d.ts +1 -1
  11. package/dest/abi/encoder.d.ts.map +1 -1
  12. package/dest/abi/encoder.js +37 -6
  13. package/dest/abi/event_metadata_definition.d.ts +3 -1
  14. package/dest/abi/event_metadata_definition.d.ts.map +1 -1
  15. package/dest/abi/event_metadata_definition.js +1 -1
  16. package/dest/abi/function_selector.js +1 -1
  17. package/dest/abi/function_signature_decoder.d.ts +43 -0
  18. package/dest/abi/function_signature_decoder.d.ts.map +1 -0
  19. package/dest/abi/function_signature_decoder.js +66 -0
  20. package/dest/abi/index.d.ts +2 -1
  21. package/dest/abi/index.d.ts.map +1 -1
  22. package/dest/abi/index.js +1 -0
  23. package/dest/abi/selector.d.ts +2 -2
  24. package/dest/abi/selector.d.ts.map +1 -1
  25. package/dest/abi/selector.js +1 -1
  26. package/dest/abi/utils.d.ts +14 -1
  27. package/dest/abi/utils.d.ts.map +1 -1
  28. package/dest/abi/utils.js +15 -0
  29. package/dest/avm/avm.d.ts +300 -300
  30. package/dest/avm/avm_accumulated_data.js +2 -2
  31. package/dest/avm/avm_circuit_public_inputs.js +2 -2
  32. package/dest/avm/avm_proving_request.d.ts +166 -166
  33. package/dest/avm/revert_code.d.ts +9 -4
  34. package/dest/avm/revert_code.d.ts.map +1 -1
  35. package/dest/avm/revert_code.js +16 -21
  36. package/dest/block/block_data.d.ts +52 -0
  37. package/dest/block/block_data.d.ts.map +1 -0
  38. package/dest/block/block_data.js +12 -0
  39. package/dest/block/index.d.ts +2 -1
  40. package/dest/block/index.d.ts.map +1 -1
  41. package/dest/block/index.js +1 -0
  42. package/dest/block/l2_block.d.ts +9 -1
  43. package/dest/block/l2_block.d.ts.map +1 -1
  44. package/dest/block/l2_block.js +12 -2
  45. package/dest/block/l2_block_source.d.ts +35 -8
  46. package/dest/block/l2_block_source.d.ts.map +1 -1
  47. package/dest/block/l2_block_stream/interfaces.d.ts +6 -3
  48. package/dest/block/l2_block_stream/interfaces.d.ts.map +1 -1
  49. package/dest/block/l2_block_stream/l2_block_stream.d.ts +1 -1
  50. package/dest/block/l2_block_stream/l2_block_stream.d.ts.map +1 -1
  51. package/dest/block/l2_block_stream/l2_block_stream.js +10 -0
  52. package/dest/checkpoint/checkpoint.d.ts +7 -1
  53. package/dest/checkpoint/checkpoint.d.ts.map +1 -1
  54. package/dest/checkpoint/checkpoint.js +14 -8
  55. package/dest/checkpoint/checkpoint_data.d.ts +120 -0
  56. package/dest/checkpoint/checkpoint_data.d.ts.map +1 -0
  57. package/dest/checkpoint/checkpoint_data.js +26 -0
  58. package/dest/checkpoint/index.d.ts +3 -1
  59. package/dest/checkpoint/index.d.ts.map +1 -1
  60. package/dest/checkpoint/index.js +2 -0
  61. package/dest/checkpoint/published_checkpoint.d.ts +11 -2
  62. package/dest/checkpoint/published_checkpoint.d.ts.map +1 -1
  63. package/dest/checkpoint/published_checkpoint.js +1 -2
  64. package/dest/checkpoint/validate.d.ts +36 -0
  65. package/dest/checkpoint/validate.d.ts.map +1 -0
  66. package/dest/checkpoint/validate.js +120 -0
  67. package/dest/config/sequencer-config.d.ts +2 -2
  68. package/dest/config/sequencer-config.d.ts.map +1 -1
  69. package/dest/config/sequencer-config.js +11 -0
  70. package/dest/contract/contract_class.d.ts +2 -3
  71. package/dest/contract/contract_class.d.ts.map +1 -1
  72. package/dest/epoch-helpers/index.d.ts +9 -1
  73. package/dest/epoch-helpers/index.d.ts.map +1 -1
  74. package/dest/epoch-helpers/index.js +13 -2
  75. package/dest/file-store/local.d.ts +3 -3
  76. package/dest/file-store/local.d.ts.map +1 -1
  77. package/dest/file-store/local.js +13 -4
  78. package/dest/file-store/s3.d.ts +1 -1
  79. package/dest/file-store/s3.d.ts.map +1 -1
  80. package/dest/file-store/s3.js +11 -3
  81. package/dest/gas/gas_fees.d.ts +1 -1
  82. package/dest/gas/gas_fees.d.ts.map +1 -1
  83. package/dest/gas/gas_fees.js +4 -1
  84. package/dest/gas/gas_settings.d.ts +40 -3
  85. package/dest/gas/gas_settings.d.ts.map +1 -1
  86. package/dest/gas/gas_settings.js +50 -6
  87. package/dest/hash/hash.d.ts +19 -1
  88. package/dest/hash/hash.d.ts.map +1 -1
  89. package/dest/hash/hash.js +29 -0
  90. package/dest/interfaces/allowed_element.d.ts +26 -20
  91. package/dest/interfaces/allowed_element.d.ts.map +1 -1
  92. package/dest/interfaces/allowed_element.js +8 -8
  93. package/dest/interfaces/archiver.d.ts +1 -1
  94. package/dest/interfaces/archiver.d.ts.map +1 -1
  95. package/dest/interfaces/archiver.js +8 -2
  96. package/dest/interfaces/aztec-node-admin.d.ts +93 -28
  97. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  98. package/dest/interfaces/aztec-node-admin.js +9 -3
  99. package/dest/interfaces/aztec-node-debug.d.ts +21 -0
  100. package/dest/interfaces/aztec-node-debug.d.ts.map +1 -0
  101. package/dest/interfaces/aztec-node-debug.js +18 -0
  102. package/dest/interfaces/aztec-node.d.ts +12 -6
  103. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  104. package/dest/interfaces/aztec-node.js +5 -2
  105. package/dest/interfaces/block-builder.d.ts +38 -11
  106. package/dest/interfaces/block-builder.d.ts.map +1 -1
  107. package/dest/interfaces/block-builder.js +13 -6
  108. package/dest/interfaces/client.d.ts +2 -1
  109. package/dest/interfaces/client.d.ts.map +1 -1
  110. package/dest/interfaces/client.js +1 -0
  111. package/dest/interfaces/configs.d.ts +77 -32
  112. package/dest/interfaces/configs.d.ts.map +1 -1
  113. package/dest/interfaces/configs.js +10 -3
  114. package/dest/interfaces/merkle_tree_operations.d.ts +10 -20
  115. package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
  116. package/dest/interfaces/p2p.d.ts +3 -8
  117. package/dest/interfaces/p2p.d.ts.map +1 -1
  118. package/dest/interfaces/prover-client.d.ts +6 -1
  119. package/dest/interfaces/prover-client.d.ts.map +1 -1
  120. package/dest/interfaces/prover-client.js +7 -1
  121. package/dest/interfaces/validator.d.ts +67 -25
  122. package/dest/interfaces/validator.d.ts.map +1 -1
  123. package/dest/interfaces/validator.js +6 -2
  124. package/dest/interfaces/world_state.d.ts +5 -4
  125. package/dest/interfaces/world_state.d.ts.map +1 -1
  126. package/dest/kernel/claimed_length_array.js +1 -1
  127. package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts +3 -3
  128. package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts.map +1 -1
  129. package/dest/kernel/hints/build_note_hash_read_request_hints.js +13 -10
  130. package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts +3 -3
  131. package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts.map +1 -1
  132. package/dest/kernel/hints/build_nullifier_read_request_hints.js +13 -10
  133. package/dest/kernel/hints/build_transient_data_hints.d.ts +5 -2
  134. package/dest/kernel/hints/build_transient_data_hints.d.ts.map +1 -1
  135. package/dest/kernel/hints/build_transient_data_hints.js +9 -3
  136. package/dest/kernel/hints/private_kernel_reset_hints.d.ts +1 -1
  137. package/dest/kernel/hints/private_kernel_reset_hints.d.ts.map +1 -1
  138. package/dest/kernel/padded_side_effects.js +1 -1
  139. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts +2 -1
  140. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts.map +1 -1
  141. package/dest/kernel/private_kernel_tail_circuit_public_inputs.js +4 -0
  142. package/dest/kernel/private_to_avm_accumulated_data.js +2 -2
  143. package/dest/kernel/private_to_public_accumulated_data.js +2 -2
  144. package/dest/kernel/private_to_rollup_accumulated_data.js +1 -1
  145. package/dest/logs/debug_log_store.d.ts +30 -0
  146. package/dest/logs/debug_log_store.d.ts.map +1 -0
  147. package/dest/logs/debug_log_store.js +30 -0
  148. package/dest/logs/extended_directional_app_tagging_secret.d.ts +47 -0
  149. package/dest/logs/extended_directional_app_tagging_secret.d.ts.map +1 -0
  150. package/dest/logs/{directional_app_tagging_secret.js → extended_directional_app_tagging_secret.js} +35 -20
  151. package/dest/logs/index.d.ts +4 -2
  152. package/dest/logs/index.d.ts.map +1 -1
  153. package/dest/logs/index.js +3 -1
  154. package/dest/logs/log_filter.d.ts +4 -1
  155. package/dest/logs/log_filter.d.ts.map +1 -1
  156. package/dest/logs/log_filter.js +2 -1
  157. package/dest/logs/message_context.d.ts +4 -7
  158. package/dest/logs/message_context.d.ts.map +1 -1
  159. package/dest/logs/message_context.js +23 -9
  160. package/dest/logs/pending_tagged_log.d.ts +2 -3
  161. package/dest/logs/pending_tagged_log.d.ts.map +1 -1
  162. package/dest/logs/pending_tagged_log.js +2 -2
  163. package/dest/logs/pre_tag.d.ts +16 -11
  164. package/dest/logs/pre_tag.d.ts.map +1 -1
  165. package/dest/logs/pre_tag.js +2 -2
  166. package/dest/logs/private_log.d.ts +2 -2
  167. package/dest/logs/private_log.d.ts.map +1 -1
  168. package/dest/logs/private_log.js +1 -1
  169. package/dest/logs/public_log.d.ts +4 -3
  170. package/dest/logs/public_log.d.ts.map +1 -1
  171. package/dest/logs/public_log.js +9 -2
  172. package/dest/logs/shared_secret_derivation.d.ts +11 -10
  173. package/dest/logs/shared_secret_derivation.d.ts.map +1 -1
  174. package/dest/logs/shared_secret_derivation.js +15 -9
  175. package/dest/logs/siloed_tag.d.ts +8 -3
  176. package/dest/logs/siloed_tag.d.ts.map +1 -1
  177. package/dest/logs/siloed_tag.js +11 -2
  178. package/dest/logs/tag.js +1 -1
  179. package/dest/logs/tagging_index_range.d.ts +40 -0
  180. package/dest/logs/tagging_index_range.d.ts.map +1 -0
  181. package/dest/logs/tagging_index_range.js +8 -0
  182. package/dest/logs/tx_scoped_l2_log.d.ts +3 -1
  183. package/dest/logs/tx_scoped_l2_log.d.ts.map +1 -1
  184. package/dest/logs/tx_scoped_l2_log.js +7 -0
  185. package/dest/messaging/l1_to_l2_message.d.ts +3 -2
  186. package/dest/messaging/l1_to_l2_message.d.ts.map +1 -1
  187. package/dest/messaging/l1_to_l2_message.js +11 -13
  188. package/dest/messaging/l2_to_l1_membership.d.ts +32 -6
  189. package/dest/messaging/l2_to_l1_membership.d.ts.map +1 -1
  190. package/dest/messaging/l2_to_l1_membership.js +69 -26
  191. package/dest/noir/index.d.ts +3 -3
  192. package/dest/noir/index.d.ts.map +1 -1
  193. package/dest/note/note_dao.d.ts +1 -1
  194. package/dest/note/note_dao.d.ts.map +1 -1
  195. package/dest/note/note_dao.js +1 -4
  196. package/dest/p2p/attestation_utils.d.ts +11 -1
  197. package/dest/p2p/attestation_utils.d.ts.map +1 -1
  198. package/dest/p2p/attestation_utils.js +45 -0
  199. package/dest/p2p/block_proposal.d.ts +1 -1
  200. package/dest/p2p/block_proposal.d.ts.map +1 -1
  201. package/dest/p2p/block_proposal.js +1 -3
  202. package/dest/p2p/checkpoint_proposal.d.ts +1 -6
  203. package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
  204. package/dest/p2p/checkpoint_proposal.js +13 -23
  205. package/dest/p2p/client_type.d.ts +2 -5
  206. package/dest/p2p/client_type.d.ts.map +1 -1
  207. package/dest/p2p/client_type.js +0 -7
  208. package/dest/p2p/index.d.ts +1 -2
  209. package/dest/p2p/index.d.ts.map +1 -1
  210. package/dest/p2p/index.js +0 -1
  211. package/dest/p2p/peer_error.d.ts +3 -1
  212. package/dest/p2p/peer_error.d.ts.map +1 -1
  213. package/dest/p2p/peer_error.js +5 -0
  214. package/dest/p2p/topic_type.d.ts +3 -4
  215. package/dest/p2p/topic_type.d.ts.map +1 -1
  216. package/dest/p2p/topic_type.js +7 -24
  217. package/dest/parity/parity_base_private_inputs.js +1 -1
  218. package/dest/proofs/chonk_proof.d.ts +1 -1
  219. package/dest/proofs/chonk_proof.d.ts.map +1 -1
  220. package/dest/proofs/chonk_proof.js +7 -1
  221. package/dest/rollup/base_rollup_hints.js +2 -2
  222. package/dest/rollup/block_root_rollup_private_inputs.js +5 -5
  223. package/dest/rollup/checkpoint_header.d.ts +2 -2
  224. package/dest/rollup/checkpoint_header.js +2 -2
  225. package/dest/rollup/checkpoint_rollup_public_inputs.js +1 -1
  226. package/dest/rollup/checkpoint_root_rollup_private_inputs.js +3 -3
  227. package/dest/rollup/root_rollup_public_inputs.js +1 -1
  228. package/dest/rollup/tree_snapshot_diff_hints.js +2 -2
  229. package/dest/slashing/tally.d.ts +7 -2
  230. package/dest/slashing/tally.d.ts.map +1 -1
  231. package/dest/slashing/tally.js +30 -2
  232. package/dest/tests/factories.d.ts +3 -1
  233. package/dest/tests/factories.d.ts.map +1 -1
  234. package/dest/tests/factories.js +9 -1
  235. package/dest/tests/mocks.d.ts +5 -3
  236. package/dest/tests/mocks.d.ts.map +1 -1
  237. package/dest/tests/mocks.js +20 -15
  238. package/dest/tx/block_header.d.ts +3 -1
  239. package/dest/tx/block_header.d.ts.map +1 -1
  240. package/dest/tx/block_header.js +4 -0
  241. package/dest/tx/capsule.d.ts +6 -2
  242. package/dest/tx/capsule.d.ts.map +1 -1
  243. package/dest/tx/capsule.js +9 -3
  244. package/dest/tx/global_variables.d.ts +4 -4
  245. package/dest/tx/global_variables.d.ts.map +1 -1
  246. package/dest/tx/private_execution_result.d.ts +6 -6
  247. package/dest/tx/private_execution_result.d.ts.map +1 -1
  248. package/dest/tx/private_execution_result.js +6 -6
  249. package/dest/tx/profiling.d.ts +17 -5
  250. package/dest/tx/profiling.d.ts.map +1 -1
  251. package/dest/tx/profiling.js +15 -5
  252. package/dest/tx/protocol_contracts.js +2 -2
  253. package/dest/tx/public_simulation_output.d.ts +4 -2
  254. package/dest/tx/public_simulation_output.d.ts.map +1 -1
  255. package/dest/tx/public_simulation_output.js +7 -3
  256. package/dest/tx/simulated_tx.d.ts +63 -77
  257. package/dest/tx/simulated_tx.d.ts.map +1 -1
  258. package/dest/tx/simulated_tx.js +7 -4
  259. package/dest/tx/tx.d.ts +6 -5
  260. package/dest/tx/tx.d.ts.map +1 -1
  261. package/dest/tx/tx.js +18 -6
  262. package/dest/tx/tx_receipt.d.ts +29 -6
  263. package/dest/tx/tx_receipt.d.ts.map +1 -1
  264. package/dest/tx/tx_receipt.js +23 -19
  265. package/dest/tx/validator/error_texts.d.ts +9 -1
  266. package/dest/tx/validator/error_texts.d.ts.map +1 -1
  267. package/dest/tx/validator/error_texts.js +10 -0
  268. package/dest/update-checker/index.d.ts +3 -2
  269. package/dest/update-checker/index.d.ts.map +1 -1
  270. package/dest/update-checker/index.js +2 -1
  271. package/dest/update-checker/package_version.d.ts +3 -0
  272. package/dest/update-checker/package_version.d.ts.map +1 -0
  273. package/dest/update-checker/package_version.js +24 -0
  274. package/dest/update-checker/version_checker.d.ts +25 -0
  275. package/dest/update-checker/version_checker.d.ts.map +1 -0
  276. package/dest/update-checker/version_checker.js +50 -0
  277. package/dest/validators/errors.d.ts +6 -1
  278. package/dest/validators/errors.d.ts.map +1 -1
  279. package/dest/validators/errors.js +7 -0
  280. package/dest/versioning/versioning.d.ts +4 -2
  281. package/dest/versioning/versioning.d.ts.map +1 -1
  282. package/dest/versioning/versioning.js +4 -1
  283. package/dest/vks/vk_data.js +1 -1
  284. package/package.json +10 -10
  285. package/src/abi/abi.ts +78 -2
  286. package/src/abi/buffer.ts +25 -4
  287. package/src/abi/decoder.ts +36 -82
  288. package/src/abi/encoder.ts +49 -6
  289. package/src/abi/event_metadata_definition.ts +2 -0
  290. package/src/abi/function_selector.ts +1 -1
  291. package/src/abi/function_signature_decoder.ts +77 -0
  292. package/src/abi/index.ts +1 -0
  293. package/src/abi/selector.ts +1 -1
  294. package/src/abi/utils.ts +25 -0
  295. package/src/avm/avm_accumulated_data.ts +6 -6
  296. package/src/avm/avm_circuit_public_inputs.ts +4 -4
  297. package/src/avm/revert_code.ts +26 -25
  298. package/src/block/block_data.ts +26 -0
  299. package/src/block/index.ts +1 -0
  300. package/src/block/l2_block.ts +13 -1
  301. package/src/block/l2_block_source.ts +38 -7
  302. package/src/block/l2_block_stream/interfaces.ts +6 -2
  303. package/src/block/l2_block_stream/l2_block_stream.ts +21 -0
  304. package/src/checkpoint/checkpoint.ts +17 -6
  305. package/src/checkpoint/checkpoint_data.ts +51 -0
  306. package/src/checkpoint/index.ts +2 -0
  307. package/src/checkpoint/published_checkpoint.ts +3 -1
  308. package/src/checkpoint/validate.ts +230 -0
  309. package/src/config/sequencer-config.ts +16 -1
  310. package/src/contract/contract_class.ts +3 -3
  311. package/src/epoch-helpers/index.ts +22 -0
  312. package/src/file-store/local.ts +15 -5
  313. package/src/file-store/s3.ts +12 -3
  314. package/src/gas/README.md +123 -0
  315. package/src/gas/gas_fees.ts +7 -1
  316. package/src/gas/gas_settings.ts +65 -12
  317. package/src/hash/hash.ts +34 -0
  318. package/src/interfaces/allowed_element.ts +29 -9
  319. package/src/interfaces/archiver.ts +8 -2
  320. package/src/interfaces/aztec-node-admin.ts +23 -0
  321. package/src/interfaces/aztec-node-debug.ts +40 -0
  322. package/src/interfaces/aztec-node.ts +24 -5
  323. package/src/interfaces/block-builder.ts +60 -14
  324. package/src/interfaces/client.ts +1 -0
  325. package/src/interfaces/configs.ts +36 -8
  326. package/src/interfaces/merkle_tree_operations.ts +9 -19
  327. package/src/interfaces/p2p.ts +2 -13
  328. package/src/interfaces/prover-client.ts +8 -0
  329. package/src/interfaces/validator.ts +18 -2
  330. package/src/interfaces/world_state.ts +4 -3
  331. package/src/kernel/claimed_length_array.ts +2 -2
  332. package/src/kernel/hints/build_note_hash_read_request_hints.ts +14 -18
  333. package/src/kernel/hints/build_nullifier_read_request_hints.ts +15 -18
  334. package/src/kernel/hints/build_transient_data_hints.ts +17 -2
  335. package/src/kernel/hints/private_kernel_reset_hints.ts +5 -2
  336. package/src/kernel/hints/read_request_hints.ts +3 -3
  337. package/src/kernel/padded_side_effects.ts +3 -3
  338. package/src/kernel/private_kernel_tail_circuit_public_inputs.ts +9 -0
  339. package/src/kernel/private_to_avm_accumulated_data.ts +4 -4
  340. package/src/kernel/private_to_public_accumulated_data.ts +10 -10
  341. package/src/kernel/private_to_rollup_accumulated_data.ts +5 -5
  342. package/src/logs/debug_log_store.ts +54 -0
  343. package/src/logs/{directional_app_tagging_secret.ts → extended_directional_app_tagging_secret.ts} +41 -22
  344. package/src/logs/index.ts +3 -1
  345. package/src/logs/log_filter.ts +5 -0
  346. package/src/logs/message_context.ts +17 -7
  347. package/src/logs/pending_tagged_log.ts +1 -3
  348. package/src/logs/pre_tag.ts +5 -5
  349. package/src/logs/private_log.ts +1 -1
  350. package/src/logs/public_log.ts +15 -3
  351. package/src/logs/shared_secret_derivation.ts +21 -10
  352. package/src/logs/siloed_tag.ts +14 -3
  353. package/src/logs/tag.ts +1 -1
  354. package/src/logs/tagging_index_range.ts +24 -0
  355. package/src/logs/tx_scoped_l2_log.ts +16 -0
  356. package/src/messaging/l1_to_l2_message.ts +12 -9
  357. package/src/messaging/l2_to_l1_membership.ts +98 -33
  358. package/src/noir/index.ts +2 -2
  359. package/src/note/note_dao.ts +1 -4
  360. package/src/p2p/attestation_utils.ts +56 -0
  361. package/src/p2p/block_proposal.ts +0 -2
  362. package/src/p2p/checkpoint_proposal.ts +23 -37
  363. package/src/p2p/client_type.ts +0 -6
  364. package/src/p2p/index.ts +0 -1
  365. package/src/p2p/peer_error.ts +7 -0
  366. package/src/p2p/topic_type.ts +8 -15
  367. package/src/parity/parity_base_private_inputs.ts +1 -1
  368. package/src/proofs/chonk_proof.ts +9 -1
  369. package/src/rollup/base_rollup_hints.ts +2 -2
  370. package/src/rollup/block_root_rollup_private_inputs.ts +8 -8
  371. package/src/rollup/checkpoint_header.ts +2 -2
  372. package/src/rollup/checkpoint_rollup_public_inputs.ts +2 -2
  373. package/src/rollup/checkpoint_root_rollup_private_inputs.ts +4 -4
  374. package/src/rollup/root_rollup_public_inputs.ts +2 -2
  375. package/src/rollup/tree_snapshot_diff_hints.ts +5 -5
  376. package/src/slashing/tally.ts +34 -1
  377. package/src/tests/factories.ts +10 -1
  378. package/src/tests/mocks.ts +26 -11
  379. package/src/tx/block_header.ts +6 -0
  380. package/src/tx/capsule.ts +10 -2
  381. package/src/tx/global_variables.ts +3 -3
  382. package/src/tx/private_execution_result.ts +5 -5
  383. package/src/tx/profiling.ts +14 -5
  384. package/src/tx/protocol_contracts.ts +2 -2
  385. package/src/tx/public_simulation_output.ts +4 -0
  386. package/src/tx/simulated_tx.ts +14 -3
  387. package/src/tx/tx.ts +20 -11
  388. package/src/tx/tx_receipt.ts +28 -16
  389. package/src/tx/validator/error_texts.ts +12 -0
  390. package/src/update-checker/index.ts +2 -1
  391. package/src/update-checker/package_version.ts +30 -0
  392. package/src/update-checker/version_checker.ts +65 -0
  393. package/src/validators/errors.ts +9 -0
  394. package/src/versioning/versioning.ts +4 -1
  395. package/src/vks/vk_data.ts +1 -1
  396. package/dest/logs/directional_app_tagging_secret.d.ts +0 -40
  397. package/dest/logs/directional_app_tagging_secret.d.ts.map +0 -1
  398. package/dest/update-checker/update-checker.d.ts +0 -49
  399. package/dest/update-checker/update-checker.d.ts.map +0 -1
  400. package/dest/update-checker/update-checker.js +0 -130
  401. package/src/update-checker/update-checker.ts +0 -166
@@ -1,6 +1,6 @@
1
1
  import { encodeCheckpointBlobDataFromBlocks } from '@aztec/blob-lib/encoding';
2
2
  import { BlockNumber, CheckpointNumber, CheckpointNumberSchema, IndexWithinCheckpoint } from '@aztec/foundation/branded-types';
3
- import { sum } from '@aztec/foundation/collection';
3
+ import { pick, sum } from '@aztec/foundation/collection';
4
4
  import { BufferReader, serializeSignedBigInt, serializeToBuffer } from '@aztec/foundation/serialize';
5
5
  import { z } from 'zod';
6
6
  import { L2Block } from '../block/l2_block.js';
@@ -65,10 +65,11 @@ export class Checkpoint {
65
65
  hash() {
66
66
  return this.header.hash();
67
67
  }
68
- // Returns the out hash computed from all l2-to-l1 messages in this checkpoint.
69
- // Note: This value is different from the out hash in the header, which is the **accumulated** out hash over all
70
- // checkpoints up to and including this one in the epoch.
71
- getCheckpointOutHash() {
68
+ /**
69
+ * Returns the out hash computed from all l2-to-l1 messages in this checkpoint.
70
+ * Note: This value is different from the out hash in the header, which is the **accumulated** out hash over all
71
+ * checkpoints up to and including this one in the epoch.
72
+ */ getCheckpointOutHash() {
72
73
  const msgs = this.blocks.map((block)=>block.body.txEffects.map((txEffect)=>txEffect.l2ToL1Msgs));
73
74
  return computeCheckpointOutHash(msgs);
74
75
  }
@@ -102,7 +103,11 @@ export class Checkpoint {
102
103
  };
103
104
  }
104
105
  static async random(checkpointNumber = CheckpointNumber(1), { numBlocks = 1, startBlockNumber = 1, previousArchive, feeAssetPriceModifier = 0n, ...options } = {}) {
105
- const header = CheckpointHeader.random(options);
106
+ const headerOptions = previousArchive ? {
107
+ lastArchiveRoot: previousArchive.root,
108
+ ...options
109
+ } : options;
110
+ const header = CheckpointHeader.random(headerOptions);
106
111
  // Create blocks sequentially to chain archive roots properly.
107
112
  // Each block's header.lastArchive must equal the previous block's archive.
108
113
  const blocks = [];
@@ -113,11 +118,12 @@ export class Checkpoint {
113
118
  ...options,
114
119
  ...lastArchive ? {
115
120
  lastArchive
116
- } : {}
121
+ } : {},
122
+ ...pick(header, 'slotNumber', 'timestamp', 'coinbase', 'feeRecipient', 'gasFees')
117
123
  });
118
124
  lastArchive = block.archive;
119
125
  blocks.push(block);
120
126
  }
121
- return new Checkpoint(AppendOnlyTreeSnapshot.random(), header, blocks, checkpointNumber, feeAssetPriceModifier);
127
+ return new Checkpoint(options.archive ?? AppendOnlyTreeSnapshot.random(), header, blocks, checkpointNumber, feeAssetPriceModifier);
122
128
  }
123
129
  }
@@ -0,0 +1,120 @@
1
+ import { BlockNumber, CheckpointNumber } from '@aztec/foundation/branded-types';
2
+ import { Fr } from '@aztec/foundation/curves/bn254';
3
+ import { z } from 'zod';
4
+ import { CommitteeAttestation } from '../block/proposal/committee_attestation.js';
5
+ import { CheckpointHeader } from '../rollup/checkpoint_header.js';
6
+ import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
7
+ import { L1PublishedData } from './published_checkpoint.js';
8
+ /** Lightweight checkpoint metadata without full block data. */
9
+ export type CheckpointData = {
10
+ checkpointNumber: CheckpointNumber;
11
+ header: CheckpointHeader;
12
+ archive: AppendOnlyTreeSnapshot;
13
+ checkpointOutHash: Fr;
14
+ startBlock: BlockNumber;
15
+ blockCount: number;
16
+ attestations: CommitteeAttestation[];
17
+ l1: L1PublishedData;
18
+ };
19
+ export declare const CheckpointDataSchema: z.ZodEffects<z.ZodObject<{
20
+ checkpointNumber: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, CheckpointNumber, string | number | bigint>;
21
+ header: import("@aztec/foundation/schemas").ZodFor<CheckpointHeader>;
22
+ archive: z.ZodEffects<z.ZodObject<{
23
+ root: z.ZodType<Fr, any, string>;
24
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
25
+ }, "strip", z.ZodTypeAny, {
26
+ root: Fr;
27
+ nextAvailableLeafIndex: number;
28
+ }, {
29
+ root: string;
30
+ nextAvailableLeafIndex: string | number | bigint;
31
+ }>, AppendOnlyTreeSnapshot, {
32
+ root: string;
33
+ nextAvailableLeafIndex: string | number | bigint;
34
+ }>;
35
+ checkpointOutHash: z.ZodType<Fr, any, string>;
36
+ startBlock: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, BlockNumber, string | number | bigint>;
37
+ blockCount: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
38
+ attestations: z.ZodArray<z.ZodEffects<z.ZodObject<{
39
+ address: z.ZodType<import("@aztec/foundation/eth-address").EthAddress, any, string>;
40
+ signature: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, `0x${string}`, string>, `0x${string}`, string>, import("../block/proposal/committee_attestation.js").Signature, string>;
41
+ }, "strip", z.ZodTypeAny, {
42
+ address: import("@aztec/foundation/eth-address").EthAddress;
43
+ signature: import("../block/proposal/committee_attestation.js").Signature;
44
+ }, {
45
+ address: string;
46
+ signature: string;
47
+ }>, CommitteeAttestation, {
48
+ address: string;
49
+ signature: string;
50
+ }>, "many">;
51
+ l1: z.ZodEffects<z.ZodObject<{
52
+ blockNumber: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
53
+ timestamp: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
54
+ blockHash: z.ZodString;
55
+ }, "strip", z.ZodTypeAny, {
56
+ blockNumber: bigint;
57
+ timestamp: bigint;
58
+ blockHash: string;
59
+ }, {
60
+ blockNumber: string | number | bigint;
61
+ timestamp: string | number | bigint;
62
+ blockHash: string;
63
+ }>, L1PublishedData, {
64
+ blockNumber: string | number | bigint;
65
+ timestamp: string | number | bigint;
66
+ blockHash: string;
67
+ }>;
68
+ }, "strip", z.ZodTypeAny, {
69
+ checkpointNumber: number & {
70
+ _branding: "CheckpointNumber";
71
+ };
72
+ header: CheckpointHeader;
73
+ archive: AppendOnlyTreeSnapshot;
74
+ checkpointOutHash: Fr;
75
+ startBlock: number & {
76
+ _branding: "BlockNumber";
77
+ };
78
+ blockCount: number;
79
+ attestations: CommitteeAttestation[];
80
+ l1: L1PublishedData;
81
+ }, {
82
+ checkpointNumber: string | number | bigint;
83
+ header?: any;
84
+ archive: {
85
+ root: string;
86
+ nextAvailableLeafIndex: string | number | bigint;
87
+ };
88
+ checkpointOutHash: string;
89
+ startBlock: string | number | bigint;
90
+ blockCount: string | number | bigint;
91
+ attestations: {
92
+ address: string;
93
+ signature: string;
94
+ }[];
95
+ l1: {
96
+ blockNumber: string | number | bigint;
97
+ timestamp: string | number | bigint;
98
+ blockHash: string;
99
+ };
100
+ }>, CheckpointData, {
101
+ checkpointNumber: string | number | bigint;
102
+ header?: any;
103
+ archive: {
104
+ root: string;
105
+ nextAvailableLeafIndex: string | number | bigint;
106
+ };
107
+ checkpointOutHash: string;
108
+ startBlock: string | number | bigint;
109
+ blockCount: string | number | bigint;
110
+ attestations: {
111
+ address: string;
112
+ signature: string;
113
+ }[];
114
+ l1: {
115
+ blockNumber: string | number | bigint;
116
+ timestamp: string | number | bigint;
117
+ blockHash: string;
118
+ };
119
+ }>;
120
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvY2hlY2twb2ludC9jaGVja3BvaW50X2RhdGEudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUNMLFdBQVcsRUFFWCxnQkFBZ0IsRUFFakIsTUFBTSxpQ0FBaUMsQ0FBQztBQUN6QyxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFHcEQsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUV4QixPQUFPLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSw0Q0FBNEMsQ0FBQztBQUNsRixPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNsRSxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx1Q0FBdUMsQ0FBQztBQUMvRSxPQUFPLEVBQUUsZUFBZSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFFNUQsK0RBQStEO0FBQy9ELE1BQU0sTUFBTSxjQUFjLEdBQUc7SUFDM0IsZ0JBQWdCLEVBQUUsZ0JBQWdCLENBQUM7SUFDbkMsTUFBTSxFQUFFLGdCQUFnQixDQUFDO0lBQ3pCLE9BQU8sRUFBRSxzQkFBc0IsQ0FBQztJQUNoQyxpQkFBaUIsRUFBRSxFQUFFLENBQUM7SUFDdEIsVUFBVSxFQUFFLFdBQVcsQ0FBQztJQUN4QixVQUFVLEVBQUUsTUFBTSxDQUFDO0lBQ25CLFlBQVksRUFBRSxvQkFBb0IsRUFBRSxDQUFDO0lBQ3JDLEVBQUUsRUFBRSxlQUFlLENBQUM7Q0FDckIsQ0FBQztBQUVGLGVBQU8sTUFBTSxvQkFBb0I7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7RUFzQjlCLENBQUMifQ==
@@ -0,0 +1 @@
1
+ {"version":3,"file":"checkpoint_data.d.ts","sourceRoot":"","sources":["../../src/checkpoint/checkpoint_data.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EAEX,gBAAgB,EAEjB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAGpD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAClF,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAE5D,+DAA+D;AAC/D,MAAM,MAAM,cAAc,GAAG;IAC3B,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,MAAM,EAAE,gBAAgB,CAAC;IACzB,OAAO,EAAE,sBAAsB,CAAC;IAChC,iBAAiB,EAAE,EAAE,CAAC;IACtB,UAAU,EAAE,WAAW,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,oBAAoB,EAAE,CAAC;IACrC,EAAE,EAAE,eAAe,CAAC;CACrB,CAAC;AAEF,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAsB9B,CAAC"}
@@ -0,0 +1,26 @@
1
+ import { BlockNumberSchema, CheckpointNumberSchema } from '@aztec/foundation/branded-types';
2
+ import { schemas } from '@aztec/foundation/schemas';
3
+ import { z } from 'zod';
4
+ import { CommitteeAttestation } from '../block/proposal/committee_attestation.js';
5
+ import { CheckpointHeader } from '../rollup/checkpoint_header.js';
6
+ import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
7
+ import { L1PublishedData } from './published_checkpoint.js';
8
+ export const CheckpointDataSchema = z.object({
9
+ checkpointNumber: CheckpointNumberSchema,
10
+ header: CheckpointHeader.schema,
11
+ archive: AppendOnlyTreeSnapshot.schema,
12
+ checkpointOutHash: schemas.Fr,
13
+ startBlock: BlockNumberSchema,
14
+ blockCount: schemas.Integer,
15
+ attestations: z.array(CommitteeAttestation.schema),
16
+ l1: L1PublishedData.schema
17
+ }).transform((obj)=>({
18
+ checkpointNumber: obj.checkpointNumber,
19
+ header: obj.header,
20
+ archive: obj.archive,
21
+ checkpointOutHash: obj.checkpointOutHash,
22
+ startBlock: obj.startBlock,
23
+ blockCount: obj.blockCount,
24
+ attestations: obj.attestations,
25
+ l1: obj.l1
26
+ }));
@@ -1,4 +1,6 @@
1
1
  export * from './checkpoint.js';
2
+ export * from './checkpoint_data.js';
2
3
  export * from './checkpoint_info.js';
3
4
  export * from './published_checkpoint.js';
4
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jaGVja3BvaW50L2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGNBQWMsaUJBQWlCLENBQUM7QUFDaEMsY0FBYyxzQkFBc0IsQ0FBQztBQUNyQyxjQUFjLDJCQUEyQixDQUFDIn0=
5
+ export * from './validate.js';
6
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jaGVja3BvaW50L2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGNBQWMsaUJBQWlCLENBQUM7QUFDaEMsY0FBYyxzQkFBc0IsQ0FBQztBQUNyQyxjQUFjLHNCQUFzQixDQUFDO0FBQ3JDLGNBQWMsMkJBQTJCLENBQUM7QUFDMUMsY0FBYyxlQUFlLENBQUMifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/checkpoint/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAC;AAChC,cAAc,sBAAsB,CAAC;AACrC,cAAc,2BAA2B,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/checkpoint/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAC;AAChC,cAAc,sBAAsB,CAAC;AACrC,cAAc,sBAAsB,CAAC;AACrC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,eAAe,CAAC"}
@@ -1,3 +1,5 @@
1
1
  export * from './checkpoint.js';
2
+ export * from './checkpoint_data.js';
2
3
  export * from './checkpoint_info.js';
3
4
  export * from './published_checkpoint.js';
5
+ export * from './validate.js';
@@ -31,10 +31,19 @@ export declare class L1PublishedData {
31
31
  toBuffer(): Buffer;
32
32
  }
33
33
  export declare class PublishedCheckpoint {
34
+ /** The checkpoint itself. */
34
35
  checkpoint: Checkpoint;
36
+ /** Info on when this checkpoint was published on L1. */
35
37
  l1: L1PublishedData;
38
+ /** The attestations for the last block in the checkpoint. */
36
39
  attestations: CommitteeAttestation[];
37
- constructor(checkpoint: Checkpoint, l1: L1PublishedData, attestations: CommitteeAttestation[]);
40
+ constructor(
41
+ /** The checkpoint itself. */
42
+ checkpoint: Checkpoint,
43
+ /** Info on when this checkpoint was published on L1. */
44
+ l1: L1PublishedData,
45
+ /** The attestations for the last block in the checkpoint. */
46
+ attestations: CommitteeAttestation[]);
38
47
  static get schema(): z.ZodEffects<z.ZodObject<{
39
48
  checkpoint: z.ZodEffects<z.ZodObject<{
40
49
  archive: z.ZodEffects<z.ZodObject<{
@@ -243,4 +252,4 @@ export declare class PublishedCheckpoint {
243
252
  static fromBuffer(bufferOrReader: Buffer | BufferReader): PublishedCheckpoint;
244
253
  toBuffer(): Buffer;
245
254
  }
246
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGlzaGVkX2NoZWNrcG9pbnQuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jaGVja3BvaW50L3B1Ymxpc2hlZF9jaGVja3BvaW50LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUlBLE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFDOUUsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFFeEQsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUV4QixPQUFPLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSw0Q0FBNEMsQ0FBQztBQUVsRixPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFFN0MscUJBQWEsZUFBZTtJQUVqQixXQUFXLEVBQUUsTUFBTTtJQUNuQixTQUFTLEVBQUUsTUFBTTtJQUNqQixTQUFTLEVBQUUsTUFBTTtJQUgxQixZQUNTLFdBQVcsRUFBRSxNQUFNLEVBQ25CLFNBQVMsRUFBRSxNQUFNLEVBQ2pCLFNBQVMsRUFBRSxNQUFNLEVBQ3RCO0lBRUosTUFBTSxLQUFLLE1BQU07Ozs7Ozs7Ozs7Ozs7Ozs7T0FRaEI7SUFFRCxNQUFNLENBQUMsTUFBTSxvQkFNWjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxlQUFlLENBQUMsbUJBRWxEO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxjQUFjLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxlQUFlLENBTXhFO0lBRU0sUUFBUSxJQUFJLE1BQU0sQ0FFeEI7Q0FDRjtBQUVELHFCQUFhLG1CQUFtQjtJQUVyQixVQUFVLEVBQUUsVUFBVTtJQUN0QixFQUFFLEVBQUUsZUFBZTtJQUVuQixZQUFZLEVBQUUsb0JBQW9CLEVBQUU7SUFKN0MsWUFDUyxVQUFVLEVBQUUsVUFBVSxFQUN0QixFQUFFLEVBQUUsZUFBZSxFQUVuQixZQUFZLEVBQUUsb0JBQW9CLEVBQUUsRUFDekM7SUFFSixNQUFNLEtBQUssTUFBTTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztPQVFoQjtJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxtQkFBbUIsQ0FBQyxrRUFFckQ7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsbUJBQW1CLENBQUMsdUJBRWhEO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxjQUFjLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxtQkFBbUIsQ0FZNUU7SUFFTSxRQUFRLElBQUksTUFBTSxDQVN4QjtDQUNGIn0=
255
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGlzaGVkX2NoZWNrcG9pbnQuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jaGVja3BvaW50L3B1Ymxpc2hlZF9jaGVja3BvaW50LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUlBLE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFDOUUsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFFeEQsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUV4QixPQUFPLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSw0Q0FBNEMsQ0FBQztBQUVsRixPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFFN0MscUJBQWEsZUFBZTtJQUVqQixXQUFXLEVBQUUsTUFBTTtJQUNuQixTQUFTLEVBQUUsTUFBTTtJQUNqQixTQUFTLEVBQUUsTUFBTTtJQUgxQixZQUNTLFdBQVcsRUFBRSxNQUFNLEVBQ25CLFNBQVMsRUFBRSxNQUFNLEVBQ2pCLFNBQVMsRUFBRSxNQUFNLEVBQ3RCO0lBRUosTUFBTSxLQUFLLE1BQU07Ozs7Ozs7Ozs7Ozs7Ozs7T0FRaEI7SUFFRCxNQUFNLENBQUMsTUFBTSxvQkFNWjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxlQUFlLENBQUMsbUJBRWxEO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxjQUFjLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxlQUFlLENBTXhFO0lBRU0sUUFBUSxJQUFJLE1BQU0sQ0FFeEI7Q0FDRjtBQUVELHFCQUFhLG1CQUFtQjtJQUU1Qiw2QkFBNkI7SUFDdEIsVUFBVSxFQUFFLFVBQVU7SUFDN0Isd0RBQXdEO0lBQ2pELEVBQUUsRUFBRSxlQUFlO0lBQzFCLDZEQUE2RDtJQUN0RCxZQUFZLEVBQUUsb0JBQW9CLEVBQUU7SUFON0M7SUFDRSw2QkFBNkI7SUFDdEIsVUFBVSxFQUFFLFVBQVU7SUFDN0Isd0RBQXdEO0lBQ2pELEVBQUUsRUFBRSxlQUFlO0lBQzFCLDZEQUE2RDtJQUN0RCxZQUFZLEVBQUUsb0JBQW9CLEVBQUUsRUFDekM7SUFFSixNQUFNLEtBQUssTUFBTTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztPQVFoQjtJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxtQkFBbUIsQ0FBQyxrRUFFckQ7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsbUJBQW1CLENBQUMsdUJBRWhEO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxjQUFjLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxtQkFBbUIsQ0FZNUU7SUFFTSxRQUFRLElBQUksTUFBTSxDQVN4QjtDQUNGIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"published_checkpoint.d.ts","sourceRoot":"","sources":["../../src/checkpoint/published_checkpoint.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAC9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAElF,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,qBAAa,eAAe;IAEjB,WAAW,EAAE,MAAM;IACnB,SAAS,EAAE,MAAM;IACjB,SAAS,EAAE,MAAM;IAH1B,YACS,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACtB;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;OAQhB;IAED,MAAM,CAAC,MAAM,oBAMZ;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,mBAElD;IAED,MAAM,CAAC,UAAU,CAAC,cAAc,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe,CAMxE;IAEM,QAAQ,IAAI,MAAM,CAExB;CACF;AAED,qBAAa,mBAAmB;IAErB,UAAU,EAAE,UAAU;IACtB,EAAE,EAAE,eAAe;IAEnB,YAAY,EAAE,oBAAoB,EAAE;IAJ7C,YACS,UAAU,EAAE,UAAU,EACtB,EAAE,EAAE,eAAe,EAEnB,YAAY,EAAE,oBAAoB,EAAE,EACzC;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAQhB;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC,kEAErD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC,uBAEhD;IAED,MAAM,CAAC,UAAU,CAAC,cAAc,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB,CAY5E;IAEM,QAAQ,IAAI,MAAM,CASxB;CACF"}
1
+ {"version":3,"file":"published_checkpoint.d.ts","sourceRoot":"","sources":["../../src/checkpoint/published_checkpoint.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAC9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAElF,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,qBAAa,eAAe;IAEjB,WAAW,EAAE,MAAM;IACnB,SAAS,EAAE,MAAM;IACjB,SAAS,EAAE,MAAM;IAH1B,YACS,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACtB;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;OAQhB;IAED,MAAM,CAAC,MAAM,oBAMZ;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,mBAElD;IAED,MAAM,CAAC,UAAU,CAAC,cAAc,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe,CAMxE;IAEM,QAAQ,IAAI,MAAM,CAExB;CACF;AAED,qBAAa,mBAAmB;IAE5B,6BAA6B;IACtB,UAAU,EAAE,UAAU;IAC7B,wDAAwD;IACjD,EAAE,EAAE,eAAe;IAC1B,6DAA6D;IACtD,YAAY,EAAE,oBAAoB,EAAE;IAN7C;IACE,6BAA6B;IACtB,UAAU,EAAE,UAAU;IAC7B,wDAAwD;IACjD,EAAE,EAAE,eAAe;IAC1B,6DAA6D;IACtD,YAAY,EAAE,oBAAoB,EAAE,EACzC;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAQhB;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC,kEAErD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC,uBAEhD;IAED,MAAM,CAAC,UAAU,CAAC,cAAc,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB,CAY5E;IAEM,QAAQ,IAAI,MAAM,CASxB;CACF"}
@@ -44,8 +44,7 @@ export class PublishedCheckpoint {
44
44
  checkpoint;
45
45
  l1;
46
46
  attestations;
47
- constructor(checkpoint, l1, // The attestations for the last block in the checkpoint.
48
- attestations){
47
+ constructor(/** The checkpoint itself. */ checkpoint, /** Info on when this checkpoint was published on L1. */ l1, /** The attestations for the last block in the checkpoint. */ attestations){
49
48
  this.checkpoint = checkpoint;
50
49
  this.l1 = l1;
51
50
  this.attestations = attestations;
@@ -0,0 +1,36 @@
1
+ import type { CheckpointNumber, SlotNumber } from '@aztec/foundation/branded-types';
2
+ import type { Checkpoint } from './checkpoint.js';
3
+ export declare class CheckpointValidationError extends Error {
4
+ readonly checkpointNumber: CheckpointNumber;
5
+ readonly slot: SlotNumber;
6
+ constructor(message: string, checkpointNumber: CheckpointNumber, slot: SlotNumber);
7
+ }
8
+ /**
9
+ * Validates a checkpoint. Throws a CheckpointValidationError if any validation fails.
10
+ * - Validates structural integrity (non-empty, block count, sequential numbers, archive chaining, slot consistency)
11
+ * - Validates checkpoint blob field count against maxBlobFields limit
12
+ * - Validates total L2 gas used by checkpoint blocks against the Rollup contract mana limit
13
+ * - Validates total DA gas used by checkpoint blocks against MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT
14
+ * - Validates individual block L2 gas and DA gas against maxL2BlockGas and maxDABlockGas limits
15
+ */
16
+ export declare function validateCheckpoint(checkpoint: Checkpoint, opts: {
17
+ rollupManaLimit?: number;
18
+ maxL2BlockGas?: number;
19
+ maxDABlockGas?: number;
20
+ maxTxsPerCheckpoint?: number;
21
+ maxTxsPerBlock?: number;
22
+ }): void;
23
+ /**
24
+ * Validates structural integrity of a checkpoint.
25
+ * - Non-empty block list
26
+ * - Block count within MAX_BLOCKS_PER_CHECKPOINT
27
+ * - Checkpoint slot matches the first block's slot
28
+ * - Checkpoint lastArchiveRoot matches the first block's lastArchive root
29
+ * - Sequential block numbers without gaps
30
+ * - Sequential indexWithinCheckpoint starting at 0
31
+ * - Archive root chaining between consecutive blocks
32
+ * - Consistent slot number across all blocks
33
+ * - Global variables (slot, timestamp, coinbase, feeRecipient, gasFees) match checkpoint header for each block
34
+ */
35
+ export declare function validateCheckpointStructure(checkpoint: Checkpoint): void;
36
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidmFsaWRhdGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jaGVja3BvaW50L3ZhbGlkYXRlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sS0FBSyxFQUFFLGdCQUFnQixFQUFFLFVBQVUsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBSXBGLE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBRWxELHFCQUFhLHlCQUEwQixTQUFRLEtBQUs7YUFHaEMsZ0JBQWdCLEVBQUUsZ0JBQWdCO2FBQ2xDLElBQUksRUFBRSxVQUFVO0lBSGxDLFlBQ0UsT0FBTyxFQUFFLE1BQU0sRUFDQyxnQkFBZ0IsRUFBRSxnQkFBZ0IsRUFDbEMsSUFBSSxFQUFFLFVBQVUsRUFJakM7Q0FDRjtBQUVEOzs7Ozs7O0dBT0c7QUFDSCx3QkFBZ0Isa0JBQWtCLENBQ2hDLFVBQVUsRUFBRSxVQUFVLEVBQ3RCLElBQUksRUFBRTtJQUNKLGVBQWUsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUN6QixhQUFhLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDdkIsYUFBYSxDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQ3ZCLG1CQUFtQixDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQzdCLGNBQWMsQ0FBQyxFQUFFLE1BQU0sQ0FBQztDQUN6QixHQUNBLElBQUksQ0FJTjtBQUVEOzs7Ozs7Ozs7OztHQVdHO0FBQ0gsd0JBQWdCLDJCQUEyQixDQUFDLFVBQVUsRUFBRSxVQUFVLEdBQUcsSUFBSSxDQXVFeEUifQ==
@@ -0,0 +1 @@
1
+ {"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/checkpoint/validate.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAIpF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAElD,qBAAa,yBAA0B,SAAQ,KAAK;aAGhC,gBAAgB,EAAE,gBAAgB;aAClC,IAAI,EAAE,UAAU;IAHlC,YACE,OAAO,EAAE,MAAM,EACC,gBAAgB,EAAE,gBAAgB,EAClC,IAAI,EAAE,UAAU,EAIjC;CACF;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,UAAU,EACtB,IAAI,EAAE;IACJ,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,GACA,IAAI,CAIN;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,2BAA2B,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAuExE"}
@@ -0,0 +1,120 @@
1
+ import { BLOBS_PER_CHECKPOINT, FIELDS_PER_BLOB, MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT } from '@aztec/constants';
2
+ import { sum } from '@aztec/foundation/collection';
3
+ import { MAX_BLOCKS_PER_CHECKPOINT } from '../deserialization/index.js';
4
+ export class CheckpointValidationError extends Error {
5
+ checkpointNumber;
6
+ slot;
7
+ constructor(message, checkpointNumber, slot){
8
+ super(message), this.checkpointNumber = checkpointNumber, this.slot = slot;
9
+ this.name = 'CheckpointValidationError';
10
+ }
11
+ }
12
+ /**
13
+ * Validates a checkpoint. Throws a CheckpointValidationError if any validation fails.
14
+ * - Validates structural integrity (non-empty, block count, sequential numbers, archive chaining, slot consistency)
15
+ * - Validates checkpoint blob field count against maxBlobFields limit
16
+ * - Validates total L2 gas used by checkpoint blocks against the Rollup contract mana limit
17
+ * - Validates total DA gas used by checkpoint blocks against MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT
18
+ * - Validates individual block L2 gas and DA gas against maxL2BlockGas and maxDABlockGas limits
19
+ */ export function validateCheckpoint(checkpoint, opts) {
20
+ validateCheckpointStructure(checkpoint);
21
+ validateCheckpointLimits(checkpoint, opts);
22
+ validateCheckpointBlocksLimits(checkpoint, opts);
23
+ }
24
+ /**
25
+ * Validates structural integrity of a checkpoint.
26
+ * - Non-empty block list
27
+ * - Block count within MAX_BLOCKS_PER_CHECKPOINT
28
+ * - Checkpoint slot matches the first block's slot
29
+ * - Checkpoint lastArchiveRoot matches the first block's lastArchive root
30
+ * - Sequential block numbers without gaps
31
+ * - Sequential indexWithinCheckpoint starting at 0
32
+ * - Archive root chaining between consecutive blocks
33
+ * - Consistent slot number across all blocks
34
+ * - Global variables (slot, timestamp, coinbase, feeRecipient, gasFees) match checkpoint header for each block
35
+ */ export function validateCheckpointStructure(checkpoint) {
36
+ const { blocks, number, slot } = checkpoint;
37
+ if (blocks.length === 0) {
38
+ throw new CheckpointValidationError('Checkpoint has no blocks', number, slot);
39
+ }
40
+ if (blocks.length > MAX_BLOCKS_PER_CHECKPOINT) {
41
+ throw new CheckpointValidationError(`Checkpoint has ${blocks.length} blocks, exceeding limit of ${MAX_BLOCKS_PER_CHECKPOINT}`, number, slot);
42
+ }
43
+ const firstBlock = blocks[0];
44
+ if (!checkpoint.header.lastArchiveRoot.equals(firstBlock.header.lastArchive.root)) {
45
+ throw new CheckpointValidationError(`Checkpoint lastArchiveRoot does not match first block's lastArchive root`, number, slot);
46
+ }
47
+ for(let i = 0; i < blocks.length; i++){
48
+ const block = blocks[i];
49
+ if (block.indexWithinCheckpoint !== i) {
50
+ throw new CheckpointValidationError(`Block at index ${i} has indexWithinCheckpoint ${block.indexWithinCheckpoint}, expected ${i}`, number, slot);
51
+ }
52
+ if (block.slot !== slot) {
53
+ throw new CheckpointValidationError(`Block ${block.number} has slot ${block.slot}, expected ${slot} (all blocks must share the same slot)`, number, slot);
54
+ }
55
+ if (!checkpoint.header.matchesGlobalVariables(block.header.globalVariables)) {
56
+ throw new CheckpointValidationError(`Block ${block.number} global variables (slot, timestamp, coinbase, feeRecipient, gasFees) do not match checkpoint header`, number, slot);
57
+ }
58
+ if (i > 0) {
59
+ const prev = blocks[i - 1];
60
+ if (block.number !== prev.number + 1) {
61
+ throw new CheckpointValidationError(`Block numbers are not sequential: block at index ${i - 1} has number ${prev.number}, block at index ${i} has number ${block.number}`, number, slot);
62
+ }
63
+ if (!block.header.lastArchive.root.equals(prev.archive.root)) {
64
+ throw new CheckpointValidationError(`Block ${block.number} lastArchive root does not match archive root of block ${prev.number}`, number, slot);
65
+ }
66
+ }
67
+ }
68
+ }
69
+ /** Validates checkpoint blocks gas limits */ function validateCheckpointBlocksLimits(checkpoint, opts) {
70
+ const { maxL2BlockGas, maxDABlockGas, maxTxsPerBlock } = opts;
71
+ if (maxL2BlockGas !== undefined) {
72
+ for (const block of checkpoint.blocks){
73
+ const blockL2Gas = block.header.totalManaUsed.toNumber();
74
+ if (blockL2Gas > maxL2BlockGas) {
75
+ throw new CheckpointValidationError(`Block ${block.number} in checkpoint has L2 gas used ${blockL2Gas} exceeding limit of ${maxL2BlockGas}`, checkpoint.number, checkpoint.slot);
76
+ }
77
+ }
78
+ }
79
+ if (maxDABlockGas !== undefined) {
80
+ for (const block of checkpoint.blocks){
81
+ const blockDAGas = block.computeDAGasUsed();
82
+ if (blockDAGas > maxDABlockGas) {
83
+ throw new CheckpointValidationError(`Block ${block.number} in checkpoint has DA gas used ${blockDAGas} exceeding limit of ${maxDABlockGas}`, checkpoint.number, checkpoint.slot);
84
+ }
85
+ }
86
+ }
87
+ if (maxTxsPerBlock !== undefined) {
88
+ for (const block of checkpoint.blocks){
89
+ const blockTxCount = block.body.txEffects.length;
90
+ if (blockTxCount > maxTxsPerBlock) {
91
+ throw new CheckpointValidationError(`Block ${block.number} in checkpoint has ${blockTxCount} txs exceeding limit of ${maxTxsPerBlock}`, checkpoint.number, checkpoint.slot);
92
+ }
93
+ }
94
+ }
95
+ }
96
+ /** Validates checkpoint max blob fields, gas limits, and tx limits */ function validateCheckpointLimits(checkpoint, opts) {
97
+ const { rollupManaLimit, maxTxsPerCheckpoint } = opts;
98
+ const maxBlobFields = BLOBS_PER_CHECKPOINT * FIELDS_PER_BLOB;
99
+ const maxDAGas = MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT;
100
+ if (rollupManaLimit !== undefined) {
101
+ const checkpointMana = sum(checkpoint.blocks.map((block)=>block.header.totalManaUsed.toNumber()));
102
+ if (checkpointMana > rollupManaLimit) {
103
+ throw new CheckpointValidationError(`Checkpoint mana cost ${checkpointMana} exceeds rollup limit of ${rollupManaLimit}`, checkpoint.number, checkpoint.slot);
104
+ }
105
+ }
106
+ const checkpointDAGas = sum(checkpoint.blocks.map((block)=>block.computeDAGasUsed()));
107
+ if (checkpointDAGas > maxDAGas) {
108
+ throw new CheckpointValidationError(`Checkpoint DA gas cost ${checkpointDAGas} exceeds limit of ${maxDAGas}`, checkpoint.number, checkpoint.slot);
109
+ }
110
+ const checkpointBlobFields = checkpoint.toBlobFields().length;
111
+ if (checkpointBlobFields > maxBlobFields) {
112
+ throw new CheckpointValidationError(`Checkpoint blob field count ${checkpointBlobFields} exceeds limit of ${maxBlobFields}`, checkpoint.number, checkpoint.slot);
113
+ }
114
+ if (maxTxsPerCheckpoint !== undefined) {
115
+ const checkpointTxCount = sum(checkpoint.blocks.map((block)=>block.body.txEffects.length));
116
+ if (checkpointTxCount > maxTxsPerCheckpoint) {
117
+ throw new CheckpointValidationError(`Checkpoint tx count ${checkpointTxCount} exceeds limit of ${maxTxsPerCheckpoint}`, checkpoint.number, checkpoint.slot);
118
+ }
119
+ }
120
+ }
@@ -6,5 +6,5 @@ import type { SequencerConfig } from '../interfaces/configs.js';
6
6
  * (like blockDurationMs needed by both p2p and sequencer-client) are defined here
7
7
  * to avoid duplication.
8
8
  */
9
- export declare const sharedSequencerConfigMappings: ConfigMappingsType<Pick<SequencerConfig, 'blockDurationMs'>>;
10
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2VxdWVuY2VyLWNvbmZpZy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2NvbmZpZy9zZXF1ZW5jZXItY29uZmlnLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLGtCQUFrQixFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFbkUsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFaEU7Ozs7O0dBS0c7QUFDSCxlQUFPLE1BQU0sNkJBQTZCLEVBQUUsa0JBQWtCLENBQUMsSUFBSSxDQUFDLGVBQWUsRUFBRSxpQkFBaUIsQ0FBQyxDQVF0RyxDQUFDIn0=
9
+ export declare const sharedSequencerConfigMappings: ConfigMappingsType<Pick<SequencerConfig, 'blockDurationMs' | 'expectedBlockProposalsPerSlot' | 'maxTxsPerBlock'>>;
10
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2VxdWVuY2VyLWNvbmZpZy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2NvbmZpZy9zZXF1ZW5jZXItY29uZmlnLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLGtCQUFrQixFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFbkUsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFaEU7Ozs7O0dBS0c7QUFDSCxlQUFPLE1BQU0sNkJBQTZCLEVBQUUsa0JBQWtCLENBQzVELElBQUksQ0FBQyxlQUFlLEVBQUUsaUJBQWlCLEdBQUcsK0JBQStCLEdBQUcsZ0JBQWdCLENBQUMsQ0FzQjlGLENBQUMifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"sequencer-config.d.ts","sourceRoot":"","sources":["../../src/config/sequencer-config.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAEnE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAEhE;;;;;GAKG;AACH,eAAO,MAAM,6BAA6B,EAAE,kBAAkB,CAAC,IAAI,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAQtG,CAAC"}
1
+ {"version":3,"file":"sequencer-config.d.ts","sourceRoot":"","sources":["../../src/config/sequencer-config.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAEnE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAEhE;;;;;GAKG;AACH,eAAO,MAAM,6BAA6B,EAAE,kBAAkB,CAC5D,IAAI,CAAC,eAAe,EAAE,iBAAiB,GAAG,+BAA+B,GAAG,gBAAgB,CAAC,CAsB9F,CAAC"}
@@ -8,5 +8,16 @@
8
8
  env: 'SEQ_BLOCK_DURATION_MS',
9
9
  description: 'Duration per block in milliseconds when building multiple blocks per slot. ' + 'If undefined (default), builds a single block per slot using the full slot duration.',
10
10
  parseEnv: (val)=>val ? parseInt(val, 10) : undefined
11
+ },
12
+ expectedBlockProposalsPerSlot: {
13
+ env: 'SEQ_EXPECTED_BLOCK_PROPOSALS_PER_SLOT',
14
+ description: 'Expected number of block proposals per slot for P2P peer scoring. ' + '0 (default) disables block proposal scoring. Set to a positive value to enable.',
15
+ parseEnv: (val)=>val ? parseInt(val, 10) : 0,
16
+ defaultValue: 0
17
+ },
18
+ maxTxsPerBlock: {
19
+ env: 'SEQ_MAX_TX_PER_BLOCK',
20
+ description: 'The maximum number of txs to include in a block.',
21
+ parseEnv: (val)=>val ? parseInt(val, 10) : undefined
11
22
  }
12
23
  };
@@ -3,7 +3,7 @@ import { type ContractArtifact, type FunctionArtifact } from '../abi/index.js';
3
3
  import { type ContractClassIdPreimage } from './contract_class_id.js';
4
4
  import type { ContractClass, ContractClassWithId } from './interfaces/index.js';
5
5
  /** Contract artifact including its artifact hash */
6
- type ContractArtifactWithHash = ContractArtifact & {
6
+ export type ContractArtifactWithHash = ContractArtifact & {
7
7
  artifactHash: Fr;
8
8
  };
9
9
  /** Creates a ContractClass from a contract compilation artifact. */
@@ -13,5 +13,4 @@ export declare function getContractClassPrivateFunctionFromArtifact(f: FunctionA
13
13
  * For a given private function, computes the hash of its vk.
14
14
  */
15
15
  export declare function computeVerificationKeyHash(f: FunctionArtifact): Promise<Fr>;
16
- export {};
17
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29udHJhY3RfY2xhc3MuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250cmFjdC9jb250cmFjdF9jbGFzcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFcEQsT0FBTyxFQUFFLEtBQUssZ0JBQWdCLEVBQUUsS0FBSyxnQkFBZ0IsRUFBa0MsTUFBTSxpQkFBaUIsQ0FBQztBQUcvRyxPQUFPLEVBQUUsS0FBSyx1QkFBdUIsRUFBc0MsTUFBTSx3QkFBd0IsQ0FBQztBQUMxRyxPQUFPLEtBQUssRUFBRSxhQUFhLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUVoRixvREFBb0Q7QUFDcEQsS0FBSyx3QkFBd0IsR0FBRyxnQkFBZ0IsR0FBRztJQUFFLFlBQVksRUFBRSxFQUFFLENBQUE7Q0FBRSxDQUFDO0FBS3hFLG9FQUFvRTtBQUNwRSx3QkFBc0IsNEJBQTRCLENBQ2hELFFBQVEsRUFBRSxnQkFBZ0IsR0FBRyx3QkFBd0IsR0FDcEQsT0FBTyxDQUFDLG1CQUFtQixHQUFHLHVCQUF1QixDQUFDLENBMEJ4RDtBQUVELHdCQUFzQiwyQ0FBMkMsQ0FDL0QsQ0FBQyxFQUFFLGdCQUFnQixHQUNsQixPQUFPLENBQUMsYUFBYSxDQUFDLGtCQUFrQixDQUFDLENBQUMsTUFBTSxDQUFDLENBQUMsQ0FLcEQ7QUFFRDs7R0FFRztBQUNILHdCQUFzQiwwQkFBMEIsQ0FBQyxDQUFDLEVBQUUsZ0JBQWdCLGVBS25FIn0=
16
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29udHJhY3RfY2xhc3MuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250cmFjdC9jb250cmFjdF9jbGFzcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFcEQsT0FBTyxFQUFFLEtBQUssZ0JBQWdCLEVBQUUsS0FBSyxnQkFBZ0IsRUFBa0MsTUFBTSxpQkFBaUIsQ0FBQztBQUcvRyxPQUFPLEVBQUUsS0FBSyx1QkFBdUIsRUFBc0MsTUFBTSx3QkFBd0IsQ0FBQztBQUMxRyxPQUFPLEtBQUssRUFBRSxhQUFhLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUVoRixvREFBb0Q7QUFDcEQsTUFBTSxNQUFNLHdCQUF3QixHQUFHLGdCQUFnQixHQUFHO0lBQUUsWUFBWSxFQUFFLEVBQUUsQ0FBQTtDQUFFLENBQUM7QUFLL0Usb0VBQW9FO0FBQ3BFLHdCQUFzQiw0QkFBNEIsQ0FDaEQsUUFBUSxFQUFFLGdCQUFnQixHQUFHLHdCQUF3QixHQUNwRCxPQUFPLENBQUMsbUJBQW1CLEdBQUcsdUJBQXVCLENBQUMsQ0EwQnhEO0FBRUQsd0JBQXNCLDJDQUEyQyxDQUMvRCxDQUFDLEVBQUUsZ0JBQWdCLEdBQ2xCLE9BQU8sQ0FBQyxhQUFhLENBQUMsa0JBQWtCLENBQUMsQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUtwRDtBQUVEOztHQUVHO0FBQ0gsd0JBQXNCLDBCQUEwQixDQUFDLENBQUMsRUFBRSxnQkFBZ0IsZUFLbkUifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"contract_class.d.ts","sourceRoot":"","sources":["../../src/contract/contract_class.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,KAAK,gBAAgB,EAAE,KAAK,gBAAgB,EAAkC,MAAM,iBAAiB,CAAC;AAG/G,OAAO,EAAE,KAAK,uBAAuB,EAAsC,MAAM,wBAAwB,CAAC;AAC1G,OAAO,KAAK,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAEhF,oDAAoD;AACpD,KAAK,wBAAwB,GAAG,gBAAgB,GAAG;IAAE,YAAY,EAAE,EAAE,CAAA;CAAE,CAAC;AAKxE,oEAAoE;AACpE,wBAAsB,4BAA4B,CAChD,QAAQ,EAAE,gBAAgB,GAAG,wBAAwB,GACpD,OAAO,CAAC,mBAAmB,GAAG,uBAAuB,CAAC,CA0BxD;AAED,wBAAsB,2CAA2C,CAC/D,CAAC,EAAE,gBAAgB,GAClB,OAAO,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC,CAKpD;AAED;;GAEG;AACH,wBAAsB,0BAA0B,CAAC,CAAC,EAAE,gBAAgB,eAKnE"}
1
+ {"version":3,"file":"contract_class.d.ts","sourceRoot":"","sources":["../../src/contract/contract_class.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,KAAK,gBAAgB,EAAE,KAAK,gBAAgB,EAAkC,MAAM,iBAAiB,CAAC;AAG/G,OAAO,EAAE,KAAK,uBAAuB,EAAsC,MAAM,wBAAwB,CAAC;AAC1G,OAAO,KAAK,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAEhF,oDAAoD;AACpD,MAAM,MAAM,wBAAwB,GAAG,gBAAgB,GAAG;IAAE,YAAY,EAAE,EAAE,CAAA;CAAE,CAAC;AAK/E,oEAAoE;AACpE,wBAAsB,4BAA4B,CAChD,QAAQ,EAAE,gBAAgB,GAAG,wBAAwB,GACpD,OAAO,CAAC,mBAAmB,GAAG,uBAAuB,CAAC,CA0BxD;AAED,wBAAsB,2CAA2C,CAC/D,CAAC,EAAE,gBAAgB,GAClB,OAAO,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC,CAKpD;AAED;;GAEG;AACH,wBAAsB,0BAA0B,CAAC,CAAC,EAAE,gBAAgB,eAKnE"}
@@ -8,6 +8,7 @@ export type L1RollupConstants = {
8
8
  ethereumSlotDuration: number;
9
9
  proofSubmissionEpochs: number;
10
10
  targetCommitteeSize: number;
11
+ rollupManaLimit: number;
11
12
  };
12
13
  export declare const EmptyL1RollupConstants: L1RollupConstants;
13
14
  export declare const L1RollupConstantsSchema: z.ZodObject<{
@@ -18,6 +19,7 @@ export declare const L1RollupConstantsSchema: z.ZodObject<{
18
19
  ethereumSlotDuration: z.ZodNumber;
19
20
  proofSubmissionEpochs: z.ZodNumber;
20
21
  targetCommitteeSize: z.ZodNumber;
22
+ rollupManaLimit: z.ZodNumber;
21
23
  }, "strip", z.ZodTypeAny, {
22
24
  l1StartBlock: bigint;
23
25
  l1GenesisTime: bigint;
@@ -26,6 +28,7 @@ export declare const L1RollupConstantsSchema: z.ZodObject<{
26
28
  ethereumSlotDuration: number;
27
29
  proofSubmissionEpochs: number;
28
30
  targetCommitteeSize: number;
31
+ rollupManaLimit: number;
29
32
  }, {
30
33
  l1StartBlock: string | number | bigint;
31
34
  l1GenesisTime: string | number | bigint;
@@ -34,11 +37,16 @@ export declare const L1RollupConstantsSchema: z.ZodObject<{
34
37
  ethereumSlotDuration: number;
35
38
  proofSubmissionEpochs: number;
36
39
  targetCommitteeSize: number;
40
+ rollupManaLimit: number;
37
41
  }>;
38
42
  /** Returns the timestamp for a given L2 slot. */
39
43
  export declare function getTimestampForSlot(slot: SlotNumber, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration'>): bigint;
40
44
  /** Returns the slot number for a given timestamp. */
41
45
  export declare function getSlotAtTimestamp(ts: bigint, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration'>): SlotNumber;
46
+ /** Returns the timestamp of the next L1 slot boundary after the given wall-clock time. */
47
+ export declare function getNextL1SlotTimestamp(nowInSeconds: number, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'ethereumSlotDuration'>): bigint;
48
+ /** Returns the timestamp of the last L1 slot within a given L2 slot. */
49
+ export declare function getLastL1SlotTimestampForL2Slot(slot: SlotNumber, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration' | 'ethereumSlotDuration'>): bigint;
42
50
  /** Returns the L2 slot number at the next L1 block based on the current timestamp. */
43
51
  export declare function getSlotAtNextL1Block(currentL1Timestamp: bigint, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration' | 'ethereumSlotDuration'>): SlotNumber;
44
52
  /** Returns the epoch number for a given timestamp. */
@@ -68,4 +76,4 @@ export declare function getProofSubmissionDeadlineEpoch(epochNumber: EpochNumber
68
76
  export declare function getProofSubmissionDeadlineTimestamp(epochNumber: EpochNumber, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration' | 'epochDuration' | 'proofSubmissionEpochs'>): bigint;
69
77
  /** Returns the timestamp to start building a block for a given L2 slot. Computed as the start timestamp of the slot minus one L1 slot duration. */
70
78
  export declare function getSlotStartBuildTimestamp(slotNumber: SlotNumber, constants: Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration' | 'ethereumSlotDuration'>): number;
71
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9lcG9jaC1oZWxwZXJzL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQUUsVUFBVSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFFMUUsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUl4QixNQUFNLE1BQU0saUJBQWlCLEdBQUc7SUFDOUIsWUFBWSxFQUFFLE1BQU0sQ0FBQztJQUNyQixhQUFhLEVBQUUsTUFBTSxDQUFDO0lBQ3RCLFlBQVksRUFBRSxNQUFNLENBQUM7SUFDckIsYUFBYSxFQUFFLE1BQU0sQ0FBQztJQUN0QixvQkFBb0IsRUFBRSxNQUFNLENBQUM7SUFDN0IscUJBQXFCLEVBQUUsTUFBTSxDQUFDO0lBQzlCLG1CQUFtQixFQUFFLE1BQU0sQ0FBQztDQUM3QixDQUFDO0FBRUYsZUFBTyxNQUFNLHNCQUFzQixFQUFFLGlCQVFwQyxDQUFDO0FBRUYsZUFBTyxNQUFNLHVCQUF1Qjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0VBVW5DLENBQUM7QUFFRixpREFBaUQ7QUFDakQsd0JBQWdCLG1CQUFtQixDQUNqQyxJQUFJLEVBQUUsVUFBVSxFQUNoQixTQUFTLEVBQUUsSUFBSSxDQUFDLGlCQUFpQixFQUFFLGVBQWUsR0FBRyxjQUFjLENBQUMsVUFHckU7QUFFRCxxREFBcUQ7QUFDckQsd0JBQWdCLGtCQUFrQixDQUNoQyxFQUFFLEVBQUUsTUFBTSxFQUNWLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLGNBQWMsQ0FBQyxHQUNuRSxVQUFVLENBSVo7QUFFRCxzRkFBc0Y7QUFDdEYsd0JBQWdCLG9CQUFvQixDQUNsQyxrQkFBa0IsRUFBRSxNQUFNLEVBQzFCLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLGNBQWMsR0FBRyxzQkFBc0IsQ0FBQyxHQUM1RixVQUFVLENBR1o7QUFFRCxzREFBc0Q7QUFDdEQsd0JBQWdCLHlCQUF5QixDQUN2QyxFQUFFLEVBQUUsTUFBTSxFQUNWLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLGNBQWMsR0FBRyxlQUFlLENBQUMsR0FDckYsV0FBVyxDQUViO0FBRUQsaURBQWlEO0FBQ2pELHdCQUFnQixjQUFjLENBQUMsSUFBSSxFQUFFLFVBQVUsRUFBRSxTQUFTLEVBQUUsSUFBSSxDQUFDLGlCQUFpQixFQUFFLGVBQWUsQ0FBQyxHQUFHLFdBQVcsQ0FFakg7QUFFRCwwRUFBMEU7QUFDMUUsd0JBQWdCLG9CQUFvQixDQUNsQyxXQUFXLEVBQUUsV0FBVyxFQUN4QixTQUFTLEVBQUUsSUFBSSxDQUFDLGlCQUFpQixFQUFFLGVBQWUsQ0FBQyxHQUNsRCxDQUFDLFVBQVUsRUFBRSxVQUFVLENBQUMsQ0FHMUI7QUFFRDs7O0dBR0c7QUFDSCx3QkFBZ0IseUJBQXlCLENBQ3ZDLFdBQVcsRUFBRSxXQUFXLEVBQ3hCLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLGNBQWMsR0FBRyxlQUFlLEdBQUcsc0JBQXNCLENBQUMsR0FDOUcsQ0FBQyxNQUFNLEVBQUUsTUFBTSxDQUFDLENBU2xCO0FBRUQ7O0dBRUc7QUFDSCx3QkFBZ0IseUJBQXlCLENBQ3ZDLFdBQVcsRUFBRSxXQUFXLEVBQ3hCLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLGNBQWMsR0FBRyxlQUFlLENBQUMsVUFJdkY7QUFFRDs7O0dBR0c7QUFDSCx3QkFBZ0IsK0JBQStCLENBQzdDLFdBQVcsRUFBRSxXQUFXLEVBQ3hCLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsdUJBQXVCLENBQUMsR0FDMUQsV0FBVyxDQUViO0FBRUQ7OztHQUdHO0FBQ0gsd0JBQWdCLG1DQUFtQyxDQUNqRCxXQUFXLEVBQUUsV0FBVyxFQUN4QixTQUFTLEVBQUUsSUFBSSxDQUFDLGlCQUFpQixFQUFFLGVBQWUsR0FBRyxjQUFjLEdBQUcsZUFBZSxHQUFHLHVCQUF1QixDQUFDLFVBT2pIO0FBRUQsbUpBQW1KO0FBQ25KLHdCQUFnQiwwQkFBMEIsQ0FDeEMsVUFBVSxFQUFFLFVBQVUsRUFDdEIsU0FBUyxFQUFFLElBQUksQ0FBQyxpQkFBaUIsRUFBRSxlQUFlLEdBQUcsY0FBYyxHQUFHLHNCQUFzQixDQUFDLEdBQzVGLE1BQU0sQ0FFUiJ9
79
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9lcG9jaC1oZWxwZXJzL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQUUsVUFBVSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFFMUUsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUl4QixNQUFNLE1BQU0saUJBQWlCLEdBQUc7SUFDOUIsWUFBWSxFQUFFLE1BQU0sQ0FBQztJQUNyQixhQUFhLEVBQUUsTUFBTSxDQUFDO0lBQ3RCLFlBQVksRUFBRSxNQUFNLENBQUM7SUFDckIsYUFBYSxFQUFFLE1BQU0sQ0FBQztJQUN0QixvQkFBb0IsRUFBRSxNQUFNLENBQUM7SUFDN0IscUJBQXFCLEVBQUUsTUFBTSxDQUFDO0lBQzlCLG1CQUFtQixFQUFFLE1BQU0sQ0FBQztJQUM1QixlQUFlLEVBQUUsTUFBTSxDQUFDO0NBQ3pCLENBQUM7QUFFRixlQUFPLE1BQU0sc0JBQXNCLEVBQUUsaUJBU3BDLENBQUM7QUFFRixlQUFPLE1BQU0sdUJBQXVCOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7RUFXbkMsQ0FBQztBQUVGLGlEQUFpRDtBQUNqRCx3QkFBZ0IsbUJBQW1CLENBQ2pDLElBQUksRUFBRSxVQUFVLEVBQ2hCLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLGNBQWMsQ0FBQyxVQUdyRTtBQUVELHFEQUFxRDtBQUNyRCx3QkFBZ0Isa0JBQWtCLENBQ2hDLEVBQUUsRUFBRSxNQUFNLEVBQ1YsU0FBUyxFQUFFLElBQUksQ0FBQyxpQkFBaUIsRUFBRSxlQUFlLEdBQUcsY0FBYyxDQUFDLEdBQ25FLFVBQVUsQ0FJWjtBQUVELDBGQUEwRjtBQUMxRix3QkFBZ0Isc0JBQXNCLENBQ3BDLFlBQVksRUFBRSxNQUFNLEVBQ3BCLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLHNCQUFzQixDQUFDLEdBQzNFLE1BQU0sQ0FLUjtBQUVELHdFQUF3RTtBQUN4RSx3QkFBZ0IsK0JBQStCLENBQzdDLElBQUksRUFBRSxVQUFVLEVBQ2hCLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLGNBQWMsR0FBRyxzQkFBc0IsQ0FBQyxHQUM1RixNQUFNLENBRVI7QUFFRCxzRkFBc0Y7QUFDdEYsd0JBQWdCLG9CQUFvQixDQUNsQyxrQkFBa0IsRUFBRSxNQUFNLEVBQzFCLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLGNBQWMsR0FBRyxzQkFBc0IsQ0FBQyxHQUM1RixVQUFVLENBR1o7QUFFRCxzREFBc0Q7QUFDdEQsd0JBQWdCLHlCQUF5QixDQUN2QyxFQUFFLEVBQUUsTUFBTSxFQUNWLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLGNBQWMsR0FBRyxlQUFlLENBQUMsR0FDckYsV0FBVyxDQUViO0FBRUQsaURBQWlEO0FBQ2pELHdCQUFnQixjQUFjLENBQUMsSUFBSSxFQUFFLFVBQVUsRUFBRSxTQUFTLEVBQUUsSUFBSSxDQUFDLGlCQUFpQixFQUFFLGVBQWUsQ0FBQyxHQUFHLFdBQVcsQ0FFakg7QUFFRCwwRUFBMEU7QUFDMUUsd0JBQWdCLG9CQUFvQixDQUNsQyxXQUFXLEVBQUUsV0FBVyxFQUN4QixTQUFTLEVBQUUsSUFBSSxDQUFDLGlCQUFpQixFQUFFLGVBQWUsQ0FBQyxHQUNsRCxDQUFDLFVBQVUsRUFBRSxVQUFVLENBQUMsQ0FHMUI7QUFFRDs7O0dBR0c7QUFDSCx3QkFBZ0IseUJBQXlCLENBQ3ZDLFdBQVcsRUFBRSxXQUFXLEVBQ3hCLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLGNBQWMsR0FBRyxlQUFlLEdBQUcsc0JBQXNCLENBQUMsR0FDOUcsQ0FBQyxNQUFNLEVBQUUsTUFBTSxDQUFDLENBU2xCO0FBRUQ7O0dBRUc7QUFDSCx3QkFBZ0IseUJBQXlCLENBQ3ZDLFdBQVcsRUFBRSxXQUFXLEVBQ3hCLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxHQUFHLGNBQWMsR0FBRyxlQUFlLENBQUMsVUFJdkY7QUFFRDs7O0dBR0c7QUFDSCx3QkFBZ0IsK0JBQStCLENBQzdDLFdBQVcsRUFBRSxXQUFXLEVBQ3hCLFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsdUJBQXVCLENBQUMsR0FDMUQsV0FBVyxDQUViO0FBRUQ7OztHQUdHO0FBQ0gsd0JBQWdCLG1DQUFtQyxDQUNqRCxXQUFXLEVBQUUsV0FBVyxFQUN4QixTQUFTLEVBQUUsSUFBSSxDQUFDLGlCQUFpQixFQUFFLGVBQWUsR0FBRyxjQUFjLEdBQUcsZUFBZSxHQUFHLHVCQUF1QixDQUFDLFVBT2pIO0FBRUQsbUpBQW1KO0FBQ25KLHdCQUFnQiwwQkFBMEIsQ0FDeEMsVUFBVSxFQUFFLFVBQVUsRUFDdEIsU0FBUyxFQUFFLElBQUksQ0FBQyxpQkFBaUIsRUFBRSxlQUFlLEdBQUcsY0FBYyxHQUFHLHNCQUFzQixDQUFDLEdBQzVGLE1BQU0sQ0FFUiJ9
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/epoch-helpers/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAE1E,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,MAAM,MAAM,iBAAiB,GAAG;IAC9B,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,mBAAmB,EAAE,MAAM,CAAC;CAC7B,CAAC;AAEF,eAAO,MAAM,sBAAsB,EAAE,iBAQpC,CAAC;AAEF,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;EAUnC,CAAC;AAEF,iDAAiD;AACjD,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,UAAU,EAChB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,CAAC,UAGrE;AAED,qDAAqD;AACrD,wBAAgB,kBAAkB,CAChC,EAAE,EAAE,MAAM,EACV,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,CAAC,GACnE,UAAU,CAIZ;AAED,sFAAsF;AACtF,wBAAgB,oBAAoB,CAClC,kBAAkB,EAAE,MAAM,EAC1B,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,sBAAsB,CAAC,GAC5F,UAAU,CAGZ;AAED,sDAAsD;AACtD,wBAAgB,yBAAyB,CACvC,EAAE,EAAE,MAAM,EACV,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,eAAe,CAAC,GACrF,WAAW,CAEb;AAED,iDAAiD;AACjD,wBAAgB,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,CAAC,GAAG,WAAW,CAEjH;AAED,0EAA0E;AAC1E,wBAAgB,oBAAoB,CAClC,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,CAAC,GAClD,CAAC,UAAU,EAAE,UAAU,CAAC,CAG1B;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,eAAe,GAAG,sBAAsB,CAAC,GAC9G,CAAC,MAAM,EAAE,MAAM,CAAC,CASlB;AAED;;GAEG;AACH,wBAAgB,yBAAyB,CACvC,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,eAAe,CAAC,UAIvF;AAED;;;GAGG;AACH,wBAAgB,+BAA+B,CAC7C,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,uBAAuB,CAAC,GAC1D,WAAW,CAEb;AAED;;;GAGG;AACH,wBAAgB,mCAAmC,CACjD,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,eAAe,GAAG,uBAAuB,CAAC,UAOjH;AAED,mJAAmJ;AACnJ,wBAAgB,0BAA0B,CACxC,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,sBAAsB,CAAC,GAC5F,MAAM,CAER"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/epoch-helpers/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAE1E,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,MAAM,MAAM,iBAAiB,GAAG;IAC9B,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,eAAO,MAAM,sBAAsB,EAAE,iBASpC,CAAC;AAEF,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;EAWnC,CAAC;AAEF,iDAAiD;AACjD,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,UAAU,EAChB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,CAAC,UAGrE;AAED,qDAAqD;AACrD,wBAAgB,kBAAkB,CAChC,EAAE,EAAE,MAAM,EACV,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,CAAC,GACnE,UAAU,CAIZ;AAED,0FAA0F;AAC1F,wBAAgB,sBAAsB,CACpC,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,sBAAsB,CAAC,GAC3E,MAAM,CAKR;AAED,wEAAwE;AACxE,wBAAgB,+BAA+B,CAC7C,IAAI,EAAE,UAAU,EAChB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,sBAAsB,CAAC,GAC5F,MAAM,CAER;AAED,sFAAsF;AACtF,wBAAgB,oBAAoB,CAClC,kBAAkB,EAAE,MAAM,EAC1B,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,sBAAsB,CAAC,GAC5F,UAAU,CAGZ;AAED,sDAAsD;AACtD,wBAAgB,yBAAyB,CACvC,EAAE,EAAE,MAAM,EACV,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,eAAe,CAAC,GACrF,WAAW,CAEb;AAED,iDAAiD;AACjD,wBAAgB,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,CAAC,GAAG,WAAW,CAEjH;AAED,0EAA0E;AAC1E,wBAAgB,oBAAoB,CAClC,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,CAAC,GAClD,CAAC,UAAU,EAAE,UAAU,CAAC,CAG1B;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,eAAe,GAAG,sBAAsB,CAAC,GAC9G,CAAC,MAAM,EAAE,MAAM,CAAC,CASlB;AAED;;GAEG;AACH,wBAAgB,yBAAyB,CACvC,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,eAAe,CAAC,UAIvF;AAED;;;GAGG;AACH,wBAAgB,+BAA+B,CAC7C,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,uBAAuB,CAAC,GAC1D,WAAW,CAEb;AAED;;;GAGG;AACH,wBAAgB,mCAAmC,CACjD,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,eAAe,GAAG,uBAAuB,CAAC,UAOjH;AAED,mJAAmJ;AACnJ,wBAAgB,0BAA0B,CACxC,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,GAAG,sBAAsB,CAAC,GAC5F,MAAM,CAER"}
@@ -8,7 +8,8 @@ export const EmptyL1RollupConstants = {
8
8
  slotDuration: 1,
9
9
  ethereumSlotDuration: 1,
10
10
  proofSubmissionEpochs: 1,
11
- targetCommitteeSize: 48
11
+ targetCommitteeSize: 48,
12
+ rollupManaLimit: Number.MAX_SAFE_INTEGER
12
13
  };
13
14
  export const L1RollupConstantsSchema = zodFor()(z.object({
14
15
  l1StartBlock: schemas.BigInt,
@@ -17,7 +18,8 @@ export const L1RollupConstantsSchema = zodFor()(z.object({
17
18
  epochDuration: z.number(),
18
19
  ethereumSlotDuration: z.number(),
19
20
  proofSubmissionEpochs: z.number(),
20
- targetCommitteeSize: z.number()
21
+ targetCommitteeSize: z.number(),
22
+ rollupManaLimit: z.number()
21
23
  }));
22
24
  /** Returns the timestamp for a given L2 slot. */ export function getTimestampForSlot(slot, constants) {
23
25
  return constants.l1GenesisTime + BigInt(slot) * BigInt(constants.slotDuration);
@@ -25,6 +27,15 @@ export const L1RollupConstantsSchema = zodFor()(z.object({
25
27
  /** Returns the slot number for a given timestamp. */ export function getSlotAtTimestamp(ts, constants) {
26
28
  return ts < constants.l1GenesisTime ? SlotNumber.ZERO : SlotNumber.fromBigInt((ts - constants.l1GenesisTime) / BigInt(constants.slotDuration));
27
29
  }
30
+ /** Returns the timestamp of the next L1 slot boundary after the given wall-clock time. */ export function getNextL1SlotTimestamp(nowInSeconds, constants) {
31
+ const now = BigInt(nowInSeconds);
32
+ const elapsed = now - constants.l1GenesisTime;
33
+ const currentL1Slot = elapsed / BigInt(constants.ethereumSlotDuration);
34
+ return constants.l1GenesisTime + (currentL1Slot + 1n) * BigInt(constants.ethereumSlotDuration);
35
+ }
36
+ /** Returns the timestamp of the last L1 slot within a given L2 slot. */ export function getLastL1SlotTimestampForL2Slot(slot, constants) {
37
+ return getTimestampForSlot(slot, constants) + BigInt(constants.slotDuration - constants.ethereumSlotDuration);
38
+ }
28
39
  /** Returns the L2 slot number at the next L1 block based on the current timestamp. */ export function getSlotAtNextL1Block(currentL1Timestamp, constants) {
29
40
  const nextL1BlockTimestamp = currentL1Timestamp + BigInt(constants.ethereumSlotDuration);
30
41
  return getSlotAtTimestamp(nextL1BlockTimestamp, constants);