@aztec/stdlib 6.0.0-nightly.20260604 → 6.0.0-nightly.20260721

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 (499) hide show
  1. package/dest/abi/buffer.d.ts +6 -2
  2. package/dest/abi/buffer.d.ts.map +1 -1
  3. package/dest/abi/buffer.js +13 -1
  4. package/dest/avm/avm.js +1 -1
  5. package/dest/avm/avm_proving_request.d.ts +70 -70
  6. package/dest/avm/index.d.ts +1 -6
  7. package/dest/avm/index.d.ts.map +1 -1
  8. package/dest/avm/index.js +0 -5
  9. package/dest/aztec-address/index.d.ts +35 -5
  10. package/dest/aztec-address/index.d.ts.map +1 -1
  11. package/dest/aztec-address/index.js +32 -8
  12. package/dest/block/attestation_info.d.ts +1 -1
  13. package/dest/block/attestation_info.d.ts.map +1 -1
  14. package/dest/block/attestation_info.js +7 -4
  15. package/dest/block/l2_block_source.d.ts +46 -23
  16. package/dest/block/l2_block_source.d.ts.map +1 -1
  17. package/dest/block/l2_block_source.js +15 -1
  18. package/dest/block/l2_block_stream/event_driven_l2_block_stream.d.ts +39 -0
  19. package/dest/block/l2_block_stream/event_driven_l2_block_stream.d.ts.map +1 -0
  20. package/dest/block/l2_block_stream/event_driven_l2_block_stream.js +165 -0
  21. package/dest/block/l2_block_stream/index.d.ts +2 -1
  22. package/dest/block/l2_block_stream/index.d.ts.map +1 -1
  23. package/dest/block/l2_block_stream/index.js +1 -0
  24. package/dest/block/l2_block_stream/interfaces.d.ts +81 -11
  25. package/dest/block/l2_block_stream/interfaces.d.ts.map +1 -1
  26. package/dest/block/l2_block_stream/interfaces.js +25 -1
  27. package/dest/block/l2_block_stream/l2_block_stream.d.ts +23 -15
  28. package/dest/block/l2_block_stream/l2_block_stream.d.ts.map +1 -1
  29. package/dest/block/l2_block_stream/l2_block_stream.js +149 -152
  30. package/dest/block/l2_block_stream/l2_tips_memory_store.d.ts +6 -12
  31. package/dest/block/l2_block_stream/l2_tips_memory_store.d.ts.map +1 -1
  32. package/dest/block/l2_block_stream/l2_tips_memory_store.js +8 -32
  33. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts +17 -18
  34. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts.map +1 -1
  35. package/dest/block/l2_block_stream/l2_tips_store_base.js +70 -58
  36. package/dest/block/proposal/attestations_and_signers.d.ts +19 -1
  37. package/dest/block/proposal/attestations_and_signers.d.ts.map +1 -1
  38. package/dest/block/proposal/attestations_and_signers.js +47 -7
  39. package/dest/block/test/l2_tips_store_test_suite.d.ts +1 -1
  40. package/dest/block/test/l2_tips_store_test_suite.d.ts.map +1 -1
  41. package/dest/block/test/l2_tips_store_test_suite.js +296 -37
  42. package/dest/block/validate_block_result.d.ts +16 -1
  43. package/dest/block/validate_block_result.d.ts.map +1 -1
  44. package/dest/block/validate_block_result.js +18 -3
  45. package/dest/checkpoint/checkpoint.js +2 -2
  46. package/dest/checkpoint/index.d.ts +2 -1
  47. package/dest/checkpoint/index.d.ts.map +1 -1
  48. package/dest/checkpoint/index.js +1 -0
  49. package/dest/checkpoint/simulation_overrides.d.ts +61 -0
  50. package/dest/checkpoint/simulation_overrides.d.ts.map +1 -0
  51. package/dest/checkpoint/simulation_overrides.js +98 -0
  52. package/dest/checkpoint/validate.d.ts +11 -3
  53. package/dest/checkpoint/validate.d.ts.map +1 -1
  54. package/dest/checkpoint/validate.js +9 -6
  55. package/dest/config/index.d.ts +2 -1
  56. package/dest/config/index.d.ts.map +1 -1
  57. package/dest/config/index.js +1 -0
  58. package/dest/config/network-consensus-config.d.ts +72 -0
  59. package/dest/config/network-consensus-config.d.ts.map +1 -0
  60. package/dest/config/network-consensus-config.js +223 -0
  61. package/dest/config/sequencer-config.d.ts +4 -2
  62. package/dest/config/sequencer-config.d.ts.map +1 -1
  63. package/dest/config/sequencer-config.js +22 -3
  64. package/dest/contract/contract_address.d.ts +5 -4
  65. package/dest/contract/contract_address.d.ts.map +1 -1
  66. package/dest/contract/contract_class.d.ts +1 -1
  67. package/dest/contract/contract_class.d.ts.map +1 -1
  68. package/dest/contract/contract_class.js +3 -2
  69. package/dest/contract/contract_instance.d.ts +16 -2
  70. package/dest/contract/contract_instance.d.ts.map +1 -1
  71. package/dest/contract/contract_instance.js +45 -0
  72. package/dest/contract/index.d.ts +1 -2
  73. package/dest/contract/index.d.ts.map +1 -1
  74. package/dest/contract/index.js +0 -1
  75. package/dest/contract/interfaces/contract_data_source.d.ts +3 -5
  76. package/dest/contract/interfaces/contract_data_source.d.ts.map +1 -1
  77. package/dest/contract/interfaces/contract_instance.d.ts +71 -10
  78. package/dest/contract/interfaces/contract_instance.d.ts.map +1 -1
  79. package/dest/contract/interfaces/contract_instance.js +7 -2
  80. package/dest/contract/interfaces/node-info.d.ts +11 -1
  81. package/dest/contract/interfaces/node-info.d.ts.map +1 -1
  82. package/dest/contract/interfaces/node-info.js +7 -1
  83. package/dest/contract/partial_address.d.ts +9 -3
  84. package/dest/contract/partial_address.d.ts.map +1 -1
  85. package/dest/contract/partial_address.js +8 -2
  86. package/dest/database-version/version_manager.d.ts +18 -4
  87. package/dest/database-version/version_manager.d.ts.map +1 -1
  88. package/dest/database-version/version_manager.js +76 -6
  89. package/dest/deserialization/index.d.ts +35 -3
  90. package/dest/deserialization/index.d.ts.map +1 -1
  91. package/dest/deserialization/index.js +32 -1
  92. package/dest/file-store/factory.d.ts +1 -1
  93. package/dest/file-store/factory.d.ts.map +1 -1
  94. package/dest/file-store/factory.js +7 -0
  95. package/dest/file-store/index.d.ts +2 -1
  96. package/dest/file-store/index.d.ts.map +1 -1
  97. package/dest/file-store/index.js +1 -0
  98. package/dest/file-store/memory.d.ts +24 -0
  99. package/dest/file-store/memory.d.ts.map +1 -0
  100. package/dest/file-store/memory.js +80 -0
  101. package/dest/gas/gas_settings.d.ts +7 -13
  102. package/dest/gas/gas_settings.d.ts.map +1 -1
  103. package/dest/gas/gas_settings.js +9 -16
  104. package/dest/gas/index.d.ts +2 -1
  105. package/dest/gas/index.d.ts.map +1 -1
  106. package/dest/gas/index.js +1 -0
  107. package/dest/gas/tx_gas_limits.d.ts +72 -0
  108. package/dest/gas/tx_gas_limits.d.ts.map +1 -0
  109. package/dest/gas/tx_gas_limits.js +85 -0
  110. package/dest/ha-signing/config.d.ts +19 -5
  111. package/dest/ha-signing/config.d.ts.map +1 -1
  112. package/dest/ha-signing/config.js +9 -3
  113. package/dest/ha-signing/local_config.d.ts +10 -2
  114. package/dest/ha-signing/local_config.d.ts.map +1 -1
  115. package/dest/ha-signing/local_config.js +8 -2
  116. package/dest/interfaces/archiver.d.ts +7 -9
  117. package/dest/interfaces/archiver.d.ts.map +1 -1
  118. package/dest/interfaces/archiver.js +3 -2
  119. package/dest/interfaces/aztec-node-admin.d.ts +24 -17
  120. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  121. package/dest/interfaces/aztec-node-admin.js +1 -1
  122. package/dest/interfaces/aztec-node-debug.d.ts +40 -2
  123. package/dest/interfaces/aztec-node-debug.d.ts.map +1 -1
  124. package/dest/interfaces/aztec-node-debug.js +29 -1
  125. package/dest/interfaces/aztec-node.d.ts +69 -28
  126. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  127. package/dest/interfaces/aztec-node.js +56 -20
  128. package/dest/interfaces/block-builder.d.ts +3 -1
  129. package/dest/interfaces/block-builder.d.ts.map +1 -1
  130. package/dest/interfaces/chain_tips.d.ts +8 -47
  131. package/dest/interfaces/chain_tips.d.ts.map +1 -1
  132. package/dest/interfaces/chain_tips.js +1 -6
  133. package/dest/interfaces/checkpoint_parameter.d.ts +3 -3
  134. package/dest/interfaces/checkpoint_parameter.d.ts.map +1 -1
  135. package/dest/interfaces/checkpoint_parameter.js +3 -3
  136. package/dest/interfaces/client.d.ts +2 -1
  137. package/dest/interfaces/client.d.ts.map +1 -1
  138. package/dest/interfaces/configs.d.ts +27 -6
  139. package/dest/interfaces/configs.d.ts.map +1 -1
  140. package/dest/interfaces/configs.js +5 -1
  141. package/dest/interfaces/get_tx_by_hash_options.d.ts +9 -0
  142. package/dest/interfaces/get_tx_by_hash_options.d.ts.map +1 -0
  143. package/dest/interfaces/get_tx_by_hash_options.js +4 -0
  144. package/dest/interfaces/merkle_tree_operations.d.ts +8 -3
  145. package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
  146. package/dest/interfaces/p2p.d.ts +38 -9
  147. package/dest/interfaces/p2p.d.ts.map +1 -1
  148. package/dest/interfaces/p2p.js +14 -2
  149. package/dest/interfaces/private_kernel_prover.d.ts +71 -12
  150. package/dest/interfaces/private_kernel_prover.d.ts.map +1 -1
  151. package/dest/interfaces/prover-client.d.ts +2 -3
  152. package/dest/interfaces/prover-client.d.ts.map +1 -1
  153. package/dest/interfaces/prover-node.d.ts +12 -8
  154. package/dest/interfaces/prover-node.d.ts.map +1 -1
  155. package/dest/interfaces/prover-node.js +24 -17
  156. package/dest/interfaces/proving-job.d.ts +4 -4
  157. package/dest/interfaces/proving-job.d.ts.map +1 -1
  158. package/dest/interfaces/proving-job.js +2 -2
  159. package/dest/interfaces/server.d.ts +1 -3
  160. package/dest/interfaces/server.d.ts.map +1 -1
  161. package/dest/interfaces/server.js +0 -2
  162. package/dest/interfaces/server_circuit_prover.d.ts +3 -3
  163. package/dest/interfaces/server_circuit_prover.d.ts.map +1 -1
  164. package/dest/interfaces/validator.d.ts +15 -4
  165. package/dest/interfaces/validator.d.ts.map +1 -1
  166. package/dest/interfaces/validator.js +3 -1
  167. package/dest/interfaces/world_state.d.ts +14 -1
  168. package/dest/interfaces/world_state.d.ts.map +1 -1
  169. package/dest/kernel/hints/find_private_kernel_reset_dimensions.d.ts +8 -2
  170. package/dest/kernel/hints/find_private_kernel_reset_dimensions.d.ts.map +1 -1
  171. package/dest/kernel/hints/find_private_kernel_reset_dimensions.js +12 -74
  172. package/dest/kernel/hints/index.d.ts +1 -2
  173. package/dest/kernel/hints/index.d.ts.map +1 -1
  174. package/dest/kernel/hints/index.js +0 -1
  175. package/dest/kernel/hints/read_request.js +1 -1
  176. package/dest/kernel/index.d.ts +6 -2
  177. package/dest/kernel/index.d.ts.map +1 -1
  178. package/dest/kernel/index.js +5 -1
  179. package/dest/kernel/log_hash.d.ts +1 -1
  180. package/dest/kernel/log_hash.d.ts.map +1 -1
  181. package/dest/kernel/log_hash.js +2 -2
  182. package/dest/kernel/note_hash.js +1 -1
  183. package/dest/kernel/nullifier.js +1 -1
  184. package/dest/kernel/private_circuit_public_inputs.d.ts +13 -3
  185. package/dest/kernel/private_circuit_public_inputs.d.ts.map +1 -1
  186. package/dest/kernel/private_circuit_public_inputs.js +14 -7
  187. package/dest/kernel/private_context_inputs.d.ts +4 -3
  188. package/dest/kernel/private_context_inputs.d.ts.map +1 -1
  189. package/dest/kernel/private_context_inputs.js +7 -3
  190. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts +7 -9
  191. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts.map +1 -1
  192. package/dest/kernel/private_kernel_circuit_public_inputs.js +10 -7
  193. package/dest/kernel/private_kernel_init_2_circuit_private_inputs.d.ts +2 -3
  194. package/dest/kernel/private_kernel_init_2_circuit_private_inputs.d.ts.map +1 -1
  195. package/dest/kernel/private_kernel_init_2_circuit_private_inputs.js +3 -5
  196. package/dest/kernel/private_kernel_init_3_circuit_private_inputs.d.ts +2 -3
  197. package/dest/kernel/private_kernel_init_3_circuit_private_inputs.d.ts.map +1 -1
  198. package/dest/kernel/private_kernel_init_3_circuit_private_inputs.js +3 -5
  199. package/dest/kernel/private_kernel_init_4_circuit_private_inputs.d.ts +24 -0
  200. package/dest/kernel/private_kernel_init_4_circuit_private_inputs.d.ts.map +1 -0
  201. package/dest/kernel/private_kernel_init_4_circuit_private_inputs.js +37 -0
  202. package/dest/kernel/private_kernel_init_5_circuit_private_inputs.d.ts +25 -0
  203. package/dest/kernel/private_kernel_init_5_circuit_private_inputs.d.ts.map +1 -0
  204. package/dest/kernel/private_kernel_init_5_circuit_private_inputs.js +39 -0
  205. package/dest/kernel/private_kernel_init_circuit_private_inputs.d.ts +1 -9
  206. package/dest/kernel/private_kernel_init_circuit_private_inputs.d.ts.map +1 -1
  207. package/dest/kernel/private_kernel_init_circuit_private_inputs.js +2 -6
  208. package/dest/kernel/private_kernel_inner_4_circuit_private_inputs.d.ts +18 -0
  209. package/dest/kernel/private_kernel_inner_4_circuit_private_inputs.d.ts.map +1 -0
  210. package/dest/kernel/private_kernel_inner_4_circuit_private_inputs.js +27 -0
  211. package/dest/kernel/private_kernel_inner_5_circuit_private_inputs.d.ts +19 -0
  212. package/dest/kernel/private_kernel_inner_5_circuit_private_inputs.d.ts.map +1 -0
  213. package/dest/kernel/private_kernel_inner_5_circuit_private_inputs.js +29 -0
  214. package/dest/kernel/private_kernel_prover_output.d.ts +4 -1
  215. package/dest/kernel/private_kernel_prover_output.d.ts.map +1 -1
  216. package/dest/kernel/private_kernel_prover_output.js +4 -1
  217. package/dest/kernel/private_kernel_reset_dimensions.d.ts +7 -8
  218. package/dest/kernel/private_kernel_reset_dimensions.d.ts.map +1 -1
  219. package/dest/kernel/private_kernel_reset_tail_circuit_private_inputs.d.ts +29 -0
  220. package/dest/kernel/private_kernel_reset_tail_circuit_private_inputs.d.ts.map +1 -0
  221. package/dest/kernel/private_kernel_reset_tail_circuit_private_inputs.js +36 -0
  222. package/dest/kernel/private_kernel_simulated_output.d.ts +1 -7
  223. package/dest/kernel/private_kernel_simulated_output.d.ts.map +1 -1
  224. package/dest/kernel/private_kernel_simulated_output.js +2 -1
  225. package/dest/kernel/private_log_data.d.ts +1 -1
  226. package/dest/kernel/private_log_data.d.ts.map +1 -1
  227. package/dest/kernel/private_log_data.js +1 -1
  228. package/dest/kernel/utils/index.d.ts +1 -2
  229. package/dest/kernel/utils/index.d.ts.map +1 -1
  230. package/dest/kernel/utils/index.js +0 -1
  231. package/dest/keys/derivation.d.ts +41 -5
  232. package/dest/keys/derivation.d.ts.map +1 -1
  233. package/dest/keys/derivation.js +53 -23
  234. package/dest/logs/app_tagging_secret.d.ts +30 -7
  235. package/dest/logs/app_tagging_secret.d.ts.map +1 -1
  236. package/dest/logs/app_tagging_secret.js +44 -28
  237. package/dest/logs/app_tagging_secret_kind.js +1 -1
  238. package/dest/logs/contract_class_log.d.ts +1 -2
  239. package/dest/logs/contract_class_log.d.ts.map +1 -1
  240. package/dest/logs/contract_class_log.js +0 -4
  241. package/dest/logs/message_context.d.ts +5 -15
  242. package/dest/logs/message_context.d.ts.map +1 -1
  243. package/dest/logs/message_context.js +1 -66
  244. package/dest/logs/pending_tagged_log.d.ts +6 -8
  245. package/dest/logs/pending_tagged_log.d.ts.map +1 -1
  246. package/dest/logs/pending_tagged_log.js +1 -31
  247. package/dest/logs/shared_secret_derivation.d.ts +19 -6
  248. package/dest/logs/shared_secret_derivation.d.ts.map +1 -1
  249. package/dest/logs/shared_secret_derivation.js +26 -11
  250. package/dest/p2p/attestation_utils.d.ts +1 -1
  251. package/dest/p2p/attestation_utils.d.ts.map +1 -1
  252. package/dest/p2p/attestation_utils.js +8 -1
  253. package/dest/p2p/checkpoint_attestation.d.ts +10 -1
  254. package/dest/p2p/checkpoint_attestation.d.ts.map +1 -1
  255. package/dest/p2p/checkpoint_attestation.js +10 -0
  256. package/dest/p2p/checkpoint_proposal.d.ts +2 -1
  257. package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
  258. package/dest/p2p/consensus_payload.d.ts +2 -1
  259. package/dest/p2p/consensus_payload.d.ts.map +1 -1
  260. package/dest/p2p/index.d.ts +1 -2
  261. package/dest/p2p/index.d.ts.map +1 -1
  262. package/dest/p2p/index.js +0 -1
  263. package/dest/p2p/signature_utils.d.ts +10 -1
  264. package/dest/p2p/signature_utils.d.ts.map +1 -1
  265. package/dest/p2p/signature_utils.js +9 -1
  266. package/dest/rollup/avm_proof_data.d.ts +3 -3
  267. package/dest/rollup/avm_proof_data.d.ts.map +1 -1
  268. package/dest/rollup/checkpoint_header.d.ts +8 -3
  269. package/dest/rollup/checkpoint_header.d.ts.map +1 -1
  270. package/dest/rollup/checkpoint_header.js +20 -10
  271. package/dest/stats/stats.d.ts +2 -2
  272. package/dest/stats/stats.d.ts.map +1 -1
  273. package/dest/tests/factories.d.ts +1 -27
  274. package/dest/tests/factories.d.ts.map +1 -1
  275. package/dest/tests/factories.js +10 -45
  276. package/dest/tests/mocks.d.ts +1 -1
  277. package/dest/tests/mocks.d.ts.map +1 -1
  278. package/dest/tests/mocks.js +3 -2
  279. package/dest/timetable/budgets.d.ts +57 -0
  280. package/dest/timetable/budgets.d.ts.map +1 -0
  281. package/dest/timetable/budgets.js +56 -0
  282. package/dest/timetable/build_proposer_timetable.d.ts +21 -0
  283. package/dest/timetable/build_proposer_timetable.d.ts.map +1 -0
  284. package/dest/timetable/build_proposer_timetable.js +17 -0
  285. package/dest/timetable/consensus_timetable.d.ts +70 -0
  286. package/dest/timetable/consensus_timetable.d.ts.map +1 -0
  287. package/dest/timetable/consensus_timetable.js +89 -0
  288. package/dest/timetable/index.d.ts +5 -84
  289. package/dest/timetable/index.d.ts.map +1 -1
  290. package/dest/timetable/index.js +4 -209
  291. package/dest/timetable/proposer_timetable.d.ts +106 -0
  292. package/dest/timetable/proposer_timetable.d.ts.map +1 -0
  293. package/dest/timetable/proposer_timetable.js +132 -0
  294. package/dest/trees/nullifier_membership_witness.d.ts +5 -8
  295. package/dest/trees/nullifier_membership_witness.d.ts.map +1 -1
  296. package/dest/trees/nullifier_membership_witness.js +0 -9
  297. package/dest/trees/public_data_witness.d.ts +7 -17
  298. package/dest/trees/public_data_witness.d.ts.map +1 -1
  299. package/dest/trees/public_data_witness.js +0 -27
  300. package/dest/tx/execution_payload.d.ts +1 -1
  301. package/dest/tx/execution_payload.d.ts.map +1 -1
  302. package/dest/tx/execution_payload.js +1 -1
  303. package/dest/tx/fee_provider.d.ts +2 -2
  304. package/dest/tx/fee_provider.d.ts.map +1 -1
  305. package/dest/tx/global_variable_builder.d.ts +2 -12
  306. package/dest/tx/global_variable_builder.d.ts.map +1 -1
  307. package/dest/tx/global_variables.js +2 -2
  308. package/dest/tx/index.d.ts +1 -2
  309. package/dest/tx/index.d.ts.map +1 -1
  310. package/dest/tx/index.js +0 -1
  311. package/dest/tx/private_tx_constant_data.d.ts +18 -2
  312. package/dest/tx/private_tx_constant_data.d.ts.map +1 -1
  313. package/dest/tx/private_tx_constant_data.js +13 -4
  314. package/dest/tx/profiling.d.ts +1 -1
  315. package/dest/tx/profiling.d.ts.map +1 -1
  316. package/dest/tx/profiling.js +2 -0
  317. package/dest/tx/simulated_tx.d.ts +10 -6
  318. package/dest/tx/simulated_tx.d.ts.map +1 -1
  319. package/dest/tx/tx.d.ts +9 -1
  320. package/dest/tx/tx.d.ts.map +1 -1
  321. package/dest/tx/tx.js +15 -0
  322. package/dest/tx/validator/error_texts.d.ts +2 -2
  323. package/dest/tx/validator/error_texts.d.ts.map +1 -1
  324. package/dest/tx/validator/error_texts.js +1 -1
  325. package/dest/world-state/world_state_revision.d.ts +1 -18
  326. package/dest/world-state/world_state_revision.d.ts.map +1 -1
  327. package/dest/world-state/world_state_revision.js +0 -20
  328. package/package.json +8 -8
  329. package/src/abi/buffer.ts +13 -1
  330. package/src/avm/avm.ts +1 -1
  331. package/src/avm/index.ts +0 -5
  332. package/src/aztec-address/index.ts +36 -6
  333. package/src/block/attestation_info.ts +7 -2
  334. package/src/block/l2_block_source.ts +67 -13
  335. package/src/block/l2_block_stream/event_driven_l2_block_stream.ts +207 -0
  336. package/src/block/l2_block_stream/index.ts +1 -0
  337. package/src/block/l2_block_stream/interfaces.ts +96 -10
  338. package/src/block/l2_block_stream/l2_block_stream.ts +216 -175
  339. package/src/block/l2_block_stream/l2_tips_memory_store.ts +12 -41
  340. package/src/block/l2_block_stream/l2_tips_store_base.ts +84 -93
  341. package/src/block/proposal/attestations_and_signers.ts +53 -7
  342. package/src/block/test/l2_tips_store_test_suite.ts +270 -28
  343. package/src/block/validate_block_result.ts +48 -2
  344. package/src/checkpoint/checkpoint.ts +2 -2
  345. package/src/checkpoint/index.ts +1 -0
  346. package/src/checkpoint/simulation_overrides.ts +171 -0
  347. package/src/checkpoint/validate.ts +16 -6
  348. package/src/config/index.ts +1 -0
  349. package/src/config/network-consensus-config.ts +291 -0
  350. package/src/config/sequencer-config.ts +36 -5
  351. package/src/contract/contract_address.ts +4 -3
  352. package/src/contract/contract_class.ts +3 -2
  353. package/src/contract/contract_instance.ts +62 -1
  354. package/src/contract/index.ts +0 -1
  355. package/src/contract/interfaces/contract_data_source.ts +2 -4
  356. package/src/contract/interfaces/contract_instance.ts +26 -8
  357. package/src/contract/interfaces/node-info.ts +11 -0
  358. package/src/contract/partial_address.ts +8 -2
  359. package/src/database-version/version_manager.ts +96 -6
  360. package/src/deserialization/index.ts +35 -2
  361. package/src/file-store/factory.ts +7 -0
  362. package/src/file-store/index.ts +1 -0
  363. package/src/file-store/memory.ts +94 -0
  364. package/src/gas/README.md +92 -0
  365. package/src/gas/gas_settings.ts +11 -21
  366. package/src/gas/index.ts +1 -0
  367. package/src/gas/tx_gas_limits.ts +123 -0
  368. package/src/ha-signing/config.ts +23 -5
  369. package/src/ha-signing/local_config.ts +20 -1
  370. package/src/interfaces/archiver.ts +8 -9
  371. package/src/interfaces/aztec-node-admin.ts +1 -1
  372. package/src/interfaces/aztec-node-debug.ts +54 -2
  373. package/src/interfaces/aztec-node.ts +121 -43
  374. package/src/interfaces/block-builder.ts +2 -0
  375. package/src/interfaces/chain_tips.ts +8 -16
  376. package/src/interfaces/checkpoint_parameter.ts +3 -3
  377. package/src/interfaces/client.ts +1 -0
  378. package/src/interfaces/configs.ts +27 -6
  379. package/src/interfaces/get_tx_by_hash_options.ts +14 -0
  380. package/src/interfaces/merkle_tree_operations.ts +8 -2
  381. package/src/interfaces/p2p.ts +29 -9
  382. package/src/interfaces/private_kernel_prover.ts +104 -13
  383. package/src/interfaces/prover-client.ts +1 -3
  384. package/src/interfaces/prover-node.ts +32 -17
  385. package/src/interfaces/proving-job.ts +3 -3
  386. package/src/interfaces/server.ts +0 -2
  387. package/src/interfaces/server_circuit_prover.ts +2 -2
  388. package/src/interfaces/validator.ts +11 -0
  389. package/src/interfaces/world_state.ts +14 -0
  390. package/src/kernel/hints/find_private_kernel_reset_dimensions.ts +22 -112
  391. package/src/kernel/hints/index.ts +0 -1
  392. package/src/kernel/hints/read_request.ts +1 -1
  393. package/src/kernel/index.ts +5 -1
  394. package/src/kernel/log_hash.ts +5 -2
  395. package/src/kernel/note_hash.ts +1 -1
  396. package/src/kernel/nullifier.ts +1 -1
  397. package/src/kernel/private_circuit_public_inputs.ts +12 -1
  398. package/src/kernel/private_context_inputs.ts +10 -3
  399. package/src/kernel/private_kernel_circuit_public_inputs.ts +9 -7
  400. package/src/kernel/private_kernel_init_2_circuit_private_inputs.ts +0 -3
  401. package/src/kernel/private_kernel_init_3_circuit_private_inputs.ts +0 -3
  402. package/src/kernel/private_kernel_init_4_circuit_private_inputs.ts +52 -0
  403. package/src/kernel/private_kernel_init_5_circuit_private_inputs.ts +55 -0
  404. package/src/kernel/private_kernel_init_circuit_private_inputs.ts +0 -6
  405. package/src/kernel/private_kernel_inner_4_circuit_private_inputs.ts +39 -0
  406. package/src/kernel/private_kernel_inner_5_circuit_private_inputs.ts +42 -0
  407. package/src/kernel/private_kernel_prover_output.ts +4 -0
  408. package/src/kernel/private_kernel_reset_dimensions.ts +15 -5
  409. package/src/kernel/private_kernel_reset_tail_circuit_private_inputs.ts +69 -0
  410. package/src/kernel/private_kernel_simulated_output.ts +0 -7
  411. package/src/kernel/private_log_data.ts +4 -1
  412. package/src/kernel/utils/index.ts +0 -1
  413. package/src/keys/derivation.ts +71 -21
  414. package/src/logs/app_tagging_secret.ts +56 -24
  415. package/src/logs/app_tagging_secret_kind.ts +1 -1
  416. package/src/logs/contract_class_log.ts +0 -9
  417. package/src/logs/message_context.ts +7 -65
  418. package/src/logs/pending_tagged_log.ts +6 -33
  419. package/src/logs/shared_secret_derivation.ts +31 -15
  420. package/src/p2p/attestation_utils.ts +8 -1
  421. package/src/p2p/checkpoint_attestation.ts +12 -0
  422. package/src/p2p/index.ts +0 -1
  423. package/src/p2p/signature_utils.ts +9 -0
  424. package/src/rollup/avm_proof_data.ts +2 -2
  425. package/src/rollup/checkpoint_header.ts +16 -2
  426. package/src/stats/stats.ts +6 -2
  427. package/src/tests/factories.ts +13 -51
  428. package/src/tests/mocks.ts +7 -2
  429. package/src/timetable/README.md +609 -0
  430. package/src/timetable/budgets.ts +87 -0
  431. package/src/timetable/build_proposer_timetable.ts +42 -0
  432. package/src/timetable/consensus_timetable.ts +126 -0
  433. package/src/timetable/index.ts +4 -304
  434. package/src/timetable/proposer_timetable.ts +190 -0
  435. package/src/timetable/timetable-example.svg +108 -0
  436. package/src/trees/nullifier_membership_witness.ts +0 -11
  437. package/src/trees/public_data_witness.ts +0 -31
  438. package/src/tx/execution_payload.ts +2 -1
  439. package/src/tx/fee_provider.ts +1 -1
  440. package/src/tx/global_variable_builder.ts +1 -17
  441. package/src/tx/global_variables.ts +2 -2
  442. package/src/tx/index.ts +0 -1
  443. package/src/tx/private_tx_constant_data.ts +25 -2
  444. package/src/tx/profiling.ts +2 -0
  445. package/src/tx/tx.ts +17 -0
  446. package/src/tx/validator/error_texts.ts +2 -1
  447. package/src/world-state/world_state_revision.ts +0 -33
  448. package/dest/avm/contract_storage_read.d.ts +0 -58
  449. package/dest/avm/contract_storage_read.d.ts.map +0 -1
  450. package/dest/avm/contract_storage_read.js +0 -65
  451. package/dest/avm/contract_storage_update_request.d.ts +0 -65
  452. package/dest/avm/contract_storage_update_request.d.ts.map +0 -1
  453. package/dest/avm/contract_storage_update_request.js +0 -80
  454. package/dest/avm/public_call_stack_item_compressed.d.ts +0 -43
  455. package/dest/avm/public_call_stack_item_compressed.d.ts.map +0 -1
  456. package/dest/avm/public_call_stack_item_compressed.js +0 -70
  457. package/dest/avm/public_data_update_request.d.ts +0 -62
  458. package/dest/avm/public_data_update_request.d.ts.map +0 -1
  459. package/dest/avm/public_data_update_request.js +0 -67
  460. package/dest/avm/public_inner_call_request.d.ts +0 -50
  461. package/dest/avm/public_inner_call_request.d.ts.map +0 -1
  462. package/dest/avm/public_inner_call_request.js +0 -74
  463. package/dest/contract/deployment_info.d.ts +0 -24
  464. package/dest/contract/deployment_info.d.ts.map +0 -1
  465. package/dest/contract/deployment_info.js +0 -3
  466. package/dest/interfaces/epoch-prover.d.ts +0 -57
  467. package/dest/interfaces/epoch-prover.d.ts.map +0 -1
  468. package/dest/interfaces/epoch-prover.js +0 -1
  469. package/dest/interfaces/prover-coordination.d.ts +0 -15
  470. package/dest/interfaces/prover-coordination.d.ts.map +0 -1
  471. package/dest/interfaces/prover-coordination.js +0 -1
  472. package/dest/kernel/hints/tree_leaf_read_request.d.ts +0 -14
  473. package/dest/kernel/hints/tree_leaf_read_request.d.ts.map +0 -1
  474. package/dest/kernel/hints/tree_leaf_read_request.js +0 -33
  475. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts +0 -47
  476. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts.map +0 -1
  477. package/dest/kernel/private_kernel_tail_circuit_private_inputs.js +0 -38
  478. package/dest/kernel/utils/optional_number.d.ts +0 -31
  479. package/dest/kernel/utils/optional_number.d.ts.map +0 -1
  480. package/dest/kernel/utils/optional_number.js +0 -42
  481. package/dest/p2p/interface.d.ts +0 -5
  482. package/dest/p2p/interface.d.ts.map +0 -1
  483. package/dest/p2p/interface.js +0 -1
  484. package/dest/tx/validator/empty_validator.d.ts +0 -5
  485. package/dest/tx/validator/empty_validator.d.ts.map +0 -1
  486. package/dest/tx/validator/empty_validator.js +0 -7
  487. package/src/avm/contract_storage_read.ts +0 -77
  488. package/src/avm/contract_storage_update_request.ts +0 -93
  489. package/src/avm/public_call_stack_item_compressed.ts +0 -113
  490. package/src/avm/public_data_update_request.ts +0 -106
  491. package/src/avm/public_inner_call_request.ts +0 -85
  492. package/src/contract/deployment_info.ts +0 -25
  493. package/src/interfaces/epoch-prover.ts +0 -72
  494. package/src/interfaces/prover-coordination.ts +0 -17
  495. package/src/kernel/hints/tree_leaf_read_request.ts +0 -35
  496. package/src/kernel/private_kernel_tail_circuit_private_inputs.ts +0 -58
  497. package/src/kernel/utils/optional_number.ts +0 -50
  498. package/src/p2p/interface.ts +0 -4
  499. package/src/tx/validator/empty_validator.ts +0 -7
