@aztec/stdlib 0.0.1-commit.7d4e6cd → 0.0.1-commit.808bf7f90

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 (656) hide show
  1. package/dest/abi/function_call.d.ts +47 -9
  2. package/dest/abi/function_call.d.ts.map +1 -1
  3. package/dest/abi/function_call.js +20 -3
  4. package/dest/abi/utils.d.ts +7 -1
  5. package/dest/abi/utils.d.ts.map +1 -1
  6. package/dest/abi/utils.js +7 -0
  7. package/dest/auth_witness/auth_witness.d.ts +2 -1
  8. package/dest/auth_witness/auth_witness.d.ts.map +1 -1
  9. package/dest/auth_witness/auth_witness.js +3 -3
  10. package/dest/avm/avm.d.ts +62 -62
  11. package/dest/avm/avm_accumulated_data.d.ts +30 -3
  12. package/dest/avm/avm_accumulated_data.d.ts.map +1 -1
  13. package/dest/avm/avm_circuit_public_inputs.d.ts +9 -9
  14. package/dest/avm/avm_proving_request.d.ts +299 -299
  15. package/dest/avm/contract_storage_read.d.ts +13 -1
  16. package/dest/avm/contract_storage_read.d.ts.map +1 -1
  17. package/dest/avm/contract_storage_update_request.d.ts +13 -1
  18. package/dest/avm/contract_storage_update_request.d.ts.map +1 -1
  19. package/dest/avm/public_call_stack_item_compressed.d.ts +3 -1
  20. package/dest/avm/public_call_stack_item_compressed.d.ts.map +1 -1
  21. package/dest/avm/public_data_read.d.ts +10 -1
  22. package/dest/avm/public_data_read.d.ts.map +1 -1
  23. package/dest/avm/public_data_update_request.d.ts +10 -1
  24. package/dest/avm/public_data_update_request.d.ts.map +1 -1
  25. package/dest/avm/public_data_write.d.ts +7 -1
  26. package/dest/avm/public_data_write.d.ts.map +1 -1
  27. package/dest/avm/public_inner_call_request.d.ts +4 -1
  28. package/dest/avm/public_inner_call_request.d.ts.map +1 -1
  29. package/dest/avm/revert_code.d.ts +4 -4
  30. package/dest/avm/revert_code.d.ts.map +1 -1
  31. package/dest/block/block_data.d.ts +52 -0
  32. package/dest/block/block_data.d.ts.map +1 -0
  33. package/dest/block/block_data.js +12 -0
  34. package/dest/block/block_hash.d.ts +18 -14
  35. package/dest/block/block_hash.d.ts.map +1 -1
  36. package/dest/block/block_hash.js +22 -20
  37. package/dest/block/block_parameter.d.ts +4 -3
  38. package/dest/block/block_parameter.d.ts.map +1 -1
  39. package/dest/block/block_parameter.js +2 -0
  40. package/dest/block/body.d.ts +1 -1
  41. package/dest/block/body.d.ts.map +1 -1
  42. package/dest/block/body.js +2 -1
  43. package/dest/block/checkpointed_l2_block.d.ts +20 -137
  44. package/dest/block/checkpointed_l2_block.d.ts.map +1 -1
  45. package/dest/block/checkpointed_l2_block.js +7 -45
  46. package/dest/block/in_block.d.ts +9 -9
  47. package/dest/block/in_block.d.ts.map +1 -1
  48. package/dest/block/in_block.js +5 -5
  49. package/dest/block/index.d.ts +2 -3
  50. package/dest/block/index.d.ts.map +1 -1
  51. package/dest/block/index.js +1 -2
  52. package/dest/block/l2_block.d.ts +56 -59
  53. package/dest/block/l2_block.d.ts.map +1 -1
  54. package/dest/block/l2_block.js +64 -110
  55. package/dest/block/l2_block_source.d.ts +84 -39
  56. package/dest/block/l2_block_source.d.ts.map +1 -1
  57. package/dest/block/l2_block_source.js +2 -1
  58. package/dest/block/l2_block_stream/interfaces.d.ts +9 -6
  59. package/dest/block/l2_block_stream/interfaces.d.ts.map +1 -1
  60. package/dest/block/l2_block_stream/l2_block_stream.d.ts +6 -3
  61. package/dest/block/l2_block_stream/l2_block_stream.d.ts.map +1 -1
  62. package/dest/block/l2_block_stream/l2_block_stream.js +37 -34
  63. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts +3 -3
  64. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts.map +1 -1
  65. package/dest/block/test/l2_tips_store_test_suite.d.ts +1 -1
  66. package/dest/block/test/l2_tips_store_test_suite.d.ts.map +1 -1
  67. package/dest/block/test/l2_tips_store_test_suite.js +2 -7
  68. package/dest/block/validate_block_result.d.ts +1 -1
  69. package/dest/block/validate_block_result.d.ts.map +1 -1
  70. package/dest/block/validate_block_result.js +5 -4
  71. package/dest/checkpoint/checkpoint.d.ts +43 -19
  72. package/dest/checkpoint/checkpoint.d.ts.map +1 -1
  73. package/dest/checkpoint/checkpoint.js +37 -14
  74. package/dest/checkpoint/checkpoint_data.d.ts +120 -0
  75. package/dest/checkpoint/checkpoint_data.d.ts.map +1 -0
  76. package/dest/checkpoint/checkpoint_data.js +26 -0
  77. package/dest/checkpoint/index.d.ts +2 -1
  78. package/dest/checkpoint/index.d.ts.map +1 -1
  79. package/dest/checkpoint/index.js +1 -0
  80. package/dest/checkpoint/published_checkpoint.d.ts +33 -16
  81. package/dest/checkpoint/published_checkpoint.d.ts.map +1 -1
  82. package/dest/checkpoint/published_checkpoint.js +5 -5
  83. package/dest/config/index.d.ts +2 -1
  84. package/dest/config/index.d.ts.map +1 -1
  85. package/dest/config/index.js +1 -0
  86. package/dest/config/node-rpc-config.js +1 -1
  87. package/dest/config/sequencer-config.d.ts +10 -0
  88. package/dest/config/sequencer-config.d.ts.map +1 -0
  89. package/dest/config/sequencer-config.js +18 -0
  90. package/dest/contract/complete_address.d.ts +4 -1
  91. package/dest/contract/complete_address.d.ts.map +1 -1
  92. package/dest/contract/contract_address.js +4 -4
  93. package/dest/contract/contract_class.d.ts +2 -3
  94. package/dest/contract/contract_class.d.ts.map +1 -1
  95. package/dest/contract/contract_class_id.d.ts +2 -2
  96. package/dest/contract/contract_class_id.d.ts.map +1 -1
  97. package/dest/contract/contract_class_id.js +6 -5
  98. package/dest/contract/contract_deployment_data.d.ts +5 -5
  99. package/dest/contract/index.d.ts +1 -3
  100. package/dest/contract/index.d.ts.map +1 -1
  101. package/dest/contract/index.js +0 -2
  102. package/dest/contract/interfaces/contract_instance.d.ts +16 -16
  103. package/dest/contract/interfaces/node-info.d.ts +3 -1
  104. package/dest/contract/interfaces/node-info.d.ts.map +1 -1
  105. package/dest/contract/interfaces/node-info.js +2 -1
  106. package/dest/contract/private_function.d.ts +1 -1
  107. package/dest/contract/private_function.d.ts.map +1 -1
  108. package/dest/contract/private_function.js +3 -4
  109. package/dest/contract/private_function_membership_proof.d.ts +1 -1
  110. package/dest/contract/private_function_membership_proof.js +1 -1
  111. package/dest/database-version/database_version.d.ts +58 -0
  112. package/dest/database-version/database_version.d.ts.map +1 -0
  113. package/dest/database-version/database_version.js +69 -0
  114. package/dest/database-version/version_manager.d.ts +3 -49
  115. package/dest/database-version/version_manager.d.ts.map +1 -1
  116. package/dest/database-version/version_manager.js +1 -66
  117. package/dest/delayed_public_mutable/delayed_public_mutable_values.d.ts +2 -2
  118. package/dest/delayed_public_mutable/delayed_public_mutable_values.d.ts.map +1 -1
  119. package/dest/delayed_public_mutable/delayed_public_mutable_values.js +7 -10
  120. package/dest/deserialization/index.d.ts +11 -0
  121. package/dest/deserialization/index.d.ts.map +1 -0
  122. package/dest/deserialization/index.js +10 -0
  123. package/dest/epoch-helpers/index.d.ts +7 -1
  124. package/dest/epoch-helpers/index.d.ts.map +1 -1
  125. package/dest/epoch-helpers/index.js +9 -3
  126. package/dest/errors/proving_error.d.ts +2 -2
  127. package/dest/errors/proving_error.d.ts.map +1 -1
  128. package/dest/file-store/local.d.ts +3 -3
  129. package/dest/file-store/local.d.ts.map +1 -1
  130. package/dest/file-store/local.js +13 -4
  131. package/dest/file-store/s3.d.ts +1 -1
  132. package/dest/file-store/s3.d.ts.map +1 -1
  133. package/dest/file-store/s3.js +11 -3
  134. package/dest/ha-signing/config.d.ts +101 -0
  135. package/dest/ha-signing/config.d.ts.map +1 -0
  136. package/dest/ha-signing/config.js +92 -0
  137. package/dest/ha-signing/index.d.ts +3 -0
  138. package/dest/ha-signing/index.d.ts.map +1 -0
  139. package/dest/ha-signing/index.js +2 -0
  140. package/dest/ha-signing/types.d.ts +85 -0
  141. package/dest/ha-signing/types.d.ts.map +1 -0
  142. package/dest/ha-signing/types.js +32 -0
  143. package/dest/hash/hash.d.ts +2 -1
  144. package/dest/hash/hash.d.ts.map +1 -1
  145. package/dest/hash/hash.js +16 -10
  146. package/dest/hash/map_slot.d.ts +1 -1
  147. package/dest/hash/map_slot.d.ts.map +1 -1
  148. package/dest/hash/map_slot.js +4 -3
  149. package/dest/interfaces/api_limit.d.ts +2 -1
  150. package/dest/interfaces/api_limit.d.ts.map +1 -1
  151. package/dest/interfaces/api_limit.js +1 -0
  152. package/dest/interfaces/archiver.d.ts +1 -1
  153. package/dest/interfaces/archiver.d.ts.map +1 -1
  154. package/dest/interfaces/archiver.js +23 -15
  155. package/dest/interfaces/aztec-node-admin.d.ts +101 -28
  156. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  157. package/dest/interfaces/aztec-node-admin.js +12 -4
  158. package/dest/interfaces/aztec-node.d.ts +66 -69
  159. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  160. package/dest/interfaces/aztec-node.js +10 -16
  161. package/dest/interfaces/block-builder.d.ts +22 -14
  162. package/dest/interfaces/block-builder.d.ts.map +1 -1
  163. package/dest/interfaces/block-builder.js +7 -0
  164. package/dest/interfaces/configs.d.ts +24 -9
  165. package/dest/interfaces/configs.d.ts.map +1 -1
  166. package/dest/interfaces/configs.js +4 -1
  167. package/dest/interfaces/get_logs_response.d.ts +16 -9
  168. package/dest/interfaces/get_logs_response.d.ts.map +1 -1
  169. package/dest/interfaces/l2_logs_source.d.ts +14 -5
  170. package/dest/interfaces/l2_logs_source.d.ts.map +1 -1
  171. package/dest/interfaces/merkle_tree_operations.d.ts +2 -2
  172. package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
  173. package/dest/interfaces/p2p.d.ts +2 -2
  174. package/dest/interfaces/p2p.d.ts.map +1 -1
  175. package/dest/interfaces/prover-broker.d.ts +16 -1
  176. package/dest/interfaces/prover-broker.d.ts.map +1 -1
  177. package/dest/interfaces/prover-broker.js +4 -1
  178. package/dest/interfaces/prover-client.d.ts +15 -1
  179. package/dest/interfaces/prover-client.d.ts.map +1 -1
  180. package/dest/interfaces/prover-client.js +12 -1
  181. package/dest/interfaces/proving-job.d.ts +216 -216
  182. package/dest/interfaces/slasher.d.ts +9 -1
  183. package/dest/interfaces/slasher.d.ts.map +1 -1
  184. package/dest/interfaces/slasher.js +2 -0
  185. package/dest/interfaces/tx_provider.d.ts +3 -3
  186. package/dest/interfaces/tx_provider.d.ts.map +1 -1
  187. package/dest/interfaces/validator.d.ts +118 -16
  188. package/dest/interfaces/validator.d.ts.map +1 -1
  189. package/dest/interfaces/validator.js +6 -3
  190. package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts +1 -1
  191. package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts.map +1 -1
  192. package/dest/kernel/hints/build_note_hash_read_request_hints.js +16 -6
  193. package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts +3 -3
  194. package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts.map +1 -1
  195. package/dest/kernel/hints/build_nullifier_read_request_hints.js +16 -8
  196. package/dest/kernel/hints/index.d.ts +2 -2
  197. package/dest/kernel/hints/index.js +2 -2
  198. package/dest/kernel/hints/key_validation_hint.d.ts +2 -1
  199. package/dest/kernel/hints/key_validation_hint.d.ts.map +1 -1
  200. package/dest/kernel/hints/key_validation_request.d.ts +2 -1
  201. package/dest/kernel/hints/key_validation_request.d.ts.map +1 -1
  202. package/dest/kernel/hints/key_validation_request_and_separator.d.ts +24 -0
  203. package/dest/kernel/hints/key_validation_request_and_separator.d.ts.map +1 -0
  204. package/dest/kernel/hints/{key_validation_request_and_generator.js → key_validation_request_and_separator.js} +12 -15
  205. package/dest/kernel/hints/private_kernel_reset_hints.d.ts +13 -1
  206. package/dest/kernel/hints/private_kernel_reset_hints.d.ts.map +1 -1
  207. package/dest/kernel/hints/read_request.d.ts +7 -1
  208. package/dest/kernel/hints/read_request.d.ts.map +1 -1
  209. package/dest/kernel/hints/read_request_hints.d.ts +7 -1
  210. package/dest/kernel/hints/read_request_hints.d.ts.map +1 -1
  211. package/dest/kernel/hints/{scoped_key_validation_request_and_generator.d.ts → scoped_key_validation_request_and_separator.d.ts} +8 -8
  212. package/dest/kernel/hints/{scoped_key_validation_request_and_generator.d.ts.map → scoped_key_validation_request_and_separator.d.ts.map} +1 -1
  213. package/dest/kernel/hints/{scoped_key_validation_request_and_generator.js → scoped_key_validation_request_and_separator.js} +6 -6
  214. package/dest/kernel/private_accumulated_data.d.ts +23 -1
  215. package/dest/kernel/private_accumulated_data.d.ts.map +1 -1
  216. package/dest/kernel/private_call_data.d.ts +25 -1
  217. package/dest/kernel/private_call_data.d.ts.map +1 -1
  218. package/dest/kernel/private_call_request.d.ts +16 -1
  219. package/dest/kernel/private_call_request.d.ts.map +1 -1
  220. package/dest/kernel/private_circuit_public_inputs.d.ts +81 -8
  221. package/dest/kernel/private_circuit_public_inputs.d.ts.map +1 -1
  222. package/dest/kernel/private_circuit_public_inputs.js +16 -16
  223. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts +33 -3
  224. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts.map +1 -1
  225. package/dest/kernel/private_kernel_circuit_public_inputs.js +4 -4
  226. package/dest/kernel/private_kernel_data.d.ts +7 -1
  227. package/dest/kernel/private_kernel_data.d.ts.map +1 -1
  228. package/dest/kernel/private_kernel_init_circuit_private_inputs.d.ts +22 -1
  229. package/dest/kernel/private_kernel_init_circuit_private_inputs.d.ts.map +1 -1
  230. package/dest/kernel/private_kernel_inner_circuit_private_inputs.d.ts +7 -1
  231. package/dest/kernel/private_kernel_inner_circuit_private_inputs.d.ts.map +1 -1
  232. package/dest/kernel/private_kernel_reset_circuit_private_inputs.d.ts +4 -1
  233. package/dest/kernel/private_kernel_reset_circuit_private_inputs.d.ts.map +1 -1
  234. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts +12 -3
  235. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts.map +1 -1
  236. package/dest/kernel/private_kernel_tail_circuit_private_inputs.js +4 -4
  237. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts +25 -3
  238. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts.map +1 -1
  239. package/dest/kernel/private_kernel_tail_circuit_public_inputs.js +7 -7
  240. package/dest/kernel/private_to_avm_accumulated_data.d.ts +2 -2
  241. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts +3 -3
  242. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts.map +1 -1
  243. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.js +7 -7
  244. package/dest/kernel/private_to_rollup_accumulated_data.d.ts +17 -1
  245. package/dest/kernel/private_to_rollup_accumulated_data.d.ts.map +1 -1
  246. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.d.ts +18 -3
  247. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.d.ts.map +1 -1
  248. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.js +7 -7
  249. package/dest/kernel/private_validation_requests.d.ts +13 -4
  250. package/dest/kernel/private_validation_requests.d.ts.map +1 -1
  251. package/dest/kernel/private_validation_requests.js +9 -9
  252. package/dest/kernel/public_call_request.d.ts +22 -1
  253. package/dest/kernel/public_call_request.d.ts.map +1 -1
  254. package/dest/kernel/utils/optional_number.d.ts +7 -1
  255. package/dest/kernel/utils/optional_number.d.ts.map +1 -1
  256. package/dest/keys/derivation.d.ts +3 -3
  257. package/dest/keys/derivation.js +15 -15
  258. package/dest/keys/key_types.d.ts +3 -3
  259. package/dest/keys/key_types.d.ts.map +1 -1
  260. package/dest/keys/public_keys.d.ts +5 -1
  261. package/dest/keys/public_keys.d.ts.map +1 -1
  262. package/dest/keys/public_keys.js +2 -2
  263. package/dest/keys/utils.d.ts +1 -1
  264. package/dest/keys/utils.d.ts.map +1 -1
  265. package/dest/keys/utils.js +8 -4
  266. package/dest/l1-contracts/slash_factory.d.ts +1 -1
  267. package/dest/l1-contracts/slash_factory.d.ts.map +1 -1
  268. package/dest/l1-contracts/slash_factory.js +1 -0
  269. package/dest/logs/debug_log_store.d.ts +30 -0
  270. package/dest/logs/debug_log_store.d.ts.map +1 -0
  271. package/dest/logs/debug_log_store.js +30 -0
  272. package/dest/logs/extended_contract_class_log.d.ts +3 -1
  273. package/dest/logs/extended_contract_class_log.d.ts.map +1 -1
  274. package/dest/logs/extended_public_log.d.ts +17 -9
  275. package/dest/logs/extended_public_log.d.ts.map +1 -1
  276. package/dest/logs/index.d.ts +2 -1
  277. package/dest/logs/index.d.ts.map +1 -1
  278. package/dest/logs/index.js +1 -0
  279. package/dest/logs/log_id.d.ts +21 -14
  280. package/dest/logs/log_id.d.ts.map +1 -1
  281. package/dest/logs/log_id.js +20 -17
  282. package/dest/logs/private_log.d.ts +2 -2
  283. package/dest/logs/private_log.d.ts.map +1 -1
  284. package/dest/logs/siloed_tag.d.ts +1 -1
  285. package/dest/logs/siloed_tag.d.ts.map +1 -1
  286. package/dest/logs/siloed_tag.js +2 -5
  287. package/dest/messaging/inbox_leaf.d.ts +3 -1
  288. package/dest/messaging/inbox_leaf.d.ts.map +1 -1
  289. package/dest/messaging/l1_actor.d.ts +7 -1
  290. package/dest/messaging/l1_actor.d.ts.map +1 -1
  291. package/dest/messaging/l1_to_l2_message.d.ts +6 -1
  292. package/dest/messaging/l1_to_l2_message.d.ts.map +1 -1
  293. package/dest/messaging/l2_actor.d.ts +7 -1
  294. package/dest/messaging/l2_actor.d.ts.map +1 -1
  295. package/dest/messaging/l2_to_l1_membership.d.ts +3 -3
  296. package/dest/messaging/l2_to_l1_membership.d.ts.map +1 -1
  297. package/dest/messaging/l2_to_l1_membership.js +8 -6
  298. package/dest/messaging/out_hash.d.ts +41 -4
  299. package/dest/messaging/out_hash.d.ts.map +1 -1
  300. package/dest/messaging/out_hash.js +52 -26
  301. package/dest/note/index.d.ts +1 -2
  302. package/dest/note/index.d.ts.map +1 -1
  303. package/dest/note/index.js +0 -1
  304. package/dest/note/note_dao.d.ts +36 -5
  305. package/dest/note/note_dao.d.ts.map +1 -1
  306. package/dest/note/note_dao.js +15 -12
  307. package/dest/p2p/attestation_utils.d.ts +11 -1
  308. package/dest/p2p/attestation_utils.d.ts.map +1 -1
  309. package/dest/p2p/attestation_utils.js +45 -0
  310. package/dest/p2p/block_proposal.d.ts +23 -8
  311. package/dest/p2p/block_proposal.d.ts.map +1 -1
  312. package/dest/p2p/block_proposal.js +26 -10
  313. package/dest/p2p/checkpoint_attestation.d.ts +6 -1
  314. package/dest/p2p/checkpoint_attestation.d.ts.map +1 -1
  315. package/dest/p2p/checkpoint_attestation.js +1 -1
  316. package/dest/p2p/checkpoint_proposal.d.ts +34 -9
  317. package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
  318. package/dest/p2p/checkpoint_proposal.js +46 -20
  319. package/dest/p2p/consensus_payload.d.ts +15 -5
  320. package/dest/p2p/consensus_payload.d.ts.map +1 -1
  321. package/dest/p2p/consensus_payload.js +22 -18
  322. package/dest/p2p/constants.d.ts +5 -0
  323. package/dest/p2p/constants.d.ts.map +1 -0
  324. package/dest/p2p/constants.js +3 -0
  325. package/dest/p2p/index.d.ts +2 -1
  326. package/dest/p2p/index.d.ts.map +1 -1
  327. package/dest/p2p/index.js +1 -0
  328. package/dest/p2p/message_validator.d.ts +18 -3
  329. package/dest/p2p/message_validator.d.ts.map +1 -1
  330. package/dest/p2p/message_validator.js +2 -1
  331. package/dest/p2p/signed_txs.d.ts +3 -1
  332. package/dest/p2p/signed_txs.d.ts.map +1 -1
  333. package/dest/p2p/signed_txs.js +6 -1
  334. package/dest/p2p/topic_type.js +2 -1
  335. package/dest/parity/parity_base_private_inputs.d.ts +3 -1
  336. package/dest/parity/parity_base_private_inputs.d.ts.map +1 -1
  337. package/dest/parity/parity_public_inputs.d.ts +4 -1
  338. package/dest/parity/parity_public_inputs.d.ts.map +1 -1
  339. package/dest/parity/parity_root_private_inputs.d.ts +2 -1
  340. package/dest/parity/parity_root_private_inputs.d.ts.map +1 -1
  341. package/dest/proofs/chonk_proof.d.ts +1 -1
  342. package/dest/proofs/chonk_proof.d.ts.map +1 -1
  343. package/dest/proofs/chonk_proof.js +9 -4
  344. package/dest/proofs/proof.d.ts +4 -1
  345. package/dest/proofs/proof.d.ts.map +1 -1
  346. package/dest/proofs/recursive_proof.d.ts +10 -1
  347. package/dest/proofs/recursive_proof.d.ts.map +1 -1
  348. package/dest/rollup/base_rollup_hints.d.ts +34 -1
  349. package/dest/rollup/base_rollup_hints.d.ts.map +1 -1
  350. package/dest/rollup/block_constant_data.d.ts +12 -1
  351. package/dest/rollup/block_constant_data.d.ts.map +1 -1
  352. package/dest/rollup/block_headers_hash.js +1 -1
  353. package/dest/rollup/block_merge_rollup_private_inputs.d.ts +4 -1
  354. package/dest/rollup/block_merge_rollup_private_inputs.d.ts.map +1 -1
  355. package/dest/rollup/block_rollup_public_inputs.d.ts +44 -3
  356. package/dest/rollup/block_rollup_public_inputs.d.ts.map +1 -1
  357. package/dest/rollup/block_rollup_public_inputs.js +2 -2
  358. package/dest/rollup/block_root_rollup_private_inputs.d.ts +64 -1
  359. package/dest/rollup/block_root_rollup_private_inputs.d.ts.map +1 -1
  360. package/dest/rollup/checkpoint_constant_data.d.ts +10 -1
  361. package/dest/rollup/checkpoint_constant_data.d.ts.map +1 -1
  362. package/dest/rollup/checkpoint_header.d.ts +31 -4
  363. package/dest/rollup/checkpoint_header.d.ts.map +1 -1
  364. package/dest/rollup/checkpoint_header.js +23 -7
  365. package/dest/rollup/checkpoint_merge_rollup_private_inputs.d.ts +4 -1
  366. package/dest/rollup/checkpoint_merge_rollup_private_inputs.d.ts.map +1 -1
  367. package/dest/rollup/checkpoint_rollup_public_inputs.d.ts +45 -10
  368. package/dest/rollup/checkpoint_rollup_public_inputs.d.ts.map +1 -1
  369. package/dest/rollup/checkpoint_rollup_public_inputs.js +11 -7
  370. package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts +44 -3
  371. package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts.map +1 -1
  372. package/dest/rollup/checkpoint_root_rollup_private_inputs.js +13 -2
  373. package/dest/rollup/epoch_constant_data.d.ts +16 -1
  374. package/dest/rollup/epoch_constant_data.d.ts.map +1 -1
  375. package/dest/rollup/root_rollup_private_inputs.d.ts +6 -1
  376. package/dest/rollup/root_rollup_private_inputs.d.ts.map +1 -1
  377. package/dest/rollup/root_rollup_public_inputs.d.ts +17 -7
  378. package/dest/rollup/root_rollup_public_inputs.d.ts.map +1 -1
  379. package/dest/rollup/root_rollup_public_inputs.js +7 -4
  380. package/dest/rollup/tree_snapshot_diff_hints.d.ts +24 -1
  381. package/dest/rollup/tree_snapshot_diff_hints.d.ts.map +1 -1
  382. package/dest/rollup/tx_merge_rollup_private_inputs.d.ts +4 -1
  383. package/dest/rollup/tx_merge_rollup_private_inputs.d.ts.map +1 -1
  384. package/dest/rollup/tx_rollup_public_inputs.d.ts +29 -1
  385. package/dest/rollup/tx_rollup_public_inputs.d.ts.map +1 -1
  386. package/dest/schemas/schemas.d.ts +1 -1
  387. package/dest/slashing/empire.d.ts +1 -1
  388. package/dest/slashing/empire.d.ts.map +1 -1
  389. package/dest/slashing/empire.js +2 -0
  390. package/dest/slashing/helpers.d.ts +2 -2
  391. package/dest/slashing/helpers.d.ts.map +1 -1
  392. package/dest/slashing/helpers.js +6 -0
  393. package/dest/slashing/tally.d.ts +2 -1
  394. package/dest/slashing/tally.d.ts.map +1 -1
  395. package/dest/slashing/tally.js +6 -2
  396. package/dest/slashing/types.d.ts +7 -3
  397. package/dest/slashing/types.d.ts.map +1 -1
  398. package/dest/slashing/types.js +13 -1
  399. package/dest/stats/stats.d.ts +1 -3
  400. package/dest/stats/stats.d.ts.map +1 -1
  401. package/dest/tests/factories.d.ts +2 -4
  402. package/dest/tests/factories.d.ts.map +1 -1
  403. package/dest/tests/factories.js +18 -27
  404. package/dest/tests/jest.js +1 -1
  405. package/dest/tests/mocks.d.ts +24 -15
  406. package/dest/tests/mocks.d.ts.map +1 -1
  407. package/dest/tests/mocks.js +63 -40
  408. package/dest/timetable/index.d.ts +37 -0
  409. package/dest/timetable/index.d.ts.map +1 -0
  410. package/dest/timetable/index.js +39 -0
  411. package/dest/trees/append_only_tree_snapshot.d.ts +13 -1
  412. package/dest/trees/append_only_tree_snapshot.d.ts.map +1 -1
  413. package/dest/trees/nullifier_leaf.d.ts +13 -1
  414. package/dest/trees/nullifier_leaf.d.ts.map +1 -1
  415. package/dest/trees/nullifier_membership_witness.d.ts +10 -1
  416. package/dest/trees/nullifier_membership_witness.d.ts.map +1 -1
  417. package/dest/trees/public_data_leaf.d.ts +17 -1
  418. package/dest/trees/public_data_leaf.d.ts.map +1 -1
  419. package/dest/trees/public_data_leaf.js +7 -6
  420. package/dest/trees/public_data_witness.d.ts +11 -1
  421. package/dest/trees/public_data_witness.d.ts.map +1 -1
  422. package/dest/tx/block_header.d.ts +14 -2
  423. package/dest/tx/block_header.d.ts.map +1 -1
  424. package/dest/tx/block_header.js +6 -2
  425. package/dest/tx/call_context.d.ts +13 -1
  426. package/dest/tx/call_context.d.ts.map +1 -1
  427. package/dest/tx/capsule.d.ts +4 -1
  428. package/dest/tx/capsule.d.ts.map +1 -1
  429. package/dest/tx/execution_payload.d.ts +9 -1
  430. package/dest/tx/execution_payload.d.ts.map +1 -1
  431. package/dest/tx/function_data.d.ts +4 -2
  432. package/dest/tx/function_data.d.ts.map +1 -1
  433. package/dest/tx/global_variables.d.ts +12 -4
  434. package/dest/tx/global_variables.d.ts.map +1 -1
  435. package/dest/tx/hashed_values.d.ts +7 -1
  436. package/dest/tx/hashed_values.d.ts.map +1 -1
  437. package/dest/tx/in_tx.d.ts +4 -4
  438. package/dest/tx/indexed_tx_effect.d.ts +5 -5
  439. package/dest/tx/indexed_tx_effect.d.ts.map +1 -1
  440. package/dest/tx/indexed_tx_effect.js +3 -2
  441. package/dest/tx/partial_state_reference.d.ts +4 -1
  442. package/dest/tx/partial_state_reference.d.ts.map +1 -1
  443. package/dest/tx/private_execution_result.d.ts +23 -2
  444. package/dest/tx/private_execution_result.d.ts.map +1 -1
  445. package/dest/tx/private_execution_result.js +1 -1
  446. package/dest/tx/private_tx_constant_data.d.ts +16 -1
  447. package/dest/tx/private_tx_constant_data.d.ts.map +1 -1
  448. package/dest/tx/profiling.d.ts +152 -29
  449. package/dest/tx/profiling.d.ts.map +1 -1
  450. package/dest/tx/profiling.js +47 -10
  451. package/dest/tx/protocol_contracts.d.ts +2 -2
  452. package/dest/tx/protocol_contracts.d.ts.map +1 -1
  453. package/dest/tx/protocol_contracts.js +2 -2
  454. package/dest/tx/public_call_request_with_calldata.d.ts +7 -1
  455. package/dest/tx/public_call_request_with_calldata.d.ts.map +1 -1
  456. package/dest/tx/public_simulation_output.d.ts +4 -2
  457. package/dest/tx/public_simulation_output.d.ts.map +1 -1
  458. package/dest/tx/public_simulation_output.js +7 -3
  459. package/dest/tx/state_reference.d.ts +3 -1
  460. package/dest/tx/state_reference.d.ts.map +1 -1
  461. package/dest/tx/tx.d.ts +24 -1
  462. package/dest/tx/tx.d.ts.map +1 -1
  463. package/dest/tx/tx.js +6 -3
  464. package/dest/tx/tx_context.d.ts +2 -1
  465. package/dest/tx/tx_context.d.ts.map +1 -1
  466. package/dest/tx/tx_effect.d.ts +32 -6
  467. package/dest/tx/tx_effect.d.ts.map +1 -1
  468. package/dest/tx/tx_effect.js +0 -7
  469. package/dest/tx/tx_execution_request.d.ts +30 -1
  470. package/dest/tx/tx_execution_request.d.ts.map +1 -1
  471. package/dest/tx/tx_hash.d.ts +2 -1
  472. package/dest/tx/tx_hash.d.ts.map +1 -1
  473. package/dest/tx/tx_receipt.d.ts +62 -14
  474. package/dest/tx/tx_receipt.d.ts.map +1 -1
  475. package/dest/tx/tx_receipt.js +55 -16
  476. package/dest/tx/tx_request.d.ts +6 -1
  477. package/dest/tx/tx_request.d.ts.map +1 -1
  478. package/dest/tx/tx_request.js +2 -2
  479. package/dest/tx/validator/empty_validator.d.ts +2 -2
  480. package/dest/tx/validator/empty_validator.d.ts.map +1 -1
  481. package/dest/tx/validator/error_texts.d.ts +3 -2
  482. package/dest/tx/validator/error_texts.d.ts.map +1 -1
  483. package/dest/tx/validator/error_texts.js +3 -1
  484. package/dest/tx/validator/tx_validator.d.ts +2 -2
  485. package/dest/tx/validator/tx_validator.d.ts.map +1 -1
  486. package/dest/types/shared.d.ts +4 -1
  487. package/dest/types/shared.d.ts.map +1 -1
  488. package/dest/validators/schemas.d.ts +38 -38
  489. package/dest/validators/schemas.d.ts.map +1 -1
  490. package/dest/validators/schemas.js +4 -3
  491. package/dest/validators/types.d.ts +3 -3
  492. package/dest/validators/types.d.ts.map +1 -1
  493. package/dest/vks/verification_key.d.ts +22 -1
  494. package/dest/vks/verification_key.d.ts.map +1 -1
  495. package/dest/vks/vk_data.d.ts +7 -1
  496. package/dest/vks/vk_data.d.ts.map +1 -1
  497. package/dest/zkpassport/index.d.ts +3 -4
  498. package/dest/zkpassport/index.d.ts.map +1 -1
  499. package/dest/zkpassport/index.js +9 -9
  500. package/package.json +27 -13
  501. package/src/abi/function_call.ts +25 -3
  502. package/src/abi/utils.ts +17 -0
  503. package/src/auth_witness/auth_witness.ts +3 -3
  504. package/src/block/block_data.ts +26 -0
  505. package/src/block/block_hash.ts +26 -25
  506. package/src/block/block_parameter.ts +4 -2
  507. package/src/block/body.ts +2 -1
  508. package/src/block/checkpointed_l2_block.ts +8 -58
  509. package/src/block/in_block.ts +6 -6
  510. package/src/block/index.ts +1 -2
  511. package/src/block/l2_block.ts +102 -150
  512. package/src/block/l2_block_source.ts +93 -42
  513. package/src/block/l2_block_stream/interfaces.ts +8 -5
  514. package/src/block/l2_block_stream/l2_block_stream.ts +45 -37
  515. package/src/block/l2_block_stream/l2_tips_store_base.ts +2 -2
  516. package/src/block/test/l2_tips_store_test_suite.ts +4 -9
  517. package/src/block/validate_block_result.ts +5 -4
  518. package/src/checkpoint/checkpoint.ts +61 -21
  519. package/src/checkpoint/checkpoint_data.ts +51 -0
  520. package/src/checkpoint/index.ts +1 -0
  521. package/src/checkpoint/published_checkpoint.ts +7 -4
  522. package/src/config/index.ts +1 -0
  523. package/src/config/node-rpc-config.ts +1 -1
  524. package/src/config/sequencer-config.ts +29 -0
  525. package/src/contract/contract_address.ts +4 -4
  526. package/src/contract/contract_class.ts +3 -3
  527. package/src/contract/contract_class_id.ts +6 -5
  528. package/src/contract/index.ts +0 -2
  529. package/src/contract/interfaces/node-info.ts +3 -0
  530. package/src/contract/private_function.ts +3 -4
  531. package/src/contract/private_function_membership_proof.ts +1 -1
  532. package/src/database-version/database_version.ts +87 -0
  533. package/src/database-version/version_manager.ts +1 -77
  534. package/src/delayed_public_mutable/delayed_public_mutable_values.ts +9 -10
  535. package/src/deserialization/index.ts +21 -0
  536. package/src/epoch-helpers/index.ts +13 -1
  537. package/src/file-store/local.ts +15 -5
  538. package/src/file-store/s3.ts +12 -3
  539. package/src/ha-signing/config.ts +149 -0
  540. package/src/ha-signing/index.ts +18 -0
  541. package/src/ha-signing/types.ts +112 -0
  542. package/src/hash/hash.ts +14 -10
  543. package/src/hash/map_slot.ts +3 -2
  544. package/src/interfaces/api_limit.ts +1 -0
  545. package/src/interfaces/archiver.ts +23 -24
  546. package/src/interfaces/aztec-node-admin.ts +26 -2
  547. package/src/interfaces/aztec-node.ts +86 -135
  548. package/src/interfaces/block-builder.ts +41 -23
  549. package/src/interfaces/configs.ts +13 -4
  550. package/src/interfaces/l2_logs_source.ts +17 -4
  551. package/src/interfaces/merkle_tree_operations.ts +1 -1
  552. package/src/interfaces/p2p.ts +1 -1
  553. package/src/interfaces/prover-broker.ts +22 -0
  554. package/src/interfaces/prover-client.ts +22 -0
  555. package/src/interfaces/slasher.ts +4 -0
  556. package/src/interfaces/tx_provider.ts +2 -2
  557. package/src/interfaces/validator.ts +20 -12
  558. package/src/kernel/hints/build_note_hash_read_request_hints.ts +17 -6
  559. package/src/kernel/hints/build_nullifier_read_request_hints.ts +17 -14
  560. package/src/kernel/hints/index.ts +2 -2
  561. package/src/kernel/hints/{key_validation_request_and_generator.ts → key_validation_request_and_separator.ts} +12 -15
  562. package/src/kernel/hints/{scoped_key_validation_request_and_generator.ts → scoped_key_validation_request_and_separator.ts} +10 -10
  563. package/src/kernel/private_circuit_public_inputs.ts +14 -14
  564. package/src/kernel/private_kernel_circuit_public_inputs.ts +2 -2
  565. package/src/kernel/private_kernel_tail_circuit_private_inputs.ts +2 -2
  566. package/src/kernel/private_kernel_tail_circuit_public_inputs.ts +5 -5
  567. package/src/kernel/private_to_public_kernel_circuit_public_inputs.ts +5 -5
  568. package/src/kernel/private_to_rollup_kernel_circuit_public_inputs.ts +5 -5
  569. package/src/kernel/private_validation_requests.ts +8 -8
  570. package/src/keys/derivation.ts +15 -15
  571. package/src/keys/key_types.ts +6 -2
  572. package/src/keys/public_keys.ts +2 -2
  573. package/src/keys/utils.ts +8 -4
  574. package/src/l1-contracts/slash_factory.ts +1 -0
  575. package/src/logs/debug_log_store.ts +54 -0
  576. package/src/logs/index.ts +1 -0
  577. package/src/logs/log_id.ts +22 -18
  578. package/src/logs/siloed_tag.ts +2 -2
  579. package/src/messaging/l2_to_l1_membership.ts +8 -6
  580. package/src/messaging/out_hash.ts +60 -29
  581. package/src/note/index.ts +0 -1
  582. package/src/note/note_dao.ts +18 -13
  583. package/src/p2p/attestation_utils.ts +56 -0
  584. package/src/p2p/block_proposal.ts +36 -15
  585. package/src/p2p/checkpoint_attestation.ts +6 -1
  586. package/src/p2p/checkpoint_proposal.ts +74 -24
  587. package/src/p2p/consensus_payload.ts +25 -17
  588. package/src/p2p/constants.ts +6 -0
  589. package/src/p2p/index.ts +1 -0
  590. package/src/p2p/message_validator.ts +14 -2
  591. package/src/p2p/signed_txs.ts +6 -1
  592. package/src/p2p/topic_type.ts +1 -1
  593. package/src/proofs/chonk_proof.ts +9 -5
  594. package/src/rollup/block_headers_hash.ts +1 -1
  595. package/src/rollup/block_rollup_public_inputs.ts +2 -2
  596. package/src/rollup/checkpoint_header.ts +22 -2
  597. package/src/rollup/checkpoint_rollup_public_inputs.ts +16 -10
  598. package/src/rollup/checkpoint_root_rollup_private_inputs.ts +14 -1
  599. package/src/rollup/root_rollup_public_inputs.ts +11 -8
  600. package/src/slashing/empire.ts +3 -1
  601. package/src/slashing/helpers.ts +8 -0
  602. package/src/slashing/tally.ts +8 -2
  603. package/src/slashing/types.ts +14 -0
  604. package/src/stats/stats.ts +0 -2
  605. package/src/tests/factories.ts +23 -43
  606. package/src/tests/jest.ts +1 -1
  607. package/src/tests/mocks.ts +90 -55
  608. package/src/timetable/index.ts +66 -0
  609. package/src/trees/public_data_leaf.ts +11 -5
  610. package/src/tx/block_header.ts +12 -4
  611. package/src/tx/global_variables.ts +3 -3
  612. package/src/tx/indexed_tx_effect.ts +3 -2
  613. package/src/tx/private_execution_result.ts +1 -1
  614. package/src/tx/profiling.ts +51 -9
  615. package/src/tx/protocol_contracts.ts +2 -2
  616. package/src/tx/public_simulation_output.ts +4 -0
  617. package/src/tx/tx.ts +8 -9
  618. package/src/tx/tx_effect.ts +0 -9
  619. package/src/tx/tx_receipt.ts +85 -18
  620. package/src/tx/tx_request.ts +2 -2
  621. package/src/tx/validator/empty_validator.ts +1 -1
  622. package/src/tx/validator/error_texts.ts +4 -1
  623. package/src/tx/validator/tx_validator.ts +1 -1
  624. package/src/validators/schemas.ts +8 -1
  625. package/src/validators/types.ts +5 -4
  626. package/src/zkpassport/index.ts +11 -12
  627. package/dest/block/l2_block_code_to_purge.d.ts +0 -11
  628. package/dest/block/l2_block_code_to_purge.d.ts.map +0 -1
  629. package/dest/block/l2_block_code_to_purge.js +0 -55
  630. package/dest/block/l2_block_header.d.ts +0 -94
  631. package/dest/block/l2_block_header.d.ts.map +0 -1
  632. package/dest/block/l2_block_header.js +0 -160
  633. package/dest/block/l2_block_new.d.ts +0 -134
  634. package/dest/block/l2_block_new.d.ts.map +0 -1
  635. package/dest/block/l2_block_new.js +0 -155
  636. package/dest/contract/contract_class_metadata.d.ts +0 -8
  637. package/dest/contract/contract_class_metadata.d.ts.map +0 -1
  638. package/dest/contract/contract_class_metadata.js +0 -1
  639. package/dest/contract/contract_metadata.d.ts +0 -7
  640. package/dest/contract/contract_metadata.d.ts.map +0 -1
  641. package/dest/contract/contract_metadata.js +0 -1
  642. package/dest/database-version/index.d.ts +0 -2
  643. package/dest/database-version/index.d.ts.map +0 -1
  644. package/dest/database-version/index.js +0 -1
  645. package/dest/kernel/hints/key_validation_request_and_generator.d.ts +0 -25
  646. package/dest/kernel/hints/key_validation_request_and_generator.d.ts.map +0 -1
  647. package/dest/note/notes_filter.d.ts +0 -27
  648. package/dest/note/notes_filter.d.ts.map +0 -1
  649. package/dest/note/notes_filter.js +0 -11
  650. package/src/block/l2_block_code_to_purge.ts +0 -80
  651. package/src/block/l2_block_header.ts +0 -255
  652. package/src/block/l2_block_new.ts +0 -211
  653. package/src/contract/contract_class_metadata.ts +0 -8
  654. package/src/contract/contract_metadata.ts +0 -7
  655. package/src/database-version/index.ts +0 -1
  656. package/src/note/notes_filter.ts +0 -38
