@aztec/stdlib 0.0.1-commit.9b94fc1 → 0.0.1-commit.9ee6fcc6

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 (1210) hide show
  1. package/dest/abi/abi.d.ts +740 -5
  2. package/dest/abi/abi.d.ts.map +1 -1
  3. package/dest/abi/abi.js +17 -9
  4. package/dest/abi/authorization_selector.d.ts +2 -2
  5. package/dest/abi/authorization_selector.d.ts.map +1 -1
  6. package/dest/abi/authorization_selector.js +2 -1
  7. package/dest/abi/buffer.d.ts +15 -5
  8. package/dest/abi/buffer.d.ts.map +1 -1
  9. package/dest/abi/buffer.js +26 -5
  10. package/dest/abi/contract_artifact.d.ts +2 -2
  11. package/dest/abi/contract_artifact.d.ts.map +1 -1
  12. package/dest/abi/contract_artifact.js +1 -1
  13. package/dest/abi/decoder.d.ts +3 -3
  14. package/dest/abi/decoder.d.ts.map +1 -1
  15. package/dest/abi/decoder.js +7 -5
  16. package/dest/abi/encoder.d.ts +2 -2
  17. package/dest/abi/encoder.d.ts.map +1 -1
  18. package/dest/abi/encoder.js +38 -7
  19. package/dest/abi/event_metadata_definition.d.ts +3 -1
  20. package/dest/abi/event_metadata_definition.d.ts.map +1 -1
  21. package/dest/abi/event_metadata_definition.js +1 -1
  22. package/dest/abi/event_selector.d.ts +2 -2
  23. package/dest/abi/event_selector.d.ts.map +1 -1
  24. package/dest/abi/event_selector.js +2 -1
  25. package/dest/abi/function_call.d.ts +48 -10
  26. package/dest/abi/function_call.d.ts.map +1 -1
  27. package/dest/abi/function_call.js +20 -3
  28. package/dest/abi/function_selector.d.ts +3 -2
  29. package/dest/abi/function_selector.d.ts.map +1 -1
  30. package/dest/abi/function_selector.js +9 -1
  31. package/dest/abi/note_selector.d.ts +2 -2
  32. package/dest/abi/note_selector.d.ts.map +1 -1
  33. package/dest/abi/note_selector.js +2 -2
  34. package/dest/abi/selector.d.ts +2 -2
  35. package/dest/abi/selector.d.ts.map +1 -1
  36. package/dest/abi/selector.js +4 -2
  37. package/dest/abi/utils.d.ts +20 -1
  38. package/dest/abi/utils.d.ts.map +1 -1
  39. package/dest/abi/utils.js +22 -0
  40. package/dest/auth_witness/auth_witness.d.ts +3 -2
  41. package/dest/auth_witness/auth_witness.d.ts.map +1 -1
  42. package/dest/auth_witness/auth_witness.js +5 -5
  43. package/dest/avm/avm.d.ts +598 -386
  44. package/dest/avm/avm.d.ts.map +1 -1
  45. package/dest/avm/avm.js +238 -22
  46. package/dest/avm/avm_accumulated_data.d.ts +31 -4
  47. package/dest/avm/avm_accumulated_data.d.ts.map +1 -1
  48. package/dest/avm/avm_accumulated_data.js +6 -3
  49. package/dest/avm/avm_circuit_public_inputs.d.ts +14 -12
  50. package/dest/avm/avm_circuit_public_inputs.d.ts.map +1 -1
  51. package/dest/avm/avm_circuit_public_inputs.js +4 -2
  52. package/dest/avm/avm_proving_request.d.ts +472 -468
  53. package/dest/avm/avm_proving_request.d.ts.map +1 -1
  54. package/dest/avm/contract_storage_read.d.ts +14 -2
  55. package/dest/avm/contract_storage_read.d.ts.map +1 -1
  56. package/dest/avm/contract_storage_read.js +1 -1
  57. package/dest/avm/contract_storage_update_request.d.ts +14 -2
  58. package/dest/avm/contract_storage_update_request.d.ts.map +1 -1
  59. package/dest/avm/contract_storage_update_request.js +1 -1
  60. package/dest/avm/message_pack.d.ts +1 -1
  61. package/dest/avm/message_pack.d.ts.map +1 -1
  62. package/dest/avm/message_pack.js +2 -1
  63. package/dest/avm/public_call_stack_item_compressed.d.ts +4 -2
  64. package/dest/avm/public_call_stack_item_compressed.d.ts.map +1 -1
  65. package/dest/avm/public_call_stack_item_compressed.js +1 -1
  66. package/dest/avm/public_data_read.d.ts +11 -2
  67. package/dest/avm/public_data_read.d.ts.map +1 -1
  68. package/dest/avm/public_data_read.js +1 -1
  69. package/dest/avm/public_data_update_request.d.ts +11 -2
  70. package/dest/avm/public_data_update_request.d.ts.map +1 -1
  71. package/dest/avm/public_data_update_request.js +4 -2
  72. package/dest/avm/public_data_write.d.ts +8 -2
  73. package/dest/avm/public_data_write.d.ts.map +1 -1
  74. package/dest/avm/public_data_write.js +1 -1
  75. package/dest/avm/public_inner_call_request.d.ts +5 -2
  76. package/dest/avm/public_inner_call_request.d.ts.map +1 -1
  77. package/dest/avm/public_inner_call_request.js +3 -1
  78. package/dest/avm/revert_code.d.ts +20 -5
  79. package/dest/avm/revert_code.d.ts.map +1 -1
  80. package/dest/avm/revert_code.js +19 -7
  81. package/dest/aztec-address/index.d.ts +3 -2
  82. package/dest/aztec-address/index.d.ts.map +1 -1
  83. package/dest/aztec-address/index.js +5 -2
  84. package/dest/block/attestation_info.d.ts +5 -5
  85. package/dest/block/attestation_info.d.ts.map +1 -1
  86. package/dest/block/attestation_info.js +5 -5
  87. package/dest/block/block_data.d.ts +52 -0
  88. package/dest/block/block_data.d.ts.map +1 -0
  89. package/dest/block/block_data.js +12 -0
  90. package/dest/block/block_hash.d.ts +19 -15
  91. package/dest/block/block_hash.d.ts.map +1 -1
  92. package/dest/block/block_hash.js +23 -21
  93. package/dest/block/block_parameter.d.ts +6 -0
  94. package/dest/block/block_parameter.d.ts.map +1 -0
  95. package/dest/block/block_parameter.js +8 -0
  96. package/dest/block/body.d.ts +1 -1
  97. package/dest/block/body.d.ts.map +1 -1
  98. package/dest/block/body.js +5 -2
  99. package/dest/block/checkpointed_l2_block.d.ts +150 -0
  100. package/dest/block/checkpointed_l2_block.d.ts.map +1 -0
  101. package/dest/block/checkpointed_l2_block.js +46 -0
  102. package/dest/block/in_block.d.ts +34 -15
  103. package/dest/block/in_block.d.ts.map +1 -1
  104. package/dest/block/in_block.js +21 -12
  105. package/dest/block/index.d.ts +4 -5
  106. package/dest/block/index.d.ts.map +1 -1
  107. package/dest/block/index.js +3 -4
  108. package/dest/block/l2_block.d.ts +67 -59
  109. package/dest/block/l2_block.d.ts.map +1 -1
  110. package/dest/block/l2_block.js +78 -109
  111. package/dest/block/l2_block_info.d.ts +16 -11
  112. package/dest/block/l2_block_info.d.ts.map +1 -1
  113. package/dest/block/l2_block_info.js +8 -7
  114. package/dest/block/l2_block_source.d.ts +402 -155
  115. package/dest/block/l2_block_source.d.ts.map +1 -1
  116. package/dest/block/l2_block_source.js +29 -16
  117. package/dest/block/l2_block_stream/index.d.ts +2 -1
  118. package/dest/block/l2_block_stream/index.d.ts.map +1 -1
  119. package/dest/block/l2_block_stream/index.js +1 -0
  120. package/dest/block/l2_block_stream/interfaces.d.ts +15 -5
  121. package/dest/block/l2_block_stream/interfaces.d.ts.map +1 -1
  122. package/dest/block/l2_block_stream/l2_block_stream.d.ts +13 -3
  123. package/dest/block/l2_block_stream/l2_block_stream.d.ts.map +1 -1
  124. package/dest/block/l2_block_stream/l2_block_stream.js +126 -32
  125. package/dest/block/l2_block_stream/l2_tips_memory_store.d.ts +24 -15
  126. package/dest/block/l2_block_stream/l2_tips_memory_store.d.ts.map +1 -1
  127. package/dest/block/l2_block_stream/l2_tips_memory_store.js +55 -59
  128. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts +49 -0
  129. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts.map +1 -0
  130. package/dest/block/l2_block_stream/l2_tips_store_base.js +179 -0
  131. package/dest/block/proposal/attestations_and_signers.d.ts +2 -2
  132. package/dest/block/proposal/attestations_and_signers.d.ts.map +1 -1
  133. package/dest/block/proposal/committee_attestation.d.ts +2 -2
  134. package/dest/block/proposal/committee_attestation.d.ts.map +1 -1
  135. package/dest/block/test/l2_tips_store_test_suite.d.ts +1 -1
  136. package/dest/block/test/l2_tips_store_test_suite.d.ts.map +1 -1
  137. package/dest/block/test/l2_tips_store_test_suite.js +482 -43
  138. package/dest/block/validate_block_result.d.ts +24 -24
  139. package/dest/block/validate_block_result.d.ts.map +1 -1
  140. package/dest/block/validate_block_result.js +18 -17
  141. package/dest/checkpoint/checkpoint.d.ts +75 -18
  142. package/dest/checkpoint/checkpoint.d.ts.map +1 -1
  143. package/dest/checkpoint/checkpoint.js +84 -17
  144. package/dest/checkpoint/checkpoint_data.d.ts +120 -0
  145. package/dest/checkpoint/checkpoint_data.d.ts.map +1 -0
  146. package/dest/checkpoint/checkpoint_data.js +26 -0
  147. package/dest/checkpoint/checkpoint_info.d.ts +38 -0
  148. package/dest/checkpoint/checkpoint_info.d.ts.map +1 -0
  149. package/dest/checkpoint/checkpoint_info.js +34 -0
  150. package/dest/checkpoint/index.d.ts +4 -1
  151. package/dest/checkpoint/index.d.ts.map +1 -1
  152. package/dest/checkpoint/index.js +3 -0
  153. package/dest/checkpoint/published_checkpoint.d.ts +58 -15
  154. package/dest/checkpoint/published_checkpoint.d.ts.map +1 -1
  155. package/dest/checkpoint/published_checkpoint.js +16 -6
  156. package/dest/checkpoint/validate.d.ts +36 -0
  157. package/dest/checkpoint/validate.d.ts.map +1 -0
  158. package/dest/checkpoint/validate.js +120 -0
  159. package/dest/config/index.d.ts +3 -1
  160. package/dest/config/index.d.ts.map +1 -1
  161. package/dest/config/index.js +2 -0
  162. package/dest/config/node-rpc-config.js +1 -1
  163. package/dest/config/pipelining-config.d.ts +19 -0
  164. package/dest/config/pipelining-config.d.ts.map +1 -0
  165. package/dest/config/pipelining-config.js +18 -0
  166. package/dest/config/sequencer-config.d.ts +12 -0
  167. package/dest/config/sequencer-config.d.ts.map +1 -0
  168. package/dest/config/sequencer-config.js +24 -0
  169. package/dest/contract/artifact_hash.d.ts +2 -2
  170. package/dest/contract/artifact_hash.d.ts.map +1 -1
  171. package/dest/contract/artifact_hash.js +2 -2
  172. package/dest/contract/complete_address.d.ts +5 -2
  173. package/dest/contract/complete_address.d.ts.map +1 -1
  174. package/dest/contract/complete_address.js +1 -1
  175. package/dest/contract/contract_address.d.ts +5 -5
  176. package/dest/contract/contract_address.d.ts.map +1 -1
  177. package/dest/contract/contract_address.js +9 -9
  178. package/dest/contract/contract_class.d.ts +3 -4
  179. package/dest/contract/contract_class.d.ts.map +1 -1
  180. package/dest/contract/contract_class.js +1 -1
  181. package/dest/contract/contract_class_id.d.ts +4 -4
  182. package/dest/contract/contract_class_id.d.ts.map +1 -1
  183. package/dest/contract/contract_class_id.js +9 -8
  184. package/dest/contract/contract_deployment_data.d.ts +5 -5
  185. package/dest/contract/contract_instance.d.ts +2 -2
  186. package/dest/contract/contract_instance.d.ts.map +1 -1
  187. package/dest/contract/contract_instance.js +1 -1
  188. package/dest/contract/contract_instance_update.d.ts +2 -2
  189. package/dest/contract/contract_instance_update.d.ts.map +1 -1
  190. package/dest/contract/contract_instance_update.js +1 -1
  191. package/dest/contract/deployment_info.d.ts +2 -2
  192. package/dest/contract/deployment_info.d.ts.map +1 -1
  193. package/dest/contract/index.d.ts +1 -5
  194. package/dest/contract/index.d.ts.map +1 -1
  195. package/dest/contract/index.js +0 -4
  196. package/dest/contract/interfaces/contract_class.d.ts +17 -165
  197. package/dest/contract/interfaces/contract_class.d.ts.map +1 -1
  198. package/dest/contract/interfaces/contract_class.js +24 -34
  199. package/dest/contract/interfaces/contract_data_source.d.ts +4 -3
  200. package/dest/contract/interfaces/contract_data_source.d.ts.map +1 -1
  201. package/dest/contract/interfaces/contract_instance.d.ts +40 -31
  202. package/dest/contract/interfaces/contract_instance.d.ts.map +1 -1
  203. package/dest/contract/interfaces/contract_instance.js +30 -5
  204. package/dest/contract/interfaces/contract_instance_update.d.ts +7 -8
  205. package/dest/contract/interfaces/contract_instance_update.d.ts.map +1 -1
  206. package/dest/contract/interfaces/contract_instance_update.js +5 -5
  207. package/dest/contract/interfaces/node-info.d.ts +3 -1
  208. package/dest/contract/interfaces/node-info.d.ts.map +1 -1
  209. package/dest/contract/interfaces/node-info.js +2 -1
  210. package/dest/contract/partial_address.d.ts +2 -2
  211. package/dest/contract/partial_address.d.ts.map +1 -1
  212. package/dest/contract/private_function.d.ts +2 -2
  213. package/dest/contract/private_function.d.ts.map +1 -1
  214. package/dest/contract/private_function.js +5 -5
  215. package/dest/database-version/database_version.d.ts +58 -0
  216. package/dest/database-version/database_version.d.ts.map +1 -0
  217. package/dest/database-version/database_version.js +69 -0
  218. package/dest/database-version/version_manager.d.ts +3 -49
  219. package/dest/database-version/version_manager.d.ts.map +1 -1
  220. package/dest/database-version/version_manager.js +1 -64
  221. package/dest/delayed_public_mutable/delayed_public_mutable_values.d.ts +3 -3
  222. package/dest/delayed_public_mutable/delayed_public_mutable_values.d.ts.map +1 -1
  223. package/dest/delayed_public_mutable/delayed_public_mutable_values.js +9 -12
  224. package/dest/delayed_public_mutable/delayed_public_mutable_values_with_hash.d.ts +2 -2
  225. package/dest/delayed_public_mutable/delayed_public_mutable_values_with_hash.d.ts.map +1 -1
  226. package/dest/delayed_public_mutable/delayed_public_mutable_values_with_hash.js +1 -1
  227. package/dest/delayed_public_mutable/scheduled_value_change.d.ts +2 -2
  228. package/dest/delayed_public_mutable/scheduled_value_change.d.ts.map +1 -1
  229. package/dest/delayed_public_mutable/scheduled_value_change.js +1 -1
  230. package/dest/deserialization/index.d.ts +11 -0
  231. package/dest/deserialization/index.d.ts.map +1 -0
  232. package/dest/deserialization/index.js +10 -0
  233. package/dest/epoch-helpers/index.d.ts +13 -1
  234. package/dest/epoch-helpers/index.d.ts.map +1 -1
  235. package/dest/epoch-helpers/index.js +20 -6
  236. package/dest/errors/proving_error.d.ts +2 -2
  237. package/dest/errors/proving_error.d.ts.map +1 -1
  238. package/dest/errors/simulation_error.d.ts +2 -2
  239. package/dest/errors/simulation_error.d.ts.map +1 -1
  240. package/dest/fees/transaction_fee.d.ts +2 -2
  241. package/dest/fees/transaction_fee.d.ts.map +1 -1
  242. package/dest/file-store/local.d.ts +3 -3
  243. package/dest/file-store/local.d.ts.map +1 -1
  244. package/dest/file-store/local.js +13 -4
  245. package/dest/file-store/s3.d.ts +1 -1
  246. package/dest/file-store/s3.d.ts.map +1 -1
  247. package/dest/file-store/s3.js +11 -3
  248. package/dest/gas/gas.d.ts +2 -2
  249. package/dest/gas/gas.d.ts.map +1 -1
  250. package/dest/gas/gas.js +4 -2
  251. package/dest/gas/gas_fees.d.ts +2 -2
  252. package/dest/gas/gas_fees.d.ts.map +1 -1
  253. package/dest/gas/gas_fees.js +7 -2
  254. package/dest/gas/gas_settings.d.ts +2 -2
  255. package/dest/gas/gas_settings.d.ts.map +1 -1
  256. package/dest/gas/gas_settings.js +1 -1
  257. package/dest/ha-signing/config.d.ts +136 -0
  258. package/dest/ha-signing/config.d.ts.map +1 -0
  259. package/dest/ha-signing/config.js +97 -0
  260. package/dest/ha-signing/index.d.ts +4 -0
  261. package/dest/ha-signing/index.d.ts.map +1 -0
  262. package/dest/ha-signing/index.js +3 -0
  263. package/dest/ha-signing/local_config.d.ts +63 -0
  264. package/dest/ha-signing/local_config.d.ts.map +1 -0
  265. package/dest/ha-signing/local_config.js +24 -0
  266. package/dest/ha-signing/types.d.ts +85 -0
  267. package/dest/ha-signing/types.d.ts.map +1 -0
  268. package/dest/ha-signing/types.js +32 -0
  269. package/dest/hash/hash.d.ts +18 -10
  270. package/dest/hash/hash.d.ts.map +1 -1
  271. package/dest/hash/hash.js +41 -22
  272. package/dest/hash/map_slot.d.ts +2 -2
  273. package/dest/hash/map_slot.d.ts.map +1 -1
  274. package/dest/hash/map_slot.js +4 -3
  275. package/dest/interfaces/allowed_element.d.ts +31 -26
  276. package/dest/interfaces/allowed_element.d.ts.map +1 -1
  277. package/dest/interfaces/allowed_element.js +11 -11
  278. package/dest/interfaces/api_limit.d.ts +3 -1
  279. package/dest/interfaces/api_limit.d.ts.map +1 -1
  280. package/dest/interfaces/api_limit.js +2 -0
  281. package/dest/interfaces/archiver.d.ts +12 -7
  282. package/dest/interfaces/archiver.d.ts.map +1 -1
  283. package/dest/interfaces/archiver.js +43 -23
  284. package/dest/interfaces/aztec-node-admin.d.ts +209 -65
  285. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  286. package/dest/interfaces/aztec-node-admin.js +15 -7
  287. package/dest/interfaces/aztec-node.d.ts +98 -97
  288. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  289. package/dest/interfaces/aztec-node.js +35 -33
  290. package/dest/interfaces/block-builder.d.ts +55 -18
  291. package/dest/interfaces/block-builder.d.ts.map +1 -1
  292. package/dest/interfaces/block-builder.js +23 -1
  293. package/dest/interfaces/configs.d.ts +127 -53
  294. package/dest/interfaces/configs.d.ts.map +1 -1
  295. package/dest/interfaces/configs.js +21 -8
  296. package/dest/interfaces/epoch-prover.d.ts +5 -5
  297. package/dest/interfaces/epoch-prover.d.ts.map +1 -1
  298. package/dest/interfaces/get_logs_response.d.ts +30 -6
  299. package/dest/interfaces/get_logs_response.d.ts.map +1 -1
  300. package/dest/interfaces/get_logs_response.js +5 -4
  301. package/dest/interfaces/l2_logs_source.d.ts +23 -15
  302. package/dest/interfaces/l2_logs_source.d.ts.map +1 -1
  303. package/dest/interfaces/merkle_tree_operations.d.ts +13 -22
  304. package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
  305. package/dest/interfaces/p2p.d.ts +9 -16
  306. package/dest/interfaces/p2p.d.ts.map +1 -1
  307. package/dest/interfaces/p2p.js +3 -4
  308. package/dest/interfaces/prover-broker.d.ts +16 -1
  309. package/dest/interfaces/prover-broker.d.ts.map +1 -1
  310. package/dest/interfaces/prover-broker.js +4 -1
  311. package/dest/interfaces/prover-client.d.ts +24 -3
  312. package/dest/interfaces/prover-client.d.ts.map +1 -1
  313. package/dest/interfaces/prover-client.js +22 -4
  314. package/dest/interfaces/proving-job.d.ts +226 -222
  315. package/dest/interfaces/proving-job.d.ts.map +1 -1
  316. package/dest/interfaces/proving-job.js +1 -7
  317. package/dest/interfaces/public_state_source.d.ts +2 -2
  318. package/dest/interfaces/public_state_source.d.ts.map +1 -1
  319. package/dest/interfaces/server_circuit_prover.d.ts +4 -3
  320. package/dest/interfaces/server_circuit_prover.d.ts.map +1 -1
  321. package/dest/interfaces/slasher.d.ts +9 -1
  322. package/dest/interfaces/slasher.d.ts.map +1 -1
  323. package/dest/interfaces/slasher.js +5 -3
  324. package/dest/interfaces/validator.d.ts +245 -48
  325. package/dest/interfaces/validator.d.ts.map +1 -1
  326. package/dest/interfaces/validator.js +17 -8
  327. package/dest/interfaces/world_state.d.ts +26 -33
  328. package/dest/interfaces/world_state.d.ts.map +1 -1
  329. package/dest/interfaces/world_state.js +4 -3
  330. package/dest/kernel/claimed_length_array.d.ts +2 -2
  331. package/dest/kernel/claimed_length_array.d.ts.map +1 -1
  332. package/dest/kernel/claimed_length_array.js +3 -1
  333. package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts +7 -6
  334. package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts.map +1 -1
  335. package/dest/kernel/hints/build_note_hash_read_request_hints.js +31 -19
  336. package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts +5 -5
  337. package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts.map +1 -1
  338. package/dest/kernel/hints/build_nullifier_read_request_hints.js +28 -17
  339. package/dest/kernel/hints/build_transient_data_hints.d.ts +5 -2
  340. package/dest/kernel/hints/build_transient_data_hints.d.ts.map +1 -1
  341. package/dest/kernel/hints/build_transient_data_hints.js +9 -3
  342. package/dest/kernel/hints/find_private_kernel_reset_dimensions.d.ts +1 -1
  343. package/dest/kernel/hints/find_private_kernel_reset_dimensions.d.ts.map +1 -1
  344. package/dest/kernel/hints/find_private_kernel_reset_dimensions.js +1 -3
  345. package/dest/kernel/hints/index.d.ts +2 -2
  346. package/dest/kernel/hints/index.js +2 -2
  347. package/dest/kernel/hints/key_validation_hint.d.ts +3 -2
  348. package/dest/kernel/hints/key_validation_hint.d.ts.map +1 -1
  349. package/dest/kernel/hints/key_validation_hint.js +1 -1
  350. package/dest/kernel/hints/key_validation_request.d.ts +5 -3
  351. package/dest/kernel/hints/key_validation_request.d.ts.map +1 -1
  352. package/dest/kernel/hints/key_validation_request.js +2 -1
  353. package/dest/kernel/hints/key_validation_request_and_separator.d.ts +24 -0
  354. package/dest/kernel/hints/key_validation_request_and_separator.d.ts.map +1 -0
  355. package/dest/kernel/hints/{key_validation_request_and_generator.js → key_validation_request_and_separator.js} +13 -16
  356. package/dest/kernel/hints/note_hash_read_request_hints.d.ts +2 -2
  357. package/dest/kernel/hints/note_hash_read_request_hints.d.ts.map +1 -1
  358. package/dest/kernel/hints/note_hash_read_request_hints.js +1 -1
  359. package/dest/kernel/hints/private_kernel_reset_hints.d.ts +13 -1
  360. package/dest/kernel/hints/private_kernel_reset_hints.d.ts.map +1 -1
  361. package/dest/kernel/hints/read_request.d.ts +8 -2
  362. package/dest/kernel/hints/read_request.d.ts.map +1 -1
  363. package/dest/kernel/hints/read_request.js +1 -1
  364. package/dest/kernel/hints/read_request_hints.d.ts +7 -1
  365. package/dest/kernel/hints/read_request_hints.d.ts.map +1 -1
  366. package/dest/kernel/hints/{scoped_key_validation_request_and_generator.d.ts → scoped_key_validation_request_and_separator.d.ts} +9 -9
  367. package/dest/kernel/hints/{scoped_key_validation_request_and_generator.d.ts.map → scoped_key_validation_request_and_separator.d.ts.map} +1 -1
  368. package/dest/kernel/hints/{scoped_key_validation_request_and_generator.js → scoped_key_validation_request_and_separator.js} +6 -6
  369. package/dest/kernel/hints/scoped_value_cache.d.ts +2 -2
  370. package/dest/kernel/hints/scoped_value_cache.d.ts.map +1 -1
  371. package/dest/kernel/hints/transient_data_squashing_hint.d.ts +2 -2
  372. package/dest/kernel/hints/transient_data_squashing_hint.d.ts.map +1 -1
  373. package/dest/kernel/hints/transient_data_squashing_hint.js +4 -2
  374. package/dest/kernel/hints/tree_leaf_read_request.d.ts +2 -2
  375. package/dest/kernel/hints/tree_leaf_read_request.d.ts.map +1 -1
  376. package/dest/kernel/hints/tree_leaf_read_request.js +1 -1
  377. package/dest/kernel/log_hash.d.ts +2 -2
  378. package/dest/kernel/log_hash.d.ts.map +1 -1
  379. package/dest/kernel/log_hash.js +4 -2
  380. package/dest/kernel/note_hash.d.ts +2 -2
  381. package/dest/kernel/note_hash.d.ts.map +1 -1
  382. package/dest/kernel/note_hash.js +1 -1
  383. package/dest/kernel/nullifier.d.ts +2 -2
  384. package/dest/kernel/nullifier.d.ts.map +1 -1
  385. package/dest/kernel/nullifier.js +1 -1
  386. package/dest/kernel/padded_side_effects.d.ts +2 -2
  387. package/dest/kernel/padded_side_effects.d.ts.map +1 -1
  388. package/dest/kernel/padded_side_effects.js +1 -1
  389. package/dest/kernel/private_accumulated_data.d.ts +23 -1
  390. package/dest/kernel/private_accumulated_data.d.ts.map +1 -1
  391. package/dest/kernel/private_call_data.d.ts +26 -2
  392. package/dest/kernel/private_call_data.d.ts.map +1 -1
  393. package/dest/kernel/private_call_data.js +1 -1
  394. package/dest/kernel/private_call_request.d.ts +17 -2
  395. package/dest/kernel/private_call_request.d.ts.map +1 -1
  396. package/dest/kernel/private_call_request.js +1 -1
  397. package/dest/kernel/private_circuit_public_inputs.d.ts +127 -54
  398. package/dest/kernel/private_circuit_public_inputs.d.ts.map +1 -1
  399. package/dest/kernel/private_circuit_public_inputs.js +72 -72
  400. package/dest/kernel/private_context_inputs.d.ts +2 -2
  401. package/dest/kernel/private_context_inputs.d.ts.map +1 -1
  402. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts +34 -4
  403. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts.map +1 -1
  404. package/dest/kernel/private_kernel_circuit_public_inputs.js +5 -5
  405. package/dest/kernel/private_kernel_data.d.ts +7 -1
  406. package/dest/kernel/private_kernel_data.d.ts.map +1 -1
  407. package/dest/kernel/private_kernel_init_circuit_private_inputs.d.ts +23 -2
  408. package/dest/kernel/private_kernel_init_circuit_private_inputs.d.ts.map +1 -1
  409. package/dest/kernel/private_kernel_init_circuit_private_inputs.js +1 -1
  410. package/dest/kernel/private_kernel_inner_circuit_private_inputs.d.ts +7 -1
  411. package/dest/kernel/private_kernel_inner_circuit_private_inputs.d.ts.map +1 -1
  412. package/dest/kernel/private_kernel_reset_circuit_private_inputs.d.ts +4 -1
  413. package/dest/kernel/private_kernel_reset_circuit_private_inputs.d.ts.map +1 -1
  414. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts +12 -3
  415. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts.map +1 -1
  416. package/dest/kernel/private_kernel_tail_circuit_private_inputs.js +4 -4
  417. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts +27 -4
  418. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts.map +1 -1
  419. package/dest/kernel/private_kernel_tail_circuit_public_inputs.js +12 -8
  420. package/dest/kernel/private_log_data.d.ts +2 -2
  421. package/dest/kernel/private_log_data.d.ts.map +1 -1
  422. package/dest/kernel/private_log_data.js +5 -2
  423. package/dest/kernel/private_to_avm_accumulated_data.d.ts +4 -4
  424. package/dest/kernel/private_to_avm_accumulated_data.d.ts.map +1 -1
  425. package/dest/kernel/private_to_avm_accumulated_data.js +6 -3
  426. package/dest/kernel/private_to_public_accumulated_data.d.ts +2 -2
  427. package/dest/kernel/private_to_public_accumulated_data.d.ts.map +1 -1
  428. package/dest/kernel/private_to_public_accumulated_data.js +4 -2
  429. package/dest/kernel/private_to_public_accumulated_data_builder.d.ts +2 -2
  430. package/dest/kernel/private_to_public_accumulated_data_builder.d.ts.map +1 -1
  431. package/dest/kernel/private_to_public_accumulated_data_builder.js +1 -1
  432. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts +4 -4
  433. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts.map +1 -1
  434. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.js +8 -8
  435. package/dest/kernel/private_to_rollup_accumulated_data.d.ts +18 -2
  436. package/dest/kernel/private_to_rollup_accumulated_data.d.ts.map +1 -1
  437. package/dest/kernel/private_to_rollup_accumulated_data.js +4 -2
  438. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.d.ts +19 -4
  439. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.d.ts.map +1 -1
  440. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.js +8 -8
  441. package/dest/kernel/private_validation_requests.d.ts +13 -4
  442. package/dest/kernel/private_validation_requests.d.ts.map +1 -1
  443. package/dest/kernel/private_validation_requests.js +12 -10
  444. package/dest/kernel/public_call_request.d.ts +23 -2
  445. package/dest/kernel/public_call_request.d.ts.map +1 -1
  446. package/dest/kernel/public_call_request.js +6 -3
  447. package/dest/kernel/utils/optional_number.d.ts +8 -2
  448. package/dest/kernel/utils/optional_number.d.ts.map +1 -1
  449. package/dest/keys/derivation.d.ts +7 -6
  450. package/dest/keys/derivation.d.ts.map +1 -1
  451. package/dest/keys/derivation.js +20 -17
  452. package/dest/keys/key_types.d.ts +3 -3
  453. package/dest/keys/key_types.d.ts.map +1 -1
  454. package/dest/keys/public_key.d.ts +2 -2
  455. package/dest/keys/public_key.d.ts.map +1 -1
  456. package/dest/keys/public_keys.d.ts +7 -2
  457. package/dest/keys/public_keys.d.ts.map +1 -1
  458. package/dest/keys/public_keys.js +5 -4
  459. package/dest/keys/utils.d.ts +1 -1
  460. package/dest/keys/utils.d.ts.map +1 -1
  461. package/dest/keys/utils.js +8 -4
  462. package/dest/kv-store/config.d.ts +17 -0
  463. package/dest/kv-store/config.d.ts.map +1 -0
  464. package/dest/kv-store/config.js +26 -0
  465. package/dest/kv-store/index.d.ts +2 -0
  466. package/dest/kv-store/index.d.ts.map +1 -0
  467. package/dest/kv-store/index.js +1 -0
  468. package/dest/l1-contracts/slash_factory.d.ts +3 -2
  469. package/dest/l1-contracts/slash_factory.d.ts.map +1 -1
  470. package/dest/l1-contracts/slash_factory.js +2 -1
  471. package/dest/logs/contract_class_log.d.ts +2 -2
  472. package/dest/logs/contract_class_log.d.ts.map +1 -1
  473. package/dest/logs/contract_class_log.js +5 -3
  474. package/dest/logs/debug_log.d.ts +2 -2
  475. package/dest/logs/debug_log.d.ts.map +1 -1
  476. package/dest/logs/debug_log.js +1 -1
  477. package/dest/logs/debug_log_store.d.ts +30 -0
  478. package/dest/logs/debug_log_store.d.ts.map +1 -0
  479. package/dest/logs/debug_log_store.js +30 -0
  480. package/dest/logs/extended_contract_class_log.d.ts +3 -1
  481. package/dest/logs/extended_contract_class_log.d.ts.map +1 -1
  482. package/dest/logs/extended_directional_app_tagging_secret.d.ts +47 -0
  483. package/dest/logs/extended_directional_app_tagging_secret.d.ts.map +1 -0
  484. package/dest/logs/{directional_app_tagging_secret.js → extended_directional_app_tagging_secret.js} +26 -17
  485. package/dest/logs/extended_public_log.d.ts +20 -4
  486. package/dest/logs/extended_public_log.d.ts.map +1 -1
  487. package/dest/logs/index.d.ts +6 -3
  488. package/dest/logs/index.d.ts.map +1 -1
  489. package/dest/logs/index.js +5 -2
  490. package/dest/logs/log_filter.d.ts +4 -1
  491. package/dest/logs/log_filter.d.ts.map +1 -1
  492. package/dest/logs/log_filter.js +2 -1
  493. package/dest/logs/log_id.d.ts +29 -11
  494. package/dest/logs/log_id.d.ts.map +1 -1
  495. package/dest/logs/log_id.js +27 -16
  496. package/dest/logs/message_context.d.ts +2 -2
  497. package/dest/logs/message_context.d.ts.map +1 -1
  498. package/dest/logs/message_context.js +1 -1
  499. package/dest/logs/pending_tagged_log.d.ts +2 -2
  500. package/dest/logs/pending_tagged_log.d.ts.map +1 -1
  501. package/dest/logs/pending_tagged_log.js +1 -1
  502. package/dest/logs/pre_tag.d.ts +16 -11
  503. package/dest/logs/pre_tag.d.ts.map +1 -1
  504. package/dest/logs/pre_tag.js +2 -2
  505. package/dest/logs/private_log.d.ts +3 -3
  506. package/dest/logs/private_log.d.ts.map +1 -1
  507. package/dest/logs/private_log.js +6 -3
  508. package/dest/logs/public_log.d.ts +6 -4
  509. package/dest/logs/public_log.d.ts.map +1 -1
  510. package/dest/logs/public_log.js +9 -3
  511. package/dest/logs/shared_secret_derivation.d.ts +2 -2
  512. package/dest/logs/shared_secret_derivation.d.ts.map +1 -1
  513. package/dest/logs/shared_secret_derivation.js +1 -1
  514. package/dest/logs/siloed_tag.d.ts +25 -0
  515. package/dest/logs/siloed_tag.d.ts.map +1 -0
  516. package/dest/logs/siloed_tag.js +32 -0
  517. package/dest/logs/tag.d.ts +21 -0
  518. package/dest/logs/tag.d.ts.map +1 -0
  519. package/dest/logs/tag.js +30 -0
  520. package/dest/logs/tagging_index_range.d.ts +40 -0
  521. package/dest/logs/tagging_index_range.d.ts.map +1 -0
  522. package/dest/logs/tagging_index_range.js +8 -0
  523. package/dest/logs/tx_scoped_l2_log.d.ts +34 -38
  524. package/dest/logs/tx_scoped_l2_log.d.ts.map +1 -1
  525. package/dest/logs/tx_scoped_l2_log.js +46 -44
  526. package/dest/messaging/in_hash.d.ts +5 -3
  527. package/dest/messaging/in_hash.d.ts.map +1 -1
  528. package/dest/messaging/in_hash.js +4 -2
  529. package/dest/messaging/inbox_leaf.d.ts +10 -7
  530. package/dest/messaging/inbox_leaf.d.ts.map +1 -1
  531. package/dest/messaging/inbox_leaf.js +10 -9
  532. package/dest/messaging/l1_actor.d.ts +8 -2
  533. package/dest/messaging/l1_actor.d.ts.map +1 -1
  534. package/dest/messaging/l1_actor.js +2 -2
  535. package/dest/messaging/l1_to_l2_message.d.ts +7 -2
  536. package/dest/messaging/l1_to_l2_message.d.ts.map +1 -1
  537. package/dest/messaging/l1_to_l2_message.js +2 -2
  538. package/dest/messaging/l1_to_l2_message_source.d.ts +9 -11
  539. package/dest/messaging/l1_to_l2_message_source.d.ts.map +1 -1
  540. package/dest/messaging/l2_actor.d.ts +8 -2
  541. package/dest/messaging/l2_actor.d.ts.map +1 -1
  542. package/dest/messaging/l2_actor.js +2 -2
  543. package/dest/messaging/l2_to_l1_membership.d.ts +117 -8
  544. package/dest/messaging/l2_to_l1_membership.d.ts.map +1 -1
  545. package/dest/messaging/l2_to_l1_membership.js +210 -49
  546. package/dest/messaging/l2_to_l1_message.d.ts +3 -2
  547. package/dest/messaging/l2_to_l1_message.d.ts.map +1 -1
  548. package/dest/messaging/l2_to_l1_message.js +4 -1
  549. package/dest/messaging/out_hash.d.ts +42 -4
  550. package/dest/messaging/out_hash.d.ts.map +1 -1
  551. package/dest/messaging/out_hash.js +55 -20
  552. package/dest/noir/index.d.ts +3 -3
  553. package/dest/noir/index.d.ts.map +1 -1
  554. package/dest/note/index.d.ts +1 -2
  555. package/dest/note/index.d.ts.map +1 -1
  556. package/dest/note/index.js +0 -1
  557. package/dest/note/note.d.ts +2 -2
  558. package/dest/note/note.d.ts.map +1 -1
  559. package/dest/note/note.js +5 -2
  560. package/dest/note/note_dao.d.ts +48 -9
  561. package/dest/note/note_dao.d.ts.map +1 -1
  562. package/dest/note/note_dao.js +29 -15
  563. package/dest/p2p/attestation_utils.d.ts +13 -3
  564. package/dest/p2p/attestation_utils.d.ts.map +1 -1
  565. package/dest/p2p/attestation_utils.js +46 -1
  566. package/dest/p2p/block_proposal.d.ts +103 -24
  567. package/dest/p2p/block_proposal.d.ts.map +1 -1
  568. package/dest/p2p/block_proposal.js +140 -40
  569. package/dest/p2p/checkpoint_attestation.d.ts +82 -0
  570. package/dest/p2p/checkpoint_attestation.d.ts.map +1 -0
  571. package/dest/p2p/{block_attestation.js → checkpoint_attestation.js} +24 -20
  572. package/dest/p2p/checkpoint_proposal.d.ts +174 -0
  573. package/dest/p2p/checkpoint_proposal.d.ts.map +1 -0
  574. package/dest/p2p/checkpoint_proposal.js +233 -0
  575. package/dest/p2p/client_type.d.ts +2 -5
  576. package/dest/p2p/client_type.d.ts.map +1 -1
  577. package/dest/p2p/client_type.js +0 -7
  578. package/dest/p2p/consensus_payload.d.ts +21 -12
  579. package/dest/p2p/consensus_payload.d.ts.map +1 -1
  580. package/dest/p2p/consensus_payload.js +25 -20
  581. package/dest/p2p/constants.d.ts +5 -0
  582. package/dest/p2p/constants.d.ts.map +1 -0
  583. package/dest/p2p/constants.js +3 -0
  584. package/dest/p2p/gossipable.d.ts +4 -3
  585. package/dest/p2p/gossipable.d.ts.map +1 -1
  586. package/dest/p2p/gossipable.js +16 -5
  587. package/dest/p2p/index.d.ts +5 -3
  588. package/dest/p2p/index.d.ts.map +1 -1
  589. package/dest/p2p/index.js +4 -2
  590. package/dest/p2p/message_validator.d.ts +18 -3
  591. package/dest/p2p/message_validator.d.ts.map +1 -1
  592. package/dest/p2p/message_validator.js +2 -1
  593. package/dest/p2p/peer_error.d.ts +3 -1
  594. package/dest/p2p/peer_error.d.ts.map +1 -1
  595. package/dest/p2p/peer_error.js +5 -0
  596. package/dest/p2p/signature_utils.d.ts +5 -3
  597. package/dest/p2p/signature_utils.d.ts.map +1 -1
  598. package/dest/p2p/signature_utils.js +5 -2
  599. package/dest/p2p/signed_txs.d.ts +42 -0
  600. package/dest/p2p/signed_txs.d.ts.map +1 -0
  601. package/dest/p2p/signed_txs.js +75 -0
  602. package/dest/p2p/topic_type.d.ts +5 -5
  603. package/dest/p2p/topic_type.d.ts.map +1 -1
  604. package/dest/p2p/topic_type.js +9 -19
  605. package/dest/parity/parity_base_private_inputs.d.ts +4 -2
  606. package/dest/parity/parity_base_private_inputs.d.ts.map +1 -1
  607. package/dest/parity/parity_base_private_inputs.js +1 -1
  608. package/dest/parity/parity_public_inputs.d.ts +5 -2
  609. package/dest/parity/parity_public_inputs.d.ts.map +1 -1
  610. package/dest/parity/parity_public_inputs.js +1 -1
  611. package/dest/parity/parity_root_private_inputs.d.ts +2 -1
  612. package/dest/parity/parity_root_private_inputs.d.ts.map +1 -1
  613. package/dest/proofs/chonk_proof.d.ts +2 -2
  614. package/dest/proofs/chonk_proof.d.ts.map +1 -1
  615. package/dest/proofs/chonk_proof.js +11 -6
  616. package/dest/proofs/proof.d.ts +5 -2
  617. package/dest/proofs/proof.d.ts.map +1 -1
  618. package/dest/proofs/proof.js +1 -1
  619. package/dest/proofs/proof_data.d.ts +13 -1
  620. package/dest/proofs/proof_data.d.ts.map +1 -1
  621. package/dest/proofs/proof_data.js +17 -0
  622. package/dest/proofs/recursive_proof.d.ts +11 -2
  623. package/dest/proofs/recursive_proof.d.ts.map +1 -1
  624. package/dest/proofs/recursive_proof.js +1 -1
  625. package/dest/rollup/avm_proof_data.d.ts +3 -5
  626. package/dest/rollup/avm_proof_data.d.ts.map +1 -1
  627. package/dest/rollup/avm_proof_data.js +1 -9
  628. package/dest/rollup/base_rollup_hints.d.ts +35 -2
  629. package/dest/rollup/base_rollup_hints.d.ts.map +1 -1
  630. package/dest/rollup/base_rollup_hints.js +1 -1
  631. package/dest/rollup/block_constant_data.d.ts +13 -2
  632. package/dest/rollup/block_constant_data.d.ts.map +1 -1
  633. package/dest/rollup/block_constant_data.js +1 -1
  634. package/dest/rollup/block_headers_hash.d.ts +2 -2
  635. package/dest/rollup/block_headers_hash.d.ts.map +1 -1
  636. package/dest/rollup/block_headers_hash.js +2 -2
  637. package/dest/rollup/block_merge_rollup_private_inputs.d.ts +4 -1
  638. package/dest/rollup/block_merge_rollup_private_inputs.d.ts.map +1 -1
  639. package/dest/rollup/block_rollup_public_inputs.d.ts +48 -12
  640. package/dest/rollup/block_rollup_public_inputs.d.ts.map +1 -1
  641. package/dest/rollup/block_rollup_public_inputs.js +9 -13
  642. package/dest/rollup/block_root_rollup_private_inputs.d.ts +65 -2
  643. package/dest/rollup/block_root_rollup_private_inputs.d.ts.map +1 -1
  644. package/dest/rollup/block_root_rollup_private_inputs.js +1 -1
  645. package/dest/rollup/checkpoint_constant_data.d.ts +12 -2
  646. package/dest/rollup/checkpoint_constant_data.d.ts.map +1 -1
  647. package/dest/rollup/checkpoint_constant_data.js +5 -2
  648. package/dest/rollup/checkpoint_header.d.ts +47 -13
  649. package/dest/rollup/checkpoint_header.d.ts.map +1 -1
  650. package/dest/rollup/checkpoint_header.js +55 -22
  651. package/dest/rollup/checkpoint_merge_rollup_private_inputs.d.ts +4 -1
  652. package/dest/rollup/checkpoint_merge_rollup_private_inputs.d.ts.map +1 -1
  653. package/dest/rollup/checkpoint_rollup_public_inputs.d.ts +47 -7
  654. package/dest/rollup/checkpoint_rollup_public_inputs.d.ts.map +1 -1
  655. package/dest/rollup/checkpoint_rollup_public_inputs.js +12 -4
  656. package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts +46 -4
  657. package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts.map +1 -1
  658. package/dest/rollup/checkpoint_root_rollup_private_inputs.js +15 -3
  659. package/dest/rollup/epoch_constant_data.d.ts +17 -2
  660. package/dest/rollup/epoch_constant_data.d.ts.map +1 -1
  661. package/dest/rollup/epoch_constant_data.js +1 -1
  662. package/dest/rollup/public_chonk_verifier_private_inputs.d.ts +2 -2
  663. package/dest/rollup/public_chonk_verifier_private_inputs.d.ts.map +1 -1
  664. package/dest/rollup/public_chonk_verifier_private_inputs.js +1 -1
  665. package/dest/rollup/public_chonk_verifier_public_inputs.d.ts +2 -2
  666. package/dest/rollup/public_chonk_verifier_public_inputs.d.ts.map +1 -1
  667. package/dest/rollup/public_chonk_verifier_public_inputs.js +1 -1
  668. package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts +1 -1
  669. package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts.map +1 -1
  670. package/dest/rollup/public_tx_base_rollup_private_inputs.js +2 -2
  671. package/dest/rollup/root_rollup_private_inputs.d.ts +6 -1
  672. package/dest/rollup/root_rollup_private_inputs.d.ts.map +1 -1
  673. package/dest/rollup/root_rollup_public_inputs.d.ts +22 -7
  674. package/dest/rollup/root_rollup_public_inputs.d.ts.map +1 -1
  675. package/dest/rollup/root_rollup_public_inputs.js +11 -5
  676. package/dest/rollup/tree_snapshot_diff_hints.d.ts +25 -2
  677. package/dest/rollup/tree_snapshot_diff_hints.d.ts.map +1 -1
  678. package/dest/rollup/tree_snapshot_diff_hints.js +1 -1
  679. package/dest/rollup/tx_merge_rollup_private_inputs.d.ts +4 -1
  680. package/dest/rollup/tx_merge_rollup_private_inputs.d.ts.map +1 -1
  681. package/dest/rollup/tx_rollup_public_inputs.d.ts +30 -2
  682. package/dest/rollup/tx_rollup_public_inputs.d.ts.map +1 -1
  683. package/dest/rollup/tx_rollup_public_inputs.js +1 -1
  684. package/dest/schemas/schemas.d.ts +7 -4
  685. package/dest/schemas/schemas.d.ts.map +1 -1
  686. package/dest/schemas/schemas.js +2 -1
  687. package/dest/slashing/empire.d.ts +1 -1
  688. package/dest/slashing/empire.d.ts.map +1 -1
  689. package/dest/slashing/empire.js +2 -0
  690. package/dest/slashing/helpers.d.ts +2 -2
  691. package/dest/slashing/helpers.d.ts.map +1 -1
  692. package/dest/slashing/helpers.js +6 -0
  693. package/dest/slashing/tally.d.ts +8 -2
  694. package/dest/slashing/tally.d.ts.map +1 -1
  695. package/dest/slashing/tally.js +35 -3
  696. package/dest/slashing/types.d.ts +10 -7
  697. package/dest/slashing/types.d.ts.map +1 -1
  698. package/dest/slashing/types.js +18 -6
  699. package/dest/snapshots/types.d.ts +1 -1
  700. package/dest/snapshots/types.d.ts.map +1 -1
  701. package/dest/snapshots/types.js +5 -5
  702. package/dest/stats/stats.d.ts +10 -8
  703. package/dest/stats/stats.d.ts.map +1 -1
  704. package/dest/tests/factories.d.ts +45 -15
  705. package/dest/tests/factories.d.ts.map +1 -1
  706. package/dest/tests/factories.js +118 -70
  707. package/dest/tests/jest.js +1 -1
  708. package/dest/tests/mocks.d.ts +92 -19
  709. package/dest/tests/mocks.d.ts.map +1 -1
  710. package/dest/tests/mocks.js +200 -65
  711. package/dest/timetable/index.d.ts +37 -0
  712. package/dest/timetable/index.d.ts.map +1 -0
  713. package/dest/timetable/index.js +39 -0
  714. package/dest/trees/append_only_tree_snapshot.d.ts +14 -2
  715. package/dest/trees/append_only_tree_snapshot.d.ts.map +1 -1
  716. package/dest/trees/append_only_tree_snapshot.js +4 -2
  717. package/dest/trees/database_public_state_source.d.ts +2 -2
  718. package/dest/trees/database_public_state_source.d.ts.map +1 -1
  719. package/dest/trees/database_public_state_source.js +1 -1
  720. package/dest/trees/nullifier_leaf.d.ts +14 -2
  721. package/dest/trees/nullifier_leaf.d.ts.map +1 -1
  722. package/dest/trees/nullifier_leaf.js +1 -1
  723. package/dest/trees/nullifier_membership_witness.d.ts +11 -2
  724. package/dest/trees/nullifier_membership_witness.d.ts.map +1 -1
  725. package/dest/trees/nullifier_membership_witness.js +1 -1
  726. package/dest/trees/public_data_leaf.d.ts +18 -2
  727. package/dest/trees/public_data_leaf.d.ts.map +1 -1
  728. package/dest/trees/public_data_leaf.js +8 -7
  729. package/dest/trees/public_data_witness.d.ts +12 -2
  730. package/dest/trees/public_data_witness.d.ts.map +1 -1
  731. package/dest/trees/public_data_witness.js +1 -1
  732. package/dest/tx/block_header.d.ts +27 -12
  733. package/dest/tx/block_header.d.ts.map +1 -1
  734. package/dest/tx/block_header.js +20 -5
  735. package/dest/tx/call_context.d.ts +14 -2
  736. package/dest/tx/call_context.d.ts.map +1 -1
  737. package/dest/tx/call_context.js +3 -1
  738. package/dest/tx/capsule.d.ts +5 -2
  739. package/dest/tx/capsule.d.ts.map +1 -1
  740. package/dest/tx/capsule.js +1 -1
  741. package/dest/tx/execution_payload.d.ts +9 -1
  742. package/dest/tx/execution_payload.d.ts.map +1 -1
  743. package/dest/tx/function_data.d.ts +5 -3
  744. package/dest/tx/function_data.d.ts.map +1 -1
  745. package/dest/tx/function_data.js +1 -1
  746. package/dest/tx/global_variable_builder.d.ts +5 -3
  747. package/dest/tx/global_variable_builder.d.ts.map +1 -1
  748. package/dest/tx/global_variables.d.ts +27 -12
  749. package/dest/tx/global_variables.d.ts.map +1 -1
  750. package/dest/tx/global_variables.js +11 -9
  751. package/dest/tx/hashed_values.d.ts +8 -2
  752. package/dest/tx/hashed_values.d.ts.map +1 -1
  753. package/dest/tx/hashed_values.js +1 -1
  754. package/dest/tx/in_tx.d.ts +26 -0
  755. package/dest/tx/in_tx.d.ts.map +1 -0
  756. package/dest/tx/in_tx.js +14 -0
  757. package/dest/tx/index.d.ts +2 -2
  758. package/dest/tx/index.d.ts.map +1 -1
  759. package/dest/tx/index.js +1 -1
  760. package/dest/tx/indexed_tx_effect.d.ts +14 -10
  761. package/dest/tx/indexed_tx_effect.d.ts.map +1 -1
  762. package/dest/tx/indexed_tx_effect.js +8 -6
  763. package/dest/tx/offchain_effect.d.ts +2 -2
  764. package/dest/tx/offchain_effect.d.ts.map +1 -1
  765. package/dest/tx/offchain_effect.js +1 -1
  766. package/dest/tx/partial_state_reference.d.ts +5 -2
  767. package/dest/tx/partial_state_reference.d.ts.map +1 -1
  768. package/dest/tx/private_execution_result.d.ts +30 -13
  769. package/dest/tx/private_execution_result.d.ts.map +1 -1
  770. package/dest/tx/private_execution_result.js +10 -27
  771. package/dest/tx/private_tx_constant_data.d.ts +17 -2
  772. package/dest/tx/private_tx_constant_data.d.ts.map +1 -1
  773. package/dest/tx/private_tx_constant_data.js +1 -1
  774. package/dest/tx/processed_tx.d.ts +5 -4
  775. package/dest/tx/processed_tx.d.ts.map +1 -1
  776. package/dest/tx/processed_tx.js +8 -7
  777. package/dest/tx/profiling.d.ts +166 -31
  778. package/dest/tx/profiling.d.ts.map +1 -1
  779. package/dest/tx/profiling.js +60 -13
  780. package/dest/tx/protocol_contracts.d.ts +3 -3
  781. package/dest/tx/protocol_contracts.d.ts.map +1 -1
  782. package/dest/tx/protocol_contracts.js +3 -3
  783. package/dest/tx/public_call_request_with_calldata.d.ts +8 -2
  784. package/dest/tx/public_call_request_with_calldata.d.ts.map +1 -1
  785. package/dest/tx/public_call_request_with_calldata.js +4 -2
  786. package/dest/tx/public_simulation_output.d.ts +5 -3
  787. package/dest/tx/public_simulation_output.d.ts.map +1 -1
  788. package/dest/tx/public_simulation_output.js +8 -4
  789. package/dest/tx/simulated_tx.d.ts +1143 -8
  790. package/dest/tx/simulated_tx.d.ts.map +1 -1
  791. package/dest/tx/simulated_tx.js +4 -1
  792. package/dest/tx/state_reference.d.ts +4 -2
  793. package/dest/tx/state_reference.d.ts.map +1 -1
  794. package/dest/tx/state_reference.js +3 -1
  795. package/dest/tx/tree_snapshots.d.ts +2 -2
  796. package/dest/tx/tree_snapshots.d.ts.map +1 -1
  797. package/dest/tx/tree_snapshots.js +3 -1
  798. package/dest/tx/tx.d.ts +40 -9
  799. package/dest/tx/tx.d.ts.map +1 -1
  800. package/dest/tx/tx.js +37 -12
  801. package/dest/tx/tx_constant_data.d.ts +2 -2
  802. package/dest/tx/tx_constant_data.d.ts.map +1 -1
  803. package/dest/tx/tx_constant_data.js +1 -1
  804. package/dest/tx/tx_context.d.ts +3 -2
  805. package/dest/tx/tx_context.d.ts.map +1 -1
  806. package/dest/tx/tx_context.js +1 -1
  807. package/dest/tx/tx_effect.d.ts +33 -7
  808. package/dest/tx/tx_effect.d.ts.map +1 -1
  809. package/dest/tx/tx_effect.js +8 -11
  810. package/dest/tx/tx_execution_request.d.ts +31 -2
  811. package/dest/tx/tx_execution_request.d.ts.map +1 -1
  812. package/dest/tx/tx_execution_request.js +7 -3
  813. package/dest/tx/tx_hash.d.ts +3 -2
  814. package/dest/tx/tx_hash.d.ts.map +1 -1
  815. package/dest/tx/tx_hash.js +1 -1
  816. package/dest/tx/tx_receipt.d.ts +69 -15
  817. package/dest/tx/tx_receipt.d.ts.map +1 -1
  818. package/dest/tx/tx_receipt.js +60 -17
  819. package/dest/tx/tx_request.d.ts +7 -2
  820. package/dest/tx/tx_request.d.ts.map +1 -1
  821. package/dest/tx/tx_request.js +4 -4
  822. package/dest/tx/validator/empty_validator.d.ts +2 -2
  823. package/dest/tx/validator/empty_validator.d.ts.map +1 -1
  824. package/dest/tx/validator/error_texts.d.ts +11 -2
  825. package/dest/tx/validator/error_texts.d.ts.map +1 -1
  826. package/dest/tx/validator/error_texts.js +13 -1
  827. package/dest/tx/validator/tx_validator.d.ts +2 -5
  828. package/dest/tx/validator/tx_validator.d.ts.map +1 -1
  829. package/dest/tx/validator/tx_validator.js +4 -4
  830. package/dest/types/shared.d.ts +4 -1
  831. package/dest/types/shared.d.ts.map +1 -1
  832. package/dest/update-checker/index.d.ts +3 -2
  833. package/dest/update-checker/index.d.ts.map +1 -1
  834. package/dest/update-checker/index.js +2 -1
  835. package/dest/update-checker/package_version.d.ts +3 -0
  836. package/dest/update-checker/package_version.d.ts.map +1 -0
  837. package/dest/update-checker/package_version.js +24 -0
  838. package/dest/update-checker/version_checker.d.ts +25 -0
  839. package/dest/update-checker/version_checker.d.ts.map +1 -0
  840. package/dest/update-checker/version_checker.js +50 -0
  841. package/dest/validators/errors.d.ts +7 -2
  842. package/dest/validators/errors.d.ts.map +1 -1
  843. package/dest/validators/errors.js +7 -0
  844. package/dest/validators/schemas.d.ts +38 -38
  845. package/dest/validators/schemas.d.ts.map +1 -1
  846. package/dest/validators/schemas.js +17 -16
  847. package/dest/validators/types.d.ts +3 -3
  848. package/dest/validators/types.d.ts.map +1 -1
  849. package/dest/versioning/versioning.d.ts +5 -3
  850. package/dest/versioning/versioning.d.ts.map +1 -1
  851. package/dest/versioning/versioning.js +4 -1
  852. package/dest/vks/verification_key.d.ts +23 -2
  853. package/dest/vks/verification_key.d.ts.map +1 -1
  854. package/dest/vks/verification_key.js +1 -1
  855. package/dest/vks/vk_data.d.ts +8 -2
  856. package/dest/vks/vk_data.d.ts.map +1 -1
  857. package/dest/vks/vk_data.js +1 -1
  858. package/dest/zkpassport/index.d.ts +4 -5
  859. package/dest/zkpassport/index.d.ts.map +1 -1
  860. package/dest/zkpassport/index.js +11 -11
  861. package/package.json +35 -15
  862. package/src/abi/abi.ts +64 -35
  863. package/src/abi/authorization_selector.ts +3 -2
  864. package/src/abi/buffer.ts +26 -5
  865. package/src/abi/contract_artifact.ts +10 -10
  866. package/src/abi/decoder.ts +16 -7
  867. package/src/abi/encoder.ts +50 -7
  868. package/src/abi/event_metadata_definition.ts +2 -0
  869. package/src/abi/event_selector.ts +3 -2
  870. package/src/abi/function_call.ts +26 -4
  871. package/src/abi/function_selector.ts +11 -2
  872. package/src/abi/note_selector.ts +2 -2
  873. package/src/abi/selector.ts +1 -1
  874. package/src/abi/utils.ts +42 -0
  875. package/src/auth_witness/auth_witness.ts +5 -5
  876. package/src/avm/avm.ts +338 -20
  877. package/src/avm/avm_accumulated_data.ts +1 -1
  878. package/src/avm/avm_circuit_public_inputs.ts +1 -1
  879. package/src/avm/contract_storage_read.ts +1 -1
  880. package/src/avm/contract_storage_update_request.ts +1 -1
  881. package/src/avm/message_pack.ts +2 -1
  882. package/src/avm/public_call_stack_item_compressed.ts +1 -1
  883. package/src/avm/public_data_read.ts +1 -1
  884. package/src/avm/public_data_update_request.ts +1 -1
  885. package/src/avm/public_data_write.ts +1 -1
  886. package/src/avm/public_inner_call_request.ts +1 -1
  887. package/src/avm/revert_code.ts +16 -1
  888. package/src/aztec-address/index.ts +2 -1
  889. package/src/block/attestation_info.ts +10 -7
  890. package/src/block/block_data.ts +26 -0
  891. package/src/block/block_hash.ts +27 -26
  892. package/src/block/block_parameter.ts +10 -0
  893. package/src/block/body.ts +2 -1
  894. package/src/block/checkpointed_l2_block.ts +70 -0
  895. package/src/block/in_block.ts +28 -15
  896. package/src/block/index.ts +3 -4
  897. package/src/block/l2_block.ts +117 -139
  898. package/src/block/l2_block_info.ts +11 -10
  899. package/src/block/l2_block_source.ts +231 -75
  900. package/src/block/l2_block_stream/index.ts +1 -0
  901. package/src/block/l2_block_stream/interfaces.ts +15 -4
  902. package/src/block/l2_block_stream/l2_block_stream.ts +163 -37
  903. package/src/block/l2_block_stream/l2_tips_memory_store.ts +63 -54
  904. package/src/block/l2_block_stream/l2_tips_store_base.ts +226 -0
  905. package/src/block/proposal/attestations_and_signers.ts +1 -1
  906. package/src/block/proposal/committee_attestation.ts +1 -1
  907. package/src/block/test/l2_tips_store_test_suite.ts +486 -36
  908. package/src/block/validate_block_result.ts +40 -35
  909. package/src/checkpoint/checkpoint.ts +125 -28
  910. package/src/checkpoint/checkpoint_data.ts +51 -0
  911. package/src/checkpoint/checkpoint_info.ts +52 -0
  912. package/src/checkpoint/index.ts +3 -0
  913. package/src/checkpoint/published_checkpoint.ts +26 -9
  914. package/src/checkpoint/validate.ts +230 -0
  915. package/src/config/index.ts +2 -0
  916. package/src/config/node-rpc-config.ts +1 -1
  917. package/src/config/pipelining-config.ts +31 -0
  918. package/src/config/sequencer-config.ts +37 -0
  919. package/src/contract/artifact_hash.ts +2 -2
  920. package/src/contract/complete_address.ts +1 -1
  921. package/src/contract/contract_address.ts +9 -9
  922. package/src/contract/contract_class.ts +5 -5
  923. package/src/contract/contract_class_id.ts +9 -8
  924. package/src/contract/contract_instance.ts +1 -1
  925. package/src/contract/contract_instance_update.ts +1 -1
  926. package/src/contract/deployment_info.ts +1 -1
  927. package/src/contract/index.ts +0 -4
  928. package/src/contract/interfaces/contract_class.ts +48 -97
  929. package/src/contract/interfaces/contract_data_source.ts +3 -2
  930. package/src/contract/interfaces/contract_instance.ts +48 -16
  931. package/src/contract/interfaces/contract_instance_update.ts +12 -10
  932. package/src/contract/interfaces/node-info.ts +3 -0
  933. package/src/contract/partial_address.ts +1 -1
  934. package/src/contract/private_function.ts +5 -5
  935. package/src/database-version/database_version.ts +87 -0
  936. package/src/database-version/version_manager.ts +1 -77
  937. package/src/delayed_public_mutable/delayed_public_mutable_values.ts +11 -12
  938. package/src/delayed_public_mutable/delayed_public_mutable_values_with_hash.ts +1 -1
  939. package/src/delayed_public_mutable/scheduled_value_change.ts +1 -1
  940. package/src/deserialization/index.ts +21 -0
  941. package/src/epoch-helpers/index.ts +38 -10
  942. package/src/errors/simulation_error.ts +1 -1
  943. package/src/fees/transaction_fee.ts +1 -1
  944. package/src/file-store/local.ts +15 -5
  945. package/src/file-store/s3.ts +12 -3
  946. package/src/gas/README.md +123 -0
  947. package/src/gas/gas.ts +1 -1
  948. package/src/gas/gas_fees.ts +8 -2
  949. package/src/gas/gas_settings.ts +1 -1
  950. package/src/ha-signing/config.ts +156 -0
  951. package/src/ha-signing/index.ts +27 -0
  952. package/src/ha-signing/local_config.ts +46 -0
  953. package/src/ha-signing/types.ts +112 -0
  954. package/src/hash/hash.ts +44 -21
  955. package/src/hash/map_slot.ts +4 -3
  956. package/src/interfaces/allowed_element.ts +35 -13
  957. package/src/interfaces/api_limit.ts +2 -0
  958. package/src/interfaces/archiver.ts +57 -31
  959. package/src/interfaces/aztec-node-admin.ts +33 -6
  960. package/src/interfaces/aztec-node.ts +180 -176
  961. package/src/interfaces/block-builder.ts +102 -27
  962. package/src/interfaces/configs.ts +99 -37
  963. package/src/interfaces/epoch-prover.ts +4 -4
  964. package/src/interfaces/get_logs_response.ts +13 -9
  965. package/src/interfaces/l2_logs_source.ts +27 -14
  966. package/src/interfaces/merkle_tree_operations.ts +15 -21
  967. package/src/interfaces/p2p.ts +10 -25
  968. package/src/interfaces/prover-broker.ts +22 -0
  969. package/src/interfaces/prover-client.ts +43 -10
  970. package/src/interfaces/proving-job.ts +2 -11
  971. package/src/interfaces/public_state_source.ts +1 -1
  972. package/src/interfaces/server_circuit_prover.ts +3 -3
  973. package/src/interfaces/slasher.ts +28 -22
  974. package/src/interfaces/validator.ts +132 -48
  975. package/src/interfaces/world_state.ts +29 -20
  976. package/src/kernel/claimed_length_array.ts +1 -1
  977. package/src/kernel/hints/build_note_hash_read_request_hints.ts +34 -30
  978. package/src/kernel/hints/build_nullifier_read_request_hints.ts +33 -33
  979. package/src/kernel/hints/build_transient_data_hints.ts +17 -2
  980. package/src/kernel/hints/find_private_kernel_reset_dimensions.ts +2 -4
  981. package/src/kernel/hints/index.ts +2 -2
  982. package/src/kernel/hints/key_validation_hint.ts +1 -1
  983. package/src/kernel/hints/key_validation_request.ts +2 -1
  984. package/src/kernel/hints/key_validation_request_and_separator.ts +49 -0
  985. package/src/kernel/hints/note_hash_read_request_hints.ts +1 -1
  986. package/src/kernel/hints/read_request.ts +1 -1
  987. package/src/kernel/hints/{scoped_key_validation_request_and_generator.ts → scoped_key_validation_request_and_separator.ts} +11 -11
  988. package/src/kernel/hints/scoped_value_cache.ts +1 -1
  989. package/src/kernel/hints/transient_data_squashing_hint.ts +1 -1
  990. package/src/kernel/hints/tree_leaf_read_request.ts +1 -1
  991. package/src/kernel/log_hash.ts +1 -1
  992. package/src/kernel/note_hash.ts +1 -1
  993. package/src/kernel/nullifier.ts +1 -1
  994. package/src/kernel/padded_side_effects.ts +1 -1
  995. package/src/kernel/private_call_data.ts +1 -1
  996. package/src/kernel/private_call_request.ts +1 -1
  997. package/src/kernel/private_circuit_public_inputs.ts +100 -100
  998. package/src/kernel/private_context_inputs.ts +1 -1
  999. package/src/kernel/private_kernel_circuit_public_inputs.ts +3 -3
  1000. package/src/kernel/private_kernel_init_circuit_private_inputs.ts +1 -1
  1001. package/src/kernel/private_kernel_tail_circuit_private_inputs.ts +2 -2
  1002. package/src/kernel/private_kernel_tail_circuit_public_inputs.ts +15 -6
  1003. package/src/kernel/private_log_data.ts +1 -1
  1004. package/src/kernel/private_to_avm_accumulated_data.ts +1 -1
  1005. package/src/kernel/private_to_public_accumulated_data.ts +1 -1
  1006. package/src/kernel/private_to_public_accumulated_data_builder.ts +1 -1
  1007. package/src/kernel/private_to_public_kernel_circuit_public_inputs.ts +7 -7
  1008. package/src/kernel/private_to_rollup_accumulated_data.ts +1 -1
  1009. package/src/kernel/private_to_rollup_kernel_circuit_public_inputs.ts +7 -7
  1010. package/src/kernel/private_validation_requests.ts +8 -8
  1011. package/src/kernel/public_call_request.ts +1 -1
  1012. package/src/kernel/utils/optional_number.ts +1 -1
  1013. package/src/keys/derivation.ts +20 -17
  1014. package/src/keys/key_types.ts +6 -2
  1015. package/src/keys/public_key.ts +1 -1
  1016. package/src/keys/public_keys.ts +5 -4
  1017. package/src/keys/utils.ts +8 -4
  1018. package/src/kv-store/config.ts +36 -0
  1019. package/src/kv-store/index.ts +1 -0
  1020. package/src/l1-contracts/slash_factory.ts +4 -1
  1021. package/src/logs/contract_class_log.ts +2 -2
  1022. package/src/logs/debug_log.ts +1 -1
  1023. package/src/logs/debug_log_store.ts +54 -0
  1024. package/src/logs/{directional_app_tagging_secret.ts → extended_directional_app_tagging_secret.ts} +28 -18
  1025. package/src/logs/index.ts +5 -2
  1026. package/src/logs/log_filter.ts +5 -0
  1027. package/src/logs/log_id.ts +32 -17
  1028. package/src/logs/message_context.ts +1 -1
  1029. package/src/logs/pending_tagged_log.ts +1 -1
  1030. package/src/logs/pre_tag.ts +5 -5
  1031. package/src/logs/private_log.ts +3 -2
  1032. package/src/logs/public_log.ts +12 -3
  1033. package/src/logs/shared_secret_derivation.ts +2 -2
  1034. package/src/logs/siloed_tag.ts +50 -0
  1035. package/src/logs/tag.ts +42 -0
  1036. package/src/logs/tagging_index_range.ts +24 -0
  1037. package/src/logs/tx_scoped_l2_log.ts +62 -43
  1038. package/src/messaging/in_hash.ts +4 -2
  1039. package/src/messaging/inbox_leaf.ts +11 -10
  1040. package/src/messaging/l1_actor.ts +2 -2
  1041. package/src/messaging/l1_to_l2_message.ts +3 -2
  1042. package/src/messaging/l1_to_l2_message_source.ts +8 -11
  1043. package/src/messaging/l2_actor.ts +2 -2
  1044. package/src/messaging/l2_to_l1_membership.ts +253 -61
  1045. package/src/messaging/l2_to_l1_message.ts +5 -1
  1046. package/src/messaging/out_hash.ts +63 -22
  1047. package/src/noir/index.ts +2 -2
  1048. package/src/note/index.ts +0 -1
  1049. package/src/note/note.ts +5 -2
  1050. package/src/note/note_dao.ts +51 -15
  1051. package/src/p2p/attestation_utils.ts +59 -3
  1052. package/src/p2p/block_proposal.ts +214 -48
  1053. package/src/p2p/{block_attestation.ts → checkpoint_attestation.ts} +38 -26
  1054. package/src/p2p/checkpoint_proposal.ts +373 -0
  1055. package/src/p2p/client_type.ts +0 -6
  1056. package/src/p2p/consensus_payload.ts +30 -19
  1057. package/src/p2p/constants.ts +6 -0
  1058. package/src/p2p/gossipable.ts +14 -4
  1059. package/src/p2p/index.ts +4 -2
  1060. package/src/p2p/message_validator.ts +14 -2
  1061. package/src/p2p/peer_error.ts +7 -0
  1062. package/src/p2p/signature_utils.ts +5 -2
  1063. package/src/p2p/signed_txs.ts +88 -0
  1064. package/src/p2p/topic_type.ts +10 -16
  1065. package/src/parity/parity_base_private_inputs.ts +1 -1
  1066. package/src/parity/parity_public_inputs.ts +1 -1
  1067. package/src/proofs/chonk_proof.ts +11 -7
  1068. package/src/proofs/proof.ts +1 -1
  1069. package/src/proofs/proof_data.ts +24 -0
  1070. package/src/proofs/recursive_proof.ts +1 -1
  1071. package/src/rollup/avm_proof_data.ts +2 -9
  1072. package/src/rollup/base_rollup_hints.ts +1 -1
  1073. package/src/rollup/block_constant_data.ts +1 -1
  1074. package/src/rollup/block_headers_hash.ts +2 -2
  1075. package/src/rollup/block_rollup_public_inputs.ts +6 -12
  1076. package/src/rollup/block_root_rollup_private_inputs.ts +1 -1
  1077. package/src/rollup/checkpoint_constant_data.ts +2 -1
  1078. package/src/rollup/checkpoint_header.ts +69 -20
  1079. package/src/rollup/checkpoint_rollup_public_inputs.ts +18 -6
  1080. package/src/rollup/checkpoint_root_rollup_private_inputs.ts +16 -2
  1081. package/src/rollup/epoch_constant_data.ts +1 -1
  1082. package/src/rollup/public_chonk_verifier_private_inputs.ts +1 -1
  1083. package/src/rollup/public_chonk_verifier_public_inputs.ts +1 -1
  1084. package/src/rollup/public_tx_base_rollup_private_inputs.ts +2 -2
  1085. package/src/rollup/root_rollup_public_inputs.ts +17 -8
  1086. package/src/rollup/tree_snapshot_diff_hints.ts +1 -1
  1087. package/src/rollup/tx_rollup_public_inputs.ts +1 -1
  1088. package/src/schemas/schemas.ts +6 -1
  1089. package/src/slashing/empire.ts +3 -1
  1090. package/src/slashing/helpers.ts +8 -0
  1091. package/src/slashing/tally.ts +41 -2
  1092. package/src/slashing/types.ts +38 -20
  1093. package/src/snapshots/types.ts +33 -29
  1094. package/src/stats/stats.ts +10 -7
  1095. package/src/tests/factories.ts +152 -94
  1096. package/src/tests/jest.ts +1 -1
  1097. package/src/tests/mocks.ts +313 -89
  1098. package/src/timetable/index.ts +66 -0
  1099. package/src/trees/append_only_tree_snapshot.ts +1 -1
  1100. package/src/trees/database_public_state_source.ts +1 -1
  1101. package/src/trees/nullifier_leaf.ts +1 -1
  1102. package/src/trees/nullifier_membership_witness.ts +1 -1
  1103. package/src/trees/public_data_leaf.ts +12 -6
  1104. package/src/trees/public_data_witness.ts +1 -1
  1105. package/src/tx/block_header.ts +33 -13
  1106. package/src/tx/call_context.ts +1 -1
  1107. package/src/tx/capsule.ts +1 -1
  1108. package/src/tx/function_data.ts +1 -1
  1109. package/src/tx/global_variable_builder.ts +9 -2
  1110. package/src/tx/global_variables.ts +16 -10
  1111. package/src/tx/hashed_values.ts +1 -1
  1112. package/src/tx/in_tx.ts +24 -0
  1113. package/src/tx/index.ts +1 -1
  1114. package/src/tx/indexed_tx_effect.ts +9 -7
  1115. package/src/tx/offchain_effect.ts +1 -1
  1116. package/src/tx/partial_state_reference.ts +1 -1
  1117. package/src/tx/private_execution_result.ts +10 -25
  1118. package/src/tx/private_tx_constant_data.ts +1 -1
  1119. package/src/tx/processed_tx.ts +19 -16
  1120. package/src/tx/profiling.ts +61 -10
  1121. package/src/tx/protocol_contracts.ts +4 -4
  1122. package/src/tx/public_call_request_with_calldata.ts +1 -1
  1123. package/src/tx/public_simulation_output.ts +5 -1
  1124. package/src/tx/simulated_tx.ts +8 -1
  1125. package/src/tx/state_reference.ts +1 -1
  1126. package/src/tx/tree_snapshots.ts +1 -1
  1127. package/src/tx/tx.ts +42 -24
  1128. package/src/tx/tx_constant_data.ts +1 -1
  1129. package/src/tx/tx_context.ts +1 -1
  1130. package/src/tx/tx_effect.ts +5 -12
  1131. package/src/tx/tx_execution_request.ts +3 -1
  1132. package/src/tx/tx_hash.ts +1 -1
  1133. package/src/tx/tx_receipt.ts +93 -20
  1134. package/src/tx/tx_request.ts +4 -4
  1135. package/src/tx/validator/empty_validator.ts +1 -1
  1136. package/src/tx/validator/error_texts.ts +16 -1
  1137. package/src/tx/validator/tx_validator.ts +9 -7
  1138. package/src/update-checker/index.ts +2 -1
  1139. package/src/update-checker/package_version.ts +30 -0
  1140. package/src/update-checker/version_checker.ts +65 -0
  1141. package/src/validators/errors.ts +10 -1
  1142. package/src/validators/schemas.ts +61 -48
  1143. package/src/validators/types.ts +5 -4
  1144. package/src/versioning/versioning.ts +5 -2
  1145. package/src/vks/verification_key.ts +1 -1
  1146. package/src/vks/vk_data.ts +1 -1
  1147. package/src/zkpassport/index.ts +13 -14
  1148. package/dest/block/l2_block_code_to_purge.d.ts +0 -12
  1149. package/dest/block/l2_block_code_to_purge.d.ts.map +0 -1
  1150. package/dest/block/l2_block_code_to_purge.js +0 -61
  1151. package/dest/block/l2_block_header.d.ts +0 -98
  1152. package/dest/block/l2_block_header.d.ts.map +0 -1
  1153. package/dest/block/l2_block_header.js +0 -153
  1154. package/dest/block/l2_block_new.d.ts +0 -108
  1155. package/dest/block/l2_block_new.d.ts.map +0 -1
  1156. package/dest/block/l2_block_new.js +0 -135
  1157. package/dest/block/l2_block_number.d.ts +0 -5
  1158. package/dest/block/l2_block_number.d.ts.map +0 -1
  1159. package/dest/block/l2_block_number.js +0 -6
  1160. package/dest/block/published_l2_block.d.ts +0 -130
  1161. package/dest/block/published_l2_block.d.ts.map +0 -1
  1162. package/dest/block/published_l2_block.js +0 -48
  1163. package/dest/contract/contract_class_metadata.d.ts +0 -8
  1164. package/dest/contract/contract_class_metadata.d.ts.map +0 -1
  1165. package/dest/contract/contract_class_metadata.js +0 -1
  1166. package/dest/contract/contract_metadata.d.ts +0 -7
  1167. package/dest/contract/contract_metadata.d.ts.map +0 -1
  1168. package/dest/contract/contract_metadata.js +0 -1
  1169. package/dest/contract/private_function_membership_proof.d.ts +0 -32
  1170. package/dest/contract/private_function_membership_proof.d.ts.map +0 -1
  1171. package/dest/contract/private_function_membership_proof.js +0 -124
  1172. package/dest/contract/utility_function_membership_proof.d.ts +0 -27
  1173. package/dest/contract/utility_function_membership_proof.d.ts.map +0 -1
  1174. package/dest/contract/utility_function_membership_proof.js +0 -87
  1175. package/dest/database-version/index.d.ts +0 -2
  1176. package/dest/database-version/index.d.ts.map +0 -1
  1177. package/dest/database-version/index.js +0 -1
  1178. package/dest/kernel/hints/key_validation_request_and_generator.d.ts +0 -25
  1179. package/dest/kernel/hints/key_validation_request_and_generator.d.ts.map +0 -1
  1180. package/dest/logs/directional_app_tagging_secret.d.ts +0 -40
  1181. package/dest/logs/directional_app_tagging_secret.d.ts.map +0 -1
  1182. package/dest/logs/log_with_tx_data.d.ts +0 -19
  1183. package/dest/logs/log_with_tx_data.d.ts.map +0 -1
  1184. package/dest/logs/log_with_tx_data.js +0 -49
  1185. package/dest/note/notes_filter.d.ts +0 -25
  1186. package/dest/note/notes_filter.d.ts.map +0 -1
  1187. package/dest/note/notes_filter.js +0 -10
  1188. package/dest/p2p/block_attestation.d.ts +0 -80
  1189. package/dest/p2p/block_attestation.d.ts.map +0 -1
  1190. package/dest/tx/content_commitment.d.ts +0 -48
  1191. package/dest/tx/content_commitment.d.ts.map +0 -1
  1192. package/dest/tx/content_commitment.js +0 -82
  1193. package/dest/update-checker/update-checker.d.ts +0 -49
  1194. package/dest/update-checker/update-checker.d.ts.map +0 -1
  1195. package/dest/update-checker/update-checker.js +0 -130
  1196. package/src/block/l2_block_code_to_purge.ts +0 -88
  1197. package/src/block/l2_block_header.ts +0 -246
  1198. package/src/block/l2_block_new.ts +0 -171
  1199. package/src/block/l2_block_number.ts +0 -8
  1200. package/src/block/published_l2_block.ts +0 -65
  1201. package/src/contract/contract_class_metadata.ts +0 -8
  1202. package/src/contract/contract_metadata.ts +0 -7
  1203. package/src/contract/private_function_membership_proof.ts +0 -167
  1204. package/src/contract/utility_function_membership_proof.ts +0 -118
  1205. package/src/database-version/index.ts +0 -1
  1206. package/src/kernel/hints/key_validation_request_and_generator.ts +0 -52
  1207. package/src/logs/log_with_tx_data.ts +0 -46
  1208. package/src/note/notes_filter.ts +0 -35
  1209. package/src/tx/content_commitment.ts +0 -104
  1210. package/src/update-checker/update-checker.ts +0 -165
