@aztec/stdlib 0.0.1-commit.b655e406 → 0.0.1-commit.d3ec352c

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 (855) hide show
  1. package/dest/abi/abi.d.ts +92 -107
  2. package/dest/abi/abi.d.ts.map +1 -1
  3. package/dest/abi/abi.js +2 -2
  4. package/dest/abi/authorization_selector.d.ts +1 -1
  5. package/dest/abi/authorization_selector.d.ts.map +1 -1
  6. package/dest/abi/buffer.d.ts +1 -1
  7. package/dest/abi/contract_artifact.d.ts +1 -1
  8. package/dest/abi/contract_artifact.js +3 -3
  9. package/dest/abi/decoder.d.ts +1 -1
  10. package/dest/abi/decoder.d.ts.map +1 -1
  11. package/dest/abi/encoder.d.ts +1 -1
  12. package/dest/abi/event_metadata_definition.d.ts +1 -1
  13. package/dest/abi/event_selector.d.ts +1 -1
  14. package/dest/abi/event_selector.d.ts.map +1 -1
  15. package/dest/abi/function_call.d.ts +1 -9
  16. package/dest/abi/function_call.d.ts.map +1 -1
  17. package/dest/abi/function_selector.d.ts +1 -1
  18. package/dest/abi/function_selector.d.ts.map +1 -1
  19. package/dest/abi/index.d.ts +1 -1
  20. package/dest/abi/mocked_keys.d.ts +1 -1
  21. package/dest/abi/note_selector.d.ts +1 -1
  22. package/dest/abi/note_selector.d.ts.map +1 -1
  23. package/dest/abi/selector.d.ts +1 -1
  24. package/dest/abi/selector.d.ts.map +1 -1
  25. package/dest/abi/utils.d.ts +1 -1
  26. package/dest/auth_witness/auth_witness.d.ts +1 -2
  27. package/dest/auth_witness/auth_witness.d.ts.map +1 -1
  28. package/dest/auth_witness/index.d.ts +1 -1
  29. package/dest/avm/avm.d.ts +4356 -2061
  30. package/dest/avm/avm.d.ts.map +1 -1
  31. package/dest/avm/avm.js +529 -16
  32. package/dest/avm/avm_accumulated_data.d.ts +25 -36
  33. package/dest/avm/avm_accumulated_data.d.ts.map +1 -1
  34. package/dest/avm/avm_accumulated_data.js +18 -0
  35. package/dest/avm/avm_circuit_public_inputs.d.ts +160 -148
  36. package/dest/avm/avm_circuit_public_inputs.d.ts.map +1 -1
  37. package/dest/avm/avm_circuit_public_inputs.js +9 -0
  38. package/dest/avm/avm_proving_request.d.ts +2031 -1507
  39. package/dest/avm/avm_proving_request.d.ts.map +1 -1
  40. package/dest/avm/contract_storage_read.d.ts +1 -13
  41. package/dest/avm/contract_storage_read.d.ts.map +1 -1
  42. package/dest/avm/contract_storage_update_request.d.ts +1 -13
  43. package/dest/avm/contract_storage_update_request.d.ts.map +1 -1
  44. package/dest/avm/index.d.ts +1 -1
  45. package/dest/avm/message_pack.d.ts +2 -2
  46. package/dest/avm/message_pack.d.ts.map +1 -1
  47. package/dest/avm/message_pack.js +3 -0
  48. package/dest/avm/public_call_stack_item_compressed.d.ts +1 -3
  49. package/dest/avm/public_call_stack_item_compressed.d.ts.map +1 -1
  50. package/dest/avm/public_data_read.d.ts +1 -10
  51. package/dest/avm/public_data_read.d.ts.map +1 -1
  52. package/dest/avm/public_data_update_request.d.ts +1 -10
  53. package/dest/avm/public_data_update_request.d.ts.map +1 -1
  54. package/dest/avm/public_data_write.d.ts +13 -11
  55. package/dest/avm/public_data_write.d.ts.map +1 -1
  56. package/dest/avm/public_data_write.js +9 -0
  57. package/dest/avm/public_inner_call_request.d.ts +1 -4
  58. package/dest/avm/public_inner_call_request.d.ts.map +1 -1
  59. package/dest/avm/revert_code.d.ts +16 -7
  60. package/dest/avm/revert_code.d.ts.map +1 -1
  61. package/dest/avm/revert_code.js +24 -8
  62. package/dest/aztec-address/index.d.ts +10 -1
  63. package/dest/aztec-address/index.d.ts.map +1 -1
  64. package/dest/aztec-address/index.js +24 -2
  65. package/dest/block/attestation_info.d.ts +3 -1
  66. package/dest/block/attestation_info.d.ts.map +1 -1
  67. package/dest/block/attestation_info.js +4 -1
  68. package/dest/block/block_hash.d.ts +1 -1
  69. package/dest/block/block_hash.d.ts.map +1 -1
  70. package/dest/block/block_parameter.d.ts +5 -0
  71. package/dest/block/block_parameter.d.ts.map +1 -0
  72. package/dest/block/block_parameter.js +6 -0
  73. package/dest/block/body.d.ts +8 -8
  74. package/dest/block/body.d.ts.map +1 -1
  75. package/dest/block/body.js +11 -27
  76. package/dest/block/in_block.d.ts +14 -19
  77. package/dest/block/in_block.d.ts.map +1 -1
  78. package/dest/block/in_block.js +3 -3
  79. package/dest/block/index.d.ts +3 -2
  80. package/dest/block/index.d.ts.map +1 -1
  81. package/dest/block/index.js +2 -1
  82. package/dest/block/l2_block.d.ts +18 -10
  83. package/dest/block/l2_block.d.ts.map +1 -1
  84. package/dest/block/l2_block.js +56 -5
  85. package/dest/block/l2_block_code_to_purge.d.ts +1 -1
  86. package/dest/block/l2_block_code_to_purge.d.ts.map +1 -1
  87. package/dest/block/l2_block_code_to_purge.js +6 -5
  88. package/dest/block/l2_block_header.d.ts +12 -14
  89. package/dest/block/l2_block_header.d.ts.map +1 -1
  90. package/dest/block/l2_block_header.js +18 -11
  91. package/dest/block/l2_block_info.d.ts +21 -16
  92. package/dest/block/l2_block_info.d.ts.map +1 -1
  93. package/dest/block/l2_block_info.js +7 -6
  94. package/dest/block/l2_block_new.d.ts +110 -0
  95. package/dest/block/l2_block_new.d.ts.map +1 -0
  96. package/dest/block/l2_block_new.js +138 -0
  97. package/dest/block/l2_block_source.d.ts +71 -104
  98. package/dest/block/l2_block_source.d.ts.map +1 -1
  99. package/dest/block/l2_block_source.js +5 -11
  100. package/dest/block/l2_block_stream/index.d.ts +1 -1
  101. package/dest/block/l2_block_stream/interfaces.d.ts +1 -1
  102. package/dest/block/l2_block_stream/l2_block_stream.d.ts +1 -6
  103. package/dest/block/l2_block_stream/l2_block_stream.d.ts.map +1 -1
  104. package/dest/block/l2_block_stream/l2_block_stream.js +4 -3
  105. package/dest/block/l2_block_stream/l2_tips_memory_store.d.ts +3 -2
  106. package/dest/block/l2_block_stream/l2_tips_memory_store.d.ts.map +1 -1
  107. package/dest/block/l2_block_stream/l2_tips_memory_store.js +4 -2
  108. package/dest/block/proposal/attestations_and_signers.d.ts +16 -5
  109. package/dest/block/proposal/attestations_and_signers.d.ts.map +1 -1
  110. package/dest/block/proposal/attestations_and_signers.js +14 -0
  111. package/dest/block/proposal/committee_attestation.d.ts +1 -1
  112. package/dest/block/proposal/committee_attestation.d.ts.map +1 -1
  113. package/dest/block/proposal/index.d.ts +1 -1
  114. package/dest/block/published_l2_block.d.ts +15 -28
  115. package/dest/block/published_l2_block.d.ts.map +1 -1
  116. package/dest/block/published_l2_block.js +12 -27
  117. package/dest/block/test/index.d.ts +1 -1
  118. package/dest/block/test/l2_tips_store_test_suite.d.ts +1 -1
  119. package/dest/block/test/l2_tips_store_test_suite.d.ts.map +1 -1
  120. package/dest/block/test/l2_tips_store_test_suite.js +6 -4
  121. package/dest/block/validate_block_result.d.ts +6 -178
  122. package/dest/block/validate_block_result.d.ts.map +1 -1
  123. package/dest/block/validate_block_result.js +4 -3
  124. package/dest/checkpoint/checkpoint.d.ts +124 -0
  125. package/dest/checkpoint/checkpoint.d.ts.map +1 -0
  126. package/dest/checkpoint/checkpoint.js +62 -0
  127. package/dest/checkpoint/index.d.ts +3 -2
  128. package/dest/checkpoint/index.d.ts.map +1 -1
  129. package/dest/checkpoint/index.js +2 -1
  130. package/dest/checkpoint/published_checkpoint.d.ts +214 -0
  131. package/dest/checkpoint/published_checkpoint.d.ts.map +1 -0
  132. package/dest/checkpoint/published_checkpoint.js +71 -0
  133. package/dest/config/chain-config.d.ts +1 -1
  134. package/dest/config/index.d.ts +1 -1
  135. package/dest/config/node-rpc-config.d.ts +1 -1
  136. package/dest/contract/artifact_hash.d.ts +2 -2
  137. package/dest/contract/artifact_hash.d.ts.map +1 -1
  138. package/dest/contract/complete_address.d.ts +1 -4
  139. package/dest/contract/complete_address.d.ts.map +1 -1
  140. package/dest/contract/contract_address.d.ts +1 -1
  141. package/dest/contract/contract_class.d.ts +1 -1
  142. package/dest/contract/contract_class_id.d.ts +1 -1
  143. package/dest/contract/contract_class_metadata.d.ts +1 -1
  144. package/dest/contract/contract_deployment_data.d.ts +119 -0
  145. package/dest/contract/contract_deployment_data.d.ts.map +1 -0
  146. package/dest/contract/contract_deployment_data.js +99 -0
  147. package/dest/contract/contract_function_dao.d.ts +1 -1
  148. package/dest/contract/contract_instance.d.ts +1 -1
  149. package/dest/contract/contract_instance.d.ts.map +1 -1
  150. package/dest/contract/contract_instance_update.d.ts +1 -1
  151. package/dest/contract/contract_instance_update.d.ts.map +1 -1
  152. package/dest/contract/contract_metadata.d.ts +1 -1
  153. package/dest/contract/deployment_info.d.ts +1 -1
  154. package/dest/contract/index.d.ts +2 -1
  155. package/dest/contract/index.d.ts.map +1 -1
  156. package/dest/contract/index.js +1 -0
  157. package/dest/contract/interfaces/contract_class.d.ts +41 -122
  158. package/dest/contract/interfaces/contract_class.d.ts.map +1 -1
  159. package/dest/contract/interfaces/contract_data_source.d.ts +3 -2
  160. package/dest/contract/interfaces/contract_data_source.d.ts.map +1 -1
  161. package/dest/contract/interfaces/contract_instance.d.ts +11 -11
  162. package/dest/contract/interfaces/contract_instance.d.ts.map +1 -1
  163. package/dest/contract/interfaces/contract_instance_update.d.ts +3 -3
  164. package/dest/contract/interfaces/index.d.ts +1 -1
  165. package/dest/contract/interfaces/node-info.d.ts +1 -1
  166. package/dest/contract/interfaces/protocol_contract_addresses.d.ts +1 -1
  167. package/dest/contract/partial_address.d.ts +1 -1
  168. package/dest/contract/private_function.d.ts +1 -1
  169. package/dest/contract/private_function_membership_proof.d.ts +2 -2
  170. package/dest/contract/private_function_membership_proof.js +1 -1
  171. package/dest/contract/utility_function_membership_proof.d.ts +1 -1
  172. package/dest/database-version/index.d.ts +1 -1
  173. package/dest/database-version/version_manager.d.ts +6 -8
  174. package/dest/database-version/version_manager.d.ts.map +1 -1
  175. package/dest/delayed_public_mutable/delayed_public_mutable_values.d.ts +1 -1
  176. package/dest/delayed_public_mutable/delayed_public_mutable_values.d.ts.map +1 -1
  177. package/dest/delayed_public_mutable/delayed_public_mutable_values_with_hash.d.ts +1 -1
  178. package/dest/delayed_public_mutable/delayed_public_mutable_values_with_hash.d.ts.map +1 -1
  179. package/dest/delayed_public_mutable/index.d.ts +1 -1
  180. package/dest/delayed_public_mutable/scheduled_delay_change.d.ts +1 -1
  181. package/dest/delayed_public_mutable/scheduled_delay_change.d.ts.map +1 -1
  182. package/dest/delayed_public_mutable/scheduled_value_change.d.ts +1 -1
  183. package/dest/delayed_public_mutable/scheduled_value_change.d.ts.map +1 -1
  184. package/dest/epoch-helpers/index.d.ts +12 -11
  185. package/dest/epoch-helpers/index.d.ts.map +1 -1
  186. package/dest/epoch-helpers/index.js +10 -9
  187. package/dest/errors/index.d.ts +1 -1
  188. package/dest/errors/proving_error.d.ts +2 -2
  189. package/dest/errors/proving_error.d.ts.map +1 -1
  190. package/dest/errors/simulation_error.d.ts +1 -1
  191. package/dest/errors/simulation_error.d.ts.map +1 -1
  192. package/dest/fees/index.d.ts +1 -1
  193. package/dest/fees/transaction_fee.d.ts +1 -1
  194. package/dest/file-store/factory.d.ts +1 -1
  195. package/dest/file-store/gcs.d.ts +1 -1
  196. package/dest/file-store/gcs.d.ts.map +1 -1
  197. package/dest/file-store/http.d.ts +1 -1
  198. package/dest/file-store/http.d.ts.map +1 -1
  199. package/dest/file-store/http.js +8 -3
  200. package/dest/file-store/index.d.ts +1 -1
  201. package/dest/file-store/interface.d.ts +1 -1
  202. package/dest/file-store/local.d.ts +1 -1
  203. package/dest/file-store/local.d.ts.map +1 -1
  204. package/dest/file-store/s3.d.ts +1 -1
  205. package/dest/file-store/s3.d.ts.map +1 -1
  206. package/dest/file-store/s3.js +3 -7
  207. package/dest/gas/gas.d.ts +9 -1
  208. package/dest/gas/gas.d.ts.map +1 -1
  209. package/dest/gas/gas.js +12 -0
  210. package/dest/gas/gas_fees.d.ts +9 -1
  211. package/dest/gas/gas_fees.d.ts.map +1 -1
  212. package/dest/gas/gas_fees.js +12 -0
  213. package/dest/gas/gas_settings.d.ts +9 -1
  214. package/dest/gas/gas_settings.d.ts.map +1 -1
  215. package/dest/gas/gas_settings.js +12 -0
  216. package/dest/gas/gas_used.d.ts +13 -2
  217. package/dest/gas/gas_used.d.ts.map +1 -1
  218. package/dest/gas/gas_used.js +19 -1
  219. package/dest/gas/index.d.ts +1 -1
  220. package/dest/hash/hash.d.ts +11 -3
  221. package/dest/hash/hash.d.ts.map +1 -1
  222. package/dest/hash/hash.js +11 -1
  223. package/dest/hash/index.d.ts +1 -1
  224. package/dest/hash/map_slot.d.ts +1 -1
  225. package/dest/interfaces/allowed_element.d.ts +5 -5
  226. package/dest/interfaces/api_limit.d.ts +1 -1
  227. package/dest/interfaces/archiver.d.ts +6 -1
  228. package/dest/interfaces/archiver.d.ts.map +1 -1
  229. package/dest/interfaces/archiver.js +22 -14
  230. package/dest/interfaces/aztec-node-admin.d.ts +92 -85
  231. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  232. package/dest/interfaces/aztec-node.d.ts +30 -24
  233. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  234. package/dest/interfaces/aztec-node.js +26 -24
  235. package/dest/interfaces/block-builder.d.ts +3 -2
  236. package/dest/interfaces/block-builder.d.ts.map +1 -1
  237. package/dest/interfaces/client.d.ts +1 -1
  238. package/dest/interfaces/configs.d.ts +31 -21
  239. package/dest/interfaces/configs.d.ts.map +1 -1
  240. package/dest/interfaces/configs.js +3 -1
  241. package/dest/interfaces/epoch-prover.d.ts +7 -7
  242. package/dest/interfaces/epoch-prover.d.ts.map +1 -1
  243. package/dest/interfaces/get_logs_response.d.ts +6 -4
  244. package/dest/interfaces/get_logs_response.d.ts.map +1 -1
  245. package/dest/interfaces/l2_logs_source.d.ts +4 -3
  246. package/dest/interfaces/l2_logs_source.d.ts.map +1 -1
  247. package/dest/interfaces/merkle_tree_operations.d.ts +5 -4
  248. package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
  249. package/dest/interfaces/p2p-bootstrap.d.ts +1 -1
  250. package/dest/interfaces/p2p.d.ts +3 -2
  251. package/dest/interfaces/p2p.d.ts.map +1 -1
  252. package/dest/interfaces/p2p.js +1 -1
  253. package/dest/interfaces/private_kernel_prover.d.ts +1 -1
  254. package/dest/interfaces/processed-tx-handler.d.ts +1 -1
  255. package/dest/interfaces/prover-agent.d.ts +1 -1
  256. package/dest/interfaces/prover-broker.d.ts +1 -1
  257. package/dest/interfaces/prover-client.d.ts +5 -5
  258. package/dest/interfaces/prover-client.d.ts.map +1 -1
  259. package/dest/interfaces/prover-coordination.d.ts +1 -1
  260. package/dest/interfaces/prover-node.d.ts +1 -1
  261. package/dest/interfaces/proving-job-source.d.ts +1 -1
  262. package/dest/interfaces/proving-job.d.ts +1680 -1163
  263. package/dest/interfaces/proving-job.d.ts.map +1 -1
  264. package/dest/interfaces/proving-job.js +3 -2
  265. package/dest/interfaces/public_state_source.d.ts +1 -1
  266. package/dest/interfaces/server.d.ts +1 -1
  267. package/dest/interfaces/server_circuit_prover.d.ts +2 -3
  268. package/dest/interfaces/server_circuit_prover.d.ts.map +1 -1
  269. package/dest/interfaces/service.d.ts +1 -1
  270. package/dest/interfaces/slasher.d.ts +3 -3
  271. package/dest/interfaces/tx_provider.d.ts +3 -3
  272. package/dest/interfaces/tx_provider.d.ts.map +1 -1
  273. package/dest/interfaces/validator.d.ts +27 -19
  274. package/dest/interfaces/validator.d.ts.map +1 -1
  275. package/dest/interfaces/validator.js +2 -1
  276. package/dest/interfaces/world_state.d.ts +9 -26
  277. package/dest/interfaces/world_state.d.ts.map +1 -1
  278. package/dest/interfaces/world_state.js +4 -3
  279. package/dest/kernel/claimed_length_array.d.ts +1 -1
  280. package/dest/kernel/claimed_length_array.d.ts.map +1 -1
  281. package/dest/kernel/hiding_kernel_private_inputs.d.ts +1 -1
  282. package/dest/kernel/hiding_kernel_private_inputs.d.ts.map +1 -1
  283. package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts +1 -1
  284. package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts +1 -1
  285. package/dest/kernel/hints/build_transient_data_hints.d.ts +2 -2
  286. package/dest/kernel/hints/build_transient_data_hints.d.ts.map +1 -1
  287. package/dest/kernel/hints/build_transient_data_hints.js +2 -2
  288. package/dest/kernel/hints/find_private_kernel_reset_dimensions.d.ts +1 -1
  289. package/dest/kernel/hints/index.d.ts +1 -1
  290. package/dest/kernel/hints/key_validation_hint.d.ts +1 -2
  291. package/dest/kernel/hints/key_validation_hint.d.ts.map +1 -1
  292. package/dest/kernel/hints/key_validation_request.d.ts +1 -2
  293. package/dest/kernel/hints/key_validation_request.d.ts.map +1 -1
  294. package/dest/kernel/hints/key_validation_request_and_generator.d.ts +1 -6
  295. package/dest/kernel/hints/key_validation_request_and_generator.d.ts.map +1 -1
  296. package/dest/kernel/hints/note_hash_read_request_hints.d.ts +1 -1
  297. package/dest/kernel/hints/note_hash_read_request_hints.d.ts.map +1 -1
  298. package/dest/kernel/hints/nullifier_read_request_hints.d.ts +1 -1
  299. package/dest/kernel/hints/nullifier_read_request_hints.d.ts.map +1 -1
  300. package/dest/kernel/hints/private_kernel_reset_hints.d.ts +2 -24
  301. package/dest/kernel/hints/private_kernel_reset_hints.d.ts.map +1 -1
  302. package/dest/kernel/hints/private_kernel_reset_hints.js +4 -9
  303. package/dest/kernel/hints/read_request.d.ts +1 -7
  304. package/dest/kernel/hints/read_request.d.ts.map +1 -1
  305. package/dest/kernel/hints/read_request_hints.d.ts +1 -7
  306. package/dest/kernel/hints/read_request_hints.d.ts.map +1 -1
  307. package/dest/kernel/hints/scoped_key_validation_request_and_generator.d.ts +1 -1
  308. package/dest/kernel/hints/scoped_key_validation_request_and_generator.d.ts.map +1 -1
  309. package/dest/kernel/hints/scoped_value_cache.d.ts +1 -1
  310. package/dest/kernel/hints/scoped_value_cache.d.ts.map +1 -1
  311. package/dest/kernel/hints/transient_data_squashing_hint.d.ts +1 -1
  312. package/dest/kernel/hints/transient_data_squashing_hint.d.ts.map +1 -1
  313. package/dest/kernel/hints/tree_leaf_read_request.d.ts +1 -1
  314. package/dest/kernel/hints/tree_leaf_read_request.d.ts.map +1 -1
  315. package/dest/kernel/index.d.ts +1 -1
  316. package/dest/kernel/log_hash.d.ts +1 -1
  317. package/dest/kernel/log_hash.d.ts.map +1 -1
  318. package/dest/kernel/note_hash.d.ts +1 -1
  319. package/dest/kernel/note_hash.d.ts.map +1 -1
  320. package/dest/kernel/nullifier.d.ts +1 -1
  321. package/dest/kernel/nullifier.d.ts.map +1 -1
  322. package/dest/kernel/padded_side_effects.d.ts +1 -1
  323. package/dest/kernel/padded_side_effects.d.ts.map +1 -1
  324. package/dest/kernel/private_accumulated_data.d.ts +1 -23
  325. package/dest/kernel/private_accumulated_data.d.ts.map +1 -1
  326. package/dest/kernel/private_call_data.d.ts +1 -25
  327. package/dest/kernel/private_call_data.d.ts.map +1 -1
  328. package/dest/kernel/private_call_request.d.ts +1 -16
  329. package/dest/kernel/private_call_request.d.ts.map +1 -1
  330. package/dest/kernel/private_circuit_public_inputs.d.ts +17 -74
  331. package/dest/kernel/private_circuit_public_inputs.d.ts.map +1 -1
  332. package/dest/kernel/private_circuit_public_inputs.js +17 -5
  333. package/dest/kernel/private_context_inputs.d.ts +1 -1
  334. package/dest/kernel/private_context_inputs.d.ts.map +1 -1
  335. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts +7 -29
  336. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts.map +1 -1
  337. package/dest/kernel/private_kernel_circuit_public_inputs.js +8 -4
  338. package/dest/kernel/private_kernel_data.d.ts +1 -7
  339. package/dest/kernel/private_kernel_data.d.ts.map +1 -1
  340. package/dest/kernel/private_kernel_data.js +0 -2
  341. package/dest/kernel/private_kernel_init_circuit_private_inputs.d.ts +7 -20
  342. package/dest/kernel/private_kernel_init_circuit_private_inputs.d.ts.map +1 -1
  343. package/dest/kernel/private_kernel_init_circuit_private_inputs.js +7 -3
  344. package/dest/kernel/private_kernel_inner_circuit_private_inputs.d.ts +1 -7
  345. package/dest/kernel/private_kernel_inner_circuit_private_inputs.d.ts.map +1 -1
  346. package/dest/kernel/private_kernel_prover_output.d.ts +10 -10
  347. package/dest/kernel/private_kernel_reset_circuit_private_inputs.d.ts +1 -4
  348. package/dest/kernel/private_kernel_reset_circuit_private_inputs.d.ts.map +1 -1
  349. package/dest/kernel/private_kernel_reset_dimensions.d.ts +1 -1
  350. package/dest/kernel/private_kernel_reset_dimensions.d.ts.map +1 -1
  351. package/dest/kernel/private_kernel_simulated_output.d.ts +1 -1
  352. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts +1 -10
  353. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts.map +1 -1
  354. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts +1 -23
  355. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts.map +1 -1
  356. package/dest/kernel/private_log_data.d.ts +1 -1
  357. package/dest/kernel/private_log_data.d.ts.map +1 -1
  358. package/dest/kernel/private_to_avm_accumulated_data.d.ts +17 -1
  359. package/dest/kernel/private_to_avm_accumulated_data.d.ts.map +1 -1
  360. package/dest/kernel/private_to_avm_accumulated_data.js +18 -0
  361. package/dest/kernel/private_to_public_accumulated_data.d.ts +1 -1
  362. package/dest/kernel/private_to_public_accumulated_data.d.ts.map +1 -1
  363. package/dest/kernel/private_to_public_accumulated_data_builder.d.ts +1 -1
  364. package/dest/kernel/private_to_public_accumulated_data_builder.d.ts.map +1 -1
  365. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts +1 -1
  366. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts.map +1 -1
  367. package/dest/kernel/private_to_rollup_accumulated_data.d.ts +1 -17
  368. package/dest/kernel/private_to_rollup_accumulated_data.d.ts.map +1 -1
  369. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.d.ts +1 -16
  370. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.d.ts.map +1 -1
  371. package/dest/kernel/private_validation_requests.d.ts +2 -24
  372. package/dest/kernel/private_validation_requests.d.ts.map +1 -1
  373. package/dest/kernel/private_validation_requests.js +5 -13
  374. package/dest/kernel/public_call_request.d.ts +22 -27
  375. package/dest/kernel/public_call_request.d.ts.map +1 -1
  376. package/dest/kernel/public_call_request.js +18 -0
  377. package/dest/kernel/utils/index.d.ts +1 -1
  378. package/dest/kernel/utils/interfaces.d.ts +1 -1
  379. package/dest/kernel/utils/optional_number.d.ts +1 -7
  380. package/dest/kernel/utils/optional_number.d.ts.map +1 -1
  381. package/dest/kernel/utils/order_and_comparison.d.ts +1 -1
  382. package/dest/keys/derivation.d.ts +1 -1
  383. package/dest/keys/index.d.ts +1 -1
  384. package/dest/keys/key_types.d.ts +1 -1
  385. package/dest/keys/public_key.d.ts +1 -1
  386. package/dest/keys/public_keys.d.ts +9 -5
  387. package/dest/keys/public_keys.d.ts.map +1 -1
  388. package/dest/keys/public_keys.js +12 -0
  389. package/dest/keys/utils.d.ts +1 -1
  390. package/dest/l1-contracts/index.d.ts +1 -1
  391. package/dest/l1-contracts/slash_factory.d.ts +3 -3
  392. package/dest/l1-contracts/slash_factory.d.ts.map +1 -1
  393. package/dest/logs/contract_class_log.d.ts +20 -4
  394. package/dest/logs/contract_class_log.d.ts.map +1 -1
  395. package/dest/logs/contract_class_log.js +24 -0
  396. package/dest/logs/debug_log.d.ts +10 -2
  397. package/dest/logs/debug_log.d.ts.map +1 -1
  398. package/dest/logs/debug_log.js +13 -0
  399. package/dest/logs/directional_app_tagging_secret.d.ts +1 -1
  400. package/dest/logs/directional_app_tagging_secret.d.ts.map +1 -1
  401. package/dest/logs/extended_contract_class_log.d.ts +1 -3
  402. package/dest/logs/extended_contract_class_log.d.ts.map +1 -1
  403. package/dest/logs/extended_public_log.d.ts +7 -7
  404. package/dest/logs/extended_public_log.d.ts.map +1 -1
  405. package/dest/logs/index.d.ts +1 -1
  406. package/dest/logs/log_filter.d.ts +1 -1
  407. package/dest/logs/log_id.d.ts +8 -8
  408. package/dest/logs/log_id.d.ts.map +1 -1
  409. package/dest/logs/log_id.js +5 -4
  410. package/dest/logs/log_with_tx_data.d.ts +1 -1
  411. package/dest/logs/log_with_tx_data.d.ts.map +1 -1
  412. package/dest/logs/message_context.d.ts +1 -1
  413. package/dest/logs/message_context.d.ts.map +1 -1
  414. package/dest/logs/pending_tagged_log.d.ts +1 -1
  415. package/dest/logs/pending_tagged_log.d.ts.map +1 -1
  416. package/dest/logs/pre_tag.d.ts +1 -1
  417. package/dest/logs/private_log.d.ts +10 -2
  418. package/dest/logs/private_log.d.ts.map +1 -1
  419. package/dest/logs/private_log.js +14 -5
  420. package/dest/logs/public_log.d.ts +9 -1
  421. package/dest/logs/public_log.d.ts.map +1 -1
  422. package/dest/logs/public_log.js +9 -0
  423. package/dest/logs/shared_secret_derivation.d.ts +1 -1
  424. package/dest/logs/tx_scoped_l2_log.d.ts +14 -11
  425. package/dest/logs/tx_scoped_l2_log.d.ts.map +1 -1
  426. package/dest/logs/tx_scoped_l2_log.js +4 -3
  427. package/dest/messaging/in_hash.d.ts +4 -0
  428. package/dest/messaging/in_hash.d.ts.map +1 -0
  429. package/dest/messaging/in_hash.js +8 -0
  430. package/dest/messaging/inbox_leaf.d.ts +1 -3
  431. package/dest/messaging/inbox_leaf.d.ts.map +1 -1
  432. package/dest/messaging/index.d.ts +3 -1
  433. package/dest/messaging/index.d.ts.map +1 -1
  434. package/dest/messaging/index.js +2 -0
  435. package/dest/messaging/l1_actor.d.ts +1 -7
  436. package/dest/messaging/l1_actor.d.ts.map +1 -1
  437. package/dest/messaging/l1_to_l2_message.d.ts +1 -6
  438. package/dest/messaging/l1_to_l2_message.d.ts.map +1 -1
  439. package/dest/messaging/l1_to_l2_message_source.d.ts +10 -3
  440. package/dest/messaging/l1_to_l2_message_source.d.ts.map +1 -1
  441. package/dest/messaging/l2_actor.d.ts +1 -7
  442. package/dest/messaging/l2_actor.d.ts.map +1 -1
  443. package/dest/messaging/l2_to_l1_membership.d.ts +4 -3
  444. package/dest/messaging/l2_to_l1_membership.d.ts.map +1 -1
  445. package/dest/messaging/l2_to_l1_membership.js +2 -2
  446. package/dest/messaging/l2_to_l1_message.d.ts +17 -1
  447. package/dest/messaging/l2_to_l1_message.d.ts.map +1 -1
  448. package/dest/messaging/l2_to_l1_message.js +18 -0
  449. package/dest/messaging/out_hash.d.ts +5 -0
  450. package/dest/messaging/out_hash.d.ts.map +1 -0
  451. package/dest/messaging/out_hash.js +28 -0
  452. package/dest/noir/index.d.ts +7 -7
  453. package/dest/noir/index.d.ts.map +1 -1
  454. package/dest/noir/index.js +6 -6
  455. package/dest/note/comparator.d.ts +1 -1
  456. package/dest/note/index.d.ts +2 -2
  457. package/dest/note/index.d.ts.map +1 -1
  458. package/dest/note/index.js +1 -1
  459. package/dest/note/note.d.ts +2 -17
  460. package/dest/note/note.d.ts.map +1 -1
  461. package/dest/note/note_dao.d.ts +75 -0
  462. package/dest/note/note_dao.d.ts.map +1 -0
  463. package/dest/note/note_dao.js +106 -0
  464. package/dest/note/note_status.d.ts +1 -1
  465. package/dest/note/notes_filter.d.ts +3 -1
  466. package/dest/note/notes_filter.d.ts.map +1 -1
  467. package/dest/note/notes_filter.js +1 -0
  468. package/dest/p2p/attestation_utils.d.ts +1 -1
  469. package/dest/p2p/block_attestation.d.ts +5 -12
  470. package/dest/p2p/block_attestation.d.ts.map +1 -1
  471. package/dest/p2p/block_proposal.d.ts +3 -6
  472. package/dest/p2p/block_proposal.d.ts.map +1 -1
  473. package/dest/p2p/block_proposal.js +1 -1
  474. package/dest/p2p/client_type.d.ts +1 -1
  475. package/dest/p2p/consensus_payload.d.ts +10 -188
  476. package/dest/p2p/consensus_payload.d.ts.map +1 -1
  477. package/dest/p2p/consensus_payload.js +16 -23
  478. package/dest/p2p/gossipable.d.ts +6 -5
  479. package/dest/p2p/gossipable.d.ts.map +1 -1
  480. package/dest/p2p/gossipable.js +16 -10
  481. package/dest/p2p/index.d.ts +1 -1
  482. package/dest/p2p/interface.d.ts +1 -1
  483. package/dest/p2p/message_validator.d.ts +1 -1
  484. package/dest/p2p/peer_error.d.ts +1 -1
  485. package/dest/p2p/signature_utils.d.ts +1 -1
  486. package/dest/p2p/topic_type.d.ts +1 -1
  487. package/dest/parity/index.d.ts +1 -1
  488. package/dest/parity/parity_base_private_inputs.d.ts +1 -3
  489. package/dest/parity/parity_base_private_inputs.d.ts.map +1 -1
  490. package/dest/parity/parity_public_inputs.d.ts +1 -4
  491. package/dest/parity/parity_public_inputs.d.ts.map +1 -1
  492. package/dest/parity/parity_root_private_inputs.d.ts +1 -2
  493. package/dest/parity/parity_root_private_inputs.d.ts.map +1 -1
  494. package/dest/proofs/chonk_proof.d.ts +1 -1
  495. package/dest/proofs/chonk_proof.d.ts.map +1 -1
  496. package/dest/proofs/index.d.ts +1 -1
  497. package/dest/proofs/proof.d.ts +1 -4
  498. package/dest/proofs/proof.d.ts.map +1 -1
  499. package/dest/proofs/proof_data.d.ts +1 -1
  500. package/dest/proofs/proof_data.d.ts.map +1 -1
  501. package/dest/proofs/proving_request_type.d.ts +1 -1
  502. package/dest/proofs/recursive_proof.d.ts +2 -26
  503. package/dest/proofs/recursive_proof.d.ts.map +1 -1
  504. package/dest/rollup/avm_proof_data.d.ts +1 -1
  505. package/dest/rollup/base_rollup_hints.d.ts +1 -34
  506. package/dest/rollup/base_rollup_hints.d.ts.map +1 -1
  507. package/dest/rollup/block_constant_data.d.ts +1 -12
  508. package/dest/rollup/block_constant_data.d.ts.map +1 -1
  509. package/dest/rollup/block_headers_hash.d.ts +4 -0
  510. package/dest/rollup/block_headers_hash.d.ts.map +1 -0
  511. package/dest/rollup/block_headers_hash.js +9 -0
  512. package/dest/rollup/block_merge_rollup_private_inputs.d.ts +1 -4
  513. package/dest/rollup/block_merge_rollup_private_inputs.d.ts.map +1 -1
  514. package/dest/rollup/block_rollup_public_inputs.d.ts +8 -40
  515. package/dest/rollup/block_rollup_public_inputs.d.ts.map +1 -1
  516. package/dest/rollup/block_rollup_public_inputs.js +8 -2
  517. package/dest/rollup/block_root_rollup_private_inputs.d.ts +2 -76
  518. package/dest/rollup/block_root_rollup_private_inputs.d.ts.map +1 -1
  519. package/dest/rollup/block_root_rollup_private_inputs.js +1 -9
  520. package/dest/rollup/checkpoint_constant_data.d.ts +26 -13
  521. package/dest/rollup/checkpoint_constant_data.d.ts.map +1 -1
  522. package/dest/rollup/checkpoint_constant_data.js +27 -3
  523. package/dest/rollup/checkpoint_header.d.ts +16 -14
  524. package/dest/rollup/checkpoint_header.d.ts.map +1 -1
  525. package/dest/rollup/checkpoint_header.js +40 -13
  526. package/dest/rollup/checkpoint_merge_rollup_private_inputs.d.ts +1 -4
  527. package/dest/rollup/checkpoint_merge_rollup_private_inputs.d.ts.map +1 -1
  528. package/dest/rollup/checkpoint_rollup_public_inputs.d.ts +1 -25
  529. package/dest/rollup/checkpoint_rollup_public_inputs.d.ts.map +1 -1
  530. package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts +5 -29
  531. package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts.map +1 -1
  532. package/dest/rollup/checkpoint_root_rollup_private_inputs.js +4 -4
  533. package/dest/rollup/epoch_constant_data.d.ts +1 -16
  534. package/dest/rollup/epoch_constant_data.d.ts.map +1 -1
  535. package/dest/rollup/index.d.ts +2 -1
  536. package/dest/rollup/index.d.ts.map +1 -1
  537. package/dest/rollup/index.js +1 -0
  538. package/dest/rollup/private_tx_base_rollup_private_inputs.d.ts +1 -1
  539. package/dest/rollup/private_tx_base_rollup_private_inputs.d.ts.map +1 -1
  540. package/dest/rollup/public_chonk_verifier_private_inputs.d.ts +1 -1
  541. package/dest/rollup/public_chonk_verifier_private_inputs.d.ts.map +1 -1
  542. package/dest/rollup/public_chonk_verifier_public_inputs.d.ts +1 -1
  543. package/dest/rollup/public_chonk_verifier_public_inputs.d.ts.map +1 -1
  544. package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts +1 -1
  545. package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts.map +1 -1
  546. package/dest/rollup/root_rollup_private_inputs.d.ts +1 -6
  547. package/dest/rollup/root_rollup_private_inputs.d.ts.map +1 -1
  548. package/dest/rollup/root_rollup_public_inputs.d.ts +1 -3
  549. package/dest/rollup/root_rollup_public_inputs.d.ts.map +1 -1
  550. package/dest/rollup/tree_snapshot_diff_hints.d.ts +1 -24
  551. package/dest/rollup/tree_snapshot_diff_hints.d.ts.map +1 -1
  552. package/dest/rollup/tx_merge_rollup_private_inputs.d.ts +1 -4
  553. package/dest/rollup/tx_merge_rollup_private_inputs.d.ts.map +1 -1
  554. package/dest/rollup/tx_rollup_public_inputs.d.ts +1 -29
  555. package/dest/rollup/tx_rollup_public_inputs.d.ts.map +1 -1
  556. package/dest/schemas/index.d.ts +1 -1
  557. package/dest/schemas/schemas.d.ts +86 -15
  558. package/dest/schemas/schemas.d.ts.map +1 -1
  559. package/dest/schemas/schemas.js +12 -1
  560. package/dest/slashing/empire.d.ts +1 -1
  561. package/dest/slashing/empire.d.ts.map +1 -1
  562. package/dest/slashing/empire.js +5 -4
  563. package/dest/slashing/helpers.d.ts +7 -6
  564. package/dest/slashing/helpers.d.ts.map +1 -1
  565. package/dest/slashing/helpers.js +8 -6
  566. package/dest/slashing/index.d.ts +1 -1
  567. package/dest/slashing/interfaces.d.ts +3 -2
  568. package/dest/slashing/interfaces.d.ts.map +1 -1
  569. package/dest/slashing/serialization.d.ts +1 -1
  570. package/dest/slashing/tally.d.ts +1 -1
  571. package/dest/slashing/types.d.ts +10 -10
  572. package/dest/snapshots/download.d.ts +1 -1
  573. package/dest/snapshots/index.d.ts +1 -1
  574. package/dest/snapshots/types.d.ts +18 -18
  575. package/dest/snapshots/upload.d.ts +1 -1
  576. package/dest/stats/index.d.ts +1 -1
  577. package/dest/stats/stats.d.ts +1 -1
  578. package/dest/tests/factories.d.ts +34 -29
  579. package/dest/tests/factories.d.ts.map +1 -1
  580. package/dest/tests/factories.js +76 -151
  581. package/dest/tests/fixtures.d.ts +1 -1
  582. package/dest/tests/index.d.ts +1 -1
  583. package/dest/tests/jest.d.ts +1 -1
  584. package/dest/tests/mocks.d.ts +54 -23
  585. package/dest/tests/mocks.d.ts.map +1 -1
  586. package/dest/tests/mocks.js +135 -34
  587. package/dest/trees/append_only_tree_snapshot.d.ts +9 -16
  588. package/dest/trees/append_only_tree_snapshot.d.ts.map +1 -1
  589. package/dest/trees/append_only_tree_snapshot.js +9 -9
  590. package/dest/trees/database_public_state_source.d.ts +1 -1
  591. package/dest/trees/database_public_state_source.d.ts.map +1 -1
  592. package/dest/trees/index.d.ts +1 -1
  593. package/dest/trees/merkle_tree_id.d.ts +5 -5
  594. package/dest/trees/merkle_tree_id.d.ts.map +1 -1
  595. package/dest/trees/nullifier_leaf.d.ts +17 -13
  596. package/dest/trees/nullifier_leaf.d.ts.map +1 -1
  597. package/dest/trees/nullifier_leaf.js +24 -0
  598. package/dest/trees/nullifier_membership_witness.d.ts +4 -37
  599. package/dest/trees/nullifier_membership_witness.d.ts.map +1 -1
  600. package/dest/trees/public_data_leaf.d.ts +28 -27
  601. package/dest/trees/public_data_leaf.d.ts.map +1 -1
  602. package/dest/trees/public_data_leaf.js +24 -0
  603. package/dest/trees/public_data_witness.d.ts +11 -45
  604. package/dest/trees/public_data_witness.d.ts.map +1 -1
  605. package/dest/tx/block_header.d.ts +7 -14
  606. package/dest/tx/block_header.d.ts.map +1 -1
  607. package/dest/tx/block_header.js +13 -2
  608. package/dest/tx/call_context.d.ts +6 -18
  609. package/dest/tx/call_context.d.ts.map +1 -1
  610. package/dest/tx/capsule.d.ts +1 -4
  611. package/dest/tx/capsule.d.ts.map +1 -1
  612. package/dest/tx/content_commitment.d.ts +3 -2
  613. package/dest/tx/content_commitment.d.ts.map +1 -1
  614. package/dest/tx/content_commitment.js +10 -2
  615. package/dest/tx/execution_payload.d.ts +37 -0
  616. package/dest/tx/execution_payload.d.ts.map +1 -0
  617. package/dest/tx/execution_payload.js +40 -0
  618. package/dest/tx/function_data.d.ts +4 -6
  619. package/dest/tx/function_data.d.ts.map +1 -1
  620. package/dest/tx/global_variable_builder.d.ts +3 -2
  621. package/dest/tx/global_variable_builder.d.ts.map +1 -1
  622. package/dest/tx/global_variables.d.ts +52 -31
  623. package/dest/tx/global_variables.d.ts.map +1 -1
  624. package/dest/tx/global_variables.js +50 -10
  625. package/dest/tx/hashed_values.d.ts +1 -7
  626. package/dest/tx/hashed_values.d.ts.map +1 -1
  627. package/dest/tx/index.d.ts +2 -1
  628. package/dest/tx/index.d.ts.map +1 -1
  629. package/dest/tx/index.js +1 -0
  630. package/dest/tx/indexed_tx_effect.d.ts +9 -6
  631. package/dest/tx/indexed_tx_effect.d.ts.map +1 -1
  632. package/dest/tx/indexed_tx_effect.js +5 -2
  633. package/dest/tx/offchain_effect.d.ts +1 -1
  634. package/dest/tx/partial_state_reference.d.ts +4 -7
  635. package/dest/tx/partial_state_reference.d.ts.map +1 -1
  636. package/dest/tx/partial_state_reference.js +10 -10
  637. package/dest/tx/private_execution_result.d.ts +16 -51
  638. package/dest/tx/private_execution_result.d.ts.map +1 -1
  639. package/dest/tx/private_execution_result.js +6 -3
  640. package/dest/tx/private_tx_constant_data.d.ts +1 -16
  641. package/dest/tx/private_tx_constant_data.d.ts.map +1 -1
  642. package/dest/tx/processed_tx.d.ts +2 -2
  643. package/dest/tx/processed_tx.d.ts.map +1 -1
  644. package/dest/tx/processed_tx.js +4 -1
  645. package/dest/tx/profiling.d.ts +38 -38
  646. package/dest/tx/profiling.d.ts.map +1 -1
  647. package/dest/tx/profiling.js +5 -4
  648. package/dest/tx/protocol_contracts.d.ts +10 -2
  649. package/dest/tx/protocol_contracts.d.ts.map +1 -1
  650. package/dest/tx/protocol_contracts.js +9 -0
  651. package/dest/tx/proven_tx.d.ts +18 -18
  652. package/dest/tx/proven_tx.d.ts.map +1 -1
  653. package/dest/tx/public_call_request_with_calldata.d.ts +9 -7
  654. package/dest/tx/public_call_request_with_calldata.d.ts.map +1 -1
  655. package/dest/tx/public_call_request_with_calldata.js +12 -0
  656. package/dest/tx/public_simulation_output.d.ts +3 -1
  657. package/dest/tx/public_simulation_output.d.ts.map +1 -1
  658. package/dest/tx/public_simulation_output.js +8 -1
  659. package/dest/tx/simulated_tx.d.ts +21 -21
  660. package/dest/tx/simulated_tx.d.ts.map +1 -1
  661. package/dest/tx/state_reference.d.ts +10 -12
  662. package/dest/tx/state_reference.d.ts.map +1 -1
  663. package/dest/tx/state_reference.js +9 -9
  664. package/dest/tx/tree_snapshots.d.ts +15 -7
  665. package/dest/tx/tree_snapshots.d.ts.map +1 -1
  666. package/dest/tx/tree_snapshots.js +9 -0
  667. package/dest/tx/tx.d.ts +4 -18
  668. package/dest/tx/tx.d.ts.map +1 -1
  669. package/dest/tx/tx.js +6 -4
  670. package/dest/tx/tx_constant_data.d.ts +1 -1
  671. package/dest/tx/tx_constant_data.d.ts.map +1 -1
  672. package/dest/tx/tx_context.d.ts +1 -2
  673. package/dest/tx/tx_context.d.ts.map +1 -1
  674. package/dest/tx/tx_effect.d.ts +20 -42
  675. package/dest/tx/tx_effect.d.ts.map +1 -1
  676. package/dest/tx/tx_effect.js +54 -59
  677. package/dest/tx/tx_execution_request.d.ts +1 -30
  678. package/dest/tx/tx_execution_request.d.ts.map +1 -1
  679. package/dest/tx/tx_hash.d.ts +1 -2
  680. package/dest/tx/tx_hash.d.ts.map +1 -1
  681. package/dest/tx/tx_receipt.d.ts +4 -9
  682. package/dest/tx/tx_receipt.d.ts.map +1 -1
  683. package/dest/tx/tx_receipt.js +2 -1
  684. package/dest/tx/tx_request.d.ts +1 -6
  685. package/dest/tx/tx_request.d.ts.map +1 -1
  686. package/dest/tx/validator/empty_validator.d.ts +1 -1
  687. package/dest/tx/validator/empty_validator.d.ts.map +1 -1
  688. package/dest/tx/validator/error_texts.d.ts +1 -1
  689. package/dest/tx/validator/tx_validator.d.ts +5 -5
  690. package/dest/types/index.d.ts +1 -1
  691. package/dest/types/shared.d.ts +1 -4
  692. package/dest/types/shared.d.ts.map +1 -1
  693. package/dest/update-checker/index.d.ts +1 -1
  694. package/dest/update-checker/update-checker.d.ts +2 -3
  695. package/dest/update-checker/update-checker.d.ts.map +1 -1
  696. package/dest/validators/errors.d.ts +6 -7
  697. package/dest/validators/errors.d.ts.map +1 -1
  698. package/dest/validators/errors.js +2 -4
  699. package/dest/validators/index.d.ts +1 -1
  700. package/dest/validators/schemas.d.ts +266 -208
  701. package/dest/validators/schemas.d.ts.map +1 -1
  702. package/dest/validators/schemas.js +7 -7
  703. package/dest/validators/types.d.ts +10 -9
  704. package/dest/validators/types.d.ts.map +1 -1
  705. package/dest/versioning/index.d.ts +1 -1
  706. package/dest/versioning/versioning.d.ts +1 -1
  707. package/dest/versioning/versioning.d.ts.map +1 -1
  708. package/dest/vks/index.d.ts +1 -1
  709. package/dest/vks/verification_key.d.ts +10 -22
  710. package/dest/vks/verification_key.d.ts.map +1 -1
  711. package/dest/vks/verification_key.js +20 -0
  712. package/dest/vks/vk_data.d.ts +1 -7
  713. package/dest/vks/vk_data.d.ts.map +1 -1
  714. package/dest/world-state/index.d.ts +1 -1
  715. package/dest/world-state/world_state_revision.d.ts +34 -2
  716. package/dest/world-state/world_state_revision.d.ts.map +1 -1
  717. package/dest/world-state/world_state_revision.js +24 -1
  718. package/dest/zkpassport/index.d.ts +1 -1
  719. package/dest/zkpassport/index.d.ts.map +1 -1
  720. package/package.json +12 -11
  721. package/src/abi/abi.ts +4 -4
  722. package/src/abi/contract_artifact.ts +3 -3
  723. package/src/avm/avm.ts +777 -6
  724. package/src/avm/avm_accumulated_data.ts +40 -0
  725. package/src/avm/avm_circuit_public_inputs.ts +40 -0
  726. package/src/avm/message_pack.ts +4 -1
  727. package/src/avm/public_data_write.ts +12 -1
  728. package/src/avm/revert_code.ts +29 -9
  729. package/src/aztec-address/index.ts +26 -2
  730. package/src/block/attestation_info.ts +8 -1
  731. package/src/block/block_parameter.ts +8 -0
  732. package/src/block/body.ts +16 -39
  733. package/src/block/in_block.ts +13 -9
  734. package/src/block/index.ts +2 -1
  735. package/src/block/l2_block.ts +70 -7
  736. package/src/block/l2_block_code_to_purge.ts +6 -4
  737. package/src/block/l2_block_header.ts +19 -5
  738. package/src/block/l2_block_info.ts +10 -9
  739. package/src/block/l2_block_new.ts +176 -0
  740. package/src/block/l2_block_source.ts +48 -29
  741. package/src/block/l2_block_stream/l2_block_stream.ts +10 -5
  742. package/src/block/l2_block_stream/l2_tips_memory_store.ts +5 -2
  743. package/src/block/proposal/attestations_and_signers.ts +20 -1
  744. package/src/block/published_l2_block.ts +14 -31
  745. package/src/block/test/l2_tips_store_test_suite.ts +8 -3
  746. package/src/block/validate_block_result.ts +9 -7
  747. package/src/checkpoint/checkpoint.ts +88 -0
  748. package/src/checkpoint/index.ts +2 -1
  749. package/src/checkpoint/published_checkpoint.ts +91 -0
  750. package/src/contract/contract_deployment_data.ts +125 -0
  751. package/src/contract/index.ts +1 -0
  752. package/src/contract/interfaces/contract_data_source.ts +2 -1
  753. package/src/contract/private_function_membership_proof.ts +1 -1
  754. package/src/epoch-helpers/index.ts +28 -21
  755. package/src/file-store/http.ts +6 -3
  756. package/src/file-store/s3.ts +3 -7
  757. package/src/gas/gas.ts +14 -0
  758. package/src/gas/gas_fees.ts +14 -0
  759. package/src/gas/gas_settings.ts +19 -0
  760. package/src/gas/gas_used.ts +22 -1
  761. package/src/hash/hash.ts +13 -2
  762. package/src/interfaces/archiver.ts +27 -13
  763. package/src/interfaces/aztec-node.ts +64 -48
  764. package/src/interfaces/block-builder.ts +2 -1
  765. package/src/interfaces/configs.ts +6 -0
  766. package/src/interfaces/epoch-prover.ts +5 -6
  767. package/src/interfaces/l2_logs_source.ts +3 -2
  768. package/src/interfaces/merkle_tree_operations.ts +4 -3
  769. package/src/interfaces/p2p.ts +4 -2
  770. package/src/interfaces/proving-job.ts +14 -5
  771. package/src/interfaces/tx_provider.ts +2 -2
  772. package/src/interfaces/validator.ts +5 -2
  773. package/src/interfaces/world_state.ts +12 -11
  774. package/src/kernel/hints/build_transient_data_hints.ts +2 -2
  775. package/src/kernel/hints/private_kernel_reset_hints.ts +0 -8
  776. package/src/kernel/private_circuit_public_inputs.ts +29 -9
  777. package/src/kernel/private_kernel_circuit_public_inputs.ts +7 -0
  778. package/src/kernel/private_kernel_data.ts +0 -2
  779. package/src/kernel/private_kernel_init_circuit_private_inputs.ts +6 -0
  780. package/src/kernel/private_to_avm_accumulated_data.ts +35 -0
  781. package/src/kernel/private_validation_requests.ts +1 -13
  782. package/src/kernel/public_call_request.ts +27 -0
  783. package/src/keys/public_keys.ts +19 -0
  784. package/src/logs/contract_class_log.ts +32 -0
  785. package/src/logs/debug_log.ts +20 -1
  786. package/src/logs/log_id.ts +6 -5
  787. package/src/logs/private_log.ts +19 -3
  788. package/src/logs/public_log.ts +14 -0
  789. package/src/logs/tx_scoped_l2_log.ts +5 -4
  790. package/src/messaging/in_hash.ts +10 -0
  791. package/src/messaging/index.ts +2 -0
  792. package/src/messaging/l1_to_l2_message_source.ts +10 -2
  793. package/src/messaging/l2_to_l1_membership.ts +5 -4
  794. package/src/messaging/l2_to_l1_message.ts +25 -0
  795. package/src/messaging/out_hash.ts +36 -0
  796. package/src/noir/index.ts +6 -6
  797. package/src/note/index.ts +1 -1
  798. package/src/note/note_dao.ts +161 -0
  799. package/src/note/notes_filter.ts +3 -0
  800. package/src/p2p/block_attestation.ts +2 -1
  801. package/src/p2p/block_proposal.ts +3 -2
  802. package/src/p2p/consensus_payload.ts +16 -26
  803. package/src/p2p/gossipable.ts +17 -8
  804. package/src/rollup/block_headers_hash.ts +12 -0
  805. package/src/rollup/block_rollup_public_inputs.ts +8 -0
  806. package/src/rollup/block_root_rollup_private_inputs.ts +0 -9
  807. package/src/rollup/checkpoint_constant_data.ts +43 -4
  808. package/src/rollup/checkpoint_header.ts +48 -22
  809. package/src/rollup/checkpoint_root_rollup_private_inputs.ts +5 -5
  810. package/src/rollup/index.ts +1 -0
  811. package/src/schemas/schemas.ts +18 -0
  812. package/src/slashing/empire.ts +6 -4
  813. package/src/slashing/helpers.ts +17 -12
  814. package/src/slashing/interfaces.ts +3 -1
  815. package/src/tests/factories.ts +213 -229
  816. package/src/tests/mocks.ts +230 -51
  817. package/src/trees/append_only_tree_snapshot.ts +11 -12
  818. package/src/trees/nullifier_leaf.ts +32 -0
  819. package/src/trees/public_data_leaf.ts +32 -0
  820. package/src/tx/block_header.ts +17 -4
  821. package/src/tx/content_commitment.ts +11 -2
  822. package/src/tx/execution_payload.ts +60 -0
  823. package/src/tx/global_variable_builder.ts +2 -1
  824. package/src/tx/global_variables.ts +69 -15
  825. package/src/tx/index.ts +1 -0
  826. package/src/tx/indexed_tx_effect.ts +5 -4
  827. package/src/tx/partial_state_reference.ts +9 -17
  828. package/src/tx/private_execution_result.ts +7 -4
  829. package/src/tx/processed_tx.ts +8 -2
  830. package/src/tx/profiling.ts +4 -6
  831. package/src/tx/protocol_contracts.ts +16 -0
  832. package/src/tx/public_call_request_with_calldata.ts +17 -0
  833. package/src/tx/public_simulation_output.ts +18 -1
  834. package/src/tx/state_reference.ts +9 -15
  835. package/src/tx/tree_snapshots.ts +16 -0
  836. package/src/tx/tx.ts +7 -6
  837. package/src/tx/tx_effect.ts +84 -90
  838. package/src/tx/tx_receipt.ts +3 -2
  839. package/src/validators/errors.ts +3 -4
  840. package/src/validators/schemas.ts +7 -7
  841. package/src/validators/types.ts +9 -8
  842. package/src/vks/verification_key.ts +25 -0
  843. package/src/world-state/world_state_revision.ts +47 -5
  844. package/dest/block/l2_block_number.d.ts +0 -5
  845. package/dest/block/l2_block_number.d.ts.map +0 -1
  846. package/dest/block/l2_block_number.js +0 -6
  847. package/dest/checkpoint/checkpoint_body.d.ts +0 -4
  848. package/dest/checkpoint/checkpoint_body.d.ts.map +0 -1
  849. package/dest/checkpoint/checkpoint_body.js +0 -9
  850. package/dest/note/unique_note.d.ts +0 -43
  851. package/dest/note/unique_note.d.ts.map +0 -1
  852. package/dest/note/unique_note.js +0 -67
  853. package/src/block/l2_block_number.ts +0 -8
  854. package/src/checkpoint/checkpoint_body.ts +0 -10
  855. package/src/note/unique_note.ts +0 -88
