@aztec/stdlib 5.0.0-private.20260319 → 6.0.0-nightly.20260603

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 (875) hide show
  1. package/dest/abi/abi.d.ts +142 -1081
  2. package/dest/abi/abi.d.ts.map +1 -1
  3. package/dest/abi/abi.js +41 -18
  4. package/dest/abi/authorization_selector.d.ts +4 -7
  5. package/dest/abi/authorization_selector.d.ts.map +1 -1
  6. package/dest/abi/buffer.d.ts +14 -4
  7. package/dest/abi/buffer.d.ts.map +1 -1
  8. package/dest/abi/buffer.js +25 -4
  9. package/dest/abi/contract_artifact.d.ts +1 -1
  10. package/dest/abi/contract_artifact.d.ts.map +1 -1
  11. package/dest/abi/contract_artifact.js +14 -7
  12. package/dest/abi/decoder.d.ts +5 -44
  13. package/dest/abi/decoder.d.ts.map +1 -1
  14. package/dest/abi/decoder.js +12 -67
  15. package/dest/abi/encoder.d.ts +1 -1
  16. package/dest/abi/encoder.d.ts.map +1 -1
  17. package/dest/abi/encoder.js +32 -6
  18. package/dest/abi/event_selector.d.ts +4 -7
  19. package/dest/abi/event_selector.d.ts.map +1 -1
  20. package/dest/abi/function_call.d.ts +7 -25
  21. package/dest/abi/function_call.d.ts.map +1 -1
  22. package/dest/abi/function_selector.d.ts +3 -6
  23. package/dest/abi/function_selector.d.ts.map +1 -1
  24. package/dest/abi/function_selector.js +2 -4
  25. package/dest/abi/function_signature_decoder.d.ts +43 -0
  26. package/dest/abi/function_signature_decoder.d.ts.map +1 -0
  27. package/dest/abi/function_signature_decoder.js +66 -0
  28. package/dest/abi/index.d.ts +2 -1
  29. package/dest/abi/index.d.ts.map +1 -1
  30. package/dest/abi/index.js +1 -0
  31. package/dest/abi/note_selector.d.ts +4 -7
  32. package/dest/abi/note_selector.d.ts.map +1 -1
  33. package/dest/abi/note_selector.js +1 -3
  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 +1 -1
  37. package/dest/abi/utils.d.ts +1 -1
  38. package/dest/abi/utils.d.ts.map +1 -1
  39. package/dest/abi/utils.js +1 -1
  40. package/dest/auth_witness/auth_witness.d.ts +2 -2
  41. package/dest/auth_witness/auth_witness.d.ts.map +1 -1
  42. package/dest/avm/avm.d.ts +1756 -10463
  43. package/dest/avm/avm.d.ts.map +1 -1
  44. package/dest/avm/avm.js +6 -3
  45. package/dest/avm/avm_accumulated_data.d.ts +22 -86
  46. package/dest/avm/avm_accumulated_data.d.ts.map +1 -1
  47. package/dest/avm/avm_circuit_public_inputs.d.ts +180 -932
  48. package/dest/avm/avm_circuit_public_inputs.d.ts.map +1 -1
  49. package/dest/avm/avm_proving_request.d.ts +653 -5446
  50. package/dest/avm/avm_proving_request.d.ts.map +1 -1
  51. package/dest/avm/message_pack.js +12 -3
  52. package/dest/avm/public_data_write.d.ts +6 -12
  53. package/dest/avm/public_data_write.d.ts.map +1 -1
  54. package/dest/avm/revert_code.d.ts +5 -21
  55. package/dest/avm/revert_code.d.ts.map +1 -1
  56. package/dest/avm/revert_code.js +12 -30
  57. package/dest/aztec-address/index.d.ts +8 -8
  58. package/dest/aztec-address/index.d.ts.map +1 -1
  59. package/dest/aztec-address/index.js +9 -6
  60. package/dest/block/attestation_info.d.ts +3 -2
  61. package/dest/block/attestation_info.d.ts.map +1 -1
  62. package/dest/block/attestation_info.js +7 -5
  63. package/dest/block/block_data.d.ts +13 -38
  64. package/dest/block/block_data.d.ts.map +1 -1
  65. package/dest/block/block_data.js +2 -2
  66. package/dest/block/block_hash.d.ts +11 -10
  67. package/dest/block/block_hash.d.ts.map +1 -1
  68. package/dest/block/block_hash.js +10 -9
  69. package/dest/block/block_parameter.d.ts +37 -4
  70. package/dest/block/block_parameter.d.ts.map +1 -1
  71. package/dest/block/block_parameter.js +53 -2
  72. package/dest/block/in_block.d.ts +5 -24
  73. package/dest/block/in_block.d.ts.map +1 -1
  74. package/dest/block/index.d.ts +1 -2
  75. package/dest/block/index.d.ts.map +1 -1
  76. package/dest/block/index.js +0 -1
  77. package/dest/block/l2_block.d.ts +13 -41
  78. package/dest/block/l2_block.d.ts.map +1 -1
  79. package/dest/block/l2_block_info.d.ts +10 -29
  80. package/dest/block/l2_block_info.d.ts.map +1 -1
  81. package/dest/block/l2_block_info.js +6 -5
  82. package/dest/block/l2_block_source.d.ts +199 -352
  83. package/dest/block/l2_block_source.d.ts.map +1 -1
  84. package/dest/block/l2_block_source.js +67 -1
  85. package/dest/block/l2_block_stream/interfaces.d.ts +6 -3
  86. package/dest/block/l2_block_stream/interfaces.d.ts.map +1 -1
  87. package/dest/block/l2_block_stream/l2_block_stream.d.ts +2 -2
  88. package/dest/block/l2_block_stream/l2_block_stream.d.ts.map +1 -1
  89. package/dest/block/l2_block_stream/l2_block_stream.js +44 -17
  90. package/dest/block/l2_block_stream/l2_tips_memory_store.d.ts +3 -1
  91. package/dest/block/l2_block_stream/l2_tips_memory_store.d.ts.map +1 -1
  92. package/dest/block/l2_block_stream/l2_tips_memory_store.js +3 -0
  93. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts +4 -1
  94. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts.map +1 -1
  95. package/dest/block/l2_block_stream/l2_tips_store_base.js +43 -11
  96. package/dest/block/proposal/attestations_and_signers.d.ts +19 -30
  97. package/dest/block/proposal/attestations_and_signers.d.ts.map +1 -1
  98. package/dest/block/proposal/attestations_and_signers.js +26 -18
  99. package/dest/block/proposal/committee_attestation.d.ts +6 -12
  100. package/dest/block/proposal/committee_attestation.d.ts.map +1 -1
  101. package/dest/block/test/l2_tips_store_test_suite.d.ts +1 -1
  102. package/dest/block/test/l2_tips_store_test_suite.d.ts.map +1 -1
  103. package/dest/block/test/l2_tips_store_test_suite.js +5 -4
  104. package/dest/checkpoint/checkpoint.d.ts +30 -96
  105. package/dest/checkpoint/checkpoint.d.ts.map +1 -1
  106. package/dest/checkpoint/checkpoint.js +9 -1
  107. package/dest/checkpoint/checkpoint_data.d.ts +68 -91
  108. package/dest/checkpoint/checkpoint_data.d.ts.map +1 -1
  109. package/dest/checkpoint/checkpoint_data.js +12 -0
  110. package/dest/checkpoint/checkpoint_info.d.ts +7 -23
  111. package/dest/checkpoint/checkpoint_info.d.ts.map +1 -1
  112. package/dest/checkpoint/checkpoint_reexecution_tracker.d.ts +60 -0
  113. package/dest/checkpoint/checkpoint_reexecution_tracker.d.ts.map +1 -0
  114. package/dest/checkpoint/checkpoint_reexecution_tracker.js +108 -0
  115. package/dest/checkpoint/digest.d.ts +18 -0
  116. package/dest/checkpoint/digest.d.ts.map +1 -0
  117. package/dest/checkpoint/digest.js +12 -0
  118. package/dest/checkpoint/index.d.ts +4 -1
  119. package/dest/checkpoint/index.d.ts.map +1 -1
  120. package/dest/checkpoint/index.js +3 -0
  121. package/dest/checkpoint/previous_checkpoint_out_hashes.d.ts +33 -0
  122. package/dest/checkpoint/previous_checkpoint_out_hashes.d.ts.map +1 -0
  123. package/dest/checkpoint/previous_checkpoint_out_hashes.js +45 -0
  124. package/dest/checkpoint/published_checkpoint.d.ts +42 -194
  125. package/dest/checkpoint/published_checkpoint.d.ts.map +1 -1
  126. package/dest/config/chain-config.d.ts +4 -9
  127. package/dest/config/chain-config.d.ts.map +1 -1
  128. package/dest/config/chain-config.js +13 -12
  129. package/dest/config/pipelining-config.d.ts +2 -6
  130. package/dest/config/pipelining-config.d.ts.map +1 -1
  131. package/dest/config/sequencer-config.d.ts +5 -3
  132. package/dest/config/sequencer-config.d.ts.map +1 -1
  133. package/dest/config/sequencer-config.js +18 -4
  134. package/dest/contract/complete_address.d.ts +3 -2
  135. package/dest/contract/complete_address.d.ts.map +1 -1
  136. package/dest/contract/complete_address.js +6 -2
  137. package/dest/contract/contract_address.d.ts +5 -5
  138. package/dest/contract/contract_address.d.ts.map +1 -1
  139. package/dest/contract/contract_address.js +5 -4
  140. package/dest/contract/contract_deployment_data.d.ts +15 -61
  141. package/dest/contract/contract_deployment_data.d.ts.map +1 -1
  142. package/dest/contract/contract_instance.d.ts +4 -2
  143. package/dest/contract/contract_instance.d.ts.map +1 -1
  144. package/dest/contract/contract_instance.js +10 -3
  145. package/dest/contract/index.d.ts +1 -3
  146. package/dest/contract/index.d.ts.map +1 -1
  147. package/dest/contract/index.js +0 -2
  148. package/dest/contract/interfaces/contract_class.d.ts +17 -241
  149. package/dest/contract/interfaces/contract_class.d.ts.map +1 -1
  150. package/dest/contract/interfaces/contract_class.js +1 -28
  151. package/dest/contract/interfaces/contract_instance.d.ts +41 -95
  152. package/dest/contract/interfaces/contract_instance.d.ts.map +1 -1
  153. package/dest/contract/interfaces/contract_instance.js +4 -2
  154. package/dest/contract/interfaces/contract_instance_update.d.ts +6 -26
  155. package/dest/contract/interfaces/contract_instance_update.d.ts.map +1 -1
  156. package/dest/contract/interfaces/protocol_contract_addresses.d.ts +2 -12
  157. package/dest/contract/interfaces/protocol_contract_addresses.d.ts.map +1 -1
  158. package/dest/contract/private_function.d.ts +1 -1
  159. package/dest/contract/private_function.d.ts.map +1 -1
  160. package/dest/contract/private_function.js +2 -4
  161. package/dest/database-version/database_version.d.ts +5 -11
  162. package/dest/database-version/database_version.d.ts.map +1 -1
  163. package/dest/database-version/version_manager.d.ts +6 -2
  164. package/dest/database-version/version_manager.d.ts.map +1 -1
  165. package/dest/database-version/version_manager.js +12 -1
  166. package/dest/epoch-helpers/index.d.ts +10 -22
  167. package/dest/epoch-helpers/index.d.ts.map +1 -1
  168. package/dest/epoch-helpers/index.js +12 -0
  169. package/dest/file-store/factory.d.ts +4 -3
  170. package/dest/file-store/factory.d.ts.map +1 -1
  171. package/dest/file-store/factory.js +2 -2
  172. package/dest/file-store/http.d.ts +9 -2
  173. package/dest/file-store/http.d.ts.map +1 -1
  174. package/dest/file-store/http.js +20 -9
  175. package/dest/file-store/index.d.ts +2 -1
  176. package/dest/file-store/index.d.ts.map +1 -1
  177. package/dest/gas/fee_math.d.ts +49 -0
  178. package/dest/gas/fee_math.d.ts.map +1 -0
  179. package/dest/gas/fee_math.js +80 -0
  180. package/dest/gas/gas.d.ts +9 -14
  181. package/dest/gas/gas.d.ts.map +1 -1
  182. package/dest/gas/gas.js +6 -3
  183. package/dest/gas/gas_fees.d.ts +13 -14
  184. package/dest/gas/gas_fees.d.ts.map +1 -1
  185. package/dest/gas/gas_fees.js +17 -4
  186. package/dest/gas/gas_settings.d.ts +66 -86
  187. package/dest/gas/gas_settings.d.ts.map +1 -1
  188. package/dest/gas/gas_settings.js +56 -9
  189. package/dest/gas/index.d.ts +2 -1
  190. package/dest/gas/index.d.ts.map +1 -1
  191. package/dest/gas/index.js +1 -0
  192. package/dest/ha-signing/config.d.ts +11 -75
  193. package/dest/ha-signing/config.d.ts.map +1 -1
  194. package/dest/ha-signing/config.js +9 -18
  195. package/dest/ha-signing/index.d.ts +2 -2
  196. package/dest/ha-signing/index.d.ts.map +1 -1
  197. package/dest/ha-signing/index.js +1 -1
  198. package/dest/ha-signing/local_config.d.ts +3 -34
  199. package/dest/ha-signing/local_config.d.ts.map +1 -1
  200. package/dest/ha-signing/local_config.js +2 -2
  201. package/dest/ha-signing/types.d.ts +37 -32
  202. package/dest/ha-signing/types.d.ts.map +1 -1
  203. package/dest/ha-signing/types.js +13 -6
  204. package/dest/hash/hash.d.ts +19 -1
  205. package/dest/hash/hash.d.ts.map +1 -1
  206. package/dest/hash/hash.js +39 -2
  207. package/dest/interfaces/allowed_element.d.ts +4 -28
  208. package/dest/interfaces/allowed_element.d.ts.map +1 -1
  209. package/dest/interfaces/api_limit.d.ts +1 -1
  210. package/dest/interfaces/api_limit.js +1 -1
  211. package/dest/interfaces/archiver.d.ts +22 -32
  212. package/dest/interfaces/archiver.d.ts.map +1 -1
  213. package/dest/interfaces/archiver.js +208 -69
  214. package/dest/interfaces/aztec-node-admin.d.ts +65 -303
  215. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  216. package/dest/interfaces/aztec-node-admin.js +59 -16
  217. package/dest/interfaces/aztec-node-debug.d.ts +21 -0
  218. package/dest/interfaces/aztec-node-debug.d.ts.map +1 -0
  219. package/dest/interfaces/aztec-node-debug.js +21 -0
  220. package/dest/interfaces/aztec-node.d.ts +79 -102
  221. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  222. package/dest/interfaces/aztec-node.js +296 -69
  223. package/dest/interfaces/block-builder.d.ts +3 -1
  224. package/dest/interfaces/block-builder.d.ts.map +1 -1
  225. package/dest/interfaces/block_response.d.ts +90 -0
  226. package/dest/interfaces/block_response.d.ts.map +1 -0
  227. package/dest/interfaces/block_response.js +30 -0
  228. package/dest/interfaces/chain_tips.d.ts +50 -0
  229. package/dest/interfaces/chain_tips.d.ts.map +1 -0
  230. package/dest/interfaces/chain_tips.js +11 -0
  231. package/dest/interfaces/checkpoint_parameter.d.ts +14 -0
  232. package/dest/interfaces/checkpoint_parameter.d.ts.map +1 -0
  233. package/dest/interfaces/checkpoint_parameter.js +18 -0
  234. package/dest/interfaces/checkpoint_response.d.ts +122 -0
  235. package/dest/interfaces/checkpoint_response.d.ts.map +1 -0
  236. package/dest/interfaces/checkpoint_response.js +26 -0
  237. package/dest/interfaces/client.d.ts +8 -2
  238. package/dest/interfaces/client.d.ts.map +1 -1
  239. package/dest/interfaces/client.js +7 -1
  240. package/dest/interfaces/configs.d.ts +41 -130
  241. package/dest/interfaces/configs.d.ts.map +1 -1
  242. package/dest/interfaces/configs.js +9 -1
  243. package/dest/interfaces/l1_publish_info.d.ts +29 -0
  244. package/dest/interfaces/l1_publish_info.d.ts.map +1 -0
  245. package/dest/interfaces/l1_publish_info.js +26 -0
  246. package/dest/interfaces/l2_logs_source.d.ts +14 -36
  247. package/dest/interfaces/l2_logs_source.d.ts.map +1 -1
  248. package/dest/interfaces/l2_logs_source.js +5 -0
  249. package/dest/interfaces/merkle_tree_operations.d.ts +4 -3
  250. package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
  251. package/dest/interfaces/p2p-bootstrap.js +8 -2
  252. package/dest/interfaces/p2p.d.ts +15 -5
  253. package/dest/interfaces/p2p.d.ts.map +1 -1
  254. package/dest/interfaces/p2p.js +28 -5
  255. package/dest/interfaces/private_kernel_prover.d.ts +62 -2
  256. package/dest/interfaces/private_kernel_prover.d.ts.map +1 -1
  257. package/dest/interfaces/prover-agent.d.ts +5 -23
  258. package/dest/interfaces/prover-agent.d.ts.map +1 -1
  259. package/dest/interfaces/prover-agent.js +4 -1
  260. package/dest/interfaces/prover-client.d.ts +6 -27
  261. package/dest/interfaces/prover-client.d.ts.map +1 -1
  262. package/dest/interfaces/prover-client.js +0 -3
  263. package/dest/interfaces/prover-node.js +22 -8
  264. package/dest/interfaces/proving-job-source.js +24 -4
  265. package/dest/interfaces/proving-job.d.ts +742 -5793
  266. package/dest/interfaces/proving-job.d.ts.map +1 -1
  267. package/dest/interfaces/proving-job.js +1 -1
  268. package/dest/interfaces/public_storage_override.d.ts +22 -0
  269. package/dest/interfaces/public_storage_override.d.ts.map +1 -0
  270. package/dest/interfaces/public_storage_override.js +7 -0
  271. package/dest/interfaces/server.d.ts +6 -1
  272. package/dest/interfaces/server.d.ts.map +1 -1
  273. package/dest/interfaces/server.js +5 -0
  274. package/dest/interfaces/slasher.d.ts +25 -65
  275. package/dest/interfaces/slasher.d.ts.map +1 -1
  276. package/dest/interfaces/slasher.js +8 -4
  277. package/dest/interfaces/tx_provider.d.ts +6 -1
  278. package/dest/interfaces/tx_provider.d.ts.map +1 -1
  279. package/dest/interfaces/validator.d.ts +48 -248
  280. package/dest/interfaces/validator.d.ts.map +1 -1
  281. package/dest/interfaces/validator.js +5 -1
  282. package/dest/interfaces/world_state.d.ts +2 -2
  283. package/dest/interfaces/world_state.d.ts.map +1 -1
  284. package/dest/kernel/hints/key_validation_request.d.ts +12 -8
  285. package/dest/kernel/hints/key_validation_request.d.ts.map +1 -1
  286. package/dest/kernel/hints/key_validation_request.js +20 -18
  287. package/dest/kernel/index.d.ts +5 -1
  288. package/dest/kernel/index.d.ts.map +1 -1
  289. package/dest/kernel/index.js +4 -0
  290. package/dest/kernel/log_hash.d.ts +6 -2
  291. package/dest/kernel/log_hash.d.ts.map +1 -1
  292. package/dest/kernel/log_hash.js +21 -9
  293. package/dest/kernel/private_circuit_public_inputs.d.ts +2 -2
  294. package/dest/kernel/private_circuit_public_inputs.d.ts.map +1 -1
  295. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts +2 -2
  296. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts.map +1 -1
  297. package/dest/kernel/private_kernel_init_2_circuit_private_inputs.d.ts +23 -0
  298. package/dest/kernel/private_kernel_init_2_circuit_private_inputs.d.ts.map +1 -0
  299. package/dest/kernel/private_kernel_init_2_circuit_private_inputs.js +35 -0
  300. package/dest/kernel/private_kernel_init_3_circuit_private_inputs.d.ts +24 -0
  301. package/dest/kernel/private_kernel_init_3_circuit_private_inputs.d.ts.map +1 -0
  302. package/dest/kernel/private_kernel_init_3_circuit_private_inputs.js +37 -0
  303. package/dest/kernel/private_kernel_inner_2_circuit_private_inputs.d.ts +16 -0
  304. package/dest/kernel/private_kernel_inner_2_circuit_private_inputs.d.ts.map +1 -0
  305. package/dest/kernel/private_kernel_inner_2_circuit_private_inputs.js +23 -0
  306. package/dest/kernel/private_kernel_inner_3_circuit_private_inputs.d.ts +17 -0
  307. package/dest/kernel/private_kernel_inner_3_circuit_private_inputs.d.ts.map +1 -0
  308. package/dest/kernel/private_kernel_inner_3_circuit_private_inputs.js +25 -0
  309. package/dest/kernel/private_kernel_prover_output.d.ts +3 -29
  310. package/dest/kernel/private_kernel_prover_output.d.ts.map +1 -1
  311. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts +9 -6
  312. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts.map +1 -1
  313. package/dest/kernel/private_kernel_tail_circuit_public_inputs.js +22 -7
  314. package/dest/kernel/private_to_avm_accumulated_data.d.ts +25 -69
  315. package/dest/kernel/private_to_avm_accumulated_data.d.ts.map +1 -1
  316. package/dest/kernel/private_to_avm_accumulated_data.js +11 -5
  317. package/dest/kernel/private_to_public_accumulated_data.d.ts +4 -3
  318. package/dest/kernel/private_to_public_accumulated_data.d.ts.map +1 -1
  319. package/dest/kernel/private_to_public_accumulated_data.js +6 -3
  320. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts +5 -4
  321. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts.map +1 -1
  322. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.js +7 -3
  323. package/dest/kernel/private_to_rollup_accumulated_data.d.ts +5 -4
  324. package/dest/kernel/private_to_rollup_accumulated_data.d.ts.map +1 -1
  325. package/dest/kernel/private_to_rollup_accumulated_data.js +6 -3
  326. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.d.ts +5 -4
  327. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.d.ts.map +1 -1
  328. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.js +7 -3
  329. package/dest/kernel/public_call_request.d.ts +15 -30
  330. package/dest/kernel/public_call_request.d.ts.map +1 -1
  331. package/dest/kernel/public_call_request.js +16 -7
  332. package/dest/keys/derivation.d.ts +6 -2
  333. package/dest/keys/derivation.d.ts.map +1 -1
  334. package/dest/keys/derivation.js +16 -6
  335. package/dest/keys/public_key.d.ts +22 -3
  336. package/dest/keys/public_key.d.ts.map +1 -1
  337. package/dest/keys/public_key.js +20 -1
  338. package/dest/keys/public_keys.d.ts +55 -82
  339. package/dest/keys/public_keys.d.ts.map +1 -1
  340. package/dest/keys/public_keys.js +102 -74
  341. package/dest/kv-store/config.d.ts +3 -6
  342. package/dest/kv-store/config.d.ts.map +1 -1
  343. package/dest/kv-store/config.js +2 -7
  344. package/dest/l1-contracts/index.d.ts +2 -2
  345. package/dest/l1-contracts/index.d.ts.map +1 -1
  346. package/dest/l1-contracts/index.js +1 -1
  347. package/dest/logs/app_tagging_secret.d.ts +46 -0
  348. package/dest/logs/app_tagging_secret.d.ts.map +1 -0
  349. package/dest/logs/app_tagging_secret.js +109 -0
  350. package/dest/logs/app_tagging_secret_kind.d.ts +6 -0
  351. package/dest/logs/app_tagging_secret_kind.d.ts.map +1 -0
  352. package/dest/logs/app_tagging_secret_kind.js +4 -0
  353. package/dest/logs/contract_class_log.d.ts +16 -34
  354. package/dest/logs/contract_class_log.d.ts.map +1 -1
  355. package/dest/logs/contract_class_log.js +11 -9
  356. package/dest/logs/index.d.ts +7 -7
  357. package/dest/logs/index.d.ts.map +1 -1
  358. package/dest/logs/index.js +6 -6
  359. package/dest/logs/log_cursor.d.ts +51 -0
  360. package/dest/logs/log_cursor.d.ts.map +1 -0
  361. package/dest/logs/log_cursor.js +82 -0
  362. package/dest/logs/log_result.d.ts +54 -0
  363. package/dest/logs/log_result.d.ts.map +1 -0
  364. package/dest/logs/log_result.js +56 -0
  365. package/dest/logs/logs_query.d.ts +82 -0
  366. package/dest/logs/logs_query.d.ts.map +1 -0
  367. package/dest/logs/logs_query.js +50 -0
  368. package/dest/logs/message_context.d.ts +6 -8
  369. package/dest/logs/message_context.d.ts.map +1 -1
  370. package/dest/logs/message_context.js +27 -9
  371. package/dest/logs/pending_tagged_log.d.ts +2 -3
  372. package/dest/logs/pending_tagged_log.d.ts.map +1 -1
  373. package/dest/logs/pending_tagged_log.js +2 -2
  374. package/dest/logs/pre_tag.d.ts +11 -24
  375. package/dest/logs/pre_tag.d.ts.map +1 -1
  376. package/dest/logs/pre_tag.js +2 -2
  377. package/dest/logs/private_log.d.ts +7 -12
  378. package/dest/logs/private_log.d.ts.map +1 -1
  379. package/dest/logs/private_log.js +6 -3
  380. package/dest/logs/query_all_logs_by_tags.d.ts +24 -0
  381. package/dest/logs/query_all_logs_by_tags.d.ts.map +1 -0
  382. package/dest/logs/query_all_logs_by_tags.js +64 -0
  383. package/dest/logs/shared_secret_derivation.d.ts +11 -10
  384. package/dest/logs/shared_secret_derivation.d.ts.map +1 -1
  385. package/dest/logs/shared_secret_derivation.js +15 -9
  386. package/dest/logs/siloed_tag.d.ts +8 -7
  387. package/dest/logs/siloed_tag.d.ts.map +1 -1
  388. package/dest/logs/siloed_tag.js +13 -3
  389. package/dest/logs/tag.d.ts +5 -6
  390. package/dest/logs/tag.d.ts.map +1 -1
  391. package/dest/logs/tag.js +4 -0
  392. package/dest/logs/tagging_index_range.d.ts +13 -31
  393. package/dest/logs/tagging_index_range.d.ts.map +1 -1
  394. package/dest/logs/tagging_index_range.js +2 -2
  395. package/dest/messaging/append_l1_to_l2_messages.d.ts +9 -0
  396. package/dest/messaging/append_l1_to_l2_messages.d.ts.map +1 -0
  397. package/dest/messaging/append_l1_to_l2_messages.js +12 -0
  398. package/dest/messaging/index.d.ts +2 -1
  399. package/dest/messaging/index.d.ts.map +1 -1
  400. package/dest/messaging/index.js +1 -0
  401. package/dest/messaging/l1_to_l2_message.d.ts +3 -2
  402. package/dest/messaging/l1_to_l2_message.d.ts.map +1 -1
  403. package/dest/messaging/l1_to_l2_message.js +11 -13
  404. package/dest/messaging/l2_to_l1_membership.d.ts +35 -5
  405. package/dest/messaging/l2_to_l1_membership.d.ts.map +1 -1
  406. package/dest/messaging/l2_to_l1_membership.js +52 -7
  407. package/dest/messaging/l2_to_l1_message.d.ts +38 -112
  408. package/dest/messaging/l2_to_l1_message.d.ts.map +1 -1
  409. package/dest/messaging/l2_to_l1_message.js +21 -12
  410. package/dest/noir/index.d.ts +3 -1
  411. package/dest/noir/index.d.ts.map +1 -1
  412. package/dest/note/note.d.ts +2 -2
  413. package/dest/note/note.d.ts.map +1 -1
  414. package/dest/note/note_dao.d.ts +1 -1
  415. package/dest/note/note_dao.d.ts.map +1 -1
  416. package/dest/note/note_dao.js +1 -4
  417. package/dest/p2p/block_proposal.d.ts +31 -14
  418. package/dest/p2p/block_proposal.d.ts.map +1 -1
  419. package/dest/p2p/block_proposal.js +57 -39
  420. package/dest/p2p/checkpoint_attestation.d.ts +15 -9
  421. package/dest/p2p/checkpoint_attestation.d.ts.map +1 -1
  422. package/dest/p2p/checkpoint_attestation.js +23 -24
  423. package/dest/p2p/checkpoint_proposal.d.ts +35 -16
  424. package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
  425. package/dest/p2p/checkpoint_proposal.js +59 -51
  426. package/dest/p2p/consensus_payload.d.ts +26 -20
  427. package/dest/p2p/consensus_payload.d.ts.map +1 -1
  428. package/dest/p2p/consensus_payload.js +38 -19
  429. package/dest/p2p/gossipable.d.ts +4 -4
  430. package/dest/p2p/gossipable.d.ts.map +1 -1
  431. package/dest/p2p/signature_utils.d.ts +28 -19
  432. package/dest/p2p/signature_utils.d.ts.map +1 -1
  433. package/dest/p2p/signature_utils.js +118 -21
  434. package/dest/p2p/signed_txs.d.ts +15 -13
  435. package/dest/p2p/signed_txs.d.ts.map +1 -1
  436. package/dest/p2p/signed_txs.js +26 -24
  437. package/dest/parity/parity_base_private_inputs.d.ts +8 -4
  438. package/dest/parity/parity_base_private_inputs.d.ts.map +1 -1
  439. package/dest/parity/parity_base_private_inputs.js +7 -5
  440. package/dest/parity/parity_public_inputs.d.ts +8 -4
  441. package/dest/parity/parity_public_inputs.d.ts.map +1 -1
  442. package/dest/parity/parity_public_inputs.js +6 -3
  443. package/dest/parity/parity_root_private_inputs.d.ts +2 -2
  444. package/dest/parity/parity_root_private_inputs.d.ts.map +1 -1
  445. package/dest/proofs/chonk_proof.d.ts +57 -7
  446. package/dest/proofs/chonk_proof.d.ts.map +1 -1
  447. package/dest/proofs/chonk_proof.js +112 -15
  448. package/dest/proofs/recursive_proof.d.ts +2 -2
  449. package/dest/proofs/recursive_proof.d.ts.map +1 -1
  450. package/dest/rollup/block_headers_hash.d.ts +1 -1
  451. package/dest/rollup/block_headers_hash.d.ts.map +1 -1
  452. package/dest/rollup/block_headers_hash.js +8 -2
  453. package/dest/rollup/block_merge_rollup_private_inputs.d.ts +2 -2
  454. package/dest/rollup/block_merge_rollup_private_inputs.d.ts.map +1 -1
  455. package/dest/rollup/block_rollup_public_inputs.d.ts +12 -2
  456. package/dest/rollup/block_rollup_public_inputs.d.ts.map +1 -1
  457. package/dest/rollup/block_rollup_public_inputs.js +12 -0
  458. package/dest/rollup/block_root_rollup_private_inputs.d.ts +6 -6
  459. package/dest/rollup/block_root_rollup_private_inputs.d.ts.map +1 -1
  460. package/dest/rollup/checkpoint_merge_rollup_private_inputs.d.ts +2 -2
  461. package/dest/rollup/checkpoint_merge_rollup_private_inputs.d.ts.map +1 -1
  462. package/dest/rollup/checkpoint_rollup_public_inputs.d.ts +9 -2
  463. package/dest/rollup/checkpoint_rollup_public_inputs.d.ts.map +1 -1
  464. package/dest/rollup/checkpoint_rollup_public_inputs.js +9 -0
  465. package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts +5 -5
  466. package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts.map +1 -1
  467. package/dest/rollup/private_tx_base_rollup_private_inputs.d.ts +2 -2
  468. package/dest/rollup/private_tx_base_rollup_private_inputs.d.ts.map +1 -1
  469. package/dest/rollup/public_chonk_verifier_private_inputs.d.ts +2 -2
  470. package/dest/rollup/public_chonk_verifier_private_inputs.d.ts.map +1 -1
  471. package/dest/rollup/public_chonk_verifier_public_inputs.d.ts +2 -2
  472. package/dest/rollup/public_chonk_verifier_public_inputs.d.ts.map +1 -1
  473. package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts +2 -2
  474. package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts.map +1 -1
  475. package/dest/rollup/root_rollup_private_inputs.d.ts +2 -2
  476. package/dest/rollup/root_rollup_private_inputs.d.ts.map +1 -1
  477. package/dest/rollup/root_rollup_public_inputs.d.ts +2 -2
  478. package/dest/rollup/root_rollup_public_inputs.d.ts.map +1 -1
  479. package/dest/rollup/tx_merge_rollup_private_inputs.d.ts +2 -2
  480. package/dest/rollup/tx_merge_rollup_private_inputs.d.ts.map +1 -1
  481. package/dest/rollup/tx_rollup_public_inputs.d.ts +2 -2
  482. package/dest/rollup/tx_rollup_public_inputs.d.ts.map +1 -1
  483. package/dest/schemas/schemas.d.ts +32 -78
  484. package/dest/schemas/schemas.d.ts.map +1 -1
  485. package/dest/schemas/schemas.js +2 -2
  486. package/dest/slashing/helpers.d.ts +2 -2
  487. package/dest/slashing/helpers.d.ts.map +1 -1
  488. package/dest/slashing/helpers.js +10 -7
  489. package/dest/slashing/index.d.ts +2 -3
  490. package/dest/slashing/index.d.ts.map +1 -1
  491. package/dest/slashing/index.js +1 -2
  492. package/dest/slashing/serialization.d.ts +2 -6
  493. package/dest/slashing/serialization.d.ts.map +1 -1
  494. package/dest/slashing/serialization.js +0 -60
  495. package/dest/slashing/types.d.ts +18 -112
  496. package/dest/slashing/types.d.ts.map +1 -1
  497. package/dest/slashing/types.js +16 -24
  498. package/dest/slashing/{tally.d.ts → votes.d.ts} +1 -1
  499. package/dest/slashing/{tally.d.ts.map → votes.d.ts.map} +1 -1
  500. package/dest/slashing/{tally.js → votes.js} +1 -1
  501. package/dest/snapshots/types.d.ts +15 -78
  502. package/dest/snapshots/types.d.ts.map +1 -1
  503. package/dest/stats/stats.d.ts +2 -2
  504. package/dest/stats/stats.d.ts.map +1 -1
  505. package/dest/tests/factories.d.ts +25 -32
  506. package/dest/tests/factories.d.ts.map +1 -1
  507. package/dest/tests/factories.js +82 -82
  508. package/dest/tests/mocks.d.ts +8 -5
  509. package/dest/tests/mocks.d.ts.map +1 -1
  510. package/dest/tests/mocks.js +42 -54
  511. package/dest/timetable/index.d.ts +51 -1
  512. package/dest/timetable/index.d.ts.map +1 -1
  513. package/dest/timetable/index.js +218 -14
  514. package/dest/trees/append_only_tree_snapshot.d.ts +9 -14
  515. package/dest/trees/append_only_tree_snapshot.d.ts.map +1 -1
  516. package/dest/trees/append_only_tree_snapshot.js +6 -3
  517. package/dest/trees/nullifier_leaf.d.ts +19 -42
  518. package/dest/trees/nullifier_leaf.d.ts.map +1 -1
  519. package/dest/trees/nullifier_leaf.js +3 -0
  520. package/dest/trees/nullifier_membership_witness.d.ts +16 -59
  521. package/dest/trees/nullifier_membership_witness.d.ts.map +1 -1
  522. package/dest/trees/nullifier_membership_witness.js +2 -14
  523. package/dest/trees/public_data_leaf.d.ts +21 -53
  524. package/dest/trees/public_data_leaf.d.ts.map +1 -1
  525. package/dest/trees/public_data_witness.d.ts +16 -58
  526. package/dest/trees/public_data_witness.d.ts.map +1 -1
  527. package/dest/tx/block_header.d.ts +5 -4
  528. package/dest/tx/block_header.d.ts.map +1 -1
  529. package/dest/tx/block_header.js +7 -4
  530. package/dest/tx/call_context.d.ts +4 -14
  531. package/dest/tx/call_context.d.ts.map +1 -1
  532. package/dest/tx/capsule.d.ts +7 -3
  533. package/dest/tx/capsule.d.ts.map +1 -1
  534. package/dest/tx/capsule.js +9 -3
  535. package/dest/tx/fee_provider.d.ts +10 -0
  536. package/dest/tx/fee_provider.d.ts.map +1 -0
  537. package/dest/tx/fee_provider.js +1 -0
  538. package/dest/tx/function_data.d.ts +4 -10
  539. package/dest/tx/function_data.d.ts.map +1 -1
  540. package/dest/tx/global_variable_builder.d.ts +3 -4
  541. package/dest/tx/global_variable_builder.d.ts.map +1 -1
  542. package/dest/tx/global_variables.d.ts +16 -49
  543. package/dest/tx/global_variables.d.ts.map +1 -1
  544. package/dest/tx/global_variables.js +8 -12
  545. package/dest/tx/hashed_values.d.ts +4 -3
  546. package/dest/tx/hashed_values.d.ts.map +1 -1
  547. package/dest/tx/hashed_values.js +6 -3
  548. package/dest/tx/in_tx.d.ts +5 -17
  549. package/dest/tx/in_tx.d.ts.map +1 -1
  550. package/dest/tx/index.d.ts +2 -1
  551. package/dest/tx/index.d.ts.map +1 -1
  552. package/dest/tx/index.js +1 -0
  553. package/dest/tx/indexed_tx_effect.d.ts +4 -18
  554. package/dest/tx/indexed_tx_effect.d.ts.map +1 -1
  555. package/dest/tx/indexed_tx_effect.js +1 -2
  556. package/dest/tx/partial_state_reference.d.ts +22 -65
  557. package/dest/tx/partial_state_reference.d.ts.map +1 -1
  558. package/dest/tx/partial_state_reference.js +6 -3
  559. package/dest/tx/private_execution_result.d.ts +6 -16
  560. package/dest/tx/private_execution_result.d.ts.map +1 -1
  561. package/dest/tx/profiling.d.ts +54 -352
  562. package/dest/tx/profiling.d.ts.map +1 -1
  563. package/dest/tx/profiling.js +4 -4
  564. package/dest/tx/protocol_contracts.d.ts +5 -9
  565. package/dest/tx/protocol_contracts.d.ts.map +1 -1
  566. package/dest/tx/proven_tx.d.ts +30 -74
  567. package/dest/tx/proven_tx.d.ts.map +1 -1
  568. package/dest/tx/proven_tx.js +6 -0
  569. package/dest/tx/public_call_request_with_calldata.d.ts +4 -3
  570. package/dest/tx/public_call_request_with_calldata.d.ts.map +1 -1
  571. package/dest/tx/public_call_request_with_calldata.js +6 -3
  572. package/dest/tx/simulated_tx.d.ts +64 -1143
  573. package/dest/tx/simulated_tx.d.ts.map +1 -1
  574. package/dest/tx/simulated_tx.js +13 -11
  575. package/dest/tx/state_reference.d.ts +30 -117
  576. package/dest/tx/state_reference.d.ts.map +1 -1
  577. package/dest/tx/state_reference.js +6 -4
  578. package/dest/tx/tree_snapshots.d.ts +27 -84
  579. package/dest/tx/tree_snapshots.d.ts.map +1 -1
  580. package/dest/tx/tree_snapshots.js +6 -4
  581. package/dest/tx/tx.d.ts +7 -13
  582. package/dest/tx/tx.d.ts.map +1 -1
  583. package/dest/tx/tx.js +22 -23
  584. package/dest/tx/tx_constant_data.d.ts +4 -3
  585. package/dest/tx/tx_constant_data.d.ts.map +1 -1
  586. package/dest/tx/tx_constant_data.js +6 -3
  587. package/dest/tx/tx_context.d.ts +32 -131
  588. package/dest/tx/tx_context.d.ts.map +1 -1
  589. package/dest/tx/tx_context.js +6 -6
  590. package/dest/tx/tx_hash.d.ts +6 -4
  591. package/dest/tx/tx_hash.d.ts.map +1 -1
  592. package/dest/tx/tx_hash.js +13 -5
  593. package/dest/tx/tx_receipt.d.ts +2 -4
  594. package/dest/tx/tx_receipt.d.ts.map +1 -1
  595. package/dest/tx/tx_receipt.js +2 -15
  596. package/dest/tx/validator/error_texts.d.ts +5 -1
  597. package/dest/tx/validator/error_texts.d.ts.map +1 -1
  598. package/dest/tx/validator/error_texts.js +6 -0
  599. package/dest/tx/validator/tx_validator.d.ts +5 -27
  600. package/dest/tx/validator/tx_validator.d.ts.map +1 -1
  601. package/dest/tx/validator/tx_validator.js +0 -4
  602. package/dest/types/shared.d.ts +4 -12
  603. package/dest/types/shared.d.ts.map +1 -1
  604. package/dest/types/shared.js +6 -12
  605. package/dest/update-checker/dev_version.d.ts +3 -0
  606. package/dest/update-checker/dev_version.d.ts.map +1 -0
  607. package/dest/update-checker/dev_version.js +1 -0
  608. package/dest/update-checker/index.d.ts +2 -1
  609. package/dest/update-checker/index.d.ts.map +1 -1
  610. package/dest/update-checker/index.js +1 -0
  611. package/dest/update-checker/package_version.d.ts +6 -3
  612. package/dest/update-checker/package_version.d.ts.map +1 -1
  613. package/dest/update-checker/package_version.js +8 -19
  614. package/dest/validators/schemas.d.ts +147 -614
  615. package/dest/validators/schemas.d.ts.map +1 -1
  616. package/dest/validators/schemas.js +6 -4
  617. package/dest/validators/types.d.ts +20 -3
  618. package/dest/validators/types.d.ts.map +1 -1
  619. package/dest/versioning/versioning.js +1 -1
  620. package/dest/vks/verification_key.d.ts +4 -139
  621. package/dest/vks/verification_key.d.ts.map +1 -1
  622. package/dest/vks/verification_key.js +5 -126
  623. package/dest/world-state/genesis_data.d.ts +13 -0
  624. package/dest/world-state/genesis_data.d.ts.map +1 -0
  625. package/dest/world-state/genesis_data.js +7 -0
  626. package/dest/world-state/index.d.ts +2 -1
  627. package/dest/world-state/index.d.ts.map +1 -1
  628. package/dest/world-state/index.js +1 -0
  629. package/dest/world-state/world_state_revision.d.ts +15 -26
  630. package/dest/world-state/world_state_revision.d.ts.map +1 -1
  631. package/dest/world-state/world_state_revision.js +7 -1
  632. package/package.json +12 -11
  633. package/src/abi/abi.ts +78 -21
  634. package/src/abi/authorization_selector.ts +2 -8
  635. package/src/abi/buffer.ts +25 -4
  636. package/src/abi/contract_artifact.ts +11 -6
  637. package/src/abi/decoder.ts +23 -78
  638. package/src/abi/encoder.ts +42 -6
  639. package/src/abi/event_selector.ts +2 -8
  640. package/src/abi/function_selector.ts +4 -13
  641. package/src/abi/function_signature_decoder.ts +77 -0
  642. package/src/abi/index.ts +1 -0
  643. package/src/abi/note_selector.ts +3 -12
  644. package/src/abi/selector.ts +1 -1
  645. package/src/abi/utils.ts +6 -4
  646. package/src/avm/avm.ts +5 -0
  647. package/src/avm/message_pack.ts +12 -3
  648. package/src/avm/revert_code.ts +19 -39
  649. package/src/aztec-address/index.ts +15 -12
  650. package/src/block/attestation_info.ts +11 -11
  651. package/src/block/block_data.ts +3 -4
  652. package/src/block/block_hash.ts +21 -14
  653. package/src/block/block_parameter.ts +72 -4
  654. package/src/block/index.ts +0 -1
  655. package/src/block/l2_block_info.ts +8 -6
  656. package/src/block/l2_block_source.ts +194 -142
  657. package/src/block/l2_block_stream/interfaces.ts +6 -2
  658. package/src/block/l2_block_stream/l2_block_stream.ts +39 -28
  659. package/src/block/l2_block_stream/l2_tips_memory_store.ts +5 -0
  660. package/src/block/l2_block_stream/l2_tips_store_base.ts +53 -19
  661. package/src/block/proposal/attestations_and_signers.ts +32 -17
  662. package/src/block/test/l2_tips_store_test_suite.ts +10 -3
  663. package/src/checkpoint/checkpoint.ts +11 -1
  664. package/src/checkpoint/checkpoint_data.ts +44 -4
  665. package/src/checkpoint/checkpoint_reexecution_tracker.ts +167 -0
  666. package/src/checkpoint/digest.ts +28 -0
  667. package/src/checkpoint/index.ts +3 -0
  668. package/src/checkpoint/previous_checkpoint_out_hashes.ts +61 -0
  669. package/src/config/chain-config.ts +13 -16
  670. package/src/config/sequencer-config.ts +34 -6
  671. package/src/contract/complete_address.ts +7 -3
  672. package/src/contract/contract_address.ts +6 -6
  673. package/src/contract/contract_instance.ts +11 -2
  674. package/src/contract/index.ts +0 -2
  675. package/src/contract/interfaces/contract_class.ts +2 -82
  676. package/src/contract/interfaces/contract_instance.ts +6 -2
  677. package/src/contract/private_function.ts +3 -1
  678. package/src/database-version/version_manager.ts +17 -0
  679. package/src/epoch-helpers/index.ts +24 -0
  680. package/src/file-store/factory.ts +13 -4
  681. package/src/file-store/http.ts +29 -10
  682. package/src/file-store/index.ts +1 -0
  683. package/src/gas/README.md +31 -0
  684. package/src/gas/fee_math.ts +120 -0
  685. package/src/gas/gas.ts +8 -3
  686. package/src/gas/gas_fees.ts +26 -13
  687. package/src/gas/gas_settings.ts +73 -15
  688. package/src/gas/index.ts +1 -0
  689. package/src/ha-signing/config.ts +14 -18
  690. package/src/ha-signing/index.ts +3 -1
  691. package/src/ha-signing/local_config.ts +2 -2
  692. package/src/ha-signing/types.ts +48 -34
  693. package/src/hash/hash.ts +34 -2
  694. package/src/interfaces/api_limit.ts +1 -1
  695. package/src/interfaces/archiver.ts +82 -92
  696. package/src/interfaces/aztec-node-admin.ts +35 -20
  697. package/src/interfaces/aztec-node-debug.ts +40 -0
  698. package/src/interfaces/aztec-node.ts +253 -252
  699. package/src/interfaces/block-builder.ts +2 -0
  700. package/src/interfaces/block_response.ts +92 -0
  701. package/src/interfaces/chain_tips.ts +24 -0
  702. package/src/interfaces/checkpoint_parameter.ts +20 -0
  703. package/src/interfaces/checkpoint_response.ts +84 -0
  704. package/src/interfaces/client.ts +7 -1
  705. package/src/interfaces/configs.ts +40 -1
  706. package/src/interfaces/l1_publish_info.ts +40 -0
  707. package/src/interfaces/l2_logs_source.ts +13 -42
  708. package/src/interfaces/merkle_tree_operations.ts +3 -2
  709. package/src/interfaces/p2p-bootstrap.ts +2 -2
  710. package/src/interfaces/p2p.ts +35 -15
  711. package/src/interfaces/private_kernel_prover.ts +88 -0
  712. package/src/interfaces/prover-agent.ts +1 -1
  713. package/src/interfaces/prover-client.ts +2 -5
  714. package/src/interfaces/prover-node.ts +7 -7
  715. package/src/interfaces/proving-job-source.ts +4 -4
  716. package/src/interfaces/proving-job.ts +3 -3
  717. package/src/interfaces/public_storage_override.ts +26 -0
  718. package/src/interfaces/server.ts +5 -0
  719. package/src/interfaces/slasher.ts +17 -10
  720. package/src/interfaces/tx_provider.ts +6 -0
  721. package/src/interfaces/validator.ts +34 -15
  722. package/src/interfaces/world_state.ts +1 -1
  723. package/src/kernel/hints/key_validation_request.ts +18 -16
  724. package/src/kernel/index.ts +4 -0
  725. package/src/kernel/log_hash.ts +29 -9
  726. package/src/kernel/private_kernel_init_2_circuit_private_inputs.ts +49 -0
  727. package/src/kernel/private_kernel_init_3_circuit_private_inputs.ts +52 -0
  728. package/src/kernel/private_kernel_inner_2_circuit_private_inputs.ts +29 -0
  729. package/src/kernel/private_kernel_inner_3_circuit_private_inputs.ts +31 -0
  730. package/src/kernel/private_kernel_tail_circuit_public_inputs.ts +29 -14
  731. package/src/kernel/private_to_avm_accumulated_data.ts +16 -5
  732. package/src/kernel/private_to_public_accumulated_data.ts +9 -3
  733. package/src/kernel/private_to_public_kernel_circuit_public_inputs.ts +10 -4
  734. package/src/kernel/private_to_rollup_accumulated_data.ts +8 -3
  735. package/src/kernel/private_to_rollup_kernel_circuit_public_inputs.ts +9 -9
  736. package/src/kernel/public_call_request.ts +22 -7
  737. package/src/keys/derivation.ts +21 -9
  738. package/src/keys/public_key.ts +26 -2
  739. package/src/keys/public_keys.ts +124 -110
  740. package/src/kv-store/config.ts +3 -10
  741. package/src/l1-contracts/index.ts +1 -1
  742. package/src/logs/app_tagging_secret.ts +137 -0
  743. package/src/logs/app_tagging_secret_kind.ts +6 -0
  744. package/src/logs/contract_class_log.ts +15 -5
  745. package/src/logs/index.ts +6 -6
  746. package/src/logs/log_cursor.ts +110 -0
  747. package/src/logs/log_result.ts +104 -0
  748. package/src/logs/logs_query.ts +138 -0
  749. package/src/logs/message_context.ts +22 -8
  750. package/src/logs/pending_tagged_log.ts +1 -3
  751. package/src/logs/pre_tag.ts +3 -6
  752. package/src/logs/private_log.ts +9 -3
  753. package/src/logs/query_all_logs_by_tags.ts +98 -0
  754. package/src/logs/shared_secret_derivation.ts +21 -10
  755. package/src/logs/siloed_tag.ts +20 -11
  756. package/src/logs/tag.ts +8 -8
  757. package/src/logs/tagging_index_range.ts +4 -10
  758. package/src/messaging/append_l1_to_l2_messages.ts +21 -0
  759. package/src/messaging/index.ts +1 -0
  760. package/src/messaging/l1_to_l2_message.ts +12 -9
  761. package/src/messaging/l2_to_l1_membership.ts +85 -13
  762. package/src/messaging/l2_to_l1_message.ts +29 -9
  763. package/src/noir/index.ts +2 -0
  764. package/src/note/note_dao.ts +1 -4
  765. package/src/p2p/block_proposal.ts +111 -36
  766. package/src/p2p/checkpoint_attestation.ts +27 -31
  767. package/src/p2p/checkpoint_proposal.ts +128 -73
  768. package/src/p2p/consensus_payload.ts +59 -28
  769. package/src/p2p/gossipable.ts +4 -4
  770. package/src/p2p/signature_utils.ts +110 -25
  771. package/src/p2p/signed_txs.ts +46 -28
  772. package/src/parity/parity_base_private_inputs.ts +10 -4
  773. package/src/parity/parity_public_inputs.ts +9 -2
  774. package/src/proofs/chonk_proof.ts +132 -12
  775. package/src/rollup/block_headers_hash.ts +11 -2
  776. package/src/rollup/block_rollup_public_inputs.ts +13 -0
  777. package/src/rollup/checkpoint_rollup_public_inputs.ts +10 -0
  778. package/src/schemas/schemas.ts +6 -1
  779. package/src/slashing/helpers.ts +13 -9
  780. package/src/slashing/index.ts +1 -2
  781. package/src/slashing/serialization.ts +1 -81
  782. package/src/slashing/types.ts +24 -49
  783. package/src/slashing/{tally.ts → votes.ts} +1 -1
  784. package/src/stats/stats.ts +4 -0
  785. package/src/tests/factories.ts +103 -111
  786. package/src/tests/mocks.ts +66 -70
  787. package/src/timetable/index.ts +308 -13
  788. package/src/trees/append_only_tree_snapshot.ts +8 -3
  789. package/src/trees/nullifier_leaf.ts +4 -0
  790. package/src/trees/nullifier_membership_witness.ts +2 -12
  791. package/src/tx/block_header.ts +10 -5
  792. package/src/tx/capsule.ts +10 -2
  793. package/src/tx/fee_provider.ts +10 -0
  794. package/src/tx/global_variable_builder.ts +2 -3
  795. package/src/tx/global_variables.ts +10 -18
  796. package/src/tx/hashed_values.ts +8 -3
  797. package/src/tx/index.ts +1 -0
  798. package/src/tx/indexed_tx_effect.ts +1 -2
  799. package/src/tx/partial_state_reference.ts +8 -3
  800. package/src/tx/profiling.ts +4 -4
  801. package/src/tx/proven_tx.ts +6 -0
  802. package/src/tx/public_call_request_with_calldata.ts +8 -3
  803. package/src/tx/simulated_tx.ts +22 -21
  804. package/src/tx/state_reference.ts +9 -4
  805. package/src/tx/tree_snapshots.ts +9 -4
  806. package/src/tx/tx.ts +33 -24
  807. package/src/tx/tx_constant_data.ts +8 -3
  808. package/src/tx/tx_context.ts +8 -3
  809. package/src/tx/tx_hash.ts +20 -5
  810. package/src/tx/tx_receipt.ts +2 -14
  811. package/src/tx/validator/error_texts.ts +8 -0
  812. package/src/tx/validator/tx_validator.ts +1 -5
  813. package/src/types/shared.ts +8 -13
  814. package/src/update-checker/dev_version.ts +2 -0
  815. package/src/update-checker/index.ts +1 -0
  816. package/src/update-checker/package_version.ts +10 -23
  817. package/src/validators/schemas.ts +6 -4
  818. package/src/validators/types.ts +21 -2
  819. package/src/versioning/versioning.ts +1 -1
  820. package/src/vks/verification_key.ts +5 -184
  821. package/src/world-state/genesis_data.ts +27 -0
  822. package/src/world-state/index.ts +1 -0
  823. package/src/world-state/world_state_revision.ts +9 -1
  824. package/dest/abi/mocked_keys.d.ts +0 -2
  825. package/dest/abi/mocked_keys.d.ts.map +0 -1
  826. package/dest/abi/mocked_keys.js +0 -1
  827. package/dest/block/checkpointed_l2_block.d.ts +0 -150
  828. package/dest/block/checkpointed_l2_block.d.ts.map +0 -1
  829. package/dest/block/checkpointed_l2_block.js +0 -46
  830. package/dest/contract/private_function_membership_proof.d.ts +0 -32
  831. package/dest/contract/private_function_membership_proof.d.ts.map +0 -1
  832. package/dest/contract/private_function_membership_proof.js +0 -124
  833. package/dest/contract/utility_function_membership_proof.d.ts +0 -27
  834. package/dest/contract/utility_function_membership_proof.d.ts.map +0 -1
  835. package/dest/contract/utility_function_membership_proof.js +0 -87
  836. package/dest/interfaces/get_logs_response.d.ts +0 -97
  837. package/dest/interfaces/get_logs_response.d.ts.map +0 -1
  838. package/dest/interfaces/get_logs_response.js +0 -12
  839. package/dest/l1-contracts/slash_factory.d.ts +0 -45
  840. package/dest/l1-contracts/slash_factory.d.ts.map +0 -1
  841. package/dest/l1-contracts/slash_factory.js +0 -158
  842. package/dest/logs/extended_contract_class_log.d.ts +0 -51
  843. package/dest/logs/extended_contract_class_log.d.ts.map +0 -1
  844. package/dest/logs/extended_contract_class_log.js +0 -67
  845. package/dest/logs/extended_directional_app_tagging_secret.d.ts +0 -47
  846. package/dest/logs/extended_directional_app_tagging_secret.d.ts.map +0 -1
  847. package/dest/logs/extended_directional_app_tagging_secret.js +0 -72
  848. package/dest/logs/extended_public_log.d.ts +0 -106
  849. package/dest/logs/extended_public_log.d.ts.map +0 -1
  850. package/dest/logs/extended_public_log.js +0 -73
  851. package/dest/logs/log_filter.d.ts +0 -25
  852. package/dest/logs/log_filter.d.ts.map +0 -1
  853. package/dest/logs/log_filter.js +0 -12
  854. package/dest/logs/log_id.d.ts +0 -85
  855. package/dest/logs/log_id.d.ts.map +0 -1
  856. package/dest/logs/log_id.js +0 -94
  857. package/dest/logs/tx_scoped_l2_log.d.ts +0 -51
  858. package/dest/logs/tx_scoped_l2_log.d.ts.map +0 -1
  859. package/dest/logs/tx_scoped_l2_log.js +0 -77
  860. package/dest/slashing/empire.d.ts +0 -31
  861. package/dest/slashing/empire.d.ts.map +0 -1
  862. package/dest/slashing/empire.js +0 -87
  863. package/src/abi/mocked_keys.ts +0 -2
  864. package/src/block/checkpointed_l2_block.ts +0 -70
  865. package/src/contract/private_function_membership_proof.ts +0 -167
  866. package/src/contract/utility_function_membership_proof.ts +0 -118
  867. package/src/interfaces/get_logs_response.ts +0 -35
  868. package/src/l1-contracts/slash_factory.ts +0 -180
  869. package/src/logs/extended_contract_class_log.ts +0 -87
  870. package/src/logs/extended_directional_app_tagging_secret.ts +0 -87
  871. package/src/logs/extended_public_log.ts +0 -94
  872. package/src/logs/log_filter.ts +0 -36
  873. package/src/logs/log_id.ts +0 -125
  874. package/src/logs/tx_scoped_l2_log.ts +0 -114
  875. package/src/slashing/empire.ts +0 -104
