@aztec/stdlib 0.0.1-commit.fffb133c → 0.0.1-dev

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 (618) hide show
  1. package/dest/abi/abi.d.ts +64 -85
  2. package/dest/abi/abi.d.ts.map +1 -1
  3. package/dest/abi/abi.js +59 -6
  4. package/dest/abi/buffer.d.ts +14 -4
  5. package/dest/abi/buffer.d.ts.map +1 -1
  6. package/dest/abi/buffer.js +25 -4
  7. package/dest/abi/contract_artifact.d.ts +1 -1
  8. package/dest/abi/contract_artifact.d.ts.map +1 -1
  9. package/dest/abi/contract_artifact.js +14 -7
  10. package/dest/abi/decoder.d.ts +6 -45
  11. package/dest/abi/decoder.d.ts.map +1 -1
  12. package/dest/abi/decoder.js +17 -70
  13. package/dest/abi/encoder.d.ts +1 -1
  14. package/dest/abi/encoder.d.ts.map +1 -1
  15. package/dest/abi/encoder.js +64 -7
  16. package/dest/abi/event_metadata_definition.d.ts +3 -1
  17. package/dest/abi/event_metadata_definition.d.ts.map +1 -1
  18. package/dest/abi/event_metadata_definition.js +1 -1
  19. package/dest/abi/function_call.d.ts +39 -9
  20. package/dest/abi/function_call.d.ts.map +1 -1
  21. package/dest/abi/function_call.js +20 -3
  22. package/dest/abi/function_selector.js +1 -1
  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/selector.d.ts +2 -2
  30. package/dest/abi/selector.d.ts.map +1 -1
  31. package/dest/abi/selector.js +1 -1
  32. package/dest/abi/utils.d.ts +14 -1
  33. package/dest/abi/utils.d.ts.map +1 -1
  34. package/dest/abi/utils.js +15 -0
  35. package/dest/auth_witness/auth_witness.js +3 -3
  36. package/dest/avm/avm.d.ts +300 -300
  37. package/dest/avm/avm_accumulated_data.js +2 -2
  38. package/dest/avm/avm_circuit_public_inputs.js +2 -2
  39. package/dest/avm/avm_proving_request.d.ts +166 -166
  40. package/dest/avm/revert_code.d.ts +9 -4
  41. package/dest/avm/revert_code.d.ts.map +1 -1
  42. package/dest/avm/revert_code.js +16 -21
  43. package/dest/aztec-address/index.d.ts +3 -1
  44. package/dest/aztec-address/index.d.ts.map +1 -1
  45. package/dest/aztec-address/index.js +2 -0
  46. package/dest/block/block_data.d.ts +52 -0
  47. package/dest/block/block_data.d.ts.map +1 -0
  48. package/dest/block/block_data.js +12 -0
  49. package/dest/block/block_hash.d.ts +16 -19
  50. package/dest/block/block_hash.d.ts.map +1 -1
  51. package/dest/block/block_hash.js +21 -34
  52. package/dest/block/block_parameter.d.ts +4 -4
  53. package/dest/block/block_parameter.d.ts.map +1 -1
  54. package/dest/block/block_parameter.js +2 -2
  55. package/dest/block/in_block.d.ts +9 -9
  56. package/dest/block/in_block.d.ts.map +1 -1
  57. package/dest/block/in_block.js +5 -5
  58. package/dest/block/index.d.ts +2 -1
  59. package/dest/block/index.d.ts.map +1 -1
  60. package/dest/block/index.js +1 -0
  61. package/dest/block/l2_block.d.ts +11 -2
  62. package/dest/block/l2_block.d.ts.map +1 -1
  63. package/dest/block/l2_block.js +14 -5
  64. package/dest/block/l2_block_source.d.ts +39 -11
  65. package/dest/block/l2_block_source.d.ts.map +1 -1
  66. package/dest/block/l2_block_stream/interfaces.d.ts +6 -3
  67. package/dest/block/l2_block_stream/interfaces.d.ts.map +1 -1
  68. package/dest/block/l2_block_stream/l2_block_stream.d.ts +1 -1
  69. package/dest/block/l2_block_stream/l2_block_stream.d.ts.map +1 -1
  70. package/dest/block/l2_block_stream/l2_block_stream.js +10 -0
  71. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts +1 -1
  72. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts.map +1 -1
  73. package/dest/block/l2_block_stream/l2_tips_store_base.js +16 -3
  74. package/dest/block/test/l2_tips_store_test_suite.js +1 -1
  75. package/dest/checkpoint/checkpoint.d.ts +22 -7
  76. package/dest/checkpoint/checkpoint.d.ts.map +1 -1
  77. package/dest/checkpoint/checkpoint.js +32 -16
  78. package/dest/checkpoint/checkpoint_data.d.ts +120 -0
  79. package/dest/checkpoint/checkpoint_data.d.ts.map +1 -0
  80. package/dest/checkpoint/checkpoint_data.js +26 -0
  81. package/dest/checkpoint/index.d.ts +3 -1
  82. package/dest/checkpoint/index.d.ts.map +1 -1
  83. package/dest/checkpoint/index.js +2 -0
  84. package/dest/checkpoint/published_checkpoint.d.ts +17 -2
  85. package/dest/checkpoint/published_checkpoint.d.ts.map +1 -1
  86. package/dest/checkpoint/published_checkpoint.js +1 -2
  87. package/dest/checkpoint/validate.d.ts +36 -0
  88. package/dest/checkpoint/validate.d.ts.map +1 -0
  89. package/dest/checkpoint/validate.js +120 -0
  90. package/dest/config/index.d.ts +2 -1
  91. package/dest/config/index.d.ts.map +1 -1
  92. package/dest/config/index.js +1 -0
  93. package/dest/config/sequencer-config.d.ts +10 -0
  94. package/dest/config/sequencer-config.d.ts.map +1 -0
  95. package/dest/config/sequencer-config.js +23 -0
  96. package/dest/contract/contract_address.js +4 -4
  97. package/dest/contract/contract_class.d.ts +2 -3
  98. package/dest/contract/contract_class.d.ts.map +1 -1
  99. package/dest/contract/contract_class_id.d.ts +2 -2
  100. package/dest/contract/contract_class_id.d.ts.map +1 -1
  101. package/dest/contract/contract_class_id.js +6 -5
  102. package/dest/contract/interfaces/node-info.d.ts +3 -1
  103. package/dest/contract/interfaces/node-info.d.ts.map +1 -1
  104. package/dest/contract/interfaces/node-info.js +2 -1
  105. package/dest/contract/private_function.js +2 -2
  106. package/dest/contract/private_function_membership_proof.d.ts +1 -1
  107. package/dest/contract/private_function_membership_proof.js +1 -1
  108. package/dest/database-version/database_version.d.ts +58 -0
  109. package/dest/database-version/database_version.d.ts.map +1 -0
  110. package/dest/database-version/database_version.js +69 -0
  111. package/dest/database-version/version_manager.d.ts +2 -50
  112. package/dest/database-version/version_manager.d.ts.map +1 -1
  113. package/dest/database-version/version_manager.js +1 -66
  114. package/dest/epoch-helpers/index.d.ts +15 -1
  115. package/dest/epoch-helpers/index.d.ts.map +1 -1
  116. package/dest/epoch-helpers/index.js +19 -2
  117. package/dest/file-store/local.d.ts +3 -3
  118. package/dest/file-store/local.d.ts.map +1 -1
  119. package/dest/file-store/local.js +13 -4
  120. package/dest/file-store/s3.d.ts +1 -1
  121. package/dest/file-store/s3.d.ts.map +1 -1
  122. package/dest/file-store/s3.js +11 -3
  123. package/dest/gas/gas_fees.d.ts +1 -1
  124. package/dest/gas/gas_fees.d.ts.map +1 -1
  125. package/dest/gas/gas_fees.js +4 -1
  126. package/dest/gas/gas_settings.d.ts +40 -3
  127. package/dest/gas/gas_settings.d.ts.map +1 -1
  128. package/dest/gas/gas_settings.js +50 -6
  129. package/dest/hash/hash.d.ts +29 -1
  130. package/dest/hash/hash.d.ts.map +1 -1
  131. package/dest/hash/hash.js +60 -11
  132. package/dest/hash/map_slot.d.ts +1 -1
  133. package/dest/hash/map_slot.d.ts.map +1 -1
  134. package/dest/hash/map_slot.js +4 -3
  135. package/dest/interfaces/allowed_element.d.ts +26 -20
  136. package/dest/interfaces/allowed_element.d.ts.map +1 -1
  137. package/dest/interfaces/allowed_element.js +8 -8
  138. package/dest/interfaces/archiver.d.ts +1 -1
  139. package/dest/interfaces/archiver.d.ts.map +1 -1
  140. package/dest/interfaces/archiver.js +12 -5
  141. package/dest/interfaces/aztec-node-admin.d.ts +109 -29
  142. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  143. package/dest/interfaces/aztec-node-admin.js +12 -4
  144. package/dest/interfaces/aztec-node-debug.d.ts +21 -0
  145. package/dest/interfaces/aztec-node-debug.d.ts.map +1 -0
  146. package/dest/interfaces/aztec-node-debug.js +18 -0
  147. package/dest/interfaces/aztec-node.d.ts +45 -60
  148. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  149. package/dest/interfaces/aztec-node.js +11 -12
  150. package/dest/interfaces/block-builder.d.ts +44 -11
  151. package/dest/interfaces/block-builder.d.ts.map +1 -1
  152. package/dest/interfaces/block-builder.js +16 -2
  153. package/dest/interfaces/client.d.ts +2 -1
  154. package/dest/interfaces/client.d.ts.map +1 -1
  155. package/dest/interfaces/client.js +1 -0
  156. package/dest/interfaces/configs.d.ts +77 -32
  157. package/dest/interfaces/configs.d.ts.map +1 -1
  158. package/dest/interfaces/configs.js +10 -3
  159. package/dest/interfaces/get_logs_response.d.ts +15 -8
  160. package/dest/interfaces/get_logs_response.d.ts.map +1 -1
  161. package/dest/interfaces/merkle_tree_operations.d.ts +10 -20
  162. package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
  163. package/dest/interfaces/p2p.d.ts +4 -9
  164. package/dest/interfaces/p2p.d.ts.map +1 -1
  165. package/dest/interfaces/prover-broker.d.ts +16 -1
  166. package/dest/interfaces/prover-broker.d.ts.map +1 -1
  167. package/dest/interfaces/prover-broker.js +4 -1
  168. package/dest/interfaces/prover-client.d.ts +11 -1
  169. package/dest/interfaces/prover-client.d.ts.map +1 -1
  170. package/dest/interfaces/prover-client.js +12 -1
  171. package/dest/interfaces/proving-job.d.ts +202 -202
  172. package/dest/interfaces/slasher.d.ts +9 -1
  173. package/dest/interfaces/slasher.d.ts.map +1 -1
  174. package/dest/interfaces/slasher.js +2 -0
  175. package/dest/interfaces/validator.d.ts +116 -31
  176. package/dest/interfaces/validator.d.ts.map +1 -1
  177. package/dest/interfaces/validator.js +9 -2
  178. package/dest/interfaces/world_state.d.ts +5 -4
  179. package/dest/interfaces/world_state.d.ts.map +1 -1
  180. package/dest/kernel/claimed_length_array.js +1 -1
  181. package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts +3 -3
  182. package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts.map +1 -1
  183. package/dest/kernel/hints/build_note_hash_read_request_hints.js +13 -10
  184. package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts +3 -3
  185. package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts.map +1 -1
  186. package/dest/kernel/hints/build_nullifier_read_request_hints.js +13 -10
  187. package/dest/kernel/hints/build_transient_data_hints.d.ts +5 -2
  188. package/dest/kernel/hints/build_transient_data_hints.d.ts.map +1 -1
  189. package/dest/kernel/hints/build_transient_data_hints.js +9 -3
  190. package/dest/kernel/hints/index.d.ts +2 -2
  191. package/dest/kernel/hints/index.js +2 -2
  192. package/dest/kernel/hints/key_validation_request_and_separator.d.ts +24 -0
  193. package/dest/kernel/hints/key_validation_request_and_separator.d.ts.map +1 -0
  194. package/dest/kernel/hints/{key_validation_request_and_generator.js → key_validation_request_and_separator.js} +12 -15
  195. package/dest/kernel/hints/private_kernel_reset_hints.d.ts +1 -1
  196. package/dest/kernel/hints/private_kernel_reset_hints.d.ts.map +1 -1
  197. package/dest/kernel/hints/{scoped_key_validation_request_and_generator.d.ts → scoped_key_validation_request_and_separator.d.ts} +8 -8
  198. package/dest/kernel/hints/{scoped_key_validation_request_and_generator.d.ts.map → scoped_key_validation_request_and_separator.d.ts.map} +1 -1
  199. package/dest/kernel/hints/{scoped_key_validation_request_and_generator.js → scoped_key_validation_request_and_separator.js} +6 -6
  200. package/dest/kernel/padded_side_effects.js +1 -1
  201. package/dest/kernel/private_circuit_public_inputs.d.ts +9 -9
  202. package/dest/kernel/private_circuit_public_inputs.d.ts.map +1 -1
  203. package/dest/kernel/private_circuit_public_inputs.js +16 -16
  204. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts +3 -3
  205. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts.map +1 -1
  206. package/dest/kernel/private_kernel_circuit_public_inputs.js +4 -4
  207. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts +3 -3
  208. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts.map +1 -1
  209. package/dest/kernel/private_kernel_tail_circuit_private_inputs.js +4 -4
  210. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts +4 -3
  211. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts.map +1 -1
  212. package/dest/kernel/private_kernel_tail_circuit_public_inputs.js +11 -7
  213. package/dest/kernel/private_to_avm_accumulated_data.js +2 -2
  214. package/dest/kernel/private_to_public_accumulated_data.js +2 -2
  215. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts +3 -3
  216. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts.map +1 -1
  217. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.js +7 -7
  218. package/dest/kernel/private_to_rollup_accumulated_data.js +1 -1
  219. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.d.ts +3 -3
  220. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.d.ts.map +1 -1
  221. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.js +7 -7
  222. package/dest/kernel/private_validation_requests.d.ts +3 -3
  223. package/dest/kernel/private_validation_requests.js +9 -9
  224. package/dest/keys/derivation.d.ts +3 -3
  225. package/dest/keys/derivation.js +15 -15
  226. package/dest/keys/key_types.d.ts +3 -3
  227. package/dest/keys/key_types.d.ts.map +1 -1
  228. package/dest/keys/public_keys.js +2 -2
  229. package/dest/keys/utils.d.ts +1 -1
  230. package/dest/keys/utils.d.ts.map +1 -1
  231. package/dest/keys/utils.js +8 -4
  232. package/dest/l1-contracts/slash_factory.d.ts +1 -1
  233. package/dest/l1-contracts/slash_factory.d.ts.map +1 -1
  234. package/dest/l1-contracts/slash_factory.js +1 -0
  235. package/dest/logs/debug_log_store.d.ts +30 -0
  236. package/dest/logs/debug_log_store.d.ts.map +1 -0
  237. package/dest/logs/debug_log_store.js +30 -0
  238. package/dest/logs/extended_directional_app_tagging_secret.d.ts +47 -0
  239. package/dest/logs/extended_directional_app_tagging_secret.d.ts.map +1 -0
  240. package/dest/logs/{directional_app_tagging_secret.js → extended_directional_app_tagging_secret.js} +35 -20
  241. package/dest/logs/extended_public_log.d.ts +13 -7
  242. package/dest/logs/extended_public_log.d.ts.map +1 -1
  243. package/dest/logs/index.d.ts +4 -2
  244. package/dest/logs/index.d.ts.map +1 -1
  245. package/dest/logs/index.js +3 -1
  246. package/dest/logs/log_filter.d.ts +4 -1
  247. package/dest/logs/log_filter.d.ts.map +1 -1
  248. package/dest/logs/log_filter.js +2 -1
  249. package/dest/logs/log_id.d.ts +17 -14
  250. package/dest/logs/log_id.d.ts.map +1 -1
  251. package/dest/logs/log_id.js +20 -17
  252. package/dest/logs/message_context.d.ts +4 -7
  253. package/dest/logs/message_context.d.ts.map +1 -1
  254. package/dest/logs/message_context.js +23 -9
  255. package/dest/logs/pending_tagged_log.d.ts +2 -3
  256. package/dest/logs/pending_tagged_log.d.ts.map +1 -1
  257. package/dest/logs/pending_tagged_log.js +2 -2
  258. package/dest/logs/pre_tag.d.ts +16 -11
  259. package/dest/logs/pre_tag.d.ts.map +1 -1
  260. package/dest/logs/pre_tag.js +2 -2
  261. package/dest/logs/private_log.d.ts +2 -2
  262. package/dest/logs/private_log.d.ts.map +1 -1
  263. package/dest/logs/private_log.js +1 -1
  264. package/dest/logs/public_log.d.ts +4 -3
  265. package/dest/logs/public_log.d.ts.map +1 -1
  266. package/dest/logs/public_log.js +9 -2
  267. package/dest/logs/shared_secret_derivation.d.ts +11 -10
  268. package/dest/logs/shared_secret_derivation.d.ts.map +1 -1
  269. package/dest/logs/shared_secret_derivation.js +15 -9
  270. package/dest/logs/siloed_tag.d.ts +8 -3
  271. package/dest/logs/siloed_tag.d.ts.map +1 -1
  272. package/dest/logs/siloed_tag.js +12 -6
  273. package/dest/logs/tag.d.ts +3 -2
  274. package/dest/logs/tag.d.ts.map +1 -1
  275. package/dest/logs/tag.js +5 -1
  276. package/dest/logs/tagging_index_range.d.ts +40 -0
  277. package/dest/logs/tagging_index_range.d.ts.map +1 -0
  278. package/dest/logs/tagging_index_range.js +8 -0
  279. package/dest/logs/tx_scoped_l2_log.d.ts +3 -1
  280. package/dest/logs/tx_scoped_l2_log.d.ts.map +1 -1
  281. package/dest/logs/tx_scoped_l2_log.js +7 -0
  282. package/dest/messaging/l1_to_l2_message.d.ts +3 -2
  283. package/dest/messaging/l1_to_l2_message.d.ts.map +1 -1
  284. package/dest/messaging/l1_to_l2_message.js +11 -13
  285. package/dest/messaging/l2_to_l1_membership.d.ts +34 -8
  286. package/dest/messaging/l2_to_l1_membership.d.ts.map +1 -1
  287. package/dest/messaging/l2_to_l1_membership.js +72 -29
  288. package/dest/noir/index.d.ts +5 -3
  289. package/dest/noir/index.d.ts.map +1 -1
  290. package/dest/note/index.d.ts +1 -2
  291. package/dest/note/index.d.ts.map +1 -1
  292. package/dest/note/index.js +0 -1
  293. package/dest/note/note_dao.d.ts +1 -1
  294. package/dest/note/note_dao.d.ts.map +1 -1
  295. package/dest/note/note_dao.js +1 -4
  296. package/dest/p2p/attestation_utils.d.ts +11 -1
  297. package/dest/p2p/attestation_utils.d.ts.map +1 -1
  298. package/dest/p2p/attestation_utils.js +45 -0
  299. package/dest/p2p/block_proposal.d.ts +10 -3
  300. package/dest/p2p/block_proposal.d.ts.map +1 -1
  301. package/dest/p2p/block_proposal.js +1 -3
  302. package/dest/p2p/checkpoint_attestation.d.ts +2 -1
  303. package/dest/p2p/checkpoint_attestation.d.ts.map +1 -1
  304. package/dest/p2p/checkpoint_attestation.js +1 -1
  305. package/dest/p2p/checkpoint_proposal.d.ts +26 -12
  306. package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
  307. package/dest/p2p/checkpoint_proposal.js +29 -37
  308. package/dest/p2p/client_type.d.ts +2 -5
  309. package/dest/p2p/client_type.d.ts.map +1 -1
  310. package/dest/p2p/client_type.js +0 -7
  311. package/dest/p2p/consensus_payload.d.ts +12 -3
  312. package/dest/p2p/consensus_payload.d.ts.map +1 -1
  313. package/dest/p2p/consensus_payload.js +22 -15
  314. package/dest/p2p/constants.d.ts +3 -1
  315. package/dest/p2p/constants.d.ts.map +1 -1
  316. package/dest/p2p/constants.js +1 -0
  317. package/dest/p2p/index.d.ts +1 -2
  318. package/dest/p2p/index.d.ts.map +1 -1
  319. package/dest/p2p/index.js +0 -1
  320. package/dest/p2p/peer_error.d.ts +3 -1
  321. package/dest/p2p/peer_error.d.ts.map +1 -1
  322. package/dest/p2p/peer_error.js +5 -0
  323. package/dest/p2p/topic_type.d.ts +3 -4
  324. package/dest/p2p/topic_type.d.ts.map +1 -1
  325. package/dest/p2p/topic_type.js +7 -24
  326. package/dest/parity/parity_base_private_inputs.js +1 -1
  327. package/dest/proofs/chonk_proof.d.ts +1 -1
  328. package/dest/proofs/chonk_proof.d.ts.map +1 -1
  329. package/dest/proofs/chonk_proof.js +7 -1
  330. package/dest/rollup/base_rollup_hints.js +2 -2
  331. package/dest/rollup/block_root_rollup_private_inputs.js +5 -5
  332. package/dest/rollup/checkpoint_header.d.ts +2 -2
  333. package/dest/rollup/checkpoint_header.js +2 -2
  334. package/dest/rollup/checkpoint_rollup_public_inputs.d.ts +6 -6
  335. package/dest/rollup/checkpoint_rollup_public_inputs.d.ts.map +1 -1
  336. package/dest/rollup/checkpoint_rollup_public_inputs.js +2 -2
  337. package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts +2 -2
  338. package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts.map +1 -1
  339. package/dest/rollup/checkpoint_root_rollup_private_inputs.js +3 -3
  340. package/dest/rollup/root_rollup_public_inputs.d.ts +6 -6
  341. package/dest/rollup/root_rollup_public_inputs.d.ts.map +1 -1
  342. package/dest/rollup/root_rollup_public_inputs.js +3 -3
  343. package/dest/rollup/tree_snapshot_diff_hints.js +2 -2
  344. package/dest/slashing/empire.d.ts +1 -1
  345. package/dest/slashing/empire.d.ts.map +1 -1
  346. package/dest/slashing/empire.js +2 -0
  347. package/dest/slashing/helpers.d.ts +2 -2
  348. package/dest/slashing/helpers.d.ts.map +1 -1
  349. package/dest/slashing/helpers.js +6 -0
  350. package/dest/slashing/tally.d.ts +8 -2
  351. package/dest/slashing/tally.d.ts.map +1 -1
  352. package/dest/slashing/tally.js +35 -3
  353. package/dest/slashing/types.d.ts +7 -3
  354. package/dest/slashing/types.d.ts.map +1 -1
  355. package/dest/slashing/types.js +13 -1
  356. package/dest/stats/stats.d.ts +1 -3
  357. package/dest/stats/stats.d.ts.map +1 -1
  358. package/dest/tests/factories.d.ts +3 -1
  359. package/dest/tests/factories.d.ts.map +1 -1
  360. package/dest/tests/factories.js +22 -14
  361. package/dest/tests/mocks.d.ts +12 -3
  362. package/dest/tests/mocks.d.ts.map +1 -1
  363. package/dest/tests/mocks.js +48 -40
  364. package/dest/timetable/index.d.ts +37 -0
  365. package/dest/timetable/index.d.ts.map +1 -0
  366. package/dest/timetable/index.js +39 -0
  367. package/dest/trees/public_data_leaf.d.ts +2 -1
  368. package/dest/trees/public_data_leaf.d.ts.map +1 -1
  369. package/dest/trees/public_data_leaf.js +7 -6
  370. package/dest/tx/block_header.d.ts +5 -3
  371. package/dest/tx/block_header.d.ts.map +1 -1
  372. package/dest/tx/block_header.js +8 -4
  373. package/dest/tx/capsule.d.ts +6 -2
  374. package/dest/tx/capsule.d.ts.map +1 -1
  375. package/dest/tx/capsule.js +9 -3
  376. package/dest/tx/global_variables.d.ts +4 -4
  377. package/dest/tx/global_variables.d.ts.map +1 -1
  378. package/dest/tx/in_tx.d.ts +3 -3
  379. package/dest/tx/indexed_tx_effect.d.ts +5 -5
  380. package/dest/tx/indexed_tx_effect.d.ts.map +1 -1
  381. package/dest/tx/indexed_tx_effect.js +3 -2
  382. package/dest/tx/private_execution_result.d.ts +6 -6
  383. package/dest/tx/private_execution_result.d.ts.map +1 -1
  384. package/dest/tx/private_execution_result.js +6 -6
  385. package/dest/tx/profiling.d.ts +17 -5
  386. package/dest/tx/profiling.d.ts.map +1 -1
  387. package/dest/tx/profiling.js +15 -5
  388. package/dest/tx/protocol_contracts.d.ts +1 -1
  389. package/dest/tx/protocol_contracts.d.ts.map +1 -1
  390. package/dest/tx/protocol_contracts.js +4 -4
  391. package/dest/tx/proven_tx.d.ts +3 -1
  392. package/dest/tx/proven_tx.d.ts.map +1 -1
  393. package/dest/tx/proven_tx.js +6 -0
  394. package/dest/tx/public_simulation_output.d.ts +4 -2
  395. package/dest/tx/public_simulation_output.d.ts.map +1 -1
  396. package/dest/tx/public_simulation_output.js +7 -3
  397. package/dest/tx/simulated_tx.d.ts +71 -77
  398. package/dest/tx/simulated_tx.d.ts.map +1 -1
  399. package/dest/tx/simulated_tx.js +7 -4
  400. package/dest/tx/tx.d.ts +6 -5
  401. package/dest/tx/tx.d.ts.map +1 -1
  402. package/dest/tx/tx.js +18 -6
  403. package/dest/tx/tx_receipt.d.ts +33 -10
  404. package/dest/tx/tx_receipt.d.ts.map +1 -1
  405. package/dest/tx/tx_receipt.js +25 -21
  406. package/dest/tx/tx_request.js +2 -2
  407. package/dest/tx/validator/empty_validator.d.ts +2 -2
  408. package/dest/tx/validator/empty_validator.d.ts.map +1 -1
  409. package/dest/tx/validator/error_texts.d.ts +10 -2
  410. package/dest/tx/validator/error_texts.d.ts.map +1 -1
  411. package/dest/tx/validator/error_texts.js +11 -1
  412. package/dest/tx/validator/tx_validator.d.ts +2 -2
  413. package/dest/tx/validator/tx_validator.d.ts.map +1 -1
  414. package/dest/update-checker/dev_version.d.ts +3 -0
  415. package/dest/update-checker/dev_version.d.ts.map +1 -0
  416. package/dest/update-checker/dev_version.js +1 -0
  417. package/dest/update-checker/index.d.ts +4 -2
  418. package/dest/update-checker/index.d.ts.map +1 -1
  419. package/dest/update-checker/index.js +3 -1
  420. package/dest/update-checker/package_version.d.ts +6 -0
  421. package/dest/update-checker/package_version.d.ts.map +1 -0
  422. package/dest/update-checker/package_version.js +13 -0
  423. package/dest/update-checker/version_checker.d.ts +25 -0
  424. package/dest/update-checker/version_checker.d.ts.map +1 -0
  425. package/dest/update-checker/version_checker.js +50 -0
  426. package/dest/validators/errors.d.ts +6 -1
  427. package/dest/validators/errors.d.ts.map +1 -1
  428. package/dest/validators/errors.js +7 -0
  429. package/dest/validators/schemas.d.ts +30 -30
  430. package/dest/validators/schemas.d.ts.map +1 -1
  431. package/dest/validators/schemas.js +4 -3
  432. package/dest/validators/types.d.ts +3 -3
  433. package/dest/validators/types.d.ts.map +1 -1
  434. package/dest/versioning/versioning.d.ts +4 -2
  435. package/dest/versioning/versioning.d.ts.map +1 -1
  436. package/dest/versioning/versioning.js +4 -1
  437. package/dest/vks/vk_data.js +1 -1
  438. package/package.json +27 -14
  439. package/src/abi/abi.ts +87 -2
  440. package/src/abi/buffer.ts +25 -4
  441. package/src/abi/contract_artifact.ts +11 -6
  442. package/src/abi/decoder.ts +36 -82
  443. package/src/abi/encoder.ts +85 -6
  444. package/src/abi/event_metadata_definition.ts +2 -0
  445. package/src/abi/function_call.ts +25 -3
  446. package/src/abi/function_selector.ts +1 -1
  447. package/src/abi/function_signature_decoder.ts +77 -0
  448. package/src/abi/index.ts +1 -0
  449. package/src/abi/selector.ts +1 -1
  450. package/src/abi/utils.ts +25 -0
  451. package/src/auth_witness/auth_witness.ts +3 -3
  452. package/src/avm/avm_accumulated_data.ts +6 -6
  453. package/src/avm/avm_circuit_public_inputs.ts +4 -4
  454. package/src/avm/revert_code.ts +26 -25
  455. package/src/aztec-address/index.ts +4 -0
  456. package/src/block/block_data.ts +26 -0
  457. package/src/block/block_hash.ts +25 -50
  458. package/src/block/block_parameter.ts +3 -3
  459. package/src/block/in_block.ts +6 -6
  460. package/src/block/index.ts +1 -0
  461. package/src/block/l2_block.ts +16 -4
  462. package/src/block/l2_block_source.ts +42 -10
  463. package/src/block/l2_block_stream/interfaces.ts +6 -2
  464. package/src/block/l2_block_stream/l2_block_stream.ts +21 -0
  465. package/src/block/l2_block_stream/l2_tips_store_base.ts +17 -3
  466. package/src/block/test/l2_tips_store_test_suite.ts +1 -1
  467. package/src/checkpoint/checkpoint.ts +43 -16
  468. package/src/checkpoint/checkpoint_data.ts +51 -0
  469. package/src/checkpoint/index.ts +2 -0
  470. package/src/checkpoint/published_checkpoint.ts +3 -1
  471. package/src/checkpoint/validate.ts +230 -0
  472. package/src/config/index.ts +1 -0
  473. package/src/config/sequencer-config.ts +34 -0
  474. package/src/contract/contract_address.ts +4 -4
  475. package/src/contract/contract_class.ts +3 -3
  476. package/src/contract/contract_class_id.ts +6 -5
  477. package/src/contract/interfaces/node-info.ts +3 -0
  478. package/src/contract/private_function.ts +2 -2
  479. package/src/contract/private_function_membership_proof.ts +1 -1
  480. package/src/database-version/database_version.ts +87 -0
  481. package/src/database-version/version_manager.ts +1 -77
  482. package/src/epoch-helpers/index.ts +34 -0
  483. package/src/file-store/local.ts +15 -5
  484. package/src/file-store/s3.ts +12 -3
  485. package/src/gas/README.md +123 -0
  486. package/src/gas/gas_fees.ts +7 -1
  487. package/src/gas/gas_settings.ts +65 -12
  488. package/src/hash/hash.ts +61 -11
  489. package/src/hash/map_slot.ts +3 -2
  490. package/src/interfaces/allowed_element.ts +29 -9
  491. package/src/interfaces/archiver.ts +12 -5
  492. package/src/interfaces/aztec-node-admin.ts +26 -2
  493. package/src/interfaces/aztec-node-debug.ts +40 -0
  494. package/src/interfaces/aztec-node.ts +67 -99
  495. package/src/interfaces/block-builder.ts +68 -11
  496. package/src/interfaces/client.ts +1 -0
  497. package/src/interfaces/configs.ts +36 -8
  498. package/src/interfaces/merkle_tree_operations.ts +9 -19
  499. package/src/interfaces/p2p.ts +3 -14
  500. package/src/interfaces/prover-broker.ts +22 -0
  501. package/src/interfaces/prover-client.ts +15 -0
  502. package/src/interfaces/slasher.ts +4 -0
  503. package/src/interfaces/validator.ts +31 -9
  504. package/src/interfaces/world_state.ts +4 -3
  505. package/src/kernel/claimed_length_array.ts +2 -2
  506. package/src/kernel/hints/build_note_hash_read_request_hints.ts +14 -18
  507. package/src/kernel/hints/build_nullifier_read_request_hints.ts +15 -18
  508. package/src/kernel/hints/build_transient_data_hints.ts +17 -2
  509. package/src/kernel/hints/index.ts +2 -2
  510. package/src/kernel/hints/{key_validation_request_and_generator.ts → key_validation_request_and_separator.ts} +12 -15
  511. package/src/kernel/hints/private_kernel_reset_hints.ts +5 -2
  512. package/src/kernel/hints/read_request_hints.ts +3 -3
  513. package/src/kernel/hints/{scoped_key_validation_request_and_generator.ts → scoped_key_validation_request_and_separator.ts} +10 -10
  514. package/src/kernel/padded_side_effects.ts +3 -3
  515. package/src/kernel/private_circuit_public_inputs.ts +14 -14
  516. package/src/kernel/private_kernel_circuit_public_inputs.ts +2 -2
  517. package/src/kernel/private_kernel_tail_circuit_private_inputs.ts +2 -2
  518. package/src/kernel/private_kernel_tail_circuit_public_inputs.ts +14 -5
  519. package/src/kernel/private_to_avm_accumulated_data.ts +4 -4
  520. package/src/kernel/private_to_public_accumulated_data.ts +10 -10
  521. package/src/kernel/private_to_public_kernel_circuit_public_inputs.ts +5 -5
  522. package/src/kernel/private_to_rollup_accumulated_data.ts +5 -5
  523. package/src/kernel/private_to_rollup_kernel_circuit_public_inputs.ts +5 -5
  524. package/src/kernel/private_validation_requests.ts +8 -8
  525. package/src/keys/derivation.ts +15 -15
  526. package/src/keys/key_types.ts +6 -2
  527. package/src/keys/public_keys.ts +2 -2
  528. package/src/keys/utils.ts +8 -4
  529. package/src/l1-contracts/slash_factory.ts +1 -0
  530. package/src/logs/debug_log_store.ts +54 -0
  531. package/src/logs/{directional_app_tagging_secret.ts → extended_directional_app_tagging_secret.ts} +41 -22
  532. package/src/logs/index.ts +3 -1
  533. package/src/logs/log_filter.ts +5 -0
  534. package/src/logs/log_id.ts +22 -18
  535. package/src/logs/message_context.ts +17 -7
  536. package/src/logs/pending_tagged_log.ts +1 -3
  537. package/src/logs/pre_tag.ts +5 -5
  538. package/src/logs/private_log.ts +1 -1
  539. package/src/logs/public_log.ts +15 -3
  540. package/src/logs/shared_secret_derivation.ts +21 -10
  541. package/src/logs/siloed_tag.ts +15 -4
  542. package/src/logs/tag.ts +6 -2
  543. package/src/logs/tagging_index_range.ts +24 -0
  544. package/src/logs/tx_scoped_l2_log.ts +16 -0
  545. package/src/messaging/l1_to_l2_message.ts +12 -9
  546. package/src/messaging/l2_to_l1_membership.ts +101 -36
  547. package/src/noir/index.ts +4 -2
  548. package/src/note/index.ts +0 -1
  549. package/src/note/note_dao.ts +1 -4
  550. package/src/p2p/attestation_utils.ts +56 -0
  551. package/src/p2p/block_proposal.ts +9 -4
  552. package/src/p2p/checkpoint_attestation.ts +6 -1
  553. package/src/p2p/checkpoint_proposal.ts +60 -51
  554. package/src/p2p/client_type.ts +0 -6
  555. package/src/p2p/consensus_payload.ts +25 -12
  556. package/src/p2p/constants.ts +3 -0
  557. package/src/p2p/index.ts +0 -1
  558. package/src/p2p/peer_error.ts +7 -0
  559. package/src/p2p/topic_type.ts +8 -15
  560. package/src/parity/parity_base_private_inputs.ts +1 -1
  561. package/src/proofs/chonk_proof.ts +9 -1
  562. package/src/rollup/base_rollup_hints.ts +2 -2
  563. package/src/rollup/block_root_rollup_private_inputs.ts +8 -8
  564. package/src/rollup/checkpoint_header.ts +2 -2
  565. package/src/rollup/checkpoint_rollup_public_inputs.ts +5 -5
  566. package/src/rollup/checkpoint_root_rollup_private_inputs.ts +4 -4
  567. package/src/rollup/root_rollup_public_inputs.ts +7 -7
  568. package/src/rollup/tree_snapshot_diff_hints.ts +5 -5
  569. package/src/slashing/empire.ts +3 -1
  570. package/src/slashing/helpers.ts +8 -0
  571. package/src/slashing/tally.ts +41 -2
  572. package/src/slashing/types.ts +14 -0
  573. package/src/stats/stats.ts +0 -2
  574. package/src/tests/factories.ts +27 -18
  575. package/src/tests/mocks.ts +65 -33
  576. package/src/timetable/index.ts +66 -0
  577. package/src/trees/public_data_leaf.ts +11 -5
  578. package/src/tx/block_header.ts +13 -7
  579. package/src/tx/capsule.ts +10 -2
  580. package/src/tx/global_variables.ts +3 -3
  581. package/src/tx/indexed_tx_effect.ts +3 -2
  582. package/src/tx/private_execution_result.ts +5 -5
  583. package/src/tx/profiling.ts +14 -5
  584. package/src/tx/protocol_contracts.ts +4 -4
  585. package/src/tx/proven_tx.ts +6 -0
  586. package/src/tx/public_simulation_output.ts +4 -0
  587. package/src/tx/simulated_tx.ts +14 -3
  588. package/src/tx/tx.ts +20 -11
  589. package/src/tx/tx_receipt.ts +32 -20
  590. package/src/tx/tx_request.ts +2 -2
  591. package/src/tx/validator/empty_validator.ts +1 -1
  592. package/src/tx/validator/error_texts.ts +13 -1
  593. package/src/tx/validator/tx_validator.ts +1 -1
  594. package/src/update-checker/dev_version.ts +2 -0
  595. package/src/update-checker/index.ts +3 -1
  596. package/src/update-checker/package_version.ts +17 -0
  597. package/src/update-checker/version_checker.ts +65 -0
  598. package/src/validators/errors.ts +9 -0
  599. package/src/validators/schemas.ts +8 -1
  600. package/src/validators/types.ts +5 -4
  601. package/src/versioning/versioning.ts +4 -1
  602. package/src/vks/vk_data.ts +1 -1
  603. package/dest/database-version/index.d.ts +0 -2
  604. package/dest/database-version/index.d.ts.map +0 -1
  605. package/dest/database-version/index.js +0 -1
  606. package/dest/kernel/hints/key_validation_request_and_generator.d.ts +0 -30
  607. package/dest/kernel/hints/key_validation_request_and_generator.d.ts.map +0 -1
  608. package/dest/logs/directional_app_tagging_secret.d.ts +0 -40
  609. package/dest/logs/directional_app_tagging_secret.d.ts.map +0 -1
  610. package/dest/note/notes_filter.d.ts +0 -27
  611. package/dest/note/notes_filter.d.ts.map +0 -1
  612. package/dest/note/notes_filter.js +0 -11
  613. package/dest/update-checker/update-checker.d.ts +0 -49
  614. package/dest/update-checker/update-checker.d.ts.map +0 -1
  615. package/dest/update-checker/update-checker.js +0 -130
  616. package/src/database-version/index.ts +0 -1
  617. package/src/note/notes_filter.ts +0 -38
  618. package/src/update-checker/update-checker.ts +0 -166