@@ -97,6 +97,22 @@ export class PublicCallRequest {
97
97
  return new PublicCallRequest(AztecAddress.ZERO, AztecAddress.ZERO, false, Fr.ZERO);
98
98
  }
99
99
 
100
+ /**
101
+ * Creates a PublicCallRequest instance from a plain object without Zod validation.
102
+ * This method is optimized for performance and skips validation, making it suitable
103
+ * for deserializing trusted data (e.g., from C++ via MessagePack).
104
+ * @param obj - Plain object containing PublicCallRequest fields
105
+ * @returns A PublicCallRequest instance
106
+ */
107
+ static fromPlainObject(obj: any): PublicCallRequest {
108
+ return new PublicCallRequest(
109
+ AztecAddress.fromPlainObject(obj.msgSender),
110
+ AztecAddress.fromPlainObject(obj.contractAddress),
111
+ obj.isStaticCall,
112
+ Fr.fromPlainObject(obj.calldataHash),
113
+ );
114
+ }
115
+
100
116
  isEmpty(): boolean {
101
117
  return (
102
118
  this.msgSender.isZero() && this.contractAddress.isZero() && !this.isStaticCall && this.calldataHash.isEmpty()
@@ -180,6 +196,17 @@ export class PublicCallRequestArrayLengths {
180
196
  return new PublicCallRequestArrayLengths(0, 0, false);
181
197
  }
182
198
 
199
+ /**
200
+ * Creates a PublicCallRequestArrayLengths instance from a plain object without Zod validation.
201
+ * This method is optimized for performance and skips validation, making it suitable
202
+ * for deserializing trusted data (e.g., from C++ via MessagePack).
203
+ * @param obj - Plain object containing PublicCallRequestArrayLengths fields
204
+ * @returns A PublicCallRequestArrayLengths instance
205
+ */
206
+ static fromPlainObject(obj: any): PublicCallRequestArrayLengths {
207
+ return new PublicCallRequestArrayLengths(obj.setupCalls, obj.appLogicCalls, obj.teardownCall);
208
+ }
209
+
183
210
  [inspect.custom]() {
184
211
  return `PublicCallRequestArrayLengths {
185
212
  setupCalls: ${this.setupCalls}
@@ -52,6 +52,25 @@ export class PublicKeys {
52
52
  );
53
53
  }
54
54
 
55
+ /**
56
+ * Creates a PublicKeys from a plain object without Zod validation.
57
+ * This method is optimized for performance and skips validation, making it suitable
58
+ * for deserializing trusted data (e.g., from C++ via MessagePack).
59
+ * @param obj - Plain object containing PublicKeys fields
60
+ * @returns A PublicKeys instance
61
+ */
62
+ static fromPlainObject(obj: any): PublicKeys {
63
+ if (obj instanceof PublicKeys) {
64
+ return obj;
65
+ }
66
+ return new PublicKeys(
67
+ Point.fromPlainObject(obj.masterNullifierPublicKey),
68
+ Point.fromPlainObject(obj.masterIncomingViewingPublicKey),
69
+ Point.fromPlainObject(obj.masterOutgoingViewingPublicKey),
70
+ Point.fromPlainObject(obj.masterTaggingPublicKey),
71
+ );
72
+ }
73
+
55
74
  hash() {
56
75
  return this.isEmpty()
57
76
  ? Fr.ZERO
@@ -29,6 +29,20 @@ export class ContractClassLogFields {
29
29
  .transform(({ fields }) => new ContractClassLogFields(fields));
30
30
  }
31
31
 
32
+ /**
33
+ * Creates a ContractClassLogFields from a plain object without Zod validation.
34
+ * This method is optimized for performance and skips validation, making it suitable
35
+ * for deserializing trusted data (e.g., from C++ via MessagePack).
36
+ * @param obj - Plain object containing ContractClassLogFields fields
37
+ * @returns A ContractClassLogFields instance
38
+ */
39
+ static fromPlainObject(obj: any): ContractClassLogFields {
40
+ if (obj instanceof ContractClassLogFields) {
41
+ return obj;
42
+ }
43
+ return new ContractClassLogFields(obj.fields.map((f: any) => Fr.fromPlainObject(f)));
44
+ }
45
+
32
46
  toFields(): Fr[] {
33
47
  return this.fields;
34
48
  }
@@ -191,6 +205,24 @@ export class ContractClassLog {
191
205
  .transform(ContractClassLog.from);
192
206
  }
193
207
 
208
+ /**
209
+ * Creates a ContractClassLog from a plain object without Zod validation.
210
+ * This method is optimized for performance and skips validation, making it suitable
211
+ * for deserializing trusted data (e.g., from C++ via MessagePack).
212
+ * @param obj - Plain object containing ContractClassLog fields
213
+ * @returns A ContractClassLog instance
214
+ */
215
+ static fromPlainObject(obj: any): ContractClassLog {
216
+ if (obj instanceof ContractClassLog) {
217
+ return obj;
218
+ }
219
+ return new ContractClassLog(
220
+ AztecAddress.fromPlainObject(obj.contractAddress),
221
+ ContractClassLogFields.fromPlainObject(obj.fields),
222
+ obj.emittedLength,
223
+ );
224
+ }
225
+
194
226
  [inspect.custom](): string {
195
227
  return `ContractClassLog {
196
228
  contractAddress: ${this.contractAddress.toString()},
@@ -1,4 +1,4 @@
1
- import type { Fr } from '@aztec/foundation/fields';
1
+ import { Fr } from '@aztec/foundation/fields';
2
2
  import { type LogLevel, LogLevels } from '@aztec/foundation/log';
3
3
  import { type ZodFor, schemas } from '@aztec/foundation/schemas';
4
4
 
@@ -29,4 +29,23 @@ export class DebugLog {
29
29
  ({ contractAddress, level, message, fields }) => new DebugLog(contractAddress, level, message, fields),
30
30
  );
31
31
  }
32
+
33
+ /**
34
+ * Creates a DebugLog from a plain object without Zod validation.
35
+ * This method is optimized for performance and skips validation, making it suitable
36
+ * for deserializing trusted data (e.g., from C++ via MessagePack).
37
+ * @param obj - Plain object containing DebugLog fields
38
+ * @returns A DebugLog instance
39
+ */
40
+ static fromPlainObject(obj: any): DebugLog {
41
+ if (obj instanceof DebugLog) {
42
+ return obj;
43
+ }
44
+ return new DebugLog(
45
+ AztecAddress.fromPlainObject(obj.contractAddress),
46
+ obj.level,
47
+ obj.message,
48
+ obj.fields.map((f: any) => Fr.fromPlainObject(f)),
49
+ );
50
+ }
32
51
  }
@@ -1,5 +1,6 @@
1
1
  import { INITIAL_L2_BLOCK_NUM } from '@aztec/constants';
2
2
  import { toBufferBE } from '@aztec/foundation/bigint-buffer';
3
+ import { BlockNumber, BlockNumberSchema } from '@aztec/foundation/branded-types';
3
4
  import { BufferReader } from '@aztec/foundation/serialize';
4
5
 
5
6
  import { z } from 'zod';
@@ -16,7 +17,7 @@ export class LogId {
16
17
  */
17
18
  constructor(
18
19
  /** The block number the log was emitted in. */
19
- public readonly blockNumber: number,
20
+ public readonly blockNumber: BlockNumber,
20
21
  /** The index of a tx in a block the log was emitted in. */
21
22
  public readonly txIndex: number,
22
23
  /** The index of a log the tx was emitted in. */
@@ -35,7 +36,7 @@ export class LogId {
35
36
 
36
37
  static random() {
37
38
  return new LogId(
38
- Math.floor(Math.random() * 1000) + 1,
39
+ BlockNumber(Math.floor(Math.random() * 1000) + 1),
39
40
  Math.floor(Math.random() * 1000),
40
41
  Math.floor(Math.random() * 100),
41
42
  );
@@ -44,7 +45,7 @@ export class LogId {
44
45
  static get schema() {
45
46
  return z
46
47
  .object({
47
- blockNumber: schemas.Integer,
48
+ blockNumber: BlockNumberSchema,
48
49
  txIndex: schemas.Integer,
49
50
  logIndex: schemas.Integer,
50
51
  })
@@ -71,7 +72,7 @@ export class LogId {
71
72
  static fromBuffer(buffer: Buffer | BufferReader): LogId {
72
73
  const reader = BufferReader.asReader(buffer);
73
74
 
74
- const blockNumber = reader.readNumber();
75
+ const blockNumber = BlockNumber(reader.readNumber());
75
76
  const txIndex = reader.readNumber();
76
77
  const logIndex = reader.readNumber();
77
78
 
@@ -93,7 +94,7 @@ export class LogId {
93
94
  */
94
95
  static fromString(data: string): LogId {
95
96
  const [rawBlockNumber, rawTxIndex, rawLogIndex] = data.split('-');
96
- const blockNumber = Number(rawBlockNumber);
97
+ const blockNumber = BlockNumber(Number(rawBlockNumber));
97
98
  const txIndex = Number(rawTxIndex);
98
99
  const logIndex = Number(rawLogIndex);
99
100
 
@@ -49,12 +49,11 @@ export class PrivateLog {
49
49
  }
50
50
 
51
51
  toBlobFields(): Fr[] {
52
- return [new Fr(this.emittedLength)].concat(this.getEmittedFields());
52
+ return this.getEmittedFields();
53
53
  }
54
54
 
55
- static fromBlobFields(fields: Fr[] | FieldReader) {
55
+ static fromBlobFields(emittedLength: number, fields: Fr[] | FieldReader) {
56
56
  const reader = FieldReader.asReader(fields);
57
- const emittedLength = reader.readU32();
58
57
  const emittedFields = reader.readFieldArray(emittedLength);
59
58
  return new PrivateLog(padArrayEnd(emittedFields, Fr.ZERO, PRIVATE_LOG_SIZE_IN_FIELDS), emittedLength);
60
59
  }
@@ -92,6 +91,23 @@ export class PrivateLog {
92
91
  .transform(({ fields, emittedLength }) => PrivateLog.fromFields(fields.concat(new Fr(emittedLength))));
93
92
  }
94
93
 
94
+ /**
95
+ * Creates a PrivateLog from a plain object without Zod validation.
96
+ * This method is optimized for performance and skips validation, making it suitable
97
+ * for deserializing trusted data (e.g., from C++ via MessagePack).
98
+ * @param obj - Plain object containing PrivateLog fields
99
+ * @returns A PrivateLog instance
100
+ */
101
+ static fromPlainObject(obj: any): PrivateLog {
102
+ if (obj instanceof PrivateLog) {
103
+ return obj;
104
+ }
105
+ return new PrivateLog(
106
+ obj.fields.map((f: any) => Fr.fromPlainObject(f)),
107
+ obj.emittedLength,
108
+ );
109
+ }
110
+
95
111
  equals(other: PrivateLog) {
96
112
  return this.fields.every((field, i) => field.equals(other.fields[i])) && this.emittedLength === other.emittedLength;
97
113
  }
@@ -99,6 +99,20 @@ export class FlatPublicLogs {
99
99
  return new FlatPublicLogs(0, Array(FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH).fill(Fr.ZERO));
100
100
  }
101
101
 
102
+ /**
103
+ * Creates a FlatPublicLogs instance from a plain object without Zod validation.
104
+ * This method is optimized for performance and skips validation, making it suitable
105
+ * for deserializing trusted data (e.g., from C++ via MessagePack).
106
+ * @param obj - Plain object containing FlatPublicLogs fields
107
+ * @returns A FlatPublicLogs instance
108
+ */
109
+ static fromPlainObject(obj: any): FlatPublicLogs {
110
+ return new FlatPublicLogs(
111
+ obj.length,
112
+ obj.payload.map((p: any) => Fr.fromPlainObject(p)),
113
+ );
114
+ }
115
+
102
116
  isEmpty() {
103
117
  return this.length === 0;
104
118
  }
@@ -1,3 +1,4 @@
1
+ import { BlockNumber, BlockNumberSchema } from '@aztec/foundation/branded-types';
1
2
  import { BufferReader, boolToBuffer, numToUInt32BE } from '@aztec/foundation/serialize';
2
3
 
3
4
  import { z } from 'zod';
@@ -26,7 +27,7 @@ export class TxScopedL2Log {
26
27
  /*
27
28
  * The block this log is included in
28
29
  */
29
- public blockNumber: number,
30
+ public blockNumber: BlockNumber,
30
31
  /*
31
32
  * The log data as either a PrivateLog or PublicLog
32
33
  */
@@ -43,7 +44,7 @@ export class TxScopedL2Log {
43
44
  txHash: TxHash.schema,
44
45
  dataStartIndexForTx: z.number(),
45
46
  logIndexInTx: z.number(),
46
- blockNumber: z.number(),
47
+ blockNumber: BlockNumberSchema,
47
48
  log: z.union([PrivateLog.schema, PublicLog.schema]),
48
49
  })
49
50
  .transform(
@@ -69,7 +70,7 @@ export class TxScopedL2Log {
69
70
  const txHash = reader.readObject(TxHash);
70
71
  const dataStartIndexForTx = reader.readNumber();
71
72
  const logIndexInTx = reader.readNumber();
72
- const blockNumber = reader.readNumber();
73
+ const blockNumber = BlockNumber(reader.readNumber());
73
74
  const isFromPublic = reader.readBoolean();
74
75
  const log = isFromPublic ? PublicLog.fromBuffer(reader) : PrivateLog.fromBuffer(reader);
75
76
 
@@ -78,7 +79,7 @@ export class TxScopedL2Log {
78
79
 
79
80
  static async random(isFromPublic = Math.random() < 0.5) {
80
81
  const log = isFromPublic ? await PublicLog.random() : PrivateLog.random();
81
- return new TxScopedL2Log(TxHash.random(), 1, 1, 1, log);
82
+ return new TxScopedL2Log(TxHash.random(), 1, 1, BlockNumber(1), log);
82
83
  }
83
84
 
84
85
  equals(other: TxScopedL2Log) {
@@ -0,0 +1,10 @@
1
+ import { NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP } from '@aztec/constants';
2
+ import { padArrayEnd } from '@aztec/foundation/collection';
3
+ import { Fr } from '@aztec/foundation/fields';
4
+ import { computeBalancedShaRoot } from '@aztec/foundation/trees';
5
+
6
+ /** Computes the inHash for a block's ContentCommitment given its l1 to l2 messages. */
7
+ export function computeInHashFromL1ToL2Messages(unpaddedL1ToL2Messages: Fr[]): Fr {
8
+ const l1ToL2Messages = padArrayEnd<Fr, number>(unpaddedL1ToL2Messages, Fr.ZERO, NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP);
9
+ return new Fr(computeBalancedShaRoot(l1ToL2Messages.map(msg => msg.toBuffer())));
10
+ }
@@ -1,3 +1,4 @@
1
+ export * from './in_hash.js';
1
2
  export * from './inbox_leaf.js';
2
3
  export * from './l1_to_l2_message.js';
3
4
  export * from './l1_to_l2_message_source.js';
@@ -5,3 +6,4 @@ export * from './l1_actor.js';
5
6
  export * from './l2_actor.js';
6
7
  export * from './l2_to_l1_message.js';
7
8
  export * from './l2_to_l1_membership.js';
9
+ export * from './out_hash.js';
@@ -1,3 +1,4 @@
1
+ import type { BlockNumber, CheckpointNumber } from '@aztec/foundation/branded-types';
1
2
  import type { Fr } from '@aztec/foundation/fields';
2
3
 
3
4
  import type { L2Tips } from '../block/l2_block_source.js';
@@ -6,12 +7,19 @@ import type { L2Tips } from '../block/l2_block_source.js';
6
7
  * Interface of classes allowing for the retrieval of L1 to L2 messages.
7
8
  */
8
9
  export interface L1ToL2MessageSource {
10
+ /**
11
+ * Gets new L1 to L2 message (to be) included in a given checkpoint.
12
+ * @param checkpointNumber - Checkpoint number to get messages for.
13
+ * @returns The L1 to L2 messages/leaves of the messages subtree (throws if not found).
14
+ */
15
+ getL1ToL2MessagesForCheckpoint(checkpointNumber: CheckpointNumber): Promise<Fr[]>;
16
+
9
17
  /**
10
18
  * Gets new L1 to L2 message (to be) included in a given block.
11
19
  * @param blockNumber - L2 block number to get messages for.
12
20
  * @returns The L1 to L2 messages/leaves of the messages subtree (throws if not found).
13
21
  */
14
- getL1ToL2Messages(blockNumber: number): Promise<Fr[]>;
22
+ getL1ToL2Messages(blockNumber: BlockNumber): Promise<Fr[]>;
15
23
 
16
24
  /**
17
25
  * Gets the L1 to L2 message index in the L1 to L2 message tree.
@@ -24,7 +32,7 @@ export interface L1ToL2MessageSource {
24
32
  * Gets the number of the latest L2 block processed by the implementation.
25
33
  * @returns The number of the latest L2 block processed by the implementation.
26
34
  */
27
- getBlockNumber(): Promise<number>;
35
+ getBlockNumber(): Promise<BlockNumber>;
28
36
 
29
37
  /**
30
38
  * Returns the tips of the L2 chain.
@@ -1,8 +1,9 @@
1
+ import type { BlockNumber } from '@aztec/foundation/branded-types';
1
2
  import { Fr } from '@aztec/foundation/fields';
2
- import { SiblingPath, UnbalancedMerkleTreeCalculator, computeUnbalancedMerkleTreeRoot } from '@aztec/foundation/trees';
3
+ import { SiblingPath, UnbalancedMerkleTreeCalculator, computeUnbalancedShaRoot } from '@aztec/foundation/trees';
3
4
 
4
5
  export interface MessageRetrieval {
5
- getL2ToL1Messages(l2BlockNumber: number): Promise<Fr[][] | undefined>;
6
+ getL2ToL1Messages(l2BlockNumber: BlockNumber): Promise<Fr[][] | undefined>;
6
7
  }
7
8
 
8
9
  export type L2ToL1MembershipWitness = {
@@ -13,7 +14,7 @@ export type L2ToL1MembershipWitness = {
13
14
 
14
15
  export async function computeL2ToL1MembershipWitness(
15
16
  messageRetriever: MessageRetrieval,
16
- l2BlockNumber: number,
17
+ l2BlockNumber: BlockNumber,
17
18
  message: Fr,
18
19
  ): Promise<L2ToL1MembershipWitness | undefined> {
19
20
  const messagesForAllTxs = await messageRetriever.getL2ToL1Messages(l2BlockNumber);
@@ -58,7 +59,7 @@ export function computeL2ToL1MembershipWitnessFromMessagesForAllTxs(
58
59
  return Fr.fromBuffer(txOutHash);
59
60
  }
60
61
 
61
- const root = computeUnbalancedMerkleTreeRoot(messages.map(msg => msg.toBuffer()));
62
+ const root = computeUnbalancedShaRoot(messages.map(msg => msg.toBuffer()));
62
63
  return Fr.fromBuffer(root);
63
64
  });
64
65
 
@@ -30,6 +30,17 @@ export class L2ToL1Message {
30
30
  return new L2ToL1Message(EthAddress.ZERO, Fr.zero());
31
31
  }
32
32
 
33
+ /**
34
+ * Creates an L2ToL1Message instance from a plain object without Zod validation.
35
+ * This method is optimized for performance and skips validation, making it suitable
36
+ * for deserializing trusted data (e.g., from C++ via MessagePack).
37
+ * @param obj - Plain object containing L2ToL1Message fields
38
+ * @returns An L2ToL1Message instance
39
+ */
40
+ static fromPlainObject(obj: any): L2ToL1Message {
41
+ return new L2ToL1Message(EthAddress.fromPlainObject(obj.recipient), Fr.fromPlainObject(obj.content));
42
+ }
43
+
33
44
  /**
34
45
  * Checks if another L2ToL1Message is equal to this instance.
35
46
  * @param other Another L2ToL1Message instance to compare with.
@@ -149,6 +160,20 @@ export class ScopedL2ToL1Message {
149
160
  return new ScopedL2ToL1Message(L2ToL1Message.empty(), AztecAddress.ZERO);
150
161
  }
151
162
 
163
+ /**
164
+ * Creates a ScopedL2ToL1Message instance from a plain object without Zod validation.
165
+ * This method is optimized for performance and skips validation, making it suitable
166
+ * for deserializing trusted data (e.g., from C++ via MessagePack).
167
+ * @param obj - Plain object containing ScopedL2ToL1Message fields
168
+ * @returns A ScopedL2ToL1Message instance
169
+ */
170
+ static fromPlainObject(obj: any): ScopedL2ToL1Message {
171
+ return new ScopedL2ToL1Message(
172
+ L2ToL1Message.fromPlainObject(obj.message),
173
+ AztecAddress.fromPlainObject(obj.contractAddress),
174
+ );
175
+ }
176
+
152
177
  isEmpty(): boolean {
153
178
  return this.message.isEmpty() && this.contractAddress.isZero();
154
179
  }
@@ -0,0 +1,36 @@
1
+ import { Fr } from '@aztec/foundation/fields';
2
+ import { UnbalancedMerkleTreeCalculator, computeUnbalancedShaRoot } from '@aztec/foundation/trees';
3
+
4
+ export function computeTxOutHash(messages: Fr[]): Fr {
5
+ if (!messages.length) {
6
+ return Fr.ZERO;
7
+ }
8
+ // Tx out hash is the root of the unbalanced merkle tree of all the messages.
9
+ // Zero hashes (which should not happen) are not compressed.
10
+ return Fr.fromBuffer(computeUnbalancedShaRoot(messages.map(msg => msg.toBuffer())));
11
+ }
12
+
13
+ export function computeBlockOutHash(messagesPerBlock: Fr[][]): Fr {
14
+ const txOutHashes = messagesPerBlock.map(messages => computeTxOutHash(messages));
15
+ return aggregateOutHashes(txOutHashes);
16
+ }
17
+
18
+ export function computeCheckpointOutHash(messagesForAllTxs: Fr[][][]): Fr {
19
+ const blockOutHashes = messagesForAllTxs.map(block => computeBlockOutHash(block));
20
+ return aggregateOutHashes(blockOutHashes);
21
+ }
22
+
23
+ // The root of this tree should match the `out_hash` calculated in the circuits. Zero hashes are compressed to reduce
24
+ // cost if the non-zero leaves result in a shorter path.
25
+ function aggregateOutHashes(outHashes: Fr[]): Fr {
26
+ if (!outHashes.length) {
27
+ return Fr.ZERO;
28
+ }
29
+
30
+ const valueToCompress = Buffer.alloc(32);
31
+ const tree = UnbalancedMerkleTreeCalculator.create(
32
+ outHashes.map(hash => hash.toBuffer()),
33
+ valueToCompress,
34
+ );
35
+ return Fr.fromBuffer(tree.getRoot());
36
+ }
package/src/noir/index.ts CHANGED
@@ -8,12 +8,12 @@ import type {
8
8
  DebugInfo,
9
9
  } from '../abi/abi.js';
10
10
 
11
- export const AZTEC_PRIVATE_ATTRIBUTE = 'private';
12
- export const AZTEC_PUBLIC_ATTRIBUTE = 'public';
13
- export const AZTEC_UTILITY_ATTRIBUTE = 'utility';
14
- export const AZTEC_INTERNAL_ATTRIBUTE = 'internal';
15
- export const AZTEC_INITIALIZER_ATTRIBUTE = 'initializer';
16
- export const AZTEC_VIEW_ATTRIBUTE = 'view';
11
+ export const AZTEC_PRIVATE_ATTRIBUTE = 'abi_private';
12
+ export const AZTEC_PUBLIC_ATTRIBUTE = 'abi_public';
13
+ export const AZTEC_UTILITY_ATTRIBUTE = 'abi_utility';
14
+ export const AZTEC_ONLY_SELF_ATTRIBUTE = 'abi_only_self';
15
+ export const AZTEC_INITIALIZER_ATTRIBUTE = 'abi_initializer';
16
+ export const AZTEC_VIEW_ATTRIBUTE = 'abi_view';
17
17
 
18
18
  /** The ABI of an Aztec.nr function. */
19
19
  export interface NoirFunctionAbi {
package/src/note/index.ts CHANGED
@@ -1,5 +1,5 @@
1
1
  export * from './comparator.js';
2
- export * from './unique_note.js';
2
+ export * from './note_dao.js';
3
3
  export * from './notes_filter.js';
4
4
  export * from './note_status.js';
5
5
  export * from './note.js';
@@ -0,0 +1,161 @@
1
+ import { toBigIntBE } from '@aztec/foundation/bigint-buffer';
2
+ import { BlockNumber } from '@aztec/foundation/branded-types';
3
+ import { Fr, Point } from '@aztec/foundation/fields';
4
+ import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
5
+ import { AztecAddress } from '@aztec/stdlib/aztec-address';
6
+ import { Note } from '@aztec/stdlib/note';
7
+ import { TxHash } from '@aztec/stdlib/tx';
8
+
9
+ /**
10
+ * A Note Data Access Object, representing a note that was committed to the note hash tree, holding all of the
11
+ * information required to use it during execution and manage its state.
12
+ */
13
+ export class NoteDao {
14
+ constructor(
15
+ // Note information
16
+
17
+ /** The packed content of the note, as will be returned in the getNotes oracle. */
18
+ public note: Note,
19
+ /** The address of the contract that created the note (i.e. the address used by the kernel during siloing). */
20
+ public contractAddress: AztecAddress,
21
+ /** The owner of the note - generally the account that can spend the note. */
22
+ public owner: AztecAddress,
23
+ /**
24
+ * The storage location of the note. This value is not used for anything in PXE, but we do index by storage slot
25
+ * since contracts typically make queries based on it.
26
+ */
27
+ public storageSlot: Fr,
28
+ /**
29
+ * The randomness injected to the note hash preimage.
30
+ */
31
+ public randomness: Fr,
32
+ /** The nonce that was injected into the note hash preimage in order to guarantee uniqueness. */
33
+ public noteNonce: Fr,
34
+
35
+ // Computed values
36
+ /**
37
+ * The inner hash (non-unique, non-siloed) of the note. Each contract determines how the note is hashed. Can
38
+ * be used alongside contractAddress and nonce to compute the uniqueNoteHash and the siloedNoteHash.
39
+ */
40
+ public noteHash: Fr,
41
+ /**
42
+ * The nullifier of the note, siloed by contract address.
43
+ * Note: Might be set as 0 if the note was added to PXE as nullified.
44
+ */
45
+ public siloedNullifier: Fr,
46
+
47
+ // Metadata
48
+ /** The hash of the tx in which this note was created. Knowing the tx hash allows for efficient node queries e.g.
49
+ * when searching for txEffects.
50
+ */
51
+ public txHash: TxHash,
52
+ /** The L2 block number in which the tx with this note was included. Used for note management while processing
53
+ * reorgs.*/
54
+ public l2BlockNumber: BlockNumber,
55
+ /** The L2 block hash in which the tx with this note was included. Used for note management while processing
56
+ * reorgs.*/
57
+ public l2BlockHash: string,
58
+ /** The index of the leaf in the global note hash tree the note is stored at */
59
+ public index: bigint,
60
+ ) {}
61
+
62
+ toBuffer(): Buffer {
63
+ return serializeToBuffer([
64
+ this.note,
65
+ this.contractAddress,
66
+ this.owner,
67
+ this.storageSlot,
68
+ this.randomness,
69
+ this.noteNonce,
70
+ this.noteHash,
71
+ this.siloedNullifier,
72
+ this.txHash,
73
+ this.l2BlockNumber,
74
+ Fr.fromHexString(this.l2BlockHash),
75
+ this.index,
76
+ ]);
77
+ }
78
+
79
+ static fromBuffer(buffer: Buffer | BufferReader) {
80
+ const reader = BufferReader.asReader(buffer);
81
+
82
+ const note = Note.fromBuffer(reader);
83
+ const contractAddress = AztecAddress.fromBuffer(reader);
84
+ const owner = AztecAddress.fromBuffer(reader);
85
+ const storageSlot = Fr.fromBuffer(reader);
86
+ const randomness = Fr.fromBuffer(reader);
87
+ const noteNonce = Fr.fromBuffer(reader);
88
+ const noteHash = Fr.fromBuffer(reader);
89
+ const siloedNullifier = Fr.fromBuffer(reader);
90
+ const txHash = reader.readObject(TxHash);
91
+ const l2BlockNumber = BlockNumber(reader.readNumber());
92
+ const l2BlockHash = Fr.fromBuffer(reader).toString();
93
+ const index = toBigIntBE(reader.readBytes(32));
94
+
95
+ return new NoteDao(
96
+ note,
97
+ contractAddress,
98
+ owner,
99
+ storageSlot,
100
+ randomness,
101
+ noteNonce,
102
+ noteHash,
103
+ siloedNullifier,
104
+ txHash,
105
+ l2BlockNumber,
106
+ l2BlockHash,
107
+ index,
108
+ );
109
+ }
110
+
111
+ toString() {
112
+ return '0x' + this.toBuffer().toString('hex');
113
+ }
114
+
115
+ static fromString(str: string) {
116
+ const hex = str.replace(/^0x/, '');
117
+ return NoteDao.fromBuffer(Buffer.from(hex, 'hex'));
118
+ }
119
+
120
+ /**
121
+ * Returns the size in bytes of the Note Dao.
122
+ * @returns - Its size in bytes.
123
+ */
124
+ public getSize() {
125
+ const indexSize = Math.ceil(Math.log2(Number(this.index)));
126
+ const noteSize = 4 + this.note.items.length * Fr.SIZE_IN_BYTES;
127
+ return (
128
+ noteSize + AztecAddress.SIZE_IN_BYTES * 2 + Fr.SIZE_IN_BYTES * 4 + TxHash.SIZE + Point.SIZE_IN_BYTES + indexSize
129
+ );
130
+ }
131
+
132
+ static async random({
133
+ note = Note.random(),
134
+ contractAddress = undefined,
135
+ owner = undefined,
136
+ storageSlot = Fr.random(),
137
+ randomness = Fr.random(),
138
+ noteNonce = Fr.random(),
139
+ noteHash = Fr.random(),
140
+ siloedNullifier = Fr.random(),
141
+ txHash = TxHash.random(),
142
+ l2BlockNumber = BlockNumber(Math.floor(Math.random() * 1000)),
143
+ l2BlockHash = Fr.random().toString(),
144
+ index = Fr.random().toBigInt(),
145
+ }: Partial<NoteDao> = {}) {
146
+ return new NoteDao(
147
+ note,
148
+ contractAddress ?? (await AztecAddress.random()),
149
+ owner ?? (await AztecAddress.random()),
150
+ storageSlot,
151
+ randomness,
152
+ noteNonce,
153
+ noteHash,
154
+ siloedNullifier,
155
+ txHash,
156
+ l2BlockNumber,
157
+ l2BlockHash,
158
+ index,
159
+ );
160
+ }
161
+ }
@@ -16,6 +16,8 @@ export type NotesFilter = {
16
16
  * @remarks Providing a contract address is required as we need that information to trigger private state sync.
17
17
  */
18
18
  contractAddress: AztecAddress;
19
+ /** The owner of the note. */
20
+ owner?: AztecAddress;
19
21
  /** The specific storage location of the note on the contract. */
20
22
  storageSlot?: Fr;
21
23
  /** The status of the note. Defaults to 'ACTIVE'. */
@@ -28,6 +30,7 @@ export type NotesFilter = {
28
30
 
29
31
  export const NotesFilterSchema: ZodFor<NotesFilter> = z.object({
30
32
  contractAddress: schemas.AztecAddress,
33
+ owner: schemas.AztecAddress.optional(),
31
34
  storageSlot: schemas.Fr.optional(),
32
35
  status: z.nativeEnum(NoteStatus).optional(),
33
36
  siloedNullifier: schemas.Fr.optional(),