@aztec/stdlib 0.0.1-commit.db765a8 → 0.0.1-commit.ddcf04837

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 (455) hide show
  1. package/dest/abi/abi.d.ts +138 -1
  2. package/dest/abi/abi.d.ts.map +1 -1
  3. package/dest/abi/abi.js +10 -2
  4. package/dest/abi/authorization_selector.d.ts +3 -6
  5. package/dest/abi/authorization_selector.d.ts.map +1 -1
  6. package/dest/abi/buffer.d.ts +14 -4
  7. package/dest/abi/buffer.d.ts.map +1 -1
  8. package/dest/abi/buffer.js +25 -4
  9. package/dest/abi/decoder.d.ts +5 -44
  10. package/dest/abi/decoder.d.ts.map +1 -1
  11. package/dest/abi/decoder.js +12 -67
  12. package/dest/abi/event_selector.d.ts +3 -6
  13. package/dest/abi/event_selector.d.ts.map +1 -1
  14. package/dest/abi/function_selector.d.ts +3 -6
  15. package/dest/abi/function_selector.d.ts.map +1 -1
  16. package/dest/abi/function_selector.js +2 -4
  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/note_selector.d.ts +3 -6
  24. package/dest/abi/note_selector.d.ts.map +1 -1
  25. package/dest/abi/note_selector.js +1 -3
  26. package/dest/abi/selector.d.ts +2 -2
  27. package/dest/abi/selector.d.ts.map +1 -1
  28. package/dest/abi/selector.js +1 -1
  29. package/dest/avm/revert_code.d.ts +8 -18
  30. package/dest/avm/revert_code.d.ts.map +1 -1
  31. package/dest/avm/revert_code.js +15 -30
  32. package/dest/aztec-address/index.d.ts +3 -6
  33. package/dest/aztec-address/index.d.ts.map +1 -1
  34. package/dest/aztec-address/index.js +2 -4
  35. package/dest/block/block_data.d.ts +8 -8
  36. package/dest/block/block_data.d.ts.map +1 -1
  37. package/dest/block/block_data.js +2 -2
  38. package/dest/block/block_hash.d.ts +11 -10
  39. package/dest/block/block_hash.d.ts.map +1 -1
  40. package/dest/block/block_hash.js +10 -9
  41. package/dest/block/l2_block.d.ts +9 -1
  42. package/dest/block/l2_block.d.ts.map +1 -1
  43. package/dest/block/l2_block.js +12 -2
  44. package/dest/block/l2_block_info.d.ts +6 -5
  45. package/dest/block/l2_block_info.d.ts.map +1 -1
  46. package/dest/block/l2_block_info.js +6 -5
  47. package/dest/block/l2_block_source.d.ts +95 -10
  48. package/dest/block/l2_block_source.d.ts.map +1 -1
  49. package/dest/block/l2_block_source.js +1 -0
  50. package/dest/block/l2_block_stream/interfaces.d.ts +6 -3
  51. package/dest/block/l2_block_stream/interfaces.d.ts.map +1 -1
  52. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts +1 -1
  53. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts.map +1 -1
  54. package/dest/block/l2_block_stream/l2_tips_store_base.js +18 -5
  55. package/dest/block/test/l2_tips_store_test_suite.d.ts +1 -1
  56. package/dest/block/test/l2_tips_store_test_suite.d.ts.map +1 -1
  57. package/dest/block/test/l2_tips_store_test_suite.js +4 -3
  58. package/dest/checkpoint/checkpoint.d.ts +8 -1
  59. package/dest/checkpoint/checkpoint.d.ts.map +1 -1
  60. package/dest/checkpoint/checkpoint.js +18 -5
  61. package/dest/checkpoint/checkpoint_data.d.ts +71 -5
  62. package/dest/checkpoint/checkpoint_data.d.ts.map +1 -1
  63. package/dest/checkpoint/checkpoint_data.js +10 -0
  64. package/dest/checkpoint/index.d.ts +2 -1
  65. package/dest/checkpoint/index.d.ts.map +1 -1
  66. package/dest/checkpoint/index.js +1 -0
  67. package/dest/checkpoint/validate.d.ts +36 -0
  68. package/dest/checkpoint/validate.d.ts.map +1 -0
  69. package/dest/checkpoint/validate.js +120 -0
  70. package/dest/config/chain-config.d.ts +1 -1
  71. package/dest/config/chain-config.d.ts.map +1 -1
  72. package/dest/config/chain-config.js +7 -1
  73. package/dest/config/index.d.ts +2 -1
  74. package/dest/config/index.d.ts.map +1 -1
  75. package/dest/config/index.js +1 -0
  76. package/dest/config/pipelining-config.d.ts +19 -0
  77. package/dest/config/pipelining-config.d.ts.map +1 -0
  78. package/dest/config/pipelining-config.js +18 -0
  79. package/dest/config/sequencer-config.d.ts +3 -3
  80. package/dest/config/sequencer-config.d.ts.map +1 -1
  81. package/dest/config/sequencer-config.js +10 -4
  82. package/dest/contract/contract_address.d.ts +3 -3
  83. package/dest/contract/contract_address.js +3 -3
  84. package/dest/contract/contract_class_id.d.ts +2 -2
  85. package/dest/contract/contract_class_id.js +2 -2
  86. package/dest/contract/index.d.ts +1 -3
  87. package/dest/contract/index.d.ts.map +1 -1
  88. package/dest/contract/index.js +0 -2
  89. package/dest/contract/interfaces/contract_class.d.ts +3 -156
  90. package/dest/contract/interfaces/contract_class.d.ts.map +1 -1
  91. package/dest/contract/interfaces/contract_class.js +1 -28
  92. package/dest/epoch-helpers/index.d.ts +11 -1
  93. package/dest/epoch-helpers/index.d.ts.map +1 -1
  94. package/dest/epoch-helpers/index.js +16 -2
  95. package/dest/file-store/factory.d.ts +4 -3
  96. package/dest/file-store/factory.d.ts.map +1 -1
  97. package/dest/file-store/factory.js +2 -2
  98. package/dest/file-store/http.d.ts +9 -2
  99. package/dest/file-store/http.d.ts.map +1 -1
  100. package/dest/file-store/http.js +20 -9
  101. package/dest/file-store/index.d.ts +2 -1
  102. package/dest/file-store/index.d.ts.map +1 -1
  103. package/dest/gas/fee_math.d.ts +49 -0
  104. package/dest/gas/fee_math.d.ts.map +1 -0
  105. package/dest/gas/fee_math.js +80 -0
  106. package/dest/gas/gas_fees.d.ts +1 -1
  107. package/dest/gas/gas_fees.d.ts.map +1 -1
  108. package/dest/gas/gas_fees.js +10 -1
  109. package/dest/gas/gas_settings.d.ts +40 -3
  110. package/dest/gas/gas_settings.d.ts.map +1 -1
  111. package/dest/gas/gas_settings.js +50 -6
  112. package/dest/gas/index.d.ts +2 -1
  113. package/dest/gas/index.d.ts.map +1 -1
  114. package/dest/gas/index.js +1 -0
  115. package/dest/ha-signing/config.d.ts +49 -14
  116. package/dest/ha-signing/config.d.ts.map +1 -1
  117. package/dest/ha-signing/config.js +20 -15
  118. package/dest/ha-signing/index.d.ts +4 -3
  119. package/dest/ha-signing/index.d.ts.map +1 -1
  120. package/dest/ha-signing/index.js +3 -2
  121. package/dest/ha-signing/local_config.d.ts +63 -0
  122. package/dest/ha-signing/local_config.d.ts.map +1 -0
  123. package/dest/ha-signing/local_config.js +24 -0
  124. package/dest/ha-signing/types.d.ts +37 -32
  125. package/dest/ha-signing/types.d.ts.map +1 -1
  126. package/dest/ha-signing/types.js +13 -6
  127. package/dest/hash/hash.d.ts +19 -1
  128. package/dest/hash/hash.d.ts.map +1 -1
  129. package/dest/hash/hash.js +29 -0
  130. package/dest/interfaces/allowed_element.d.ts +25 -1
  131. package/dest/interfaces/allowed_element.d.ts.map +1 -1
  132. package/dest/interfaces/allowed_element.js +8 -2
  133. package/dest/interfaces/archiver.d.ts +1 -1
  134. package/dest/interfaces/archiver.d.ts.map +1 -1
  135. package/dest/interfaces/archiver.js +6 -3
  136. package/dest/interfaces/aztec-node-admin.d.ts +73 -23
  137. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  138. package/dest/interfaces/aztec-node-admin.js +3 -3
  139. package/dest/interfaces/aztec-node-debug.d.ts +21 -0
  140. package/dest/interfaces/aztec-node-debug.d.ts.map +1 -0
  141. package/dest/interfaces/aztec-node-debug.js +18 -0
  142. package/dest/interfaces/aztec-node.d.ts +21 -6
  143. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  144. package/dest/interfaces/aztec-node.js +7 -2
  145. package/dest/interfaces/block-builder.d.ts +38 -11
  146. package/dest/interfaces/block-builder.d.ts.map +1 -1
  147. package/dest/interfaces/block-builder.js +12 -5
  148. package/dest/interfaces/client.d.ts +2 -1
  149. package/dest/interfaces/client.d.ts.map +1 -1
  150. package/dest/interfaces/client.js +1 -0
  151. package/dest/interfaces/configs.d.ts +47 -7
  152. package/dest/interfaces/configs.d.ts.map +1 -1
  153. package/dest/interfaces/configs.js +3 -1
  154. package/dest/interfaces/l2_logs_source.d.ts +5 -3
  155. package/dest/interfaces/l2_logs_source.d.ts.map +1 -1
  156. package/dest/interfaces/merkle_tree_operations.d.ts +12 -21
  157. package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
  158. package/dest/interfaces/prover-client.d.ts +6 -1
  159. package/dest/interfaces/prover-client.d.ts.map +1 -1
  160. package/dest/interfaces/prover-client.js +7 -4
  161. package/dest/interfaces/proving-job.d.ts +200 -200
  162. package/dest/interfaces/slasher.d.ts +1 -10
  163. package/dest/interfaces/slasher.d.ts.map +1 -1
  164. package/dest/interfaces/slasher.js +0 -2
  165. package/dest/interfaces/validator.d.ts +108 -40
  166. package/dest/interfaces/validator.d.ts.map +1 -1
  167. package/dest/interfaces/validator.js +7 -5
  168. package/dest/interfaces/world_state.d.ts +5 -4
  169. package/dest/interfaces/world_state.d.ts.map +1 -1
  170. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts +2 -1
  171. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts.map +1 -1
  172. package/dest/kernel/private_kernel_tail_circuit_public_inputs.js +4 -0
  173. package/dest/kv-store/config.d.ts +17 -0
  174. package/dest/kv-store/config.d.ts.map +1 -0
  175. package/dest/kv-store/config.js +26 -0
  176. package/dest/kv-store/index.d.ts +2 -0
  177. package/dest/kv-store/index.d.ts.map +1 -0
  178. package/dest/kv-store/index.js +1 -0
  179. package/dest/l1-contracts/index.d.ts +2 -2
  180. package/dest/l1-contracts/index.d.ts.map +1 -1
  181. package/dest/l1-contracts/index.js +1 -1
  182. package/dest/logs/extended_directional_app_tagging_secret.d.ts +4 -4
  183. package/dest/logs/extended_directional_app_tagging_secret.d.ts.map +1 -1
  184. package/dest/logs/extended_directional_app_tagging_secret.js +12 -5
  185. package/dest/logs/index.d.ts +2 -1
  186. package/dest/logs/index.d.ts.map +1 -1
  187. package/dest/logs/index.js +1 -0
  188. package/dest/logs/log_filter.d.ts +4 -1
  189. package/dest/logs/log_filter.d.ts.map +1 -1
  190. package/dest/logs/log_filter.js +2 -1
  191. package/dest/logs/log_id.d.ts +1 -1
  192. package/dest/logs/log_id.d.ts.map +1 -1
  193. package/dest/logs/log_id.js +1 -2
  194. package/dest/logs/message_context.d.ts +4 -7
  195. package/dest/logs/message_context.d.ts.map +1 -1
  196. package/dest/logs/message_context.js +23 -9
  197. package/dest/logs/pending_tagged_log.d.ts +2 -3
  198. package/dest/logs/pending_tagged_log.d.ts.map +1 -1
  199. package/dest/logs/pending_tagged_log.js +2 -2
  200. package/dest/logs/shared_secret_derivation.d.ts +11 -10
  201. package/dest/logs/shared_secret_derivation.d.ts.map +1 -1
  202. package/dest/logs/shared_secret_derivation.js +15 -9
  203. package/dest/logs/siloed_tag.d.ts +8 -7
  204. package/dest/logs/siloed_tag.d.ts.map +1 -1
  205. package/dest/logs/siloed_tag.js +11 -3
  206. package/dest/logs/tag.d.ts +5 -6
  207. package/dest/logs/tag.d.ts.map +1 -1
  208. package/dest/logs/tag.js +4 -0
  209. package/dest/logs/tagging_index_range.d.ts +40 -0
  210. package/dest/logs/tagging_index_range.d.ts.map +1 -0
  211. package/dest/logs/tagging_index_range.js +8 -0
  212. package/dest/logs/tx_scoped_l2_log.d.ts +3 -1
  213. package/dest/logs/tx_scoped_l2_log.d.ts.map +1 -1
  214. package/dest/logs/tx_scoped_l2_log.js +7 -0
  215. package/dest/messaging/l1_to_l2_message.d.ts +3 -2
  216. package/dest/messaging/l1_to_l2_message.d.ts.map +1 -1
  217. package/dest/messaging/l1_to_l2_message.js +11 -13
  218. package/dest/messaging/l1_to_l2_message_source.d.ts +4 -2
  219. package/dest/messaging/l1_to_l2_message_source.d.ts.map +1 -1
  220. package/dest/messaging/l2_to_l1_membership.d.ts +32 -6
  221. package/dest/messaging/l2_to_l1_membership.d.ts.map +1 -1
  222. package/dest/messaging/l2_to_l1_membership.js +69 -26
  223. package/dest/noir/index.d.ts +3 -3
  224. package/dest/noir/index.d.ts.map +1 -1
  225. package/dest/note/note_dao.d.ts +1 -1
  226. package/dest/note/note_dao.d.ts.map +1 -1
  227. package/dest/note/note_dao.js +1 -4
  228. package/dest/p2p/block_proposal.d.ts +6 -8
  229. package/dest/p2p/block_proposal.d.ts.map +1 -1
  230. package/dest/p2p/block_proposal.js +4 -9
  231. package/dest/p2p/checkpoint_attestation.d.ts +4 -6
  232. package/dest/p2p/checkpoint_attestation.d.ts.map +1 -1
  233. package/dest/p2p/checkpoint_attestation.js +2 -7
  234. package/dest/p2p/checkpoint_proposal.d.ts +8 -15
  235. package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
  236. package/dest/p2p/checkpoint_proposal.js +5 -34
  237. package/dest/p2p/gossipable.d.ts +4 -4
  238. package/dest/p2p/gossipable.d.ts.map +1 -1
  239. package/dest/p2p/peer_error.d.ts +3 -1
  240. package/dest/p2p/peer_error.d.ts.map +1 -1
  241. package/dest/p2p/peer_error.js +5 -0
  242. package/dest/proofs/chonk_proof.d.ts +46 -2
  243. package/dest/proofs/chonk_proof.d.ts.map +1 -1
  244. package/dest/proofs/chonk_proof.js +85 -10
  245. package/dest/slashing/index.d.ts +2 -3
  246. package/dest/slashing/index.d.ts.map +1 -1
  247. package/dest/slashing/index.js +1 -2
  248. package/dest/slashing/serialization.d.ts +2 -6
  249. package/dest/slashing/serialization.d.ts.map +1 -1
  250. package/dest/slashing/serialization.js +0 -60
  251. package/dest/slashing/types.d.ts +4 -90
  252. package/dest/slashing/types.d.ts.map +1 -1
  253. package/dest/slashing/types.js +0 -14
  254. package/dest/slashing/{tally.d.ts → votes.d.ts} +5 -6
  255. package/dest/slashing/votes.d.ts.map +1 -0
  256. package/dest/slashing/{tally.js → votes.js} +19 -10
  257. package/dest/tests/factories.d.ts +2 -4
  258. package/dest/tests/factories.d.ts.map +1 -1
  259. package/dest/tests/factories.js +11 -28
  260. package/dest/tests/mocks.d.ts +4 -2
  261. package/dest/tests/mocks.d.ts.map +1 -1
  262. package/dest/tests/mocks.js +27 -27
  263. package/dest/timetable/index.d.ts +51 -1
  264. package/dest/timetable/index.d.ts.map +1 -1
  265. package/dest/timetable/index.js +204 -14
  266. package/dest/tx/block_header.d.ts +4 -2
  267. package/dest/tx/block_header.d.ts.map +1 -1
  268. package/dest/tx/block_header.js +5 -1
  269. package/dest/tx/capsule.d.ts +6 -2
  270. package/dest/tx/capsule.d.ts.map +1 -1
  271. package/dest/tx/capsule.js +9 -3
  272. package/dest/tx/fee_provider.d.ts +10 -0
  273. package/dest/tx/fee_provider.d.ts.map +1 -0
  274. package/dest/tx/fee_provider.js +1 -0
  275. package/dest/tx/global_variable_builder.d.ts +3 -4
  276. package/dest/tx/global_variable_builder.d.ts.map +1 -1
  277. package/dest/tx/index.d.ts +2 -1
  278. package/dest/tx/index.d.ts.map +1 -1
  279. package/dest/tx/index.js +1 -0
  280. package/dest/tx/indexed_tx_effect.d.ts +1 -1
  281. package/dest/tx/indexed_tx_effect.d.ts.map +1 -1
  282. package/dest/tx/indexed_tx_effect.js +1 -2
  283. package/dest/tx/private_execution_result.d.ts +6 -6
  284. package/dest/tx/private_execution_result.d.ts.map +1 -1
  285. package/dest/tx/private_execution_result.js +6 -6
  286. package/dest/tx/profiling.d.ts +14 -2
  287. package/dest/tx/profiling.d.ts.map +1 -1
  288. package/dest/tx/profiling.js +13 -3
  289. package/dest/tx/simulated_tx.d.ts +112 -4
  290. package/dest/tx/simulated_tx.d.ts.map +1 -1
  291. package/dest/tx/simulated_tx.js +3 -3
  292. package/dest/tx/tx.d.ts +8 -7
  293. package/dest/tx/tx.d.ts.map +1 -1
  294. package/dest/tx/tx.js +18 -6
  295. package/dest/tx/tx_receipt.d.ts +14 -5
  296. package/dest/tx/tx_receipt.d.ts.map +1 -1
  297. package/dest/tx/tx_receipt.js +14 -18
  298. package/dest/tx/validator/error_texts.d.ts +8 -1
  299. package/dest/tx/validator/error_texts.d.ts.map +1 -1
  300. package/dest/tx/validator/error_texts.js +9 -0
  301. package/dest/update-checker/index.d.ts +3 -2
  302. package/dest/update-checker/index.d.ts.map +1 -1
  303. package/dest/update-checker/index.js +2 -1
  304. package/dest/update-checker/package_version.d.ts +3 -0
  305. package/dest/update-checker/package_version.d.ts.map +1 -0
  306. package/dest/update-checker/package_version.js +24 -0
  307. package/dest/update-checker/version_checker.d.ts +25 -0
  308. package/dest/update-checker/version_checker.d.ts.map +1 -0
  309. package/dest/update-checker/version_checker.js +50 -0
  310. package/dest/validators/errors.d.ts +6 -1
  311. package/dest/validators/errors.d.ts.map +1 -1
  312. package/dest/validators/errors.js +7 -0
  313. package/dest/versioning/versioning.d.ts +4 -2
  314. package/dest/versioning/versioning.d.ts.map +1 -1
  315. package/dest/versioning/versioning.js +4 -1
  316. package/dest/world-state/genesis_data.d.ts +11 -0
  317. package/dest/world-state/genesis_data.d.ts.map +1 -0
  318. package/dest/world-state/genesis_data.js +4 -0
  319. package/dest/world-state/index.d.ts +2 -1
  320. package/dest/world-state/index.d.ts.map +1 -1
  321. package/dest/world-state/index.js +1 -0
  322. package/package.json +10 -9
  323. package/src/abi/abi.ts +25 -2
  324. package/src/abi/authorization_selector.ts +2 -8
  325. package/src/abi/buffer.ts +25 -4
  326. package/src/abi/decoder.ts +23 -78
  327. package/src/abi/event_selector.ts +2 -8
  328. package/src/abi/function_selector.ts +4 -13
  329. package/src/abi/function_signature_decoder.ts +77 -0
  330. package/src/abi/index.ts +1 -0
  331. package/src/abi/note_selector.ts +3 -12
  332. package/src/abi/selector.ts +1 -1
  333. package/src/avm/revert_code.ts +25 -39
  334. package/src/aztec-address/index.ts +4 -10
  335. package/src/block/block_data.ts +3 -4
  336. package/src/block/block_hash.ts +21 -14
  337. package/src/block/l2_block.ts +13 -1
  338. package/src/block/l2_block_info.ts +8 -6
  339. package/src/block/l2_block_source.ts +26 -9
  340. package/src/block/l2_block_stream/interfaces.ts +6 -2
  341. package/src/block/l2_block_stream/l2_tips_store_base.ts +25 -13
  342. package/src/block/test/l2_tips_store_test_suite.ts +9 -2
  343. package/src/checkpoint/checkpoint.ts +23 -4
  344. package/src/checkpoint/checkpoint_data.ts +40 -4
  345. package/src/checkpoint/index.ts +1 -0
  346. package/src/checkpoint/validate.ts +230 -0
  347. package/src/config/chain-config.ts +7 -1
  348. package/src/config/index.ts +1 -0
  349. package/src/config/pipelining-config.ts +31 -0
  350. package/src/config/sequencer-config.ts +15 -5
  351. package/src/contract/contract_address.ts +3 -3
  352. package/src/contract/contract_class_id.ts +2 -2
  353. package/src/contract/index.ts +0 -2
  354. package/src/contract/interfaces/contract_class.ts +2 -82
  355. package/src/epoch-helpers/index.ts +27 -0
  356. package/src/file-store/factory.ts +13 -4
  357. package/src/file-store/http.ts +29 -10
  358. package/src/file-store/index.ts +1 -0
  359. package/src/gas/README.md +154 -0
  360. package/src/gas/fee_math.ts +120 -0
  361. package/src/gas/gas_fees.ts +12 -4
  362. package/src/gas/gas_settings.ts +65 -12
  363. package/src/gas/index.ts +1 -0
  364. package/src/ha-signing/config.ts +45 -38
  365. package/src/ha-signing/index.ts +12 -1
  366. package/src/ha-signing/local_config.ts +46 -0
  367. package/src/ha-signing/types.ts +48 -34
  368. package/src/hash/hash.ts +34 -0
  369. package/src/interfaces/allowed_element.ts +28 -4
  370. package/src/interfaces/archiver.ts +6 -3
  371. package/src/interfaces/aztec-node-admin.ts +5 -7
  372. package/src/interfaces/aztec-node-debug.ts +40 -0
  373. package/src/interfaces/aztec-node.ts +39 -5
  374. package/src/interfaces/block-builder.ts +56 -13
  375. package/src/interfaces/client.ts +1 -0
  376. package/src/interfaces/configs.ts +15 -4
  377. package/src/interfaces/l2_logs_source.ts +4 -1
  378. package/src/interfaces/merkle_tree_operations.ts +11 -20
  379. package/src/interfaces/prover-client.ts +10 -5
  380. package/src/interfaces/slasher.ts +0 -6
  381. package/src/interfaces/validator.ts +61 -37
  382. package/src/interfaces/world_state.ts +4 -3
  383. package/src/kernel/private_kernel_tail_circuit_public_inputs.ts +9 -0
  384. package/src/kv-store/config.ts +36 -0
  385. package/src/kv-store/index.ts +1 -0
  386. package/src/l1-contracts/index.ts +1 -1
  387. package/src/logs/extended_directional_app_tagging_secret.ts +19 -8
  388. package/src/logs/index.ts +1 -0
  389. package/src/logs/log_filter.ts +5 -0
  390. package/src/logs/log_id.ts +1 -2
  391. package/src/logs/message_context.ts +17 -7
  392. package/src/logs/pending_tagged_log.ts +1 -3
  393. package/src/logs/shared_secret_derivation.ts +21 -10
  394. package/src/logs/siloed_tag.ts +15 -11
  395. package/src/logs/tag.ts +8 -8
  396. package/src/logs/tagging_index_range.ts +24 -0
  397. package/src/logs/tx_scoped_l2_log.ts +16 -0
  398. package/src/messaging/l1_to_l2_message.ts +12 -9
  399. package/src/messaging/l1_to_l2_message_source.ts +3 -1
  400. package/src/messaging/l2_to_l1_membership.ts +98 -33
  401. package/src/noir/index.ts +2 -2
  402. package/src/note/note_dao.ts +1 -4
  403. package/src/p2p/block_proposal.ts +13 -9
  404. package/src/p2p/checkpoint_attestation.ts +5 -9
  405. package/src/p2p/checkpoint_proposal.ts +19 -48
  406. package/src/p2p/gossipable.ts +4 -4
  407. package/src/p2p/peer_error.ts +7 -0
  408. package/src/proofs/chonk_proof.ts +91 -5
  409. package/src/slashing/index.ts +1 -2
  410. package/src/slashing/serialization.ts +1 -81
  411. package/src/slashing/types.ts +3 -35
  412. package/src/slashing/{tally.ts → votes.ts} +22 -4
  413. package/src/tests/factories.ts +5 -34
  414. package/src/tests/mocks.ts +33 -18
  415. package/src/timetable/index.ts +293 -13
  416. package/src/tx/block_header.ts +8 -2
  417. package/src/tx/capsule.ts +10 -2
  418. package/src/tx/fee_provider.ts +10 -0
  419. package/src/tx/global_variable_builder.ts +2 -3
  420. package/src/tx/index.ts +1 -0
  421. package/src/tx/indexed_tx_effect.ts +1 -2
  422. package/src/tx/private_execution_result.ts +5 -5
  423. package/src/tx/profiling.ts +11 -2
  424. package/src/tx/simulated_tx.ts +6 -2
  425. package/src/tx/tx.ts +22 -13
  426. package/src/tx/tx_receipt.ts +18 -16
  427. package/src/tx/validator/error_texts.ts +11 -0
  428. package/src/update-checker/index.ts +2 -1
  429. package/src/update-checker/package_version.ts +30 -0
  430. package/src/update-checker/version_checker.ts +65 -0
  431. package/src/validators/errors.ts +9 -0
  432. package/src/versioning/versioning.ts +4 -1
  433. package/src/world-state/genesis_data.ts +15 -0
  434. package/src/world-state/index.ts +1 -0
  435. package/dest/contract/private_function_membership_proof.d.ts +0 -32
  436. package/dest/contract/private_function_membership_proof.d.ts.map +0 -1
  437. package/dest/contract/private_function_membership_proof.js +0 -124
  438. package/dest/contract/utility_function_membership_proof.d.ts +0 -27
  439. package/dest/contract/utility_function_membership_proof.d.ts.map +0 -1
  440. package/dest/contract/utility_function_membership_proof.js +0 -87
  441. package/dest/l1-contracts/slash_factory.d.ts +0 -45
  442. package/dest/l1-contracts/slash_factory.d.ts.map +0 -1
  443. package/dest/l1-contracts/slash_factory.js +0 -158
  444. package/dest/slashing/empire.d.ts +0 -31
  445. package/dest/slashing/empire.d.ts.map +0 -1
  446. package/dest/slashing/empire.js +0 -87
  447. package/dest/slashing/tally.d.ts.map +0 -1
  448. package/dest/update-checker/update-checker.d.ts +0 -49
  449. package/dest/update-checker/update-checker.d.ts.map +0 -1
  450. package/dest/update-checker/update-checker.js +0 -130
  451. package/src/contract/private_function_membership_proof.ts +0 -167
  452. package/src/contract/utility_function_membership_proof.ts +0 -118
  453. package/src/l1-contracts/slash_factory.ts +0 -180
  454. package/src/slashing/empire.ts +0 -104
  455. package/src/update-checker/update-checker.ts +0 -166