@@ -1,5 +1,5 @@
1
1
  import { BlobAccumulator, FinalBlobBatchingChallenges } from '@aztec/blob-lib/types';
2
- import { AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
2
+ import { MAX_CHECKPOINTS_PER_EPOCH } from '@aztec/constants';
3
3
  import { Fr } from '@aztec/foundation/curves/bn254';
4
4
  import { EthAddress } from '@aztec/foundation/eth-address';
5
5
  import { bufferSchemaFor } from '@aztec/foundation/schemas';
@@ -13,8 +13,9 @@ import { EpochConstantData } from './epoch_constant_data.js';
13
13
  constants;
14
14
  previousArchive;
15
15
  newArchive;
16
+ previousOutHash;
17
+ newOutHash;
16
18
  checkpointHeaderHashes;
17
- outHashes;
18
19
  fees;
19
20
  startBlobAccumulator;
20
21
  endBlobAccumulator;
@@ -26,10 +27,12 @@ import { EpochConstantData } from './epoch_constant_data.js';
26
27
  */ previousArchive, /**
27
28
  * Archive tree after adding this checkpoint range.
28
29
  */ newArchive, /**
30
+ * The out hash tree snapshot immediately before this checkpoint range.
31
+ */ previousOutHash, /**
32
+ * The out hash tree snapshot after applying this checkpoint range.
33
+ */ newOutHash, /**
29
34
  * The hashes of the headers of the constituent checkpoints.
30
35
  */ checkpointHeaderHashes, /**
31
- * The `out_hash` values from all checkpoints in this checkpoint range.
32
- */ outHashes, /**
33
36
  * The summed transaction fees and recipients of the constituent checkpoints.
34
37
  */ fees, /**
35
38
  * Accumulated opening proofs for all blobs before this checkpoint range.
@@ -41,8 +44,9 @@ import { EpochConstantData } from './epoch_constant_data.js';
41
44
  this.constants = constants;
42
45
  this.previousArchive = previousArchive;
43
46
  this.newArchive = newArchive;
47
+ this.previousOutHash = previousOutHash;
48
+ this.newOutHash = newOutHash;
44
49
  this.checkpointHeaderHashes = checkpointHeaderHashes;
45
- this.outHashes = outHashes;
46
50
  this.fees = fees;
47
51
  this.startBlobAccumulator = startBlobAccumulator;
48
52
  this.endBlobAccumulator = endBlobAccumulator;
@@ -50,10 +54,10 @@ import { EpochConstantData } from './epoch_constant_data.js';
50
54
  }
51
55
  static fromBuffer(buffer) {
52
56
  const reader = BufferReader.asReader(buffer);
53
- return new CheckpointRollupPublicInputs(reader.readObject(EpochConstantData), reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(AppendOnlyTreeSnapshot), reader.readArray(AZTEC_MAX_EPOCH_DURATION, Fr), reader.readArray(AZTEC_MAX_EPOCH_DURATION, Fr), reader.readArray(AZTEC_MAX_EPOCH_DURATION, FeeRecipient), reader.readObject(BlobAccumulator), reader.readObject(BlobAccumulator), reader.readObject(FinalBlobBatchingChallenges));
57
+ return new CheckpointRollupPublicInputs(reader.readObject(EpochConstantData), reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(AppendOnlyTreeSnapshot), reader.readArray(MAX_CHECKPOINTS_PER_EPOCH, Fr), reader.readArray(MAX_CHECKPOINTS_PER_EPOCH, FeeRecipient), reader.readObject(BlobAccumulator), reader.readObject(BlobAccumulator), reader.readObject(FinalBlobBatchingChallenges));
54
58
  }
55
59
  toBuffer() {
56
- return serializeToBuffer(this.constants, this.previousArchive, this.newArchive, this.checkpointHeaderHashes, this.outHashes, this.fees, this.startBlobAccumulator, this.endBlobAccumulator, this.finalBlobChallenges);
60
+ return serializeToBuffer(this.constants, this.previousArchive, this.newArchive, this.previousOutHash, this.newOutHash, this.checkpointHeaderHashes, this.fees, this.startBlobAccumulator, this.endBlobAccumulator, this.finalBlobChallenges);
57
61
  }
58
62
  toString() {
59
63
  return bufferToHex(this.toBuffer());
@@ -1,19 +1,52 @@
1
1
  import { BlobAccumulator, FinalBlobBatchingChallenges } from '@aztec/blob-lib/types';
2
- import { ARCHIVE_HEIGHT, BLOBS_PER_CHECKPOINT } from '@aztec/constants';
2
+ import { ARCHIVE_HEIGHT, BLOBS_PER_CHECKPOINT, OUT_HASH_TREE_HEIGHT } from '@aztec/constants';
3
3
  import { BLS12Point } from '@aztec/foundation/curves/bls12';
4
4
  import { Fr } from '@aztec/foundation/curves/bn254';
5
5
  import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
6
6
  import type { FieldsOf } from '@aztec/foundation/types';
7
7
  import { type RollupHonkProofData } from '../proofs/proof_data.js';
8
+ import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
8
9
  import { BlockHeader } from '../tx/block_header.js';
9
10
  import { BlockRollupPublicInputs } from './block_rollup_public_inputs.js';
10
11
  export declare class CheckpointRootRollupHints {
12
+ /**
13
+ * The header of the previous block before this checkpoint.
14
+ */
11
15
  previousBlockHeader: BlockHeader;
16
+ /**
17
+ * Hint for checking the hash of previous_block_header is the last leaf of the previous archive.
18
+ */
12
19
  previousArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>;
20
+ /**
21
+ * The out hash tree snapshot immediately before this checkpoint.
22
+ */
23
+ previousOutHash: AppendOnlyTreeSnapshot;
24
+ /**
25
+ * Hint for inserting the new out hash into the out hash tree.
26
+ */
27
+ newOutHashSiblingPath: Tuple<Fr, typeof OUT_HASH_TREE_HEIGHT>;
28
+ /**
29
+ * The current blob accumulation state across the epoch.
30
+ */
13
31
  startBlobAccumulator: BlobAccumulator;
32
+ /**
33
+ * Finalized challenges z and gamma for performing blob batching. Shared value across the epoch.
34
+ */
14
35
  finalBlobChallenges: FinalBlobBatchingChallenges;
36
+ /**
37
+ * Flat list of all tx effects which will be added to the blob.
38
+ * Below line gives error 'Type instantiation is excessively deep and possibly infinite. ts(2589)'
39
+ * Tuple<Fr, FIELDS_PER_BLOB * BLOBS_PER_CHECKPOINT>
40
+ */
15
41
  blobFields: Fr[];
42
+ /**
43
+ * KZG commitments representing the blob (precomputed in ts, injected to use inside circuit).
44
+ */
16
45
  blobCommitments: Tuple<BLS12Point, typeof BLOBS_PER_CHECKPOINT>;
46
+ /**
47
+ * The hash of eth blob hashes for this block
48
+ * See yarn-project/foundation/src/blob/index.ts or body.ts for calculation
49
+ */
17
50
  blobsHash: Fr;
18
51
  constructor(
19
52
  /**
@@ -24,6 +57,14 @@ export declare class CheckpointRootRollupHints {
24
57
  * Hint for checking the hash of previous_block_header is the last leaf of the previous archive.
25
58
  */
26
59
  previousArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>,
60
+ /**
61
+ * The out hash tree snapshot immediately before this checkpoint.
62
+ */
63
+ previousOutHash: AppendOnlyTreeSnapshot,
64
+ /**
65
+ * Hint for inserting the new out hash into the out hash tree.
66
+ */
67
+ newOutHashSiblingPath: Tuple<Fr, typeof OUT_HASH_TREE_HEIGHT>,
27
68
  /**
28
69
  * The current blob accumulation state across the epoch.
29
70
  */
@@ -48,7 +89,7 @@ export declare class CheckpointRootRollupHints {
48
89
  */
49
90
  blobsHash: Fr);
50
91
  static from(fields: FieldsOf<CheckpointRootRollupHints>): CheckpointRootRollupHints;
51
- static getFields(fields: FieldsOf<CheckpointRootRollupHints>): readonly [BlockHeader, [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], BlobAccumulator, FinalBlobBatchingChallenges, Fr[], [BLS12Point, BLS12Point, BLS12Point, BLS12Point, BLS12Point, BLS12Point], Fr];
92
+ static getFields(fields: FieldsOf<CheckpointRootRollupHints>): readonly [BlockHeader, [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], AppendOnlyTreeSnapshot, [Fr, Fr, Fr, Fr, Fr], BlobAccumulator, FinalBlobBatchingChallenges, Fr[], [BLS12Point, BLS12Point, BLS12Point, BLS12Point, BLS12Point, BLS12Point], Fr];
52
93
  toBuffer(): Buffer<ArrayBufferLike>;
53
94
  static fromBuffer(buffer: Buffer | BufferReader): CheckpointRootRollupHints;
54
95
  toString(): `0x${string}`;
@@ -97,4 +138,4 @@ export declare class CheckpointPaddingRollupPrivateInputs {
97
138
  toJSON(): Buffer<ArrayBuffer>;
98
139
  static get schema(): import("zod").ZodType<CheckpointPaddingRollupPrivateInputs, any, string>;
99
140
  }
100
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9yb290X3JvbGx1cF9wcml2YXRlX2lucHV0cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3JvbGx1cC9jaGVja3BvaW50X3Jvb3Rfcm9sbHVwX3ByaXZhdGVfaW5wdXRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxlQUFlLEVBQUUsMkJBQTJCLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNyRixPQUFPLEVBQUUsY0FBYyxFQUFFLG9CQUFvQixFQUFtQixNQUFNLGtCQUFrQixDQUFDO0FBQ3pGLE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUM1RCxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFcEQsT0FBTyxFQUFFLFlBQVksRUFBRSxLQUFLLEtBQUssRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUUxRixPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUV4RCxPQUFPLEVBQWEsS0FBSyxtQkFBbUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzlFLE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNwRCxPQUFPLEVBQUUsdUJBQXVCLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUUxRSxxQkFBYSx5QkFBeUI7SUFLM0IsbUJBQW1CLEVBQUUsV0FBVztJQUloQywwQkFBMEIsRUFBRSxLQUFLLENBQUMsRUFBRSxFQUFFLE9BQU8sY0FBYyxDQUFDO0lBSTVELG9CQUFvQixFQUFFLGVBQWU7SUFJckMsbUJBQW1CLEVBQUUsMkJBQTJCO0lBTWhELFVBQVUsRUFBRSxFQUFFLEVBQUU7SUFJaEIsZUFBZSxFQUFFLEtBQUssQ0FBQyxVQUFVLEVBQUUsT0FBTyxvQkFBb0IsQ0FBQztJQUsvRCxTQUFTLEVBQUUsRUFBRTtJQS9CdEI7SUFDRTs7T0FFRztJQUNJLG1CQUFtQixFQUFFLFdBQVc7SUFDdkM7O09BRUc7SUFDSSwwQkFBMEIsRUFBRSxLQUFLLENBQUMsRUFBRSxFQUFFLE9BQU8sY0FBYyxDQUFDO0lBQ25FOztPQUVHO0lBQ0ksb0JBQW9CLEVBQUUsZUFBZTtJQUM1Qzs7T0FFRztJQUNJLG1CQUFtQixFQUFFLDJCQUEyQjtJQUN2RDs7OztPQUlHO0lBQ0ksVUFBVSxFQUFFLEVBQUUsRUFBRTtJQUN2Qjs7T0FFRztJQUNJLGVBQWUsRUFBRSxLQUFLLENBQUMsVUFBVSxFQUFFLE9BQU8sb0JBQW9CLENBQUM7SUFDdEU7OztPQUdHO0lBQ0ksU0FBUyxFQUFFLEVBQUUsRUFDbEI7SUFFSixNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMseUJBQXlCLENBQUMsNkJBRXREO0lBRUQsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLHlCQUF5QixDQUFDLHNSQVUzRDtJQUVELFFBQVEsNEJBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSw2QkFhOUM7SUFFRCxRQUFRLGtCQUVQO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSw2QkFFNUI7SUFFRCxNQUFNLDRCQUVMO0lBRUQsTUFBTSxLQUFLLE1BQU0sa0VBRWhCO0NBQ0Y7QUFFRCxxQkFBYSxpQ0FBaUM7SUFFbkMsZUFBZSxFQUFFO1FBQ3RCLG1CQUFtQixDQUFDLHVCQUF1QixDQUFDO1FBQzVDLG1CQUFtQixDQUFDLHVCQUF1QixDQUFDO0tBQzdDO0lBQ00sS0FBSyxFQUFFLHlCQUF5QjtJQUx6QyxZQUNTLGVBQWUsRUFBRTtRQUN0QixtQkFBbUIsQ0FBQyx1QkFBdUIsQ0FBQztRQUM1QyxtQkFBbUIsQ0FBQyx1QkFBdUIsQ0FBQztLQUM3QyxFQUNNLEtBQUssRUFBRSx5QkFBeUIsRUFDckM7SUFFSixNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsaUNBQWlDLENBQUMscUNBRTlEO0lBRUQsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLGlDQUFpQyxDQUFDLHNJQUVuRTtJQUVELFFBQVEsNEJBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxxQ0FNOUM7SUFFRCxRQUFRLGtCQUVQO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxxQ0FFNUI7SUFFRCxNQUFNLDRCQUVMO0lBRUQsTUFBTSxLQUFLLE1BQU0sMEVBRWhCO0NBQ0Y7QUFFRCxxQkFBYSw0Q0FBNEM7SUFFOUMsY0FBYyxFQUFFLG1CQUFtQixDQUFDLHVCQUF1QixDQUFDO0lBQzVELEtBQUssRUFBRSx5QkFBeUI7SUFGekMsWUFDUyxjQUFjLEVBQUUsbUJBQW1CLENBQUMsdUJBQXVCLENBQUMsRUFDNUQsS0FBSyxFQUFFLHlCQUF5QixFQUNyQztJQUVKLE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyw0Q0FBNEMsQ0FBQyxnREFJekU7SUFFRCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsNENBQTRDLENBQUMsc0ZBRTlFO0lBRUQsUUFBUSw0QkFFUDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLGdEQU05QztJQUVELFFBQVEsa0JBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLGdEQUU1QjtJQUVELE1BQU0sNEJBRUw7SUFFRCxNQUFNLEtBQUssTUFBTSxxRkFFaEI7Q0FDRjtBQUdELHFCQUFhLG9DQUFvQztJQUMvQyxjQUFnQjtJQUVoQixRQUFRLHdCQUVQO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxPQUFPLEVBQUUsTUFBTSxHQUFHLFlBQVksd0NBRS9DO0lBRUQsUUFBUSxJQUFJLEtBQUssTUFBTSxFQUFFLENBRXhCO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxJQUFJLEVBQUUsTUFBTSx3Q0FFN0I7SUFFRCxNQUFNLHdCQUVMO0lBRUQsTUFBTSxLQUFLLE1BQU0sNkVBRWhCO0NBQ0YifQ==
141
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9yb290X3JvbGx1cF9wcml2YXRlX2lucHV0cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3JvbGx1cC9jaGVja3BvaW50X3Jvb3Rfcm9sbHVwX3ByaXZhdGVfaW5wdXRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxlQUFlLEVBQUUsMkJBQTJCLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNyRixPQUFPLEVBQUUsY0FBYyxFQUFFLG9CQUFvQixFQUFtQixvQkFBb0IsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBQy9HLE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUM1RCxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFcEQsT0FBTyxFQUFFLFlBQVksRUFBRSxLQUFLLEtBQUssRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUUxRixPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUV4RCxPQUFPLEVBQWEsS0FBSyxtQkFBbUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzlFLE9BQU8sRUFBRSxzQkFBc0IsRUFBRSxNQUFNLHVDQUF1QyxDQUFDO0FBQy9FLE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNwRCxPQUFPLEVBQUUsdUJBQXVCLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUUxRSxxQkFBYSx5QkFBeUI7SUFFbEM7O09BRUc7SUFDSSxtQkFBbUIsRUFBRSxXQUFXO0lBQ3ZDOztPQUVHO0lBQ0ksMEJBQTBCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLGNBQWMsQ0FBQztJQUNuRTs7T0FFRztJQUNJLGVBQWUsRUFBRSxzQkFBc0I7SUFDOUM7O09BRUc7SUFDSSxxQkFBcUIsRUFBRSxLQUFLLENBQUMsRUFBRSxFQUFFLE9BQU8sb0JBQW9CLENBQUM7SUFDcEU7O09BRUc7SUFDSSxvQkFBb0IsRUFBRSxlQUFlO0lBQzVDOztPQUVHO0lBQ0ksbUJBQW1CLEVBQUUsMkJBQTJCO0lBQ3ZEOzs7O09BSUc7SUFDSSxVQUFVLEVBQUUsRUFBRSxFQUFFO0lBQ3ZCOztPQUVHO0lBQ0ksZUFBZSxFQUFFLEtBQUssQ0FBQyxVQUFVLEVBQUUsT0FBTyxvQkFBb0IsQ0FBQztJQUN0RTs7O09BR0c7SUFDSSxTQUFTLEVBQUUsRUFBRTtJQXZDdEI7SUFDRTs7T0FFRztJQUNJLG1CQUFtQixFQUFFLFdBQVc7SUFDdkM7O09BRUc7SUFDSSwwQkFBMEIsRUFBRSxLQUFLLENBQUMsRUFBRSxFQUFFLE9BQU8sY0FBYyxDQUFDO0lBQ25FOztPQUVHO0lBQ0ksZUFBZSxFQUFFLHNCQUFzQjtJQUM5Qzs7T0FFRztJQUNJLHFCQUFxQixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTyxvQkFBb0IsQ0FBQztJQUNwRTs7T0FFRztJQUNJLG9CQUFvQixFQUFFLGVBQWU7SUFDNUM7O09BRUc7SUFDSSxtQkFBbUIsRUFBRSwyQkFBMkI7SUFDdkQ7Ozs7T0FJRztJQUNJLFVBQVUsRUFBRSxFQUFFLEVBQUU7SUFDdkI7O09BRUc7SUFDSSxlQUFlLEVBQUUsS0FBSyxDQUFDLFVBQVUsRUFBRSxPQUFPLG9CQUFvQixDQUFDO0lBQ3RFOzs7T0FHRztJQUNJLFNBQVMsRUFBRSxFQUFFLEVBQ2xCO0lBRUosTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLHlCQUF5QixDQUFDLDZCQUV0RDtJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyx5QkFBeUIsQ0FBQyxvVUFZM0Q7SUFFRCxRQUFRLDRCQUVQO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksNkJBZTlDO0lBRUQsUUFBUSxrQkFFUDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxFQUFFLE1BQU0sNkJBRTVCO0lBRUQsTUFBTSw0QkFFTDtJQUVELE1BQU0sS0FBSyxNQUFNLGtFQUVoQjtDQUNGO0FBRUQscUJBQWEsaUNBQWlDO0lBRW5DLGVBQWUsRUFBRTtRQUN0QixtQkFBbUIsQ0FBQyx1QkFBdUIsQ0FBQztRQUM1QyxtQkFBbUIsQ0FBQyx1QkFBdUIsQ0FBQztLQUM3QztJQUNNLEtBQUssRUFBRSx5QkFBeUI7SUFMekMsWUFDUyxlQUFlLEVBQUU7UUFDdEIsbUJBQW1CLENBQUMsdUJBQXVCLENBQUM7UUFDNUMsbUJBQW1CLENBQUMsdUJBQXVCLENBQUM7S0FDN0MsRUFDTSxLQUFLLEVBQUUseUJBQXlCLEVBQ3JDO0lBRUosTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLGlDQUFpQyxDQUFDLHFDQUU5RDtJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxpQ0FBaUMsQ0FBQyxzSUFFbkU7SUFFRCxRQUFRLDRCQUVQO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVkscUNBTTlDO0lBRUQsUUFBUSxrQkFFUDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxFQUFFLE1BQU0scUNBRTVCO0lBRUQsTUFBTSw0QkFFTDtJQUVELE1BQU0sS0FBSyxNQUFNLDBFQUVoQjtDQUNGO0FBRUQscUJBQWEsNENBQTRDO0lBRTlDLGNBQWMsRUFBRSxtQkFBbUIsQ0FBQyx1QkFBdUIsQ0FBQztJQUM1RCxLQUFLLEVBQUUseUJBQXlCO0lBRnpDLFlBQ1MsY0FBYyxFQUFFLG1CQUFtQixDQUFDLHVCQUF1QixDQUFDLEVBQzVELEtBQUssRUFBRSx5QkFBeUIsRUFDckM7SUFFSixNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsNENBQTRDLENBQUMsZ0RBSXpFO0lBRUQsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLDRDQUE0QyxDQUFDLHNGQUU5RTtJQUVELFFBQVEsNEJBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxnREFNOUM7SUFFRCxRQUFRLGtCQUVQO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxnREFFNUI7SUFFRCxNQUFNLDRCQUVMO0lBRUQsTUFBTSxLQUFLLE1BQU0scUZBRWhCO0NBQ0Y7QUFHRCxxQkFBYSxvQ0FBb0M7SUFDL0MsY0FBZ0I7SUFFaEIsUUFBUSx3QkFFUDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsT0FBTyxFQUFFLE1BQU0sR0FBRyxZQUFZLHdDQUUvQztJQUVELFFBQVEsSUFBSSxLQUFLLE1BQU0sRUFBRSxDQUV4QjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsSUFBSSxFQUFFLE1BQU0sd0NBRTdCO0lBRUQsTUFBTSx3QkFFTDtJQUVELE1BQU0sS0FBSyxNQUFNLDZFQUVoQjtDQUNGIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"checkpoint_root_rollup_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/checkpoint_root_rollup_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AACrF,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAmB,MAAM,kBAAkB,CAAC;AACzF,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAC5D,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAE1F,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAa,KAAK,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9E,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAE1E,qBAAa,yBAAyB;IAK3B,mBAAmB,EAAE,WAAW;IAIhC,0BAA0B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAI5D,oBAAoB,EAAE,eAAe;IAIrC,mBAAmB,EAAE,2BAA2B;IAMhD,UAAU,EAAE,EAAE,EAAE;IAIhB,eAAe,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,oBAAoB,CAAC;IAK/D,SAAS,EAAE,EAAE;IA/BtB;IACE;;OAEG;IACI,mBAAmB,EAAE,WAAW;IACvC;;OAEG;IACI,0BAA0B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACnE;;OAEG;IACI,oBAAoB,EAAE,eAAe;IAC5C;;OAEG;IACI,mBAAmB,EAAE,2BAA2B;IACvD;;;;OAIG;IACI,UAAU,EAAE,EAAE,EAAE;IACvB;;OAEG;IACI,eAAe,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,oBAAoB,CAAC;IACtE;;;OAGG;IACI,SAAS,EAAE,EAAE,EAClB;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,yBAAyB,CAAC,6BAEtD;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,yBAAyB,CAAC,sRAU3D;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,6BAa9C;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,6BAE5B;IAED,MAAM,4BAEL;IAED,MAAM,KAAK,MAAM,kEAEhB;CACF;AAED,qBAAa,iCAAiC;IAEnC,eAAe,EAAE;QACtB,mBAAmB,CAAC,uBAAuB,CAAC;QAC5C,mBAAmB,CAAC,uBAAuB,CAAC;KAC7C;IACM,KAAK,EAAE,yBAAyB;IALzC,YACS,eAAe,EAAE;QACtB,mBAAmB,CAAC,uBAAuB,CAAC;QAC5C,mBAAmB,CAAC,uBAAuB,CAAC;KAC7C,EACM,KAAK,EAAE,yBAAyB,EACrC;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,iCAAiC,CAAC,qCAE9D;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,iCAAiC,CAAC,sIAEnE;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,qCAM9C;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,qCAE5B;IAED,MAAM,4BAEL;IAED,MAAM,KAAK,MAAM,0EAEhB;CACF;AAED,qBAAa,4CAA4C;IAE9C,cAAc,EAAE,mBAAmB,CAAC,uBAAuB,CAAC;IAC5D,KAAK,EAAE,yBAAyB;IAFzC,YACS,cAAc,EAAE,mBAAmB,CAAC,uBAAuB,CAAC,EAC5D,KAAK,EAAE,yBAAyB,EACrC;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,4CAA4C,CAAC,gDAIzE;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,4CAA4C,CAAC,sFAE9E;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,gDAM9C;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,gDAE5B;IAED,MAAM,4BAEL;IAED,MAAM,KAAK,MAAM,qFAEhB;CACF;AAGD,qBAAa,oCAAoC;IAC/C,cAAgB;IAEhB,QAAQ,wBAEP;IAED,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,YAAY,wCAE/C;IAED,QAAQ,IAAI,KAAK,MAAM,EAAE,CAExB;IAED,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,wCAE7B;IAED,MAAM,wBAEL;IAED,MAAM,KAAK,MAAM,6EAEhB;CACF"}
1
+ {"version":3,"file":"checkpoint_root_rollup_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/checkpoint_root_rollup_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AACrF,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAmB,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAC/G,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAC5D,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAE1F,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAa,KAAK,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9E,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAE1E,qBAAa,yBAAyB;IAElC;;OAEG;IACI,mBAAmB,EAAE,WAAW;IACvC;;OAEG;IACI,0BAA0B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACnE;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,oBAAoB,CAAC;IACpE;;OAEG;IACI,oBAAoB,EAAE,eAAe;IAC5C;;OAEG;IACI,mBAAmB,EAAE,2BAA2B;IACvD;;;;OAIG;IACI,UAAU,EAAE,EAAE,EAAE;IACvB;;OAEG;IACI,eAAe,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,oBAAoB,CAAC;IACtE;;;OAGG;IACI,SAAS,EAAE,EAAE;IAvCtB;IACE;;OAEG;IACI,mBAAmB,EAAE,WAAW;IACvC;;OAEG;IACI,0BAA0B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACnE;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,oBAAoB,CAAC;IACpE;;OAEG;IACI,oBAAoB,EAAE,eAAe;IAC5C;;OAEG;IACI,mBAAmB,EAAE,2BAA2B;IACvD;;;;OAIG;IACI,UAAU,EAAE,EAAE,EAAE;IACvB;;OAEG;IACI,eAAe,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,oBAAoB,CAAC;IACtE;;;OAGG;IACI,SAAS,EAAE,EAAE,EAClB;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,yBAAyB,CAAC,6BAEtD;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,yBAAyB,CAAC,oUAY3D;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,6BAe9C;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,6BAE5B;IAED,MAAM,4BAEL;IAED,MAAM,KAAK,MAAM,kEAEhB;CACF;AAED,qBAAa,iCAAiC;IAEnC,eAAe,EAAE;QACtB,mBAAmB,CAAC,uBAAuB,CAAC;QAC5C,mBAAmB,CAAC,uBAAuB,CAAC;KAC7C;IACM,KAAK,EAAE,yBAAyB;IALzC,YACS,eAAe,EAAE;QACtB,mBAAmB,CAAC,uBAAuB,CAAC;QAC5C,mBAAmB,CAAC,uBAAuB,CAAC;KAC7C,EACM,KAAK,EAAE,yBAAyB,EACrC;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,iCAAiC,CAAC,qCAE9D;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,iCAAiC,CAAC,sIAEnE;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,qCAM9C;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,qCAE5B;IAED,MAAM,4BAEL;IAED,MAAM,KAAK,MAAM,0EAEhB;CACF;AAED,qBAAa,4CAA4C;IAE9C,cAAc,EAAE,mBAAmB,CAAC,uBAAuB,CAAC;IAC5D,KAAK,EAAE,yBAAyB;IAFzC,YACS,cAAc,EAAE,mBAAmB,CAAC,uBAAuB,CAAC,EAC5D,KAAK,EAAE,yBAAyB,EACrC;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,4CAA4C,CAAC,gDAIzE;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,4CAA4C,CAAC,sFAE9E;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,gDAM9C;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,gDAE5B;IAED,MAAM,4BAEL;IAED,MAAM,KAAK,MAAM,qFAEhB;CACF;AAGD,qBAAa,oCAAoC;IAC/C,cAAgB;IAEhB,QAAQ,wBAEP;IAED,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,YAAY,wCAE/C;IAED,QAAQ,IAAI,KAAK,MAAM,EAAE,CAExB;IAED,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,wCAE7B;IAED,MAAM,wBAEL;IAED,MAAM,KAAK,MAAM,6EAEhB;CACF"}
@@ -1,16 +1,19 @@
1
1
  import { BlobAccumulator, FinalBlobBatchingChallenges } from '@aztec/blob-lib/types';
2
- import { ARCHIVE_HEIGHT, BLOBS_PER_CHECKPOINT, FIELDS_PER_BLOB } from '@aztec/constants';
2
+ import { ARCHIVE_HEIGHT, BLOBS_PER_CHECKPOINT, FIELDS_PER_BLOB, OUT_HASH_TREE_HEIGHT } from '@aztec/constants';
3
3
  import { BLS12Point } from '@aztec/foundation/curves/bls12';
4
4
  import { Fr } from '@aztec/foundation/curves/bn254';
5
5
  import { bufferSchemaFor } from '@aztec/foundation/schemas';
6
6
  import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
7
7
  import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
8
8
  import { ProofData } from '../proofs/proof_data.js';
9
+ import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
9
10
  import { BlockHeader } from '../tx/block_header.js';
10
11
  import { BlockRollupPublicInputs } from './block_rollup_public_inputs.js';
11
12
  export class CheckpointRootRollupHints {
12
13
  previousBlockHeader;
13
14
  previousArchiveSiblingPath;
15
+ previousOutHash;
16
+ newOutHashSiblingPath;
14
17
  startBlobAccumulator;
15
18
  finalBlobChallenges;
16
19
  blobFields;
@@ -21,6 +24,10 @@ export class CheckpointRootRollupHints {
21
24
  */ previousBlockHeader, /**
22
25
  * Hint for checking the hash of previous_block_header is the last leaf of the previous archive.
23
26
  */ previousArchiveSiblingPath, /**
27
+ * The out hash tree snapshot immediately before this checkpoint.
28
+ */ previousOutHash, /**
29
+ * Hint for inserting the new out hash into the out hash tree.
30
+ */ newOutHashSiblingPath, /**
24
31
  * The current blob accumulation state across the epoch.
25
32
  */ startBlobAccumulator, /**
26
33
  * Finalized challenges z and gamma for performing blob batching. Shared value across the epoch.
@@ -36,6 +43,8 @@ export class CheckpointRootRollupHints {
36
43
  */ blobsHash){
37
44
  this.previousBlockHeader = previousBlockHeader;
38
45
  this.previousArchiveSiblingPath = previousArchiveSiblingPath;
46
+ this.previousOutHash = previousOutHash;
47
+ this.newOutHashSiblingPath = newOutHashSiblingPath;
39
48
  this.startBlobAccumulator = startBlobAccumulator;
40
49
  this.finalBlobChallenges = finalBlobChallenges;
41
50
  this.blobFields = blobFields;
@@ -49,6 +58,8 @@ export class CheckpointRootRollupHints {
49
58
  return [
50
59
  fields.previousBlockHeader,
51
60
  fields.previousArchiveSiblingPath,
61
+ fields.previousOutHash,
62
+ fields.newOutHashSiblingPath,
52
63
  fields.startBlobAccumulator,
53
64
  fields.finalBlobChallenges,
54
65
  fields.blobFields,
@@ -61,7 +72,7 @@ export class CheckpointRootRollupHints {
61
72
  }
62
73
  static fromBuffer(buffer) {
63
74
  const reader = BufferReader.asReader(buffer);
64
- return new CheckpointRootRollupHints(BlockHeader.fromBuffer(reader), reader.readArray(ARCHIVE_HEIGHT, Fr), reader.readObject(BlobAccumulator), reader.readObject(FinalBlobBatchingChallenges), // Below line gives error 'Type instantiation is excessively deep and possibly infinite. ts(2589)'
75
+ return new CheckpointRootRollupHints(BlockHeader.fromBuffer(reader), reader.readArray(ARCHIVE_HEIGHT, Fr), reader.readObject(AppendOnlyTreeSnapshot), reader.readArray(OUT_HASH_TREE_HEIGHT, Fr), reader.readObject(BlobAccumulator), reader.readObject(FinalBlobBatchingChallenges), // Below line gives error 'Type instantiation is excessively deep and possibly infinite. ts(2589)'
65
76
  // reader.readArray(FIELDS_PER_BLOB, Fr),
66
77
  Array.from({
67
78
  length: FIELDS_PER_BLOB * BLOBS_PER_CHECKPOINT
@@ -5,10 +5,25 @@ import type { FieldsOf } from '@aztec/foundation/types';
5
5
  * Constants that are the same for the entire epoch.
6
6
  */
7
7
  export declare class EpochConstantData {
8
+ /**
9
+ * ChainId of the rollup.
10
+ */
8
11
  chainId: Fr;
12
+ /**
13
+ * Version of the rollup.
14
+ */
9
15
  version: Fr;
16
+ /**
17
+ * Root of the verification key tree.
18
+ */
10
19
  vkTreeRoot: Fr;
20
+ /**
21
+ * Hash of the protocol contracts list.
22
+ */
11
23
  protocolContractsHash: Fr;
24
+ /**
25
+ * Identifier of the prover of the epoch.
26
+ */
12
27
  proverId: Fr;
13
28
  constructor(
14
29
  /**
@@ -38,4 +53,4 @@ export declare class EpochConstantData {
38
53
  toBuffer(): Buffer<ArrayBufferLike>;
39
54
  static empty(): EpochConstantData;
40
55
  }
41
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXBvY2hfY29uc3RhbnRfZGF0YS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3JvbGx1cC9lcG9jaF9jb25zdGFudF9kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsWUFBWSxFQUF3QyxNQUFNLDZCQUE2QixDQUFDO0FBQ2pHLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhEOztHQUVHO0FBQ0gscUJBQWEsaUJBQWlCO0lBS25CLE9BQU8sRUFBRSxFQUFFO0lBSVgsT0FBTyxFQUFFLEVBQUU7SUFJWCxVQUFVLEVBQUUsRUFBRTtJQUlkLHFCQUFxQixFQUFFLEVBQUU7SUFJekIsUUFBUSxFQUFFLEVBQUU7SUFwQnJCO0lBQ0U7O09BRUc7SUFDSSxPQUFPLEVBQUUsRUFBRTtJQUNsQjs7T0FFRztJQUNJLE9BQU8sRUFBRSxFQUFFO0lBQ2xCOztPQUVHO0lBQ0ksVUFBVSxFQUFFLEVBQUU7SUFDckI7O09BRUc7SUFDSSxxQkFBcUIsRUFBRSxFQUFFO0lBQ2hDOztPQUVHO0lBQ0ksUUFBUSxFQUFFLEVBQUUsRUFDakI7SUFFSixNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsaUJBQWlCLENBQUMsR0FBRyxpQkFBaUIsQ0FFbEU7SUFFRCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsaUJBQWlCLENBQUMsaUNBRW5EO0lBRUQsUUFBUSxJQUFJLEVBQUUsRUFBRSxDQUVmO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxpQkFBaUIsQ0FTbEU7SUFFRCxRQUFRLDRCQUVQO0lBRUQsTUFBTSxDQUFDLEtBQUssc0JBRVg7Q0FDRiJ9
56
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXBvY2hfY29uc3RhbnRfZGF0YS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3JvbGx1cC9lcG9jaF9jb25zdGFudF9kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsWUFBWSxFQUF3QyxNQUFNLDZCQUE2QixDQUFDO0FBQ2pHLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhEOztHQUVHO0FBQ0gscUJBQWEsaUJBQWlCO0lBRTFCOztPQUVHO0lBQ0ksT0FBTyxFQUFFLEVBQUU7SUFDbEI7O09BRUc7SUFDSSxPQUFPLEVBQUUsRUFBRTtJQUNsQjs7T0FFRztJQUNJLFVBQVUsRUFBRSxFQUFFO0lBQ3JCOztPQUVHO0lBQ0kscUJBQXFCLEVBQUUsRUFBRTtJQUNoQzs7T0FFRztJQUNJLFFBQVEsRUFBRSxFQUFFO0lBcEJyQjtJQUNFOztPQUVHO0lBQ0ksT0FBTyxFQUFFLEVBQUU7SUFDbEI7O09BRUc7SUFDSSxPQUFPLEVBQUUsRUFBRTtJQUNsQjs7T0FFRztJQUNJLFVBQVUsRUFBRSxFQUFFO0lBQ3JCOztPQUVHO0lBQ0kscUJBQXFCLEVBQUUsRUFBRTtJQUNoQzs7T0FFRztJQUNJLFFBQVEsRUFBRSxFQUFFLEVBQ2pCO0lBRUosTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLGlCQUFpQixDQUFDLEdBQUcsaUJBQWlCLENBRWxFO0lBRUQsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLGlCQUFpQixDQUFDLGlDQUVuRDtJQUVELFFBQVEsSUFBSSxFQUFFLEVBQUUsQ0FFZjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsaUJBQWlCLENBU2xFO0lBRUQsUUFBUSw0QkFFUDtJQUVELE1BQU0sQ0FBQyxLQUFLLHNCQUVYO0NBQ0YifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"epoch_constant_data.d.ts","sourceRoot":"","sources":["../../src/rollup/epoch_constant_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAwC,MAAM,6BAA6B,CAAC;AACjG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD;;GAEG;AACH,qBAAa,iBAAiB;IAKnB,OAAO,EAAE,EAAE;IAIX,OAAO,EAAE,EAAE;IAIX,UAAU,EAAE,EAAE;IAId,qBAAqB,EAAE,EAAE;IAIzB,QAAQ,EAAE,EAAE;IApBrB;IACE;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,qBAAqB,EAAE,EAAE;IAChC;;OAEG;IACI,QAAQ,EAAE,EAAE,EACjB;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC,GAAG,iBAAiB,CAElE;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC,iCAEnD;IAED,QAAQ,IAAI,EAAE,EAAE,CAEf;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,iBAAiB,CASlE;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,KAAK,sBAEX;CACF"}
1
+ {"version":3,"file":"epoch_constant_data.d.ts","sourceRoot":"","sources":["../../src/rollup/epoch_constant_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAwC,MAAM,6BAA6B,CAAC;AACjG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD;;GAEG;AACH,qBAAa,iBAAiB;IAE1B;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,qBAAqB,EAAE,EAAE;IAChC;;OAEG;IACI,QAAQ,EAAE,EAAE;IApBrB;IACE;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,qBAAqB,EAAE,EAAE;IAChC;;OAEG;IACI,QAAQ,EAAE,EAAE,EACjB;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC,GAAG,iBAAiB,CAElE;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC,iCAEnD;IAED,QAAQ,IAAI,EAAE,EAAE,CAEf;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,iBAAiB,CASlE;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,KAAK,sBAEX;CACF"}
@@ -6,6 +6,11 @@ import { CheckpointRollupPublicInputs } from './checkpoint_rollup_public_inputs.
6
6
  * Represents inputs of the root rollup circuit.
7
7
  */
8
8
  export declare class RootRollupPrivateInputs {
9
+ /**
10
+ * The previous rollup data.
11
+ * Note: Root rollup circuit is the latest circuit the chain of circuits and the previous rollup data is the data
12
+ * from 2 checkpoint root/merge/padding circuits.
13
+ */
9
14
  previousRollups: [
10
15
  RollupHonkProofData<CheckpointRollupPublicInputs>,
11
16
  RollupHonkProofData<CheckpointRollupPublicInputs>
@@ -59,4 +64,4 @@ export declare class RootRollupPrivateInputs {
59
64
  /** Creates an instance from a string. */
60
65
  static get schema(): import("zod").ZodType<RootRollupPrivateInputs, any, string>;
61
66
  }
62
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicm9vdF9yb2xsdXBfcHJpdmF0ZV9pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9yb2xsdXAvcm9vdF9yb2xsdXBfcHJpdmF0ZV9pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFFLFlBQVksRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUU5RSxPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUV4RCxPQUFPLEVBQWEsS0FBSyxtQkFBbUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzlFLE9BQU8sRUFBRSw0QkFBNEIsRUFBRSxNQUFNLHNDQUFzQyxDQUFDO0FBRXBGOztHQUVHO0FBQ0gscUJBQWEsdUJBQXVCO0lBT3pCLGVBQWUsRUFBRTtRQUN0QixtQkFBbUIsQ0FBQyw0QkFBNEIsQ0FBQztRQUNqRCxtQkFBbUIsQ0FBQyw0QkFBNEIsQ0FBQztLQUNsRDtJQVRIO0lBQ0U7Ozs7T0FJRztJQUNJLGVBQWUsRUFBRTtRQUN0QixtQkFBbUIsQ0FBQyw0QkFBNEIsQ0FBQztRQUNqRCxtQkFBbUIsQ0FBQyw0QkFBNEIsQ0FBQztLQUNsRCxFQUNDO0lBRUo7OztPQUdHO0lBQ0gsUUFBUSw0QkFFUDtJQUVEOzs7T0FHRztJQUNILFFBQVEsa0JBRVA7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLHVCQUF1QixDQUFDLDJCQUVwRDtJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsdUJBQXVCLENBQUMscUhBRXpEO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLDJCQU05QztJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLDJCQUU1QjtJQUVELHVEQUF1RDtJQUN2RCxNQUFNLDRCQUVMO0lBRUQseUNBQXlDO0lBQ3pDLE1BQU0sS0FBSyxNQUFNLGdFQUVoQjtDQUNGIn0=
67
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicm9vdF9yb2xsdXBfcHJpdmF0ZV9pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9yb2xsdXAvcm9vdF9yb2xsdXBfcHJpdmF0ZV9pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFFLFlBQVksRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUU5RSxPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUV4RCxPQUFPLEVBQWEsS0FBSyxtQkFBbUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzlFLE9BQU8sRUFBRSw0QkFBNEIsRUFBRSxNQUFNLHNDQUFzQyxDQUFDO0FBRXBGOztHQUVHO0FBQ0gscUJBQWEsdUJBQXVCO0lBRWhDOzs7O09BSUc7SUFDSSxlQUFlLEVBQUU7UUFDdEIsbUJBQW1CLENBQUMsNEJBQTRCLENBQUM7UUFDakQsbUJBQW1CLENBQUMsNEJBQTRCLENBQUM7S0FDbEQ7SUFUSDtJQUNFOzs7O09BSUc7SUFDSSxlQUFlLEVBQUU7UUFDdEIsbUJBQW1CLENBQUMsNEJBQTRCLENBQUM7UUFDakQsbUJBQW1CLENBQUMsNEJBQTRCLENBQUM7S0FDbEQsRUFDQztJQUVKOzs7T0FHRztJQUNILFFBQVEsNEJBRVA7SUFFRDs7O09BR0c7SUFDSCxRQUFRLGtCQUVQO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyx1QkFBdUIsQ0FBQywyQkFFcEQ7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLHVCQUF1QixDQUFDLHFIQUV6RDtJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSwyQkFNOUM7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSwyQkFFNUI7SUFFRCx1REFBdUQ7SUFDdkQsTUFBTSw0QkFFTDtJQUVELHlDQUF5QztJQUN6QyxNQUFNLEtBQUssTUFBTSxnRUFFaEI7Q0FDRiJ9
@@ -1 +1 @@
1
- {"version":3,"file":"root_rollup_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/root_rollup_private_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAa,KAAK,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9E,OAAO,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AAEpF;;GAEG;AACH,qBAAa,uBAAuB;IAOzB,eAAe,EAAE;QACtB,mBAAmB,CAAC,4BAA4B,CAAC;QACjD,mBAAmB,CAAC,4BAA4B,CAAC;KAClD;IATH;IACE;;;;OAIG;IACI,eAAe,EAAE;QACtB,mBAAmB,CAAC,4BAA4B,CAAC;QACjD,mBAAmB,CAAC,4BAA4B,CAAC;KAClD,EACC;IAEJ;;;OAGG;IACH,QAAQ,4BAEP;IAED;;;OAGG;IACH,QAAQ,kBAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC,2BAEpD;IAED;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC,qHAEzD;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,2BAM9C;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,2BAE5B;IAED,uDAAuD;IACvD,MAAM,4BAEL;IAED,yCAAyC;IACzC,MAAM,KAAK,MAAM,gEAEhB;CACF"}
1
+ {"version":3,"file":"root_rollup_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/root_rollup_private_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAa,KAAK,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9E,OAAO,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AAEpF;;GAEG;AACH,qBAAa,uBAAuB;IAEhC;;;;OAIG;IACI,eAAe,EAAE;QACtB,mBAAmB,CAAC,4BAA4B,CAAC;QACjD,mBAAmB,CAAC,4BAA4B,CAAC;KAClD;IATH;IACE;;;;OAIG;IACI,eAAe,EAAE;QACtB,mBAAmB,CAAC,4BAA4B,CAAC;QACjD,mBAAmB,CAAC,4BAA4B,CAAC;KAClD,EACC;IAEJ;;;OAGG;IACH,QAAQ,4BAEP;IAED;;;OAGG;IACH,QAAQ,kBAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC,2BAEpD;IAED;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC,qHAEzD;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,2BAM9C;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,2BAE5B;IAED,uDAAuD;IACvD,MAAM,4BAEL;IAED,yCAAyC;IACzC,MAAM,KAAK,MAAM,gEAEhB;CACF"}
@@ -1,5 +1,5 @@
1
1
  import { FinalBlobAccumulator } from '@aztec/blob-lib/types';
2
- import { AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
2
+ import { MAX_CHECKPOINTS_PER_EPOCH } from '@aztec/constants';
3
3
  import { Fr } from '@aztec/foundation/curves/bn254';
4
4
  import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
5
5
  import type { FieldsOf } from '@aztec/foundation/types';
@@ -11,11 +11,18 @@ import { EpochConstantData } from './epoch_constant_data.js';
11
11
  * NOTE: in practice, we'll hash all of this up into a single public input, for cheap onchain verification.
12
12
  */
13
13
  export declare class RootRollupPublicInputs {
14
+ /** Root of the archive tree before this rollup is processed */
14
15
  previousArchiveRoot: Fr;
16
+ /** Root of the archive tree after this rollup is processed */
15
17
  endArchiveRoot: Fr;
18
+ /**
19
+ * Root of the balanced merkle tree consisting of the out hashes of all checkpoints in this epoch.
20
+ * The out hash of the first checkpoint in the epoch is inserted at index 0, the second at index 1, and so on.
21
+ */
16
22
  outHash: Fr;
17
- checkpointHeaderHashes: Tuple<Fr, typeof AZTEC_MAX_EPOCH_DURATION>;
18
- fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>;
23
+ /** Hashes of checkpoint headers for this rollup. */
24
+ checkpointHeaderHashes: Tuple<Fr, typeof MAX_CHECKPOINTS_PER_EPOCH>;
25
+ fees: Tuple<FeeRecipient, typeof MAX_CHECKPOINTS_PER_EPOCH>;
19
26
  constants: EpochConstantData;
20
27
  blobPublicInputs: FinalBlobAccumulator;
21
28
  constructor(
@@ -23,11 +30,14 @@ export declare class RootRollupPublicInputs {
23
30
  previousArchiveRoot: Fr,
24
31
  /** Root of the archive tree after this rollup is processed */
25
32
  endArchiveRoot: Fr,
26
- /** Root of the unbalanced merkle tree consisting of the `out_hash` values from all checkpoints in this rollup. */
33
+ /**
34
+ * Root of the balanced merkle tree consisting of the out hashes of all checkpoints in this epoch.
35
+ * The out hash of the first checkpoint in the epoch is inserted at index 0, the second at index 1, and so on.
36
+ */
27
37
  outHash: Fr,
28
38
  /** Hashes of checkpoint headers for this rollup. */
29
- checkpointHeaderHashes: Tuple<Fr, typeof AZTEC_MAX_EPOCH_DURATION>, fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>, constants: EpochConstantData, blobPublicInputs: FinalBlobAccumulator);
30
- static getFields(fields: FieldsOf<RootRollupPublicInputs>): readonly [Fr, Fr, Fr, [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient], EpochConstantData, FinalBlobAccumulator];
39
+ checkpointHeaderHashes: Tuple<Fr, typeof MAX_CHECKPOINTS_PER_EPOCH>, fees: Tuple<FeeRecipient, typeof MAX_CHECKPOINTS_PER_EPOCH>, constants: EpochConstantData, blobPublicInputs: FinalBlobAccumulator);
40
+ static getFields(fields: FieldsOf<RootRollupPublicInputs>): readonly [Fr, Fr, Fr, [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient], EpochConstantData, FinalBlobAccumulator];
31
41
  toBuffer(): Buffer<ArrayBufferLike>;
32
42
  toFields(): Fr[];
33
43
  static from(fields: FieldsOf<RootRollupPublicInputs>): RootRollupPublicInputs;
@@ -46,4 +56,4 @@ export declare class RootRollupPublicInputs {
46
56
  /** Creates a random instance. Used for testing only - will not prove/verify. */
47
57
  static random(): RootRollupPublicInputs;
48
58
  }
49
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicm9vdF9yb2xsdXBfcHVibGljX2lucHV0cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3JvbGx1cC9yb290X3JvbGx1cF9wdWJsaWNfaW5wdXRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxvQkFBb0IsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQzdELE9BQU8sRUFBRSx3QkFBd0IsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBRTVELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVwRCxPQUFPLEVBQUUsWUFBWSxFQUFFLEtBQUssS0FBSyxFQUF3QyxNQUFNLDZCQUE2QixDQUFDO0FBRTdHLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhELE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSxzQ0FBc0MsQ0FBQztBQUNwRSxPQUFPLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUU3RDs7OztHQUlHO0FBQ0gscUJBQWEsc0JBQXNCO0lBR3hCLG1CQUFtQixFQUFFLEVBQUU7SUFFdkIsY0FBYyxFQUFFLEVBQUU7SUFFbEIsT0FBTyxFQUFFLEVBQUU7SUFFWCxzQkFBc0IsRUFBRSxLQUFLLENBQUMsRUFBRSxFQUFFLE9BQU8sd0JBQXdCLENBQUM7SUFDbEUsSUFBSSxFQUFFLEtBQUssQ0FBQyxZQUFZLEVBQUUsT0FBTyx3QkFBd0IsQ0FBQztJQUMxRCxTQUFTLEVBQUUsaUJBQWlCO0lBQzVCLGdCQUFnQixFQUFFLG9CQUFvQjtJQVgvQztJQUNFLCtEQUErRDtJQUN4RCxtQkFBbUIsRUFBRSxFQUFFO0lBQzlCLDhEQUE4RDtJQUN2RCxjQUFjLEVBQUUsRUFBRTtJQUN6QixrSEFBa0g7SUFDM0csT0FBTyxFQUFFLEVBQUU7SUFDbEIsb0RBQW9EO0lBQzdDLHNCQUFzQixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTyx3QkFBd0IsQ0FBQyxFQUNsRSxJQUFJLEVBQUUsS0FBSyxDQUFDLFlBQVksRUFBRSxPQUFPLHdCQUF3QixDQUFDLEVBQzFELFNBQVMsRUFBRSxpQkFBaUIsRUFDNUIsZ0JBQWdCLEVBQUUsb0JBQW9CLEVBQzNDO0lBRUosTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLHNCQUFzQixDQUFDLHM2QkFVeEQ7SUFFRCxRQUFRLDRCQUVQO0lBRUQsUUFBUSxJQUFJLEVBQUUsRUFBRSxDQUVmO0lBRUQsTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLHNCQUFzQixDQUFDLEdBQUcsc0JBQXNCLENBRTVFO0lBRUQ7Ozs7T0FJRztJQUNILE9BQWMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLHNCQUFzQixDQVc5RTtJQUVELFFBQVEsa0JBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLDBCQUU1QjtJQUVELHVEQUF1RDtJQUN2RCxNQUFNLDRCQUVMO0lBRUQseUNBQXlDO0lBQ3pDLE1BQU0sS0FBSyxNQUFNLCtEQUVoQjtJQUVELGdGQUFnRjtJQUNoRixNQUFNLENBQUMsTUFBTSwyQkFVWjtDQUNGIn0=
59
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicm9vdF9yb2xsdXBfcHVibGljX2lucHV0cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3JvbGx1cC9yb290X3JvbGx1cF9wdWJsaWNfaW5wdXRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxvQkFBb0IsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQzdELE9BQU8sRUFBRSx5QkFBeUIsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBRTdELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVwRCxPQUFPLEVBQUUsWUFBWSxFQUFFLEtBQUssS0FBSyxFQUF3QyxNQUFNLDZCQUE2QixDQUFDO0FBRTdHLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhELE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSxzQ0FBc0MsQ0FBQztBQUNwRSxPQUFPLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUU3RDs7OztHQUlHO0FBQ0gscUJBQWEsc0JBQXNCO0lBRS9CLCtEQUErRDtJQUN4RCxtQkFBbUIsRUFBRSxFQUFFO0lBQzlCLDhEQUE4RDtJQUN2RCxjQUFjLEVBQUUsRUFBRTtJQUN6Qjs7O09BR0c7SUFDSSxPQUFPLEVBQUUsRUFBRTtJQUNsQixvREFBb0Q7SUFDN0Msc0JBQXNCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLHlCQUF5QixDQUFDO0lBQ25FLElBQUksRUFBRSxLQUFLLENBQUMsWUFBWSxFQUFFLE9BQU8seUJBQXlCLENBQUM7SUFDM0QsU0FBUyxFQUFFLGlCQUFpQjtJQUM1QixnQkFBZ0IsRUFBRSxvQkFBb0I7SUFkL0M7SUFDRSwrREFBK0Q7SUFDeEQsbUJBQW1CLEVBQUUsRUFBRTtJQUM5Qiw4REFBOEQ7SUFDdkQsY0FBYyxFQUFFLEVBQUU7SUFDekI7OztPQUdHO0lBQ0ksT0FBTyxFQUFFLEVBQUU7SUFDbEIsb0RBQW9EO0lBQzdDLHNCQUFzQixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTyx5QkFBeUIsQ0FBQyxFQUNuRSxJQUFJLEVBQUUsS0FBSyxDQUFDLFlBQVksRUFBRSxPQUFPLHlCQUF5QixDQUFDLEVBQzNELFNBQVMsRUFBRSxpQkFBaUIsRUFDNUIsZ0JBQWdCLEVBQUUsb0JBQW9CLEVBQzNDO0lBRUosTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLHNCQUFzQixDQUFDLHNvQkFVeEQ7SUFFRCxRQUFRLDRCQUVQO0lBRUQsUUFBUSxJQUFJLEVBQUUsRUFBRSxDQUVmO0lBRUQsTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLHNCQUFzQixDQUFDLEdBQUcsc0JBQXNCLENBRTVFO0lBRUQ7Ozs7T0FJRztJQUNILE9BQWMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLHNCQUFzQixDQVc5RTtJQUVELFFBQVEsa0JBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLDBCQUU1QjtJQUVELHVEQUF1RDtJQUN2RCxNQUFNLDRCQUVMO0lBRUQseUNBQXlDO0lBQ3pDLE1BQU0sS0FBSyxNQUFNLCtEQUVoQjtJQUVELGdGQUFnRjtJQUNoRixNQUFNLENBQUMsTUFBTSwyQkFVWjtDQUNGIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"root_rollup_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/root_rollup_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAE5D,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAwC,MAAM,6BAA6B,CAAC;AAE7G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AACpE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;;;GAIG;AACH,qBAAa,sBAAsB;IAGxB,mBAAmB,EAAE,EAAE;IAEvB,cAAc,EAAE,EAAE;IAElB,OAAO,EAAE,EAAE;IAEX,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IAClE,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC;IAC1D,SAAS,EAAE,iBAAiB;IAC5B,gBAAgB,EAAE,oBAAoB;IAX/C;IACE,+DAA+D;IACxD,mBAAmB,EAAE,EAAE;IAC9B,8DAA8D;IACvD,cAAc,EAAE,EAAE;IACzB,kHAAkH;IAC3G,OAAO,EAAE,EAAE;IAClB,oDAAoD;IAC7C,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC,EAClE,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC,EAC1D,SAAS,EAAE,iBAAiB,EAC5B,gBAAgB,EAAE,oBAAoB,EAC3C;IAEJ,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,s6BAUxD;IAED,QAAQ,4BAEP;IAED,QAAQ,IAAI,EAAE,EAAE,CAEf;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,GAAG,sBAAsB,CAE5E;IAED;;;;OAIG;IACH,OAAc,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB,CAW9E;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,0BAE5B;IAED,uDAAuD;IACvD,MAAM,4BAEL;IAED,yCAAyC;IACzC,MAAM,KAAK,MAAM,+DAEhB;IAED,gFAAgF;IAChF,MAAM,CAAC,MAAM,2BAUZ;CACF"}
1
+ {"version":3,"file":"root_rollup_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/root_rollup_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,yBAAyB,EAAE,MAAM,kBAAkB,CAAC;AAE7D,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAwC,MAAM,6BAA6B,CAAC;AAE7G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AACpE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;;;GAIG;AACH,qBAAa,sBAAsB;IAE/B,+DAA+D;IACxD,mBAAmB,EAAE,EAAE;IAC9B,8DAA8D;IACvD,cAAc,EAAE,EAAE;IACzB;;;OAGG;IACI,OAAO,EAAE,EAAE;IAClB,oDAAoD;IAC7C,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,yBAAyB,CAAC;IACnE,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,yBAAyB,CAAC;IAC3D,SAAS,EAAE,iBAAiB;IAC5B,gBAAgB,EAAE,oBAAoB;IAd/C;IACE,+DAA+D;IACxD,mBAAmB,EAAE,EAAE;IAC9B,8DAA8D;IACvD,cAAc,EAAE,EAAE;IACzB;;;OAGG;IACI,OAAO,EAAE,EAAE;IAClB,oDAAoD;IAC7C,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,yBAAyB,CAAC,EACnE,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,yBAAyB,CAAC,EAC3D,SAAS,EAAE,iBAAiB,EAC5B,gBAAgB,EAAE,oBAAoB,EAC3C;IAEJ,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,soBAUxD;IAED,QAAQ,4BAEP;IAED,QAAQ,IAAI,EAAE,EAAE,CAEf;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,GAAG,sBAAsB,CAE5E;IAED;;;;OAIG;IACH,OAAc,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB,CAW9E;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,0BAE5B;IAED,uDAAuD;IACvD,MAAM,4BAEL;IAED,yCAAyC;IACzC,MAAM,KAAK,MAAM,+DAEhB;IAED,gFAAgF;IAChF,MAAM,CAAC,MAAM,2BAUZ;CACF"}
@@ -1,5 +1,5 @@
1
1
  import { FinalBlobAccumulator } from '@aztec/blob-lib/types';
2
- import { AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
2
+ import { MAX_CHECKPOINTS_PER_EPOCH } from '@aztec/constants';
3
3
  import { makeTuple } from '@aztec/foundation/array';
4
4
  import { Fr } from '@aztec/foundation/curves/bn254';
5
5
  import { bufferSchemaFor } from '@aztec/foundation/schemas';
@@ -19,7 +19,10 @@ import { EpochConstantData } from './epoch_constant_data.js';
19
19
  fees;
20
20
  constants;
21
21
  blobPublicInputs;
22
- constructor(/** Root of the archive tree before this rollup is processed */ previousArchiveRoot, /** Root of the archive tree after this rollup is processed */ endArchiveRoot, /** Root of the unbalanced merkle tree consisting of the `out_hash` values from all checkpoints in this rollup. */ outHash, /** Hashes of checkpoint headers for this rollup. */ checkpointHeaderHashes, fees, constants, blobPublicInputs){
22
+ constructor(/** Root of the archive tree before this rollup is processed */ previousArchiveRoot, /** Root of the archive tree after this rollup is processed */ endArchiveRoot, /**
23
+ * Root of the balanced merkle tree consisting of the out hashes of all checkpoints in this epoch.
24
+ * The out hash of the first checkpoint in the epoch is inserted at index 0, the second at index 1, and so on.
25
+ */ outHash, /** Hashes of checkpoint headers for this rollup. */ checkpointHeaderHashes, fees, constants, blobPublicInputs){
23
26
  this.previousArchiveRoot = previousArchiveRoot;
24
27
  this.endArchiveRoot = endArchiveRoot;
25
28
  this.outHash = outHash;
@@ -54,7 +57,7 @@ import { EpochConstantData } from './epoch_constant_data.js';
54
57
  * @returns The deserialized `RootRollupPublicInputs` object.
55
58
  */ static fromBuffer(buffer) {
56
59
  const reader = BufferReader.asReader(buffer);
57
- return new RootRollupPublicInputs(Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader), reader.readArray(AZTEC_MAX_EPOCH_DURATION, Fr), reader.readArray(AZTEC_MAX_EPOCH_DURATION, FeeRecipient), EpochConstantData.fromBuffer(reader), reader.readObject(FinalBlobAccumulator));
60
+ return new RootRollupPublicInputs(Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader), reader.readArray(MAX_CHECKPOINTS_PER_EPOCH, Fr), reader.readArray(MAX_CHECKPOINTS_PER_EPOCH, FeeRecipient), EpochConstantData.fromBuffer(reader), reader.readObject(FinalBlobAccumulator));
58
61
  }
59
62
  toString() {
60
63
  return bufferToHex(this.toBuffer());
@@ -69,6 +72,6 @@ import { EpochConstantData } from './epoch_constant_data.js';
69
72
  return bufferSchemaFor(RootRollupPublicInputs);
70
73
  }
71
74
  /** Creates a random instance. Used for testing only - will not prove/verify. */ static random() {
72
- return new RootRollupPublicInputs(Fr.random(), Fr.random(), Fr.random(), makeTuple(AZTEC_MAX_EPOCH_DURATION, Fr.random), makeTuple(AZTEC_MAX_EPOCH_DURATION, FeeRecipient.random), new EpochConstantData(Fr.random(), Fr.random(), Fr.random(), Fr.random(), Fr.random()), FinalBlobAccumulator.random());
75
+ return new RootRollupPublicInputs(Fr.random(), Fr.random(), Fr.random(), makeTuple(MAX_CHECKPOINTS_PER_EPOCH, Fr.random), makeTuple(MAX_CHECKPOINTS_PER_EPOCH, FeeRecipient.random), new EpochConstantData(Fr.random(), Fr.random(), Fr.random(), Fr.random(), Fr.random()), FinalBlobAccumulator.random());
73
76
  }
74
77
  }
@@ -8,12 +8,35 @@ import { NullifierLeafPreimage } from '../trees/index.js';
8
8
  * Hints used while proving state diff validity for the private base rollup.
9
9
  */
10
10
  export declare class TreeSnapshotDiffHints {
11
+ /**
12
+ * Sibling path "pointing to" where the new note hash subtree should be inserted into the note hash tree.
13
+ */
11
14
  noteHashSubtreeRootSiblingPath: Tuple<Fr, typeof NOTE_HASH_SUBTREE_ROOT_SIBLING_PATH_LENGTH>;
15
+ /**
16
+ * The nullifiers which need to be updated to perform the batch insertion of the new nullifiers.
17
+ * See `StandardIndexedTree.batchInsert` function for more details.
18
+ */
12
19
  nullifierPredecessorPreimages: Tuple<NullifierLeafPreimage, typeof MAX_NULLIFIERS_PER_TX>;
20
+ /**
21
+ * Membership witnesses for the nullifiers which need to be updated to perform the batch insertion of the new
22
+ * nullifiers.
23
+ */
13
24
  nullifierPredecessorMembershipWitnesses: Tuple<MembershipWitness<typeof NULLIFIER_TREE_HEIGHT>, typeof MAX_NULLIFIERS_PER_TX>;
25
+ /**
26
+ * The nullifiers to be inserted in the tree, sorted high to low.
27
+ */
14
28
  sortedNullifiers: Tuple<Fr, typeof MAX_NULLIFIERS_PER_TX>;
29
+ /**
30
+ * The indexes of the sorted nullifiers to the original ones.
31
+ */
15
32
  sortedNullifierIndexes: Tuple<number, typeof MAX_NULLIFIERS_PER_TX>;
33
+ /**
34
+ * Sibling path "pointing to" where the new nullifiers subtree should be inserted into the nullifier tree.
35
+ */
16
36
  nullifierSubtreeRootSiblingPath: Tuple<Fr, typeof NULLIFIER_SUBTREE_ROOT_SIBLING_PATH_LENGTH>;
37
+ /**
38
+ * Membership witness for the fee payer's balance leaf in the public data tree.
39
+ */
17
40
  feePayerBalanceMembershipWitness: MembershipWitness<typeof PUBLIC_DATA_TREE_HEIGHT>;
18
41
  constructor(
19
42
  /**
@@ -61,4 +84,4 @@ export declare class TreeSnapshotDiffHints {
61
84
  static fromBuffer(buffer: Buffer | BufferReader): TreeSnapshotDiffHints;
62
85
  static empty(): TreeSnapshotDiffHints;
63
86
  }
64
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHJlZV9zbmFwc2hvdF9kaWZmX2hpbnRzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcm9sbHVwL3RyZWVfc25hcHNob3RfZGlmZl9oaW50cy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQ0wscUJBQXFCLEVBQ3JCLDBDQUEwQyxFQUMxQywwQ0FBMEMsRUFDMUMscUJBQXFCLEVBQ3JCLHVCQUF1QixFQUN4QixNQUFNLGtCQUFrQixDQUFDO0FBRTFCLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsWUFBWSxFQUFFLEtBQUssS0FBSyxFQUFxQixNQUFNLDZCQUE2QixDQUFDO0FBQzFGLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzVELE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhELE9BQU8sRUFBRSxxQkFBcUIsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBRTFEOztHQUVHO0FBQ0gscUJBQWEscUJBQXFCO0lBS3ZCLDhCQUE4QixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTywwQ0FBMEMsQ0FBQztJQUs1Riw2QkFBNkIsRUFBRSxLQUFLLENBQUMscUJBQXFCLEVBQUUsT0FBTyxxQkFBcUIsQ0FBQztJQUt6Rix1Q0FBdUMsRUFBRSxLQUFLLENBQ25ELGlCQUFpQixDQUFDLE9BQU8scUJBQXFCLENBQUMsRUFDL0MsT0FBTyxxQkFBcUIsQ0FDN0I7SUFJTSxnQkFBZ0IsRUFBRSxLQUFLLENBQUMsRUFBRSxFQUFFLE9BQU8scUJBQXFCLENBQUM7SUFJekQsc0JBQXNCLEVBQUUsS0FBSyxDQUFDLE1BQU0sRUFBRSxPQUFPLHFCQUFxQixDQUFDO0lBSW5FLCtCQUErQixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTywwQ0FBMEMsQ0FBQztJQUk3RixnQ0FBZ0MsRUFBRSxpQkFBaUIsQ0FBQyxPQUFPLHVCQUF1QixDQUFDO0lBakM1RjtJQUNFOztPQUVHO0lBQ0ksOEJBQThCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLDBDQUEwQyxDQUFDO0lBQ25HOzs7T0FHRztJQUNJLDZCQUE2QixFQUFFLEtBQUssQ0FBQyxxQkFBcUIsRUFBRSxPQUFPLHFCQUFxQixDQUFDO0lBQ2hHOzs7T0FHRztJQUNJLHVDQUF1QyxFQUFFLEtBQUssQ0FDbkQsaUJBQWlCLENBQUMsT0FBTyxxQkFBcUIsQ0FBQyxFQUMvQyxPQUFPLHFCQUFxQixDQUM3QjtJQUNEOztPQUVHO0lBQ0ksZ0JBQWdCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLHFCQUFxQixDQUFDO0lBQ2hFOztPQUVHO0lBQ0ksc0JBQXNCLEVBQUUsS0FBSyxDQUFDLE1BQU0sRUFBRSxPQUFPLHFCQUFxQixDQUFDO0lBQzFFOztPQUVHO0lBQ0ksK0JBQStCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLDBDQUEwQyxDQUFDO0lBQ3BHOztPQUVHO0lBQ0ksZ0NBQWdDLEVBQUUsaUJBQWlCLENBQUMsT0FBTyx1QkFBdUIsQ0FBQyxFQUN4RjtJQUVKLE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxxQkFBcUIsQ0FBQyxHQUFHLHFCQUFxQixDQUUxRTtJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxxQkFBcUIsQ0FBQyxnOUhBVXZEO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSxJQUFJLE1BQU0sQ0FFakI7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxxQkFBcUIsQ0FhdEU7SUFFRCxNQUFNLENBQUMsS0FBSywwQkFVWDtDQUNGIn0=
87
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHJlZV9zbmFwc2hvdF9kaWZmX2hpbnRzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcm9sbHVwL3RyZWVfc25hcHNob3RfZGlmZl9oaW50cy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQ0wscUJBQXFCLEVBQ3JCLDBDQUEwQyxFQUMxQywwQ0FBMEMsRUFDMUMscUJBQXFCLEVBQ3JCLHVCQUF1QixFQUN4QixNQUFNLGtCQUFrQixDQUFDO0FBRTFCLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsWUFBWSxFQUFFLEtBQUssS0FBSyxFQUFxQixNQUFNLDZCQUE2QixDQUFDO0FBQzFGLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzVELE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhELE9BQU8sRUFBRSxxQkFBcUIsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBRTFEOztHQUVHO0FBQ0gscUJBQWEscUJBQXFCO0lBRTlCOztPQUVHO0lBQ0ksOEJBQThCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLDBDQUEwQyxDQUFDO0lBQ25HOzs7T0FHRztJQUNJLDZCQUE2QixFQUFFLEtBQUssQ0FBQyxxQkFBcUIsRUFBRSxPQUFPLHFCQUFxQixDQUFDO0lBQ2hHOzs7T0FHRztJQUNJLHVDQUF1QyxFQUFFLEtBQUssQ0FDbkQsaUJBQWlCLENBQUMsT0FBTyxxQkFBcUIsQ0FBQyxFQUMvQyxPQUFPLHFCQUFxQixDQUM3QjtJQUNEOztPQUVHO0lBQ0ksZ0JBQWdCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLHFCQUFxQixDQUFDO0lBQ2hFOztPQUVHO0lBQ0ksc0JBQXNCLEVBQUUsS0FBSyxDQUFDLE1BQU0sRUFBRSxPQUFPLHFCQUFxQixDQUFDO0lBQzFFOztPQUVHO0lBQ0ksK0JBQStCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLDBDQUEwQyxDQUFDO0lBQ3BHOztPQUVHO0lBQ0ksZ0NBQWdDLEVBQUUsaUJBQWlCLENBQUMsT0FBTyx1QkFBdUIsQ0FBQztJQWpDNUY7SUFDRTs7T0FFRztJQUNJLDhCQUE4QixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTywwQ0FBMEMsQ0FBQztJQUNuRzs7O09BR0c7SUFDSSw2QkFBNkIsRUFBRSxLQUFLLENBQUMscUJBQXFCLEVBQUUsT0FBTyxxQkFBcUIsQ0FBQztJQUNoRzs7O09BR0c7SUFDSSx1Q0FBdUMsRUFBRSxLQUFLLENBQ25ELGlCQUFpQixDQUFDLE9BQU8scUJBQXFCLENBQUMsRUFDL0MsT0FBTyxxQkFBcUIsQ0FDN0I7SUFDRDs7T0FFRztJQUNJLGdCQUFnQixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTyxxQkFBcUIsQ0FBQztJQUNoRTs7T0FFRztJQUNJLHNCQUFzQixFQUFFLEtBQUssQ0FBQyxNQUFNLEVBQUUsT0FBTyxxQkFBcUIsQ0FBQztJQUMxRTs7T0FFRztJQUNJLCtCQUErQixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTywwQ0FBMEMsQ0FBQztJQUNwRzs7T0FFRztJQUNJLGdDQUFnQyxFQUFFLGlCQUFpQixDQUFDLE9BQU8sdUJBQXVCLENBQUMsRUFDeEY7SUFFSixNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMscUJBQXFCLENBQUMsR0FBRyxxQkFBcUIsQ0FFMUU7SUFFRCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMscUJBQXFCLENBQUMsZzlIQVV2RDtJQUVEOzs7T0FHRztJQUNILFFBQVEsSUFBSSxNQUFNLENBRWpCO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcscUJBQXFCLENBYXRFO0lBRUQsTUFBTSxDQUFDLEtBQUssMEJBVVg7Q0FDRiJ9
@@ -1 +1 @@
1
- {"version":3,"file":"tree_snapshot_diff_hints.d.ts","sourceRoot":"","sources":["../../src/rollup/tree_snapshot_diff_hints.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,qBAAqB,EACrB,0CAA0C,EAC1C,0CAA0C,EAC1C,qBAAqB,EACrB,uBAAuB,EACxB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAC1F,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAE1D;;GAEG;AACH,qBAAa,qBAAqB;IAKvB,8BAA8B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,0CAA0C,CAAC;IAK5F,6BAA6B,EAAE,KAAK,CAAC,qBAAqB,EAAE,OAAO,qBAAqB,CAAC;IAKzF,uCAAuC,EAAE,KAAK,CACnD,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,EAC/C,OAAO,qBAAqB,CAC7B;IAIM,gBAAgB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC;IAIzD,sBAAsB,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,qBAAqB,CAAC;IAInE,+BAA+B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,0CAA0C,CAAC;IAI7F,gCAAgC,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC;IAjC5F;IACE;;OAEG;IACI,8BAA8B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,0CAA0C,CAAC;IACnG;;;OAGG;IACI,6BAA6B,EAAE,KAAK,CAAC,qBAAqB,EAAE,OAAO,qBAAqB,CAAC;IAChG;;;OAGG;IACI,uCAAuC,EAAE,KAAK,CACnD,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,EAC/C,OAAO,qBAAqB,CAC7B;IACD;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC;IAChE;;OAEG;IACI,sBAAsB,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,qBAAqB,CAAC;IAC1E;;OAEG;IACI,+BAA+B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,0CAA0C,CAAC;IACpG;;OAEG;IACI,gCAAgC,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC,EACxF;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC,GAAG,qBAAqB,CAE1E;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC,g9HAUvD;IAED;;;OAGG;IACH,QAAQ,IAAI,MAAM,CAEjB;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qBAAqB,CAatE;IAED,MAAM,CAAC,KAAK,0BAUX;CACF"}
1
+ {"version":3,"file":"tree_snapshot_diff_hints.d.ts","sourceRoot":"","sources":["../../src/rollup/tree_snapshot_diff_hints.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,qBAAqB,EACrB,0CAA0C,EAC1C,0CAA0C,EAC1C,qBAAqB,EACrB,uBAAuB,EACxB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAC1F,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAE1D;;GAEG;AACH,qBAAa,qBAAqB;IAE9B;;OAEG;IACI,8BAA8B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,0CAA0C,CAAC;IACnG;;;OAGG;IACI,6BAA6B,EAAE,KAAK,CAAC,qBAAqB,EAAE,OAAO,qBAAqB,CAAC;IAChG;;;OAGG;IACI,uCAAuC,EAAE,KAAK,CACnD,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,EAC/C,OAAO,qBAAqB,CAC7B;IACD;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC;IAChE;;OAEG;IACI,sBAAsB,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,qBAAqB,CAAC;IAC1E;;OAEG;IACI,+BAA+B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,0CAA0C,CAAC;IACpG;;OAEG;IACI,gCAAgC,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC;IAjC5F;IACE;;OAEG;IACI,8BAA8B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,0CAA0C,CAAC;IACnG;;;OAGG;IACI,6BAA6B,EAAE,KAAK,CAAC,qBAAqB,EAAE,OAAO,qBAAqB,CAAC;IAChG;;;OAGG;IACI,uCAAuC,EAAE,KAAK,CACnD,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,EAC/C,OAAO,qBAAqB,CAC7B;IACD;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC;IAChE;;OAEG;IACI,sBAAsB,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,qBAAqB,CAAC;IAC1E;;OAEG;IACI,+BAA+B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,0CAA0C,CAAC;IACpG;;OAEG;IACI,gCAAgC,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC,EACxF;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC,GAAG,qBAAqB,CAE1E;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC,g9HAUvD;IAED;;;OAGG;IACH,QAAQ,IAAI,MAAM,CAEjB;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qBAAqB,CAatE;IAED,MAAM,CAAC,KAAK,0BAUX;CACF"}
@@ -5,6 +5,9 @@ import { TxRollupPublicInputs } from './tx_rollup_public_inputs.js';
5
5
  * Represents inputs of the merge rollup circuit.
6
6
  */
7
7
  export declare class TxMergeRollupPrivateInputs {
8
+ /**
9
+ * Previous rollup data from the 2 merge or base rollup circuits that preceded this merge rollup circuit.
10
+ */
8
11
  previousRollups: [RollupHonkProofData<TxRollupPublicInputs>, RollupHonkProofData<TxRollupPublicInputs>];
9
12
  constructor(
10
13
  /**
@@ -38,4 +41,4 @@ export declare class TxMergeRollupPrivateInputs {
38
41
  /** Creates an instance from a string. */
39
42
  static get schema(): import("zod").ZodType<TxMergeRollupPrivateInputs, any, string>;
40
43
  }
41
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfbWVyZ2Vfcm9sbHVwX3ByaXZhdGVfaW5wdXRzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcm9sbHVwL3R4X21lcmdlX3JvbGx1cF9wcml2YXRlX2lucHV0cy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLDZCQUE2QixDQUFDO0FBRzlFLE9BQU8sRUFBYSxLQUFLLG1CQUFtQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDOUUsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sOEJBQThCLENBQUM7QUFFcEU7O0dBRUc7QUFDSCxxQkFBYSwwQkFBMEI7SUFLNUIsZUFBZSxFQUFFLENBQUMsbUJBQW1CLENBQUMsb0JBQW9CLENBQUMsRUFBRSxtQkFBbUIsQ0FBQyxvQkFBb0IsQ0FBQyxDQUFDO0lBSmhIO0lBQ0U7O09BRUc7SUFDSSxlQUFlLEVBQUUsQ0FBQyxtQkFBbUIsQ0FBQyxvQkFBb0IsQ0FBQyxFQUFFLG1CQUFtQixDQUFDLG9CQUFvQixDQUFDLENBQUMsRUFDNUc7SUFFSjs7O09BR0c7SUFDSCxRQUFRLDRCQUVQO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSxrQkFFUDtJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSw4QkFNOUM7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSw4QkFFNUI7SUFFRCw4REFBOEQ7SUFDOUQsTUFBTSw0QkFFTDtJQUVELHlDQUF5QztJQUN6QyxNQUFNLEtBQUssTUFBTSxtRUFFaEI7Q0FDRiJ9
44
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfbWVyZ2Vfcm9sbHVwX3ByaXZhdGVfaW5wdXRzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcm9sbHVwL3R4X21lcmdlX3JvbGx1cF9wcml2YXRlX2lucHV0cy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLDZCQUE2QixDQUFDO0FBRzlFLE9BQU8sRUFBYSxLQUFLLG1CQUFtQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDOUUsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sOEJBQThCLENBQUM7QUFFcEU7O0dBRUc7QUFDSCxxQkFBYSwwQkFBMEI7SUFFbkM7O09BRUc7SUFDSSxlQUFlLEVBQUUsQ0FBQyxtQkFBbUIsQ0FBQyxvQkFBb0IsQ0FBQyxFQUFFLG1CQUFtQixDQUFDLG9CQUFvQixDQUFDLENBQUM7SUFKaEg7SUFDRTs7T0FFRztJQUNJLGVBQWUsRUFBRSxDQUFDLG1CQUFtQixDQUFDLG9CQUFvQixDQUFDLEVBQUUsbUJBQW1CLENBQUMsb0JBQW9CLENBQUMsQ0FBQyxFQUM1RztJQUVKOzs7T0FHRztJQUNILFFBQVEsNEJBRVA7SUFFRDs7O09BR0c7SUFDSCxRQUFRLGtCQUVQO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLDhCQU05QztJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLDhCQUU1QjtJQUVELDhEQUE4RDtJQUM5RCxNQUFNLDRCQUVMO0lBRUQseUNBQXlDO0lBQ3pDLE1BQU0sS0FBSyxNQUFNLG1FQUVoQjtDQUNGIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"tx_merge_rollup_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/tx_merge_rollup_private_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,EAAa,KAAK,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9E,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAEpE;;GAEG;AACH,qBAAa,0BAA0B;IAK5B,eAAe,EAAE,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;IAJhH;IACE;;OAEG;IACI,eAAe,EAAE,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC,EAC5G;IAEJ;;;OAGG;IACH,QAAQ,4BAEP;IAED;;;OAGG;IACH,QAAQ,kBAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,8BAM9C;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,8BAE5B;IAED,8DAA8D;IAC9D,MAAM,4BAEL;IAED,yCAAyC;IACzC,MAAM,KAAK,MAAM,mEAEhB;CACF"}
1
+ {"version":3,"file":"tx_merge_rollup_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/tx_merge_rollup_private_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,EAAa,KAAK,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9E,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAEpE;;GAEG;AACH,qBAAa,0BAA0B;IAEnC;;OAEG;IACI,eAAe,EAAE,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;IAJhH;IACE;;OAEG;IACI,eAAe,EAAE,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC,EAC5G;IAEJ;;;OAGG;IACH,QAAQ,4BAEP;IAED;;;OAGG;IACH,QAAQ,kBAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,8BAM9C;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,8BAE5B;IAED,8DAA8D;IAC9D,MAAM,4BAEL;IAED,yCAAyC;IACzC,MAAM,KAAK,MAAM,mEAEhB;CACF"}
@@ -7,14 +7,42 @@ import { BlockConstantData } from './block_constant_data.js';
7
7
  * Output of the base and merge rollup circuits.
8
8
  */
9
9
  export declare class TxRollupPublicInputs {
10
+ /**
11
+ * Number of txs in this rollup.
12
+ */
10
13
  numTxs: number;
14
+ /**
15
+ * Data which is forwarded through the rollup circuits unchanged.
16
+ */
11
17
  constants: BlockConstantData;
18
+ /**
19
+ * Partial state reference at the start of the rollup circuit.
20
+ */
12
21
  startTreeSnapshots: PartialStateReference;
22
+ /**
23
+ * Partial state reference at the end of the rollup circuit.
24
+ */
13
25
  endTreeSnapshots: PartialStateReference;
26
+ /**
27
+ * Sponge state to absorb blob inputs at the start of the rollup circuit.
28
+ */
14
29
  startSpongeBlob: SpongeBlob;
30
+ /**
31
+ * Sponge state to absorb blob inputs at the end of the rollup circuit.
32
+ */
15
33
  endSpongeBlob: SpongeBlob;
34
+ /**
35
+ * SHA256 hash of L2 to L1 messages. Used to make public inputs constant-sized (to then be opened onchain).
36
+ * Note: Truncated to 31 bytes to fit in Fr.
37
+ */
16
38
  outHash: Fr;
39
+ /**
40
+ * The summed `transaction_fee` of the constituent transactions.
41
+ */
17
42
  accumulatedFees: Fr;
43
+ /**
44
+ * The summed `mana_used` of the constituent transactions.
45
+ */
18
46
  accumulatedManaUsed: Fr;
19
47
  constructor(
20
48
  /**
@@ -84,4 +112,4 @@ export declare class TxRollupPublicInputs {
84
112
  /** Creates an instance from a hex string. */
85
113
  static get schema(): import("zod").ZodType<TxRollupPublicInputs, any, string>;
86
114
  }
87
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfcm9sbHVwX3B1YmxpY19pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9yb2xsdXAvdHhfcm9sbHVwX3B1YmxpY19pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ25ELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVwRCxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLDZCQUE2QixDQUFDO0FBRzlFLE9BQU8sRUFBRSxxQkFBcUIsRUFBRSxNQUFNLGtDQUFrQyxDQUFDO0FBQ3pFLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBRTdEOztHQUVHO0FBQ0gscUJBQWEsb0JBQW9CO0lBS3RCLE1BQU0sRUFBRSxNQUFNO0lBSWQsU0FBUyxFQUFFLGlCQUFpQjtJQUk1QixrQkFBa0IsRUFBRSxxQkFBcUI7SUFJekMsZ0JBQWdCLEVBQUUscUJBQXFCO0lBSXZDLGVBQWUsRUFBRSxVQUFVO0lBSTNCLGFBQWEsRUFBRSxVQUFVO0lBS3pCLE9BQU8sRUFBRSxFQUFFO0lBSVgsZUFBZSxFQUFFLEVBQUU7SUFJbkIsbUJBQW1CLEVBQUUsRUFBRTtJQXJDaEM7SUFDRTs7T0FFRztJQUNJLE1BQU0sRUFBRSxNQUFNO0lBQ3JCOztPQUVHO0lBQ0ksU0FBUyxFQUFFLGlCQUFpQjtJQUNuQzs7T0FFRztJQUNJLGtCQUFrQixFQUFFLHFCQUFxQjtJQUNoRDs7T0FFRztJQUNJLGdCQUFnQixFQUFFLHFCQUFxQjtJQUM5Qzs7T0FFRztJQUNJLGVBQWUsRUFBRSxVQUFVO0lBQ2xDOztPQUVHO0lBQ0ksYUFBYSxFQUFFLFVBQVU7SUFDaEM7OztPQUdHO0lBQ0ksT0FBTyxFQUFFLEVBQUU7SUFDbEI7O09BRUc7SUFDSSxlQUFlLEVBQUUsRUFBRTtJQUMxQjs7T0FFRztJQUNJLG1CQUFtQixFQUFFLEVBQUUsRUFDNUI7SUFFSixpQ0FBaUM7SUFDakMsTUFBTSxDQUFDLEtBQUsseUJBWVg7SUFFRDs7Ozs7T0FLRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsb0JBQW9CLENBYXJFO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSw0QkFnQlA7SUFFRDs7O09BR0c7SUFDSCxRQUFRLGtCQUVQO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxFQUFFLE1BQU0sd0JBRTVCO0lBRUQsOERBQThEO0lBQzlELE1BQU0sNEJBRUw7SUFFRCw2Q0FBNkM7SUFDN0MsTUFBTSxLQUFLLE1BQU0sNkRBRWhCO0NBQ0YifQ==
115
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfcm9sbHVwX3B1YmxpY19pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9yb2xsdXAvdHhfcm9sbHVwX3B1YmxpY19pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ25ELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVwRCxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLDZCQUE2QixDQUFDO0FBRzlFLE9BQU8sRUFBRSxxQkFBcUIsRUFBRSxNQUFNLGtDQUFrQyxDQUFDO0FBQ3pFLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBRTdEOztHQUVHO0FBQ0gscUJBQWEsb0JBQW9CO0lBRTdCOztPQUVHO0lBQ0ksTUFBTSxFQUFFLE1BQU07SUFDckI7O09BRUc7SUFDSSxTQUFTLEVBQUUsaUJBQWlCO0lBQ25DOztPQUVHO0lBQ0ksa0JBQWtCLEVBQUUscUJBQXFCO0lBQ2hEOztPQUVHO0lBQ0ksZ0JBQWdCLEVBQUUscUJBQXFCO0lBQzlDOztPQUVHO0lBQ0ksZUFBZSxFQUFFLFVBQVU7SUFDbEM7O09BRUc7SUFDSSxhQUFhLEVBQUUsVUFBVTtJQUNoQzs7O09BR0c7SUFDSSxPQUFPLEVBQUUsRUFBRTtJQUNsQjs7T0FFRztJQUNJLGVBQWUsRUFBRSxFQUFFO0lBQzFCOztPQUVHO0lBQ0ksbUJBQW1CLEVBQUUsRUFBRTtJQXJDaEM7SUFDRTs7T0FFRztJQUNJLE1BQU0sRUFBRSxNQUFNO0lBQ3JCOztPQUVHO0lBQ0ksU0FBUyxFQUFFLGlCQUFpQjtJQUNuQzs7T0FFRztJQUNJLGtCQUFrQixFQUFFLHFCQUFxQjtJQUNoRDs7T0FFRztJQUNJLGdCQUFnQixFQUFFLHFCQUFxQjtJQUM5Qzs7T0FFRztJQUNJLGVBQWUsRUFBRSxVQUFVO0lBQ2xDOztPQUVHO0lBQ0ksYUFBYSxFQUFFLFVBQVU7SUFDaEM7OztPQUdHO0lBQ0ksT0FBTyxFQUFFLEVBQUU7SUFDbEI7O09BRUc7SUFDSSxlQUFlLEVBQUUsRUFBRTtJQUMxQjs7T0FFRztJQUNJLG1CQUFtQixFQUFFLEVBQUUsRUFDNUI7SUFFSixpQ0FBaUM7SUFDakMsTUFBTSxDQUFDLEtBQUsseUJBWVg7SUFFRDs7Ozs7T0FLRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsb0JBQW9CLENBYXJFO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSw0QkFnQlA7SUFFRDs7O09BR0c7SUFDSCxRQUFRLGtCQUVQO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxFQUFFLE1BQU0sd0JBRTVCO0lBRUQsOERBQThEO0lBQzlELE1BQU0sNEJBRUw7SUFFRCw2Q0FBNkM7SUFDN0MsTUFBTSxLQUFLLE1BQU0sNkRBRWhCO0NBQ0YifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"tx_rollup_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/tx_rollup_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,oBAAoB;IAKtB,MAAM,EAAE,MAAM;IAId,SAAS,EAAE,iBAAiB;IAI5B,kBAAkB,EAAE,qBAAqB;IAIzC,gBAAgB,EAAE,qBAAqB;IAIvC,eAAe,EAAE,UAAU;IAI3B,aAAa,EAAE,UAAU;IAKzB,OAAO,EAAE,EAAE;IAIX,eAAe,EAAE,EAAE;IAInB,mBAAmB,EAAE,EAAE;IArChC;IACE;;OAEG;IACI,MAAM,EAAE,MAAM;IACrB;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,kBAAkB,EAAE,qBAAqB;IAChD;;OAEG;IACI,gBAAgB,EAAE,qBAAqB;IAC9C;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,aAAa,EAAE,UAAU;IAChC;;;OAGG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,eAAe,EAAE,EAAE;IAC1B;;OAEG;IACI,mBAAmB,EAAE,EAAE,EAC5B;IAEJ,iCAAiC;IACjC,MAAM,CAAC,KAAK,yBAYX;IAED;;;;;OAKG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,oBAAoB,CAarE;IAED;;;OAGG;IACH,QAAQ,4BAgBP;IAED;;;OAGG;IACH,QAAQ,kBAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,wBAE5B;IAED,8DAA8D;IAC9D,MAAM,4BAEL;IAED,6CAA6C;IAC7C,MAAM,KAAK,MAAM,6DAEhB;CACF"}
1
+ {"version":3,"file":"tx_rollup_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/tx_rollup_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,oBAAoB;IAE7B;;OAEG;IACI,MAAM,EAAE,MAAM;IACrB;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,kBAAkB,EAAE,qBAAqB;IAChD;;OAEG;IACI,gBAAgB,EAAE,qBAAqB;IAC9C;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,aAAa,EAAE,UAAU;IAChC;;;OAGG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,eAAe,EAAE,EAAE;IAC1B;;OAEG;IACI,mBAAmB,EAAE,EAAE;IArChC;IACE;;OAEG;IACI,MAAM,EAAE,MAAM;IACrB;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,kBAAkB,EAAE,qBAAqB;IAChD;;OAEG;IACI,gBAAgB,EAAE,qBAAqB;IAC9C;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,aAAa,EAAE,UAAU;IAChC;;;OAGG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,eAAe,EAAE,EAAE;IAC1B;;OAEG;IACI,mBAAmB,EAAE,EAAE,EAC5B;IAEJ,iCAAiC;IACjC,MAAM,CAAC,KAAK,yBAYX;IAED;;;;;OAKG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,oBAAoB,CAarE;IAED;;;OAGG;IACH,QAAQ,4BAgBP;IAED;;;OAGG;IACH,QAAQ,kBAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,wBAE5B;IAED,8DAA8D;IAC9D,MAAM,4BAEL;IAED,6CAA6C;IAC7C,MAAM,KAAK,MAAM,6DAEhB;CACF"}
@@ -41,7 +41,7 @@ export declare const schemas: {
41
41
  /** Hex string with an optional 0x prefix which gets removed as part of the parsing. */
42
42
  HexString: z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>;
43
43
  /** Schema for secret config value */
44
- SecretValue: typeof import("../../../foundation/dest/config/secret_value.js").SecretValue.schema;
44
+ SecretValue: typeof import("@aztec/foundation/config").SecretValue.schema;
45
45
  /** Accepts a hex string. */
46
46
  AztecAddress: ZodFor<AztecAddress>;
47
47
  /** Accepts a hex string. */
@@ -28,4 +28,4 @@ export declare function getFirstEligibleRoundForOffense(offense: OffenseIdentifi
28
28
  epochDuration: number;
29
29
  proofSubmissionEpochs: number;
30
30
  }): bigint;
31
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZW1waXJlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvc2xhc2hpbmcvZW1waXJlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUdBLE9BQU8sS0FBSyxFQUFFLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxZQUFZLEVBQUUsaUJBQWlCLEVBQUUsY0FBYyxFQUFFLE1BQU0sWUFBWSxDQUFDO0FBQzlHLE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSxZQUFZLENBQUM7QUFFekM7Ozs7R0FJRztBQUNILHdCQUFnQix3QkFBd0IsQ0FBQyxPQUFPLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FNdEU7QUFFRCxzR0FBc0c7QUFDdEcsd0JBQWdCLGdDQUFnQyxDQUFDLE9BQU8sRUFBRSxZQUFZLEdBQUcsaUJBQWlCLEdBQUcsaUJBQWlCLEVBQUUsQ0FRL0c7QUFFRCxrR0FBa0c7QUFDbEcsd0JBQWdCLHdCQUF3QixDQUFDLFFBQVEsRUFBRSxPQUFPLEVBQUUsR0FBRyxjQUFjLEVBQUUsQ0FNOUU7QUFFRDs7Ozs7OztHQU9HO0FBQ0gsd0JBQWdCLHFCQUFxQixDQUFDLENBQUMsRUFBRSxPQUFPLEVBQUUsQ0FBQyxFQUFFLE9BQU8sR0FBRyxNQUFNLENBUXBFO0FBRUQ7OztHQUdHO0FBQ0gsd0JBQWdCLCtCQUErQixDQUM3QyxPQUFPLEVBQUUsaUJBQWlCLEVBQzFCLFNBQVMsRUFBRTtJQUFFLGlCQUFpQixFQUFFLE1BQU0sQ0FBQztJQUFDLGFBQWEsRUFBRSxNQUFNLENBQUM7SUFBQyxxQkFBcUIsRUFBRSxNQUFNLENBQUE7Q0FBRSxHQUM3RixNQUFNLENBcUNSIn0=
31
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZW1waXJlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvc2xhc2hpbmcvZW1waXJlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUdBLE9BQU8sS0FBSyxFQUFFLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxZQUFZLEVBQUUsaUJBQWlCLEVBQUUsY0FBYyxFQUFFLE1BQU0sWUFBWSxDQUFDO0FBQzlHLE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSxZQUFZLENBQUM7QUFFekM7Ozs7R0FJRztBQUNILHdCQUFnQix3QkFBd0IsQ0FBQyxPQUFPLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FNdEU7QUFFRCxzR0FBc0c7QUFDdEcsd0JBQWdCLGdDQUFnQyxDQUFDLE9BQU8sRUFBRSxZQUFZLEdBQUcsaUJBQWlCLEdBQUcsaUJBQWlCLEVBQUUsQ0FRL0c7QUFFRCxrR0FBa0c7QUFDbEcsd0JBQWdCLHdCQUF3QixDQUFDLFFBQVEsRUFBRSxPQUFPLEVBQUUsR0FBRyxjQUFjLEVBQUUsQ0FNOUU7QUFFRDs7Ozs7OztHQU9HO0FBQ0gsd0JBQWdCLHFCQUFxQixDQUFDLENBQUMsRUFBRSxPQUFPLEVBQUUsQ0FBQyxFQUFFLE9BQU8sR0FBRyxNQUFNLENBUXBFO0FBRUQ7OztHQUdHO0FBQ0gsd0JBQWdCLCtCQUErQixDQUM3QyxPQUFPLEVBQUUsaUJBQWlCLEVBQzFCLFNBQVMsRUFBRTtJQUFFLGlCQUFpQixFQUFFLE1BQU0sQ0FBQztJQUFDLGFBQWEsRUFBRSxNQUFNLENBQUM7SUFBQyxxQkFBcUIsRUFBRSxNQUFNLENBQUE7Q0FBRSxHQUM3RixNQUFNLENBdUNSIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"empire.d.ts","sourceRoot":"","sources":["../../src/slashing/empire.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC9G,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEzC;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,CAMtE;AAED,sGAAsG;AACtG,wBAAgB,gCAAgC,CAAC,OAAO,EAAE,YAAY,GAAG,iBAAiB,GAAG,iBAAiB,EAAE,CAQ/G;AAED,kGAAkG;AAClG,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,cAAc,EAAE,CAM9E;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,CAQpE;AAED;;;GAGG;AACH,wBAAgB,+BAA+B,CAC7C,OAAO,EAAE,iBAAiB,EAC1B,SAAS,EAAE;IAAE,iBAAiB,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,CAAC;IAAC,qBAAqB,EAAE,MAAM,CAAA;CAAE,GAC7F,MAAM,CAqCR"}
1
+ {"version":3,"file":"empire.d.ts","sourceRoot":"","sources":["../../src/slashing/empire.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC9G,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEzC;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,CAMtE;AAED,sGAAsG;AACtG,wBAAgB,gCAAgC,CAAC,OAAO,EAAE,YAAY,GAAG,iBAAiB,GAAG,iBAAiB,EAAE,CAQ/G;AAED,kGAAkG;AAClG,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,cAAc,EAAE,CAM9E;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,CAQpE;AAED;;;GAGG;AACH,wBAAgB,+BAA+B,CAC7C,OAAO,EAAE,iBAAiB,EAC1B,SAAS,EAAE;IAAE,iBAAiB,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,CAAC;IAAC,qBAAqB,EAAE,MAAM,CAAA;CAAE,GAC7F,MAAM,CAuCR"}
@@ -64,6 +64,8 @@ import { OffenseType } from './types.js';
64
64
  case OffenseType.PROPOSED_INCORRECT_ATTESTATIONS:
65
65
  case OffenseType.ATTESTED_DESCENDANT_OF_INVALID:
66
66
  case OffenseType.BROADCASTED_INVALID_BLOCK_PROPOSAL:
67
+ case OffenseType.DUPLICATE_PROPOSAL:
68
+ case OffenseType.DUPLICATE_ATTESTATION:
67
69
  {
68
70
  const slot = offense.epochOrSlot;
69
71
  const detectedSlot = SlotNumber.fromBigInt(slot + 1n);