@@ -1,12 +1,17 @@
1
- import { BlockNumber, IndexWithinCheckpoint, SlotNumber } from '@aztec/foundation/branded-types';
2
- import { Buffer32 } from '@aztec/foundation/buffer';
3
- import { keccak256 } from '@aztec/foundation/crypto/keccak';
4
- import { tryRecoverAddress } from '@aztec/foundation/crypto/secp256k1-signer';
1
+ import {
2
+ type CheckpointNumber,
3
+ CheckpointProposalHash,
4
+ IndexWithinCheckpoint,
5
+ SlotNumber,
6
+ } from '@aztec/foundation/branded-types';
7
+ import { type BaseBuffer32, Buffer32 } from '@aztec/foundation/buffer';
5
8
  import { Fr } from '@aztec/foundation/curves/bn254';
6
9
  import type { EthAddress } from '@aztec/foundation/eth-address';
7
10
  import { Signature } from '@aztec/foundation/eth-signature';
8
11
  import { BufferReader, serializeSignedBigInt, serializeToBuffer } from '@aztec/foundation/serialize';
9
12
 
13
+ import type { TypedDataDefinition } from 'viem';
14
+
10
15
  import type { L2BlockInfo } from '../block/l2_block_info.js';
11
16
  import { MAX_TXS_PER_BLOCK } from '../deserialization/index.js';
