@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
@@ -1,4 +1,5 @@
1
1
  import { BlockNumber, BlockNumberSchema } from '@aztec/foundation/branded-types';
2
+ import { times } from '@aztec/foundation/collection';
2
3
  import { Fr } from '@aztec/foundation/curves/bn254';
3
4
  import { schemas as foundationSchemas } from '@aztec/foundation/schemas';
4
5
  import {
@@ -83,6 +84,21 @@ export class TxScopedL2Log {
83
84
  return new TxScopedL2Log(txHash, blockNumber, blockTimestamp, logData, noteHashes, firstNullifier);
84
85
  }
85
86
 
87
+ static getBlockNumberFromBuffer(buffer: Buffer) {
88
+ return BlockNumber(buffer.readUint32BE(Fr.SIZE_IN_BYTES));
89
+ }
90
+
91
+ static random() {
92
+ return new TxScopedL2Log(
93
+ TxHash.fromField(Fr.random()),
94
+ BlockNumber(Math.floor(Math.random() * 100000) + 1),
95
+ BigInt(Math.floor(Date.now() / 1000)),
96
+ times(3, Fr.random),
97
+ times(3, Fr.random),
98
+ Fr.random(),
99
+ );
100
+ }
101
+
86
102
  equals(other: TxScopedL2Log) {
87
103
  return (
88
104
  this.txHash.equals(other.txHash) &&
@@ -6,6 +6,7 @@ import { bufferToHex } from '@aztec/foundation/string';
6
6
  import { SiblingPath } from '@aztec/foundation/trees';
7
7
 
8
8
  import type { AztecAddress } from '../aztec-address/index.js';
9
+ import type { BlockParameter } from '../block/block_parameter.js';
9
10
  import { computeL1ToL2MessageNullifier } from '../hash/hash.js';
10
11
  import type { AztecNode } from '../interfaces/aztec-node.js';
11
12
  import { MerkleTreeId } from '../trees/merkle_tree_id.js';
@@ -79,20 +80,22 @@ export async function getNonNullifiedL1ToL2MessageWitness(
79
80
  contractAddress: AztecAddress,
80
81
  messageHash: Fr,
81
82
  secret: Fr,
83
+ referenceBlock: BlockParameter = 'latest',
82
84
  ): Promise<[bigint, SiblingPath<typeof L1_TO_L2_MSG_TREE_HEIGHT>]> {
83
- const response = await node.getL1ToL2MessageMembershipWitness('latest', messageHash);
84
- if (!response) {
85
- throw new Error(`No L1 to L2 message found for message hash ${messageHash.toString()}`);
86
- }
85
+ const messageNullifier = await computeL1ToL2MessageNullifier(contractAddress, messageHash, secret);
87
86
 
88
- const [messageIndex, siblingPath] = response;
87
+ const [l1ToL2Response, nullifierResponse] = await Promise.all([
88
+ node.getL1ToL2MessageMembershipWitness(referenceBlock, messageHash),
89
+ node.findLeavesIndexes(referenceBlock, MerkleTreeId.NULLIFIER_TREE, [messageNullifier]),
90
+ ]);
89
91
 
90
- const messageNullifier = await computeL1ToL2MessageNullifier(contractAddress, messageHash, secret);
92
+ if (!l1ToL2Response) {
93
+ throw new Error(`No L1 to L2 message found for message hash ${messageHash.toString()}`);
94
+ }
91
95
 
92
- const [nullifierIndex] = await node.findLeavesIndexes('latest', MerkleTreeId.NULLIFIER_TREE, [messageNullifier]);
93
- if (nullifierIndex !== undefined) {
96
+ if (nullifierResponse[0] !== undefined) {
94
97
  throw new Error(`No non-nullified L1 to L2 message found for message hash ${messageHash.toString()}`);
95
98
  }
96
99
 
97
- return [messageIndex, siblingPath];
100
+ return l1ToL2Response;
98
101
  }
@@ -10,7 +10,9 @@ export interface L1ToL2MessageSource {
10
10
  /**
11
11
  * Gets new L1 to L2 message (to be) included in a given checkpoint.
12
12
  * @param checkpointNumber - Checkpoint number to get messages for.
13
- * @returns The L1 to L2 messages/leaves of the messages subtree (throws if not found).
13
+ * @returns The L1 to L2 messages/leaves of the messages subtree.
14
+ * @throws If the message tree for the given checkpoint has not yet been sealed on L1
15
+ * (i.e., checkpointNumber >= inbox treeInProgress).
14
16
  */
15
17
  getL1ToL2Messages(checkpointNumber: CheckpointNumber): Promise<Fr[]>;
16
18
 
@@ -3,6 +3,9 @@ import type { EpochNumber } from '@aztec/foundation/branded-types';
3
3
  import { Fr } from '@aztec/foundation/curves/bn254';
4
4
  import { SiblingPath, UnbalancedMerkleTreeCalculator, computeUnbalancedShaRoot } from '@aztec/foundation/trees';
5
5
 
6
+ import type { AztecNode } from '../interfaces/aztec-node.js';
7
+ import { TxHash } from '../tx/tx_hash.js';
8
+
6
9
  /**
7
10
  * # L2-to-L1 Message Tree Structure and Leaf IDs
8
11
  *
@@ -92,59 +95,94 @@ export function getL2ToL1MessageLeafId(
92
95
  return 2n ** BigInt(membershipWitness.siblingPath.pathSize) + membershipWitness.leafIndex;
93
96
  }
94
97
 
95
- export interface MessageRetrieval {
96
- getL2ToL1Messages(epoch: EpochNumber): Promise<Fr[][][][]>;
97
- }
98
-
99
98
  export type L2ToL1MembershipWitness = {
100
99
  root: Fr;
101
100
  leafIndex: bigint;
102
101
  siblingPath: SiblingPath<number>;
102
+ epochNumber: EpochNumber;
103
103
  };
104
104
 
105
+ /**
106
+ * Computes the L2 to L1 membership witness for a given message in a transaction.
107
+ *
108
+ * @param node - The Aztec node to query for block/tx/epoch data.
109
+ * @param message - The L2 to L1 message hash to prove membership of.
110
+ * @param txHash - The hash of the transaction that emitted the message.
111
+ * @param messageIndexInTx - Optional index of the message within the transaction's L2-to-L1 messages.
112
+ * If not provided, the message is found by scanning the tx's messages (throws if duplicates exist).
113
+ * @returns The membership witness and epoch number, or undefined if the tx is not yet in a block/epoch.
114
+ */
105
115
  export async function computeL2ToL1MembershipWitness(
106
- messageRetriever: MessageRetrieval,
107
- epoch: EpochNumber,
116
+ node: Pick<
117
+ AztecNode,
118
+ 'getL2ToL1Messages' | 'getTxReceipt' | 'getTxEffect' | 'getBlock' | 'getCheckpointsDataForEpoch'
119
+ >,
108
120
  message: Fr,
121
+ txHash: TxHash,
122
+ messageIndexInTx?: number,
109
123
  ): Promise<L2ToL1MembershipWitness | undefined> {
110
- const messagesInEpoch = await messageRetriever.getL2ToL1Messages(epoch);
111
- if (messagesInEpoch.length === 0) {
124
+ const { epochNumber, blockNumber } = await node.getTxReceipt(txHash);
125
+ if (epochNumber === undefined || blockNumber === undefined) {
126
+ return undefined;
127
+ }
128
+
129
+ const [messagesInEpoch, block, txEffect, checkpointsData] = await Promise.all([
130
+ node.getL2ToL1Messages(epochNumber),
131
+ node.getBlock(blockNumber),
132
+ node.getTxEffect(txHash),
133
+ node.getCheckpointsDataForEpoch(epochNumber),
134
+ ]);
135
+
136
+ if (messagesInEpoch.length === 0 || !block || !txEffect) {
137
+ return undefined;
138
+ }
139
+
140
+ const checkpointIndex = checkpointsData.findIndex(c => c.checkpointNumber === block.checkpointNumber);
141
+ if (checkpointIndex === -1) {
112
142
  return undefined;
113
143
  }
114
144
 
115
- return computeL2ToL1MembershipWitnessFromMessagesInEpoch(messagesInEpoch, message);
145
+ const blockIndex = block.indexWithinCheckpoint;
146
+ const txIndex = txEffect.txIndexInBlock;
147
+
148
+ const { root, leafIndex, siblingPath } = computeL2ToL1MembershipWitnessFromMessagesInEpoch(
149
+ messagesInEpoch,
150
+ message,
151
+ checkpointIndex,
152
+ blockIndex,
153
+ txIndex,
154
+ messageIndexInTx,
155
+ );
156
+ return { epochNumber, root, leafIndex, siblingPath };
116
157
  }
117
158
 
118
- // TODO: Allow to specify the message to consume by its index or by an offset, in case there are multiple messages with
119
- // the same value.
159
+ /**
160
+ * Computes a membership witness for a message in the epoch's L2-to-L1 message tree, given explicit position indices.
161
+ *
162
+ * @param messagesInEpoch - All L2-to-L1 messages in the epoch, organized as checkpoints → blocks → txs → messages.
163
+ * @param message - The message hash to prove membership of.
164
+ * @param checkpointIndex - Index of the checkpoint within the epoch's message array.
165
+ * @param blockIndex - Index of the block within the checkpoint.
166
+ * @param txIndex - Index of the transaction within the block.
167
+ * @param messageIndexInTx - Optional index of the message within the transaction's messages.
168
+ * If not provided, the message is found by scanning (throws if duplicates exist within the tx).
169
+ */
170
+ /** @internal Exported for testing only. */
120
171
  export function computeL2ToL1MembershipWitnessFromMessagesInEpoch(
121
172
  messagesInEpoch: Fr[][][][],
122
173
  message: Fr,
123
- ): L2ToL1MembershipWitness {
124
- // Find the index of the message in the tx, index of the tx in the block, and index of the block in the epoch.
125
- let messageIndexInTx = -1;
126
- let txIndex = -1;
127
- let blockIndex = -1;
128
- const checkpointIndex = messagesInEpoch.findIndex(messagesInCheckpoint => {
129
- blockIndex = messagesInCheckpoint.findIndex(messagesInBlock => {
130
- txIndex = messagesInBlock.findIndex(messagesInTx => {
131
- messageIndexInTx = messagesInTx.findIndex(msg => msg.equals(message));
132
- return messageIndexInTx !== -1;
133
- });
134
- return txIndex !== -1;
135
- });
136
- return blockIndex !== -1;
137
- });
138
-
139
- if (checkpointIndex === -1) {
140
- throw new Error('The L2ToL1Message you are trying to prove inclusion of does not exist');
141
- }
174
+ checkpointIndex: number,
175
+ blockIndex: number,
176
+ txIndex: number,
177
+ messageIndexInTx?: number,
178
+ ): { root: Fr; leafIndex: bigint; siblingPath: SiblingPath<number> } {
179
+ const messagesInTx = messagesInEpoch[checkpointIndex][blockIndex][txIndex];
180
+ const resolvedMessageIndex = resolveMessageIndex(messagesInTx, message, messageIndexInTx);
142
181
 
143
182
  // Build the tx tree.
144
- const messagesInTx = messagesInEpoch[checkpointIndex][blockIndex][txIndex];
145
183
  const txTree = UnbalancedMerkleTreeCalculator.create(messagesInTx.map(msg => msg.toBuffer()));
146
184
  // Get the sibling path of the target message in the tx tree.
147
- const pathToMessageInTxSubtree = txTree.getSiblingPathByLeafIndex(messageIndexInTx);
185
+ const pathToMessageInTxSubtree = txTree.getSiblingPathByLeafIndex(resolvedMessageIndex);
148
186
 
149
187
  // Build the tree of the block containing the target message.
150
188
  const blockTree = buildBlockTree(messagesInEpoch[checkpointIndex][blockIndex]);
@@ -189,7 +227,7 @@ export function computeL2ToL1MembershipWitnessFromMessagesInEpoch(
189
227
  // Compute the combined index.
190
228
  // It is the index of the message in the balanced tree (by filling up the wonky tree with empty nodes) at its current
191
229
  // height. It's used to validate the membership proof.
192
- const messageLeafPosition = txTree.getLeafLocation(messageIndexInTx);
230
+ const messageLeafPosition = txTree.getLeafLocation(resolvedMessageIndex);
193
231
  const txLeafPosition = blockTree.getLeafLocation(txIndex);
194
232
  const blockLeafPosition = checkpointTree.getLeafLocation(blockIndex);
195
233
  const checkpointLeafPosition = epochTree.getLeafLocation(checkpointIndex);
@@ -207,6 +245,33 @@ export function computeL2ToL1MembershipWitnessFromMessagesInEpoch(
207
245
  };
208
246
  }
209
247
 
248
+ function resolveMessageIndex(messagesInTx: Fr[], message: Fr, messageIndexInTx?: number): number {
249
+ if (messageIndexInTx !== undefined) {
250
+ if (!messagesInTx[messageIndexInTx]?.equals(message)) {
251
+ throw new Error(`Message at index ${messageIndexInTx} in tx does not match the expected message ${message}`);
252
+ }
253
+ return messageIndexInTx;
254
+ }
255
+
256
+ const indices = messagesInTx.reduce<number[]>((acc, msg, i) => {
257
+ if (msg.equals(message)) {
258
+ acc.push(i);
259
+ }
260
+ return acc;
261
+ }, []);
262
+
263
+ if (indices.length === 0) {
264
+ throw new Error('The L2ToL1Message you are trying to prove inclusion of does not exist');
265
+ }
266
+ if (indices.length > 1) {
267
+ throw new Error(
268
+ `Multiple messages with the same value ${message} found in tx (indices: ${indices.join(', ')}). ` +
269
+ `Provide messageIndexInTx to disambiguate.`,
270
+ );
271
+ }
272
+ return indices[0];
273
+ }
274
+
210
275
  function buildCheckpointTree(messagesInCheckpoint: Fr[][][]) {
211
276
  const blockOutHashes = messagesInCheckpoint.map(messagesInBlock => buildBlockTree(messagesInBlock).getRoot());
212
277
  return buildCompressedTree(blockOutHashes);
package/src/noir/index.ts CHANGED
@@ -19,7 +19,7 @@ export const AZTEC_VIEW_ATTRIBUTE = 'abi_view';
19
19
  export interface NoirFunctionAbi {
20
20
  /** The parameters of the function. */
21
21
  parameters: ABIParameter[];
22
- /** The return type of the function. */
22
+ /** The return type of the function, or null for void functions. */
23
23
  return_type: {
24
24
  /**
25
25
  * The type of the return value.
@@ -29,7 +29,7 @@ export interface NoirFunctionAbi {
29
29
  * The visibility of the return value.
30
30
  */
31
31
  visibility: ABIParameterVisibility;
32
- };
32
+ } | null;
33
33
  /** Mapping of error selector => error type */
34
34
  error_types: Partial<Record<string, AbiErrorType>>;
35
35
  }
@@ -1,6 +1,5 @@
1
1
  import { BlockNumber } from '@aztec/foundation/branded-types';
2
2
  import { Fr } from '@aztec/foundation/curves/bn254';
3
- import { Point } from '@aztec/foundation/curves/grumpkin';
4
3
  import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
5
4
  import { AztecAddress } from '@aztec/stdlib/aztec-address';
6
5
  import { Note } from '@aztec/stdlib/note';
@@ -148,9 +147,7 @@ export class NoteDao {
148
147
  * @returns - Its size in bytes.
149
148
  */
150
149
  public getSize() {
151
- const noteSize = 4 + this.note.items.length * Fr.SIZE_IN_BYTES;
152
- // 2 numbers for txIndexInBlock and noteIndexInTx (4 bytes each)
153
- return noteSize + AztecAddress.SIZE_IN_BYTES * 2 + Fr.SIZE_IN_BYTES * 4 + TxHash.SIZE + Point.SIZE_IN_BYTES + 8;
150
+ return this.toBuffer().length;
154
151
  }
155
152
 
156
153
  static async random({
@@ -1,5 +1,11 @@
1
- import { BlockNumber, IndexWithinCheckpoint, SlotNumber } from '@aztec/foundation/branded-types';
2
- import { Buffer32 } from '@aztec/foundation/buffer';
1
+ import {
2
+ BlockNumber,
3
+ BlockProposalHash,
4
+ type CheckpointNumber,
5
+ IndexWithinCheckpoint,
6
+ SlotNumber,
7
+ } from '@aztec/foundation/branded-types';
8
+ import { type BaseBuffer32, Buffer32 } from '@aztec/foundation/buffer';
3
9
  import { keccak256 } from '@aztec/foundation/crypto/keccak';
4
10
  import { tryRecoverAddress } from '@aztec/foundation/crypto/secp256k1-signer';
5
11
  import { Fr } from '@aztec/foundation/curves/bn254';
@@ -23,11 +29,7 @@ import {
23
29
  import { SignedTxs } from './signed_txs.js';
24
30
  import { TopicType } from './topic_type.js';
25
31
 
26
- export class BlockProposalHash extends Buffer32 {
27
- constructor(hash: Buffer) {
28
- super(hash);
29
- }
30
- }
32
+ export type { BlockProposalHash } from '@aztec/foundation/branded-types';
31
33
 
32
34
  export type BlockProposalOptions = {
33
35
  /**
@@ -77,8 +79,8 @@ export class BlockProposal extends Gossipable {
77
79
  super();
78
80
  }
79
81
 
80
- override generateP2PMessageIdentifier(): Promise<Buffer32> {
81
- return Promise.resolve(new BlockProposalHash(keccak256(this.signature.toBuffer())));
82
+ override generateP2PMessageIdentifier(): Promise<BaseBuffer32> {
83
+ return Promise.resolve(BlockProposalHash.fromBuffer(keccak256(this.signature.toBuffer())));
82
84
  }
83
85
 
84
86
  get archive(): Fr {
@@ -126,6 +128,7 @@ export class BlockProposal extends Gossipable {
126
128
 
127
129
  static async createProposalFromSigner(
128
130
  blockHeader: BlockHeader,
131
+ checkpointNumber: CheckpointNumber,
129
132
  indexWithinCheckpoint: IndexWithinCheckpoint,
130
133
  inHash: Fr,
131
134
  archiveRoot: Fr,
@@ -147,6 +150,7 @@ export class BlockProposal extends Gossipable {
147
150
  const blockContext: SigningContext = {
148
151
  slot: blockHeader.globalVariables.slotNumber,
149
152
  blockNumber: blockHeader.globalVariables.blockNumber,
153
+ checkpointNumber,
150
154
  blockIndexWithinCheckpoint: indexWithinCheckpoint,
151
155
  dutyType: DutyType.BLOCK_PROPOSAL,
152
156
  };
@@ -1,5 +1,5 @@
1
- import { SlotNumber } from '@aztec/foundation/branded-types';
2
- import { Buffer32 } from '@aztec/foundation/buffer';
1
+ import { CheckpointAttestationHash, SlotNumber } from '@aztec/foundation/branded-types';
2
+ import type { BaseBuffer32 } from '@aztec/foundation/buffer';
3
3
  import { keccak256 } from '@aztec/foundation/crypto/keccak';
4
4
  import { tryRecoverAddress } from '@aztec/foundation/crypto/secp256k1-signer';
5
5
  import type { Fr } from '@aztec/foundation/curves/bn254';
@@ -16,11 +16,7 @@ import { Gossipable } from './gossipable.js';
16
16
  import { SignatureDomainSeparator, getHashedSignaturePayloadEthSignedMessage } from './signature_utils.js';
17
17
  import { TopicType } from './topic_type.js';
18
18
 
19
- export class CheckpointAttestationHash extends Buffer32 {
20
- constructor(hash: Buffer) {
21
- super(hash);
22
- }
23
- }
19
+ export type { CheckpointAttestationHash } from '@aztec/foundation/branded-types';
24
20
 
25
21
  /**
26
22
  * CheckpointAttestation
@@ -57,8 +53,8 @@ export class CheckpointAttestation extends Gossipable {
57
53
  .transform(obj => new CheckpointAttestation(obj.payload, obj.signature, obj.proposerSignature));
58
54
  }
59
55
 
60
- override generateP2PMessageIdentifier(): Promise<Buffer32> {
61
- return Promise.resolve(new CheckpointAttestationHash(keccak256(this.signature.toBuffer())));
56
+ override generateP2PMessageIdentifier(): Promise<BaseBuffer32> {
57
+ return Promise.resolve(CheckpointAttestationHash.fromBuffer(keccak256(this.signature.toBuffer())));
62
58
  }
63
59
 
64
60
  get archive(): Fr {
@@ -1,5 +1,10 @@
1
- import { BlockNumber, IndexWithinCheckpoint, SlotNumber } from '@aztec/foundation/branded-types';
2
- import { Buffer32 } from '@aztec/foundation/buffer';
1
+ import {
2
+ type CheckpointNumber,
3
+ CheckpointProposalHash,
4
+ IndexWithinCheckpoint,
5
+ SlotNumber,
6
+ } from '@aztec/foundation/branded-types';
7
+ import { type BaseBuffer32, Buffer32 } from '@aztec/foundation/buffer';
3
8
  import { keccak256 } from '@aztec/foundation/crypto/keccak';
4
9
  import { tryRecoverAddress } from '@aztec/foundation/crypto/secp256k1-signer';
5
10
  import { Fr } from '@aztec/foundation/curves/bn254';
@@ -24,12 +29,7 @@ import {
24
29
  import { SignedTxs } from './signed_txs.js';
25
30
  import { TopicType } from './topic_type.js';
26
31
 
27
- // REFACTOR(palla): Use a branded type instead of a subclass of Buffer32
28
- export class CheckpointProposalHash extends Buffer32 {
29
- constructor(hash: Buffer) {
30
- super(hash);
31
- }
32
- }
32
+ export type { CheckpointProposalHash } from '@aztec/foundation/branded-types';
33
33
 
34
34
  export type CheckpointProposalOptions = {
35
35
  /**
@@ -93,31 +93,14 @@ export class CheckpointProposal extends Gossipable {
93
93
  super();
94
94
  }
95
95
 
96
- override generateP2PMessageIdentifier(): Promise<Buffer32> {
97
- return Promise.resolve(new CheckpointProposalHash(keccak256(this.signature.toBuffer())));
96
+ override generateP2PMessageIdentifier(): Promise<BaseBuffer32> {
97
+ return Promise.resolve(CheckpointProposalHash.fromBuffer(keccak256(this.signature.toBuffer())));
98
98
  }
99
99
 
100
100
  get slotNumber(): SlotNumber {
101
101
  return this.checkpointHeader.slotNumber;
102
102
  }
103
103
 
104
- get blockNumber(): BlockNumber {
105
- if (!this.lastBlock) {
106
- throw new Error('Cannot get blockNumber without lastBlock');
107
- }
108
- return this.lastBlock.blockHeader.getBlockNumber();
109
- }
110
-
111
- /** Convenience getter for txHashes from lastBlock */
112
- get txHashes(): TxHash[] {
113
- return this.lastBlock?.txHashes ?? [];
114
- }
115
-
116
- /** Convenience getter for txs from lastBlock */
117
- get txs(): Tx[] | undefined {
118
- return this.lastBlock?.signedTxs?.txs;
119
- }
120
-
121
104
  /**
122
105
  * Extract a BlockProposal from the last block info.
123
106
  * Uses inHash from checkpointHeader.contentCommitment.inHash
@@ -177,8 +160,9 @@ export class CheckpointProposal extends Gossipable {
177
160
  static async createProposalFromSigner(
178
161
  checkpointHeader: CheckpointHeader,
179
162
  archiveRoot: Fr,
163
+ checkpointNumber: CheckpointNumber,
180
164
  feeAssetPriceModifier: bigint,
181
- lastBlockInfo: CheckpointLastBlockData | undefined,
165
+ lastBlockProposal: BlockProposal | undefined,
182
166
  payloadSigner: (payload: Buffer32, context: SigningContext) => Promise<Signature>,
183
167
  ): Promise<CheckpointProposal> {
184
168
  // Sign the checkpoint payload with CHECKPOINT_PROPOSAL duty type
@@ -192,32 +176,19 @@ export class CheckpointProposal extends Gossipable {
192
176
 
193
177
  const checkpointContext: SigningContext = {
194
178
  slot: checkpointHeader.slotNumber,
195
- blockNumber: lastBlockInfo?.blockHeader?.globalVariables.blockNumber ?? BlockNumber(0),
179
+ checkpointNumber,
196
180
  dutyType: DutyType.CHECKPOINT_PROPOSAL,
197
181
  };
198
- const checkpointSignature = await payloadSigner(checkpointHash, checkpointContext);
199
182
 
200
- if (!lastBlockInfo) {
201
- return new CheckpointProposal(checkpointHeader, archiveRoot, feeAssetPriceModifier, checkpointSignature);
202
- }
183
+ const checkpointSignature = await payloadSigner(checkpointHash, checkpointContext);
203
184
 
204
- const lastBlockProposal = await BlockProposal.createProposalFromSigner(
205
- lastBlockInfo.blockHeader,
206
- lastBlockInfo.indexWithinCheckpoint,
207
- checkpointHeader.inHash,
185
+ return new CheckpointProposal(
186
+ checkpointHeader,
208
187
  archiveRoot,
209
- lastBlockInfo.txHashes,
210
- lastBlockInfo.txs,
211
- payloadSigner,
188
+ feeAssetPriceModifier,
189
+ checkpointSignature,
190
+ lastBlockProposal,
212
191
  );
213
-
214
- return new CheckpointProposal(checkpointHeader, archiveRoot, feeAssetPriceModifier, checkpointSignature, {
215
- blockHeader: lastBlockInfo.blockHeader,
216
- indexWithinCheckpoint: lastBlockInfo.indexWithinCheckpoint,
217
- txHashes: lastBlockInfo.txHashes,
218
- signature: lastBlockProposal.signature,
219
- signedTxs: lastBlockProposal.signedTxs,
220
- });
221
192
  }
222
193
 
223
194
  /**
@@ -1,4 +1,4 @@
1
- import { Buffer32 } from '@aztec/foundation/buffer';
1
+ import { BaseBuffer32 } from '@aztec/foundation/buffer';
2
2
  import { BufferReader, bigintToUInt64BE, serializeToBuffer } from '@aztec/foundation/serialize';
3
3
 
4
4
  import type { TopicType } from './topic_type.js';
@@ -46,7 +46,7 @@ export class P2PMessage {
46
46
  * Any class which extends gossipable will be able to be Gossiped over the p2p network
47
47
  */
48
48
  export abstract class Gossipable {
49
- private cachedId: Buffer32 | undefined;
49
+ private cachedId: BaseBuffer32 | undefined;
50
50
  /** The p2p topic identifier, this determines how the message is handled */
51
51
  static p2pTopic: TopicType;
52
52
 
@@ -54,7 +54,7 @@ export abstract class Gossipable {
54
54
  * A digest of the message information **used for logging only**.
55
55
  * The identifier used for deduplication is `getMsgIdFn` as defined in `encoding.ts` which is a hash over topic and data.
56
56
  */
57
- async p2pMessageLoggingIdentifier(): Promise<Buffer32> {
57
+ async p2pMessageLoggingIdentifier(): Promise<BaseBuffer32> {
58
58
  if (this.cachedId) {
59
59
  return this.cachedId;
60
60
  }
@@ -62,7 +62,7 @@ export abstract class Gossipable {
62
62
  return this.cachedId;
63
63
  }
64
64
 
65
- abstract generateP2PMessageIdentifier(): Promise<Buffer32>;
65
+ abstract generateP2PMessageIdentifier(): Promise<BaseBuffer32>;
66
66
 
67
67
  abstract toBuffer(): Buffer;
68
68
 
@@ -15,3 +15,10 @@ export enum PeerErrorSeverity {
15
15
  */
16
16
  HighToleranceError = 'HighToleranceError',
17
17
  }
18
+
19
+ /** Severities ordered from mildest to harshest. */
20
+ export const PeerErrorSeverityByHarshness = [
21
+ PeerErrorSeverity.HighToleranceError,
22
+ PeerErrorSeverity.MidToleranceError,
23
+ PeerErrorSeverity.LowToleranceError,
24
+ ] as const;