@aztec/stdlib 0.0.1-commit.f1df4d2 → 0.0.1-commit.f224bb98b

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 (447) hide show
  1. package/dest/abi/decoder.d.ts +2 -2
  2. package/dest/abi/decoder.d.ts.map +1 -1
  3. package/dest/abi/decoder.js +7 -5
  4. package/dest/abi/encoder.d.ts +1 -1
  5. package/dest/abi/encoder.d.ts.map +1 -1
  6. package/dest/abi/encoder.js +37 -6
  7. package/dest/abi/event_metadata_definition.d.ts +3 -1
  8. package/dest/abi/event_metadata_definition.d.ts.map +1 -1
  9. package/dest/abi/event_metadata_definition.js +1 -1
  10. package/dest/abi/function_call.d.ts +39 -9
  11. package/dest/abi/function_call.d.ts.map +1 -1
  12. package/dest/abi/function_call.js +20 -3
  13. package/dest/abi/utils.d.ts +14 -1
  14. package/dest/abi/utils.d.ts.map +1 -1
  15. package/dest/abi/utils.js +15 -0
  16. package/dest/auth_witness/auth_witness.js +3 -3
  17. package/dest/avm/avm.d.ts +300 -300
  18. package/dest/avm/avm_proving_request.d.ts +166 -166
  19. package/dest/avm/revert_code.d.ts +16 -1
  20. package/dest/avm/revert_code.d.ts.map +1 -1
  21. package/dest/avm/revert_code.js +15 -5
  22. package/dest/block/block_data.d.ts +52 -0
  23. package/dest/block/block_data.d.ts.map +1 -0
  24. package/dest/block/block_data.js +12 -0
  25. package/dest/block/in_block.js +1 -1
  26. package/dest/block/index.d.ts +2 -1
  27. package/dest/block/index.d.ts.map +1 -1
  28. package/dest/block/index.js +1 -0
  29. package/dest/block/l2_block.d.ts +9 -1
  30. package/dest/block/l2_block.d.ts.map +1 -1
  31. package/dest/block/l2_block.js +12 -2
  32. package/dest/block/l2_block_source.d.ts +33 -8
  33. package/dest/block/l2_block_source.d.ts.map +1 -1
  34. package/dest/block/l2_block_stream/l2_block_stream.d.ts +1 -1
  35. package/dest/block/l2_block_stream/l2_block_stream.d.ts.map +1 -1
  36. package/dest/block/l2_block_stream/l2_block_stream.js +10 -0
  37. package/dest/checkpoint/checkpoint.d.ts +22 -7
  38. package/dest/checkpoint/checkpoint.d.ts.map +1 -1
  39. package/dest/checkpoint/checkpoint.js +32 -16
  40. package/dest/checkpoint/checkpoint_data.d.ts +120 -0
  41. package/dest/checkpoint/checkpoint_data.d.ts.map +1 -0
  42. package/dest/checkpoint/checkpoint_data.js +26 -0
  43. package/dest/checkpoint/index.d.ts +3 -1
  44. package/dest/checkpoint/index.d.ts.map +1 -1
  45. package/dest/checkpoint/index.js +2 -0
  46. package/dest/checkpoint/published_checkpoint.d.ts +17 -2
  47. package/dest/checkpoint/published_checkpoint.d.ts.map +1 -1
  48. package/dest/checkpoint/published_checkpoint.js +1 -2
  49. package/dest/checkpoint/validate.d.ts +36 -0
  50. package/dest/checkpoint/validate.d.ts.map +1 -0
  51. package/dest/checkpoint/validate.js +120 -0
  52. package/dest/config/index.d.ts +2 -1
  53. package/dest/config/index.d.ts.map +1 -1
  54. package/dest/config/index.js +1 -0
  55. package/dest/config/sequencer-config.d.ts +12 -0
  56. package/dest/config/sequencer-config.d.ts.map +1 -0
  57. package/dest/config/sequencer-config.js +24 -0
  58. package/dest/contract/contract_address.js +4 -4
  59. package/dest/contract/contract_class.d.ts +2 -3
  60. package/dest/contract/contract_class.d.ts.map +1 -1
  61. package/dest/contract/contract_class_id.d.ts +1 -1
  62. package/dest/contract/contract_class_id.d.ts.map +1 -1
  63. package/dest/contract/contract_class_id.js +5 -4
  64. package/dest/contract/interfaces/node-info.d.ts +3 -1
  65. package/dest/contract/interfaces/node-info.d.ts.map +1 -1
  66. package/dest/contract/interfaces/node-info.js +2 -1
  67. package/dest/contract/private_function.js +2 -2
  68. package/dest/epoch-helpers/index.d.ts +9 -1
  69. package/dest/epoch-helpers/index.d.ts.map +1 -1
  70. package/dest/epoch-helpers/index.js +6 -2
  71. package/dest/file-store/local.d.ts +3 -3
  72. package/dest/file-store/local.d.ts.map +1 -1
  73. package/dest/file-store/local.js +13 -4
  74. package/dest/file-store/s3.d.ts +1 -1
  75. package/dest/file-store/s3.d.ts.map +1 -1
  76. package/dest/file-store/s3.js +11 -3
  77. package/dest/gas/gas_fees.d.ts +1 -1
  78. package/dest/gas/gas_fees.d.ts.map +1 -1
  79. package/dest/gas/gas_fees.js +4 -1
  80. package/dest/ha-signing/config.d.ts +136 -0
  81. package/dest/ha-signing/config.d.ts.map +1 -0
  82. package/dest/ha-signing/config.js +97 -0
  83. package/dest/ha-signing/index.d.ts +4 -0
  84. package/dest/ha-signing/index.d.ts.map +1 -0
  85. package/dest/ha-signing/index.js +3 -0
  86. package/dest/ha-signing/local_config.d.ts +63 -0
  87. package/dest/ha-signing/local_config.d.ts.map +1 -0
  88. package/dest/ha-signing/local_config.js +24 -0
  89. package/dest/ha-signing/types.d.ts +85 -0
  90. package/dest/ha-signing/types.d.ts.map +1 -0
  91. package/dest/ha-signing/types.js +32 -0
  92. package/dest/hash/hash.d.ts +2 -1
  93. package/dest/hash/hash.d.ts.map +1 -1
  94. package/dest/hash/hash.js +16 -10
  95. package/dest/hash/map_slot.js +2 -2
  96. package/dest/interfaces/allowed_element.d.ts +26 -20
  97. package/dest/interfaces/allowed_element.d.ts.map +1 -1
  98. package/dest/interfaces/allowed_element.js +8 -8
  99. package/dest/interfaces/archiver.d.ts +1 -1
  100. package/dest/interfaces/archiver.d.ts.map +1 -1
  101. package/dest/interfaces/archiver.js +8 -2
  102. package/dest/interfaces/aztec-node-admin.d.ts +111 -31
  103. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  104. package/dest/interfaces/aztec-node-admin.js +9 -3
  105. package/dest/interfaces/aztec-node.d.ts +11 -6
  106. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  107. package/dest/interfaces/aztec-node.js +3 -2
  108. package/dest/interfaces/block-builder.d.ts +9 -6
  109. package/dest/interfaces/block-builder.d.ts.map +1 -1
  110. package/dest/interfaces/block-builder.js +7 -2
  111. package/dest/interfaces/configs.d.ts +72 -32
  112. package/dest/interfaces/configs.d.ts.map +1 -1
  113. package/dest/interfaces/configs.js +9 -3
  114. package/dest/interfaces/get_logs_response.d.ts +8 -1
  115. package/dest/interfaces/get_logs_response.d.ts.map +1 -1
  116. package/dest/interfaces/merkle_tree_operations.d.ts +2 -2
  117. package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
  118. package/dest/interfaces/p2p.d.ts +4 -9
  119. package/dest/interfaces/p2p.d.ts.map +1 -1
  120. package/dest/interfaces/prover-client.d.ts +6 -1
  121. package/dest/interfaces/prover-client.d.ts.map +1 -1
  122. package/dest/interfaces/prover-client.js +7 -1
  123. package/dest/interfaces/proving-job.d.ts +168 -168
  124. package/dest/interfaces/slasher.d.ts +9 -1
  125. package/dest/interfaces/slasher.d.ts.map +1 -1
  126. package/dest/interfaces/slasher.js +2 -0
  127. package/dest/interfaces/validator.d.ts +118 -42
  128. package/dest/interfaces/validator.d.ts.map +1 -1
  129. package/dest/interfaces/validator.js +11 -4
  130. package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts +3 -3
  131. package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts.map +1 -1
  132. package/dest/kernel/hints/build_note_hash_read_request_hints.js +13 -10
  133. package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts +3 -3
  134. package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts.map +1 -1
  135. package/dest/kernel/hints/build_nullifier_read_request_hints.js +13 -10
  136. package/dest/kernel/hints/build_transient_data_hints.d.ts +5 -2
  137. package/dest/kernel/hints/build_transient_data_hints.d.ts.map +1 -1
  138. package/dest/kernel/hints/build_transient_data_hints.js +9 -3
  139. package/dest/kernel/hints/index.d.ts +2 -2
  140. package/dest/kernel/hints/index.js +2 -2
  141. package/dest/kernel/hints/key_validation_request_and_separator.d.ts +24 -0
  142. package/dest/kernel/hints/key_validation_request_and_separator.d.ts.map +1 -0
  143. package/dest/kernel/hints/{key_validation_request_and_generator.js → key_validation_request_and_separator.js} +12 -15
  144. package/dest/kernel/hints/{scoped_key_validation_request_and_generator.d.ts → scoped_key_validation_request_and_separator.d.ts} +8 -8
  145. package/dest/kernel/hints/{scoped_key_validation_request_and_generator.d.ts.map → scoped_key_validation_request_and_separator.d.ts.map} +1 -1
  146. package/dest/kernel/hints/{scoped_key_validation_request_and_generator.js → scoped_key_validation_request_and_separator.js} +6 -6
  147. package/dest/kernel/private_circuit_public_inputs.d.ts +9 -9
  148. package/dest/kernel/private_circuit_public_inputs.d.ts.map +1 -1
  149. package/dest/kernel/private_circuit_public_inputs.js +16 -16
  150. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts +3 -3
  151. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts.map +1 -1
  152. package/dest/kernel/private_kernel_circuit_public_inputs.js +4 -4
  153. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts +3 -3
  154. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts.map +1 -1
  155. package/dest/kernel/private_kernel_tail_circuit_private_inputs.js +4 -4
  156. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts +4 -3
  157. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts.map +1 -1
  158. package/dest/kernel/private_kernel_tail_circuit_public_inputs.js +11 -7
  159. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts +3 -3
  160. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts.map +1 -1
  161. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.js +7 -7
  162. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.d.ts +3 -3
  163. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.d.ts.map +1 -1
  164. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.js +7 -7
  165. package/dest/kernel/private_validation_requests.d.ts +3 -3
  166. package/dest/kernel/private_validation_requests.js +9 -9
  167. package/dest/keys/derivation.js +8 -8
  168. package/dest/keys/key_types.d.ts +3 -3
  169. package/dest/keys/key_types.d.ts.map +1 -1
  170. package/dest/keys/public_keys.js +2 -2
  171. package/dest/keys/utils.js +5 -5
  172. package/dest/kv-store/config.d.ts +17 -0
  173. package/dest/kv-store/config.d.ts.map +1 -0
  174. package/dest/kv-store/config.js +26 -0
  175. package/dest/kv-store/index.d.ts +2 -0
  176. package/dest/kv-store/index.d.ts.map +1 -0
  177. package/dest/kv-store/index.js +1 -0
  178. package/dest/logs/debug_log_store.d.ts +30 -0
  179. package/dest/logs/debug_log_store.d.ts.map +1 -0
  180. package/dest/logs/debug_log_store.js +30 -0
  181. package/dest/logs/extended_directional_app_tagging_secret.d.ts +47 -0
  182. package/dest/logs/extended_directional_app_tagging_secret.d.ts.map +1 -0
  183. package/dest/logs/{directional_app_tagging_secret.js → extended_directional_app_tagging_secret.js} +23 -15
  184. package/dest/logs/extended_public_log.d.ts +7 -1
  185. package/dest/logs/extended_public_log.d.ts.map +1 -1
  186. package/dest/logs/index.d.ts +3 -2
  187. package/dest/logs/index.d.ts.map +1 -1
  188. package/dest/logs/index.js +2 -1
  189. package/dest/logs/log_id.d.ts +10 -7
  190. package/dest/logs/log_id.d.ts.map +1 -1
  191. package/dest/logs/log_id.js +15 -13
  192. package/dest/logs/pre_tag.d.ts +16 -11
  193. package/dest/logs/pre_tag.d.ts.map +1 -1
  194. package/dest/logs/pre_tag.js +2 -2
  195. package/dest/logs/private_log.d.ts +2 -2
  196. package/dest/logs/private_log.d.ts.map +1 -1
  197. package/dest/logs/public_log.d.ts +4 -3
  198. package/dest/logs/public_log.d.ts.map +1 -1
  199. package/dest/logs/public_log.js +2 -1
  200. package/dest/logs/siloed_tag.d.ts +5 -3
  201. package/dest/logs/siloed_tag.d.ts.map +1 -1
  202. package/dest/logs/siloed_tag.js +8 -7
  203. package/dest/logs/tag.js +1 -1
  204. package/dest/messaging/l2_to_l1_membership.d.ts +2 -2
  205. package/dest/messaging/l2_to_l1_membership.js +3 -3
  206. package/dest/note/index.d.ts +1 -2
  207. package/dest/note/index.d.ts.map +1 -1
  208. package/dest/note/index.js +0 -1
  209. package/dest/p2p/attestation_utils.d.ts +11 -1
  210. package/dest/p2p/attestation_utils.d.ts.map +1 -1
  211. package/dest/p2p/attestation_utils.js +45 -0
  212. package/dest/p2p/block_proposal.d.ts +2 -2
  213. package/dest/p2p/block_proposal.d.ts.map +1 -1
  214. package/dest/p2p/block_proposal.js +2 -4
  215. package/dest/p2p/checkpoint_attestation.d.ts +2 -1
  216. package/dest/p2p/checkpoint_attestation.d.ts.map +1 -1
  217. package/dest/p2p/checkpoint_attestation.js +1 -1
  218. package/dest/p2p/checkpoint_proposal.d.ts +18 -11
  219. package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
  220. package/dest/p2p/checkpoint_proposal.js +30 -28
  221. package/dest/p2p/client_type.d.ts +2 -5
  222. package/dest/p2p/client_type.d.ts.map +1 -1
  223. package/dest/p2p/client_type.js +0 -7
  224. package/dest/p2p/consensus_payload.d.ts +12 -3
  225. package/dest/p2p/consensus_payload.d.ts.map +1 -1
  226. package/dest/p2p/consensus_payload.js +22 -15
  227. package/dest/p2p/constants.d.ts +3 -1
  228. package/dest/p2p/constants.d.ts.map +1 -1
  229. package/dest/p2p/constants.js +1 -0
  230. package/dest/p2p/index.d.ts +1 -2
  231. package/dest/p2p/index.d.ts.map +1 -1
  232. package/dest/p2p/index.js +0 -1
  233. package/dest/p2p/peer_error.d.ts +3 -1
  234. package/dest/p2p/peer_error.d.ts.map +1 -1
  235. package/dest/p2p/peer_error.js +5 -0
  236. package/dest/p2p/topic_type.d.ts +3 -4
  237. package/dest/p2p/topic_type.d.ts.map +1 -1
  238. package/dest/p2p/topic_type.js +7 -24
  239. package/dest/rollup/checkpoint_header.d.ts +2 -2
  240. package/dest/rollup/checkpoint_header.js +2 -2
  241. package/dest/rollup/checkpoint_rollup_public_inputs.d.ts +6 -6
  242. package/dest/rollup/checkpoint_rollup_public_inputs.d.ts.map +1 -1
  243. package/dest/rollup/checkpoint_rollup_public_inputs.js +2 -2
  244. package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts +2 -2
  245. package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts.map +1 -1
  246. package/dest/rollup/root_rollup_public_inputs.d.ts +6 -6
  247. package/dest/rollup/root_rollup_public_inputs.d.ts.map +1 -1
  248. package/dest/rollup/root_rollup_public_inputs.js +3 -3
  249. package/dest/slashing/empire.d.ts +1 -1
  250. package/dest/slashing/empire.d.ts.map +1 -1
  251. package/dest/slashing/empire.js +2 -0
  252. package/dest/slashing/helpers.d.ts +2 -2
  253. package/dest/slashing/helpers.d.ts.map +1 -1
  254. package/dest/slashing/helpers.js +6 -0
  255. package/dest/slashing/tally.d.ts +8 -2
  256. package/dest/slashing/tally.d.ts.map +1 -1
  257. package/dest/slashing/tally.js +35 -3
  258. package/dest/slashing/types.d.ts +7 -3
  259. package/dest/slashing/types.d.ts.map +1 -1
  260. package/dest/slashing/types.js +13 -1
  261. package/dest/tests/factories.d.ts +3 -1
  262. package/dest/tests/factories.d.ts.map +1 -1
  263. package/dest/tests/factories.js +21 -13
  264. package/dest/tests/mocks.d.ts +8 -3
  265. package/dest/tests/mocks.d.ts.map +1 -1
  266. package/dest/tests/mocks.js +31 -21
  267. package/dest/timetable/index.d.ts +37 -0
  268. package/dest/timetable/index.d.ts.map +1 -0
  269. package/dest/timetable/index.js +39 -0
  270. package/dest/trees/public_data_leaf.d.ts +2 -1
  271. package/dest/trees/public_data_leaf.d.ts.map +1 -1
  272. package/dest/trees/public_data_leaf.js +7 -6
  273. package/dest/tx/block_header.d.ts +3 -1
  274. package/dest/tx/block_header.d.ts.map +1 -1
  275. package/dest/tx/block_header.js +6 -2
  276. package/dest/tx/global_variables.d.ts +4 -4
  277. package/dest/tx/global_variables.d.ts.map +1 -1
  278. package/dest/tx/profiling.d.ts +4 -4
  279. package/dest/tx/profiling.d.ts.map +1 -1
  280. package/dest/tx/profiling.js +3 -3
  281. package/dest/tx/protocol_contracts.d.ts +1 -1
  282. package/dest/tx/protocol_contracts.d.ts.map +1 -1
  283. package/dest/tx/protocol_contracts.js +2 -2
  284. package/dest/tx/public_simulation_output.d.ts +4 -2
  285. package/dest/tx/public_simulation_output.d.ts.map +1 -1
  286. package/dest/tx/public_simulation_output.js +7 -3
  287. package/dest/tx/simulated_tx.d.ts +5 -2
  288. package/dest/tx/simulated_tx.d.ts.map +1 -1
  289. package/dest/tx/simulated_tx.js +4 -1
  290. package/dest/tx/tx.d.ts +6 -5
  291. package/dest/tx/tx.d.ts.map +1 -1
  292. package/dest/tx/tx.js +18 -6
  293. package/dest/tx/tx_receipt.d.ts +16 -2
  294. package/dest/tx/tx_receipt.d.ts.map +1 -1
  295. package/dest/tx/tx_receipt.js +11 -3
  296. package/dest/tx/tx_request.js +2 -2
  297. package/dest/tx/validator/empty_validator.d.ts +2 -2
  298. package/dest/tx/validator/empty_validator.d.ts.map +1 -1
  299. package/dest/tx/validator/error_texts.d.ts +6 -2
  300. package/dest/tx/validator/error_texts.d.ts.map +1 -1
  301. package/dest/tx/validator/error_texts.js +5 -1
  302. package/dest/tx/validator/tx_validator.d.ts +2 -2
  303. package/dest/tx/validator/tx_validator.d.ts.map +1 -1
  304. package/dest/update-checker/index.d.ts +3 -2
  305. package/dest/update-checker/index.d.ts.map +1 -1
  306. package/dest/update-checker/index.js +2 -1
  307. package/dest/update-checker/package_version.d.ts +3 -0
  308. package/dest/update-checker/package_version.d.ts.map +1 -0
  309. package/dest/update-checker/package_version.js +11 -0
  310. package/dest/update-checker/version_checker.d.ts +25 -0
  311. package/dest/update-checker/version_checker.d.ts.map +1 -0
  312. package/dest/update-checker/version_checker.js +50 -0
  313. package/dest/validators/errors.d.ts +6 -1
  314. package/dest/validators/errors.d.ts.map +1 -1
  315. package/dest/validators/errors.js +7 -0
  316. package/dest/validators/schemas.d.ts +30 -30
  317. package/dest/validators/schemas.d.ts.map +1 -1
  318. package/dest/validators/schemas.js +4 -3
  319. package/dest/validators/types.d.ts +3 -3
  320. package/dest/validators/types.d.ts.map +1 -1
  321. package/package.json +24 -12
  322. package/src/abi/decoder.ts +15 -6
  323. package/src/abi/encoder.ts +49 -6
  324. package/src/abi/event_metadata_definition.ts +2 -0
  325. package/src/abi/function_call.ts +25 -3
  326. package/src/abi/utils.ts +25 -0
  327. package/src/auth_witness/auth_witness.ts +3 -3
  328. package/src/avm/revert_code.ts +15 -0
  329. package/src/block/block_data.ts +26 -0
  330. package/src/block/in_block.ts +1 -1
  331. package/src/block/index.ts +1 -0
  332. package/src/block/l2_block.ts +13 -1
  333. package/src/block/l2_block_source.ts +36 -7
  334. package/src/block/l2_block_stream/l2_block_stream.ts +21 -0
  335. package/src/checkpoint/checkpoint.ts +43 -16
  336. package/src/checkpoint/checkpoint_data.ts +51 -0
  337. package/src/checkpoint/index.ts +2 -0
  338. package/src/checkpoint/published_checkpoint.ts +3 -1
  339. package/src/checkpoint/validate.ts +230 -0
  340. package/src/config/index.ts +1 -0
  341. package/src/config/sequencer-config.ts +37 -0
  342. package/src/contract/contract_address.ts +4 -4
  343. package/src/contract/contract_class.ts +3 -3
  344. package/src/contract/contract_class_id.ts +5 -4
  345. package/src/contract/interfaces/node-info.ts +3 -0
  346. package/src/contract/private_function.ts +2 -2
  347. package/src/epoch-helpers/index.ts +6 -0
  348. package/src/file-store/local.ts +15 -5
  349. package/src/file-store/s3.ts +12 -3
  350. package/src/gas/gas_fees.ts +7 -1
  351. package/src/ha-signing/config.ts +156 -0
  352. package/src/ha-signing/index.ts +27 -0
  353. package/src/ha-signing/local_config.ts +46 -0
  354. package/src/ha-signing/types.ts +112 -0
  355. package/src/hash/hash.ts +14 -10
  356. package/src/hash/map_slot.ts +2 -2
  357. package/src/interfaces/allowed_element.ts +29 -9
  358. package/src/interfaces/archiver.ts +8 -2
  359. package/src/interfaces/aztec-node-admin.ts +23 -0
  360. package/src/interfaces/aztec-node.ts +15 -5
  361. package/src/interfaces/block-builder.ts +24 -6
  362. package/src/interfaces/configs.ts +33 -8
  363. package/src/interfaces/merkle_tree_operations.ts +1 -1
  364. package/src/interfaces/p2p.ts +3 -14
  365. package/src/interfaces/prover-client.ts +8 -0
  366. package/src/interfaces/slasher.ts +4 -0
  367. package/src/interfaces/validator.ts +59 -27
  368. package/src/kernel/hints/build_note_hash_read_request_hints.ts +14 -18
  369. package/src/kernel/hints/build_nullifier_read_request_hints.ts +15 -18
  370. package/src/kernel/hints/build_transient_data_hints.ts +17 -2
  371. package/src/kernel/hints/index.ts +2 -2
  372. package/src/kernel/hints/{key_validation_request_and_generator.ts → key_validation_request_and_separator.ts} +12 -15
  373. package/src/kernel/hints/{scoped_key_validation_request_and_generator.ts → scoped_key_validation_request_and_separator.ts} +10 -10
  374. package/src/kernel/private_circuit_public_inputs.ts +14 -14
  375. package/src/kernel/private_kernel_circuit_public_inputs.ts +2 -2
  376. package/src/kernel/private_kernel_tail_circuit_private_inputs.ts +2 -2
  377. package/src/kernel/private_kernel_tail_circuit_public_inputs.ts +14 -5
  378. package/src/kernel/private_to_public_kernel_circuit_public_inputs.ts +5 -5
  379. package/src/kernel/private_to_rollup_kernel_circuit_public_inputs.ts +5 -5
  380. package/src/kernel/private_validation_requests.ts +8 -8
  381. package/src/keys/derivation.ts +8 -8
  382. package/src/keys/key_types.ts +6 -2
  383. package/src/keys/public_keys.ts +2 -2
  384. package/src/keys/utils.ts +5 -5
  385. package/src/kv-store/config.ts +36 -0
  386. package/src/kv-store/index.ts +1 -0
  387. package/src/logs/debug_log_store.ts +54 -0
  388. package/src/logs/{directional_app_tagging_secret.ts → extended_directional_app_tagging_secret.ts} +24 -16
  389. package/src/logs/index.ts +2 -1
  390. package/src/logs/log_id.ts +15 -12
  391. package/src/logs/pre_tag.ts +5 -5
  392. package/src/logs/public_log.ts +4 -2
  393. package/src/logs/siloed_tag.ts +10 -5
  394. package/src/logs/tag.ts +1 -1
  395. package/src/messaging/l2_to_l1_membership.ts +3 -3
  396. package/src/note/index.ts +0 -1
  397. package/src/p2p/attestation_utils.ts +56 -0
  398. package/src/p2p/block_proposal.ts +1 -3
  399. package/src/p2p/checkpoint_attestation.ts +6 -1
  400. package/src/p2p/checkpoint_proposal.ts +46 -31
  401. package/src/p2p/client_type.ts +0 -6
  402. package/src/p2p/consensus_payload.ts +25 -12
  403. package/src/p2p/constants.ts +3 -0
  404. package/src/p2p/index.ts +0 -1
  405. package/src/p2p/peer_error.ts +7 -0
  406. package/src/p2p/topic_type.ts +8 -15
  407. package/src/rollup/checkpoint_header.ts +2 -2
  408. package/src/rollup/checkpoint_rollup_public_inputs.ts +5 -5
  409. package/src/rollup/root_rollup_public_inputs.ts +7 -7
  410. package/src/slashing/empire.ts +3 -1
  411. package/src/slashing/helpers.ts +8 -0
  412. package/src/slashing/tally.ts +41 -2
  413. package/src/slashing/types.ts +14 -0
  414. package/src/tests/factories.ts +26 -17
  415. package/src/tests/mocks.ts +46 -20
  416. package/src/timetable/index.ts +66 -0
  417. package/src/trees/public_data_leaf.ts +11 -5
  418. package/src/tx/block_header.ts +8 -2
  419. package/src/tx/global_variables.ts +3 -3
  420. package/src/tx/profiling.ts +5 -5
  421. package/src/tx/protocol_contracts.ts +2 -2
  422. package/src/tx/public_simulation_output.ts +4 -0
  423. package/src/tx/simulated_tx.ts +8 -1
  424. package/src/tx/tx.ts +20 -11
  425. package/src/tx/tx_receipt.ts +11 -1
  426. package/src/tx/tx_request.ts +2 -2
  427. package/src/tx/validator/empty_validator.ts +1 -1
  428. package/src/tx/validator/error_texts.ts +5 -1
  429. package/src/tx/validator/tx_validator.ts +1 -1
  430. package/src/update-checker/index.ts +2 -1
  431. package/src/update-checker/package_version.ts +17 -0
  432. package/src/update-checker/version_checker.ts +65 -0
  433. package/src/validators/errors.ts +9 -0
  434. package/src/validators/schemas.ts +8 -1
  435. package/src/validators/types.ts +5 -4
  436. package/dest/kernel/hints/key_validation_request_and_generator.d.ts +0 -30
  437. package/dest/kernel/hints/key_validation_request_and_generator.d.ts.map +0 -1
  438. package/dest/logs/directional_app_tagging_secret.d.ts +0 -40
  439. package/dest/logs/directional_app_tagging_secret.d.ts.map +0 -1
  440. package/dest/note/notes_filter.d.ts +0 -27
  441. package/dest/note/notes_filter.d.ts.map +0 -1
  442. package/dest/note/notes_filter.js +0 -11
  443. package/dest/update-checker/update-checker.d.ts +0 -49
  444. package/dest/update-checker/update-checker.d.ts.map +0 -1
  445. package/dest/update-checker/update-checker.js +0 -130
  446. package/src/note/notes_filter.ts +0 -38
  447. package/src/update-checker/update-checker.ts +0 -166