12
17
  import { DutyType, type SigningContext } from '../ha-signing/index.js';
@@ -15,21 +20,23 @@ import { BlockHeader } from '../tx/block_header.js';
15
20
  import { TxHash } from '../tx/index.js';
16
21
  import type { Tx } from '../tx/tx.js';
17
22
  import { BlockProposal } from './block_proposal.js';
23
+ import { ConsensusPayload } from './consensus_payload.js';
18
24
  import { Gossipable } from './gossipable.js';
19
25
  import {
20
- SignatureDomainSeparator,
21
- getHashedSignaturePayload,
22
- getHashedSignaturePayloadEthSignedMessage,
26
+ type CoordinationSignatureContext,
27
+ type CoordinationSignatureType,
28
+ EMPTY_COORDINATION_SIGNATURE_CONTEXT,
29
+ type Signable,
30
+ coordinationSignatureContextEquals,
31
+ getCoordinationSignatureTypedData,
32
+ readCoordinationSignatureContext,
33
+ recoverCoordinationSigner,
34
+ serializeCoordinationSignatureContext,
23
35
  } from './signature_utils.js';
24
36
  import { SignedTxs } from './signed_txs.js';
25
37
  import { TopicType } from './topic_type.js';
26
38
 
27
- // REFACTOR(palla): Use a branded type instead of a subclass of Buffer32
28
- export class CheckpointProposalHash extends Buffer32 {
29
- constructor(hash: Buffer) {
30
- super(hash);
31
- }
32
- }
39
+ export type { CheckpointProposalHash } from '@aztec/foundation/branded-types';
33
40
 