@@ -1,171 +0,0 @@
1
- import { type BlockBlobData, encodeBlockBlobData } from '@aztec/blob-lib/encoding';
2
- import { Fr } from '@aztec/foundation/fields';
3
- import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
4
-
5
- import { z } from 'zod';
6
-
7
- import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
8
- import { BlockHeader } from '../tx/block_header.js';
9
- import { Body } from './body.js';
10
- import type { L2BlockInfo } from './l2_block_info.js';
11
-
12
- /**
13
- * An L2 block with a header and a body.
14
- * TODO: Delete the existing `L2Block` class and rename this to `L2Block`.
15
- */
16
- export class L2BlockNew {
17
- constructor(
18
- /** Snapshot of archive tree after the block is applied. */
19
- public archive: AppendOnlyTreeSnapshot,
20
- /** Header of the block. */
21
- public header: BlockHeader,
22
- /** L2 block body. */
23
- public body: Body,
24
- private blockHash: Fr | undefined = undefined,
25
- ) {}
26
-
27
- get number(): number {
28
- return this.header.globalVariables.blockNumber;
29
- }
30
-
31
- get timestamp(): bigint {
32
- return this.header.globalVariables.timestamp;
33
- }
34
-
35
- static get schema() {
36
- return z
37
- .object({
38
- archive: AppendOnlyTreeSnapshot.schema,
39
- header: BlockHeader.schema,
40
- body: Body.schema,
41
- })
42
- .transform(({ archive, header, body }) => new L2BlockNew(archive, header, body));
43
- }
44
-
45
- /**
46
- * Deserializes a block from a buffer
47
- * @returns A deserialized L2 block.
48
- */
49
- static fromBuffer(buf: Buffer | BufferReader) {
50
- const reader = BufferReader.asReader(buf);
51
- const header = reader.readObject(BlockHeader);
52
- const archive = reader.readObject(AppendOnlyTreeSnapshot);
53
- const body = reader.readObject(Body);
54
-
55
- return new L2BlockNew(archive, header, body);
56
- }
57
-
58
- /**
59
- * Serializes a block
60
- * @returns A serialized L2 block as a Buffer.
61
- */
62
- toBuffer() {
63
- return serializeToBuffer(this.header, this.archive, this.body);
64
- }
65
-
66
- /**
67
- * Returns the block's hash (hash of block header).
68
- * @returns The block's hash.
69
- */
70
- public async hash(): Promise<Fr> {
71
- if (this.blockHash === undefined) {
72
- this.blockHash = await this.header.hash();
73
- }
74
- return this.blockHash;
75
- }
76
-
77
- public toBlobFields(isFirstBlock: boolean): Fr[] {
78
- const blockBlobData = this.toBlockBlobData(isFirstBlock);
79
- return encodeBlockBlobData(blockBlobData);
80
- }
81
-
82
- public toBlockBlobData(isFirstBlock: boolean): BlockBlobData {
83
- return {
84
- blockEndMarker: {
85
- numTxs: this.body.txEffects.length,
86
- timestamp: this.header.globalVariables.timestamp,
87
- blockNumber: this.number,
88
- },
89
- blockEndStateField: {
90
- l1ToL2MessageNextAvailableLeafIndex: this.header.state.l1ToL2MessageTree.nextAvailableLeafIndex,
91
- noteHashNextAvailableLeafIndex: this.header.state.partial.noteHashTree.nextAvailableLeafIndex,
92
- nullifierNextAvailableLeafIndex: this.header.state.partial.nullifierTree.nextAvailableLeafIndex,
93
- publicDataNextAvailableLeafIndex: this.header.state.partial.publicDataTree.nextAvailableLeafIndex,
94
- totalManaUsed: this.header.totalManaUsed.toBigInt(),
95
- },
96
- lastArchiveRoot: this.header.lastArchive.root,
97
- noteHashRoot: this.header.state.partial.noteHashTree.root,
98
- nullifierRoot: this.header.state.partial.nullifierTree.root,
99
- publicDataRoot: this.header.state.partial.publicDataTree.root,
100
- l1ToL2MessageRoot: isFirstBlock ? this.header.state.l1ToL2MessageTree.root : undefined,
101
- txs: this.body.toTxBlobData(),
102
- };
103
- }
104
-
105
- /**
106
- * Creates an L2 block containing random data.
107
- * @param l2BlockNum - The number of the L2 block.
108
- * @param txsPerBlock - The number of transactions to include in the block.
109
- * @param numPublicCallsPerTx - The number of public function calls to include in each transaction.
110
- * @param numPublicLogsPerCall - The number of public logs per 1 public function invocation.
111
- * @param inHash - The hash of the L1 to L2 messages subtree which got inserted in this block.
112
- * @returns The L2 block.
113
- */
114
- static async random(
115
- blockNumber: number,
116
- {
117
- txsPerBlock = 1,
118
- txOptions = {},
119
- makeTxOptions,
120
- ...blockHeaderOverrides
121
- }: {
122
- txsPerBlock?: number;
123
- txOptions?: Partial<Parameters<typeof Body.random>[0]>;
124
- makeTxOptions?: (txIndex: number) => Partial<Parameters<typeof Body.random>[0]>;
125
- } & Partial<Parameters<typeof BlockHeader.random>[0]> = {},
126
- ): Promise<L2BlockNew> {
127
- const archive = new AppendOnlyTreeSnapshot(Fr.random(), blockNumber + 1);
128
- const header = BlockHeader.random({ blockNumber, ...blockHeaderOverrides });
129
- const body = await Body.random({ txsPerBlock, makeTxOptions, ...txOptions });
130
- return new L2BlockNew(archive, header, body);
131
- }
132
-
133
- /**
134
- * Returns stats used for logging.
135
- * @returns Stats on tx count, number, and log size and count.
136
- */
137
- getStats() {
138
- const logsStats = {
139
- privateLogCount: this.body.txEffects.reduce((logCount, txEffect) => logCount + txEffect.privateLogs.length, 0),
140
- publicLogCount: this.body.txEffects.reduce((logCount, txEffect) => logCount + txEffect.publicLogs.length, 0),
141
- contractClassLogCount: this.body.txEffects.reduce(
142
- (logCount, txEffect) => logCount + txEffect.contractClassLogs.length,
143
- 0,
144
- ),
145
- contractClassLogSize: this.body.txEffects.reduce(
146
- (totalLogSize, txEffect) =>
147
- totalLogSize + txEffect.contractClassLogs.reduce((acc, log) => acc + log.emittedLength, 0),
148
- 0,
149
- ),
150
- };
151
-
152
- return {
153
- txCount: this.body.txEffects.length,
154
- blockNumber: this.number,
155
- blockTimestamp: Number(this.header.globalVariables.timestamp),
156
- ...logsStats,
157
- };
158
- }
159
-
160
- toBlockInfo(): L2BlockInfo {
161
- return {
162
- blockHash: this.blockHash,
163
- archive: this.archive.root,
164
- lastArchive: this.header.lastArchive.root,
165
- blockNumber: this.number,
166
- slotNumber: Number(this.header.getSlot()),
167
- txCount: this.body.txEffects.length,
168
- timestamp: this.header.globalVariables.timestamp,
169
- };
170
- }
171
- }
@@ -1,8 +0,0 @@
1
- import { z } from 'zod';
2
-
3
- import { schemas } from '../schemas/index.js';
4
-
5
- export const L2BlockNumberSchema = z.union([schemas.Integer, z.literal('latest')]);
6
-
7
- /** Helper type for a specific L2 block number or the latest block number */
8
- export type L2BlockNumber = z.infer<typeof L2BlockNumberSchema>;
@@ -1,65 +0,0 @@
1
- // Ignoring import issue to fix portable inferred type issue in zod schema
2
- import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
3
- import type { FieldsOf } from '@aztec/foundation/types';
4
-
5
- import { z } from 'zod';
6
-
7
- import { L1PublishedData, PublishedCheckpoint } from '../checkpoint/published_checkpoint.js';
8
- import { L2Block } from './l2_block.js';
9
- import { CommitteeAttestation } from './proposal/committee_attestation.js';
10
-
11
- /**
12
- * @deprecated `PublishedCheckpoint` is what will be retrieved from L1.
13
- * L2 blocks do not need to link to L1PublishedData directly.
14
- * TODO: Create another type (AttestedL2Block?) for an L2 block and its attestations.
15
- */
16
- export class PublishedL2Block {
17
- constructor(
18
- public block: L2Block,
19
- public l1: L1PublishedData,
20
- public attestations: CommitteeAttestation[],
21
- ) {}
22
-
23
- static get schema() {
24
- return z
25
- .object({
26
- block: L2Block.schema,
27
- l1: L1PublishedData.schema,
28
- attestations: z.array(CommitteeAttestation.schema),
29
- })
30
- .transform(obj => PublishedL2Block.fromFields(obj));
31
- }
32
-
33
- static fromBuffer(bufferOrReader: Buffer | BufferReader): PublishedL2Block {
34
- const reader = BufferReader.asReader(bufferOrReader);
35
- const block = reader.readObject(L2Block);
36
- const l1BlockNumber = reader.readBigInt();
37
- const l1BlockHash = reader.readString();
38
- const l1Timestamp = reader.readBigInt();
39
- const attestations = reader.readVector(CommitteeAttestation);
40
- return new PublishedL2Block(block, new L1PublishedData(l1BlockNumber, l1Timestamp, l1BlockHash), attestations);
41
- }
42
-
43
- static fromFields(fields: FieldsOf<PublishedL2Block>) {
44
- return new PublishedL2Block(fields.block, fields.l1, fields.attestations);
45
- }
46
-
47
- public toBuffer(): Buffer {
48
- return serializeToBuffer(
49
- this.block,
50
- this.l1.blockNumber,
51
- this.l1.blockHash,
52
- this.l1.timestamp,
53
- this.attestations.length,
54
- this.attestations,
55
- );
56
- }
57
-
58
- public toPublishedCheckpoint() {
59
- return new PublishedCheckpoint(this.block.toCheckpoint(), this.l1, this.attestations);
60
- }
61
-
62
- static fromPublishedCheckpoint(checkpoint: PublishedCheckpoint) {
63
- return new PublishedL2Block(L2Block.fromCheckpoint(checkpoint.checkpoint), checkpoint.l1, checkpoint.attestations);
64
- }
65
- }
@@ -1,8 +0,0 @@
1
- import type { ContractArtifact } from '../abi/abi.js';
2
- import type { ContractClassWithId } from './interfaces/contract_class.js';
3
-
4
- export interface ContractClassMetadata {
5
- contractClass?: ContractClassWithId | undefined;
6
- isContractClassPubliclyRegistered: boolean;
7
- artifact?: ContractArtifact | undefined;
8
- }
@@ -1,7 +0,0 @@
1
- import type { ContractInstanceWithAddress } from './interfaces/contract_instance.js';
2
-
3
- export interface ContractMetadata {
4
- contractInstance?: ContractInstanceWithAddress | undefined;
5
- isContractInitialized: boolean;
6
- isContractPublished: boolean;
7
- }
@@ -1,167 +0,0 @@
1
- import { poseidon2Hash } from '@aztec/foundation/crypto';
2
- import { Fr } from '@aztec/foundation/fields';
3
- import { createLogger } from '@aztec/foundation/log';
4
- import { computeRootFromSiblingPath } from '@aztec/foundation/trees';
5
-
6
- import { type ContractArtifact, FunctionSelector, FunctionType } from '../abi/index.js';
7
- import {
8
- computeArtifactFunctionTree,
9
- computeArtifactHash,
10
- computeArtifactHashPreimage,
11
- computeFunctionArtifactHash,
12
- computeFunctionMetadataHash,
13
- getArtifactMerkleTreeHasher,
14
- } from './artifact_hash.js';
15
- import { getContractClassPrivateFunctionFromArtifact } from './contract_class.js';
16
- import type {
17
- ContractClassPublic,
18
- ExecutablePrivateFunctionWithMembershipProof,
19
- PrivateFunctionMembershipProof,
20
- } from './interfaces/index.js';
21
- import { computePrivateFunctionLeaf, computePrivateFunctionsTree } from './private_function.js';
22
-
23
- /**
24
- * Creates a membership proof for a private function in a contract class, to be verified via `isValidPrivateFunctionMembershipProof`.
25
- * @param selector - Selector of the function to create the proof for.
26
- * @param artifact - Artifact of the contract class where the function is defined.
27
- */
28
- export async function createPrivateFunctionMembershipProof(
29
- selector: FunctionSelector,
30
- artifact: ContractArtifact,
31
- ): Promise<PrivateFunctionMembershipProof> {
32
- const log = createLogger('circuits:function_membership_proof');
33
-
34
- // Locate private function definition and artifact
35
- const privateFunctions = artifact.functions.filter(fn => fn.functionType === FunctionType.PRIVATE);
36
- const privateFunctionsFromArtifact = await Promise.all(
37
- privateFunctions.map(getContractClassPrivateFunctionFromArtifact),
38
- );
39
- const privateFunction = privateFunctionsFromArtifact.find(fn => fn.selector.equals(selector));
40
- const privateFunctionsAndSelectors = await Promise.all(
41
- privateFunctions.map(async fn => ({
42
- fn,
43
- selector: await FunctionSelector.fromNameAndParameters(fn.name, fn.parameters),
44
- })),
45
- );
46
- const privateFunctionArtifact = privateFunctionsAndSelectors.find(fnAndSelector =>
47
- selector.equals(fnAndSelector.selector),
48
- )?.fn;
49
- if (!privateFunction || !privateFunctionArtifact) {
50
- throw new Error(`Private function with selector ${selector.toString()} not found`);
51
- }
52
-
53
- // Compute preimage for the artifact hash
54
- const { utilityFunctionRoot: utilityFunctionsTreeRoot, metadataHash: artifactMetadataHash } =
55
- await computeArtifactHashPreimage(artifact);
56
-
57
- // We need two sibling paths because private function information is split across two trees:
58
- // The "private function tree" captures the selectors and verification keys, and is used in the kernel circuit for verifying the proof generated by the app circuit.
59
- const functionLeaf = await computePrivateFunctionLeaf(privateFunction);
60
- const functionsTree = await computePrivateFunctionsTree(privateFunctionsFromArtifact);
61
- const functionsTreeLeafIndex = functionsTree.getIndex(functionLeaf);
62
- const functionsTreeSiblingPath = functionsTree.getSiblingPath(functionsTreeLeafIndex).map(Fr.fromBuffer);
63
-
64
- // And the "artifact tree" captures function bytecode and metadata, and is used by the pxe to check that its executing the code it's supposed to be executing, but it never goes into circuits.
65
- const functionMetadataHash = computeFunctionMetadataHash(privateFunctionArtifact);
66
- const functionArtifactHash = await computeFunctionArtifactHash({ ...privateFunctionArtifact, functionMetadataHash });
67
- const artifactTree = (await computeArtifactFunctionTree(artifact, FunctionType.PRIVATE))!;
68
- const artifactTreeLeafIndex = artifactTree.getIndex(functionArtifactHash.toBuffer());
69
- const artifactTreeSiblingPath = artifactTree.getSiblingPath(artifactTreeLeafIndex).map(Fr.fromBuffer);
70
-
71
- log.debug(`Computed proof for private function with selector ${selector.toString()}`, {
72
- functionArtifactHash,
73
- functionMetadataHash,
74
- functionLeaf: '0x' + functionLeaf.toString('hex'),
75
- artifactMetadataHash,
76
- privateFunctionsTreeRoot: '0x' + functionsTree.root.toString('hex'),
77
- utilityFunctionsTreeRoot,
78
- artifactFunctionTreeSiblingPath: artifactTreeSiblingPath.map(fr => fr.toString()).join(','),
79
- privateFunctionTreeSiblingPath: functionsTreeSiblingPath.map(fr => fr.toString()).join(','),
80
- });
81
-
82
- return {
83
- artifactTreeSiblingPath,
84
- artifactTreeLeafIndex,
85
- artifactMetadataHash,
86
- functionMetadataHash,
87
- utilityFunctionsTreeRoot,
88
- privateFunctionTreeSiblingPath: functionsTreeSiblingPath,
89
- privateFunctionTreeLeafIndex: functionsTreeLeafIndex,
90
- };
91
- }
92
-
93
- /**
94
- * Verifies that a private function with a membership proof as emitted by the ClassRegistry contract is valid,
95
- * as defined in the protocol specs at contract-deployment/classes:
96
- *
97
- * ```
98
- * // Load contract class from local db
99
- * contract_class = db.get_contract_class(contract_class_id)
100
- *
101
- * // Compute function leaf and assert it belongs to the private functions tree
102
- * function_leaf = pedersen([selector as Field, vk_hash], GENERATOR__FUNCTION_LEAF)
103
- * computed_private_function_tree_root = compute_root(function_leaf, private_function_tree_sibling_path)
104
- * assert computed_private_function_tree_root == contract_class.private_functions_root
105
- *
106
- * // Compute artifact leaf and assert it belongs to the artifact
107
- * artifact_function_leaf = sha256(selector, metadata_hash, sha256(bytecode))
108
- * computed_artifact_private_function_tree_root = compute_root(artifact_function_leaf, artifact_function_tree_sibling_path)
109
- * computed_artifact_hash = sha256(computed_artifact_private_function_tree_root, utility_functions_artifact_tree_root, artifact_metadata_hash)
110
- * assert computed_artifact_hash == contract_class.artifact_hash
111
- * ```
112
- * @param fn - Function to check membership proof for.
113
- * @param contractClass - In which contract class the function is expected to be.
114
- */
115
- export async function isValidPrivateFunctionMembershipProof(
116
- fn: ExecutablePrivateFunctionWithMembershipProof,
117
- contractClass: Pick<ContractClassPublic, 'privateFunctionsRoot' | 'artifactHash'>,
118
- ) {
119
- const log = createLogger('circuits:function_membership_proof');
120
-
121
- // Check private function tree membership
122
- const functionLeaf = await computePrivateFunctionLeaf(fn);
123
- const rootBuffer = await computeRootFromSiblingPath(
124
- functionLeaf,
125
- fn.privateFunctionTreeSiblingPath.map(fr => fr.toBuffer()),
126
- fn.privateFunctionTreeLeafIndex,
127
- async (left, right) => (await poseidon2Hash([left, right])).toBuffer(),
128
- );
129
- const computedPrivateFunctionTreeRoot = Fr.fromBuffer(rootBuffer);
130
- if (!contractClass.privateFunctionsRoot.equals(computedPrivateFunctionTreeRoot)) {
131
- log.debug(`Private function tree root mismatch`, {
132
- expectedPrivateFunctionTreeRoot: contractClass.privateFunctionsRoot,
133
- computedPrivateFunctionTreeRoot: computedPrivateFunctionTreeRoot,
134
- computedFunctionLeaf: '0x' + functionLeaf.toString('hex'),
135
- });
136
- return false;
137
- }
138
-
139
- // Check artifact hash
140
- const functionArtifactHash = await computeFunctionArtifactHash(fn);
141
- const computedArtifactPrivateFunctionTreeRootBuffer = await computeRootFromSiblingPath(
142
- functionArtifactHash.toBuffer(),
143
- fn.artifactTreeSiblingPath.map(fr => fr.toBuffer()),
144
- fn.artifactTreeLeafIndex,
145
- getArtifactMerkleTreeHasher(),
146
- );
147
- const computedArtifactPrivateFunctionTreeRoot = Fr.fromBuffer(computedArtifactPrivateFunctionTreeRootBuffer);
148
- const computedArtifactHash = await computeArtifactHash({
149
- privateFunctionRoot: computedArtifactPrivateFunctionTreeRoot,
150
- utilityFunctionRoot: fn.utilityFunctionsTreeRoot,
151
- metadataHash: fn.artifactMetadataHash,
152
- });
153
- if (!contractClass.artifactHash.equals(computedArtifactHash)) {
154
- log.debug(`Artifact hash mismatch`, {
155
- expected: contractClass.artifactHash,
156
- computedArtifactHash,
157
- computedFunctionArtifactHash: functionArtifactHash,
158
- computedArtifactPrivateFunctionTreeRoot,
159
- utilityFunctionRoot: fn.utilityFunctionsTreeRoot,
160
- metadataHash: fn.artifactMetadataHash,
161
- artifactFunctionTreeSiblingPath: fn.artifactTreeSiblingPath.map(fr => fr.toString()).join(','),
162
- });
163
- return false;
164
- }
165
-
166
- return true;
167
- }
@@ -1,118 +0,0 @@
1
- import { Fr } from '@aztec/foundation/fields';
2
- import { createLogger } from '@aztec/foundation/log';
3
- import { computeRootFromSiblingPath } from '@aztec/foundation/trees';
4
-
5
- import { type ContractArtifact, FunctionSelector, FunctionType } from '../abi/index.js';
6
- import {
7
- computeArtifactFunctionTree,
8
- computeArtifactHash,
9
- computeArtifactHashPreimage,
10
- computeFunctionArtifactHash,
11
- computeFunctionMetadataHash,
12
- getArtifactMerkleTreeHasher,
13
- } from './artifact_hash.js';
14
- import type {
15
- ContractClassPublic,
16
- UtilityFunctionMembershipProof,
17
- UtilityFunctionWithMembershipProof,
18
- } from './interfaces/index.js';
19
-
20
- /**
21
- * Creates a membership proof for a utility function in a contract class, to be verified via `isValidUtilityFunctionMembershipProof`.
22
- * @param selector - Selector of the function to create the proof for.
23
- * @param artifact - Artifact of the contract class where the function is defined.
24
- */
25
- export async function createUtilityFunctionMembershipProof(
26
- selector: FunctionSelector,
27
- artifact: ContractArtifact,
28
- ): Promise<UtilityFunctionMembershipProof> {
29
- const log = createLogger('circuits:function_membership_proof');
30
-
31
- // Locate function artifact
32
- const utilityFunctions = artifact.functions.filter(fn => fn.functionType === FunctionType.UTILITY);
33
- const utilityFunctionsAndSelectors = await Promise.all(
34
- utilityFunctions.map(async fn => ({ fn, selector: await FunctionSelector.fromNameAndParameters(fn) })),
35
- );
36
- const fn = utilityFunctionsAndSelectors.find(fnAndSelector => selector.equals(fnAndSelector.selector))?.fn;
37
- if (!fn) {
38
- throw new Error(`Utility function with selector ${selector.toString()} not found`);
39
- }
40
- // Compute preimage for the artifact hash
41
- const { privateFunctionRoot: privateFunctionsArtifactTreeRoot, metadataHash: artifactMetadataHash } =
42
- await computeArtifactHashPreimage(artifact);
43
-
44
- // Compute the sibling path for the "artifact tree"
45
- const functionMetadataHash = computeFunctionMetadataHash(fn);
46
- const functionArtifactHash = await computeFunctionArtifactHash({ ...fn, functionMetadataHash });
47
- const artifactTree = (await computeArtifactFunctionTree(artifact, FunctionType.UTILITY))!;
48
- const artifactTreeLeafIndex = artifactTree.getIndex(functionArtifactHash.toBuffer());
49
- const artifactTreeSiblingPath = artifactTree.getSiblingPath(artifactTreeLeafIndex).map(Fr.fromBuffer);
50
-
51
- log.debug(`Computed proof for utility function with selector ${selector.toString()}`, {
52
- functionArtifactHash,
53
- functionMetadataHash,
54
- artifactMetadataHash,
55
- artifactFunctionTreeSiblingPath: artifactTreeSiblingPath.map(fr => fr.toString()).join(','),
56
- privateFunctionsArtifactTreeRoot,
57
- });
58
-
59
- return {
60
- artifactTreeSiblingPath,
61
- artifactTreeLeafIndex,
62
- artifactMetadataHash,
63
- functionMetadataHash,
64
- privateFunctionsArtifactTreeRoot,
65
- };
66
- }
67
-
68
- /**
69
- * Verifies that a utility function with a membership proof as emitted by the ClassRegistry contract is valid,
70
- * as defined in the protocol specs at contract-deployment/classes:
71
- *
72
- * ```
73
- * // Load contract class from local db
74
- * contract_class = db.get_contract_class(contract_class_id)
75
- *
76
- * // Compute artifact leaf and assert it belongs to the artifact
77
- * artifact_function_leaf = sha256(selector, metadata_hash, sha256(bytecode))
78
- * computed_artifact_utility_function_tree_root = compute_root(artifact_function_leaf, artifact_function_tree_sibling_path, artifact_function_tree_leaf_index)
79
- * computed_artifact_hash = sha256(private_functions_artifact_tree_root, computed_artifact_utility_function_tree_root, artifact_metadata_hash)
80
- * assert computed_artifact_hash == contract_class.artifact_hash
81
- * ```
82
- * @param fn - Function to check membership proof for.
83
- * @param contractClass - In which contract class the function is expected to be.
84
- */
85
- export async function isValidUtilityFunctionMembershipProof(
86
- fn: UtilityFunctionWithMembershipProof,
87
- contractClass: Pick<ContractClassPublic, 'artifactHash'>,
88
- ) {
89
- const log = createLogger('circuits:function_membership_proof');
90
-
91
- const functionArtifactHash = await computeFunctionArtifactHash(fn);
92
- const computedArtifactFunctionTreeRootBuffer = await computeRootFromSiblingPath(
93
- functionArtifactHash.toBuffer(),
94
- fn.artifactTreeSiblingPath.map(fr => fr.toBuffer()),
95
- fn.artifactTreeLeafIndex,
96
- getArtifactMerkleTreeHasher(),
97
- );
98
- const computedArtifactFunctionTreeRoot = Fr.fromBuffer(computedArtifactFunctionTreeRootBuffer);
99
- const computedArtifactHash = await computeArtifactHash({
100
- privateFunctionRoot: fn.privateFunctionsArtifactTreeRoot,
101
- utilityFunctionRoot: computedArtifactFunctionTreeRoot,
102
- metadataHash: fn.artifactMetadataHash,
103
- });
104
- if (!contractClass.artifactHash.equals(computedArtifactHash)) {
105
- log.debug(`Artifact hash mismatch`, {
106
- expected: contractClass.artifactHash,
107
- computedArtifactHash,
108
- computedFunctionArtifactHash: functionArtifactHash,
109
- computedArtifactFunctionTreeRoot,
110
- privateFunctionsArtifactTreeRoot: fn.privateFunctionsArtifactTreeRoot,
111
- metadataHash: fn.artifactMetadataHash,
112
- artifactFunctionTreeSiblingPath: fn.artifactTreeSiblingPath.map(fr => fr.toString()).join(','),
113
- });
114
- return false;
115
- }
116
-
117
- return true;
118
- }
@@ -1 +0,0 @@
1
- export * from './version_manager.js';
@@ -1,52 +0,0 @@
1
- import { KEY_VALIDATION_REQUEST_AND_GENERATOR_LENGTH } from '@aztec/constants';
2
- import { Fr } from '@aztec/foundation/fields';
3
- import { BufferReader, FieldReader, serializeToBuffer } from '@aztec/foundation/serialize';
4
-
5
- import { KeyValidationRequest } from './key_validation_request.js';
6
-
7
- /**
8
- * Request for validating keys used in the app and a generator.
9
- */
10
- export class KeyValidationRequestAndGenerator {
11
- constructor(
12
- /** The key validation request. */
13
- public readonly request: KeyValidationRequest,
14
- /**
15
- * The generator index which can be used along with sk_m to derive the sk_app stored in the request.
16
- * Note: This generator constrains that a correct key type gets validated in the kernel.
17
- */
18
- public readonly skAppGenerator: Fr,
19
- ) {}
20
-
21
- toBuffer() {
22
- return serializeToBuffer(this.request, this.skAppGenerator);
23
- }
24
-
25
- static fromBuffer(buffer: Buffer | BufferReader) {
26
- const reader = BufferReader.asReader(buffer);
27
- return new KeyValidationRequestAndGenerator(reader.readObject(KeyValidationRequest), Fr.fromBuffer(reader));
28
- }
29
-
30
- toFields(): Fr[] {
31
- const fields = [...this.request.toFields(), this.skAppGenerator];
32
- if (fields.length !== KEY_VALIDATION_REQUEST_AND_GENERATOR_LENGTH) {
33
- throw new Error(
34
- `Invalid number of fields for KeyValidationRequestAndGenerator. Expected ${KEY_VALIDATION_REQUEST_AND_GENERATOR_LENGTH}, got ${fields.length}`,
35
- );
36
- }
37
- return fields;
38
- }
39
-
40
- static fromFields(fields: Fr[] | FieldReader): KeyValidationRequestAndGenerator {
41
- const reader = FieldReader.asReader(fields);
42
- return new KeyValidationRequestAndGenerator(KeyValidationRequest.fromFields(reader), reader.readField());
43
- }
44
-
45
- isEmpty() {
46
- return this.request.isEmpty() && this.skAppGenerator.isZero();
47
- }
48
-
49
- static empty() {
50
- return new KeyValidationRequestAndGenerator(KeyValidationRequest.empty(), Fr.ZERO);
51
- }
52
- }
@@ -1,46 +0,0 @@
1
- import { MAX_NOTE_HASHES_PER_TX, PRIVATE_LOG_CIPHERTEXT_LEN } from '@aztec/constants';
2
- import { Fr } from '@aztec/foundation/fields';
3
- import { TxHash } from '@aztec/stdlib/tx';
4
-
5
- // This is used as a response for PXE's custom getPublicLogByTag oracle.
6
- export class PublicLogWithTxData {
7
- constructor(
8
- public logPayload: Fr[],
9
- public txHash: TxHash,
10
- public uniqueNoteHashesInTx: Fr[],
11
- public firstNullifierInTx: Fr,
12
- ) {}
13
- }
14
-
15
- // This is used as a response for PXE's custom getPrivateLogByTag oracle.
16
- export class PrivateLogWithTxData {
17
- constructor(
18
- public logPayload: Fr[],
19
- public txHash: TxHash,
20
- public uniqueNoteHashesInTx: Fr[],
21
- public firstNullifierInTx: Fr,
22
- ) {}
23
-
24
- toNoirSerialization(): (Fr | Fr[])[] {
25
- return [
26
- ...toBoundedVecSerialization(this.logPayload, PRIVATE_LOG_CIPHERTEXT_LEN),
27
- this.txHash.hash,
28
- ...toBoundedVecSerialization(this.uniqueNoteHashesInTx, MAX_NOTE_HASHES_PER_TX),
29
- this.firstNullifierInTx,
30
- ];
31
- }
32
-
33
- static noirSerializationOfEmpty(): (Fr | Fr[])[] {
34
- return new PrivateLogWithTxData([], TxHash.zero(), [], new Fr(0)).toNoirSerialization();
35
- }
36
- }
37
-
38
- function toBoundedVecSerialization(array: Fr[], maxLength: number) {
39
- if (array.length > maxLength) {
40
- throw new Error(
41
- `An array of length ${array.length} cannot be converted to a BoundedVec of max length ${maxLength}`,
42
- );
43
- }
44
-
45
- return [array.concat(Array(maxLength - array.length).fill(new Fr(0))), new Fr(array.length)];
46
- }