@@ -5,22 +5,28 @@ import type { Point } from '@aztec/foundation/curves/grumpkin';
5
5
 
6
6
  import { z } from 'zod';
7
7
 
8
- import type { AztecAddress } from '../aztec-address/index.js';
8
+ import { AztecAddress } from '../aztec-address/index.js';
9
9
  import type { CompleteAddress } from '../contract/complete_address.js';
10
10
  import { computeAddressSecret, computePreaddress } from '../keys/derivation.js';
11
11
 
12
12
  /**
13
- * Directional application tagging secret used for log tagging.
13
+ * Extended directional application tagging secret used for log tagging.
14
14
  *
15
- * "Directional" because the derived secret is bound to the recipient
16
- * address: A→B differs from B→A even with the same participants and app.
15
+ * "Extended" because it bundles the directional app tagging secret with the app (contract) address. This bundling was
16
+ * done because where this type is used we commonly need access to both the secret and the address.
17
17
  *
18
- * Note: It's a bit unfortunate that this type resides in `stdlib` as the rest of the tagging functionality resides
19
- * in `pxe/src/tagging`. We need to use this type in `PreTag` that in turn is used by other types
20
- * in stdlib hence there doesn't seem to be a good way around this.
18
+ * "Directional" because the derived secret is bound to the recipient address: A→B differs from B→A even with the same
19
+ * participants and app.
20
+ *
21
+ * Note: It's a bit unfortunate that this type resides in `stdlib` as the rest of the tagging functionality resides in
22
+ * `pxe/src/tagging`. We need to use this type in `PreTag` that in turn is used by other types in stdlib hence there
23
+ * doesn't seem to be a good way around this.
21
24
  */