@@ -1,10 +1,13 @@
1
1
  import type { PublishedCheckpoint } from '../../checkpoint/published_checkpoint.js';
2
2
  import type { L2Block } from '../l2_block.js';
3
3
  import type { CheckpointId, L2BlockId, L2Tips } from '../l2_block_source.js';
4
+ /** Provides the current chain tips. Implemented by world-state, l2-tips-store, and AztecNode. */
5
+ export interface L2TipsProvider {
6
+ getL2Tips(): Promise<L2Tips>;
7
+ }
4
8
  /** Interface to the local view of the chain. Implemented by world-state and l2-tips-store. */
5
- export interface L2BlockStreamLocalDataProvider {
9
+ export interface L2BlockStreamLocalDataProvider extends L2TipsProvider {
6
10
  getL2BlockHash(number: number): Promise<string | undefined>;
7
- getL2Tips(): Promise<L2Tips>;
8
11
  }
9
12
  /** Interface to a handler of events emitted. */
10
13
  export interface L2BlockStreamEventHandler {
@@ -33,4 +36,4 @@ export type L2BlockStreamEvent = /** Emits blocks added to the chain. */ {
33
36
  block: L2BlockId;
34
37
  };
35
38
  export type L2TipsStore = L2BlockStreamEventHandler & L2BlockStreamLocalDataProvider;
36
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW50ZXJmYWNlcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL2Jsb2NrL2wyX2Jsb2NrX3N0cmVhbS9pbnRlcmZhY2VzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLG1CQUFtQixFQUFFLE1BQU0sMENBQTBDLENBQUM7QUFDcEYsT0FBTyxLQUFLLEVBQUUsT0FBTyxFQUFFLE1BQU0sZ0JBQWdCLENBQUM7QUFDOUMsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLFNBQVMsRUFBRSxNQUFNLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUU3RSw4RkFBOEY7QUFDOUYsTUFBTSxXQUFXLDhCQUE4QjtJQUM3QyxjQUFjLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsTUFBTSxHQUFHLFNBQVMsQ0FBQyxDQUFDO0lBQzVELFNBQVMsSUFBSSxPQUFPLENBQUMsTUFBTSxDQUFDLENBQUM7Q0FDOUI7QUFFRCxnREFBZ0Q7QUFDaEQsTUFBTSxXQUFXLHlCQUF5QjtJQUN4QyxzQkFBc0IsQ0FBQyxLQUFLLEVBQUUsa0JBQWtCLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUFDO0NBQ2xFO0FBRUQsTUFBTSxNQUFNLGtCQUFrQixHQUMxQix1Q0FBdUMsQ0FBQztJQUN0QyxJQUFJLEVBQUUsY0FBYyxDQUFDO0lBQ3JCLE1BQU0sRUFBRSxPQUFPLEVBQUUsQ0FBQztDQUNuQixHQUNELHlDQUF5QyxDQUFDO0lBQ3hDLElBQUksRUFBRSxvQkFBb0IsQ0FBQztJQUMzQixVQUFVLEVBQUUsbUJBQW1CLENBQUM7SUFDaEMsS0FBSyxFQUFFLFNBQVMsQ0FBQztDQUNsQixHQUNEOzs7O0dBSUMsQ0FBQztJQUNBLElBQUksRUFBRSxjQUFjLENBQUM7SUFDckIsS0FBSyxFQUFFLFNBQVMsQ0FBQztJQUNqQixVQUFVLEVBQUUsWUFBWSxDQUFDO0NBQzFCLEdBQ0QsZ0NBQWdDLENBQUM7SUFDL0IsSUFBSSxFQUFFLGNBQWMsQ0FBQztJQUNyQixLQUFLLEVBQUUsU0FBUyxDQUFDO0NBQ2xCLEdBQ0QsZ0VBQWdFLENBQUM7SUFDL0QsSUFBSSxFQUFFLGlCQUFpQixDQUFDO0lBQ3hCLEtBQUssRUFBRSxTQUFTLENBQUM7Q0FDbEIsQ0FBQztBQUVOLE1BQU0sTUFBTSxXQUFXLEdBQUcseUJBQXlCLEdBQUcsOEJBQThCLENBQUMifQ==
39
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW50ZXJmYWNlcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL2Jsb2NrL2wyX2Jsb2NrX3N0cmVhbS9pbnRlcmZhY2VzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLG1CQUFtQixFQUFFLE1BQU0sMENBQTBDLENBQUM7QUFDcEYsT0FBTyxLQUFLLEVBQUUsT0FBTyxFQUFFLE1BQU0sZ0JBQWdCLENBQUM7QUFDOUMsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLFNBQVMsRUFBRSxNQUFNLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUU3RSxpR0FBaUc7QUFDakcsTUFBTSxXQUFXLGNBQWM7SUFDN0IsU0FBUyxJQUFJLE9BQU8sQ0FBQyxNQUFNLENBQUMsQ0FBQztDQUM5QjtBQUVELDhGQUE4RjtBQUM5RixNQUFNLFdBQVcsOEJBQStCLFNBQVEsY0FBYztJQUNwRSxjQUFjLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsTUFBTSxHQUFHLFNBQVMsQ0FBQyxDQUFDO0NBQzdEO0FBRUQsZ0RBQWdEO0FBQ2hELE1BQU0sV0FBVyx5QkFBeUI7SUFDeEMsc0JBQXNCLENBQUMsS0FBSyxFQUFFLGtCQUFrQixHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztDQUNsRTtBQUVELE1BQU0sTUFBTSxrQkFBa0IsR0FDMUIsdUNBQXVDLENBQUM7SUFDdEMsSUFBSSxFQUFFLGNBQWMsQ0FBQztJQUNyQixNQUFNLEVBQUUsT0FBTyxFQUFFLENBQUM7Q0FDbkIsR0FDRCx5Q0FBeUMsQ0FBQztJQUN4QyxJQUFJLEVBQUUsb0JBQW9CLENBQUM7SUFDM0IsVUFBVSxFQUFFLG1CQUFtQixDQUFDO0lBQ2hDLEtBQUssRUFBRSxTQUFTLENBQUM7Q0FDbEIsR0FDRDs7OztHQUlDLENBQUM7SUFDQSxJQUFJLEVBQUUsY0FBYyxDQUFDO0lBQ3JCLEtBQUssRUFBRSxTQUFTLENBQUM7SUFDakIsVUFBVSxFQUFFLFlBQVksQ0FBQztDQUMxQixHQUNELGdDQUFnQyxDQUFDO0lBQy9CLElBQUksRUFBRSxjQUFjLENBQUM7SUFDckIsS0FBSyxFQUFFLFNBQVMsQ0FBQztDQUNsQixHQUNELGdFQUFnRSxDQUFDO0lBQy9ELElBQUksRUFBRSxpQkFBaUIsQ0FBQztJQUN4QixLQUFLLEVBQUUsU0FBUyxDQUFDO0NBQ2xCLENBQUM7QUFFTixNQUFNLE1BQU0sV0FBVyxHQUFHLHlCQUF5QixHQUFHLDhCQUE4QixDQUFDIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"interfaces.d.ts","sourceRoot":"","sources":["../../../src/block/l2_block_stream/interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAE7E,8FAA8F;AAC9F,MAAM,WAAW,8BAA8B;IAC7C,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;IAC5D,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;CAC9B;AAED,gDAAgD;AAChD,MAAM,WAAW,yBAAyB;IACxC,sBAAsB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAClE;AAED,MAAM,MAAM,kBAAkB,GAC1B,uCAAuC,CAAC;IACtC,IAAI,EAAE,cAAc,CAAC;IACrB,MAAM,EAAE,OAAO,EAAE,CAAC;CACnB,GACD,yCAAyC,CAAC;IACxC,IAAI,EAAE,oBAAoB,CAAC;IAC3B,UAAU,EAAE,mBAAmB,CAAC;IAChC,KAAK,EAAE,SAAS,CAAC;CAClB,GACD;;;;GAIC,CAAC;IACA,IAAI,EAAE,cAAc,CAAC;IACrB,KAAK,EAAE,SAAS,CAAC;IACjB,UAAU,EAAE,YAAY,CAAC;CAC1B,GACD,gCAAgC,CAAC;IAC/B,IAAI,EAAE,cAAc,CAAC;IACrB,KAAK,EAAE,SAAS,CAAC;CAClB,GACD,gEAAgE,CAAC;IAC/D,IAAI,EAAE,iBAAiB,CAAC;IACxB,KAAK,EAAE,SAAS,CAAC;CAClB,CAAC;AAEN,MAAM,MAAM,WAAW,GAAG,yBAAyB,GAAG,8BAA8B,CAAC"}
1
+ {"version":3,"file":"interfaces.d.ts","sourceRoot":"","sources":["../../../src/block/l2_block_stream/interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAE7E,iGAAiG;AACjG,MAAM,WAAW,cAAc;IAC7B,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;CAC9B;AAED,8FAA8F;AAC9F,MAAM,WAAW,8BAA+B,SAAQ,cAAc;IACpE,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;CAC7D;AAED,gDAAgD;AAChD,MAAM,WAAW,yBAAyB;IACxC,sBAAsB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAClE;AAED,MAAM,MAAM,kBAAkB,GAC1B,uCAAuC,CAAC;IACtC,IAAI,EAAE,cAAc,CAAC;IACrB,MAAM,EAAE,OAAO,EAAE,CAAC;CACnB,GACD,yCAAyC,CAAC;IACxC,IAAI,EAAE,oBAAoB,CAAC;IAC3B,UAAU,EAAE,mBAAmB,CAAC;IAChC,KAAK,EAAE,SAAS,CAAC;CAClB,GACD;;;;GAIC,CAAC;IACA,IAAI,EAAE,cAAc,CAAC;IACrB,KAAK,EAAE,SAAS,CAAC;IACjB,UAAU,EAAE,YAAY,CAAC;CAC1B,GACD,gCAAgC,CAAC;IAC/B,IAAI,EAAE,cAAc,CAAC;IACrB,KAAK,EAAE,SAAS,CAAC;CAClB,GACD,gEAAgE,CAAC;IAC/D,IAAI,EAAE,iBAAiB,CAAC;IACxB,KAAK,EAAE,SAAS,CAAC;CAClB,CAAC;AAEN,MAAM,MAAM,WAAW,GAAG,yBAAyB,GAAG,8BAA8B,CAAC"}
@@ -46,4 +46,4 @@ export declare abstract class L2TipsStoreBase implements L2BlockStreamEventHandl
46
46
  private saveTag;
47
47
  private saveCheckpoint;
48
48
  }
49
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibDJfdGlwc19zdG9yZV9iYXNlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvYmxvY2svbDJfYmxvY2tfc3RyZWFtL2wyX3RpcHNfc3RvcmVfYmFzZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsV0FBVyxFQUFFLGdCQUFnQixFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFFaEYsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSwwQ0FBMEMsQ0FBQztBQUNwRixPQUFPLEtBQUssRUFBRSxPQUFPLEVBQUUsTUFBTSxnQkFBZ0IsQ0FBQztBQUM5QyxPQUFPLEVBSUwsS0FBSyxVQUFVLEVBQ2YsS0FBSyxNQUFNLEVBQ1osTUFBTSx1QkFBdUIsQ0FBQztBQUMvQixPQUFPLEtBQUssRUFBRSxrQkFBa0IsRUFBRSx5QkFBeUIsRUFBRSw4QkFBOEIsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBRXJIOzs7R0FHRztBQUNILDhCQUFzQixlQUFnQixZQUFXLHlCQUF5QixFQUFFLDhCQUE4QjtJQUd4Ryw2Q0FBNkM7SUFDN0MsU0FBUyxDQUFDLFFBQVEsQ0FBQyxNQUFNLENBQUMsR0FBRyxFQUFFLFVBQVUsR0FBRyxPQUFPLENBQUMsV0FBVyxHQUFHLFNBQVMsQ0FBQyxDQUFDO0lBRTdFLDZDQUE2QztJQUM3QyxTQUFTLENBQUMsUUFBUSxDQUFDLE1BQU0sQ0FBQyxHQUFHLEVBQUUsVUFBVSxFQUFFLFdBQVcsRUFBRSxXQUFXLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUFDO0lBRXBGLG9EQUFvRDtJQUNwRCxTQUFTLENBQUMsUUFBUSxDQUFDLGtCQUFrQixDQUFDLFdBQVcsRUFBRSxXQUFXLEdBQUcsT0FBTyxDQUFDLE1BQU0sR0FBRyxTQUFTLENBQUMsQ0FBQztJQUU3RixvREFBb0Q7SUFDcEQsU0FBUyxDQUFDLFFBQVEsQ0FBQyxZQUFZLENBQUMsV0FBVyxFQUFFLFdBQVcsRUFBRSxJQUFJLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUV2Rix5RUFBeUU7SUFDekUsU0FBUyxDQUFDLFFBQVEsQ0FBQyx1QkFBdUIsQ0FBQyxXQUFXLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUVwRiwyREFBMkQ7SUFDM0QsU0FBUyxDQUFDLFFBQVEsQ0FBQywyQkFBMkIsQ0FBQyxXQUFXLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FBQyxnQkFBZ0IsR0FBRyxTQUFTLENBQUMsQ0FBQztJQUVoSCwyREFBMkQ7SUFDM0QsU0FBUyxDQUFDLFFBQVEsQ0FBQywyQkFBMkIsQ0FDNUMsV0FBVyxFQUFFLFdBQVcsRUFDeEIsZ0JBQWdCLEVBQUUsZ0JBQWdCLEdBQ2pDLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUVqQix5RkFBeUY7SUFDekYsU0FBUyxDQUFDLFFBQVEsQ0FBQyw2QkFBNkIsQ0FBQyxXQUFXLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUUxRix1Q0FBdUM7SUFDdkMsU0FBUyxDQUFDLFFBQVEsQ0FBQyxhQUFhLENBQUMsZ0JBQWdCLEVBQUUsZ0JBQWdCLEdBQUcsT0FBTyxDQUFDLG1CQUFtQixHQUFHLFNBQVMsQ0FBQyxDQUFDO0lBRS9HLDBCQUEwQjtJQUMxQixTQUFTLENBQUMsUUFBUSxDQUFDLGtCQUFrQixDQUFDLFVBQVUsRUFBRSxtQkFBbUIsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBQUM7SUFFdEYsa0VBQWtFO0lBQ2xFLFNBQVMsQ0FBQyxRQUFRLENBQUMsdUJBQXVCLENBQUMsZ0JBQWdCLEVBQUUsZ0JBQWdCLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUFDO0lBRTlGLDRGQUE0RjtJQUM1RixTQUFTLENBQUMsUUFBUSxDQUFDLGdCQUFnQixDQUFDLENBQUMsRUFBRSxFQUFFLEVBQUUsTUFBTSxPQUFPLENBQUMsQ0FBQyxDQUFDLEdBQUcsT0FBTyxDQUFDLENBQUMsQ0FBQyxDQUFDO0lBSWxFLGNBQWMsQ0FBQyxNQUFNLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FBQyxNQUFNLEdBQUcsU0FBUyxDQUFDLENBRXRFO0lBRU0sU0FBUyxJQUFJLE9BQU8sQ0FBQyxNQUFNLENBQUMsQ0FzQmxDO0lBRVksc0JBQXNCLENBQUMsS0FBSyxFQUFFLGtCQUFrQixHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FrQjVFO0lBR0QsU0FBUyxDQUFDLGdCQUFnQixDQUFDLEtBQUssRUFBRSxPQUFPLEdBQUcsT0FBTyxDQUFDLE1BQU0sQ0FBQyxDQUUxRDtZQUlhLFVBQVU7WUFZVixlQUFlO1lBaUJmLGlCQUFpQjtZQWFqQix1QkFBdUI7WUFVdkIsaUJBQWlCO1lBY2pCLGlCQUFpQjtZQVNqQixvQkFBb0I7WUFpQnBCLE9BQU87WUFPUCxjQUFjO0NBUzdCIn0=
49
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibDJfdGlwc19zdG9yZV9iYXNlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvYmxvY2svbDJfYmxvY2tfc3RyZWFtL2wyX3RpcHNfc3RvcmVfYmFzZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsV0FBVyxFQUFFLGdCQUFnQixFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFFaEYsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSwwQ0FBMEMsQ0FBQztBQUVwRixPQUFPLEtBQUssRUFBRSxPQUFPLEVBQUUsTUFBTSxnQkFBZ0IsQ0FBQztBQUM5QyxPQUFPLEVBSUwsS0FBSyxVQUFVLEVBQ2YsS0FBSyxNQUFNLEVBQ1osTUFBTSx1QkFBdUIsQ0FBQztBQUMvQixPQUFPLEtBQUssRUFBRSxrQkFBa0IsRUFBRSx5QkFBeUIsRUFBRSw4QkFBOEIsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBRXJIOzs7R0FHRztBQUNILDhCQUFzQixlQUFnQixZQUFXLHlCQUF5QixFQUFFLDhCQUE4QjtJQUd4Ryw2Q0FBNkM7SUFDN0MsU0FBUyxDQUFDLFFBQVEsQ0FBQyxNQUFNLENBQUMsR0FBRyxFQUFFLFVBQVUsR0FBRyxPQUFPLENBQUMsV0FBVyxHQUFHLFNBQVMsQ0FBQyxDQUFDO0lBRTdFLDZDQUE2QztJQUM3QyxTQUFTLENBQUMsUUFBUSxDQUFDLE1BQU0sQ0FBQyxHQUFHLEVBQUUsVUFBVSxFQUFFLFdBQVcsRUFBRSxXQUFXLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUFDO0lBRXBGLG9EQUFvRDtJQUNwRCxTQUFTLENBQUMsUUFBUSxDQUFDLGtCQUFrQixDQUFDLFdBQVcsRUFBRSxXQUFXLEdBQUcsT0FBTyxDQUFDLE1BQU0sR0FBRyxTQUFTLENBQUMsQ0FBQztJQUU3RixvREFBb0Q7SUFDcEQsU0FBUyxDQUFDLFFBQVEsQ0FBQyxZQUFZLENBQUMsV0FBVyxFQUFFLFdBQVcsRUFBRSxJQUFJLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUV2Rix5RUFBeUU7SUFDekUsU0FBUyxDQUFDLFFBQVEsQ0FBQyx1QkFBdUIsQ0FBQyxXQUFXLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUVwRiwyREFBMkQ7SUFDM0QsU0FBUyxDQUFDLFFBQVEsQ0FBQywyQkFBMkIsQ0FBQyxXQUFXLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FBQyxnQkFBZ0IsR0FBRyxTQUFTLENBQUMsQ0FBQztJQUVoSCwyREFBMkQ7SUFDM0QsU0FBUyxDQUFDLFFBQVEsQ0FBQywyQkFBMkIsQ0FDNUMsV0FBVyxFQUFFLFdBQVcsRUFDeEIsZ0JBQWdCLEVBQUUsZ0JBQWdCLEdBQ2pDLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUVqQix5RkFBeUY7SUFDekYsU0FBUyxDQUFDLFFBQVEsQ0FBQyw2QkFBNkIsQ0FBQyxXQUFXLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUUxRix1Q0FBdUM7SUFDdkMsU0FBUyxDQUFDLFFBQVEsQ0FBQyxhQUFhLENBQUMsZ0JBQWdCLEVBQUUsZ0JBQWdCLEdBQUcsT0FBTyxDQUFDLG1CQUFtQixHQUFHLFNBQVMsQ0FBQyxDQUFDO0lBRS9HLDBCQUEwQjtJQUMxQixTQUFTLENBQUMsUUFBUSxDQUFDLGtCQUFrQixDQUFDLFVBQVUsRUFBRSxtQkFBbUIsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBQUM7SUFFdEYsa0VBQWtFO0lBQ2xFLFNBQVMsQ0FBQyxRQUFRLENBQUMsdUJBQXVCLENBQUMsZ0JBQWdCLEVBQUUsZ0JBQWdCLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUFDO0lBRTlGLDRGQUE0RjtJQUM1RixTQUFTLENBQUMsUUFBUSxDQUFDLGdCQUFnQixDQUFDLENBQUMsRUFBRSxFQUFFLEVBQUUsTUFBTSxPQUFPLENBQUMsQ0FBQyxDQUFDLEdBQUcsT0FBTyxDQUFDLENBQUMsQ0FBQyxDQUFDO0lBSWxFLGNBQWMsQ0FBQyxNQUFNLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FBQyxNQUFNLEdBQUcsU0FBUyxDQUFDLENBRXRFO0lBRU0sU0FBUyxJQUFJLE9BQU8sQ0FBQyxNQUFNLENBQUMsQ0EyQmxDO0lBRVksc0JBQXNCLENBQUMsS0FBSyxFQUFFLGtCQUFrQixHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FrQjVFO0lBR0QsU0FBUyxDQUFDLGdCQUFnQixDQUFDLEtBQUssRUFBRSxPQUFPLEdBQUcsT0FBTyxDQUFDLE1BQU0sQ0FBQyxDQUUxRDtZQUlhLFVBQVU7WUFZVixlQUFlO1lBaUJmLGlCQUFpQjtZQWFqQix1QkFBdUI7WUFnQnZCLGlCQUFpQjtZQWVqQixpQkFBaUI7WUFTakIsb0JBQW9CO1lBaUJwQixPQUFPO1lBT1AsY0FBYztDQVM3QiJ9
@@ -1 +1 @@
1
- {"version":3,"file":"l2_tips_store_base.d.ts","sourceRoot":"","sources":["../../../src/block/l2_block_stream/l2_tips_store_base.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAEhF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAIL,KAAK,UAAU,EACf,KAAK,MAAM,EACZ,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,8BAA8B,EAAE,MAAM,iBAAiB,CAAC;AAErH;;;GAGG;AACH,8BAAsB,eAAgB,YAAW,yBAAyB,EAAE,8BAA8B;IAGxG,6CAA6C;IAC7C,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC,CAAC;IAE7E,6CAA6C;IAC7C,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEpF,oDAAoD;IACpD,SAAS,CAAC,QAAQ,CAAC,kBAAkB,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;IAE7F,oDAAoD;IACpD,SAAS,CAAC,QAAQ,CAAC,YAAY,CAAC,WAAW,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEvF,yEAAyE;IACzE,SAAS,CAAC,QAAQ,CAAC,uBAAuB,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEpF,2DAA2D;IAC3D,SAAS,CAAC,QAAQ,CAAC,2BAA2B,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,gBAAgB,GAAG,SAAS,CAAC,CAAC;IAEhH,2DAA2D;IAC3D,SAAS,CAAC,QAAQ,CAAC,2BAA2B,CAC5C,WAAW,EAAE,WAAW,EACxB,gBAAgB,EAAE,gBAAgB,GACjC,OAAO,CAAC,IAAI,CAAC,CAAC;IAEjB,yFAAyF;IACzF,SAAS,CAAC,QAAQ,CAAC,6BAA6B,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE1F,uCAAuC;IACvC,SAAS,CAAC,QAAQ,CAAC,aAAa,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,OAAO,CAAC,mBAAmB,GAAG,SAAS,CAAC,CAAC;IAE/G,0BAA0B;IAC1B,SAAS,CAAC,QAAQ,CAAC,kBAAkB,CAAC,UAAU,EAAE,mBAAmB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEtF,kEAAkE;IAClE,SAAS,CAAC,QAAQ,CAAC,uBAAuB,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE9F,4FAA4F;IAC5F,SAAS,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAIlE,cAAc,CAAC,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAEtE;IAEM,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC,CAsBlC;IAEY,sBAAsB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC,CAkB5E;IAGD,SAAS,CAAC,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAE1D;YAIa,UAAU;YAYV,eAAe;YAiBf,iBAAiB;YAajB,uBAAuB;YAUvB,iBAAiB;YAcjB,iBAAiB;YASjB,oBAAoB;YAiBpB,OAAO;YAOP,cAAc;CAS7B"}
1
+ {"version":3,"file":"l2_tips_store_base.d.ts","sourceRoot":"","sources":["../../../src/block/l2_block_stream/l2_tips_store_base.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAEhF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,0CAA0C,CAAC;AAEpF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAIL,KAAK,UAAU,EACf,KAAK,MAAM,EACZ,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,8BAA8B,EAAE,MAAM,iBAAiB,CAAC;AAErH;;;GAGG;AACH,8BAAsB,eAAgB,YAAW,yBAAyB,EAAE,8BAA8B;IAGxG,6CAA6C;IAC7C,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC,CAAC;IAE7E,6CAA6C;IAC7C,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEpF,oDAAoD;IACpD,SAAS,CAAC,QAAQ,CAAC,kBAAkB,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;IAE7F,oDAAoD;IACpD,SAAS,CAAC,QAAQ,CAAC,YAAY,CAAC,WAAW,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEvF,yEAAyE;IACzE,SAAS,CAAC,QAAQ,CAAC,uBAAuB,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEpF,2DAA2D;IAC3D,SAAS,CAAC,QAAQ,CAAC,2BAA2B,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,gBAAgB,GAAG,SAAS,CAAC,CAAC;IAEhH,2DAA2D;IAC3D,SAAS,CAAC,QAAQ,CAAC,2BAA2B,CAC5C,WAAW,EAAE,WAAW,EACxB,gBAAgB,EAAE,gBAAgB,GACjC,OAAO,CAAC,IAAI,CAAC,CAAC;IAEjB,yFAAyF;IACzF,SAAS,CAAC,QAAQ,CAAC,6BAA6B,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE1F,uCAAuC;IACvC,SAAS,CAAC,QAAQ,CAAC,aAAa,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,OAAO,CAAC,mBAAmB,GAAG,SAAS,CAAC,CAAC;IAE/G,0BAA0B;IAC1B,SAAS,CAAC,QAAQ,CAAC,kBAAkB,CAAC,UAAU,EAAE,mBAAmB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEtF,kEAAkE;IAClE,SAAS,CAAC,QAAQ,CAAC,uBAAuB,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE9F,4FAA4F;IAC5F,SAAS,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAIlE,cAAc,CAAC,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAEtE;IAEM,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC,CA2BlC;IAEY,sBAAsB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC,CAkB5E;IAGD,SAAS,CAAC,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAE1D;YAIa,UAAU;YAYV,eAAe;YAiBf,iBAAiB;YAajB,uBAAuB;YAgBvB,iBAAiB;YAejB,iBAAiB;YASjB,oBAAoB;YAiBpB,OAAO;YAOP,cAAc;CAS7B"}
@@ -1,5 +1,5 @@
1
- import { GENESIS_BLOCK_HEADER_HASH } from '@aztec/constants';
2
1
  import { BlockNumber, CheckpointNumber } from '@aztec/foundation/branded-types';
2
+ import { GENESIS_BLOCK_HEADER_HASH } from '../block_hash.js';
3
3
  import { GENESIS_CHECKPOINT_HEADER_HASH } from '../l2_block_source.js';
4
4
  /**
5
5
  * Abstract base class for L2 tips stores. Provides common event handling logic
@@ -11,16 +11,18 @@ import { GENESIS_CHECKPOINT_HEADER_HASH } from '../l2_block_source.js';
11
11
  }
12
12
  getL2Tips() {
13
13
  return this.runInTransaction(async ()=>{
14
- const [proposedBlockId, finalizedBlockId, provenBlockId, checkpointedBlockId] = await Promise.all([
14
+ const [proposedBlockId, finalizedBlockId, provenBlockId, checkpointedBlockId, proposedCheckpointBlockId] = await Promise.all([
15
15
  this.getBlockId('proposed'),
16
16
  this.getBlockId('finalized'),
17
17
  this.getBlockId('proven'),
18
- this.getBlockId('checkpointed')
18
+ this.getBlockId('checkpointed'),
19
+ this.getBlockId('proposedCheckpoint')
19
20
  ]);
20
- const [finalizedCheckpointId, provenCheckpointId, checkpointedCheckpointId] = await Promise.all([
21
+ const [finalizedCheckpointId, provenCheckpointId, checkpointedCheckpointId, proposedCheckpointId] = await Promise.all([
21
22
  this.getCheckpointId('finalized'),
22
23
  this.getCheckpointId('proven'),
23
- this.getCheckpointId('checkpointed')
24
+ this.getCheckpointId('checkpointed'),
25
+ this.getCheckpointId('proposedCheckpoint')
24
26
  ]);
25
27
  return {
26
28
  proposed: proposedBlockId,
@@ -35,6 +37,10 @@ import { GENESIS_CHECKPOINT_HEADER_HASH } from '../l2_block_source.js';
35
37
  checkpointed: {
36
38
  block: checkpointedBlockId,
37
39
  checkpoint: checkpointedCheckpointId
40
+ },
41
+ proposedCheckpoint: {
42
+ block: proposedCheckpointBlockId,
43
+ checkpoint: proposedCheckpointId
38
44
  }
39
45
  };
40
46
  });
@@ -124,6 +130,12 @@ import { GENESIS_CHECKPOINT_HEADER_HASH } from '../l2_block_source.js';
124
130
  await this.runInTransaction(async ()=>{
125
131
  await this.saveTag('checkpointed', event.block);
126
132
  await this.saveCheckpoint(event.checkpoint);
133
+ // proposedCheckpoint is always >= checkpointed. If checkpointed has caught up
134
+ // or surpassed it, advance proposedCheckpoint to match.
135
+ const proposedCheckpointBlock = await this.getBlockId('proposedCheckpoint');
136
+ if (event.block.number > proposedCheckpointBlock.number) {
137
+ await this.saveTag('proposedCheckpoint', event.block);
138
+ }
127
139
  });
128
140
  }
129
141
  async handleChainPruned(event) {
@@ -133,6 +145,7 @@ import { GENESIS_CHECKPOINT_HEADER_HASH } from '../l2_block_source.js';
133
145
  await this.runInTransaction(async ()=>{
134
146
  await this.saveTag('proposed', event.block);
135
147
  await this.saveTag('checkpointed', event.block);
148
+ await this.saveTag('proposedCheckpoint', event.block);
136
149
  const storeProven = await this.getBlockId('proven');
137
150
  if (storeProven.number > event.block.number) {
138
151
  await this.saveTag('proven', event.block);
@@ -1,3 +1,3 @@
1
1
  import type { L2TipsStore } from '../l2_block_stream/index.js';
2
2
  export declare function testL2TipsStore(makeTipsStore: () => Promise<L2TipsStore>): void;
3
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibDJfdGlwc19zdG9yZV90ZXN0X3N1aXRlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvYmxvY2svdGVzdC9sMl90aXBzX3N0b3JlX3Rlc3Rfc3VpdGUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBZUEsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFFL0Qsd0JBQWdCLGVBQWUsQ0FBQyxhQUFhLEVBQUUsTUFBTSxPQUFPLENBQUMsV0FBVyxDQUFDLFFBdWdCeEUifQ==
3
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibDJfdGlwc19zdG9yZV90ZXN0X3N1aXRlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvYmxvY2svdGVzdC9sMl90aXBzX3N0b3JlX3Rlc3Rfc3VpdGUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBZUEsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFFL0Qsd0JBQWdCLGVBQWUsQ0FBQyxhQUFhLEVBQUUsTUFBTSxPQUFPLENBQUMsV0FBVyxDQUFDLFFBOGdCeEUifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"l2_tips_store_test_suite.d.ts","sourceRoot":"","sources":["../../../src/block/test/l2_tips_store_test_suite.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAE/D,wBAAgB,eAAe,CAAC,aAAa,EAAE,MAAM,OAAO,CAAC,WAAW,CAAC,QAugBxE"}
1
+ {"version":3,"file":"l2_tips_store_test_suite.d.ts","sourceRoot":"","sources":["../../../src/block/test/l2_tips_store_test_suite.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAE/D,wBAAgB,eAAe,CAAC,aAAa,EAAE,MAAM,OAAO,CAAC,WAAW,CAAC,QA8gBxE"}
@@ -1,10 +1,10 @@
1
- import { GENESIS_BLOCK_HEADER_HASH } from '@aztec/constants';
2
1
  import { BlockNumber, CheckpointNumber } from '@aztec/foundation/branded-types';
3
2
  import { times } from '@aztec/foundation/collection';
4
3
  import { Fr } from '@aztec/foundation/curves/bn254';
5
4
  import { GENESIS_CHECKPOINT_HEADER_HASH, L2Block } from '@aztec/stdlib/block';
6
5
  import { Checkpoint, L1PublishedData, PublishedCheckpoint } from '@aztec/stdlib/checkpoint';
7
6
  import { jestExpect as expect } from '@jest/expect';
7
+ import { GENESIS_BLOCK_HEADER_HASH } from '../block_hash.js';
8
8
  export function testL2TipsStore(makeTipsStore) {
9
9
  let tipsStore;
10
10
  // Track blocks and their hashes for test assertions
@@ -62,11 +62,12 @@ export function testL2TipsStore(makeTipsStore) {
62
62
  block: makeTip(blockNumber),
63
63
  checkpoint: makeCheckpointIdForBlock(blockNumber)
64
64
  });
65
- const makeTips = (proposed, proven, finalized, checkpointed = 0)=>({
65
+ const makeTips = (proposed, proven, finalized, checkpointed = 0, proposedCheckpoint = 0)=>({
66
66
  proposed: makeTip(proposed),
67
67
  proven: makeTipId(proven),
68
68
  finalized: makeTipId(finalized),
69
- checkpointed: makeTipId(checkpointed)
69
+ checkpointed: makeTipId(checkpointed),
70
+ proposedCheckpoint: makeTipId(proposedCheckpoint)
70
71
  });
71
72
  const makeCheckpoint = async (checkpointNumber, blocks)=>{
72
73
  const checkpoint = await Checkpoint.random(CheckpointNumber(checkpointNumber), {
@@ -152,6 +152,12 @@ export declare class Checkpoint {
152
152
  * checkpoints up to and including this one in the epoch.
153
153
  */
154
154
  getCheckpointOutHash(): Fr;
155
+ /**
156
+ * Returns the out hash computed from all l2-to-l1 messages in this checkpoint.
157
+ * Note: This value is different from the out hash in the header, which is the **accumulated** out hash over all
158
+ * checkpoints up to and including this one in the epoch.
159
+ */
160
+ static getCheckpointOutHash(blocks: L2Block[]): Fr;
155
161
  getState(): import("../tx/state_reference.js").StateReference;
156
162
  toCheckpointInfo(): CheckpointInfo;
157
163
  /** Returns stats used for logging */
@@ -171,7 +177,8 @@ export declare class Checkpoint {
171
177
  startBlockNumber?: number;
172
178
  previousArchive?: AppendOnlyTreeSnapshot;
173
179
  feeAssetPriceModifier?: bigint;
180
+ archive?: AppendOnlyTreeSnapshot;
174
181
  } & Partial<Parameters<typeof CheckpointHeader.random>[0]> & Partial<Parameters<typeof L2Block.random>[1]>): Promise<Checkpoint>;
175
182
  }
176
183
  export {};
177
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2NoZWNrcG9pbnQvY2hlY2twb2ludC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBRUwsZ0JBQWdCLEVBRWhCLHFCQUFxQixFQUNyQixVQUFVLEVBQ1gsTUFBTSxpQ0FBaUMsQ0FBQztBQUV6QyxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFFLFlBQVksRUFBNEMsTUFBTSw2QkFBNkIsQ0FBQztBQUNyRyxPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUV4RCxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLE9BQU8sRUFBRSxPQUFPLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUcvQyxPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVsRSxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx1Q0FBdUMsQ0FBQztBQUMvRSxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUUzRCxLQUFLLGtCQUFrQixHQUFHLElBQUksQ0FBQyxRQUFRLENBQUMsVUFBVSxDQUFDLEVBQUUsTUFBTSxDQUFDLENBQUM7QUFFN0QscUJBQWEsVUFBVTtJQUVuQiw4REFBOEQ7SUFDdkQsT0FBTyxFQUFFLHNCQUFzQjtJQUN0QyxnQ0FBZ0M7SUFDekIsTUFBTSxFQUFFLGdCQUFnQjtJQUMvQixtQ0FBbUM7SUFDNUIsTUFBTSxFQUFFLE9BQU8sRUFBRTtJQUN4QixnQ0FBZ0M7SUFDekIsTUFBTSxFQUFFLGdCQUFnQjtJQUMvQix5RkFBeUY7SUFDbEYscUJBQXFCLEVBQUUsTUFBTTtJQVZ0QztJQUNFLDhEQUE4RDtJQUN2RCxPQUFPLEVBQUUsc0JBQXNCO0lBQ3RDLGdDQUFnQztJQUN6QixNQUFNLEVBQUUsZ0JBQWdCO0lBQy9CLG1DQUFtQztJQUM1QixNQUFNLEVBQUUsT0FBTyxFQUFFO0lBQ3hCLGdDQUFnQztJQUN6QixNQUFNLEVBQUUsZ0JBQWdCO0lBQy9CLHlGQUF5RjtJQUNsRixxQkFBcUIsR0FBRSxNQUFXLEVBQ3ZDO0lBRUosSUFBSSxJQUFJLElBQUksVUFBVSxDQUVyQjtJQUVELE1BQU0sS0FBSyxNQUFNOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7T0FhaEI7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxrQkFBa0IsY0FFckM7SUFFRCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxrQkFBa0IsNEZBRTFDO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxHQUFHLFlBQVksY0FRM0M7SUFFTSxRQUFRLDRCQVNkO0lBRU0sWUFBWSxJQUFJLEVBQUUsRUFBRSxDQUcxQjtJQUVNLElBQUksSUFBSSxFQUFFLENBRWhCO0lBRUQ7Ozs7T0FJRztJQUNJLG9CQUFvQixJQUFJLEVBQUUsQ0FHaEM7SUFFTSxRQUFRLHNEQUVkO0lBRU0sZ0JBQWdCLElBQUksY0FBYyxDQVF4QztJQUVELHFDQUFxQztJQUM5QixRQUFROzs7Ozs7Ozs7O01Ba0JkO0lBRUQsT0FBYSxNQUFNLENBQ2pCLGdCQUFnQixtQkFBc0IsRUFDdEMsRUFDRSxTQUFhLEVBQ2IsZ0JBQW9CLEVBQ3BCLGVBQWUsRUFDZixxQkFBMEIsRUFDMUIsR0FBRyxPQUFPLEVBQ1gsR0FBRTtRQUNELFNBQVMsQ0FBQyxFQUFFLE1BQU0sQ0FBQztRQUNuQixnQkFBZ0IsQ0FBQyxFQUFFLE1BQU0sQ0FBQztRQUMxQixlQUFlLENBQUMsRUFBRSxzQkFBc0IsQ0FBQztRQUN6QyxxQkFBcUIsQ0FBQyxFQUFFLE1BQU0sQ0FBQztLQUNoQyxHQUFHLE9BQU8sQ0FBQyxVQUFVLENBQUMsT0FBTyxnQkFBZ0IsQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxHQUN4RCxPQUFPLENBQUMsVUFBVSxDQUFDLE9BQU8sT0FBTyxDQUFDLE1BQU0sQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFNLHVCQW1CckQ7Q0FDRiJ9
184
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2NoZWNrcG9pbnQvY2hlY2twb2ludC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBRUwsZ0JBQWdCLEVBRWhCLHFCQUFxQixFQUNyQixVQUFVLEVBQ1gsTUFBTSxpQ0FBaUMsQ0FBQztBQUV6QyxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFFLFlBQVksRUFBNEMsTUFBTSw2QkFBNkIsQ0FBQztBQUNyRyxPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUV4RCxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLE9BQU8sRUFBRSxPQUFPLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUcvQyxPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVsRSxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx1Q0FBdUMsQ0FBQztBQUMvRSxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUUzRCxLQUFLLGtCQUFrQixHQUFHLElBQUksQ0FBQyxRQUFRLENBQUMsVUFBVSxDQUFDLEVBQUUsTUFBTSxDQUFDLENBQUM7QUFFN0QscUJBQWEsVUFBVTtJQUVuQiw4REFBOEQ7SUFDdkQsT0FBTyxFQUFFLHNCQUFzQjtJQUN0QyxnQ0FBZ0M7SUFDekIsTUFBTSxFQUFFLGdCQUFnQjtJQUMvQixtQ0FBbUM7SUFDNUIsTUFBTSxFQUFFLE9BQU8sRUFBRTtJQUN4QixnQ0FBZ0M7SUFDekIsTUFBTSxFQUFFLGdCQUFnQjtJQUMvQix5RkFBeUY7SUFDbEYscUJBQXFCLEVBQUUsTUFBTTtJQVZ0QztJQUNFLDhEQUE4RDtJQUN2RCxPQUFPLEVBQUUsc0JBQXNCO0lBQ3RDLGdDQUFnQztJQUN6QixNQUFNLEVBQUUsZ0JBQWdCO0lBQy9CLG1DQUFtQztJQUM1QixNQUFNLEVBQUUsT0FBTyxFQUFFO0lBQ3hCLGdDQUFnQztJQUN6QixNQUFNLEVBQUUsZ0JBQWdCO0lBQy9CLHlGQUF5RjtJQUNsRixxQkFBcUIsR0FBRSxNQUFXLEVBQ3ZDO0lBRUosSUFBSSxJQUFJLElBQUksVUFBVSxDQUVyQjtJQUVELE1BQU0sS0FBSyxNQUFNOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7T0FhaEI7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxrQkFBa0IsY0FFckM7SUFFRCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxrQkFBa0IsNEZBRTFDO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxHQUFHLFlBQVksY0FRM0M7SUFFTSxRQUFRLDRCQVNkO0lBRU0sWUFBWSxJQUFJLEVBQUUsRUFBRSxDQUcxQjtJQUVNLElBQUksSUFBSSxFQUFFLENBRWhCO0lBRUQ7Ozs7T0FJRztJQUNJLG9CQUFvQixJQUFJLEVBQUUsQ0FFaEM7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLG9CQUFvQixDQUFDLE1BQU0sRUFBRSxPQUFPLEVBQUUsR0FBRyxFQUFFLENBR2pEO0lBRU0sUUFBUSxzREFFZDtJQUVNLGdCQUFnQixJQUFJLGNBQWMsQ0FReEM7SUFFRCxxQ0FBcUM7SUFDOUIsUUFBUTs7Ozs7Ozs7OztNQWtCZDtJQUVELE9BQWEsTUFBTSxDQUNqQixnQkFBZ0IsbUJBQXNCLEVBQ3RDLEVBQ0UsU0FBYSxFQUNiLGdCQUFvQixFQUNwQixlQUFlLEVBQ2YscUJBQTBCLEVBQzFCLEdBQUcsT0FBTyxFQUNYLEdBQUU7UUFDRCxTQUFTLENBQUMsRUFBRSxNQUFNLENBQUM7UUFDbkIsZ0JBQWdCLENBQUMsRUFBRSxNQUFNLENBQUM7UUFDMUIsZUFBZSxDQUFDLEVBQUUsc0JBQXNCLENBQUM7UUFDekMscUJBQXFCLENBQUMsRUFBRSxNQUFNLENBQUM7UUFDL0IsT0FBTyxDQUFDLEVBQUUsc0JBQXNCLENBQUM7S0FDbEMsR0FBRyxPQUFPLENBQUMsVUFBVSxDQUFDLE9BQU8sZ0JBQWdCLENBQUMsTUFBTSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsR0FDeEQsT0FBTyxDQUFDLFVBQVUsQ0FBQyxPQUFPLE9BQU8sQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBTSx1QkE0QnJEO0NBQ0YifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"checkpoint.d.ts","sourceRoot":"","sources":["../../src/checkpoint/checkpoint.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,gBAAgB,EAEhB,qBAAqB,EACrB,UAAU,EACX,MAAM,iCAAiC,CAAC;AAEzC,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAA4C,MAAM,6BAA6B,CAAC;AACrG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAG/C,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAElE,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D,KAAK,kBAAkB,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;AAE7D,qBAAa,UAAU;IAEnB,8DAA8D;IACvD,OAAO,EAAE,sBAAsB;IACtC,gCAAgC;IACzB,MAAM,EAAE,gBAAgB;IAC/B,mCAAmC;IAC5B,MAAM,EAAE,OAAO,EAAE;IACxB,gCAAgC;IACzB,MAAM,EAAE,gBAAgB;IAC/B,yFAAyF;IAClF,qBAAqB,EAAE,MAAM;IAVtC;IACE,8DAA8D;IACvD,OAAO,EAAE,sBAAsB;IACtC,gCAAgC;IACzB,MAAM,EAAE,gBAAgB;IAC/B,mCAAmC;IAC5B,MAAM,EAAE,OAAO,EAAE;IACxB,gCAAgC;IACzB,MAAM,EAAE,gBAAgB;IAC/B,yFAAyF;IAClF,qBAAqB,GAAE,MAAW,EACvC;IAEJ,IAAI,IAAI,IAAI,UAAU,CAErB;IAED,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAahB;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,kBAAkB,cAErC;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,kBAAkB,4FAE1C;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,cAQ3C;IAEM,QAAQ,4BASd;IAEM,YAAY,IAAI,EAAE,EAAE,CAG1B;IAEM,IAAI,IAAI,EAAE,CAEhB;IAED;;;;OAIG;IACI,oBAAoB,IAAI,EAAE,CAGhC;IAEM,QAAQ,sDAEd;IAEM,gBAAgB,IAAI,cAAc,CAQxC;IAED,qCAAqC;IAC9B,QAAQ;;;;;;;;;;MAkBd;IAED,OAAa,MAAM,CACjB,gBAAgB,mBAAsB,EACtC,EACE,SAAa,EACb,gBAAoB,EACpB,eAAe,EACf,qBAA0B,EAC1B,GAAG,OAAO,EACX,GAAE;QACD,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,gBAAgB,CAAC,EAAE,MAAM,CAAC;QAC1B,eAAe,CAAC,EAAE,sBAAsB,CAAC;QACzC,qBAAqB,CAAC,EAAE,MAAM,CAAC;KAChC,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GACxD,OAAO,CAAC,UAAU,CAAC,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAM,uBAmBrD;CACF"}
1
+ {"version":3,"file":"checkpoint.d.ts","sourceRoot":"","sources":["../../src/checkpoint/checkpoint.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,gBAAgB,EAEhB,qBAAqB,EACrB,UAAU,EACX,MAAM,iCAAiC,CAAC;AAEzC,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAA4C,MAAM,6BAA6B,CAAC;AACrG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAG/C,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAElE,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D,KAAK,kBAAkB,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;AAE7D,qBAAa,UAAU;IAEnB,8DAA8D;IACvD,OAAO,EAAE,sBAAsB;IACtC,gCAAgC;IACzB,MAAM,EAAE,gBAAgB;IAC/B,mCAAmC;IAC5B,MAAM,EAAE,OAAO,EAAE;IACxB,gCAAgC;IACzB,MAAM,EAAE,gBAAgB;IAC/B,yFAAyF;IAClF,qBAAqB,EAAE,MAAM;IAVtC;IACE,8DAA8D;IACvD,OAAO,EAAE,sBAAsB;IACtC,gCAAgC;IACzB,MAAM,EAAE,gBAAgB;IAC/B,mCAAmC;IAC5B,MAAM,EAAE,OAAO,EAAE;IACxB,gCAAgC;IACzB,MAAM,EAAE,gBAAgB;IAC/B,yFAAyF;IAClF,qBAAqB,GAAE,MAAW,EACvC;IAEJ,IAAI,IAAI,IAAI,UAAU,CAErB;IAED,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAahB;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,kBAAkB,cAErC;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,kBAAkB,4FAE1C;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,cAQ3C;IAEM,QAAQ,4BASd;IAEM,YAAY,IAAI,EAAE,EAAE,CAG1B;IAEM,IAAI,IAAI,EAAE,CAEhB;IAED;;;;OAIG;IACI,oBAAoB,IAAI,EAAE,CAEhC;IAED;;;;OAIG;IACH,MAAM,CAAC,oBAAoB,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAGjD;IAEM,QAAQ,sDAEd;IAEM,gBAAgB,IAAI,cAAc,CAQxC;IAED,qCAAqC;IAC9B,QAAQ;;;;;;;;;;MAkBd;IAED,OAAa,MAAM,CACjB,gBAAgB,mBAAsB,EACtC,EACE,SAAa,EACb,gBAAoB,EACpB,eAAe,EACf,qBAA0B,EAC1B,GAAG,OAAO,EACX,GAAE;QACD,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,gBAAgB,CAAC,EAAE,MAAM,CAAC;QAC1B,eAAe,CAAC,EAAE,sBAAsB,CAAC;QACzC,qBAAqB,CAAC,EAAE,MAAM,CAAC;QAC/B,OAAO,CAAC,EAAE,sBAAsB,CAAC;KAClC,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GACxD,OAAO,CAAC,UAAU,CAAC,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAM,uBA4BrD;CACF"}
@@ -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';
@@ -70,7 +70,14 @@ export class Checkpoint {
70
70
  * Note: This value is different from the out hash in the header, which is the **accumulated** out hash over all
71
71
  * checkpoints up to and including this one in the epoch.
72
72
  */ getCheckpointOutHash() {
73
- const msgs = this.blocks.map((block)=>block.body.txEffects.map((txEffect)=>txEffect.l2ToL1Msgs));
73
+ return Checkpoint.getCheckpointOutHash(this.blocks);
74
+ }
75
+ /**
76
+ * Returns the out hash computed from all l2-to-l1 messages in this checkpoint.
77
+ * Note: This value is different from the out hash in the header, which is the **accumulated** out hash over all
78
+ * checkpoints up to and including this one in the epoch.
79
+ */ static getCheckpointOutHash(blocks) {
80
+ const msgs = blocks.map((block)=>block.body.txEffects.map((txEffect)=>txEffect.l2ToL1Msgs));
74
81
  return computeCheckpointOutHash(msgs);
75
82
  }
76
83
  getState() {
@@ -103,22 +110,28 @@ export class Checkpoint {
103
110
  };
104
111
  }
105
112
  static async random(checkpointNumber = CheckpointNumber(1), { numBlocks = 1, startBlockNumber = 1, previousArchive, feeAssetPriceModifier = 0n, ...options } = {}) {
106
- const header = CheckpointHeader.random(options);
113
+ const headerOptions = previousArchive ? {
114
+ lastArchiveRoot: previousArchive.root,
115
+ ...options
116
+ } : options;
117
+ const header = CheckpointHeader.random(headerOptions);
107
118
  // Create blocks sequentially to chain archive roots properly.
108
119
  // Each block's header.lastArchive must equal the previous block's archive.
109
120
  const blocks = [];
110
121
  let lastArchive = previousArchive;
111
122
  for(let i = 0; i < numBlocks; i++){
112
123
  const block = await L2Block.random(BlockNumber(startBlockNumber + i), {
124
+ checkpointNumber,
113
125
  indexWithinCheckpoint: IndexWithinCheckpoint(i),
114
126
  ...options,
115
127
  ...lastArchive ? {
116
128
  lastArchive
117
- } : {}
129
+ } : {},
130
+ ...pick(header, 'slotNumber', 'timestamp', 'coinbase', 'feeRecipient', 'gasFees')
118
131
  });
119
132
  lastArchive = block.archive;
120
133
  blocks.push(block);
121
134
  }
122
- return new Checkpoint(AppendOnlyTreeSnapshot.random(), header, blocks, checkpointNumber, feeAssetPriceModifier);
135
+ return new Checkpoint(options.archive ?? AppendOnlyTreeSnapshot.random(), header, blocks, checkpointNumber, feeAssetPriceModifier);
123
136
  }
124
137
  }
@@ -5,17 +5,83 @@ import { CommitteeAttestation } from '../block/proposal/committee_attestation.js
5
5
  import { CheckpointHeader } from '../rollup/checkpoint_header.js';
6
6
  import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
7
7
  import { L1PublishedData } from './published_checkpoint.js';
8
- /** Lightweight checkpoint metadata without full block data. */
9
- export type CheckpointData = {
8
+ /** Base type for checkpoint data */
9
+ export type CommonCheckpointData = {
10
10
  checkpointNumber: CheckpointNumber;
11
11
  header: CheckpointHeader;
12
- archive: AppendOnlyTreeSnapshot;
13
- checkpointOutHash: Fr;
14
12
  startBlock: BlockNumber;
15
13
  blockCount: number;
14
+ };
15
+ /** Data stored with checkpoint data after publishing on l1 */
16
+ export type L1EnrichedCheckpointData = {
16
17
  attestations: CommitteeAttestation[];
17
18
  l1: L1PublishedData;
18
19
  };
20
+ /** Data stored alongside checkpoint data in storage */
21
+ export type StorageEnrichedCheckpointData = {
22
+ archive: AppendOnlyTreeSnapshot;
23
+ checkpointOutHash: Fr;
24
+ };
25
+ /** Data stored only with proposed checkpoint data */
26
+ export type ProposedOnlyCheckpointData = {
27
+ totalManaUsed: bigint;
28
+ feeAssetPriceModifier: bigint;
29
+ };
30
+ /** Lightweight checkpoint metadata without full block data. */
31
+ export type CheckpointData = CommonCheckpointData & StorageEnrichedCheckpointData & L1EnrichedCheckpointData;
32
+ /** Input for setting a proposed checkpoint. The archive and checkpointOutHash are computed
33
+ * internally by the block store from the stored blocks. */
34
+ export type ProposedCheckpointInput = CommonCheckpointData & ProposedOnlyCheckpointData;
35
+ /** Full data for a proposed checkpoint (proposed but not yet L1-confirmed).
36
+ * Includes fee-relevant fields used during pipelining to compute the fee header override. */
37
+ export type ProposedCheckpointData = ProposedCheckpointInput & StorageEnrichedCheckpointData;
38
+ export declare const ProposedCheckpointDataSchema: z.ZodObject<{
39
+ checkpointNumber: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, CheckpointNumber, string | number | bigint>;
40
+ header: import("@aztec/foundation/schemas").ZodFor<CheckpointHeader>;
41
+ archive: z.ZodEffects<z.ZodObject<{
42
+ root: z.ZodType<Fr, any, string>;
43
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
44
+ }, "strip", z.ZodTypeAny, {
45
+ root: Fr;
46
+ nextAvailableLeafIndex: number;
47
+ }, {
48
+ root: string;
49
+ nextAvailableLeafIndex: string | number | bigint;
50
+ }>, AppendOnlyTreeSnapshot, {
51
+ root: string;
52
+ nextAvailableLeafIndex: string | number | bigint;
53
+ }>;
54
+ checkpointOutHash: z.ZodType<Fr, any, string>;
55
+ startBlock: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, BlockNumber, string | number | bigint>;
56
+ blockCount: z.ZodNumber;
57
+ totalManaUsed: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
58
+ feeAssetPriceModifier: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
59
+ }, "strip", z.ZodTypeAny, {
60
+ checkpointNumber: number & {
61
+ _branding: "CheckpointNumber";
62
+ };
63
+ header: CheckpointHeader;
64
+ archive: AppendOnlyTreeSnapshot;
65
+ checkpointOutHash: Fr;
66
+ startBlock: number & {
67
+ _branding: "BlockNumber";
68
+ };
69
+ blockCount: number;
70
+ totalManaUsed: bigint;
71
+ feeAssetPriceModifier: bigint;
72
+ }, {
73
+ checkpointNumber: string | number | bigint;
74
+ header?: any;
75
+ archive: {
76
+ root: string;
77
+ nextAvailableLeafIndex: string | number | bigint;
78
+ };
79
+ checkpointOutHash: string;
80
+ startBlock: string | number | bigint;
81
+ blockCount: number;
82
+ totalManaUsed: string | number | bigint;
83
+ feeAssetPriceModifier: string | number | bigint;
84
+ }>;
19
85
  export declare const CheckpointDataSchema: z.ZodEffects<z.ZodObject<{
20
86
  checkpointNumber: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, CheckpointNumber, string | number | bigint>;
21
87
  header: import("@aztec/foundation/schemas").ZodFor<CheckpointHeader>;
@@ -117,4 +183,4 @@ export declare const CheckpointDataSchema: z.ZodEffects<z.ZodObject<{
117
183
  blockHash: string;
118
184
  };
119
185
  }>;
120
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvY2hlY2twb2ludC9jaGVja3BvaW50X2RhdGEudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUNMLFdBQVcsRUFFWCxnQkFBZ0IsRUFFakIsTUFBTSxpQ0FBaUMsQ0FBQztBQUN6QyxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFHcEQsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUV4QixPQUFPLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSw0Q0FBNEMsQ0FBQztBQUNsRixPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNsRSxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx1Q0FBdUMsQ0FBQztBQUMvRSxPQUFPLEVBQUUsZUFBZSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFFNUQsK0RBQStEO0FBQy9ELE1BQU0sTUFBTSxjQUFjLEdBQUc7SUFDM0IsZ0JBQWdCLEVBQUUsZ0JBQWdCLENBQUM7SUFDbkMsTUFBTSxFQUFFLGdCQUFnQixDQUFDO0lBQ3pCLE9BQU8sRUFBRSxzQkFBc0IsQ0FBQztJQUNoQyxpQkFBaUIsRUFBRSxFQUFFLENBQUM7SUFDdEIsVUFBVSxFQUFFLFdBQVcsQ0FBQztJQUN4QixVQUFVLEVBQUUsTUFBTSxDQUFDO0lBQ25CLFlBQVksRUFBRSxvQkFBb0IsRUFBRSxDQUFDO0lBQ3JDLEVBQUUsRUFBRSxlQUFlLENBQUM7Q0FDckIsQ0FBQztBQUVGLGVBQU8sTUFBTSxvQkFBb0I7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7RUFzQjlCLENBQUMifQ==
186
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvY2hlY2twb2ludC9jaGVja3BvaW50X2RhdGEudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUNMLFdBQVcsRUFFWCxnQkFBZ0IsRUFFakIsTUFBTSxpQ0FBaUMsQ0FBQztBQUN6QyxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFHcEQsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUV4QixPQUFPLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSw0Q0FBNEMsQ0FBQztBQUNsRixPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNsRSxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx1Q0FBdUMsQ0FBQztBQUMvRSxPQUFPLEVBQUUsZUFBZSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFFNUQsb0NBQW9DO0FBQ3BDLE1BQU0sTUFBTSxvQkFBb0IsR0FBRztJQUNqQyxnQkFBZ0IsRUFBRSxnQkFBZ0IsQ0FBQztJQUNuQyxNQUFNLEVBQUUsZ0JBQWdCLENBQUM7SUFDekIsVUFBVSxFQUFFLFdBQVcsQ0FBQztJQUN4QixVQUFVLEVBQUUsTUFBTSxDQUFDO0NBQ3BCLENBQUM7QUFFRiw4REFBOEQ7QUFDOUQsTUFBTSxNQUFNLHdCQUF3QixHQUFHO0lBQ3JDLFlBQVksRUFBRSxvQkFBb0IsRUFBRSxDQUFDO0lBQ3JDLEVBQUUsRUFBRSxlQUFlLENBQUM7Q0FDckIsQ0FBQztBQUVGLHVEQUF1RDtBQUN2RCxNQUFNLE1BQU0sNkJBQTZCLEdBQUc7SUFDMUMsT0FBTyxFQUFFLHNCQUFzQixDQUFDO0lBQ2hDLGlCQUFpQixFQUFFLEVBQUUsQ0FBQztDQUN2QixDQUFDO0FBRUYsc0RBQXNEO0FBQ3RELE1BQU0sTUFBTSwwQkFBMEIsR0FBRztJQUN2QyxhQUFhLEVBQUUsTUFBTSxDQUFDO0lBQ3RCLHFCQUFxQixFQUFFLE1BQU0sQ0FBQztDQUMvQixDQUFDO0FBRUYsK0RBQStEO0FBQy9ELE1BQU0sTUFBTSxjQUFjLEdBQUcsb0JBQW9CLEdBQUcsNkJBQTZCLEdBQUcsd0JBQXdCLENBQUM7QUFFN0c7NERBQzREO0FBQzVELE1BQU0sTUFBTSx1QkFBdUIsR0FBRyxvQkFBb0IsR0FBRywwQkFBMEIsQ0FBQztBQUV4Rjs4RkFDOEY7QUFDOUYsTUFBTSxNQUFNLHNCQUFzQixHQUFHLHVCQUF1QixHQUFHLDZCQUE2QixDQUFDO0FBRTdGLGVBQU8sTUFBTSw0QkFBNEI7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7RUFTdkMsQ0FBQztBQUVILGVBQU8sTUFBTSxvQkFBb0I7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7RUFzQjlCLENBQUMifQ==
@@ -1 +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"}
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,oCAAoC;AACpC,MAAM,MAAM,oBAAoB,GAAG;IACjC,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,MAAM,EAAE,gBAAgB,CAAC;IACzB,UAAU,EAAE,WAAW,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,8DAA8D;AAC9D,MAAM,MAAM,wBAAwB,GAAG;IACrC,YAAY,EAAE,oBAAoB,EAAE,CAAC;IACrC,EAAE,EAAE,eAAe,CAAC;CACrB,CAAC;AAEF,uDAAuD;AACvD,MAAM,MAAM,6BAA6B,GAAG;IAC1C,OAAO,EAAE,sBAAsB,CAAC;IAChC,iBAAiB,EAAE,EAAE,CAAC;CACvB,CAAC;AAEF,sDAAsD;AACtD,MAAM,MAAM,0BAA0B,GAAG;IACvC,aAAa,EAAE,MAAM,CAAC;IACtB,qBAAqB,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF,+DAA+D;AAC/D,MAAM,MAAM,cAAc,GAAG,oBAAoB,GAAG,6BAA6B,GAAG,wBAAwB,CAAC;AAE7G;4DAC4D;AAC5D,MAAM,MAAM,uBAAuB,GAAG,oBAAoB,GAAG,0BAA0B,CAAC;AAExF;8FAC8F;AAC9F,MAAM,MAAM,sBAAsB,GAAG,uBAAuB,GAAG,6BAA6B,CAAC;AAE7F,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EASvC,CAAC;AAEH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAsB9B,CAAC"}
@@ -5,6 +5,16 @@ import { CommitteeAttestation } from '../block/proposal/committee_attestation.js
5
5
  import { CheckpointHeader } from '../rollup/checkpoint_header.js';
6
6
  import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
7
7
  import { L1PublishedData } from './published_checkpoint.js';
8
+ export const ProposedCheckpointDataSchema = z.object({
9
+ checkpointNumber: CheckpointNumberSchema,
10
+ header: CheckpointHeader.schema,
11
+ archive: AppendOnlyTreeSnapshot.schema,
12
+ checkpointOutHash: schemas.Fr,
13
+ startBlock: BlockNumberSchema,
14
+ blockCount: z.number(),
15
+ totalManaUsed: schemas.BigInt,
16
+ feeAssetPriceModifier: schemas.BigInt
17
+ });
8
18
  export const CheckpointDataSchema = z.object({
9
19
  checkpointNumber: CheckpointNumberSchema,
10
20
  header: CheckpointHeader.schema,
@@ -2,4 +2,5 @@ export * from './checkpoint.js';
2
2
  export * from './checkpoint_data.js';
3
3
  export * from './checkpoint_info.js';
4
4
  export * from './published_checkpoint.js';
5
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jaGVja3BvaW50L2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGNBQWMsaUJBQWlCLENBQUM7QUFDaEMsY0FBYyxzQkFBc0IsQ0FBQztBQUNyQyxjQUFjLHNCQUFzQixDQUFDO0FBQ3JDLGNBQWMsMkJBQTJCLENBQUMifQ==
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,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"}
@@ -2,3 +2,4 @@ export * from './checkpoint.js';
2
2
  export * from './checkpoint_data.js';
3
3
  export * from './checkpoint_info.js';
4
4
  export * from './published_checkpoint.js';
5
+ export * from './validate.js';
@@ -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
+ }
@@ -16,4 +16,4 @@ export type ChainConfig = {
16
16
  rollupAddress: EthAddress;
17
17
  };
18
18
  };
19
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hhaW4tY29uZmlnLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvY29uZmlnL2NoYWluLWNvbmZpZy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEtBQUssRUFBRSxrQkFBa0IsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBQ25FLE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUUzRCxPQUFPLEVBQUUsS0FBSyxlQUFlLEVBQUUscUJBQXFCLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUN2RixPQUFPLEVBQUUsS0FBSyxjQUFjLEVBQUUsTUFBTSxrQ0FBa0MsQ0FBQztBQUV2RSxlQUFPLE1BQU0sZ0JBQWdCLEVBQUUsV0FJOUIsQ0FBQztBQUVGLGVBQU8sTUFBTSxtQkFBbUIsRUFBRSxrQkFBa0IsQ0FBQyxXQUFXLENBZ0IvRCxDQUFDO0FBRUYsMkJBQTJCO0FBQzNCLE1BQU0sTUFBTSxXQUFXLEdBQUc7SUFDeEIseUNBQXlDO0lBQ3pDLFNBQVMsRUFBRSxNQUFNLENBQUM7SUFDbEIsaUNBQWlDO0lBQ2pDLGFBQWEsRUFBRSxNQUFNLENBQUM7SUFDdEIsdUNBQXVDO0lBQ3ZDLFdBQVcsRUFBRTtRQUNYLDRCQUE0QjtRQUM1QixhQUFhLEVBQUUsVUFBVSxDQUFDO0tBQzNCLENBQUM7Q0FDSCxDQUFDIn0=
19
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hhaW4tY29uZmlnLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvY29uZmlnL2NoYWluLWNvbmZpZy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEtBQUssRUFBRSxrQkFBa0IsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBQ25FLE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUUzRCxPQUFPLEVBQUUsS0FBSyxlQUFlLEVBQUUscUJBQXFCLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUN2RixPQUFPLEVBQUUsS0FBSyxjQUFjLEVBQUUsTUFBTSxrQ0FBa0MsQ0FBQztBQUV2RSxlQUFPLE1BQU0sZ0JBQWdCLEVBQUUsV0FJOUIsQ0FBQztBQUVGLGVBQU8sTUFBTSxtQkFBbUIsRUFBRSxrQkFBa0IsQ0FBQyxXQUFXLENBc0IvRCxDQUFDO0FBRUYsMkJBQTJCO0FBQzNCLE1BQU0sTUFBTSxXQUFXLEdBQUc7SUFDeEIseUNBQXlDO0lBQ3pDLFNBQVMsRUFBRSxNQUFNLENBQUM7SUFDbEIsaUNBQWlDO0lBQ2pDLGFBQWEsRUFBRSxNQUFNLENBQUM7SUFDdEIsdUNBQXVDO0lBQ3ZDLFdBQVcsRUFBRTtRQUNYLDRCQUE0QjtRQUM1QixhQUFhLEVBQUUsVUFBVSxDQUFDO0tBQzNCLENBQUM7Q0FDSCxDQUFDIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"chain-config.d.ts","sourceRoot":"","sources":["../../src/config/chain-config.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAE3D,OAAO,EAAE,KAAK,eAAe,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACvF,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAEvE,eAAO,MAAM,gBAAgB,EAAE,WAI9B,CAAC;AAEF,eAAO,MAAM,mBAAmB,EAAE,kBAAkB,CAAC,WAAW,CAgB/D,CAAC;AAEF,2BAA2B;AAC3B,MAAM,MAAM,WAAW,GAAG;IACxB,yCAAyC;IACzC,SAAS,EAAE,MAAM,CAAC;IAClB,iCAAiC;IACjC,aAAa,EAAE,MAAM,CAAC;IACtB,uCAAuC;IACvC,WAAW,EAAE;QACX,4BAA4B;QAC5B,aAAa,EAAE,UAAU,CAAC;KAC3B,CAAC;CACH,CAAC"}
1
+ {"version":3,"file":"chain-config.d.ts","sourceRoot":"","sources":["../../src/config/chain-config.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAE3D,OAAO,EAAE,KAAK,eAAe,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACvF,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAEvE,eAAO,MAAM,gBAAgB,EAAE,WAI9B,CAAC;AAEF,eAAO,MAAM,mBAAmB,EAAE,kBAAkB,CAAC,WAAW,CAsB/D,CAAC;AAEF,2BAA2B;AAC3B,MAAM,MAAM,WAAW,GAAG;IACxB,yCAAyC;IACzC,SAAS,EAAE,MAAM,CAAC;IAClB,iCAAiC;IACjC,aAAa,EAAE,MAAM,CAAC;IACtB,uCAAuC;IACvC,WAAW,EAAE;QACX,4BAA4B;QAC5B,aAAa,EAAE,UAAU,CAAC;KAC3B,CAAC;CACH,CAAC"}
@@ -18,7 +18,13 @@ export const chainConfigMappings = {
18
18
  rollupVersion: {
19
19
  env: 'ROLLUP_VERSION',
20
20
  description: 'The version of the rollup.',
21
- parseEnv: (val)=>Number.isSafeInteger(parseInt(val, 10)) ? parseInt(val, 10) : undefined
21
+ parseEnv: (val)=>{
22
+ const parsed = parseInt(val, 10);
23
+ if (!Number.isSafeInteger(parsed)) {
24
+ throw new Error(`Invalid rollup version: ${val}`);
25
+ }
26
+ return parsed;
27
+ }
22
28
  },
23
29
  l1Contracts: {
24
30
  description: 'The deployed L1 contract addresses',