@aztec/stdlib 0.0.1-commit.dbf9cec → 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 (471) 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 +6 -45
  10. package/dest/abi/decoder.d.ts.map +1 -1
  11. package/dest/abi/decoder.js +17 -67
  12. package/dest/abi/encoder.d.ts +1 -1
  13. package/dest/abi/encoder.d.ts.map +1 -1
  14. package/dest/abi/encoder.js +28 -1
  15. package/dest/abi/event_metadata_definition.d.ts +3 -1
  16. package/dest/abi/event_metadata_definition.d.ts.map +1 -1
  17. package/dest/abi/event_metadata_definition.js +1 -1
  18. package/dest/abi/event_selector.d.ts +3 -6
  19. package/dest/abi/event_selector.d.ts.map +1 -1
  20. package/dest/abi/function_selector.d.ts +3 -6
  21. package/dest/abi/function_selector.d.ts.map +1 -1
  22. package/dest/abi/function_selector.js +2 -4
  23. package/dest/abi/function_signature_decoder.d.ts +43 -0
  24. package/dest/abi/function_signature_decoder.d.ts.map +1 -0
  25. package/dest/abi/function_signature_decoder.js +66 -0
  26. package/dest/abi/index.d.ts +2 -1
  27. package/dest/abi/index.d.ts.map +1 -1
  28. package/dest/abi/index.js +1 -0
  29. package/dest/abi/note_selector.d.ts +3 -6
  30. package/dest/abi/note_selector.d.ts.map +1 -1
  31. package/dest/abi/note_selector.js +1 -3
  32. package/dest/abi/selector.d.ts +2 -2
  33. package/dest/abi/selector.d.ts.map +1 -1
  34. package/dest/abi/selector.js +1 -1
  35. package/dest/abi/utils.d.ts +14 -1
  36. package/dest/abi/utils.d.ts.map +1 -1
  37. package/dest/abi/utils.js +15 -0
  38. package/dest/avm/revert_code.d.ts +8 -18
  39. package/dest/avm/revert_code.d.ts.map +1 -1
  40. package/dest/avm/revert_code.js +15 -30
  41. package/dest/aztec-address/index.d.ts +3 -6
  42. package/dest/aztec-address/index.d.ts.map +1 -1
  43. package/dest/aztec-address/index.js +2 -4
  44. package/dest/block/block_data.d.ts +8 -8
  45. package/dest/block/block_data.d.ts.map +1 -1
  46. package/dest/block/block_data.js +2 -2
  47. package/dest/block/block_hash.d.ts +11 -10
  48. package/dest/block/block_hash.d.ts.map +1 -1
  49. package/dest/block/block_hash.js +10 -9
  50. package/dest/block/l2_block.d.ts +9 -1
  51. package/dest/block/l2_block.d.ts.map +1 -1
  52. package/dest/block/l2_block.js +12 -2
  53. package/dest/block/l2_block_info.d.ts +6 -5
  54. package/dest/block/l2_block_info.d.ts.map +1 -1
  55. package/dest/block/l2_block_info.js +6 -5
  56. package/dest/block/l2_block_source.d.ts +95 -10
  57. package/dest/block/l2_block_source.d.ts.map +1 -1
  58. package/dest/block/l2_block_source.js +1 -0
  59. package/dest/block/l2_block_stream/interfaces.d.ts +6 -3
  60. package/dest/block/l2_block_stream/interfaces.d.ts.map +1 -1
  61. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts +1 -1
  62. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts.map +1 -1
  63. package/dest/block/l2_block_stream/l2_tips_store_base.js +18 -5
  64. package/dest/block/test/l2_tips_store_test_suite.d.ts +1 -1
  65. package/dest/block/test/l2_tips_store_test_suite.d.ts.map +1 -1
  66. package/dest/block/test/l2_tips_store_test_suite.js +4 -3
  67. package/dest/checkpoint/checkpoint.d.ts +8 -1
  68. package/dest/checkpoint/checkpoint.d.ts.map +1 -1
  69. package/dest/checkpoint/checkpoint.js +18 -5
  70. package/dest/checkpoint/checkpoint_data.d.ts +71 -5
  71. package/dest/checkpoint/checkpoint_data.d.ts.map +1 -1
  72. package/dest/checkpoint/checkpoint_data.js +10 -0
  73. package/dest/checkpoint/index.d.ts +2 -1
  74. package/dest/checkpoint/index.d.ts.map +1 -1
  75. package/dest/checkpoint/index.js +1 -0
  76. package/dest/checkpoint/validate.d.ts +36 -0
  77. package/dest/checkpoint/validate.d.ts.map +1 -0
  78. package/dest/checkpoint/validate.js +120 -0
  79. package/dest/config/chain-config.d.ts +1 -1
  80. package/dest/config/chain-config.d.ts.map +1 -1
  81. package/dest/config/chain-config.js +7 -1
  82. package/dest/config/index.d.ts +2 -1
  83. package/dest/config/index.d.ts.map +1 -1
  84. package/dest/config/index.js +1 -0
  85. package/dest/config/pipelining-config.d.ts +19 -0
  86. package/dest/config/pipelining-config.d.ts.map +1 -0
  87. package/dest/config/pipelining-config.js +18 -0
  88. package/dest/config/sequencer-config.d.ts +4 -2
  89. package/dest/config/sequencer-config.d.ts.map +1 -1
  90. package/dest/config/sequencer-config.js +15 -2
  91. package/dest/contract/contract_address.d.ts +3 -3
  92. package/dest/contract/contract_address.js +3 -3
  93. package/dest/contract/contract_class_id.d.ts +2 -2
  94. package/dest/contract/contract_class_id.js +2 -2
  95. package/dest/contract/index.d.ts +1 -3
  96. package/dest/contract/index.d.ts.map +1 -1
  97. package/dest/contract/index.js +0 -2
  98. package/dest/contract/interfaces/contract_class.d.ts +3 -156
  99. package/dest/contract/interfaces/contract_class.d.ts.map +1 -1
  100. package/dest/contract/interfaces/contract_class.js +1 -28
  101. package/dest/epoch-helpers/index.d.ts +11 -1
  102. package/dest/epoch-helpers/index.d.ts.map +1 -1
  103. package/dest/epoch-helpers/index.js +16 -2
  104. package/dest/file-store/factory.d.ts +4 -3
  105. package/dest/file-store/factory.d.ts.map +1 -1
  106. package/dest/file-store/factory.js +2 -2
  107. package/dest/file-store/http.d.ts +9 -2
  108. package/dest/file-store/http.d.ts.map +1 -1
  109. package/dest/file-store/http.js +20 -9
  110. package/dest/file-store/index.d.ts +2 -1
  111. package/dest/file-store/index.d.ts.map +1 -1
  112. package/dest/gas/fee_math.d.ts +49 -0
  113. package/dest/gas/fee_math.d.ts.map +1 -0
  114. package/dest/gas/fee_math.js +80 -0
  115. package/dest/gas/gas_fees.d.ts +1 -1
  116. package/dest/gas/gas_fees.d.ts.map +1 -1
  117. package/dest/gas/gas_fees.js +13 -1
  118. package/dest/gas/gas_settings.d.ts +40 -3
  119. package/dest/gas/gas_settings.d.ts.map +1 -1
  120. package/dest/gas/gas_settings.js +50 -6
  121. package/dest/gas/index.d.ts +2 -1
  122. package/dest/gas/index.d.ts.map +1 -1
  123. package/dest/gas/index.js +1 -0
  124. package/dest/ha-signing/config.d.ts +49 -14
  125. package/dest/ha-signing/config.d.ts.map +1 -1
  126. package/dest/ha-signing/config.js +20 -15
  127. package/dest/ha-signing/index.d.ts +4 -3
  128. package/dest/ha-signing/index.d.ts.map +1 -1
  129. package/dest/ha-signing/index.js +3 -2
  130. package/dest/ha-signing/local_config.d.ts +63 -0
  131. package/dest/ha-signing/local_config.d.ts.map +1 -0
  132. package/dest/ha-signing/local_config.js +24 -0
  133. package/dest/ha-signing/types.d.ts +37 -32
  134. package/dest/ha-signing/types.d.ts.map +1 -1
  135. package/dest/ha-signing/types.js +13 -6
  136. package/dest/hash/hash.d.ts +19 -1
  137. package/dest/hash/hash.d.ts.map +1 -1
  138. package/dest/hash/hash.js +29 -0
  139. package/dest/interfaces/allowed_element.d.ts +26 -20
  140. package/dest/interfaces/allowed_element.d.ts.map +1 -1
  141. package/dest/interfaces/allowed_element.js +8 -8
  142. package/dest/interfaces/archiver.d.ts +1 -1
  143. package/dest/interfaces/archiver.d.ts.map +1 -1
  144. package/dest/interfaces/archiver.js +6 -3
  145. package/dest/interfaces/aztec-node-admin.d.ts +79 -43
  146. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  147. package/dest/interfaces/aztec-node-admin.js +3 -3
  148. package/dest/interfaces/aztec-node-debug.d.ts +21 -0
  149. package/dest/interfaces/aztec-node-debug.d.ts.map +1 -0
  150. package/dest/interfaces/aztec-node-debug.js +18 -0
  151. package/dest/interfaces/aztec-node.d.ts +21 -6
  152. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  153. package/dest/interfaces/aztec-node.js +7 -2
  154. package/dest/interfaces/block-builder.d.ts +38 -11
  155. package/dest/interfaces/block-builder.d.ts.map +1 -1
  156. package/dest/interfaces/block-builder.js +13 -6
  157. package/dest/interfaces/client.d.ts +2 -1
  158. package/dest/interfaces/client.d.ts.map +1 -1
  159. package/dest/interfaces/client.js +1 -0
  160. package/dest/interfaces/configs.d.ts +62 -32
  161. package/dest/interfaces/configs.d.ts.map +1 -1
  162. package/dest/interfaces/configs.js +6 -2
  163. package/dest/interfaces/l2_logs_source.d.ts +5 -3
  164. package/dest/interfaces/l2_logs_source.d.ts.map +1 -1
  165. package/dest/interfaces/merkle_tree_operations.d.ts +12 -21
  166. package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
  167. package/dest/interfaces/prover-client.d.ts +6 -1
  168. package/dest/interfaces/prover-client.d.ts.map +1 -1
  169. package/dest/interfaces/prover-client.js +7 -4
  170. package/dest/interfaces/proving-job.d.ts +200 -200
  171. package/dest/interfaces/slasher.d.ts +1 -10
  172. package/dest/interfaces/slasher.d.ts.map +1 -1
  173. package/dest/interfaces/slasher.js +0 -2
  174. package/dest/interfaces/validator.d.ts +111 -60
  175. package/dest/interfaces/validator.d.ts.map +1 -1
  176. package/dest/interfaces/validator.js +8 -5
  177. package/dest/interfaces/world_state.d.ts +5 -4
  178. package/dest/interfaces/world_state.d.ts.map +1 -1
  179. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts +2 -1
  180. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts.map +1 -1
  181. package/dest/kernel/private_kernel_tail_circuit_public_inputs.js +4 -0
  182. package/dest/kv-store/config.d.ts +17 -0
  183. package/dest/kv-store/config.d.ts.map +1 -0
  184. package/dest/kv-store/config.js +26 -0
  185. package/dest/kv-store/index.d.ts +2 -0
  186. package/dest/kv-store/index.d.ts.map +1 -0
  187. package/dest/kv-store/index.js +1 -0
  188. package/dest/l1-contracts/index.d.ts +2 -2
  189. package/dest/l1-contracts/index.d.ts.map +1 -1
  190. package/dest/l1-contracts/index.js +1 -1
  191. package/dest/logs/extended_directional_app_tagging_secret.d.ts +4 -4
  192. package/dest/logs/extended_directional_app_tagging_secret.d.ts.map +1 -1
  193. package/dest/logs/extended_directional_app_tagging_secret.js +12 -5
  194. package/dest/logs/index.d.ts +2 -1
  195. package/dest/logs/index.d.ts.map +1 -1
  196. package/dest/logs/index.js +1 -0
  197. package/dest/logs/log_filter.d.ts +4 -1
  198. package/dest/logs/log_filter.d.ts.map +1 -1
  199. package/dest/logs/log_filter.js +2 -1
  200. package/dest/logs/log_id.d.ts +1 -1
  201. package/dest/logs/log_id.d.ts.map +1 -1
  202. package/dest/logs/log_id.js +1 -2
  203. package/dest/logs/message_context.d.ts +4 -7
  204. package/dest/logs/message_context.d.ts.map +1 -1
  205. package/dest/logs/message_context.js +23 -9
  206. package/dest/logs/pending_tagged_log.d.ts +2 -3
  207. package/dest/logs/pending_tagged_log.d.ts.map +1 -1
  208. package/dest/logs/pending_tagged_log.js +2 -2
  209. package/dest/logs/public_log.d.ts +4 -3
  210. package/dest/logs/public_log.d.ts.map +1 -1
  211. package/dest/logs/public_log.js +2 -1
  212. package/dest/logs/shared_secret_derivation.d.ts +11 -10
  213. package/dest/logs/shared_secret_derivation.d.ts.map +1 -1
  214. package/dest/logs/shared_secret_derivation.js +15 -9
  215. package/dest/logs/siloed_tag.d.ts +8 -7
  216. package/dest/logs/siloed_tag.d.ts.map +1 -1
  217. package/dest/logs/siloed_tag.js +11 -3
  218. package/dest/logs/tag.d.ts +5 -6
  219. package/dest/logs/tag.d.ts.map +1 -1
  220. package/dest/logs/tag.js +4 -0
  221. package/dest/logs/tagging_index_range.d.ts +40 -0
  222. package/dest/logs/tagging_index_range.d.ts.map +1 -0
  223. package/dest/logs/tagging_index_range.js +8 -0
  224. package/dest/logs/tx_scoped_l2_log.d.ts +3 -1
  225. package/dest/logs/tx_scoped_l2_log.d.ts.map +1 -1
  226. package/dest/logs/tx_scoped_l2_log.js +7 -0
  227. package/dest/messaging/l1_to_l2_message.d.ts +3 -2
  228. package/dest/messaging/l1_to_l2_message.d.ts.map +1 -1
  229. package/dest/messaging/l1_to_l2_message.js +11 -13
  230. package/dest/messaging/l1_to_l2_message_source.d.ts +4 -2
  231. package/dest/messaging/l1_to_l2_message_source.d.ts.map +1 -1
  232. package/dest/messaging/l2_to_l1_membership.d.ts +32 -6
  233. package/dest/messaging/l2_to_l1_membership.d.ts.map +1 -1
  234. package/dest/messaging/l2_to_l1_membership.js +69 -26
  235. package/dest/noir/index.d.ts +3 -3
  236. package/dest/noir/index.d.ts.map +1 -1
  237. package/dest/note/note_dao.d.ts +1 -1
  238. package/dest/note/note_dao.d.ts.map +1 -1
  239. package/dest/note/note_dao.js +1 -4
  240. package/dest/p2p/block_proposal.d.ts +6 -8
  241. package/dest/p2p/block_proposal.d.ts.map +1 -1
  242. package/dest/p2p/block_proposal.js +4 -9
  243. package/dest/p2p/checkpoint_attestation.d.ts +4 -6
  244. package/dest/p2p/checkpoint_attestation.d.ts.map +1 -1
  245. package/dest/p2p/checkpoint_attestation.js +2 -7
  246. package/dest/p2p/checkpoint_proposal.d.ts +8 -15
  247. package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
  248. package/dest/p2p/checkpoint_proposal.js +5 -34
  249. package/dest/p2p/gossipable.d.ts +4 -4
  250. package/dest/p2p/gossipable.d.ts.map +1 -1
  251. package/dest/p2p/peer_error.d.ts +3 -1
  252. package/dest/p2p/peer_error.d.ts.map +1 -1
  253. package/dest/p2p/peer_error.js +5 -0
  254. package/dest/proofs/chonk_proof.d.ts +46 -2
  255. package/dest/proofs/chonk_proof.d.ts.map +1 -1
  256. package/dest/proofs/chonk_proof.js +85 -10
  257. package/dest/slashing/index.d.ts +2 -3
  258. package/dest/slashing/index.d.ts.map +1 -1
  259. package/dest/slashing/index.js +1 -2
  260. package/dest/slashing/serialization.d.ts +2 -6
  261. package/dest/slashing/serialization.d.ts.map +1 -1
  262. package/dest/slashing/serialization.js +0 -60
  263. package/dest/slashing/types.d.ts +4 -90
  264. package/dest/slashing/types.d.ts.map +1 -1
  265. package/dest/slashing/types.js +0 -14
  266. package/dest/slashing/{tally.d.ts → votes.d.ts} +7 -2
  267. package/dest/slashing/votes.d.ts.map +1 -0
  268. package/dest/slashing/{tally.js → votes.js} +30 -2
  269. package/dest/tests/factories.d.ts +2 -4
  270. package/dest/tests/factories.d.ts.map +1 -1
  271. package/dest/tests/factories.js +11 -28
  272. package/dest/tests/mocks.d.ts +4 -2
  273. package/dest/tests/mocks.d.ts.map +1 -1
  274. package/dest/tests/mocks.js +27 -27
  275. package/dest/timetable/index.d.ts +51 -1
  276. package/dest/timetable/index.d.ts.map +1 -1
  277. package/dest/timetable/index.js +204 -14
  278. package/dest/tx/block_header.d.ts +4 -2
  279. package/dest/tx/block_header.d.ts.map +1 -1
  280. package/dest/tx/block_header.js +5 -1
  281. package/dest/tx/capsule.d.ts +6 -2
  282. package/dest/tx/capsule.d.ts.map +1 -1
  283. package/dest/tx/capsule.js +9 -3
  284. package/dest/tx/fee_provider.d.ts +10 -0
  285. package/dest/tx/fee_provider.d.ts.map +1 -0
  286. package/dest/tx/fee_provider.js +1 -0
  287. package/dest/tx/global_variable_builder.d.ts +3 -4
  288. package/dest/tx/global_variable_builder.d.ts.map +1 -1
  289. package/dest/tx/index.d.ts +2 -1
  290. package/dest/tx/index.d.ts.map +1 -1
  291. package/dest/tx/index.js +1 -0
  292. package/dest/tx/indexed_tx_effect.d.ts +1 -1
  293. package/dest/tx/indexed_tx_effect.d.ts.map +1 -1
  294. package/dest/tx/indexed_tx_effect.js +1 -2
  295. package/dest/tx/private_execution_result.d.ts +6 -6
  296. package/dest/tx/private_execution_result.d.ts.map +1 -1
  297. package/dest/tx/private_execution_result.js +6 -6
  298. package/dest/tx/profiling.d.ts +14 -2
  299. package/dest/tx/profiling.d.ts.map +1 -1
  300. package/dest/tx/profiling.js +13 -3
  301. package/dest/tx/simulated_tx.d.ts +116 -5
  302. package/dest/tx/simulated_tx.d.ts.map +1 -1
  303. package/dest/tx/simulated_tx.js +7 -4
  304. package/dest/tx/tx.d.ts +8 -7
  305. package/dest/tx/tx.d.ts.map +1 -1
  306. package/dest/tx/tx.js +18 -6
  307. package/dest/tx/tx_receipt.d.ts +14 -5
  308. package/dest/tx/tx_receipt.d.ts.map +1 -1
  309. package/dest/tx/tx_receipt.js +14 -18
  310. package/dest/tx/validator/error_texts.d.ts +9 -1
  311. package/dest/tx/validator/error_texts.d.ts.map +1 -1
  312. package/dest/tx/validator/error_texts.js +10 -0
  313. package/dest/update-checker/index.d.ts +3 -2
  314. package/dest/update-checker/index.d.ts.map +1 -1
  315. package/dest/update-checker/index.js +2 -1
  316. package/dest/update-checker/package_version.d.ts +3 -0
  317. package/dest/update-checker/package_version.d.ts.map +1 -0
  318. package/dest/update-checker/package_version.js +24 -0
  319. package/dest/update-checker/version_checker.d.ts +25 -0
  320. package/dest/update-checker/version_checker.d.ts.map +1 -0
  321. package/dest/update-checker/version_checker.js +50 -0
  322. package/dest/validators/errors.d.ts +6 -1
  323. package/dest/validators/errors.d.ts.map +1 -1
  324. package/dest/validators/errors.js +7 -0
  325. package/dest/versioning/versioning.d.ts +4 -2
  326. package/dest/versioning/versioning.d.ts.map +1 -1
  327. package/dest/versioning/versioning.js +4 -1
  328. package/dest/world-state/genesis_data.d.ts +11 -0
  329. package/dest/world-state/genesis_data.d.ts.map +1 -0
  330. package/dest/world-state/genesis_data.js +4 -0
  331. package/dest/world-state/index.d.ts +2 -1
  332. package/dest/world-state/index.d.ts.map +1 -1
  333. package/dest/world-state/index.js +1 -0
  334. package/package.json +10 -9
  335. package/src/abi/abi.ts +25 -2
  336. package/src/abi/authorization_selector.ts +2 -8
  337. package/src/abi/buffer.ts +25 -4
  338. package/src/abi/decoder.ts +36 -79
  339. package/src/abi/encoder.ts +41 -1
  340. package/src/abi/event_metadata_definition.ts +2 -0
  341. package/src/abi/event_selector.ts +2 -8
  342. package/src/abi/function_selector.ts +4 -13
  343. package/src/abi/function_signature_decoder.ts +77 -0
  344. package/src/abi/index.ts +1 -0
  345. package/src/abi/note_selector.ts +3 -12
  346. package/src/abi/selector.ts +1 -1
  347. package/src/abi/utils.ts +25 -0
  348. package/src/avm/revert_code.ts +25 -39
  349. package/src/aztec-address/index.ts +4 -10
  350. package/src/block/block_data.ts +3 -4
  351. package/src/block/block_hash.ts +21 -14
  352. package/src/block/l2_block.ts +13 -1
  353. package/src/block/l2_block_info.ts +8 -6
  354. package/src/block/l2_block_source.ts +26 -9
  355. package/src/block/l2_block_stream/interfaces.ts +6 -2
  356. package/src/block/l2_block_stream/l2_tips_store_base.ts +25 -13
  357. package/src/block/test/l2_tips_store_test_suite.ts +9 -2
  358. package/src/checkpoint/checkpoint.ts +23 -4
  359. package/src/checkpoint/checkpoint_data.ts +40 -4
  360. package/src/checkpoint/index.ts +1 -0
  361. package/src/checkpoint/validate.ts +230 -0
  362. package/src/config/chain-config.ts +7 -1
  363. package/src/config/index.ts +1 -0
  364. package/src/config/pipelining-config.ts +31 -0
  365. package/src/config/sequencer-config.ts +21 -3
  366. package/src/contract/contract_address.ts +3 -3
  367. package/src/contract/contract_class_id.ts +2 -2
  368. package/src/contract/index.ts +0 -2
  369. package/src/contract/interfaces/contract_class.ts +2 -82
  370. package/src/epoch-helpers/index.ts +27 -0
  371. package/src/file-store/factory.ts +13 -4
  372. package/src/file-store/http.ts +29 -10
  373. package/src/file-store/index.ts +1 -0
  374. package/src/gas/README.md +154 -0
  375. package/src/gas/fee_math.ts +120 -0
  376. package/src/gas/gas_fees.ts +15 -1
  377. package/src/gas/gas_settings.ts +65 -12
  378. package/src/gas/index.ts +1 -0
  379. package/src/ha-signing/config.ts +45 -38
  380. package/src/ha-signing/index.ts +12 -1
  381. package/src/ha-signing/local_config.ts +46 -0
  382. package/src/ha-signing/types.ts +48 -34
  383. package/src/hash/hash.ts +34 -0
  384. package/src/interfaces/allowed_element.ts +29 -9
  385. package/src/interfaces/archiver.ts +6 -3
  386. package/src/interfaces/aztec-node-admin.ts +5 -7
  387. package/src/interfaces/aztec-node-debug.ts +40 -0
  388. package/src/interfaces/aztec-node.ts +39 -5
  389. package/src/interfaces/block-builder.ts +60 -14
  390. package/src/interfaces/client.ts +1 -0
  391. package/src/interfaces/configs.ts +25 -8
  392. package/src/interfaces/l2_logs_source.ts +4 -1
  393. package/src/interfaces/merkle_tree_operations.ts +11 -20
  394. package/src/interfaces/prover-client.ts +10 -5
  395. package/src/interfaces/slasher.ts +0 -6
  396. package/src/interfaces/validator.ts +62 -37
  397. package/src/interfaces/world_state.ts +4 -3
  398. package/src/kernel/private_kernel_tail_circuit_public_inputs.ts +9 -0
  399. package/src/kv-store/config.ts +36 -0
  400. package/src/kv-store/index.ts +1 -0
  401. package/src/l1-contracts/index.ts +1 -1
  402. package/src/logs/extended_directional_app_tagging_secret.ts +19 -8
  403. package/src/logs/index.ts +1 -0
  404. package/src/logs/log_filter.ts +5 -0
  405. package/src/logs/log_id.ts +1 -2
  406. package/src/logs/message_context.ts +17 -7
  407. package/src/logs/pending_tagged_log.ts +1 -3
  408. package/src/logs/public_log.ts +4 -2
  409. package/src/logs/shared_secret_derivation.ts +21 -10
  410. package/src/logs/siloed_tag.ts +15 -11
  411. package/src/logs/tag.ts +8 -8
  412. package/src/logs/tagging_index_range.ts +24 -0
  413. package/src/logs/tx_scoped_l2_log.ts +16 -0
  414. package/src/messaging/l1_to_l2_message.ts +12 -9
  415. package/src/messaging/l1_to_l2_message_source.ts +3 -1
  416. package/src/messaging/l2_to_l1_membership.ts +98 -33
  417. package/src/noir/index.ts +2 -2
  418. package/src/note/note_dao.ts +1 -4
  419. package/src/p2p/block_proposal.ts +13 -9
  420. package/src/p2p/checkpoint_attestation.ts +5 -9
  421. package/src/p2p/checkpoint_proposal.ts +19 -48
  422. package/src/p2p/gossipable.ts +4 -4
  423. package/src/p2p/peer_error.ts +7 -0
  424. package/src/proofs/chonk_proof.ts +91 -5
  425. package/src/slashing/index.ts +1 -2
  426. package/src/slashing/serialization.ts +1 -81
  427. package/src/slashing/types.ts +3 -35
  428. package/src/slashing/{tally.ts → votes.ts} +34 -1
  429. package/src/tests/factories.ts +5 -34
  430. package/src/tests/mocks.ts +33 -18
  431. package/src/timetable/index.ts +293 -13
  432. package/src/tx/block_header.ts +8 -2
  433. package/src/tx/capsule.ts +10 -2
  434. package/src/tx/fee_provider.ts +10 -0
  435. package/src/tx/global_variable_builder.ts +2 -3
  436. package/src/tx/index.ts +1 -0
  437. package/src/tx/indexed_tx_effect.ts +1 -2
  438. package/src/tx/private_execution_result.ts +5 -5
  439. package/src/tx/profiling.ts +11 -2
  440. package/src/tx/simulated_tx.ts +14 -3
  441. package/src/tx/tx.ts +22 -13
  442. package/src/tx/tx_receipt.ts +18 -16
  443. package/src/tx/validator/error_texts.ts +12 -0
  444. package/src/update-checker/index.ts +2 -1
  445. package/src/update-checker/package_version.ts +30 -0
  446. package/src/update-checker/version_checker.ts +65 -0
  447. package/src/validators/errors.ts +9 -0
  448. package/src/versioning/versioning.ts +4 -1
  449. package/src/world-state/genesis_data.ts +15 -0
  450. package/src/world-state/index.ts +1 -0
  451. package/dest/contract/private_function_membership_proof.d.ts +0 -32
  452. package/dest/contract/private_function_membership_proof.d.ts.map +0 -1
  453. package/dest/contract/private_function_membership_proof.js +0 -124
  454. package/dest/contract/utility_function_membership_proof.d.ts +0 -27
  455. package/dest/contract/utility_function_membership_proof.d.ts.map +0 -1
  456. package/dest/contract/utility_function_membership_proof.js +0 -87
  457. package/dest/l1-contracts/slash_factory.d.ts +0 -45
  458. package/dest/l1-contracts/slash_factory.d.ts.map +0 -1
  459. package/dest/l1-contracts/slash_factory.js +0 -158
  460. package/dest/slashing/empire.d.ts +0 -31
  461. package/dest/slashing/empire.d.ts.map +0 -1
  462. package/dest/slashing/empire.js +0 -87
  463. package/dest/slashing/tally.d.ts.map +0 -1
  464. package/dest/update-checker/update-checker.d.ts +0 -49
  465. package/dest/update-checker/update-checker.d.ts.map +0 -1
  466. package/dest/update-checker/update-checker.js +0 -130
  467. package/src/contract/private_function_membership_proof.ts +0 -167
  468. package/src/contract/utility_function_membership_proof.ts +0 -118
  469. package/src/l1-contracts/slash_factory.ts +0 -180
  470. package/src/slashing/empire.ts +0 -104
  471. package/src/update-checker/update-checker.ts +0 -166