34
41
  export type CheckpointProposalOptions = {
35
42
  /**
@@ -69,10 +76,12 @@ export type CheckpointLastBlock = Omit<CheckpointLastBlockData, 'txs'> & {
69
76
  * It includes the aggregated checkpoint header that validators will attest to, plus optionally
70
77
  * the last block's info for nodes to re-execute. This marks the completion of a slot's worth of blocks.
71
78
  */
72
- export class CheckpointProposal extends Gossipable {
79
+ export class CheckpointProposal extends Gossipable implements Signable {
73
80
  static override p2pTopic = TopicType.checkpoint_proposal;
74
81
 
75
- private sender: EthAddress | undefined;
82
+ readonly primaryType: CoordinationSignatureType = 'CheckpointProposal';
83
+
84
+ private cachedSender: EthAddress | undefined | null = undefined;
76
85
 
77
86
  constructor(
78
87
  /** The aggregated checkpoint header for consensus */
@@ -87,14 +96,36 @@ export class CheckpointProposal extends Gossipable {
87
96
  /** The proposer's signature over the checkpoint payload (checkpointHeader + archive + feeAssetPriceModifier) */
88
97
  public readonly signature: Signature,
89
98
 
99
+ /** The signing domain (chainId + rollupAddress) the signature is bound to */
100
+ public readonly signatureContext: CoordinationSignatureContext,
101
+
90
102
  /** Optional last block info, including its own signature for BlockProposal extraction */
91
- public readonly lastBlock?: CheckpointLastBlock,
103
+ public readonly lastBlock?: CheckpointLastBlock | BlockProposal,
92
104
  ) {
93
105
  super();
106
+
107
+ // Check that last block properties match those of the checkpoint.
108
+ if (lastBlock && 'inHash' in lastBlock && !lastBlock.inHash.equals(checkpointHeader.inHash)) {
109
+ throw new Error(
110
+ `CheckpointProposal lastBlock inHash ${lastBlock.inHash} does not match checkpoint inHash ${checkpointHeader.inHash}`,
111
+ );
112
+ }
113
+ if (lastBlock && 'archiveRoot' in lastBlock && !lastBlock.archiveRoot.equals(archive)) {
114
+ throw new Error(
115
+ `CheckpointProposal lastBlock archive ${lastBlock.archiveRoot} does not match checkpoint archive ${archive}`,
116
+ );
117
+ }
118
+ if (
119
+ lastBlock &&
120
+ 'signatureContext' in lastBlock &&
121
+ !coordinationSignatureContextEquals(lastBlock.signatureContext, signatureContext)
122
+ ) {
123
+ throw new Error(`CheckpointProposal lastBlock signatureContext does not match checkpoint signatureContext`);
124
+ }
94
125
  }
95
126
 
96
- override generateP2PMessageIdentifier(): Promise<Buffer32> {
97
- return Promise.resolve(new CheckpointProposalHash(keccak256(this.signature.toBuffer())));
127
+ override generateP2PMessageIdentifier(): Promise<BaseBuffer32> {
128
+ return Promise.resolve(new Buffer32(this.toConsensusPayload().getPayloadHash()));
98
129
  }
99
130
 
100
131
  get slotNumber(): SlotNumber {
@@ -117,6 +148,7 @@ export class CheckpointProposal extends Gossipable {
117
148
  this.archive,
118
149
  this.lastBlock.txHashes,
119
150
  this.lastBlock.signature,
151
+ this.signatureContext,
120
152
  this.lastBlock.signedTxs,
121
153
  );
122
154
  }
@@ -148,21 +180,36 @@ export class CheckpointProposal extends Gossipable {
148
180
  * Get the payload to sign for this checkpoint proposal.
149
181
  * The signature is over the checkpoint header + archive root + feeAssetPriceModifier (for consensus).
150
182
  */
151
- getPayloadToSign(domainSeparator: SignatureDomainSeparator): Buffer {
152
- return serializeToBuffer([
153
- domainSeparator,
154
- this.checkpointHeader,
155
- this.archive,
156
- serializeSignedBigInt(this.feeAssetPriceModifier),
157
- ]);
183
+ getPayloadToSign(): Buffer {
184
+ return serializeToBuffer([this.checkpointHeader, this.archive, serializeSignedBigInt(this.feeAssetPriceModifier)]);
185
+ }
186
+
187
+ /**
188
+ * Returns a content-addressed keccak256 hash of the consensus payload
189
+ * (header + archive + feeAssetPriceModifier + signatureContext).
190
+ *
191
+ * Used by the attestation pool to dedup distinct signed payloads at the same slot
192
+ * regardless of archive/header collisions on `feeAssetPriceModifier` variants.
193
+ * The hash deliberately excludes the signature so non-deterministic ECDSA
194
+ * re-signs of the same payload do not look like equivocation.
195
+ */
196
+ getPayloadHash(): CheckpointProposalHash {
197
+ return CheckpointProposalHash.fromBuffer(this.toConsensusPayload().getPayloadHash());
198
+ }
199
+
200
+ /** Returns the ConsensusPayload that an attester would sign for this proposal. */
201
+ toConsensusPayload(): ConsensusPayload {
202
+ return new ConsensusPayload(this.checkpointHeader, this.archive, this.feeAssetPriceModifier, this.signatureContext);
158
203
  }
159
204
 
160
205
  static async createProposalFromSigner(
161
206
  checkpointHeader: CheckpointHeader,
162
207
  archiveRoot: Fr,
208
+ checkpointNumber: CheckpointNumber,
163
209
  feeAssetPriceModifier: bigint,
164
- lastBlockInfo: CheckpointLastBlockData | undefined,
165
- payloadSigner: (payload: Buffer32, context: SigningContext) => Promise<Signature>,
210
+ lastBlockProposal: BlockProposal | undefined,
211
+ signatureContext: CoordinationSignatureContext,
212
+ payloadSigner: (typedData: TypedDataDefinition, context: SigningContext) => Promise<Signature>,
166
213
  ): Promise<CheckpointProposal> {
167
214
  // Sign the checkpoint payload with CHECKPOINT_PROPOSAL duty type
168
215
  const tempProposal = new CheckpointProposal(
@@ -170,40 +217,25 @@ export class CheckpointProposal extends Gossipable {
170
217
  archiveRoot,
171
218
  feeAssetPriceModifier,
172
219
  Signature.empty(),
220
+ signatureContext,
173
221
  );
174
- const checkpointHash = getHashedSignaturePayload(tempProposal, SignatureDomainSeparator.checkpointProposal);
175
-
176
222
  const checkpointContext: SigningContext = {
177
223
  slot: checkpointHeader.slotNumber,
178
- blockNumber: lastBlockInfo?.blockHeader?.globalVariables.blockNumber ?? BlockNumber(0),
224
+ checkpointNumber,
179
225
  dutyType: DutyType.CHECKPOINT_PROPOSAL,
180
226
  };
181
227
 
182
- if (lastBlockInfo) {
183
- // Sign block proposal before signing checkpoint proposal to ensure HA protection
184
- const lastBlockProposal = await BlockProposal.createProposalFromSigner(
185
- lastBlockInfo.blockHeader,
186
- lastBlockInfo.indexWithinCheckpoint,
187
- checkpointHeader.inHash,
188
- archiveRoot,
189
- lastBlockInfo.txHashes,
190
- lastBlockInfo.txs,
191
- payloadSigner,
192
- );
193
-
194
- const checkpointSignature = await payloadSigner(checkpointHash, checkpointContext);
228
+ const typedData = getCoordinationSignatureTypedData(tempProposal);
229
+ const checkpointSignature = await payloadSigner(typedData, checkpointContext);
195
230
 
196
- return new CheckpointProposal(checkpointHeader, archiveRoot, feeAssetPriceModifier, checkpointSignature, {
197
- blockHeader: lastBlockInfo.blockHeader,
198
- indexWithinCheckpoint: lastBlockInfo.indexWithinCheckpoint,
199
- txHashes: lastBlockInfo.txHashes,
200
- signature: lastBlockProposal.signature,
201
- signedTxs: lastBlockProposal.signedTxs,
202
- });
203
- }
204
-
205
- const checkpointSignature = await payloadSigner(checkpointHash, checkpointContext);
206
- return new CheckpointProposal(checkpointHeader, archiveRoot, feeAssetPriceModifier, checkpointSignature);
231
+ return new CheckpointProposal(
232
+ checkpointHeader,
233
+ archiveRoot,
234
+ feeAssetPriceModifier,
235
+ checkpointSignature,
236
+ signatureContext,
237
+ lastBlockProposal,
238
+ );
207
239
  }
208
240
 
209
241
  /**
@@ -212,28 +244,26 @@ export class CheckpointProposal extends Gossipable {
212
244
  * @returns The sender address, or undefined if signature recovery fails or senders don't match
213
245
  */
214
246
  getSender(): EthAddress | undefined {
215
- if (!this.sender) {
216
- const hashed = getHashedSignaturePayloadEthSignedMessage(this, SignatureDomainSeparator.checkpointProposal);
217
- const checkpointSender = tryRecoverAddress(hashed, this.signature);
247
+ if (this.cachedSender === undefined) {
248
+ const checkpointSender = recoverCoordinationSigner(this, this.signature);
218
249
 
219
- // If there's a lastBlock, verify the block proposal sender matches
220
250
  if (checkpointSender && this.lastBlock) {
221
251
  const blockProposal = this.getBlockProposal();
222
252
  const blockSender = blockProposal?.getSender();
223
253
  if (!blockSender || !blockSender.equals(checkpointSender)) {
224
- return undefined; // Sender mismatch - fail
254
+ this.cachedSender = null;
255
+ return undefined;
225
256
  }
226
257
  }
227
258
 
228
- // Cache the sender for later use
229
- this.sender = checkpointSender;
259
+ this.cachedSender = checkpointSender ?? null;
230
260
  }
231
261
 
232
- return this.sender;
262
+ return this.cachedSender ?? undefined;
233
263
  }
234
264
 
235
265
  getPayload() {
236
- return this.getPayloadToSign(SignatureDomainSeparator.checkpointProposal);
266
+ return this.getPayloadToSign();
237
267
  }
238
268
 
239
269
  toBuffer(): Buffer {
@@ -242,6 +272,7 @@ export class CheckpointProposal extends Gossipable {
242
272
  this.archive,
243
273
  serializeSignedBigInt(this.feeAssetPriceModifier),
244
274
  this.signature,
275
+ serializeCoordinationSignatureContext(this.signatureContext),
245
276
  ];
246
277
 
247
278
  if (this.lastBlock) {
@@ -271,6 +302,7 @@ export class CheckpointProposal extends Gossipable {
271
302
  const archive = reader.readObject(Fr);
272
303
  const feeAssetPriceModifier = reader.readInt256();
273
304
  const signature = reader.readObject(Signature);
305
+ const signatureContext = readCoordinationSignatureContext(reader);
274
306
 
275
307
  const hasLastBlock = reader.readNumber();
276
308
 
@@ -292,7 +324,7 @@ export class CheckpointProposal extends Gossipable {
292
324
  }
293
325
  }
294
326
 
295
- return new CheckpointProposal(checkpointHeader, archive, feeAssetPriceModifier, signature, {
327
+ return new CheckpointProposal(checkpointHeader, archive, feeAssetPriceModifier, signature, signatureContext, {
296
328
  blockHeader,
297
329
  indexWithinCheckpoint,
298
330
  txHashes,
@@ -301,7 +333,7 @@ export class CheckpointProposal extends Gossipable {
301
333
  });
302
334
  }
303
335
 
304
- return new CheckpointProposal(checkpointHeader, archive, feeAssetPriceModifier, signature);
336
+ return new CheckpointProposal(checkpointHeader, archive, feeAssetPriceModifier, signature, signatureContext);
305
337
  }
306
338
 
307
339
  getSize(): number {
@@ -310,6 +342,8 @@ export class CheckpointProposal extends Gossipable {
310
342
  this.archive.size +
311
343
  this.signature.getSize() +
312
344
  8 /* feeAssetPriceModifier */ +
345
+ 4 /* chainId */ +
346
+ 20 /* rollupAddress */ +
313
347
  4; /* hasLastBlock flag */
314
348
 
315
349
  if (this.lastBlock) {
@@ -327,16 +361,29 @@ export class CheckpointProposal extends Gossipable {
327
361
  }
328
362
 
329
363
  static empty(): CheckpointProposal {
330
- return new CheckpointProposal(CheckpointHeader.empty(), Fr.ZERO, 0n, Signature.empty());
364
+ return new CheckpointProposal(
365
+ CheckpointHeader.empty(),
366
+ Fr.ZERO,
367
+ 0n,
368
+ Signature.empty(),
369
+ EMPTY_COORDINATION_SIGNATURE_CONTEXT,
370
+ );
331
371
  }
332
372
 
333
373
  static random(): CheckpointProposal {
334
- return new CheckpointProposal(CheckpointHeader.random(), Fr.random(), 0n, Signature.random(), {
335
- blockHeader: BlockHeader.random(),
336
- indexWithinCheckpoint: IndexWithinCheckpoint(Math.floor(Math.random() * 5)),
337
- txHashes: [TxHash.random(), TxHash.random()],
338
- signature: Signature.random(),
339
- });
374
+ return new CheckpointProposal(
375
+ CheckpointHeader.random(),
376
+ Fr.random(),
377
+ 0n,
378
+ Signature.random(),
379
+ EMPTY_COORDINATION_SIGNATURE_CONTEXT,
380
+ {
381
+ blockHeader: BlockHeader.random(),
382
+ indexWithinCheckpoint: IndexWithinCheckpoint(Math.floor(Math.random() * 5)),
383
+ txHashes: [TxHash.random(), TxHash.random()],
384
+ signature: Signature.random(),
385
+ },
386
+ );
340
387
  }
341
388
 
342
389
  toInspect() {
@@ -345,6 +392,8 @@ export class CheckpointProposal extends Gossipable {
345
392
  archive: this.archive.toString(),
346
393
  signature: this.signature.toString(),
347
394
  feeAssetPriceModifier: this.feeAssetPriceModifier.toString(),
395
+ chainId: this.signatureContext.chainId,
396
+ rollupAddress: this.signatureContext.rollupAddress.toString(),
348
397
  lastBlock: this.lastBlock
349
398
  ? {
350
399
  blockHeader: this.lastBlock.blockHeader.toInspect(),
@@ -361,7 +410,13 @@ export class CheckpointProposal extends Gossipable {
361
410
  * Used when the lastBlock has been extracted and stored separately.
362
411
  */
363
412
  toCore(): CheckpointProposalCore {
364
- return new CheckpointProposal(this.checkpointHeader, this.archive, this.feeAssetPriceModifier, this.signature);
413
+ return new CheckpointProposal(
414
+ this.checkpointHeader,
415
+ this.archive,
416
+ this.feeAssetPriceModifier,
417
+ this.signature,
418
+ this.signatureContext,
419
+ );
365
420
  }
366
421
  }
367
422
 
@@ -1,3 +1,4 @@
1
+ import { keccak256 } from '@aztec/foundation/crypto/keccak';
1
2
  import { Fr } from '@aztec/foundation/curves/bn254';
2
3
  import { schemas } from '@aztec/foundation/schemas';
3
4
  import { BufferReader, serializeSignedBigInt, serializeToBuffer } from '@aztec/foundation/serialize';
@@ -10,10 +11,21 @@ import { z } from 'zod';
10
11
  import type { Checkpoint } from '../checkpoint/checkpoint.js';
11
12
  import { CheckpointHeader } from '../rollup/checkpoint_header.js';
12
13
  import type { CheckpointProposal, CheckpointProposalCore } from './checkpoint_proposal.js';
13
- import type { Signable, SignatureDomainSeparator } from './signature_utils.js';
14
+ import {
15
+ type CoordinationSignatureContext,
16
+ type CoordinationSignatureType,
17
+ EMPTY_COORDINATION_SIGNATURE_CONTEXT,
18
+ type Signable,
19
+ coordinationSignatureContextEquals,
20
+ coordinationSignatureContextSchema,
21
+ readCoordinationSignatureContext,
22
+ serializeCoordinationSignatureContext,
23
+ } from './signature_utils.js';
14
24
 
15
25
  /** Checkpoint consensus payload as signed by validators and verified on L1. */
16
26
  export class ConsensusPayload implements Signable {
27
+ readonly primaryType: CoordinationSignatureType = 'CheckpointAttestation';
28
+
17
29
  private size: number | undefined;
18
30
 
19
31
  constructor(
@@ -22,7 +34,9 @@ export class ConsensusPayload implements Signable {
22
34
  /** The archive root after the block is added */
23
35
  public readonly archive: Fr,
24
36
  /** The fee asset price modifier in basis points (from oracle) */
25
- public readonly feeAssetPriceModifier: bigint = 0n,
37
+ public readonly feeAssetPriceModifier: bigint,
38
+ /** The signing domain (chainId + rollupAddress) the signature is bound to */
39
+ public readonly signatureContext: CoordinationSignatureContext,
26
40
  ) {}
27
41
 
28
42
  static get schema() {
@@ -31,36 +45,46 @@ export class ConsensusPayload implements Signable {
31
45
  header: CheckpointHeader.schema,
32
46
  archive: schemas.Fr,
33
47
  feeAssetPriceModifier: schemas.BigInt,
48
+ signatureContext: coordinationSignatureContextSchema,
34
49
  })
35
- .transform(obj => new ConsensusPayload(obj.header, obj.archive, obj.feeAssetPriceModifier));
50
+ .transform(obj => new ConsensusPayload(obj.header, obj.archive, obj.feeAssetPriceModifier, obj.signatureContext));
36
51
  }
37
52
 
38
- static getFields(fields: FieldsOf<ConsensusPayload>) {
39
- return [fields.header, fields.archive, fields.feeAssetPriceModifier] as const;
53
+ static getFields(fields: Omit<FieldsOf<ConsensusPayload>, 'primaryType'>) {
54
+ return [fields.header, fields.archive, fields.feeAssetPriceModifier, fields.signatureContext] as const;
40
55
  }
41
56
 
42
- getPayloadToSign(domainSeparator: SignatureDomainSeparator): Buffer {
57
+ getPayloadToSign(): Buffer {
58
+ // Matches the L1 ProposePayload struct in ProposeLib.sol.
43
59
  const abi = parseAbiParameters(
44
- 'uint8, ' + //domainSeperator
45
- '(' +
60
+ '(' +
46
61
  'bytes32, ' + // archive
47
62
  '(int256), ' + // oracleInput
48
63
  'bytes32' + // headerHash
49
64
  ')',
50
65
  );
51
66
  const archiveRoot = this.archive.toString();
52
-
53
67
  const headerHash = this.header.hash().toString();
54
- const encodedData = encodeAbiParameters(abi, [
55
- domainSeparator,
56
- [archiveRoot, [this.feeAssetPriceModifier], headerHash],
57
- ] as const);
68
+ const encodedData = encodeAbiParameters(abi, [[archiveRoot, [this.feeAssetPriceModifier], headerHash]] as const);
58
69
 
59
70
  return hexToBuffer(encodedData);
60
71
  }
61
72
 
73
+ /**
74
+ * Returns a keccak256 hash of the signed payload (header + archive + feeAssetPriceModifier).
75
+ * Used by the attestation pool to dedup distinct signed payloads.
76
+ */
77
+ getPayloadHash(): Buffer {
78
+ return keccak256(this.getPayloadToSign());
79
+ }
80
+
62
81
  toBuffer(): Buffer {
63
- return serializeToBuffer([this.header, this.archive, serializeSignedBigInt(this.feeAssetPriceModifier)]);
82
+ return serializeToBuffer([
83
+ this.header,
84
+ this.archive,
85
+ serializeSignedBigInt(this.feeAssetPriceModifier),
86
+ serializeCoordinationSignatureContext(this.signatureContext),
87
+ ]);
64
88
  }
65
89
 
66
90
  public equals(other: ConsensusPayload | CheckpointProposal | CheckpointProposalCore): boolean {
@@ -69,34 +93,39 @@ export class ConsensusPayload implements Signable {
69
93
  return (
70
94
  this.header.equals(otherHeader) &&
71
95
  this.archive.equals(other.archive) &&
72
- this.feeAssetPriceModifier === otherModifier
96
+ this.feeAssetPriceModifier === otherModifier &&
97
+ coordinationSignatureContextEquals(this.signatureContext, other.signatureContext)
73
98
  );
74
99
  }
75
100
 
76
101
  static fromBuffer(buf: Buffer | BufferReader): ConsensusPayload {
77
102
  const reader = BufferReader.asReader(buf);
78
- const payload = new ConsensusPayload(
79
- reader.readObject(CheckpointHeader),
80
- reader.readObject(Fr),
81
- reader.readInt256(),
82
- );
83
- return payload;
103
+ const header = reader.readObject(CheckpointHeader);
104
+ const archive = reader.readObject(Fr);
105
+ const feeAssetPriceModifier = reader.readInt256();
106
+ const signatureContext = readCoordinationSignatureContext(reader);
107
+ return new ConsensusPayload(header, archive, feeAssetPriceModifier, signatureContext);
84
108
  }
85
109
 
86
- static fromFields(fields: FieldsOf<ConsensusPayload>): ConsensusPayload {
87
- return new ConsensusPayload(fields.header, fields.archive, fields.feeAssetPriceModifier);
110
+ static fromFields(fields: Omit<FieldsOf<ConsensusPayload>, 'primaryType'>): ConsensusPayload {
111
+ return new ConsensusPayload(fields.header, fields.archive, fields.feeAssetPriceModifier, fields.signatureContext);
88
112
  }
89
113
 
90
- static fromCheckpoint(checkpoint: Checkpoint): ConsensusPayload {
91
- return new ConsensusPayload(checkpoint.header, checkpoint.archive.root, checkpoint.feeAssetPriceModifier);
114
+ static fromCheckpoint(checkpoint: Checkpoint, signatureContext: CoordinationSignatureContext): ConsensusPayload {
115
+ return new ConsensusPayload(
116
+ checkpoint.header,
117
+ checkpoint.archive.root,
118
+ checkpoint.feeAssetPriceModifier,
119
+ signatureContext,
120
+ );
92
121
  }
93
122
 
94
123
  static empty(): ConsensusPayload {
95
- return new ConsensusPayload(CheckpointHeader.empty(), Fr.ZERO, 0n);
124
+ return new ConsensusPayload(CheckpointHeader.empty(), Fr.ZERO, 0n, EMPTY_COORDINATION_SIGNATURE_CONTEXT);
96
125
  }
97
126
 
98
127
  static random(): ConsensusPayload {
99
- return new ConsensusPayload(CheckpointHeader.random(), Fr.random(), 0n);
128
+ return new ConsensusPayload(CheckpointHeader.random(), Fr.random(), 0n, EMPTY_COORDINATION_SIGNATURE_CONTEXT);
100
129
  }
101
130
 
102
131
  /**
@@ -117,10 +146,12 @@ export class ConsensusPayload implements Signable {
117
146
  header: this.header.toInspect(),
118
147
  archive: this.archive.toString(),
119
148
  feeAssetPriceModifier: this.feeAssetPriceModifier.toString(),
149
+ chainId: this.signatureContext.chainId,
150
+ rollupAddress: this.signatureContext.rollupAddress.toString(),
120
151
  };
121
152
  }
122
153
 
123
154
  toString() {
124
- return `header: ${this.header.toString()}, archive: ${this.archive.toString()}, feeAssetPriceModifier: ${this.feeAssetPriceModifier}}`;
155
+ return `header: ${this.header.toString()}, archive: ${this.archive.toString()}, feeAssetPriceModifier: ${this.feeAssetPriceModifier}, chainId: ${this.signatureContext.chainId}, rollupAddress: ${this.signatureContext.rollupAddress.toString()}`;
125
156
  }
126
157
  }
@@ -1,4 +1,4 @@
1
- import { Buffer32 } from '@aztec/foundation/buffer';
1
+ import { BaseBuffer32 } from '@aztec/foundation/buffer';
2
2
  import { BufferReader, bigintToUInt64BE, serializeToBuffer } from '@aztec/foundation/serialize';
3
3
 
4
4
  import type { TopicType } from './topic_type.js';
@@ -46,7 +46,7 @@ export class P2PMessage {
46
46
  * Any class which extends gossipable will be able to be Gossiped over the p2p network
47
47
  */
48
48
  export abstract class Gossipable {
49
- private cachedId: Buffer32 | undefined;
49
+ private cachedId: BaseBuffer32 | undefined;
50
50
  /** The p2p topic identifier, this determines how the message is handled */
51
51
  static p2pTopic: TopicType;
52
52
 
@@ -54,7 +54,7 @@ export abstract class Gossipable {
54
54
  * A digest of the message information **used for logging only**.
55
55
  * The identifier used for deduplication is `getMsgIdFn` as defined in `encoding.ts` which is a hash over topic and data.
56
56
  */
57
- async p2pMessageLoggingIdentifier(): Promise<Buffer32> {
57
+ async p2pMessageLoggingIdentifier(): Promise<BaseBuffer32> {
58
58
  if (this.cachedId) {
59
59
  return this.cachedId;
60
60
  }
@@ -62,7 +62,7 @@ export abstract class Gossipable {
62
62
  return this.cachedId;
63
63
  }
64
64
 
65
- abstract generateP2PMessageIdentifier(): Promise<Buffer32>;
65
+ abstract generateP2PMessageIdentifier(): Promise<BaseBuffer32>;
66
66
 
67
67
  abstract toBuffer(): Buffer;
68
68