@@ -62,12 +62,11 @@ export function testL2TipsStore(makeTipsStore) {
62
62
  block: makeTip(blockNumber),
63
63
  checkpoint: makeCheckpointIdForBlock(blockNumber)
64
64
  });
65
- const makeTips = (proposed, proven, finalized, checkpointed = 0, proposedCheckpoint = 0)=>({
65
+ const makeTips = (proposed, proven, finalized, checkpointed = 0)=>({
66
66
  proposed: makeTip(proposed),
67
67
  proven: makeTipId(proven),
68
68
  finalized: makeTipId(finalized),
69
- checkpointed: makeTipId(checkpointed),
70
- proposedCheckpoint: makeTipId(proposedCheckpoint)
69
+ checkpointed: makeTipId(checkpointed)
71
70
  });
72
71
  const makeCheckpoint = async (checkpointNumber, blocks)=>{
73
72
  const checkpoint = await Checkpoint.random(CheckpointNumber(checkpointNumber), {
@@ -84,15 +83,19 @@ export function testL2TipsStore(makeTipsStore) {
84
83
  }
85
84
  return new PublishedCheckpoint(checkpoint, L1PublishedData.random(), []);
86
85
  };
87
- /** Creates a chain-checkpointed event with the required block field */ const makeCheckpointedEvent = async (checkpoint)=>{
88
- const lastBlock = checkpoint.checkpoint.blocks.at(-1);
86
+ /** Creates a thin chain-checkpointed event carrying the block + checkpoint ids of the checkpoint's last block. */ const makeCheckpointedEvent = async (published)=>{
87
+ const lastBlock = published.checkpoint.blocks.at(-1);
89
88
  const blockId = {
90
89
  number: lastBlock.number,
91
90
  hash: (await lastBlock.hash()).toString()
92
91
  };
92
+ const checkpointId = {
93
+ number: published.checkpoint.number,
94
+ hash: published.checkpoint.hash().toString()
95
+ };
93
96
  return {
94
97
  type: 'chain-checkpointed',
95
- checkpoint,
98
+ checkpoint: checkpointId,
96
99
  block: blockId
97
100
  };
98
101
  };
@@ -111,6 +114,93 @@ export function testL2TipsStore(makeTipsStore) {
111
114
  expect(await tipsStore.getL2BlockHash(2)).toEqual(blockHashes.get(2));
112
115
  expect(await tipsStore.getL2BlockHash(3)).toEqual(blockHashes.get(3));
113
116
  });
117
+ it('records the proposed tip number and hash from a chain-proposed event', async ()=>{
118
+ // chain-proposed is the sole writer of proposed-tip history in tips-only mode: no preceding blocks-added.
119
+ await tipsStore.handleBlockStreamEvent({
120
+ type: 'chain-proposed',
121
+ block: {
122
+ number: BlockNumber(5),
123
+ hash: new Fr(500).toString()
124
+ }
125
+ });
126
+ const tips = await tipsStore.getL2Tips();
127
+ expect(tips.proposed).toEqual({
128
+ number: BlockNumber(5),
129
+ hash: new Fr(500).toString()
130
+ });
131
+ // The hash is recorded in the same index the walk-back reads, so it resolves as a sparse anchor.
132
+ expect(await tipsStore.getL2BlockHash(5)).toEqual(new Fr(500).toString());
133
+ });
134
+ it('serves sparse proposed anchors from chain-proposed events for the walk-back', async ()=>{
135
+ // Two tip-moving polls in tips-only mode, with no blocks in between (sparse history).
136
+ await tipsStore.handleBlockStreamEvent({
137
+ type: 'chain-proposed',
138
+ block: {
139
+ number: BlockNumber(4),
140
+ hash: new Fr(400).toString()
141
+ }
142
+ });
143
+ await tipsStore.handleBlockStreamEvent({
144
+ type: 'chain-proposed',
145
+ block: {
146
+ number: BlockNumber(9),
147
+ hash: new Fr(900).toString()
148
+ }
149
+ });
150
+ // Both recorded heights resolve; the heights between them were never seen and stay undefined.
151
+ expect(await tipsStore.getL2BlockHash(4)).toEqual(new Fr(400).toString());
152
+ expect(await tipsStore.getL2BlockHash(9)).toEqual(new Fr(900).toString());
153
+ expect(await tipsStore.getL2BlockHash(6)).toBeUndefined();
154
+ const tips = await tipsStore.getL2Tips();
155
+ expect(tips.proposed).toEqual({
156
+ number: BlockNumber(9),
157
+ hash: new Fr(900).toString()
158
+ });
159
+ });
160
+ it('records block-hash witnesses without moving any tip cursor', async ()=>{
161
+ // Establish a proposed tip at 9 in tips-only fashion (sole writer of proposed history).
162
+ await tipsStore.handleBlockStreamEvent({
163
+ type: 'chain-proposed',
164
+ block: {
165
+ number: BlockNumber(9),
166
+ hash: new Fr(900).toString()
167
+ }
168
+ });
169
+ // Record sparse witnesses at heights below the tip (e.g. a consumer materializing per-height state).
170
+ await tipsStore.recordBlockHashes([
171
+ {
172
+ number: BlockNumber(4),
173
+ hash: new Fr(404).toString()
174
+ },
175
+ {
176
+ number: BlockNumber(6),
177
+ hash: new Fr(606).toString()
178
+ }
179
+ ]);
180
+ // Each recorded height resolves; an unrecorded gap stays undefined.
181
+ expect(await tipsStore.getL2BlockHash(4)).toEqual(new Fr(404).toString());
182
+ expect(await tipsStore.getL2BlockHash(6)).toEqual(new Fr(606).toString());
183
+ expect(await tipsStore.getL2BlockHash(5)).toBeUndefined();
184
+ // No tip cursor moved: the proposed tip is still 9, and every other tier is at genesis.
185
+ const tips = await tipsStore.getL2Tips();
186
+ expect(tips.proposed).toEqual({
187
+ number: BlockNumber(9),
188
+ hash: new Fr(900).toString()
189
+ });
190
+ expect(tips.checkpointed.block).toEqual(makeTip(0));
191
+ expect(tips.proven.block).toEqual(makeTip(0));
192
+ expect(tips.finalized.block).toEqual(makeTip(0));
193
+ });
194
+ it('skips witnesses with no hash and tolerates an empty list', async ()=>{
195
+ await tipsStore.recordBlockHashes([]);
196
+ await tipsStore.recordBlockHashes([
197
+ {
198
+ number: BlockNumber(3),
199
+ hash: ''
200
+ }
201
+ ]);
202
+ expect(await tipsStore.getL2BlockHash(3)).toBeUndefined();
203
+ });
114
204
  it('checkpoints all proposed blocks', async ()=>{
115
205
  // Propose blocks 1-5
116
206
  const blocks = await Promise.all(times(5, (i)=>makeBlock(i + 1)));
@@ -139,7 +229,8 @@ export function testL2TipsStore(makeTipsStore) {
139
229
  // Prove up to block 5
140
230
  await tipsStore.handleBlockStreamEvent({
141
231
  type: 'chain-proven',
142
- block: makeBlockId(5)
232
+ block: makeBlockId(5),
233
+ checkpoint: makeCheckpointIdForBlock(5)
143
234
  });
144
235
  const tips = await tipsStore.getL2Tips();
145
236
  expect(tips.proposed).toEqual(makeTip(5));
@@ -161,11 +252,13 @@ export function testL2TipsStore(makeTipsStore) {
161
252
  // Prove and finalize
162
253
  await tipsStore.handleBlockStreamEvent({
163
254
  type: 'chain-proven',
164
- block: makeBlockId(5)
255
+ block: makeBlockId(5),
256
+ checkpoint: makeCheckpointIdForBlock(5)
165
257
  });
166
258
  await tipsStore.handleBlockStreamEvent({
167
259
  type: 'chain-finalized',
168
- block: makeBlockId(5)
260
+ block: makeBlockId(5),
261
+ checkpoint: makeCheckpointIdForBlock(5)
169
262
  });
170
263
  const tips = await tipsStore.getL2Tips();
171
264
  expect(tips.proposed).toEqual(makeTip(5));
@@ -223,11 +316,13 @@ export function testL2TipsStore(makeTipsStore) {
223
316
  // Prove and finalize up to block 3 (checkpoint 1)
224
317
  await tipsStore.handleBlockStreamEvent({
225
318
  type: 'chain-proven',
226
- block: makeBlockId(3)
319
+ block: makeBlockId(3),
320
+ checkpoint: makeCheckpointIdForBlock(3)
227
321
  });
228
322
  await tipsStore.handleBlockStreamEvent({
229
323
  type: 'chain-finalized',
230
- block: makeBlockId(3)
324
+ block: makeBlockId(3),
325
+ checkpoint: makeCheckpointIdForBlock(3)
231
326
  });
232
327
  // Blocks before finalized should be cleared
233
328
  expect(await tipsStore.getL2BlockHash(1)).toBeUndefined();
@@ -247,10 +342,8 @@ export function testL2TipsStore(makeTipsStore) {
247
342
  await tipsStore.handleBlockStreamEvent({
248
343
  type: 'chain-pruned',
249
344
  block: makeBlockId(5),
250
- checkpoint: {
251
- number: CheckpointNumber.ZERO,
252
- hash: GENESIS_CHECKPOINT_HEADER_HASH.toString()
253
- }
345
+ checkpointed: makeTipId(0),
346
+ proven: makeTipId(0)
254
347
  });
255
348
  const tips = await tipsStore.getL2Tips();
256
349
  expect(tips.proposed).toEqual(makeTip(5));
@@ -272,10 +365,8 @@ export function testL2TipsStore(makeTipsStore) {
272
365
  await tipsStore.handleBlockStreamEvent({
273
366
  type: 'chain-pruned',
274
367
  block: makeTip(0),
275
- checkpoint: {
276
- number: CheckpointNumber.ZERO,
277
- hash: GENESIS_CHECKPOINT_HEADER_HASH.toString()
278
- }
368
+ checkpointed: makeTipId(0),
369
+ proven: makeTipId(0)
279
370
  });
280
371
  tips = await tipsStore.getL2Tips();
281
372
  expect(tips.proposed).toEqual(makeTip(0));
@@ -336,10 +427,8 @@ export function testL2TipsStore(makeTipsStore) {
336
427
  await tipsStore.handleBlockStreamEvent({
337
428
  type: 'chain-pruned',
338
429
  block: makeBlockId(5),
339
- checkpoint: {
340
- number: CheckpointNumber.ZERO,
341
- hash: GENESIS_CHECKPOINT_HEADER_HASH.toString()
342
- }
430
+ checkpointed: makeTipId(5),
431
+ proven: makeTipId(0)
343
432
  });
344
433
  tips = await tipsStore.getL2Tips();
345
434
  expect(tips.proposed).toEqual(makeTip(5));
@@ -399,10 +488,8 @@ export function testL2TipsStore(makeTipsStore) {
399
488
  await tipsStore.handleBlockStreamEvent({
400
489
  type: 'chain-pruned',
401
490
  block: makeBlockId(3),
402
- checkpoint: {
403
- number: CheckpointNumber.ZERO,
404
- hash: GENESIS_CHECKPOINT_HEADER_HASH.toString()
405
- }
491
+ checkpointed: makeTipId(3),
492
+ proven: makeTipId(0)
406
493
  });
407
494
  tips = await tipsStore.getL2Tips();
408
495
  expect(tips.proposed).toEqual(makeTip(3));
@@ -439,7 +526,8 @@ export function testL2TipsStore(makeTipsStore) {
439
526
  // Prove up to block 3
440
527
  await tipsStore.handleBlockStreamEvent({
441
528
  type: 'chain-proven',
442
- block: makeBlockId(3)
529
+ block: makeBlockId(3),
530
+ checkpoint: makeCheckpointIdForBlock(3)
443
531
  });
444
532
  let tips = await tipsStore.getL2Tips();
445
533
  expect(tips.proposed).toEqual(makeTip(3));
@@ -479,10 +567,8 @@ export function testL2TipsStore(makeTipsStore) {
479
567
  await tipsStore.handleBlockStreamEvent({
480
568
  type: 'chain-pruned',
481
569
  block: makeBlockId(3),
482
- checkpoint: {
483
- number: CheckpointNumber.ZERO,
484
- hash: GENESIS_CHECKPOINT_HEADER_HASH.toString()
485
- }
570
+ checkpointed: makeTipId(3),
571
+ proven: makeTipId(3)
486
572
  });
487
573
  tips = await tipsStore.getL2Tips();
488
574
  expect(tips.proposed).toEqual(makeTip(3));
@@ -525,22 +611,195 @@ export function testL2TipsStore(makeTipsStore) {
525
611
  expect(await tipsStore.getL2BlockHash(6)).not.toEqual(originalHash6);
526
612
  expect(await tipsStore.getL2BlockHash(7)).not.toEqual(originalHash7);
527
613
  });
528
- // Regression test for #13142
529
- it('does not blow up when setting proven chain on an unseen block number', async ()=>{
614
+ // Regression test for #13142: proving an unseen block number (one with no local block->checkpoint
615
+ // mapping) must not blow up. With per-cursor checkpoint ids, the proven tip resolves to the
616
+ // checkpoint id carried by the event rather than falling back to checkpoint zero.
617
+ it('resolves the proven checkpoint from the carried id when setting proven on an unseen block number', async ()=>{
530
618
  await tipsStore.handleBlockStreamEvent({
531
619
  type: 'blocks-added',
532
620
  blocks: [
533
621
  await makeBlock(5)
534
622
  ]
535
623
  });
624
+ // Block 3 has no local block->checkpoint mapping, but the event carries a real checkpoint id.
625
+ const carriedCheckpoint = {
626
+ number: CheckpointNumber(1),
627
+ hash: new Fr(42).toString()
628
+ };
536
629
  await tipsStore.handleBlockStreamEvent({
537
630
  type: 'chain-proven',
538
- block: makeBlockId(3)
631
+ block: makeBlockId(3),
632
+ checkpoint: carriedCheckpoint
539
633
  });
540
634
  const tips = await tipsStore.getL2Tips();
541
635
  expect(tips.proposed).toEqual(makeTip(5));
542
636
  expect(tips.proven.block).toEqual(makeTip(3));
543
- // No checkpoint for block 3 since it wasn't checkpointed
544
- expect(tips.proven.checkpoint.number).toEqual(CheckpointNumber.ZERO);
637
+ // Resolved from the carried id, not the (missing) local mapping.
638
+ expect(tips.proven.checkpoint).toEqual(carriedCheckpoint);
639
+ });
640
+ // proven/finalized resolve to the carried checkpoint id even when the block has no local
641
+ // block->checkpoint mapping (the cursor legitimately leads the locally-checkpointed frontier).
642
+ it('resolves proven and finalized checkpoints from carried ids without a local mapping', async ()=>{
643
+ await tipsStore.handleBlockStreamEvent({
644
+ type: 'blocks-added',
645
+ blocks: [
646
+ await makeBlock(7)
647
+ ]
648
+ });
649
+ const provenCheckpoint = {
650
+ number: CheckpointNumber(2),
651
+ hash: new Fr(101).toString()
652
+ };
653
+ const finalizedCheckpoint = {
654
+ number: CheckpointNumber(1),
655
+ hash: new Fr(100).toString()
656
+ };
657
+ await tipsStore.handleBlockStreamEvent({
658
+ type: 'chain-proven',
659
+ block: makeBlockId(5),
660
+ checkpoint: provenCheckpoint
661
+ });
662
+ await tipsStore.handleBlockStreamEvent({
663
+ type: 'chain-finalized',
664
+ block: makeBlockId(3),
665
+ checkpoint: finalizedCheckpoint
666
+ });
667
+ const tips = await tipsStore.getL2Tips();
668
+ expect(tips.proven.checkpoint).toEqual(provenCheckpoint);
669
+ expect(tips.finalized.checkpoint).toEqual(finalizedCheckpoint);
670
+ });
671
+ // Genuine corruption: a cursor points at a real (non-genesis) block that has a block hash but
672
+ // neither a stored per-cursor checkpoint id nor a block->checkpoint mapping. getL2Tips must throw
673
+ // loudly rather than silently report checkpoint zero. We reach this state by reaching past the
674
+ // event API to place the tip directly, since the normal writers always record an id.
675
+ it('throws when a cursor points at a real block with neither a stored id nor a mapping', async ()=>{
676
+ // blocks-added records the block hash for block 5 (so getBlockId succeeds) but no checkpoint id.
677
+ await tipsStore.handleBlockStreamEvent({
678
+ type: 'blocks-added',
679
+ blocks: [
680
+ await makeBlock(5)
681
+ ]
682
+ });
683
+ // Corrupt the proven cursor to point at block 5 without any id or mapping.
684
+ const internal = tipsStore;
685
+ await internal.setTip('proven', BlockNumber(5));
686
+ await expect(tipsStore.getL2Tips()).rejects.toThrow(/checkpoint/i);
687
+ });
688
+ // Backward prune of a leading cursor: a checkpoint-bearing cursor that legitimately leads the source's
689
+ // confirmed checkpointed tip is clamped down to that tip, resolving to the id the prune event carries
690
+ // (never genesis, never a throw). This is the skipped-history shape where the cursor sits on a block
691
+ // ahead of the checkpointed frontier.
692
+ it('clamps a leading checkpoint cursor down to the source checkpointed tip carried by the prune event', async ()=>{
693
+ // Checkpoint blocks 1-5 (checkpointed = block 5 / ckpt 1), then add uncheckpointed blocks 6-10.
694
+ const blocks1to5 = await Promise.all(times(5, (i)=>makeBlock(i + 1)));
695
+ await tipsStore.handleBlockStreamEvent({
696
+ type: 'blocks-added',
697
+ blocks: blocks1to5
698
+ });
699
+ const checkpoint1 = await makeCheckpoint(1, blocks1to5);
700
+ await tipsStore.handleBlockStreamEvent(await makeCheckpointedEvent(checkpoint1));
701
+ const blocks6to10 = await Promise.all(times(5, (i)=>makeBlock(i + 6)));
702
+ await tipsStore.handleBlockStreamEvent({
703
+ type: 'blocks-added',
704
+ blocks: blocks6to10
705
+ });
706
+ // Advance the proven cursor onto an uncheckpointed block (8) via a carried id, so it LEADS the
707
+ // source checkpointed tip (block 5) and will be clamped down to it on prune.
708
+ await tipsStore.handleBlockStreamEvent({
709
+ type: 'chain-proven',
710
+ block: makeBlockId(8),
711
+ checkpoint: {
712
+ number: CheckpointNumber(2),
713
+ hash: new Fr(202).toString()
714
+ }
715
+ });
716
+ // Prune to block 7, carrying the source's confirmed checkpointed and proven tips (both block 5 / ckpt 1
717
+ // here, the source's proven tip having rolled back together with its checkpointed tip).
718
+ await tipsStore.handleBlockStreamEvent({
719
+ type: 'chain-pruned',
720
+ block: makeBlockId(7),
721
+ checkpointed: makeTipId(5),
722
+ proven: makeTipId(5)
723
+ });
724
+ // Must not throw; the proven cursor is clamped to the carried proven tip, resolving to ckpt 1.
725
+ const tips = await tipsStore.getL2Tips();
726
+ expect(tips.proposed).toEqual(makeTip(7));
727
+ expect(tips.proven.block).toEqual(makeTip(5));
728
+ expect(tips.proven.checkpoint.number).toEqual(CheckpointNumber(1));
729
+ });
730
+ it('keeps the checkpointed tip when pruning to an uncheckpointed block ahead of it', async ()=>{
731
+ const blocks1to5 = await Promise.all(times(5, (i)=>makeBlock(i + 1)));
732
+ await tipsStore.handleBlockStreamEvent({
733
+ type: 'blocks-added',
734
+ blocks: blocks1to5
735
+ });
736
+ const checkpoint1 = await makeCheckpoint(1, blocks1to5);
737
+ await tipsStore.handleBlockStreamEvent(await makeCheckpointedEvent(checkpoint1)); // checkpointed = block 5 / ckpt 1
738
+ const blocks6to7 = await Promise.all(times(2, (i)=>makeBlock(i + 6)));
739
+ await tipsStore.handleBlockStreamEvent({
740
+ type: 'blocks-added',
741
+ blocks: blocks6to7
742
+ }); // proposed = 7
743
+ // Prune to block 6: an uncheckpointed block AHEAD of the checkpointed tip (block 5). The source
744
+ // checkpointed tip is still block 5 / ckpt 1, so the checkpointed cursor must not move.
745
+ await tipsStore.handleBlockStreamEvent({
746
+ type: 'chain-pruned',
747
+ block: makeBlockId(6),
748
+ checkpointed: makeTipId(5),
749
+ proven: makeTipId(0)
750
+ });
751
+ const tips = await tipsStore.getL2Tips();
752
+ expect(tips.proposed).toEqual(makeTip(6));
753
+ expect(tips.checkpointed.block).toEqual(makeTip(5));
754
+ expect(tips.checkpointed.checkpoint.number).toEqual(CheckpointNumber(1)); // must NOT be zero
755
+ });
756
+ // Per-cursor clamping on prune: when the source rolls back its proven tip below its checkpointed tip
757
+ // (e.g. a proof tx dropped by an L1 reorg), the prune event carries both source tips and each local
758
+ // cursor must clamp to its OWN source tip. Clamping the proven cursor onto the (higher) checkpointed
759
+ // tip would transiently report unproven blocks as proven until the corrective chain-proven event lands.
760
+ it('clamps the proven cursor to the source proven tip, separately from the checkpointed cursor, on prune', async ()=>{
761
+ // Checkpoint blocks 1-15 across three checkpoints (ckpt 1 = 1-5, ckpt 2 = 6-10, ckpt 3 = 11-15).
762
+ const blocks1to5 = await Promise.all(times(5, (i)=>makeBlock(i + 1)));
763
+ await tipsStore.handleBlockStreamEvent({
764
+ type: 'blocks-added',
765
+ blocks: blocks1to5
766
+ });
767
+ await tipsStore.handleBlockStreamEvent(await makeCheckpointedEvent(await makeCheckpoint(1, blocks1to5)));
768
+ const blocks6to10 = await Promise.all(times(5, (i)=>makeBlock(i + 6)));
769
+ await tipsStore.handleBlockStreamEvent({
770
+ type: 'blocks-added',
771
+ blocks: blocks6to10
772
+ });
773
+ await tipsStore.handleBlockStreamEvent(await makeCheckpointedEvent(await makeCheckpoint(2, blocks6to10)));
774
+ const blocks11to15 = await Promise.all(times(5, (i)=>makeBlock(i + 11)));
775
+ await tipsStore.handleBlockStreamEvent({
776
+ type: 'blocks-added',
777
+ blocks: blocks11to15
778
+ });
779
+ await tipsStore.handleBlockStreamEvent(await makeCheckpointedEvent(await makeCheckpoint(3, blocks11to15)));
780
+ // Prove the whole chain up to block 15 (ckpt 3), so the local proven cursor leads both source tips below.
781
+ await tipsStore.handleBlockStreamEvent({
782
+ type: 'chain-proven',
783
+ block: makeBlockId(15),
784
+ checkpoint: makeCheckpointIdForBlock(15)
785
+ });
786
+ let tips = await tipsStore.getL2Tips();
787
+ expect(tips.checkpointed.block).toEqual(makeTip(15));
788
+ expect(tips.proven.block).toEqual(makeTip(15));
789
+ // Prune arrives with the source's proven tip (block 5 / ckpt 1) BELOW its checkpointed tip (block 10 /
790
+ // ckpt 2) and below the local proven cursor (block 15). Each cursor must clamp to its own source tip.
791
+ await tipsStore.handleBlockStreamEvent({
792
+ type: 'chain-pruned',
793
+ block: makeBlockId(10),
794
+ checkpointed: makeTipId(10),
795
+ proven: makeTipId(5)
796
+ });
797
+ tips = await tipsStore.getL2Tips();
798
+ // The proven cursor lands exactly on the source proven tip, NOT on the (higher) checkpointed tip.
799
+ expect(tips.proven.block).toEqual(makeTip(5));
800
+ expect(tips.proven.checkpoint.number).toEqual(CheckpointNumber(1));
801
+ // The checkpointed cursor lands on the source checkpointed tip.
802
+ expect(tips.checkpointed.block).toEqual(makeTip(10));
803
+ expect(tips.checkpointed.checkpoint.number).toEqual(CheckpointNumber(2));
545
804
  });
546
805
  }
@@ -1,3 +1,4 @@
1
+ import type { ViemCommitteeAttestations } from '@aztec/ethereum/contracts';
1
2
  import { EpochNumber } from '@aztec/foundation/branded-types';
2
3
  import { EthAddress } from '@aztec/foundation/eth-address';
3
4
  import { type ZodFor } from '@aztec/foundation/schemas';
@@ -19,6 +20,14 @@ export type ValidateCheckpointNegativeResult = {
19
20
  attestors: EthAddress[];
20
21
  /** Committee attestations for this checkpoint as they were posted to L1 */
21
22
  attestations: CommitteeAttestation[];
23
+ /**
24
+ * The exact packed `CommitteeAttestations` tuple as posted to L1 calldata, carried verbatim so the
25
+ * invalidation evidence is byte-faithful to the stored `attestationsHash`. A repack via
26
+ * `packAttestations` is not a round-trip inverse of `fromPacked`, so it would diverge from the hash
27
+ * and revert `invalidateBadAttestation`/`invalidateInsufficientAttestations`. Always populated on the
28
+ * calldata validation path, the only production source of invalidation evidence.
29
+ */
30
+ verbatimAttestations: ViemCommitteeAttestations;
22
31
  /** Reason for the checkpoint being invalid: not enough attestations were posted */
23
32
  reason: 'insufficient-attestations';
24
33
  } | {
@@ -35,6 +44,12 @@ export type ValidateCheckpointNegativeResult = {
35
44
  attestors: EthAddress[];
36
45
  /** Committee attestations for this checkpoint as they were posted to L1 */
37
46
  attestations: CommitteeAttestation[];
47
+ /**
48
+ * The exact packed `CommitteeAttestations` tuple as posted to L1 calldata, carried verbatim so the
49
+ * invalidation evidence is byte-faithful to the stored `attestationsHash`. See the same field on the
50
+ * insufficient-attestations variant for why a repack cannot be used.
51
+ */
52
+ verbatimAttestations: ViemCommitteeAttestations;
38
53
  /** Reason for the checkpoint being invalid: an invalid attestation was posted */
39
54
  reason: 'invalid-attestation';
40
55
  /** Index in the attestations array of the invalid attestation posted */
@@ -47,4 +62,4 @@ export type ValidateCheckpointResult = {
47
62
  export declare const ValidateCheckpointResultSchema: ZodFor<ValidateCheckpointResult>;
48
63
  export declare function serializeValidateCheckpointResult(result: ValidateCheckpointResult): Buffer;
49
64
  export declare function deserializeValidateCheckpointResult(bufferOrReader: Buffer | BufferReader): ValidateCheckpointResult;
50
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidmFsaWRhdGVfYmxvY2tfcmVzdWx0LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYmxvY2svdmFsaWRhdGVfYmxvY2tfcmVzdWx0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQXFCLE1BQU0saUNBQWlDLENBQUM7QUFDakYsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBQzNELE9BQU8sRUFBRSxLQUFLLE1BQU0sRUFBVyxNQUFNLDJCQUEyQixDQUFDO0FBQ2pFLE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFJOUUsT0FBTyxFQUNMLEtBQUssY0FBYyxFQUlwQixNQUFNLGtDQUFrQyxDQUFDO0FBRTFDLE9BQU8sRUFBRSxvQkFBb0IsRUFBRSxNQUFNLHFDQUFxQyxDQUFDO0FBRTNFLHdEQUF3RDtBQUN4RCxNQUFNLE1BQU0sZ0NBQWdDLEdBQ3hDO0lBQ0UsS0FBSyxFQUFFLEtBQUssQ0FBQztJQUNiLDhDQUE4QztJQUM5QyxVQUFVLEVBQUUsY0FBYyxDQUFDO0lBQzNCLGtFQUFrRTtJQUNsRSxTQUFTLEVBQUUsVUFBVSxFQUFFLENBQUM7SUFDeEIsa0RBQWtEO0lBQ2xELEtBQUssRUFBRSxXQUFXLENBQUM7SUFDbkIsNENBQTRDO0lBQzVDLElBQUksRUFBRSxNQUFNLENBQUM7SUFDYixvRUFBb0U7SUFDcEUsU0FBUyxFQUFFLFVBQVUsRUFBRSxDQUFDO0lBQ3hCLDJFQUEyRTtJQUMzRSxZQUFZLEVBQUUsb0JBQW9CLEVBQUUsQ0FBQztJQUNyQyxtRkFBbUY7SUFDbkYsTUFBTSxFQUFFLDJCQUEyQixDQUFDO0NBQ3JDLEdBQ0Q7SUFDRSxLQUFLLEVBQUUsS0FBSyxDQUFDO0lBQ2IsOENBQThDO0lBQzlDLFVBQVUsRUFBRSxjQUFjLENBQUM7SUFDM0Isa0VBQWtFO0lBQ2xFLFNBQVMsRUFBRSxVQUFVLEVBQUUsQ0FBQztJQUN4QixrREFBa0Q7SUFDbEQsS0FBSyxFQUFFLFdBQVcsQ0FBQztJQUNuQiw0Q0FBNEM7SUFDNUMsSUFBSSxFQUFFLE1BQU0sQ0FBQztJQUNiLG9FQUFvRTtJQUNwRSxTQUFTLEVBQUUsVUFBVSxFQUFFLENBQUM7SUFDeEIsMkVBQTJFO0lBQzNFLFlBQVksRUFBRSxvQkFBb0IsRUFBRSxDQUFDO0lBQ3JDLGlGQUFpRjtJQUNqRixNQUFNLEVBQUUscUJBQXFCLENBQUM7SUFDOUIsd0VBQXdFO0lBQ3hFLFlBQVksRUFBRSxNQUFNLENBQUM7Q0FDdEIsQ0FBQztBQUVOLHlEQUF5RDtBQUN6RCxNQUFNLE1BQU0sd0JBQXdCLEdBQUc7SUFBRSxLQUFLLEVBQUUsSUFBSSxDQUFBO0NBQUUsR0FBRyxnQ0FBZ0MsQ0FBQztBQUUxRixlQUFPLE1BQU0sOEJBQThCLEVBQUUsTUFBTSxDQUFDLHdCQUF3QixDQXVCMUUsQ0FBQztBQUVILHdCQUFnQixpQ0FBaUMsQ0FBQyxNQUFNLEVBQUUsd0JBQXdCLEdBQUcsTUFBTSxDQXFCMUY7QUFFRCx3QkFBZ0IsbUNBQW1DLENBQUMsY0FBYyxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsd0JBQXdCLENBc0JuSCJ9
65
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidmFsaWRhdGVfYmxvY2tfcmVzdWx0LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYmxvY2svdmFsaWRhdGVfYmxvY2tfcmVzdWx0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLHlCQUF5QixFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDM0UsT0FBTyxFQUFFLFdBQVcsRUFBcUIsTUFBTSxpQ0FBaUMsQ0FBQztBQUNqRixPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDM0QsT0FBTyxFQUFFLEtBQUssTUFBTSxFQUFXLE1BQU0sMkJBQTJCLENBQUM7QUFDakUsT0FBTyxFQUFFLFlBQVksRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUs5RSxPQUFPLEVBQ0wsS0FBSyxjQUFjLEVBSXBCLE1BQU0sa0NBQWtDLENBQUM7QUFFMUMsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0scUNBQXFDLENBQUM7QUFFM0Usd0RBQXdEO0FBQ3hELE1BQU0sTUFBTSxnQ0FBZ0MsR0FDeEM7SUFDRSxLQUFLLEVBQUUsS0FBSyxDQUFDO0lBQ2IsOENBQThDO0lBQzlDLFVBQVUsRUFBRSxjQUFjLENBQUM7SUFDM0Isa0VBQWtFO0lBQ2xFLFNBQVMsRUFBRSxVQUFVLEVBQUUsQ0FBQztJQUN4QixrREFBa0Q7SUFDbEQsS0FBSyxFQUFFLFdBQVcsQ0FBQztJQUNuQiw0Q0FBNEM7SUFDNUMsSUFBSSxFQUFFLE1BQU0sQ0FBQztJQUNiLG9FQUFvRTtJQUNwRSxTQUFTLEVBQUUsVUFBVSxFQUFFLENBQUM7SUFDeEIsMkVBQTJFO0lBQzNFLFlBQVksRUFBRSxvQkFBb0IsRUFBRSxDQUFDO0lBQ3JDOzs7Ozs7T0FNRztJQUNILG9CQUFvQixFQUFFLHlCQUF5QixDQUFDO0lBQ2hELG1GQUFtRjtJQUNuRixNQUFNLEVBQUUsMkJBQTJCLENBQUM7Q0FDckMsR0FDRDtJQUNFLEtBQUssRUFBRSxLQUFLLENBQUM7SUFDYiw4Q0FBOEM7SUFDOUMsVUFBVSxFQUFFLGNBQWMsQ0FBQztJQUMzQixrRUFBa0U7SUFDbEUsU0FBUyxFQUFFLFVBQVUsRUFBRSxDQUFDO0lBQ3hCLGtEQUFrRDtJQUNsRCxLQUFLLEVBQUUsV0FBVyxDQUFDO0lBQ25CLDRDQUE0QztJQUM1QyxJQUFJLEVBQUUsTUFBTSxDQUFDO0lBQ2Isb0VBQW9FO0lBQ3BFLFNBQVMsRUFBRSxVQUFVLEVBQUUsQ0FBQztJQUN4QiwyRUFBMkU7SUFDM0UsWUFBWSxFQUFFLG9CQUFvQixFQUFFLENBQUM7SUFDckM7Ozs7T0FJRztJQUNILG9CQUFvQixFQUFFLHlCQUF5QixDQUFDO0lBQ2hELGlGQUFpRjtJQUNqRixNQUFNLEVBQUUscUJBQXFCLENBQUM7SUFDOUIsd0VBQXdFO0lBQ3hFLFlBQVksRUFBRSxNQUFNLENBQUM7Q0FDdEIsQ0FBQztBQUVOLHlEQUF5RDtBQUN6RCxNQUFNLE1BQU0sd0JBQXdCLEdBQUc7SUFBRSxLQUFLLEVBQUUsSUFBSSxDQUFBO0NBQUUsR0FBRyxnQ0FBZ0MsQ0FBQztBQVExRixlQUFPLE1BQU0sOEJBQThCLEVBQUUsTUFBTSxDQUFDLHdCQUF3QixDQXlCMUUsQ0FBQztBQUVILHdCQUFnQixpQ0FBaUMsQ0FBQyxNQUFNLEVBQUUsd0JBQXdCLEdBQUcsTUFBTSxDQTJCMUY7QUFFRCx3QkFBZ0IsbUNBQW1DLENBQUMsY0FBYyxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsd0JBQXdCLENBc0NuSCJ9
@@ -1 +1 @@
1
- {"version":3,"file":"validate_block_result.d.ts","sourceRoot":"","sources":["../../src/block/validate_block_result.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAqB,MAAM,iCAAiC,CAAC;AACjF,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAI9E,OAAO,EACL,KAAK,cAAc,EAIpB,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAE3E,wDAAwD;AACxD,MAAM,MAAM,gCAAgC,GACxC;IACE,KAAK,EAAE,KAAK,CAAC;IACb,8CAA8C;IAC9C,UAAU,EAAE,cAAc,CAAC;IAC3B,kEAAkE;IAClE,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,kDAAkD;IAClD,KAAK,EAAE,WAAW,CAAC;IACnB,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,oEAAoE;IACpE,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,2EAA2E;IAC3E,YAAY,EAAE,oBAAoB,EAAE,CAAC;IACrC,mFAAmF;IACnF,MAAM,EAAE,2BAA2B,CAAC;CACrC,GACD;IACE,KAAK,EAAE,KAAK,CAAC;IACb,8CAA8C;IAC9C,UAAU,EAAE,cAAc,CAAC;IAC3B,kEAAkE;IAClE,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,kDAAkD;IAClD,KAAK,EAAE,WAAW,CAAC;IACnB,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,oEAAoE;IACpE,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,2EAA2E;IAC3E,YAAY,EAAE,oBAAoB,EAAE,CAAC;IACrC,iFAAiF;IACjF,MAAM,EAAE,qBAAqB,CAAC;IAC9B,wEAAwE;IACxE,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC;AAEN,yDAAyD;AACzD,MAAM,MAAM,wBAAwB,GAAG;IAAE,KAAK,EAAE,IAAI,CAAA;CAAE,GAAG,gCAAgC,CAAC;AAE1F,eAAO,MAAM,8BAA8B,EAAE,MAAM,CAAC,wBAAwB,CAuB1E,CAAC;AAEH,wBAAgB,iCAAiC,CAAC,MAAM,EAAE,wBAAwB,GAAG,MAAM,CAqB1F;AAED,wBAAgB,mCAAmC,CAAC,cAAc,EAAE,MAAM,GAAG,YAAY,GAAG,wBAAwB,CAsBnH"}
1
+ {"version":3,"file":"validate_block_result.d.ts","sourceRoot":"","sources":["../../src/block/validate_block_result.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,2BAA2B,CAAC;AAC3E,OAAO,EAAE,WAAW,EAAqB,MAAM,iCAAiC,CAAC;AACjF,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAK9E,OAAO,EACL,KAAK,cAAc,EAIpB,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAE3E,wDAAwD;AACxD,MAAM,MAAM,gCAAgC,GACxC;IACE,KAAK,EAAE,KAAK,CAAC;IACb,8CAA8C;IAC9C,UAAU,EAAE,cAAc,CAAC;IAC3B,kEAAkE;IAClE,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,kDAAkD;IAClD,KAAK,EAAE,WAAW,CAAC;IACnB,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,oEAAoE;IACpE,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,2EAA2E;IAC3E,YAAY,EAAE,oBAAoB,EAAE,CAAC;IACrC;;;;;;OAMG;IACH,oBAAoB,EAAE,yBAAyB,CAAC;IAChD,mFAAmF;IACnF,MAAM,EAAE,2BAA2B,CAAC;CACrC,GACD;IACE,KAAK,EAAE,KAAK,CAAC;IACb,8CAA8C;IAC9C,UAAU,EAAE,cAAc,CAAC;IAC3B,kEAAkE;IAClE,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,kDAAkD;IAClD,KAAK,EAAE,WAAW,CAAC;IACnB,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,oEAAoE;IACpE,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,2EAA2E;IAC3E,YAAY,EAAE,oBAAoB,EAAE,CAAC;IACrC;;;;OAIG;IACH,oBAAoB,EAAE,yBAAyB,CAAC;IAChD,iFAAiF;IACjF,MAAM,EAAE,qBAAqB,CAAC;IAC9B,wEAAwE;IACxE,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC;AAEN,yDAAyD;AACzD,MAAM,MAAM,wBAAwB,GAAG;IAAE,KAAK,EAAE,IAAI,CAAA;CAAE,GAAG,gCAAgC,CAAC;AAQ1F,eAAO,MAAM,8BAA8B,EAAE,MAAM,CAAC,wBAAwB,CAyB1E,CAAC;AAEH,wBAAgB,iCAAiC,CAAC,MAAM,EAAE,wBAAwB,GAAG,MAAM,CA2B1F;AAED,wBAAgB,mCAAmC,CAAC,cAAc,EAAE,MAAM,GAAG,YAAY,GAAG,wBAAwB,CAsCnH"}
@@ -2,10 +2,15 @@ import { EpochNumber, EpochNumberSchema } from '@aztec/foundation/branded-types'
2
2
  import { EthAddress } from '@aztec/foundation/eth-address';
3
3
  import { schemas } from '@aztec/foundation/schemas';
4
4
  import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
5
+ import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
5
6
  import { z } from 'zod';
6
7
  import { CheckpointInfoSchema, deserializeCheckpointInfo, serializeCheckpointInfo } from '../checkpoint/checkpoint_info.js';
7
8
  import { MAX_COMMITTEE_SIZE } from '../deserialization/index.js';
8
9
  import { CommitteeAttestation } from './proposal/committee_attestation.js';
10
+ /** Zod schema for the raw packed `CommitteeAttestations` viem tuple (two 0x-prefixed hex strings). */ const ViemCommitteeAttestationsSchema = z.object({
11
+ signatureIndices: schemas.HexStringWith0x,
12
+ signaturesOrAddresses: schemas.HexStringWith0x
13
+ });
9
14
  export const ValidateCheckpointResultSchema = z.union([
10
15
  z.object({
11
16
  valid: z.literal(true)
@@ -18,6 +23,7 @@ export const ValidateCheckpointResultSchema = z.union([
18
23
  seed: schemas.BigInt,
19
24
  attestors: z.array(schemas.EthAddress),
20
25
  attestations: z.array(CommitteeAttestation.schema),
26
+ verbatimAttestations: ViemCommitteeAttestationsSchema,
21
27
  reason: z.literal('insufficient-attestations')
22
28
  }),
23
29
  z.object({
@@ -28,6 +34,7 @@ export const ValidateCheckpointResultSchema = z.union([
28
34
  seed: schemas.BigInt,
29
35
  attestors: z.array(schemas.EthAddress),
30
36
  attestations: z.array(CommitteeAttestation.schema),
37
+ verbatimAttestations: ViemCommitteeAttestationsSchema,
31
38
  reason: z.literal('invalid-attestation'),
32
39
  invalidIndex: z.number()
33
40
  })
@@ -37,7 +44,9 @@ export function serializeValidateCheckpointResult(result) {
37
44
  return serializeToBuffer(true);
38
45
  }
39
46
  const checkpointBuffer = serializeCheckpointInfo(result.checkpoint);
40
- return serializeToBuffer(result.valid, result.reason, checkpointBuffer.length, checkpointBuffer, result.committee.length, result.committee, result.epoch, result.seed ?? 0n, result.attestors.length, result.attestors, result.attestations.length, result.attestations, result.reason === 'invalid-attestation' ? result.invalidIndex : 0);
47
+ const signatureIndices = hexToBuffer(result.verbatimAttestations.signatureIndices);
48
+ const signaturesOrAddresses = hexToBuffer(result.verbatimAttestations.signaturesOrAddresses);
49
+ return serializeToBuffer(result.valid, result.reason, checkpointBuffer.length, checkpointBuffer, result.committee.length, result.committee, result.epoch, result.seed ?? 0n, result.attestors.length, result.attestors, result.attestations.length, result.attestations, result.reason === 'invalid-attestation' ? result.invalidIndex : 0, signatureIndices.length, signatureIndices, signaturesOrAddresses.length, signaturesOrAddresses);
41
50
  }
42
51
  export function deserializeValidateCheckpointResult(bufferOrReader) {
43
52
  const reader = BufferReader.asReader(bufferOrReader);
@@ -55,6 +64,10 @@ export function deserializeValidateCheckpointResult(bufferOrReader) {
55
64
  const attestors = reader.readVector(EthAddress, MAX_COMMITTEE_SIZE);
56
65
  const attestations = reader.readVector(CommitteeAttestation, MAX_COMMITTEE_SIZE);
57
66
  const invalidIndex = reader.readNumber();
67
+ const verbatimAttestations = {
68
+ signatureIndices: bufferToHex(reader.readBuffer()),
69
+ signaturesOrAddresses: bufferToHex(reader.readBuffer())
70
+ };
58
71
  if (reason === 'insufficient-attestations') {
59
72
  return {
60
73
  valid,
@@ -64,7 +77,8 @@ export function deserializeValidateCheckpointResult(bufferOrReader) {
64
77
  epoch,
65
78
  seed,
66
79
  attestors,
67
- attestations
80
+ attestations,
81
+ verbatimAttestations
68
82
  };
69
83
  } else if (reason === 'invalid-attestation') {
70
84
  return {
@@ -76,7 +90,8 @@ export function deserializeValidateCheckpointResult(bufferOrReader) {
76
90
  seed,
77
91
  attestors,
78
92
  invalidIndex,
79
- attestations
93
+ attestations,
94
+ verbatimAttestations
80
95
  };
81
96
  } else {
82
97
  const _ = reason;
@@ -4,7 +4,7 @@ import { pick, sum } from '@aztec/foundation/collection';
4
4
  import { BufferReader, serializeSignedBigInt, serializeToBuffer } from '@aztec/foundation/serialize';
5
5
  import { z } from 'zod';
6
6
  import { L2Block } from '../block/l2_block.js';
7
- import { MAX_BLOCKS_PER_CHECKPOINT } from '../deserialization/index.js';
7
+ import { MAX_CAPACITY_BLOCKS_PER_CHECKPOINT } from '../deserialization/index.js';
8
8
  import { computeCheckpointOutHash } from '../messaging/out_hash.js';
9
9
  import { CheckpointHeader } from '../rollup/checkpoint_header.js';
10
10
  import { schemas } from '../schemas/schemas.js';
@@ -50,7 +50,7 @@ export class Checkpoint {
50
50
  const reader = BufferReader.asReader(buf);
51
51
  const archive = reader.readObject(AppendOnlyTreeSnapshot);
52
52
  const header = reader.readObject(CheckpointHeader);
53
- const blocks = reader.readVector(L2Block, MAX_BLOCKS_PER_CHECKPOINT);
53
+ const blocks = reader.readVector(L2Block, MAX_CAPACITY_BLOCKS_PER_CHECKPOINT);
54
54
  const number = CheckpointNumber(reader.readNumber());
55
55
  const feeAssetPriceModifier = reader.readInt256();
56
56
  return new Checkpoint(archive, header, blocks, number, feeAssetPriceModifier);
@@ -5,5 +5,6 @@ export * from './checkpoint_reexecution_tracker.js';
5
5
  export * from './digest.js';
6
6
  export * from './previous_checkpoint_out_hashes.js';
7
7
  export * from './published_checkpoint.js';
8
+ export * from './simulation_overrides.js';
8
9
  export * from './validate.js';
9
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jaGVja3BvaW50L2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGNBQWMsaUJBQWlCLENBQUM7QUFDaEMsY0FBYyxzQkFBc0IsQ0FBQztBQUNyQyxjQUFjLHNCQUFzQixDQUFDO0FBQ3JDLGNBQWMscUNBQXFDLENBQUM7QUFDcEQsY0FBYyxhQUFhLENBQUM7QUFDNUIsY0FBYyxxQ0FBcUMsQ0FBQztBQUNwRCxjQUFjLDJCQUEyQixDQUFDO0FBQzFDLGNBQWMsZUFBZSxDQUFDIn0=
10
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jaGVja3BvaW50L2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGNBQWMsaUJBQWlCLENBQUM7QUFDaEMsY0FBYyxzQkFBc0IsQ0FBQztBQUNyQyxjQUFjLHNCQUFzQixDQUFDO0FBQ3JDLGNBQWMscUNBQXFDLENBQUM7QUFDcEQsY0FBYyxhQUFhLENBQUM7QUFDNUIsY0FBYyxxQ0FBcUMsQ0FBQztBQUNwRCxjQUFjLDJCQUEyQixDQUFDO0FBQzFDLGNBQWMsMkJBQTJCLENBQUM7QUFDMUMsY0FBYyxlQUFlLENBQUMifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/checkpoint/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAC;AAChC,cAAc,sBAAsB,CAAC;AACrC,cAAc,sBAAsB,CAAC;AACrC,cAAc,qCAAqC,CAAC;AACpD,cAAc,aAAa,CAAC;AAC5B,cAAc,qCAAqC,CAAC;AACpD,cAAc,2BAA2B,CAAC;AAC1C,cAAc,eAAe,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/checkpoint/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAC;AAChC,cAAc,sBAAsB,CAAC;AACrC,cAAc,sBAAsB,CAAC;AACrC,cAAc,qCAAqC,CAAC;AACpD,cAAc,aAAa,CAAC;AAC5B,cAAc,qCAAqC,CAAC;AACpD,cAAc,2BAA2B,CAAC;AAC1C,cAAc,2BAA2B,CAAC;AAC1C,cAAc,eAAe,CAAC"}
@@ -5,4 +5,5 @@ export * from './checkpoint_reexecution_tracker.js';
5
5
  export * from './digest.js';
6
6
  export * from './previous_checkpoint_out_hashes.js';
7
7
  export * from './published_checkpoint.js';
8
+ export * from './simulation_overrides.js';
8
9
  export * from './validate.js';