@@ -4,7 +4,9 @@ import {
4
4
  BlockNumber,
5
5
  BlockNumberPositiveSchema,
6
6
  BlockNumberSchema,
7
+ CheckpointNumber,
7
8
  CheckpointNumberPositiveSchema,
9
+ CheckpointNumberSchema,
8
10
  EpochNumber,
9
11
  EpochNumberSchema,
10
12
  type SlotNumber,
@@ -23,6 +25,7 @@ import { CheckpointedL2Block } from '../block/checkpointed_l2_block.js';
23
25
  import { type DataInBlock, dataInBlockSchemaFor } from '../block/in_block.js';
24
26
  import { L2Block } from '../block/l2_block.js';
25
27
  import { type L2BlockSource, type L2Tips, L2TipsSchema } from '../block/l2_block_source.js';
28
+ import { CheckpointDataSchema } from '../checkpoint/checkpoint_data.js';
26
29
  import { PublishedCheckpoint } from '../checkpoint/published_checkpoint.js';
27
30
  import {
28
31
  type ContractClassPublic,
@@ -34,6 +37,7 @@ import {
34
37
  type ProtocolContractAddresses,
35
38
  ProtocolContractAddressesSchema,
36
39
  } from '../contract/index.js';
40
+ import { ManaUsageEstimate } from '../gas/fee_math.js';
37
41
  import { GasFees } from '../gas/gas_fees.js';
38
42
  import { SiloedTag, Tag, TxScopedL2Log } from '../logs/index.js';
39
43
  import { type LogFilter, LogFilterSchema } from '../logs/log_filter.js';
@@ -72,7 +76,12 @@ import { type WorldStateSyncStatus, WorldStateSyncStatusSchema } from './world_s
72
76
  export interface AztecNode
73
77
  extends Pick<
74
78
  L2BlockSource,
75
- 'getBlocks' | 'getCheckpoints' | 'getBlockHeader' | 'getL2Tips' | 'getCheckpointedBlocks'
79
+ | 'getBlocks'
80
+ | 'getCheckpoints'
81
+ | 'getBlockHeader'
82
+ | 'getL2Tips'
83
+ | 'getCheckpointedBlocks'
84
+ | 'getCheckpointsDataForEpoch'
76
85
  > {
77
86
  /**
78
87
  * Returns the tips of the L2 chain.
@@ -114,6 +123,7 @@ export interface AztecNode
114
123
  * @param referenceBlock - The block parameter (block number, block hash, or 'latest') at which to get the data.
115
124
  * @param nullifier - Nullifier we try to find the low nullifier witness for.
116
125
  * @returns The low nullifier membership witness (if found).
126
+ * @throws If the nullifier already exists in the tree, since non-inclusion cannot be proven.
117
127
  * @remarks Low nullifier witness can be used to perform a nullifier non-inclusion proof by leveraging the "linked
118
128
  * list structure" of leaves and proving that a lower nullifier is pointing to a bigger next value than the nullifier
119
129
  * we are trying to prove non-inclusion for.
@@ -172,14 +182,14 @@ export interface AztecNode
172
182
  l1ToL2Message: Fr,
173
183
  ): Promise<[bigint, SiblingPath<typeof L1_TO_L2_MSG_TREE_HEIGHT>] | undefined>;
174
184
 
175
- /** Returns the L2 block number in which this L1 to L2 message becomes available, or undefined if not found. */
176
- getL1ToL2MessageBlock(l1ToL2Message: Fr): Promise<BlockNumber | undefined>;
185
+ /** Returns the L2 checkpoint number in which this L1 to L2 message becomes available, or undefined if not found. */
186
+ getL1ToL2MessageCheckpoint(l1ToL2Message: Fr): Promise<CheckpointNumber | undefined>;
177
187
 
178
188
  /**
179
189
  * Returns whether an L1 to L2 message is synced by archiver.
180
190
  * @param l1ToL2Message - The L1 to L2 message to check.
181
191
  * @returns Whether the message is synced.
182
- * @deprecated Use `getL1ToL2MessageBlock` instead. This method may return true even if the message is not ready to use.
192
+ * @deprecated Use `getL1ToL2MessageCheckpoint` instead. This method may return true even if the message is not ready to use.
183
193
  */
184
194
  isL1ToL2MessageSynced(l1ToL2Message: Fr): Promise<boolean>;
185
195
 
@@ -230,6 +240,12 @@ export interface AztecNode
230
240
  */
231
241
  getCheckpointedBlockNumber(): Promise<BlockNumber>;
232
242
 
243
+ /**
244
+ * Method to fetch the latest checkpoint number synchronized by the node.
245
+ * @returns The checkpoint number.
246
+ */
247
+ getCheckpointNumber(): Promise<CheckpointNumber>;
248
+
233
249
  /**
234
250
  * Method to determine if the node is ready to accept transactions.
235
251
  * @returns - Flag indicating the readiness for tx submission.
@@ -257,6 +273,15 @@ export interface AztecNode
257
273
  */
258
274
  getCurrentMinFees(): Promise<GasFees>;
259
275
 
276
+ /**
277
+ * Returns predicted min fees for the current slot and next N slots.
278
+ * Each entry accounts for the L1 gas oracle transition and congestion growth based on the
279
+ * given mana usage estimate. Defaults to target usage (steady state).
280
+ * @param manaUsage - Expected mana usage per checkpoint (none, target, or limit).
281
+ * @returns An array of GasFees, one per slot in the prediction window.
282
+ */
283
+ getPredictedMinFees(manaUsage?: ManaUsageEstimate): Promise<GasFees[]>;
284
+
260
285
  /**
261
286
  * Method to fetch the current max priority fee of txs in the mempool.
262
287
  * @returns The current max priority fees.
@@ -517,7 +542,7 @@ export const AztecNodeApiSchema: ApiSchemaFor<AztecNode> = {
517
542
  .args(BlockParameterSchema, schemas.Fr)
518
543
  .returns(z.tuple([schemas.BigInt, SiblingPath.schemaFor(L1_TO_L2_MSG_TREE_HEIGHT)]).optional()),
519
544
 
520
- getL1ToL2MessageBlock: z.function().args(schemas.Fr).returns(BlockNumberSchema.optional()),
545
+ getL1ToL2MessageCheckpoint: z.function().args(schemas.Fr).returns(CheckpointNumberSchema.optional()),
521
546
 
522
547
  isL1ToL2MessageSynced: z.function().args(schemas.Fr).returns(z.boolean()),
523
548
 
@@ -534,6 +559,8 @@ export const AztecNodeApiSchema: ApiSchemaFor<AztecNode> = {
534
559
 
535
560
  getBlockNumber: z.function().returns(BlockNumberSchema),
536
561
 
562
+ getCheckpointNumber: z.function().returns(CheckpointNumberSchema),
563
+
537
564
  getProvenBlockNumber: z.function().returns(BlockNumberSchema),
538
565
 
539
566
  getCheckpointedBlockNumber: z.function().returns(BlockNumberSchema),
@@ -557,8 +584,15 @@ export const AztecNodeApiSchema: ApiSchemaFor<AztecNode> = {
557
584
  .args(BlockNumberPositiveSchema, z.number().gt(0).lte(MAX_RPC_BLOCKS_LEN))
558
585
  .returns(z.array(CheckpointedL2Block.schema)),
559
586
 
587
+ getCheckpointsDataForEpoch: z.function().args(EpochNumberSchema).returns(z.array(CheckpointDataSchema)),
588
+
560
589
  getCurrentMinFees: z.function().returns(GasFees.schema),
561
590
 
591
+ getPredictedMinFees: z
592
+ .function()
593
+ .args(optional(z.nativeEnum(ManaUsageEstimate)))
594
+ .returns(z.array(GasFees.schema)),
595
+
562
596
  getMaxPriorityFees: z.function().returns(GasFees.schema),
563
597
 
564
598
  getNodeVersion: z.function().returns(z.string()),
@@ -35,59 +35,105 @@ export interface IBlockFactory extends ProcessedTxHandler {
35
35
  setBlockCompleted(expectedBlockHeader?: BlockHeader): Promise<L2Block>;
36
36
  }
37
37
 
38
- export interface PublicProcessorLimits {
38
+ /** Limits passed to the public processor for tx processing within a block. */
39
+ export type PublicProcessorLimits = {
40
+ /** Maximum number of txs to process. */
39
41
  maxTransactions?: number;
40
- maxBlockSize?: number;
42
+ /** L2 and DA gas limits. */
41
43
  maxBlockGas?: Gas;
44
+ /** Maximum number of blob fields allowed. */
42
45
  maxBlobFields?: number;
46
+ /** Deadline for processing the txs. Processor will stop as soon as it hits this time. */
43
47
  deadline?: Date;
44
- }
48
+ /** Whether this processor is building a proposal (as opposed to re-executing one). Skipping txs due to gas or blob limits is only done during proposal building. */
49
+ isBuildingProposal?: boolean;
50
+ };
51
+
52
+ /** Base fields shared by both proposer and validator block builder options. */
53
+ type BlockBuilderOptionsBase = PublicProcessorLimits & {
54
+ /** Minimum number of successfully processed txs required. Block is rejected if fewer succeed. */
55
+ minValidTxs: number;
56
+ };
57
+
58
+ /** Proposer mode: redistribution params are required. */
59
+ type ProposerBlockBuilderOptions = BlockBuilderOptionsBase & {
60
+ isBuildingProposal: true;
61
+ /** Maximum number of blocks per checkpoint, derived from the timetable. */
62
+ maxBlocksPerCheckpoint: number;
63
+ /** Per-block gas budget multiplier. Budget = (remaining / remainingBlocks) * multiplier. */
64
+ perBlockAllocationMultiplier: number;
65
+ };
66
+
67
+ /** Validator mode: no redistribution params needed. */
68
+ type ValidatorBlockBuilderOptions = BlockBuilderOptionsBase & {
69
+ isBuildingProposal: false;
70
+ };
71
+
72
+ /** Options for building a block within a checkpoint. When proposing, redistribution params are required. */
73
+ export type BlockBuilderOptions = ProposerBlockBuilderOptions | ValidatorBlockBuilderOptions;
45
74
 
46
75
  export interface PublicProcessorValidator {
47
76
  preprocessValidator?: TxValidator<Tx>;
48
77
  nullifierCache?: { addNullifiers: (nullifiers: Buffer[]) => void };
49
78
  }
50
79
 
51
- export type FullNodeBlockBuilderConfig = Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration'> &
80
+ export type FullNodeBlockBuilderConfig = Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration' | 'rollupManaLimit'> &
52
81
  Pick<ChainConfig, 'l1ChainId' | 'rollupVersion'> &
53
- Pick<SequencerConfig, 'txPublicSetupAllowList' | 'fakeProcessingDelayPerTxMs' | 'fakeThrowAfterProcessingTxCount'>;
82
+ Pick<
83
+ SequencerConfig,
84
+ | 'txPublicSetupAllowListExtend'
85
+ | 'fakeProcessingDelayPerTxMs'
86
+ | 'fakeThrowAfterProcessingTxCount'
87
+ | 'maxTxsPerBlock'
88
+ | 'maxTxsPerCheckpoint'
89
+ | 'maxL2BlockGas'
90
+ | 'maxDABlockGas'
91
+ >;
54
92
 
55
93
  export const FullNodeBlockBuilderConfigKeys: (keyof FullNodeBlockBuilderConfig)[] = [
56
94
  'l1GenesisTime',
57
95
  'slotDuration',
58
96
  'l1ChainId',
59
97
  'rollupVersion',
60
- 'txPublicSetupAllowList',
98
+ 'txPublicSetupAllowListExtend',
61
99
  'fakeProcessingDelayPerTxMs',
62
100
  'fakeThrowAfterProcessingTxCount',
101
+ 'maxTxsPerBlock',
102
+ 'maxTxsPerCheckpoint',
103
+ 'maxL2BlockGas',
104
+ 'maxDABlockGas',
105
+ 'rollupManaLimit',
63
106
  ] as const;
64
107
 
65
- /** Thrown when no valid transactions are available to include in a block after processing, and this is not the first block in a checkpoint. */
66
- export class NoValidTxsError extends Error {
67
- constructor(public readonly failedTxs: FailedTx[]) {
68
- super('No valid transactions to include in block');
69
- this.name = 'NoValidTxsError';
108
+ /** Thrown when the number of successfully processed transactions is below the required minimum. */
109
+ export class InsufficientValidTxsError extends Error {
110
+ constructor(
111
+ public readonly processedCount: number,
112
+ public readonly minRequired: number,
113
+ public readonly failedTxs: FailedTx[],
114
+ ) {
115
+ super(`Insufficient valid txs: got ${processedCount} but need ${minRequired}`);
116
+ this.name = 'InsufficientValidTxsError';
70
117
  }
71
118
  }
72
119
 
73
120
  /** Result of building a block within a checkpoint. */
74
121
  export type BuildBlockInCheckpointResult = {
75
122
  block: L2Block;
76
- publicGas: Gas;
77
123
  publicProcessorDuration: number;
78
124
  numTxs: number;
79
125
  failedTxs: FailedTx[];
80
126
  usedTxs: Tx[];
81
- usedTxBlobFields: number;
82
127
  };
83
128
 
84
129
  /** Interface for building blocks within a checkpoint context. */
85
130
  export interface ICheckpointBlockBuilder {
131
+ /** Builds a single block within this checkpoint. Throws InsufficientValidTxsError if fewer than minValidTxs succeed. */
86
132
  buildBlock(
87
133
  pendingTxs: Iterable<Tx> | AsyncIterable<Tx>,
88
134
  blockNumber: BlockNumber,
89
135
  timestamp: bigint,
90
- opts: PublicProcessorLimits,
136
+ opts: BlockBuilderOptions,
91
137
  ): Promise<BuildBlockInCheckpointResult>;
92
138
  }
93
139
 
@@ -1,5 +1,6 @@
1
1
  export * from './aztec-node.js';
2
2
  export * from './aztec-node-admin.js';
3
+ export * from './aztec-node-debug.js';
3
4
  export * from './private_kernel_prover.js';
4
5
  export * from './get_logs_response.js';
5
6
  export * from './api_limit.js';
@@ -13,6 +13,8 @@ export interface SequencerConfig {
13
13
  sequencerPollingIntervalMS?: number;
14
14
  /** The maximum number of txs to include in a block. */
15
15
  maxTxsPerBlock?: number;
16
+ /** The maximum number of txs across all blocks in a checkpoint. */
17
+ maxTxsPerCheckpoint?: number;
16
18
  /** The minimum number of txs to include in a block. */
17
19
  minTxsPerBlock?: number;
18
20
  /** The minimum number of valid txs (after execution) to include in a block. If not set, falls back to minTxsPerBlock. */
@@ -23,6 +25,10 @@ export interface SequencerConfig {
23
25
  maxL2BlockGas?: number;
24
26
  /** The maximum DA block gas. */
25
27
  maxDABlockGas?: number;
28
+ /** Per-block gas budget multiplier for both L2 and DA gas. Budget = (checkpointLimit / maxBlocks) * multiplier. */
29
+ perBlockAllocationMultiplier?: number;
30
+ /** Redistribute remaining checkpoint budget evenly across remaining blocks instead of allowing a single block to consume the entire remaining budget. */
31
+ redistributeCheckpointBudget?: boolean;
26
32
  /** Recipient of block reward. */
27
33
  coinbase?: EthAddress;
28
34
  /** Address to receive fees. */
@@ -31,10 +37,8 @@ export interface SequencerConfig {
31
37
  acvmWorkingDirectory?: string;
32
38
  /** The path to the ACVM binary */
33
39
  acvmBinaryPath?: string;
34
- /** The list of functions calls allowed to run in setup */
35
- txPublicSetupAllowList?: AllowedElement[];
36
- /** Max block size */
37
- maxBlockSizeInBytes?: number;
40
+ /** Additional entries to extend the default setup allow list. */
41
+ txPublicSetupAllowListExtend?: AllowedElement[];
38
42
  /** Payload address to vote for */
39
43
  governanceProposerPayload?: EthAddress;
40
44
  /** Whether to enforce the time table when building blocks */
@@ -59,6 +63,10 @@ export interface SequencerConfig {
59
63
  broadcastInvalidBlockProposal?: boolean;
60
64
  /** Inject a fake attestation (for testing only) */
61
65
  injectFakeAttestation?: boolean;
66
+ /** Inject a malleable attestation with a high-s value (for testing only) */
67
+ injectHighSValueAttestation?: boolean;
68
+ /** Inject an attestation with an unrecoverable signature (for testing only) */
69
+ injectUnrecoverableSignatureAttestation?: boolean;
62
70
  /** Whether to run in fisherman mode: builds blocks on every slot for validation without publishing */
63
71
  fishermanMode?: boolean;
64
72
  /** Shuffle attestation ordering to create invalid ordering (for testing only) */
@@ -81,17 +89,19 @@ export const SequencerConfigSchema = zodFor<SequencerConfig>()(
81
89
  z.object({
82
90
  sequencerPollingIntervalMS: z.number().optional(),
83
91
  maxTxsPerBlock: z.number().optional(),
92
+ maxTxsPerCheckpoint: z.number().optional(),
84
93
  minValidTxsPerBlock: z.number().optional(),
85
94
  minTxsPerBlock: z.number().optional(),
86
95
  maxL2BlockGas: z.number().optional(),
87
96
  publishTxsWithProposals: z.boolean().optional(),
88
97
  maxDABlockGas: z.number().optional(),
98
+ perBlockAllocationMultiplier: z.number().optional(),
99
+ redistributeCheckpointBudget: z.boolean().optional(),
89
100
  coinbase: schemas.EthAddress.optional(),
90
101
  feeRecipient: schemas.AztecAddress.optional(),
91
102
  acvmWorkingDirectory: z.string().optional(),
92
103
  acvmBinaryPath: z.string().optional(),
93
- txPublicSetupAllowList: z.array(AllowedElementSchema).optional(),
94
- maxBlockSizeInBytes: z.number().optional(),
104
+ txPublicSetupAllowListExtend: z.array(AllowedElementSchema).optional(),
95
105
  governanceProposerPayload: schemas.EthAddress.optional(),
96
106
  l1PublishingTime: z.number().optional(),
97
107
  enforceTimeTable: z.boolean().optional(),
@@ -104,6 +114,8 @@ export const SequencerConfigSchema = zodFor<SequencerConfig>()(
104
114
  secondsBeforeInvalidatingBlockAsNonCommitteeMember: z.number(),
105
115
  broadcastInvalidBlockProposal: z.boolean().optional(),
106
116
  injectFakeAttestation: z.boolean().optional(),
117
+ injectHighSValueAttestation: z.boolean().optional(),
118
+ injectUnrecoverableSignatureAttestation: z.boolean().optional(),
107
119
  fishermanMode: z.boolean().optional(),
108
120
  shuffleAttestationOrdering: z.boolean().optional(),
109
121
  blockDurationMs: z.number().positive().optional(),
@@ -126,9 +138,14 @@ type SequencerConfigOptionalKeys =
126
138
  | 'fakeProcessingDelayPerTxMs'
127
139
  | 'fakeThrowAfterProcessingTxCount'
128
140
  | 'l1PublishingTime'
129
- | 'txPublicSetupAllowList'
141
+ | 'txPublicSetupAllowListExtend'
130
142
  | 'minValidTxsPerBlock'
131
- | 'minBlocksForCheckpoint';
143
+ | 'minBlocksForCheckpoint'
144
+ | 'maxTxsPerBlock'
145
+ | 'maxTxsPerCheckpoint'
146
+ | 'maxL2BlockGas'
147
+ | 'maxDABlockGas'
148
+ | 'redistributeCheckpointBudget';
132
149
 
133
150
  export type ResolvedSequencerConfig = Prettify<
134
151
  Required<Omit<SequencerConfig, SequencerConfigOptionalKeys>> & Pick<SequencerConfig, SequencerConfigOptionalKeys>
@@ -16,10 +16,11 @@ export interface L2LogsSource {
16
16
  * array implies no logs match that tag.
17
17
  * @param tags - The tags to search for.
18
18
  * @param page - The page number (0-indexed) for pagination.
19
+ * @param upToBlockNumber - If set, only return logs from blocks up to and including this block number.
19
20
  * @returns An array of log arrays, one per tag. Returns at most 10 logs per tag per page. If 10 logs are returned
20
21
  * for a tag, the caller should fetch the next page to check for more logs.
21
22
  */
22
- getPrivateLogsByTags(tags: SiloedTag[], page?: number): Promise<TxScopedL2Log[][]>;
23
+ getPrivateLogsByTags(tags: SiloedTag[], page?: number, upToBlockNumber?: BlockNumber): Promise<TxScopedL2Log[][]>;
23
24
 
24
25
  /**
25
26
  * Gets public logs that match any of the `tags` from the specified contract. For each tag, an array of matching
@@ -27,6 +28,7 @@ export interface L2LogsSource {
27
28
  * @param contractAddress - The contract address to search logs for.
28
29
  * @param tags - The tags to search for.
29
30
  * @param page - The page number (0-indexed) for pagination.
31
+ * @param upToBlockNumber - If set, only return logs from blocks up to and including this block number.
30
32
  * @returns An array of log arrays, one per tag. Returns at most 10 logs per tag per page. If 10 logs are returned
31
33
  * for a tag, the caller should fetch the next page to check for more logs.
32
34
  */
@@ -34,6 +36,7 @@ export interface L2LogsSource {
34
36
  contractAddress: AztecAddress,
35
37
  tags: Tag[],
36
38
  page?: number,
39
+ upToBlockNumber?: BlockNumber,
37
40
  ): Promise<TxScopedL2Log[][]>;
38
41
 
39
42
  /**
@@ -3,6 +3,7 @@ import type { Fr } from '@aztec/foundation/curves/bn254';
3
3
  import { createLogger } from '@aztec/foundation/log';
4
4
  import { type IndexedTreeLeafPreimage, SiblingPath } from '@aztec/foundation/trees';
5
5
 
6
+ import type { BlockHash } from '../block/block_hash.js';
6
7
  import type { MerkleTreeId, TreeHeights } from '../trees/merkle_tree_id.js';
7
8
  import type { NullifierLeaf } from '../trees/nullifier_leaf.js';
8
9
  import type { PublicDataTreeLeaf } from '../trees/public_data_leaf.js';
@@ -99,7 +100,7 @@ type LeafTypes = {
99
100
  [MerkleTreeId.NOTE_HASH_TREE]: Fr;
100
101
  [MerkleTreeId.PUBLIC_DATA_TREE]: Buffer;
101
102
  [MerkleTreeId.L1_TO_L2_MESSAGE_TREE]: Fr;
102
- [MerkleTreeId.ARCHIVE]: Fr;
103
+ [MerkleTreeId.ARCHIVE]: BlockHash;
103
104
  };
104
105
 
105
106
  type LeafValueTypes = {
@@ -107,7 +108,7 @@ type LeafValueTypes = {
107
108
  [MerkleTreeId.NOTE_HASH_TREE]: Fr;
108
109
  [MerkleTreeId.PUBLIC_DATA_TREE]: PublicDataTreeLeaf;
109
110
  [MerkleTreeId.L1_TO_L2_MESSAGE_TREE]: Fr;
110
- [MerkleTreeId.ARCHIVE]: Fr;
111
+ [MerkleTreeId.ARCHIVE]: BlockHash;
111
112
  };
112
113
 
113
114
  export type MerkleTreeLeafType<ID extends MerkleTreeId> = LeafTypes[ID];
@@ -225,30 +226,20 @@ export interface MerkleTreeReadOperations {
225
226
  }
226
227
 
227
228
  export interface MerkleTreeCheckpointOperations {
228
- /**
229
- * Checkpoints the current fork state
230
- */
231
- createCheckpoint(): Promise<void>;
229
+ /** Checkpoints the current fork state. Returns the depth of the new checkpoint. */
230
+ createCheckpoint(): Promise<number>;
232
231
 
233
- /**
234
- * Commits the current checkpoint
235
- */
232
+ /** Commits the current checkpoint. */
236
233
  commitCheckpoint(): Promise<void>;
237
234
 
238
- /**
239
- * Reverts the current checkpoint
240
- */
235
+ /** Reverts the current checkpoint. */
241
236
  revertCheckpoint(): Promise<void>;
242
237
 
243
- /**
244
- * Commits all checkpoints
245
- */
246
- commitAllCheckpoints(): Promise<void>;
238
+ /** Commits all checkpoints above the given depth, leaving checkpoint depth at the given value. */
239
+ commitAllCheckpointsTo(depth: number): Promise<void>;
247
240
 
248
- /**
249
- * Reverts all checkpoints
250
- */
251
- revertAllCheckpoints(): Promise<void>;
241
+ /** Reverts all checkpoints above the given depth, leaving checkpoint depth at the given value. */
242
+ revertAllCheckpointsTo(depth: number): Promise<void>;
252
243
  }
253
244
 
254
245
  export interface MerkleTreeWriteOperations
@@ -23,6 +23,8 @@ export type ActualProverConfig = {
23
23
  * When true, jobs are explicitly cancelled with the broker, which prevents reuse.
24
24
  */
25
25
  cancelJobsOnStop: boolean;
26
+ /** Max concurrent jobs the orchestrator serializes and enqueues to the broker. */
27
+ enqueueConcurrency: number;
26
28
  };
27
29
 
28
30
  /**
@@ -53,6 +55,7 @@ export const ProverConfigSchema = zodFor<ProverConfig>()(
53
55
  proofStore: z.string().optional(),
54
56
  failedProofStore: z.string().optional(),
55
57
  cancelJobsOnStop: z.boolean(),
58
+ enqueueConcurrency: z.number(),
56
59
  }),
57
60
  );
58
61
 
@@ -68,7 +71,7 @@ export const proverConfigMappings: ConfigMappingsType<ProverConfig> = {
68
71
  },
69
72
  proverId: {
70
73
  env: 'PROVER_ID',
71
- parseEnv: (val?: string) => parseProverId(val),
74
+ parseEnv: (val: string) => parseProverId(val),
72
75
  description: 'Hex value that identifies the prover. Defaults to the address used for submitting proofs if not set.',
73
76
  },
74
77
  proverTestDelayType: {
@@ -107,12 +110,14 @@ export const proverConfigMappings: ConfigMappingsType<ProverConfig> = {
107
110
  'When true, jobs are explicitly cancelled with the broker, which prevents reuse.',
108
111
  ...booleanConfigHelper(false),
109
112
  },
113
+ enqueueConcurrency: {
114
+ env: 'PROVER_ENQUEUE_CONCURRENCY',
115
+ description: 'Max concurrent jobs the orchestrator serializes and enqueues to the broker.',
116
+ ...numberConfigHelper(50),
117
+ },
110
118
  };
111
119
 
112
- function parseProverId(str?: string) {
113
- if (!str) {
114
- return undefined;
115
- }
120
+ function parseProverId(str: string) {
116
121
  return EthAddress.fromString(str);
117
122
  }
118
123
 
@@ -3,12 +3,8 @@ import { schemas, zodFor } from '@aztec/foundation/schemas';
3
3
 
4
4
  import { z } from 'zod';
5
5
 
6
- export type SlasherClientType = 'empire' | 'tally';
7
-
8
6
  export interface SlasherConfig {
9
7
  slashOverridePayload?: EthAddress;
10
- slashMinPenaltyPercentage: number;
11
- slashMaxPenaltyPercentage: number;
12
8
  slashSelfAllowed?: boolean; // Whether to allow slashes to own validators
13
9
  slashValidatorsAlways: EthAddress[]; // Array of validator addresses
14
10
  slashValidatorsNever: EthAddress[]; // Array of validator addresses
@@ -32,8 +28,6 @@ export interface SlasherConfig {
32
28
  export const SlasherConfigSchema = zodFor<SlasherConfig>()(
33
29
  z.object({
34
30
  slashOverridePayload: schemas.EthAddress.optional(),
35
- slashMinPenaltyPercentage: z.number(),
36
- slashMaxPenaltyPercentage: z.number(),
37
31
  slashValidatorsAlways: z.array(schemas.EthAddress),
38
32
  slashValidatorsNever: z.array(schemas.EthAddress),
39
33
  slashPrunePenalty: schemas.BigInt,