22
- export class DirectionalAppTaggingSecret {
23
- private constructor(public readonly value: Fr) {}
25
+ export class ExtendedDirectionalAppTaggingSecret {
26
+ private constructor(
27
+ public readonly secret: Fr,
28
+ public readonly app: AztecAddress,
29
+ ) {}
24
30
 
25
31
  /**
26
32
  * Derives shared tagging secret and from that, the app address and recipient derives the directional app tagging
@@ -39,20 +45,21 @@ export class DirectionalAppTaggingSecret {
39
45
  externalAddress: AztecAddress,
40
46
  app: AztecAddress,
41
47
  recipient: AztecAddress,
42
- ): Promise<DirectionalAppTaggingSecret> {
48
+ ): Promise<ExtendedDirectionalAppTaggingSecret> {
43
49
  const taggingSecretPoint = await computeSharedTaggingSecret(localAddress, localIvsk, externalAddress);
44
50
  const appTaggingSecret = await poseidon2Hash([taggingSecretPoint.x, taggingSecretPoint.y, app]);
45
51
  const directionalAppTaggingSecret = await poseidon2Hash([appTaggingSecret, recipient]);
46
52
 
47
- return new DirectionalAppTaggingSecret(directionalAppTaggingSecret);
53
+ return new ExtendedDirectionalAppTaggingSecret(directionalAppTaggingSecret, app);
48
54
  }
49
55
 
50
56
  toString(): string {
51
- return this.value.toString();
57
+ return `${this.secret.toString()}:${this.app.toString()}`;
52
58
  }
53
59
 
54
- static fromString(str: string): DirectionalAppTaggingSecret {
55
- return new DirectionalAppTaggingSecret(Fr.fromString(str));
60
+ static fromString(str: string): ExtendedDirectionalAppTaggingSecret {
61
+ const [secretStr, appStr] = str.split(':');
62
+ return new ExtendedDirectionalAppTaggingSecret(Fr.fromString(secretStr), AztecAddress.fromString(appStr));
56
63
  }
57
64
  }
58
65
 
@@ -74,6 +81,7 @@ async function computeSharedTaggingSecret(
74
81
  return Grumpkin.mul(externalAddressPoint, await computeAddressSecret(knownPreaddress, localIvsk));
75
82
  }
76
83
 
77
- export const DirectionalAppTaggingSecretSchema = z.object({
78
- value: Fr.schema,
84
+ export const ExtendedDirectionalAppTaggingSecretSchema = z.object({
85
+ secret: Fr.schema,
86
+ app: AztecAddress.schema,
79
87
  });
package/src/logs/index.ts CHANGED
@@ -1,4 +1,4 @@
1
- export * from './directional_app_tagging_secret.js';
1
+ export * from './extended_directional_app_tagging_secret.js';
2
2
  export * from './pre_tag.js';
3
3
  export * from './contract_class_log.js';
4
4
  export * from './public_log.js';
@@ -12,5 +12,6 @@ export * from './shared_secret_derivation.js';
12
12
  export * from './tx_scoped_l2_log.js';
13
13
  export * from './message_context.js';
14
14
  export * from './debug_log.js';
15
+ export * from './debug_log_store.js';
15
16
  export * from './tag.js';
16
17
  export * from './siloed_tag.js';
@@ -8,20 +8,17 @@ import { z } from 'zod';
8
8
 
9
9
  import { BlockHash } from '../block/block_hash.js';
10
10
  import { schemas } from '../schemas/index.js';
11
+ import { TxHash } from '../tx/tx_hash.js';
11
12
 
12
13
  /** A globally unique log id. */
13
14
  export class LogId {
14
- /**
15
- * Parses a log id from a string.
16
- * @param blockNumber - The block number.
17
- * @param txIndex - The transaction index.
18
- * @param logIndex - The log index.
19
- */
20
15
  constructor(
21
16
  /** The block number the log was emitted in. */
22
17
  public readonly blockNumber: BlockNumber,
23
18
  /** The hash of the block the log was emitted in. */
24
19
  public readonly blockHash: BlockHash,
20
+ /** The hash of the transaction the log was emitted in. */
21
+ public readonly txHash: TxHash,
25
22
  /** The index of a tx in a block the log was emitted in. */
26
23
  public readonly txIndex: number,
27
24
  /** The index of a log the tx was emitted in. */
@@ -42,6 +39,7 @@ export class LogId {
42
39
  return new LogId(
43
40
  BlockNumber(Math.floor(Math.random() * 1000) + 1),
44
41
  BlockHash.random(),
42
+ TxHash.random(),
45
43
  Math.floor(Math.random() * 1000),
46
44
  Math.floor(Math.random() * 100),
47
45
  );
@@ -52,11 +50,13 @@ export class LogId {
52
50
  .object({
53
51
  blockNumber: BlockNumberSchema,
54
52
  blockHash: BlockHash.schema,
53
+ txHash: TxHash.schema,
55
54
  txIndex: schemas.Integer,
56
55
  logIndex: schemas.Integer,
57
56
  })
58
57
  .transform(
59
- ({ blockNumber, blockHash, txIndex, logIndex }) => new LogId(blockNumber, blockHash, txIndex, logIndex),
58
+ ({ blockNumber, blockHash, txHash, txIndex, logIndex }) =>
59
+ new LogId(blockNumber, blockHash, txHash, txIndex, logIndex),
60
60
  );
61
61
  }
62
62
 
@@ -68,6 +68,7 @@ export class LogId {
68
68
  return Buffer.concat([
69
69
  toBufferBE(BigInt(this.blockNumber), 4),
70
70
  this.blockHash.toBuffer(),
71
+ this.txHash.toBuffer(),
71
72
  toBufferBE(BigInt(this.txIndex), 4),
72
73
  toBufferBE(BigInt(this.logIndex), 4),
73
74
  ]);
@@ -83,10 +84,11 @@ export class LogId {
83
84
 
84
85
  const blockNumber = BlockNumber(reader.readNumber());
85
86
  const blockHash = new BlockHash(reader.readObject(Fr));
87
+ const txHash = reader.readObject(TxHash);
86
88
  const txIndex = reader.readNumber();
87
89
  const logIndex = reader.readNumber();
88
90
 
89
- return new LogId(blockNumber, blockHash, txIndex, logIndex);
91
+ return new LogId(blockNumber, blockHash, txHash, txIndex, logIndex);
90
92
  }
91
93
 
92
94
  /**
@@ -94,7 +96,7 @@ export class LogId {
94
96
  * @returns A string representation of the log id.
95
97
  */
96
98
  public toString(): string {
97
- return `${this.blockNumber}-${this.txIndex}-${this.logIndex}-${this.blockHash.toString()}`;
99
+ return `${this.blockNumber}-${this.txIndex}-${this.logIndex}-${this.blockHash.toString()}-${this.txHash.toString()}`;
98
100
  }
99
101
 
100
102
  /**
@@ -103,13 +105,14 @@ export class LogId {
103
105
  * @returns A log id.
104
106
  */
105
107
  static fromString(data: string): LogId {
106
- const [rawBlockNumber, rawTxIndex, rawLogIndex, rawBlockHash] = data.split('-');
108
+ const [rawBlockNumber, rawTxIndex, rawLogIndex, rawBlockHash, rawTxHash] = data.split('-');
107
109
  const blockNumber = BlockNumber(Number(rawBlockNumber));
108
110
  const blockHash = BlockHash.fromString(rawBlockHash);
111
+ const txHash = TxHash.fromString(rawTxHash);
109
112
  const txIndex = Number(rawTxIndex);
110
113
  const logIndex = Number(rawLogIndex);
111
114
 
112
- return new LogId(blockNumber, blockHash, txIndex, logIndex);
115
+ return new LogId(blockNumber, blockHash, txHash, txIndex, logIndex);
113
116
  }
114
117
 
115
118
  /**
@@ -117,6 +120,6 @@ export class LogId {
117
120
  * @returns A human readable representation of the log id.
118
121
  */
119
122
  public toHumanReadable(): string {
120
- return `logId: (blockNumber: ${this.blockNumber}, blockHash: ${this.blockHash.toString()}, txIndex: ${this.txIndex}, logIndex: ${this.logIndex})`;
123
+ return `logId: (blockNumber: ${this.blockNumber}, blockHash: ${this.blockHash.toString()}, txHash: ${this.txHash.toString()}, txIndex: ${this.txIndex}, logIndex: ${this.logIndex})`;
121
124
  }
122
125
  }
@@ -3,9 +3,9 @@ import { schemas } from '@aztec/foundation/schemas';
3
3
  import { z } from 'zod';
4
4
 
5
5
  import {
6
- type DirectionalAppTaggingSecret,
7
- DirectionalAppTaggingSecretSchema,
8
- } from './directional_app_tagging_secret.js';
6
+ type ExtendedDirectionalAppTaggingSecret,
7
+ ExtendedDirectionalAppTaggingSecretSchema,
8
+ } from './extended_directional_app_tagging_secret.js';
9
9
 
10
10
  /**
11
11
  * Represents a preimage of a private log tag (see `Tag` in `pxe/src/tagging`).
@@ -15,11 +15,11 @@ import {
15
15
  * around this.
16
16
  */
17
17
  export type PreTag = {
18
- secret: DirectionalAppTaggingSecret;
18
+ extendedSecret: ExtendedDirectionalAppTaggingSecret;
19
19
  index: number;
20
20
  };
21
21
 
22
22
  export const PreTagSchema = z.object({
23
- secret: DirectionalAppTaggingSecretSchema,
23
+ extendedSecret: ExtendedDirectionalAppTaggingSecretSchema,
24
24
  index: schemas.Integer,
25
25
  });
@@ -120,8 +120,8 @@ export class FlatPublicLogs {
120
120
 
121
121
  export class PublicLog {
122
122
  constructor(
123
- public contractAddress: AztecAddress,
124
- public fields: Fr[],
123
+ public readonly contractAddress: AztecAddress,
124
+ public readonly fields: Fr[],
125
125
  ) {}
126
126
 
127
127
  static from(fields: FieldsOf<PublicLog>) {
@@ -146,7 +146,9 @@ export class PublicLog {
146
146
  return this.fields.length + PUBLIC_LOG_HEADER_LENGTH;
147
147
  }
148
148
 
149
+ /** Returns the serialized log (field as in noir field and not a struct field). */
149
150
  getEmittedFields() {
151
+ // We slice from 0 to return a shallow copy.
150
152
  return this.fields.slice(0);
151
153
  }
152
154
 
@@ -1,11 +1,11 @@
1
- import { GeneratorIndex } from '@aztec/constants';
2
- import { poseidon2HashWithSeparator } from '@aztec/foundation/crypto/poseidon';
3
1
  import type { Fr } from '@aztec/foundation/curves/bn254';
4
2
  import type { ZodFor } from '@aztec/foundation/schemas';
5
3
 
6
4
  import type { AztecAddress } from '../aztec-address/index.js';
5
+ import { computeSiloedPrivateLogFirstField } from '../hash/hash.js';
7
6
  import { schemas } from '../schemas/schemas.js';
8
- import type { Tag } from './tag.js';
7
+ import type { PreTag } from './pre_tag.js';
8
+ import { Tag } from './tag.js';
9
9
 
10
10
  /* eslint-disable @typescript-eslint/no-unsafe-declaration-merging */
11
11
 
@@ -22,8 +22,13 @@ export interface SiloedTag {
22
22
  export class SiloedTag {
23
23
  constructor(public readonly value: Fr) {}
24
24
 
25
- static async compute(tag: Tag, app: AztecAddress): Promise<SiloedTag> {
26
- const siloedTag = await poseidon2HashWithSeparator([app, tag.value], GeneratorIndex.PRIVATE_LOG_FIRST_FIELD);
25
+ static async compute(preTag: PreTag): Promise<SiloedTag> {
26
+ const tag = await Tag.compute(preTag);
27
+ return SiloedTag.computeFromTagAndApp(tag, preTag.extendedSecret.app);
28
+ }
29
+
30
+ static async computeFromTagAndApp(tag: Tag, app: AztecAddress): Promise<SiloedTag> {
31
+ const siloedTag = await computeSiloedPrivateLogFirstField(app, tag.value);
27
32
  return new SiloedTag(siloedTag);
28
33
  }
29
34
 
package/src/logs/tag.ts CHANGED
@@ -20,7 +20,7 @@ export class Tag {
20
20
  constructor(public readonly value: Fr) {}
21
21
 
22
22
  static async compute(preTag: PreTag): Promise<Tag> {
23
- const tag = await poseidon2Hash([preTag.secret.value, preTag.index]);
23
+ const tag = await poseidon2Hash([preTag.extendedSecret.secret, preTag.index]);
24
24
  return new Tag(tag);
25
25
  }
26
26
 
@@ -32,10 +32,10 @@ import { SiblingPath, UnbalancedMerkleTreeCalculator, computeUnbalancedShaRoot }
32
32
  * - Compression: If a block has no messages (out hash = 0), that branch is ignored
33
33
  *
34
34
  * 4. **Epoch Tree**
35
- * - Leaves: Checkpoint out hashes from all checkpoints in an epoch (padded to AZTEC_MAX_EPOCH_DURATION)
35
+ * - Leaves: Checkpoint out hashes from all checkpoints in an epoch (padded to OUT_HASH_TREE_LEAF_COUNT)
36
36
  * - Root: Epoch out hash (set in the root rollup's public inputs and inserted into the Outbox on L1 when the epoch is proven)
37
37
  * - Type: Unbalanced, non-compressed
38
- * - **Important**: Padded with zeros up to AZTEC_MAX_EPOCH_DURATION to allow for proofs of partial epochs
38
+ * - **Important**: Padded with zeros up to OUT_HASH_TREE_LEAF_COUNT to allow for proofs of partial epochs
39
39
  *
40
40
  * ## Combined Membership Proof
41
41
  * To prove a message exists in an epoch, we combine the sibling paths from all 4 trees:
@@ -163,7 +163,7 @@ export function computeL2ToL1MembershipWitnessFromMessagesInEpoch(
163
163
  }
164
164
  return buildCheckpointTree(messagesInCheckpoint).getRoot();
165
165
  });
166
- // Pad to AZTEC_MAX_EPOCH_DURATION with zeros.
166
+ // Pad to OUT_HASH_TREE_LEAF_COUNT with zeros.
167
167
  checkpointOutHashes = checkpointOutHashes.concat(
168
168
  Array.from({ length: OUT_HASH_TREE_LEAF_COUNT - messagesInEpoch.length }, () => Buffer.alloc(32)),
169
169
  );
package/src/note/index.ts CHANGED
@@ -1,5 +1,4 @@
1
1
  export * from './comparator.js';
2
2
  export * from './note_dao.js';
3
- export * from './notes_filter.js';
4
3
  export * from './note_status.js';
5
4
  export * from './note.js';
@@ -33,3 +33,59 @@ export function orderAttestations(
33
33
 
34
34
  return orderedAttestations;
35
35
  }
36
+
37
+ /**
38
+ * Trims attestations to the minimum required number to save L1 calldata gas.
39
+ * Each signature costs 65 bytes of calldata vs 20 bytes for just an address.
40
+ *
41
+ * Priority order for keeping attestations:
42
+ * 1. The proposer's attestation (required by L1 contract - MissingProposerSignature revert)
43
+ * 2. Attestations from the local node's validator keys
44
+ * 3. Remaining attestations filled to reach the required count
45
+ */
46
+ export function trimAttestations(
47
+ attestations: CheckpointAttestation[],
48
+ required: number,
49
+ proposerAddress: EthAddress,
50
+ localAddresses: EthAddress[],
51
+ ): CheckpointAttestation[] {
52
+ if (attestations.length <= required) {
53
+ return attestations;
54
+ }
55
+
56
+ const proposerAttestation: CheckpointAttestation[] = [];
57
+ const localAttestations: CheckpointAttestation[] = [];
58
+ const otherAttestations: CheckpointAttestation[] = [];
59
+
60
+ for (const attestation of attestations) {
61
+ const sender = attestation.getSender();
62
+ if (!sender) {
63
+ continue;
64
+ }
65
+ if (sender.equals(proposerAddress)) {
66
+ proposerAttestation.push(attestation);
67
+ } else if (localAddresses.some(addr => addr.equals(sender))) {
68
+ localAttestations.push(attestation);
69
+ } else {
70
+ otherAttestations.push(attestation);
71
+ }
72
+ }
73
+
74
+ const result: CheckpointAttestation[] = [...proposerAttestation];
75
+
76
+ for (const att of localAttestations) {
77
+ if (result.length >= required) {
78
+ break;
79
+ }
80
+ result.push(att);
81
+ }
82
+
83
+ for (const att of otherAttestations) {
84
+ if (result.length >= required) {
85
+ break;
86
+ }
87
+ result.push(att);
88
+ }
89
+
90
+ return result;
91
+ }
@@ -6,11 +6,11 @@ import { Fr } from '@aztec/foundation/curves/bn254';
6
6
  import type { EthAddress } from '@aztec/foundation/eth-address';
7
7
  import { Signature } from '@aztec/foundation/eth-signature';
8
8
  import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
9
- import { DutyType, type SigningContext } from '@aztec/validator-ha-signer/types';
10
9
 
11
10
  import type { L2Block } from '../block/l2_block.js';
12
11
  import type { L2BlockInfo } from '../block/l2_block_info.js';
13
12
  import { MAX_TXS_PER_BLOCK } from '../deserialization/index.js';
13
+ import { DutyType, type SigningContext } from '../ha-signing/index.js';
14
14
  import { BlockHeader } from '../tx/block_header.js';
15
15
  import { TxHash } from '../tx/index.js';
16
16
  import type { Tx } from '../tx/tx.js';
@@ -56,8 +56,6 @@ export class BlockProposal extends Gossipable {
56
56
  /** The per-block header containing block state and global variables */
57
57
  public readonly blockHeader: BlockHeader,
58
58
 
59
- // TODO(palla/mbps): Is this really needed? Can we just derive it from the indexWithinCheckpoint of the parent block and the slot number?
60
- // See the block-proposal-handler, we have a lot of extra validations to check this is correct, so maybe we can avoid storing it here.
61
59
  /** Index of this block within the checkpoint (0-indexed) */
62
60
  public readonly indexWithinCheckpoint: IndexWithinCheckpoint,
63
61
 
@@ -96,7 +96,12 @@ export class CheckpointAttestation extends Gossipable {
96
96
  // Create a temporary CheckpointProposal to recover the proposer address.
97
97
  // We need to use CheckpointProposal because it has a different getPayloadToSign()
98
98
  // implementation than ConsensusPayload (uses serializeToBuffer vs ABI encoding).
99
- const proposal = new CheckpointProposal(this.payload.header, this.payload.archive, this.proposerSignature);
99
+ const proposal = new CheckpointProposal(
100
+ this.payload.header,
101
+ this.payload.archive,
102
+ this.payload.feeAssetPriceModifier,
103
+ this.proposerSignature,
104
+ );
100
105
  // Cache the proposer for later use
101
106
  this.proposer = proposal.getSender();
102
107
  }
@@ -5,11 +5,11 @@ import { tryRecoverAddress } from '@aztec/foundation/crypto/secp256k1-signer';
5
5
  import { Fr } from '@aztec/foundation/curves/bn254';
6
6
  import type { EthAddress } from '@aztec/foundation/eth-address';
7
7
  import { Signature } from '@aztec/foundation/eth-signature';
8
- import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
9
- import { DutyType, type SigningContext } from '@aztec/validator-ha-signer/types';
8
+ import { BufferReader, serializeSignedBigInt, serializeToBuffer } from '@aztec/foundation/serialize';
10
9
 
11
10
  import type { L2BlockInfo } from '../block/l2_block_info.js';
12
11
  import { MAX_TXS_PER_BLOCK } from '../deserialization/index.js';
12
+ import { DutyType, type SigningContext } from '../ha-signing/index.js';
13
13
  import { CheckpointHeader } from '../rollup/checkpoint_header.js';
14
14
  import { BlockHeader } from '../tx/block_header.js';
15
15
  import { TxHash } from '../tx/index.js';
@@ -81,7 +81,10 @@ export class CheckpointProposal extends Gossipable {
81
81
  /** Archive root after this checkpoint is applied */
82
82
  public readonly archive: Fr,
83
83
 
84
- /** The proposer's signature over the checkpoint payload (checkpointHeader + archive) */
84
+ /** The fee asset price modifier in basis points (from oracle) */
85
+ public readonly feeAssetPriceModifier: bigint,
86
+
87
+ /** The proposer's signature over the checkpoint payload (checkpointHeader + archive + feeAssetPriceModifier) */
85
88
  public readonly signature: Signature,
86
89
 
87
90
  /** Optional last block info, including its own signature for BlockProposal extraction */
@@ -98,23 +101,6 @@ export class CheckpointProposal extends Gossipable {
98
101
  return this.checkpointHeader.slotNumber;
99
102
  }
100
103
 
101
- get blockNumber(): BlockNumber {
102
- if (!this.lastBlock) {
103
- throw new Error('Cannot get blockNumber without lastBlock');
104
- }
105
- return this.lastBlock.blockHeader.getBlockNumber();
106
- }
107
-
108
- /** Convenience getter for txHashes from lastBlock */
109
- get txHashes(): TxHash[] {
110
- return this.lastBlock?.txHashes ?? [];
111
- }
112
-
113
- /** Convenience getter for txs from lastBlock */
114
- get txs(): Tx[] | undefined {
115
- return this.lastBlock?.signedTxs?.txs;
116
- }
117
-
118
104
  /**
119
105
  * Extract a BlockProposal from the last block info.
120
106
  * Uses inHash from checkpointHeader.contentCommitment.inHash
@@ -148,22 +134,43 @@ export class CheckpointProposal extends Gossipable {
148
134
  };
149
135
  }
150
136
 
137
+ toCheckpointInfo() {
138
+ return {
139
+ slotNumber: this.slotNumber,
140
+ archive: this.archive,
141
+ lastBlockNumber: this.lastBlock?.blockHeader.getBlockNumber(),
142
+ lastBlockIndex: this.lastBlock?.indexWithinCheckpoint,
143
+ blockHeadersHash: this.checkpointHeader.blockHeadersHash,
144
+ };
145
+ }
146
+
151
147
  /**
152
148
  * Get the payload to sign for this checkpoint proposal.
153
- * The signature is over the checkpoint header + archive root (for consensus).
149
+ * The signature is over the checkpoint header + archive root + feeAssetPriceModifier (for consensus).
154
150
  */
155
151
  getPayloadToSign(domainSeparator: SignatureDomainSeparator): Buffer {
156
- return serializeToBuffer([domainSeparator, this.checkpointHeader, this.archive]);
152
+ return serializeToBuffer([
153
+ domainSeparator,
154
+ this.checkpointHeader,
155
+ this.archive,
156
+ serializeSignedBigInt(this.feeAssetPriceModifier),
157
+ ]);
157
158
  }
158
159
 
159
160
  static async createProposalFromSigner(
160
161
  checkpointHeader: CheckpointHeader,
161
162
  archiveRoot: Fr,
163
+ feeAssetPriceModifier: bigint,
162
164
  lastBlockInfo: CheckpointLastBlockData | undefined,
163
165
  payloadSigner: (payload: Buffer32, context: SigningContext) => Promise<Signature>,
164
166
  ): Promise<CheckpointProposal> {
165
167
  // Sign the checkpoint payload with CHECKPOINT_PROPOSAL duty type
166
- const tempProposal = new CheckpointProposal(checkpointHeader, archiveRoot, Signature.empty(), undefined);
168
+ const tempProposal = new CheckpointProposal(
169
+ checkpointHeader,
170
+ archiveRoot,
171
+ feeAssetPriceModifier,
172
+ Signature.empty(),
173
+ );
167
174
  const checkpointHash = getHashedSignaturePayload(tempProposal, SignatureDomainSeparator.checkpointProposal);
168
175
 
169
176
  const checkpointContext: SigningContext = {
@@ -174,7 +181,7 @@ export class CheckpointProposal extends Gossipable {
174
181
  const checkpointSignature = await payloadSigner(checkpointHash, checkpointContext);
175
182
 
176
183
  if (!lastBlockInfo) {
177
- return new CheckpointProposal(checkpointHeader, archiveRoot, checkpointSignature);
184
+ return new CheckpointProposal(checkpointHeader, archiveRoot, feeAssetPriceModifier, checkpointSignature);
178
185
  }
179
186
 
180
187
  const lastBlockProposal = await BlockProposal.createProposalFromSigner(
@@ -187,7 +194,7 @@ export class CheckpointProposal extends Gossipable {
187
194
  payloadSigner,
188
195
  );
189
196
 
190
- return new CheckpointProposal(checkpointHeader, archiveRoot, checkpointSignature, {
197
+ return new CheckpointProposal(checkpointHeader, archiveRoot, feeAssetPriceModifier, checkpointSignature, {
191
198
  blockHeader: lastBlockInfo.blockHeader,
192
199
  indexWithinCheckpoint: lastBlockInfo.indexWithinCheckpoint,
193
200
  txHashes: lastBlockInfo.txHashes,
@@ -227,7 +234,12 @@ export class CheckpointProposal extends Gossipable {
227
234
  }
228
235
 
229
236
  toBuffer(): Buffer {
230
- const buffer: any[] = [this.checkpointHeader, this.archive, this.signature];
237
+ const buffer: any[] = [
238
+ this.checkpointHeader,
239
+ this.archive,
240
+ serializeSignedBigInt(this.feeAssetPriceModifier),
241
+ this.signature,
242
+ ];
231
243
 
232
244
  if (this.lastBlock) {
233
245
  buffer.push(1); // hasLastBlock = true
@@ -254,6 +266,7 @@ export class CheckpointProposal extends Gossipable {
254
266
 
255
267
  const checkpointHeader = reader.readObject(CheckpointHeader);
256
268
  const archive = reader.readObject(Fr);
269
+ const feeAssetPriceModifier = reader.readInt256();
257
270
  const signature = reader.readObject(Signature);
258
271
 
259
272
  const hasLastBlock = reader.readNumber();
@@ -276,7 +289,7 @@ export class CheckpointProposal extends Gossipable {
276
289
  }
277
290
  }
278
291
 
279
- return new CheckpointProposal(checkpointHeader, archive, signature, {
292
+ return new CheckpointProposal(checkpointHeader, archive, feeAssetPriceModifier, signature, {
280
293
  blockHeader,
281
294
  indexWithinCheckpoint,
282
295
  txHashes,
@@ -285,7 +298,7 @@ export class CheckpointProposal extends Gossipable {
285
298
  });
286
299
  }
287
300
 
288
- return new CheckpointProposal(checkpointHeader, archive, signature);
301
+ return new CheckpointProposal(checkpointHeader, archive, feeAssetPriceModifier, signature);
289
302
  }
290
303
 
291
304
  getSize(): number {
@@ -293,6 +306,7 @@ export class CheckpointProposal extends Gossipable {
293
306
  this.checkpointHeader.toBuffer().length +
294
307
  this.archive.size +
295
308
  this.signature.getSize() +
309
+ 8 /* feeAssetPriceModifier */ +
296
310
  4; /* hasLastBlock flag */
297
311
 
298
312
  if (this.lastBlock) {
@@ -310,11 +324,11 @@ export class CheckpointProposal extends Gossipable {
310
324
  }
311
325
 
312
326
  static empty(): CheckpointProposal {
313
- return new CheckpointProposal(CheckpointHeader.empty(), Fr.ZERO, Signature.empty());
327
+ return new CheckpointProposal(CheckpointHeader.empty(), Fr.ZERO, 0n, Signature.empty());
314
328
  }
315
329
 
316
330
  static random(): CheckpointProposal {
317
- return new CheckpointProposal(CheckpointHeader.random(), Fr.random(), Signature.random(), {
331
+ return new CheckpointProposal(CheckpointHeader.random(), Fr.random(), 0n, Signature.random(), {
318
332
  blockHeader: BlockHeader.random(),
319
333
  indexWithinCheckpoint: IndexWithinCheckpoint(Math.floor(Math.random() * 5)),
320
334
  txHashes: [TxHash.random(), TxHash.random()],
@@ -327,6 +341,7 @@ export class CheckpointProposal extends Gossipable {
327
341
  checkpointHeader: this.checkpointHeader.toInspect(),
328
342
  archive: this.archive.toString(),
329
343
  signature: this.signature.toString(),
344
+ feeAssetPriceModifier: this.feeAssetPriceModifier.toString(),
330
345
  lastBlock: this.lastBlock
331
346
  ? {
332
347
  blockHeader: this.lastBlock.blockHeader.toInspect(),
@@ -343,7 +358,7 @@ export class CheckpointProposal extends Gossipable {
343
358
  * Used when the lastBlock has been extracted and stored separately.
344
359
  */
345
360
  toCore(): CheckpointProposalCore {
346
- return new CheckpointProposal(this.checkpointHeader, this.archive, this.signature);
361
+ return new CheckpointProposal(this.checkpointHeader, this.archive, this.feeAssetPriceModifier, this.signature);
347
362
  }
348
363
  }
349
364
 
@@ -1,6 +0,0 @@
1
- export enum P2PClientType {
2
- // Full p2p clients will subscribe to all gossip topics
3
- Full,
4
- // Prove p2p clients will only subscribe to transaction and proving topics
5
- Prover,
6
- }