@@ -12,6 +12,7 @@ import {
12
12
  import {
13
13
  type ABIParameter,
14
14
  type ABIParameterVisibility,
15
+ ARTIFACT_VERSION_BEFORE_INJECTION,
15
16
  type AbiType,
16
17
  type BasicValue,
17
18
  type ContractArtifact,
@@ -51,6 +52,10 @@ export function contractArtifactFromBuffer(buffer: Buffer): ContractArtifact {
51
52
  */
52
53
  export function loadContractArtifact(input: NoirCompiledContract): ContractArtifact {
53
54
  if (isContractArtifact(input)) {
55
+ // TODO(F-557): Remove this fallback once pre-version artifacts are no longer tested.
56
+ if (!(input as unknown as Record<string, unknown>).aztecVersion) {
57
+ return { ...input, aztecVersion: ARTIFACT_VERSION_BEFORE_INJECTION };
58
+ }
54
59
  return input;
55
60
  }
56
61
  return generateContractArtifact(input);
@@ -276,10 +281,9 @@ function getStorageLayout(input: NoirCompiledContract) {
276
281
  }
277
282
 
278
283
  /**
279
- * Given a Nargo output generates an Aztec-compatible contract artifact.
284
+ * Given a post-processed Nargo output defined as `contract` generates an Aztec-compatible contract artifact.
285
+ *
280
286
  * Does not include public bytecode, apart from the public_dispatch function.
281
- * @param compiled - Noir build output.
282
- * @returns Aztec contract build artifact.
283
287
  */
284
288
  function generateContractArtifact(contract: NoirCompiledContract): ContractArtifact {
285
289
  try {
@@ -288,6 +292,7 @@ function generateContractArtifact(contract: NoirCompiledContract): ContractArtif
288
292
  }
289
293
  return ContractArtifactSchema.parse({
290
294
  name: contract.name,
295
+ aztecVersion: contract.aztec_version,
291
296
  functions: contract.functions.filter(f => retainBytecode(f)).map(f => generateFunctionArtifact(f, contract)),
292
297
  nonDispatchPublicFunctions: contract.functions
293
298
  .filter(f => !retainBytecode(f))
@@ -302,15 +307,15 @@ function generateContractArtifact(contract: NoirCompiledContract): ContractArtif
302
307
  }
303
308
 
304
309
  /**
305
- * Given a Nargo output generates an Aztec-compatible contract artifact.
310
+ * Given a post-processed Nargo output defined as `contract` generates an Aztec-compatible contract artifact.
311
+ *
306
312
  * Retains all public bytecode.
307
- * @param compiled - Noir build output.
308
- * @returns Aztec contract build artifact.
309
313
  */
310
314
  function generateContractArtifactForPublic(contract: NoirCompiledContract): ContractArtifact {
311
315
  try {
312
316
  return ContractArtifactSchema.parse({
313
317
  name: contract.name,
318
+ aztecVersion: contract.aztec_version,
314
319
  functions: contract.functions.map(f => generateFunctionArtifact(f, contract)),
315
320
  nonDispatchPublicFunctions: contract.functions
316
321
  .filter(f => !retainBytecode(f))
@@ -1,13 +1,32 @@
1
1
  import { Fr } from '@aztec/foundation/curves/bn254';
2
+ import { EthAddress } from '@aztec/foundation/eth-address';
2
3
 
3
4
  import { AztecAddress } from '../aztec-address/index.js';
4
- import type { ABIParameter, ABIVariable, AbiType } from './abi.js';
5
- import { isAztecAddressStruct, parseSignedInt } from './utils.js';
5
+ import type { AbiType } from './abi.js';
6
+ import { FunctionSelector } from './function_selector.js';
7
+ import {
8
+ isAztecAddressStruct,
9
+ isEthAddressStruct,
10
+ isFunctionSelectorStruct,
11
+ isOptionStruct,
12
+ isWrappedFieldStruct,
13
+ parseSignedInt,
14
+ } from './utils.js';
6
15
 
7
16
  /**
8
17
  * The type of our decoded ABI.
9
18
  */
10
- export type AbiDecoded = bigint | boolean | string | AztecAddress | AbiDecoded[] | { [key: string]: AbiDecoded };
19
+ export type AbiDecoded =
20
+ | bigint
21
+ | boolean
22
+ | string
23
+ | AztecAddress
24
+ | EthAddress
25
+ | FunctionSelector
26
+ | Fr
27
+ | AbiDecoded[]
28
+ | { [key: string]: AbiDecoded }
29
+ | undefined;
11
30
 
12
31
  /**
13
32
  * Decodes values using a provided ABI.
@@ -51,6 +70,20 @@ class AbiDecoder {
51
70
  if (isAztecAddressStruct(abiType)) {
52
71
  return new AztecAddress(this.getNextField().toBuffer());
53
72
  }
73
+ if (isEthAddressStruct(abiType)) {
74
+ return EthAddress.fromField(this.getNextField());
75
+ }
76
+ if (isFunctionSelectorStruct(abiType)) {
77
+ return FunctionSelector.fromField(this.getNextField());
78
+ }
79
+ if (isWrappedFieldStruct(abiType)) {
80
+ return this.getNextField();
81
+ }
82
+ if (isOptionStruct(abiType)) {
83
+ const isSome = this.decodeNext(abiType.fields[0].type);
84
+ const value = this.decodeNext(abiType.fields[1].type);
85
+ return isSome ? value : undefined;
86
+ }
54
87
 
55
88
  for (const field of abiType.fields) {
56
89
  struct[field.name] = this.decodeNext(field.type);
@@ -111,82 +144,3 @@ class AbiDecoder {
111
144
  export function decodeFromAbi(typ: AbiType[], buffer: Fr[]) {
112
145
  return new AbiDecoder(typ, buffer.slice()).decode();
113
146
  }
114
-
115
- /**
116
- * Decodes the signature of a function from the name and parameters.
117
- */
118
- export class FunctionSignatureDecoder {
119
- private separator: string;
120
- constructor(
121
- private name: string,
122
- private parameters: ABIParameter[],
123
- private includeNames = false,
124
- ) {
125
- this.separator = includeNames ? ', ' : ',';
126
- }
127
-
128
- /**
129
- * Decodes a single function parameter type for the function signature.
130
- * @param param - The parameter type to decode.
131
- * @returns A string representing the parameter type.
132
- */
133
- private getParameterType(param: AbiType): string {
134
- switch (param.kind) {
135
- case 'field':
136
- return 'Field';
137
- case 'integer':
138
- if (param.sign === 'signed') {
139
- throw new Error('Unsupported type: signed integer');
140
- }
141
- return `u${param.width}`;
142
- case 'boolean':
143
- return 'bool';
144
- case 'array':
145
- return `[${this.getParameterType(param.type)};${param.length}]`;
146
- case 'string':
147
- return `str<${param.length}>`;
148
- case 'struct':
149
- return `(${param.fields.map(field => `${this.decodeParameter(field)}`).join(this.separator)})`;
150
- default:
151
- throw new Error(`Unsupported type: ${param.kind}`);
152
- }
153
- }
154
-
155
- /**
156
- * Decodes a single function parameter for the function signature.
157
- * @param param - The parameter to decode.
158
- * @returns A string representing the parameter type and optionally its name.
159
- */
160
- private decodeParameter(param: ABIVariable): string {
161
- const type = this.getParameterType(param.type);
162
- return this.includeNames ? `${param.name}: ${type}` : type;
163
- }
164
-
165
- /**
166
- * Decodes all the parameters and build the function signature
167
- * @returns The function signature.
168
- */
169
- public decode(): string {
170
- return `${this.name}(${this.parameters.map(param => this.decodeParameter(param)).join(this.separator)})`;
171
- }
172
- }
173
-
174
- /**
175
- * Decodes a function signature from the name and parameters.
176
- * @param name - The name of the function.
177
- * @param parameters - The parameters of the function.
178
- * @returns - The function signature.
179
- */
180
- export function decodeFunctionSignature(name: string, parameters: ABIParameter[]) {
181
- return new FunctionSignatureDecoder(name, parameters).decode();
182
- }
183
-
184
- /**
185
- * Decodes a function signature from the name and parameters including parameter names.
186
- * @param name - The name of the function.
187
- * @param parameters - The parameters of the function.
188
- * @returns - The user-friendly function signature.
189
- */
190
- export function decodeFunctionSignatureWithParameterNames(name: string, parameters: ABIParameter[]) {
191
- return new FunctionSignatureDecoder(name, parameters, true).decode();
192
- }
@@ -1,7 +1,13 @@
1
1
  import { Fr } from '@aztec/foundation/curves/bn254';
2
2
 
3
3
  import type { AbiType, FunctionAbi } from './abi.js';
4
- import { isAddressStruct, isBoundedVecStruct, isFunctionSelectorStruct, isWrappedFieldStruct } from './utils.js';
4
+ import {
5
+ isAddressStruct,
6
+ isBoundedVecStruct,
7
+ isFunctionSelectorStruct,
8
+ isOptionStruct,
9
+ isWrappedFieldStruct,
10
+ } from './utils.js';
5
11
 
6
12
  /**
7
13
  * Encodes arguments for a function call.
@@ -43,6 +49,32 @@ class ArgumentEncoder {
43
49
  * @param name - Name.
44
50
  */
45
51
  private encodeArgument(abiType: AbiType, arg: any, name?: string) {
52
+ if (isOptionStruct(abiType)) {
53
+ const optionType = abiType as Extract<AbiType, { kind: 'struct' }>;
54
+ const [isSomeField, valueField] = optionType.fields;
55
+
56
+ if (arg === undefined || arg === null) {
57
+ this.encodeArgument(isSomeField.type, false, `${name}._is_some`);
58
+ this.#encodeDefaultValue(valueField.type);
59
+ return;
60
+ }
61
+
62
+ if (typeof arg === 'object' && '_is_some' in arg) {
63
+ this.encodeArgument(isSomeField.type, arg._is_some, `${name}._is_some`);
64
+
65
+ if (arg._is_some) {
66
+ this.encodeArgument(valueField.type, arg._value, `${name}._value`);
67
+ } else {
68
+ this.#encodeDefaultValue(valueField.type);
69
+ }
70
+ return;
71
+ }
72
+
73
+ this.encodeArgument(isSomeField.type, true, `${name}._is_some`);
74
+ this.encodeArgument(valueField.type, arg, `${name}._value`);
75
+ return;
76
+ }
77
+
46
78
  if (arg === undefined || arg == null) {
47
79
  throw new Error(`Undefined argument ${name ?? 'unnamed'} of type ${abiType.kind}`);
48
80
  }
@@ -74,13 +106,28 @@ class ArgumentEncoder {
74
106
  this.flattened.push(new Fr(arg ? 1n : 0n));
75
107
  break;
76
108
  case 'array':
109
+ if (!Array.isArray(arg)) {
110
+ throw new Error(`Expected array for '${name ?? 'unnamed'}' but received ${typeof arg}`);
111
+ }
112
+ if (arg.length !== abiType.length) {
113
+ throw new Error(
114
+ `Expected array of length ${abiType.length} for '${name ?? 'unnamed'}' but received length ${arg.length}`,
115
+ );
116
+ }
77
117
  for (let i = 0; i < abiType.length; i += 1) {
78
118
  this.encodeArgument(abiType.type, arg[i], `${name}[${i}]`);
79
119
  }
80
120
  break;
81
121
  case 'string':
122
+ if (typeof arg !== 'string') {
123
+ throw new Error(`Expected string for '${name ?? 'unnamed'}' but received ${typeof arg}`);
124
+ }
125
+ if (arg.length > abiType.length) {
126
+ throw new Error(
127
+ `Expected string of max length ${abiType.length} for '${name ?? 'unnamed'}' but received length ${arg.length}`,
128
+ );
129
+ }
82
130
  for (let i = 0; i < abiType.length; i += 1) {
83
- // If the string is shorter than the defined length, pad it with 0s.
84
131
  const toInsert = i < arg.length ? BigInt((arg as string).charCodeAt(i)) : 0n;
85
132
  this.flattened.push(new Fr(toInsert));
86
133
  }
@@ -123,14 +170,33 @@ class ArgumentEncoder {
123
170
  }
124
171
  break;
125
172
  }
126
- case 'integer':
127
- if (typeof arg === 'string') {
128
- const value = BigInt(arg);
173
+ case 'integer': {
174
+ const value = BigInt(arg);
175
+ if (abiType.sign === 'unsigned') {
176
+ const maxValue = (1n << BigInt(abiType.width)) - 1n;
177
+ if (value < 0n || value > maxValue) {
178
+ throw new Error(
179
+ `Value ${value} does not fit in u${abiType.width} for '${name ?? 'unnamed'}' (valid range: 0 to ${maxValue})`,
180
+ );
181
+ }
129
182
  this.flattened.push(new Fr(value));
130
183
  } else {
131
- this.flattened.push(new Fr(arg));
184
+ const minValue = -(1n << BigInt(abiType.width - 1));
185
+ const maxValue = (1n << BigInt(abiType.width - 1)) - 1n;
186
+ if (value < minValue || value > maxValue) {
187
+ throw new Error(
188
+ `Value ${value} does not fit in i${abiType.width} for '${name ?? 'unnamed'}' (valid range: ${minValue} to ${maxValue})`,
189
+ );
190
+ }
191
+ if (value < 0n) {
192
+ const twosComplement = value + (1n << BigInt(abiType.width));
193
+ this.flattened.push(new Fr(twosComplement));
194
+ } else {
195
+ this.flattened.push(new Fr(value));
196
+ }
132
197
  }
133
198
  break;
199
+ }
134
200
  default:
135
201
  throw new Error(`Unsupported type: ${abiType.kind}`);
136
202
  }
@@ -141,6 +207,11 @@ class ArgumentEncoder {
141
207
  * @returns The encoded arguments.
142
208
  */
143
209
  public encode() {
210
+ if (this.args.length !== this.abi.parameters.length) {
211
+ throw new Error(
212
+ `Function '${this.abi.name}' expects ${this.abi.parameters.length} argument(s) but received ${this.args.length}`,
213
+ );
214
+ }
144
215
  for (let i = 0; i < this.abi.parameters.length; i += 1) {
145
216
  const parameterAbi = this.abi.parameters[i];
146
217
  this.encodeArgument(parameterAbi.type, this.args[i], parameterAbi.name);
@@ -224,6 +295,14 @@ class ArgumentEncoder {
224
295
  this.encodeArgument(lenField.type, arg.length, 'len');
225
296
  }
226
297
  }
298
+
299
+ /**
300
+ * Appends the flattened zero value for an ABI type.
301
+ * Option::None still serializes the wrapped value, so we need to zero-fill its footprint.
302
+ */
303
+ #encodeDefaultValue(abiType: AbiType) {
304
+ this.flattened.push(...new Array(ArgumentEncoder.typeSize(abiType)).fill(Fr.ZERO));
305
+ }
227
306
  }
228
307
 
229
308
  /**
@@ -1,8 +1,10 @@
1
1
  import type { AbiType } from './abi.js';
2
2
  import type { EventSelector } from './event_selector.js';
3
3
 
4
+ /** Metadata for a contract event, used to decode emitted event logs back into structured data. */
4
5
  export type EventMetadataDefinition = {
5
6
  eventSelector: EventSelector;
6
7
  abiType: AbiType;
8
+ /** Names of the event's struct members (not serialized Noir Field elements). */
7
9
  fieldNames: string[];
8
10
  };
@@ -1,8 +1,11 @@
1
1
  import type { Fr } from '@aztec/foundation/curves/bn254';
2
2
  import type { FieldsOf } from '@aztec/foundation/types';
3
3
 
4
+ import { z } from 'zod';
5
+
4
6
  import { AztecAddress } from '../aztec-address/index.js';
5
- import { type AbiType, FunctionType } from './abi.js';
7
+ import { schemas } from '../schemas/index.js';
8
+ import { type AbiType, AbiTypeSchema, FunctionType } from './abi.js';
6
9
  import { FunctionSelector } from './function_selector.js';
7
10
 
8
11
  /** A request to call a function on a contract. */
@@ -43,12 +46,31 @@ export class FunctionCall {
43
46
  return new FunctionCall(...FunctionCall.getFields(fields));
44
47
  }
45
48
 
49
+ static get schema() {
50
+ return z
51
+ .object({
52
+ name: z.string(),
53
+ to: schemas.AztecAddress,
54
+ selector: schemas.FunctionSelector,
55
+ type: z.nativeEnum(FunctionType),
56
+ isStatic: z.boolean(),
57
+ hideMsgSender: z.boolean(),
58
+ args: z.array(schemas.Fr),
59
+ returnTypes: z.array(AbiTypeSchema),
60
+ })
61
+ .transform(FunctionCall.from);
62
+ }
63
+
64
+ public isPublicStatic(): boolean {
65
+ return this.type === FunctionType.PUBLIC && this.isStatic;
66
+ }
67
+
46
68
  /**
47
69
  * Creates an empty function call.
48
70
  * @returns an empty function call.
49
71
  */
50
72
  public static empty() {
51
- return {
73
+ return FunctionCall.from({
52
74
  name: '',
53
75
  to: AztecAddress.ZERO,
54
76
  selector: FunctionSelector.empty(),
@@ -57,6 +79,6 @@ export class FunctionCall {
57
79
  isStatic: false,
58
80
  args: [],
59
81
  returnTypes: [],
60
- };
82
+ });
61
83
  }
62
84
  }
@@ -6,7 +6,7 @@ import { type ZodFor, hexSchemaFor } from '@aztec/foundation/schemas';
6
6
  import { BufferReader, FieldReader, TypeRegistry } from '@aztec/foundation/serialize';
7
7
 
8
8
  import type { ABIParameter } from './abi.js';
9
- import { decodeFunctionSignature } from './decoder.js';
9
+ import { decodeFunctionSignature } from './function_signature_decoder.js';
10
10
  import { Selector } from './selector.js';
11
11
 
12
12
  /* eslint-disable @typescript-eslint/no-unsafe-declaration-merging */
@@ -0,0 +1,77 @@
1
+ import type { ABIParameter, ABIVariable, AbiType } from './abi.js';
2
+
3
+ /**
4
+ * Decodes the signature of a function from the name and parameters.
5
+ */
6
+ export class FunctionSignatureDecoder {
7
+ private separator: string;
8
+ constructor(
9
+ private name: string,
10
+ private parameters: ABIParameter[],
11
+ private includeNames = false,
12
+ ) {
13
+ this.separator = includeNames ? ', ' : ',';
14
+ }
15
+
16
+ /**
17
+ * Decodes a single function parameter type for the function signature.
18
+ * @param param - The parameter type to decode.
19
+ * @returns A string representing the parameter type.
20
+ */
21
+ private getParameterType(param: AbiType): string {
22
+ switch (param.kind) {
23
+ case 'field':
24
+ return 'Field';
25
+ case 'integer':
26
+ return param.sign === 'signed' ? `i${param.width}` : `u${param.width}`;
27
+ case 'boolean':
28
+ return 'bool';
29
+ case 'array':
30
+ return `[${this.getParameterType(param.type)};${param.length}]`;
31
+ case 'string':
32
+ return `str<${param.length}>`;
33
+ case 'struct':
34
+ return `(${param.fields.map(field => `${this.decodeParameter(field)}`).join(this.separator)})`;
35
+ default:
36
+ throw new Error(`Unsupported type: ${param.kind}`);
37
+ }
38
+ }
39
+
40
+ /**
41
+ * Decodes a single function parameter for the function signature.
42
+ * @param param - The parameter to decode.
43
+ * @returns A string representing the parameter type and optionally its name.
44
+ */
45
+ private decodeParameter(param: ABIVariable): string {
46
+ const type = this.getParameterType(param.type);
47
+ return this.includeNames ? `${param.name}: ${type}` : type;
48
+ }
49
+
50
+ /**
51
+ * Decodes all the parameters and build the function signature
52
+ * @returns The function signature.
53
+ */
54
+ public decode(): string {
55
+ return `${this.name}(${this.parameters.map(param => this.decodeParameter(param)).join(this.separator)})`;
56
+ }
57
+ }
58
+
59
+ /**
60
+ * Decodes a function signature from the name and parameters.
61
+ * @param name - The name of the function.
62
+ * @param parameters - The parameters of the function.
63
+ * @returns - The function signature.
64
+ */
65
+ export function decodeFunctionSignature(name: string, parameters: ABIParameter[]) {
66
+ return new FunctionSignatureDecoder(name, parameters).decode();
67
+ }
68
+
69
+ /**
70
+ * Decodes a function signature from the name and parameters including parameter names.
71
+ * @param name - The name of the function.
72
+ * @param parameters - The parameters of the function.
73
+ * @returns - The user-friendly function signature.
74
+ */
75
+ export function decodeFunctionSignatureWithParameterNames(name: string, parameters: ABIParameter[]) {
76
+ return new FunctionSignatureDecoder(name, parameters, true).decode();
77
+ }
package/src/abi/index.ts CHANGED
@@ -1,6 +1,7 @@
1
1
  export * from './abi.js';
2
2
  export * from './buffer.js';
3
3
  export * from './decoder.js';
4
+ export * from './function_signature_decoder.js';
4
5
  export * from './encoder.js';
5
6
  export * from './authorization_selector.js';
6
7
  export * from './event_metadata_definition.js';
@@ -4,7 +4,7 @@ import { bufferToHex } from '@aztec/foundation/string';
4
4
 
5
5
  import { inspect } from 'util';
6
6
 
7
- /** A selector is the first 4 bytes of the hash of a signature. */
7
+ /** A selector is the low 4 bytes of the poseidon2 hash of a signature. */
8
8
  export abstract class Selector {
9
9
  /** The size of the selector in bytes. */
10
10
  public static SIZE = 4;
package/src/abi/utils.ts CHANGED
@@ -81,6 +81,31 @@ export function isBoundedVecStruct(abiType: AbiType) {
81
81
  );
82
82
  }
83
83
 
84
+ /**
85
+ * Returns whether the ABI type is Noir's std::option::Option lowered to a struct.
86
+ * @param abiType - Type to check.
87
+ * @returns A boolean indicating whether the ABI type is an Option struct.
88
+ */
89
+ export function isOptionStruct(abiType: AbiType) {
90
+ return (
91
+ abiType.kind === 'struct' &&
92
+ abiType.path === 'std::option::Option' &&
93
+ abiType.fields.length === 2 &&
94
+ abiType.fields[0].name === '_is_some' &&
95
+ abiType.fields[1].name === '_value'
96
+ );
97
+ }
98
+
99
+ /**
100
+ * Returns whether `null` or `undefined` can be mapped to a valid ABI value for this type.
101
+ *
102
+ * @param abiType - Type to check.
103
+ * @returns A boolean indicating whether nullish values are valid shorthand for this ABI type.
104
+ */
105
+ export function canBeMappedFromNullOrUndefined(abiType: AbiType) {
106
+ return isOptionStruct(abiType);
107
+ }
108
+
84
109
  /**
85
110
  * Returns a bigint by parsing a serialized 2's complement signed int.
86
111
  * @param b - The signed int as a buffer
@@ -1,4 +1,4 @@
1
- import { GeneratorIndex } from '@aztec/constants';
1
+ import { DomainSeparator } from '@aztec/constants';
2
2
  import { poseidon2HashWithSeparator } from '@aztec/foundation/crypto/poseidon';
3
3
  import { Fr } from '@aztec/foundation/curves/bn254';
4
4
  import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
@@ -61,7 +61,7 @@ export class AuthWitness {
61
61
  * @returns The inner hash for the witness
62
62
  */
63
63
  export const computeInnerAuthWitHash = (args: Fr[]) => {
64
- return poseidon2HashWithSeparator(args, GeneratorIndex.AUTHWIT_INNER);
64
+ return poseidon2HashWithSeparator(args, DomainSeparator.AUTHWIT_INNER);
65
65
  };
66
66
 
67
67
  /**
@@ -77,5 +77,5 @@ export const computeInnerAuthWitHash = (args: Fr[]) => {
77
77
  * @returns The outer hash for the witness
78
78
  */
79
79
  export const computeOuterAuthWitHash = (consumer: AztecAddress, chainId: Fr, version: Fr, innerHash: Fr) => {
80
- return poseidon2HashWithSeparator([consumer.toField(), chainId, version, innerHash], GeneratorIndex.AUTHWIT_OUTER);
80
+ return poseidon2HashWithSeparator([consumer.toField(), chainId, version, innerHash], DomainSeparator.AUTHWIT_OUTER);
81
81
  };
@@ -88,11 +88,11 @@ export class AvmAccumulatedData {
88
88
  static fromBuffer(buffer: Buffer | BufferReader) {
89
89
  const reader = BufferReader.asReader(buffer);
90
90
  return new this(
91
- reader.readArray(MAX_NOTE_HASHES_PER_TX, Fr),
92
- reader.readArray(MAX_NULLIFIERS_PER_TX, Fr),
93
- reader.readArray(MAX_L2_TO_L1_MSGS_PER_TX, ScopedL2ToL1Message),
91
+ reader.readTuple(MAX_NOTE_HASHES_PER_TX, Fr),
92
+ reader.readTuple(MAX_NULLIFIERS_PER_TX, Fr),
93
+ reader.readTuple(MAX_L2_TO_L1_MSGS_PER_TX, ScopedL2ToL1Message),
94
94
  reader.readObject(FlatPublicLogs),
95
- reader.readArray(MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX, PublicDataWrite),
95
+ reader.readTuple(MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX, PublicDataWrite),
96
96
  );
97
97
  }
98
98
 
@@ -115,9 +115,9 @@ export class AvmAccumulatedData {
115
115
  return new this(
116
116
  reader.readFieldArray(MAX_NOTE_HASHES_PER_TX),
117
117
  reader.readFieldArray(MAX_NULLIFIERS_PER_TX),
118
- reader.readArray(MAX_L2_TO_L1_MSGS_PER_TX, ScopedL2ToL1Message),
118
+ reader.readTuple(MAX_L2_TO_L1_MSGS_PER_TX, ScopedL2ToL1Message),
119
119
  reader.readObject(FlatPublicLogs),
120
- reader.readArray(MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX, PublicDataWrite),
120
+ reader.readTuple(MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX, PublicDataWrite),
121
121
  );
122
122
  }
123
123
 
@@ -143,8 +143,8 @@ export class AvmCircuitPublicInputs {
143
143
  reader.readObject(AztecAddress),
144
144
  reader.readObject(Fr),
145
145
  reader.readObject(PublicCallRequestArrayLengths),
146
- reader.readArray(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest),
147
- reader.readArray(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest),
146
+ reader.readTuple(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest),
147
+ reader.readTuple(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest),
148
148
  reader.readObject(PublicCallRequest),
149
149
  reader.readObject(PrivateToAvmAccumulatedDataArrayLengths),
150
150
  reader.readObject(PrivateToAvmAccumulatedDataArrayLengths),
@@ -206,8 +206,8 @@ export class AvmCircuitPublicInputs {
206
206
  AztecAddress.fromFields(reader),
207
207
  reader.readField(),
208
208
  PublicCallRequestArrayLengths.fromFields(reader),
209
- reader.readArray(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest),
210
- reader.readArray(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest),
209
+ reader.readTuple(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest),
210
+ reader.readTuple(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest),
211
211
  PublicCallRequest.fromFields(reader),
212
212
  PrivateToAvmAccumulatedDataArrayLengths.fromFields(reader),
213
213
  PrivateToAvmAccumulatedDataArrayLengths.fromFields(reader),