@aztec/stdlib 0.0.1-commit.1142ef1 → 0.0.1-commit.11bf3dd6e

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 (919) hide show
  1. package/dest/abi/abi.d.ts +138 -1
  2. package/dest/abi/abi.d.ts.map +1 -1
  3. package/dest/abi/abi.js +10 -2
  4. package/dest/abi/authorization_selector.d.ts +3 -6
  5. package/dest/abi/authorization_selector.d.ts.map +1 -1
  6. package/dest/abi/buffer.d.ts +14 -4
  7. package/dest/abi/buffer.d.ts.map +1 -1
  8. package/dest/abi/buffer.js +25 -4
  9. package/dest/abi/decoder.d.ts +6 -45
  10. package/dest/abi/decoder.d.ts.map +1 -1
  11. package/dest/abi/decoder.js +17 -70
  12. package/dest/abi/encoder.d.ts +1 -1
  13. package/dest/abi/encoder.d.ts.map +1 -1
  14. package/dest/abi/encoder.js +64 -7
  15. package/dest/abi/event_metadata_definition.d.ts +3 -1
  16. package/dest/abi/event_metadata_definition.d.ts.map +1 -1
  17. package/dest/abi/event_metadata_definition.js +1 -1
  18. package/dest/abi/event_selector.d.ts +3 -6
  19. package/dest/abi/event_selector.d.ts.map +1 -1
  20. package/dest/abi/function_call.d.ts +47 -9
  21. package/dest/abi/function_call.d.ts.map +1 -1
  22. package/dest/abi/function_call.js +20 -3
  23. package/dest/abi/function_selector.d.ts +3 -6
  24. package/dest/abi/function_selector.d.ts.map +1 -1
  25. package/dest/abi/function_selector.js +2 -4
  26. package/dest/abi/function_signature_decoder.d.ts +43 -0
  27. package/dest/abi/function_signature_decoder.d.ts.map +1 -0
  28. package/dest/abi/function_signature_decoder.js +66 -0
  29. package/dest/abi/index.d.ts +2 -1
  30. package/dest/abi/index.d.ts.map +1 -1
  31. package/dest/abi/index.js +1 -0
  32. package/dest/abi/note_selector.d.ts +3 -6
  33. package/dest/abi/note_selector.d.ts.map +1 -1
  34. package/dest/abi/note_selector.js +1 -3
  35. package/dest/abi/selector.d.ts +2 -2
  36. package/dest/abi/selector.d.ts.map +1 -1
  37. package/dest/abi/selector.js +1 -1
  38. package/dest/abi/utils.d.ts +20 -1
  39. package/dest/abi/utils.d.ts.map +1 -1
  40. package/dest/abi/utils.js +22 -0
  41. package/dest/auth_witness/auth_witness.d.ts +2 -1
  42. package/dest/auth_witness/auth_witness.d.ts.map +1 -1
  43. package/dest/auth_witness/auth_witness.js +3 -3
  44. package/dest/avm/avm.d.ts +362 -362
  45. package/dest/avm/avm_accumulated_data.d.ts +30 -3
  46. package/dest/avm/avm_accumulated_data.d.ts.map +1 -1
  47. package/dest/avm/avm_circuit_public_inputs.d.ts +9 -9
  48. package/dest/avm/avm_proving_request.d.ts +465 -465
  49. package/dest/avm/contract_storage_read.d.ts +13 -1
  50. package/dest/avm/contract_storage_read.d.ts.map +1 -1
  51. package/dest/avm/contract_storage_update_request.d.ts +13 -1
  52. package/dest/avm/contract_storage_update_request.d.ts.map +1 -1
  53. package/dest/avm/public_call_stack_item_compressed.d.ts +3 -1
  54. package/dest/avm/public_call_stack_item_compressed.d.ts.map +1 -1
  55. package/dest/avm/public_data_read.d.ts +10 -1
  56. package/dest/avm/public_data_read.d.ts.map +1 -1
  57. package/dest/avm/public_data_update_request.d.ts +10 -1
  58. package/dest/avm/public_data_update_request.d.ts.map +1 -1
  59. package/dest/avm/public_data_write.d.ts +7 -1
  60. package/dest/avm/public_data_write.d.ts.map +1 -1
  61. package/dest/avm/public_inner_call_request.d.ts +4 -1
  62. package/dest/avm/public_inner_call_request.d.ts.map +1 -1
  63. package/dest/avm/revert_code.d.ts +12 -7
  64. package/dest/avm/revert_code.d.ts.map +1 -1
  65. package/dest/avm/revert_code.js +16 -21
  66. package/dest/aztec-address/index.d.ts +3 -6
  67. package/dest/aztec-address/index.d.ts.map +1 -1
  68. package/dest/aztec-address/index.js +2 -4
  69. package/dest/block/block_data.d.ts +52 -0
  70. package/dest/block/block_data.d.ts.map +1 -0
  71. package/dest/block/block_data.js +12 -0
  72. package/dest/block/block_hash.d.ts +20 -15
  73. package/dest/block/block_hash.d.ts.map +1 -1
  74. package/dest/block/block_hash.js +23 -20
  75. package/dest/block/block_parameter.d.ts +4 -3
  76. package/dest/block/block_parameter.d.ts.map +1 -1
  77. package/dest/block/block_parameter.js +2 -0
  78. package/dest/block/body.d.ts +1 -1
  79. package/dest/block/body.d.ts.map +1 -1
  80. package/dest/block/body.js +2 -1
  81. package/dest/block/checkpointed_l2_block.d.ts +20 -137
  82. package/dest/block/checkpointed_l2_block.d.ts.map +1 -1
  83. package/dest/block/checkpointed_l2_block.js +7 -45
  84. package/dest/block/in_block.d.ts +9 -9
  85. package/dest/block/in_block.d.ts.map +1 -1
  86. package/dest/block/in_block.js +5 -5
  87. package/dest/block/index.d.ts +2 -3
  88. package/dest/block/index.d.ts.map +1 -1
  89. package/dest/block/index.js +1 -2
  90. package/dest/block/l2_block.d.ts +64 -59
  91. package/dest/block/l2_block.d.ts.map +1 -1
  92. package/dest/block/l2_block.js +73 -109
  93. package/dest/block/l2_block_info.d.ts +6 -5
  94. package/dest/block/l2_block_info.d.ts.map +1 -1
  95. package/dest/block/l2_block_info.js +6 -5
  96. package/dest/block/l2_block_source.d.ts +174 -44
  97. package/dest/block/l2_block_source.d.ts.map +1 -1
  98. package/dest/block/l2_block_source.js +3 -1
  99. package/dest/block/l2_block_stream/interfaces.d.ts +14 -8
  100. package/dest/block/l2_block_stream/interfaces.d.ts.map +1 -1
  101. package/dest/block/l2_block_stream/l2_block_stream.d.ts +6 -3
  102. package/dest/block/l2_block_stream/l2_block_stream.d.ts.map +1 -1
  103. package/dest/block/l2_block_stream/l2_block_stream.js +47 -34
  104. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts +3 -3
  105. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts.map +1 -1
  106. package/dest/block/l2_block_stream/l2_tips_store_base.js +18 -5
  107. package/dest/block/test/l2_tips_store_test_suite.d.ts +1 -1
  108. package/dest/block/test/l2_tips_store_test_suite.d.ts.map +1 -1
  109. package/dest/block/test/l2_tips_store_test_suite.js +6 -10
  110. package/dest/block/validate_block_result.d.ts +1 -1
  111. package/dest/block/validate_block_result.d.ts.map +1 -1
  112. package/dest/block/validate_block_result.js +5 -4
  113. package/dest/checkpoint/checkpoint.d.ts +50 -19
  114. package/dest/checkpoint/checkpoint.d.ts.map +1 -1
  115. package/dest/checkpoint/checkpoint.js +53 -17
  116. package/dest/checkpoint/checkpoint_data.d.ts +186 -0
  117. package/dest/checkpoint/checkpoint_data.d.ts.map +1 -0
  118. package/dest/checkpoint/checkpoint_data.js +36 -0
  119. package/dest/checkpoint/index.d.ts +3 -1
  120. package/dest/checkpoint/index.d.ts.map +1 -1
  121. package/dest/checkpoint/index.js +2 -0
  122. package/dest/checkpoint/published_checkpoint.d.ts +33 -16
  123. package/dest/checkpoint/published_checkpoint.d.ts.map +1 -1
  124. package/dest/checkpoint/published_checkpoint.js +5 -5
  125. package/dest/checkpoint/validate.d.ts +36 -0
  126. package/dest/checkpoint/validate.d.ts.map +1 -0
  127. package/dest/checkpoint/validate.js +120 -0
  128. package/dest/config/chain-config.d.ts +1 -1
  129. package/dest/config/chain-config.d.ts.map +1 -1
  130. package/dest/config/chain-config.js +7 -1
  131. package/dest/config/index.d.ts +3 -1
  132. package/dest/config/index.d.ts.map +1 -1
  133. package/dest/config/index.js +2 -0
  134. package/dest/config/node-rpc-config.js +1 -1
  135. package/dest/config/pipelining-config.d.ts +19 -0
  136. package/dest/config/pipelining-config.d.ts.map +1 -0
  137. package/dest/config/pipelining-config.js +18 -0
  138. package/dest/config/sequencer-config.d.ts +12 -0
  139. package/dest/config/sequencer-config.d.ts.map +1 -0
  140. package/dest/config/sequencer-config.js +31 -0
  141. package/dest/contract/complete_address.d.ts +4 -1
  142. package/dest/contract/complete_address.d.ts.map +1 -1
  143. package/dest/contract/contract_address.d.ts +3 -3
  144. package/dest/contract/contract_address.js +7 -7
  145. package/dest/contract/contract_class.d.ts +2 -3
  146. package/dest/contract/contract_class.d.ts.map +1 -1
  147. package/dest/contract/contract_class_id.d.ts +3 -3
  148. package/dest/contract/contract_class_id.d.ts.map +1 -1
  149. package/dest/contract/contract_class_id.js +7 -6
  150. package/dest/contract/contract_deployment_data.d.ts +5 -5
  151. package/dest/contract/index.d.ts +1 -5
  152. package/dest/contract/index.d.ts.map +1 -1
  153. package/dest/contract/index.js +0 -4
  154. package/dest/contract/interfaces/contract_class.d.ts +3 -156
  155. package/dest/contract/interfaces/contract_class.d.ts.map +1 -1
  156. package/dest/contract/interfaces/contract_class.js +1 -28
  157. package/dest/contract/interfaces/contract_instance.d.ts +16 -16
  158. package/dest/contract/interfaces/node-info.d.ts +3 -1
  159. package/dest/contract/interfaces/node-info.d.ts.map +1 -1
  160. package/dest/contract/interfaces/node-info.js +2 -1
  161. package/dest/contract/private_function.d.ts +1 -1
  162. package/dest/contract/private_function.d.ts.map +1 -1
  163. package/dest/contract/private_function.js +3 -4
  164. package/dest/database-version/database_version.d.ts +58 -0
  165. package/dest/database-version/database_version.d.ts.map +1 -0
  166. package/dest/database-version/database_version.js +69 -0
  167. package/dest/database-version/version_manager.d.ts +3 -49
  168. package/dest/database-version/version_manager.d.ts.map +1 -1
  169. package/dest/database-version/version_manager.js +1 -66
  170. package/dest/delayed_public_mutable/delayed_public_mutable_values.d.ts +2 -2
  171. package/dest/delayed_public_mutable/delayed_public_mutable_values.d.ts.map +1 -1
  172. package/dest/delayed_public_mutable/delayed_public_mutable_values.js +7 -10
  173. package/dest/deserialization/index.d.ts +11 -0
  174. package/dest/deserialization/index.d.ts.map +1 -0
  175. package/dest/deserialization/index.js +10 -0
  176. package/dest/epoch-helpers/index.d.ts +17 -1
  177. package/dest/epoch-helpers/index.d.ts.map +1 -1
  178. package/dest/epoch-helpers/index.js +23 -3
  179. package/dest/errors/proving_error.d.ts +2 -2
  180. package/dest/errors/proving_error.d.ts.map +1 -1
  181. package/dest/file-store/factory.d.ts +4 -3
  182. package/dest/file-store/factory.d.ts.map +1 -1
  183. package/dest/file-store/factory.js +2 -2
  184. package/dest/file-store/http.d.ts +9 -2
  185. package/dest/file-store/http.d.ts.map +1 -1
  186. package/dest/file-store/http.js +20 -9
  187. package/dest/file-store/index.d.ts +2 -1
  188. package/dest/file-store/index.d.ts.map +1 -1
  189. package/dest/file-store/local.d.ts +3 -3
  190. package/dest/file-store/local.d.ts.map +1 -1
  191. package/dest/file-store/local.js +13 -4
  192. package/dest/file-store/s3.d.ts +1 -1
  193. package/dest/file-store/s3.d.ts.map +1 -1
  194. package/dest/file-store/s3.js +11 -3
  195. package/dest/gas/fee_math.d.ts +49 -0
  196. package/dest/gas/fee_math.d.ts.map +1 -0
  197. package/dest/gas/fee_math.js +80 -0
  198. package/dest/gas/gas_fees.d.ts +1 -1
  199. package/dest/gas/gas_fees.d.ts.map +1 -1
  200. package/dest/gas/gas_fees.js +13 -1
  201. package/dest/gas/gas_settings.d.ts +40 -3
  202. package/dest/gas/gas_settings.d.ts.map +1 -1
  203. package/dest/gas/gas_settings.js +50 -6
  204. package/dest/gas/index.d.ts +2 -1
  205. package/dest/gas/index.d.ts.map +1 -1
  206. package/dest/gas/index.js +1 -0
  207. package/dest/ha-signing/config.d.ts +136 -0
  208. package/dest/ha-signing/config.d.ts.map +1 -0
  209. package/dest/ha-signing/config.js +97 -0
  210. package/dest/ha-signing/index.d.ts +4 -0
  211. package/dest/ha-signing/index.d.ts.map +1 -0
  212. package/dest/ha-signing/index.js +3 -0
  213. package/dest/ha-signing/local_config.d.ts +63 -0
  214. package/dest/ha-signing/local_config.d.ts.map +1 -0
  215. package/dest/ha-signing/local_config.js +24 -0
  216. package/dest/ha-signing/types.d.ts +90 -0
  217. package/dest/ha-signing/types.d.ts.map +1 -0
  218. package/dest/ha-signing/types.js +39 -0
  219. package/dest/hash/hash.d.ts +20 -1
  220. package/dest/hash/hash.d.ts.map +1 -1
  221. package/dest/hash/hash.js +45 -10
  222. package/dest/hash/map_slot.d.ts +1 -1
  223. package/dest/hash/map_slot.d.ts.map +1 -1
  224. package/dest/hash/map_slot.js +4 -3
  225. package/dest/interfaces/allowed_element.d.ts +26 -20
  226. package/dest/interfaces/allowed_element.d.ts.map +1 -1
  227. package/dest/interfaces/allowed_element.js +8 -8
  228. package/dest/interfaces/api_limit.d.ts +2 -1
  229. package/dest/interfaces/api_limit.d.ts.map +1 -1
  230. package/dest/interfaces/api_limit.js +1 -0
  231. package/dest/interfaces/archiver.d.ts +1 -1
  232. package/dest/interfaces/archiver.d.ts.map +1 -1
  233. package/dest/interfaces/archiver.js +28 -17
  234. package/dest/interfaces/aztec-node-admin.d.ts +173 -64
  235. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  236. package/dest/interfaces/aztec-node-admin.js +15 -7
  237. package/dest/interfaces/aztec-node-debug.d.ts +21 -0
  238. package/dest/interfaces/aztec-node-debug.d.ts.map +1 -0
  239. package/dest/interfaces/aztec-node-debug.js +18 -0
  240. package/dest/interfaces/aztec-node.d.ts +85 -73
  241. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  242. package/dest/interfaces/aztec-node.js +17 -18
  243. package/dest/interfaces/block-builder.d.ts +53 -18
  244. package/dest/interfaces/block-builder.d.ts.map +1 -1
  245. package/dest/interfaces/block-builder.js +16 -2
  246. package/dest/interfaces/client.d.ts +2 -1
  247. package/dest/interfaces/client.d.ts.map +1 -1
  248. package/dest/interfaces/client.js +1 -0
  249. package/dest/interfaces/configs.d.ts +81 -36
  250. package/dest/interfaces/configs.d.ts.map +1 -1
  251. package/dest/interfaces/configs.js +10 -3
  252. package/dest/interfaces/get_logs_response.d.ts +16 -9
  253. package/dest/interfaces/get_logs_response.d.ts.map +1 -1
  254. package/dest/interfaces/l2_logs_source.d.ts +16 -5
  255. package/dest/interfaces/l2_logs_source.d.ts.map +1 -1
  256. package/dest/interfaces/merkle_tree_operations.d.ts +13 -22
  257. package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
  258. package/dest/interfaces/p2p.d.ts +4 -9
  259. package/dest/interfaces/p2p.d.ts.map +1 -1
  260. package/dest/interfaces/prover-broker.d.ts +16 -1
  261. package/dest/interfaces/prover-broker.d.ts.map +1 -1
  262. package/dest/interfaces/prover-broker.js +4 -1
  263. package/dest/interfaces/prover-client.d.ts +20 -1
  264. package/dest/interfaces/prover-client.d.ts.map +1 -1
  265. package/dest/interfaces/prover-client.js +18 -4
  266. package/dest/interfaces/proving-job.d.ts +50 -50
  267. package/dest/interfaces/slasher.d.ts +9 -10
  268. package/dest/interfaces/slasher.d.ts.map +1 -1
  269. package/dest/interfaces/slasher.js +2 -2
  270. package/dest/interfaces/tx_provider.d.ts +3 -3
  271. package/dest/interfaces/tx_provider.d.ts.map +1 -1
  272. package/dest/interfaces/validator.d.ts +208 -55
  273. package/dest/interfaces/validator.d.ts.map +1 -1
  274. package/dest/interfaces/validator.js +11 -5
  275. package/dest/interfaces/world_state.d.ts +5 -4
  276. package/dest/interfaces/world_state.d.ts.map +1 -1
  277. package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts +3 -3
  278. package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts.map +1 -1
  279. package/dest/kernel/hints/build_note_hash_read_request_hints.js +29 -16
  280. package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts +4 -4
  281. package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts.map +1 -1
  282. package/dest/kernel/hints/build_nullifier_read_request_hints.js +28 -17
  283. package/dest/kernel/hints/build_transient_data_hints.d.ts +5 -2
  284. package/dest/kernel/hints/build_transient_data_hints.d.ts.map +1 -1
  285. package/dest/kernel/hints/build_transient_data_hints.js +9 -3
  286. package/dest/kernel/hints/index.d.ts +2 -2
  287. package/dest/kernel/hints/index.js +2 -2
  288. package/dest/kernel/hints/key_validation_hint.d.ts +2 -1
  289. package/dest/kernel/hints/key_validation_hint.d.ts.map +1 -1
  290. package/dest/kernel/hints/key_validation_request.d.ts +2 -1
  291. package/dest/kernel/hints/key_validation_request.d.ts.map +1 -1
  292. package/dest/kernel/hints/key_validation_request_and_separator.d.ts +24 -0
  293. package/dest/kernel/hints/key_validation_request_and_separator.d.ts.map +1 -0
  294. package/dest/kernel/hints/{key_validation_request_and_generator.js → key_validation_request_and_separator.js} +12 -15
  295. package/dest/kernel/hints/private_kernel_reset_hints.d.ts +13 -1
  296. package/dest/kernel/hints/private_kernel_reset_hints.d.ts.map +1 -1
  297. package/dest/kernel/hints/read_request.d.ts +7 -1
  298. package/dest/kernel/hints/read_request.d.ts.map +1 -1
  299. package/dest/kernel/hints/read_request_hints.d.ts +7 -1
  300. package/dest/kernel/hints/read_request_hints.d.ts.map +1 -1
  301. package/dest/kernel/hints/{scoped_key_validation_request_and_generator.d.ts → scoped_key_validation_request_and_separator.d.ts} +8 -8
  302. package/dest/kernel/hints/{scoped_key_validation_request_and_generator.d.ts.map → scoped_key_validation_request_and_separator.d.ts.map} +1 -1
  303. package/dest/kernel/hints/{scoped_key_validation_request_and_generator.js → scoped_key_validation_request_and_separator.js} +6 -6
  304. package/dest/kernel/private_accumulated_data.d.ts +23 -1
  305. package/dest/kernel/private_accumulated_data.d.ts.map +1 -1
  306. package/dest/kernel/private_call_data.d.ts +25 -1
  307. package/dest/kernel/private_call_data.d.ts.map +1 -1
  308. package/dest/kernel/private_call_request.d.ts +16 -1
  309. package/dest/kernel/private_call_request.d.ts.map +1 -1
  310. package/dest/kernel/private_circuit_public_inputs.d.ts +81 -8
  311. package/dest/kernel/private_circuit_public_inputs.d.ts.map +1 -1
  312. package/dest/kernel/private_circuit_public_inputs.js +16 -16
  313. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts +33 -3
  314. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts.map +1 -1
  315. package/dest/kernel/private_kernel_circuit_public_inputs.js +4 -4
  316. package/dest/kernel/private_kernel_data.d.ts +7 -1
  317. package/dest/kernel/private_kernel_data.d.ts.map +1 -1
  318. package/dest/kernel/private_kernel_init_circuit_private_inputs.d.ts +22 -1
  319. package/dest/kernel/private_kernel_init_circuit_private_inputs.d.ts.map +1 -1
  320. package/dest/kernel/private_kernel_inner_circuit_private_inputs.d.ts +7 -1
  321. package/dest/kernel/private_kernel_inner_circuit_private_inputs.d.ts.map +1 -1
  322. package/dest/kernel/private_kernel_reset_circuit_private_inputs.d.ts +4 -1
  323. package/dest/kernel/private_kernel_reset_circuit_private_inputs.d.ts.map +1 -1
  324. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts +12 -3
  325. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts.map +1 -1
  326. package/dest/kernel/private_kernel_tail_circuit_private_inputs.js +4 -4
  327. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts +26 -3
  328. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts.map +1 -1
  329. package/dest/kernel/private_kernel_tail_circuit_public_inputs.js +11 -7
  330. package/dest/kernel/private_to_avm_accumulated_data.d.ts +2 -2
  331. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts +3 -3
  332. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts.map +1 -1
  333. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.js +7 -7
  334. package/dest/kernel/private_to_rollup_accumulated_data.d.ts +17 -1
  335. package/dest/kernel/private_to_rollup_accumulated_data.d.ts.map +1 -1
  336. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.d.ts +18 -3
  337. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.d.ts.map +1 -1
  338. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.js +7 -7
  339. package/dest/kernel/private_validation_requests.d.ts +13 -4
  340. package/dest/kernel/private_validation_requests.d.ts.map +1 -1
  341. package/dest/kernel/private_validation_requests.js +9 -9
  342. package/dest/kernel/public_call_request.d.ts +22 -1
  343. package/dest/kernel/public_call_request.d.ts.map +1 -1
  344. package/dest/kernel/utils/optional_number.d.ts +7 -1
  345. package/dest/kernel/utils/optional_number.d.ts.map +1 -1
  346. package/dest/keys/derivation.d.ts +3 -3
  347. package/dest/keys/derivation.js +15 -15
  348. package/dest/keys/key_types.d.ts +3 -3
  349. package/dest/keys/key_types.d.ts.map +1 -1
  350. package/dest/keys/public_keys.d.ts +5 -1
  351. package/dest/keys/public_keys.d.ts.map +1 -1
  352. package/dest/keys/public_keys.js +2 -2
  353. package/dest/keys/utils.d.ts +1 -1
  354. package/dest/keys/utils.d.ts.map +1 -1
  355. package/dest/keys/utils.js +8 -4
  356. package/dest/kv-store/config.d.ts +17 -0
  357. package/dest/kv-store/config.d.ts.map +1 -0
  358. package/dest/kv-store/config.js +26 -0
  359. package/dest/kv-store/index.d.ts +2 -0
  360. package/dest/kv-store/index.d.ts.map +1 -0
  361. package/dest/kv-store/index.js +1 -0
  362. package/dest/l1-contracts/index.d.ts +2 -2
  363. package/dest/l1-contracts/index.d.ts.map +1 -1
  364. package/dest/l1-contracts/index.js +1 -1
  365. package/dest/logs/debug_log_store.d.ts +30 -0
  366. package/dest/logs/debug_log_store.d.ts.map +1 -0
  367. package/dest/logs/debug_log_store.js +30 -0
  368. package/dest/logs/extended_contract_class_log.d.ts +3 -1
  369. package/dest/logs/extended_contract_class_log.d.ts.map +1 -1
  370. package/dest/logs/extended_directional_app_tagging_secret.d.ts +47 -0
  371. package/dest/logs/extended_directional_app_tagging_secret.d.ts.map +1 -0
  372. package/dest/logs/{directional_app_tagging_secret.js → extended_directional_app_tagging_secret.js} +35 -20
  373. package/dest/logs/extended_public_log.d.ts +17 -9
  374. package/dest/logs/extended_public_log.d.ts.map +1 -1
  375. package/dest/logs/index.d.ts +4 -2
  376. package/dest/logs/index.d.ts.map +1 -1
  377. package/dest/logs/index.js +3 -1
  378. package/dest/logs/log_filter.d.ts +4 -1
  379. package/dest/logs/log_filter.d.ts.map +1 -1
  380. package/dest/logs/log_filter.js +2 -1
  381. package/dest/logs/log_id.d.ts +21 -14
  382. package/dest/logs/log_id.d.ts.map +1 -1
  383. package/dest/logs/log_id.js +19 -17
  384. package/dest/logs/message_context.d.ts +4 -7
  385. package/dest/logs/message_context.d.ts.map +1 -1
  386. package/dest/logs/message_context.js +23 -9
  387. package/dest/logs/pending_tagged_log.d.ts +2 -3
  388. package/dest/logs/pending_tagged_log.d.ts.map +1 -1
  389. package/dest/logs/pending_tagged_log.js +2 -2
  390. package/dest/logs/pre_tag.d.ts +16 -11
  391. package/dest/logs/pre_tag.d.ts.map +1 -1
  392. package/dest/logs/pre_tag.js +2 -2
  393. package/dest/logs/private_log.d.ts +2 -2
  394. package/dest/logs/private_log.d.ts.map +1 -1
  395. package/dest/logs/public_log.d.ts +4 -3
  396. package/dest/logs/public_log.d.ts.map +1 -1
  397. package/dest/logs/public_log.js +2 -1
  398. package/dest/logs/shared_secret_derivation.d.ts +11 -10
  399. package/dest/logs/shared_secret_derivation.d.ts.map +1 -1
  400. package/dest/logs/shared_secret_derivation.js +15 -9
  401. package/dest/logs/siloed_tag.d.ts +12 -9
  402. package/dest/logs/siloed_tag.d.ts.map +1 -1
  403. package/dest/logs/siloed_tag.js +16 -6
  404. package/dest/logs/tag.d.ts +5 -6
  405. package/dest/logs/tag.d.ts.map +1 -1
  406. package/dest/logs/tag.js +5 -1
  407. package/dest/logs/tagging_index_range.d.ts +40 -0
  408. package/dest/logs/tagging_index_range.d.ts.map +1 -0
  409. package/dest/logs/tagging_index_range.js +8 -0
  410. package/dest/logs/tx_scoped_l2_log.d.ts +3 -1
  411. package/dest/logs/tx_scoped_l2_log.d.ts.map +1 -1
  412. package/dest/logs/tx_scoped_l2_log.js +7 -0
  413. package/dest/messaging/inbox_leaf.d.ts +3 -1
  414. package/dest/messaging/inbox_leaf.d.ts.map +1 -1
  415. package/dest/messaging/l1_actor.d.ts +7 -1
  416. package/dest/messaging/l1_actor.d.ts.map +1 -1
  417. package/dest/messaging/l1_to_l2_message.d.ts +8 -2
  418. package/dest/messaging/l1_to_l2_message.d.ts.map +1 -1
  419. package/dest/messaging/l1_to_l2_message.js +11 -13
  420. package/dest/messaging/l1_to_l2_message_source.d.ts +4 -2
  421. package/dest/messaging/l1_to_l2_message_source.d.ts.map +1 -1
  422. package/dest/messaging/l2_actor.d.ts +7 -1
  423. package/dest/messaging/l2_actor.d.ts.map +1 -1
  424. package/dest/messaging/l2_to_l1_membership.d.ts +34 -8
  425. package/dest/messaging/l2_to_l1_membership.d.ts.map +1 -1
  426. package/dest/messaging/l2_to_l1_membership.js +77 -32
  427. package/dest/messaging/out_hash.d.ts +41 -4
  428. package/dest/messaging/out_hash.d.ts.map +1 -1
  429. package/dest/messaging/out_hash.js +52 -26
  430. package/dest/noir/index.d.ts +3 -3
  431. package/dest/noir/index.d.ts.map +1 -1
  432. package/dest/note/index.d.ts +1 -2
  433. package/dest/note/index.d.ts.map +1 -1
  434. package/dest/note/index.js +0 -1
  435. package/dest/note/note_dao.d.ts +36 -5
  436. package/dest/note/note_dao.d.ts.map +1 -1
  437. package/dest/note/note_dao.js +14 -14
  438. package/dest/p2p/attestation_utils.d.ts +11 -1
  439. package/dest/p2p/attestation_utils.d.ts.map +1 -1
  440. package/dest/p2p/attestation_utils.js +45 -0
  441. package/dest/p2p/block_proposal.d.ts +26 -13
  442. package/dest/p2p/block_proposal.d.ts.map +1 -1
  443. package/dest/p2p/block_proposal.js +29 -18
  444. package/dest/p2p/checkpoint_attestation.d.ts +9 -6
  445. package/dest/p2p/checkpoint_attestation.d.ts.map +1 -1
  446. package/dest/p2p/checkpoint_attestation.js +3 -8
  447. package/dest/p2p/checkpoint_proposal.d.ts +38 -20
  448. package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
  449. package/dest/p2p/checkpoint_proposal.js +46 -49
  450. package/dest/p2p/client_type.d.ts +2 -5
  451. package/dest/p2p/client_type.d.ts.map +1 -1
  452. package/dest/p2p/client_type.js +0 -7
  453. package/dest/p2p/consensus_payload.d.ts +15 -5
  454. package/dest/p2p/consensus_payload.d.ts.map +1 -1
  455. package/dest/p2p/consensus_payload.js +22 -18
  456. package/dest/p2p/constants.d.ts +5 -0
  457. package/dest/p2p/constants.d.ts.map +1 -0
  458. package/dest/p2p/constants.js +3 -0
  459. package/dest/p2p/gossipable.d.ts +4 -4
  460. package/dest/p2p/gossipable.d.ts.map +1 -1
  461. package/dest/p2p/index.d.ts +2 -2
  462. package/dest/p2p/index.d.ts.map +1 -1
  463. package/dest/p2p/index.js +1 -1
  464. package/dest/p2p/message_validator.d.ts +18 -3
  465. package/dest/p2p/message_validator.d.ts.map +1 -1
  466. package/dest/p2p/message_validator.js +2 -1
  467. package/dest/p2p/peer_error.d.ts +3 -1
  468. package/dest/p2p/peer_error.d.ts.map +1 -1
  469. package/dest/p2p/peer_error.js +5 -0
  470. package/dest/p2p/signed_txs.d.ts +3 -1
  471. package/dest/p2p/signed_txs.d.ts.map +1 -1
  472. package/dest/p2p/signed_txs.js +6 -1
  473. package/dest/p2p/topic_type.d.ts +3 -4
  474. package/dest/p2p/topic_type.d.ts.map +1 -1
  475. package/dest/p2p/topic_type.js +7 -23
  476. package/dest/parity/parity_base_private_inputs.d.ts +3 -1
  477. package/dest/parity/parity_base_private_inputs.d.ts.map +1 -1
  478. package/dest/parity/parity_public_inputs.d.ts +4 -1
  479. package/dest/parity/parity_public_inputs.d.ts.map +1 -1
  480. package/dest/parity/parity_root_private_inputs.d.ts +2 -1
  481. package/dest/parity/parity_root_private_inputs.d.ts.map +1 -1
  482. package/dest/proofs/chonk_proof.d.ts +46 -2
  483. package/dest/proofs/chonk_proof.d.ts.map +1 -1
  484. package/dest/proofs/chonk_proof.js +94 -14
  485. package/dest/proofs/proof.d.ts +4 -1
  486. package/dest/proofs/proof.d.ts.map +1 -1
  487. package/dest/proofs/recursive_proof.d.ts +10 -1
  488. package/dest/proofs/recursive_proof.d.ts.map +1 -1
  489. package/dest/rollup/base_rollup_hints.d.ts +34 -1
  490. package/dest/rollup/base_rollup_hints.d.ts.map +1 -1
  491. package/dest/rollup/block_constant_data.d.ts +12 -1
  492. package/dest/rollup/block_constant_data.d.ts.map +1 -1
  493. package/dest/rollup/block_headers_hash.js +1 -1
  494. package/dest/rollup/block_merge_rollup_private_inputs.d.ts +4 -1
  495. package/dest/rollup/block_merge_rollup_private_inputs.d.ts.map +1 -1
  496. package/dest/rollup/block_rollup_public_inputs.d.ts +44 -3
  497. package/dest/rollup/block_rollup_public_inputs.d.ts.map +1 -1
  498. package/dest/rollup/block_rollup_public_inputs.js +2 -2
  499. package/dest/rollup/block_root_rollup_private_inputs.d.ts +64 -1
  500. package/dest/rollup/block_root_rollup_private_inputs.d.ts.map +1 -1
  501. package/dest/rollup/checkpoint_constant_data.d.ts +10 -1
  502. package/dest/rollup/checkpoint_constant_data.d.ts.map +1 -1
  503. package/dest/rollup/checkpoint_header.d.ts +31 -4
  504. package/dest/rollup/checkpoint_header.d.ts.map +1 -1
  505. package/dest/rollup/checkpoint_header.js +23 -7
  506. package/dest/rollup/checkpoint_merge_rollup_private_inputs.d.ts +4 -1
  507. package/dest/rollup/checkpoint_merge_rollup_private_inputs.d.ts.map +1 -1
  508. package/dest/rollup/checkpoint_rollup_public_inputs.d.ts +45 -10
  509. package/dest/rollup/checkpoint_rollup_public_inputs.d.ts.map +1 -1
  510. package/dest/rollup/checkpoint_rollup_public_inputs.js +11 -7
  511. package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts +44 -3
  512. package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts.map +1 -1
  513. package/dest/rollup/checkpoint_root_rollup_private_inputs.js +13 -2
  514. package/dest/rollup/epoch_constant_data.d.ts +16 -1
  515. package/dest/rollup/epoch_constant_data.d.ts.map +1 -1
  516. package/dest/rollup/root_rollup_private_inputs.d.ts +6 -1
  517. package/dest/rollup/root_rollup_private_inputs.d.ts.map +1 -1
  518. package/dest/rollup/root_rollup_public_inputs.d.ts +17 -7
  519. package/dest/rollup/root_rollup_public_inputs.d.ts.map +1 -1
  520. package/dest/rollup/root_rollup_public_inputs.js +7 -4
  521. package/dest/rollup/tree_snapshot_diff_hints.d.ts +24 -1
  522. package/dest/rollup/tree_snapshot_diff_hints.d.ts.map +1 -1
  523. package/dest/rollup/tx_merge_rollup_private_inputs.d.ts +4 -1
  524. package/dest/rollup/tx_merge_rollup_private_inputs.d.ts.map +1 -1
  525. package/dest/rollup/tx_rollup_public_inputs.d.ts +29 -1
  526. package/dest/rollup/tx_rollup_public_inputs.d.ts.map +1 -1
  527. package/dest/schemas/schemas.d.ts +1 -1
  528. package/dest/slashing/helpers.d.ts +2 -2
  529. package/dest/slashing/helpers.d.ts.map +1 -1
  530. package/dest/slashing/helpers.js +6 -0
  531. package/dest/slashing/index.d.ts +2 -3
  532. package/dest/slashing/index.d.ts.map +1 -1
  533. package/dest/slashing/index.js +1 -2
  534. package/dest/slashing/serialization.d.ts +2 -6
  535. package/dest/slashing/serialization.d.ts.map +1 -1
  536. package/dest/slashing/serialization.js +0 -60
  537. package/dest/slashing/types.d.ts +10 -92
  538. package/dest/slashing/types.d.ts.map +1 -1
  539. package/dest/slashing/types.js +13 -15
  540. package/dest/slashing/{tally.d.ts → votes.d.ts} +8 -2
  541. package/dest/slashing/votes.d.ts.map +1 -0
  542. package/dest/slashing/{tally.js → votes.js} +35 -3
  543. package/dest/stats/stats.d.ts +1 -3
  544. package/dest/stats/stats.d.ts.map +1 -1
  545. package/dest/tests/factories.d.ts +5 -7
  546. package/dest/tests/factories.d.ts.map +1 -1
  547. package/dest/tests/factories.js +37 -55
  548. package/dest/tests/jest.js +1 -1
  549. package/dest/tests/mocks.d.ts +26 -15
  550. package/dest/tests/mocks.d.ts.map +1 -1
  551. package/dest/tests/mocks.js +85 -62
  552. package/dest/timetable/index.d.ts +87 -0
  553. package/dest/timetable/index.d.ts.map +1 -0
  554. package/dest/timetable/index.js +229 -0
  555. package/dest/trees/append_only_tree_snapshot.d.ts +13 -1
  556. package/dest/trees/append_only_tree_snapshot.d.ts.map +1 -1
  557. package/dest/trees/nullifier_leaf.d.ts +13 -1
  558. package/dest/trees/nullifier_leaf.d.ts.map +1 -1
  559. package/dest/trees/nullifier_membership_witness.d.ts +10 -1
  560. package/dest/trees/nullifier_membership_witness.d.ts.map +1 -1
  561. package/dest/trees/public_data_leaf.d.ts +17 -1
  562. package/dest/trees/public_data_leaf.d.ts.map +1 -1
  563. package/dest/trees/public_data_leaf.js +7 -6
  564. package/dest/trees/public_data_witness.d.ts +11 -1
  565. package/dest/trees/public_data_witness.d.ts.map +1 -1
  566. package/dest/tx/block_header.d.ts +16 -2
  567. package/dest/tx/block_header.d.ts.map +1 -1
  568. package/dest/tx/block_header.js +10 -2
  569. package/dest/tx/call_context.d.ts +13 -1
  570. package/dest/tx/call_context.d.ts.map +1 -1
  571. package/dest/tx/capsule.d.ts +9 -2
  572. package/dest/tx/capsule.d.ts.map +1 -1
  573. package/dest/tx/capsule.js +9 -3
  574. package/dest/tx/execution_payload.d.ts +9 -1
  575. package/dest/tx/execution_payload.d.ts.map +1 -1
  576. package/dest/tx/fee_provider.d.ts +10 -0
  577. package/dest/tx/fee_provider.d.ts.map +1 -0
  578. package/dest/tx/fee_provider.js +1 -0
  579. package/dest/tx/function_data.d.ts +4 -2
  580. package/dest/tx/function_data.d.ts.map +1 -1
  581. package/dest/tx/global_variable_builder.d.ts +3 -4
  582. package/dest/tx/global_variable_builder.d.ts.map +1 -1
  583. package/dest/tx/global_variables.d.ts +12 -4
  584. package/dest/tx/global_variables.d.ts.map +1 -1
  585. package/dest/tx/hashed_values.d.ts +7 -1
  586. package/dest/tx/hashed_values.d.ts.map +1 -1
  587. package/dest/tx/in_tx.d.ts +4 -4
  588. package/dest/tx/index.d.ts +2 -1
  589. package/dest/tx/index.d.ts.map +1 -1
  590. package/dest/tx/index.js +1 -0
  591. package/dest/tx/indexed_tx_effect.d.ts +5 -5
  592. package/dest/tx/indexed_tx_effect.d.ts.map +1 -1
  593. package/dest/tx/indexed_tx_effect.js +2 -2
  594. package/dest/tx/partial_state_reference.d.ts +4 -1
  595. package/dest/tx/partial_state_reference.d.ts.map +1 -1
  596. package/dest/tx/private_execution_result.d.ts +27 -6
  597. package/dest/tx/private_execution_result.d.ts.map +1 -1
  598. package/dest/tx/private_execution_result.js +7 -7
  599. package/dest/tx/private_tx_constant_data.d.ts +16 -1
  600. package/dest/tx/private_tx_constant_data.d.ts.map +1 -1
  601. package/dest/tx/profiling.d.ts +165 -30
  602. package/dest/tx/profiling.d.ts.map +1 -1
  603. package/dest/tx/profiling.js +59 -12
  604. package/dest/tx/protocol_contracts.d.ts +2 -2
  605. package/dest/tx/protocol_contracts.d.ts.map +1 -1
  606. package/dest/tx/protocol_contracts.js +2 -2
  607. package/dest/tx/public_call_request_with_calldata.d.ts +7 -1
  608. package/dest/tx/public_call_request_with_calldata.d.ts.map +1 -1
  609. package/dest/tx/public_simulation_output.d.ts +4 -2
  610. package/dest/tx/public_simulation_output.d.ts.map +1 -1
  611. package/dest/tx/public_simulation_output.js +7 -3
  612. package/dest/tx/simulated_tx.d.ts +116 -5
  613. package/dest/tx/simulated_tx.d.ts.map +1 -1
  614. package/dest/tx/simulated_tx.js +7 -4
  615. package/dest/tx/state_reference.d.ts +3 -1
  616. package/dest/tx/state_reference.d.ts.map +1 -1
  617. package/dest/tx/tx.d.ts +31 -7
  618. package/dest/tx/tx.d.ts.map +1 -1
  619. package/dest/tx/tx.js +24 -9
  620. package/dest/tx/tx_context.d.ts +2 -1
  621. package/dest/tx/tx_context.d.ts.map +1 -1
  622. package/dest/tx/tx_effect.d.ts +32 -6
  623. package/dest/tx/tx_effect.d.ts.map +1 -1
  624. package/dest/tx/tx_effect.js +0 -7
  625. package/dest/tx/tx_execution_request.d.ts +30 -1
  626. package/dest/tx/tx_execution_request.d.ts.map +1 -1
  627. package/dest/tx/tx_hash.d.ts +2 -1
  628. package/dest/tx/tx_hash.d.ts.map +1 -1
  629. package/dest/tx/tx_receipt.d.ts +75 -18
  630. package/dest/tx/tx_receipt.d.ts.map +1 -1
  631. package/dest/tx/tx_receipt.js +64 -29
  632. package/dest/tx/tx_request.d.ts +6 -1
  633. package/dest/tx/tx_request.d.ts.map +1 -1
  634. package/dest/tx/tx_request.js +2 -2
  635. package/dest/tx/validator/empty_validator.d.ts +2 -2
  636. package/dest/tx/validator/empty_validator.d.ts.map +1 -1
  637. package/dest/tx/validator/error_texts.d.ts +11 -2
  638. package/dest/tx/validator/error_texts.d.ts.map +1 -1
  639. package/dest/tx/validator/error_texts.js +13 -1
  640. package/dest/tx/validator/tx_validator.d.ts +2 -2
  641. package/dest/tx/validator/tx_validator.d.ts.map +1 -1
  642. package/dest/types/shared.d.ts +4 -1
  643. package/dest/types/shared.d.ts.map +1 -1
  644. package/dest/update-checker/index.d.ts +3 -2
  645. package/dest/update-checker/index.d.ts.map +1 -1
  646. package/dest/update-checker/index.js +2 -1
  647. package/dest/update-checker/package_version.d.ts +3 -0
  648. package/dest/update-checker/package_version.d.ts.map +1 -0
  649. package/dest/update-checker/package_version.js +24 -0
  650. package/dest/update-checker/version_checker.d.ts +25 -0
  651. package/dest/update-checker/version_checker.d.ts.map +1 -0
  652. package/dest/update-checker/version_checker.js +50 -0
  653. package/dest/validators/errors.d.ts +6 -1
  654. package/dest/validators/errors.d.ts.map +1 -1
  655. package/dest/validators/errors.js +7 -0
  656. package/dest/validators/schemas.d.ts +38 -38
  657. package/dest/validators/schemas.d.ts.map +1 -1
  658. package/dest/validators/schemas.js +4 -3
  659. package/dest/validators/types.d.ts +3 -3
  660. package/dest/validators/types.d.ts.map +1 -1
  661. package/dest/versioning/versioning.d.ts +4 -2
  662. package/dest/versioning/versioning.d.ts.map +1 -1
  663. package/dest/versioning/versioning.js +4 -1
  664. package/dest/vks/verification_key.d.ts +22 -1
  665. package/dest/vks/verification_key.d.ts.map +1 -1
  666. package/dest/vks/vk_data.d.ts +7 -1
  667. package/dest/vks/vk_data.d.ts.map +1 -1
  668. package/dest/world-state/genesis_data.d.ts +11 -0
  669. package/dest/world-state/genesis_data.d.ts.map +1 -0
  670. package/dest/world-state/genesis_data.js +4 -0
  671. package/dest/world-state/index.d.ts +2 -1
  672. package/dest/world-state/index.d.ts.map +1 -1
  673. package/dest/world-state/index.js +1 -0
  674. package/dest/zkpassport/index.d.ts +3 -4
  675. package/dest/zkpassport/index.d.ts.map +1 -1
  676. package/dest/zkpassport/index.js +9 -9
  677. package/package.json +29 -14
  678. package/src/abi/abi.ts +25 -2
  679. package/src/abi/authorization_selector.ts +2 -8
  680. package/src/abi/buffer.ts +25 -4
  681. package/src/abi/decoder.ts +36 -82
  682. package/src/abi/encoder.ts +85 -6
  683. package/src/abi/event_metadata_definition.ts +2 -0
  684. package/src/abi/event_selector.ts +2 -8
  685. package/src/abi/function_call.ts +25 -3
  686. package/src/abi/function_selector.ts +4 -13
  687. package/src/abi/function_signature_decoder.ts +77 -0
  688. package/src/abi/index.ts +1 -0
  689. package/src/abi/note_selector.ts +3 -12
  690. package/src/abi/selector.ts +1 -1
  691. package/src/abi/utils.ts +42 -0
  692. package/src/auth_witness/auth_witness.ts +3 -3
  693. package/src/avm/revert_code.ts +26 -25
  694. package/src/aztec-address/index.ts +4 -10
  695. package/src/block/block_data.ts +25 -0
  696. package/src/block/block_hash.ts +32 -24
  697. package/src/block/block_parameter.ts +4 -2
  698. package/src/block/body.ts +2 -1
  699. package/src/block/checkpointed_l2_block.ts +8 -58
  700. package/src/block/in_block.ts +6 -6
  701. package/src/block/index.ts +1 -2
  702. package/src/block/l2_block.ts +112 -148
  703. package/src/block/l2_block_info.ts +8 -6
  704. package/src/block/l2_block_source.ts +115 -47
  705. package/src/block/l2_block_stream/interfaces.ts +14 -7
  706. package/src/block/l2_block_stream/l2_block_stream.ts +66 -37
  707. package/src/block/l2_block_stream/l2_tips_store_base.ts +27 -15
  708. package/src/block/test/l2_tips_store_test_suite.ts +13 -11
  709. package/src/block/validate_block_result.ts +5 -4
  710. package/src/checkpoint/checkpoint.ts +82 -23
  711. package/src/checkpoint/checkpoint_data.ts +87 -0
  712. package/src/checkpoint/index.ts +2 -0
  713. package/src/checkpoint/published_checkpoint.ts +7 -4
  714. package/src/checkpoint/validate.ts +230 -0
  715. package/src/config/chain-config.ts +7 -1
  716. package/src/config/index.ts +2 -0
  717. package/src/config/node-rpc-config.ts +1 -1
  718. package/src/config/pipelining-config.ts +31 -0
  719. package/src/config/sequencer-config.ts +47 -0
  720. package/src/contract/contract_address.ts +7 -7
  721. package/src/contract/contract_class.ts +3 -3
  722. package/src/contract/contract_class_id.ts +7 -6
  723. package/src/contract/index.ts +0 -4
  724. package/src/contract/interfaces/contract_class.ts +2 -82
  725. package/src/contract/interfaces/node-info.ts +3 -0
  726. package/src/contract/private_function.ts +3 -4
  727. package/src/database-version/database_version.ts +87 -0
  728. package/src/database-version/version_manager.ts +1 -77
  729. package/src/delayed_public_mutable/delayed_public_mutable_values.ts +9 -10
  730. package/src/deserialization/index.ts +21 -0
  731. package/src/epoch-helpers/index.ts +40 -1
  732. package/src/file-store/factory.ts +13 -4
  733. package/src/file-store/http.ts +29 -10
  734. package/src/file-store/index.ts +1 -0
  735. package/src/file-store/local.ts +15 -5
  736. package/src/file-store/s3.ts +12 -3
  737. package/src/gas/README.md +154 -0
  738. package/src/gas/fee_math.ts +120 -0
  739. package/src/gas/gas_fees.ts +15 -1
  740. package/src/gas/gas_settings.ts +65 -12
  741. package/src/gas/index.ts +1 -0
  742. package/src/ha-signing/config.ts +156 -0
  743. package/src/ha-signing/index.ts +29 -0
  744. package/src/ha-signing/local_config.ts +46 -0
  745. package/src/ha-signing/types.ts +126 -0
  746. package/src/hash/hash.ts +48 -10
  747. package/src/hash/map_slot.ts +3 -2
  748. package/src/interfaces/allowed_element.ts +29 -9
  749. package/src/interfaces/api_limit.ts +1 -0
  750. package/src/interfaces/archiver.ts +28 -26
  751. package/src/interfaces/aztec-node-admin.ts +31 -9
  752. package/src/interfaces/aztec-node-debug.ts +40 -0
  753. package/src/interfaces/aztec-node.ts +120 -135
  754. package/src/interfaces/block-builder.ts +93 -29
  755. package/src/interfaces/client.ts +1 -0
  756. package/src/interfaces/configs.ts +37 -11
  757. package/src/interfaces/l2_logs_source.ts +20 -4
  758. package/src/interfaces/merkle_tree_operations.ts +12 -21
  759. package/src/interfaces/p2p.ts +3 -14
  760. package/src/interfaces/prover-broker.ts +22 -0
  761. package/src/interfaces/prover-client.ts +32 -5
  762. package/src/interfaces/slasher.ts +4 -6
  763. package/src/interfaces/tx_provider.ts +2 -2
  764. package/src/interfaces/validator.ts +71 -38
  765. package/src/interfaces/world_state.ts +4 -3
  766. package/src/kernel/hints/build_note_hash_read_request_hints.ts +31 -24
  767. package/src/kernel/hints/build_nullifier_read_request_hints.ts +32 -32
  768. package/src/kernel/hints/build_transient_data_hints.ts +17 -2
  769. package/src/kernel/hints/index.ts +2 -2
  770. package/src/kernel/hints/{key_validation_request_and_generator.ts → key_validation_request_and_separator.ts} +12 -15
  771. package/src/kernel/hints/{scoped_key_validation_request_and_generator.ts → scoped_key_validation_request_and_separator.ts} +10 -10
  772. package/src/kernel/private_circuit_public_inputs.ts +14 -14
  773. package/src/kernel/private_kernel_circuit_public_inputs.ts +2 -2
  774. package/src/kernel/private_kernel_tail_circuit_private_inputs.ts +2 -2
  775. package/src/kernel/private_kernel_tail_circuit_public_inputs.ts +14 -5
  776. package/src/kernel/private_to_public_kernel_circuit_public_inputs.ts +5 -5
  777. package/src/kernel/private_to_rollup_kernel_circuit_public_inputs.ts +5 -5
  778. package/src/kernel/private_validation_requests.ts +8 -8
  779. package/src/keys/derivation.ts +15 -15
  780. package/src/keys/key_types.ts +6 -2
  781. package/src/keys/public_keys.ts +2 -2
  782. package/src/keys/utils.ts +8 -4
  783. package/src/kv-store/config.ts +36 -0
  784. package/src/kv-store/index.ts +1 -0
  785. package/src/l1-contracts/index.ts +1 -1
  786. package/src/logs/debug_log_store.ts +54 -0
  787. package/src/logs/{directional_app_tagging_secret.ts → extended_directional_app_tagging_secret.ts} +41 -22
  788. package/src/logs/index.ts +3 -1
  789. package/src/logs/log_filter.ts +5 -0
  790. package/src/logs/log_id.ts +21 -18
  791. package/src/logs/message_context.ts +17 -7
  792. package/src/logs/pending_tagged_log.ts +1 -3
  793. package/src/logs/pre_tag.ts +5 -5
  794. package/src/logs/public_log.ts +4 -2
  795. package/src/logs/shared_secret_derivation.ts +21 -10
  796. package/src/logs/siloed_tag.ts +23 -13
  797. package/src/logs/tag.ts +9 -9
  798. package/src/logs/tagging_index_range.ts +24 -0
  799. package/src/logs/tx_scoped_l2_log.ts +16 -0
  800. package/src/messaging/l1_to_l2_message.ts +12 -9
  801. package/src/messaging/l1_to_l2_message_source.ts +3 -1
  802. package/src/messaging/l2_to_l1_membership.ts +106 -39
  803. package/src/messaging/out_hash.ts +60 -29
  804. package/src/noir/index.ts +2 -2
  805. package/src/note/index.ts +0 -1
  806. package/src/note/note_dao.ts +17 -15
  807. package/src/p2p/attestation_utils.ts +56 -0
  808. package/src/p2p/block_proposal.ts +48 -23
  809. package/src/p2p/checkpoint_attestation.ts +11 -10
  810. package/src/p2p/checkpoint_proposal.ts +88 -67
  811. package/src/p2p/client_type.ts +0 -6
  812. package/src/p2p/consensus_payload.ts +25 -17
  813. package/src/p2p/constants.ts +6 -0
  814. package/src/p2p/gossipable.ts +4 -4
  815. package/src/p2p/index.ts +1 -1
  816. package/src/p2p/message_validator.ts +14 -2
  817. package/src/p2p/peer_error.ts +7 -0
  818. package/src/p2p/signed_txs.ts +6 -1
  819. package/src/p2p/topic_type.ts +8 -15
  820. package/src/proofs/chonk_proof.ts +100 -10
  821. package/src/rollup/block_headers_hash.ts +1 -1
  822. package/src/rollup/block_rollup_public_inputs.ts +2 -2
  823. package/src/rollup/checkpoint_header.ts +22 -2
  824. package/src/rollup/checkpoint_rollup_public_inputs.ts +16 -10
  825. package/src/rollup/checkpoint_root_rollup_private_inputs.ts +14 -1
  826. package/src/rollup/root_rollup_public_inputs.ts +11 -8
  827. package/src/slashing/helpers.ts +8 -0
  828. package/src/slashing/index.ts +1 -2
  829. package/src/slashing/serialization.ts +1 -81
  830. package/src/slashing/types.ts +17 -35
  831. package/src/slashing/{tally.ts → votes.ts} +41 -2
  832. package/src/stats/stats.ts +0 -2
  833. package/src/tests/factories.ts +37 -77
  834. package/src/tests/jest.ts +1 -1
  835. package/src/tests/mocks.ts +117 -67
  836. package/src/timetable/index.ts +346 -0
  837. package/src/trees/public_data_leaf.ts +11 -5
  838. package/src/tx/block_header.ts +18 -4
  839. package/src/tx/capsule.ts +10 -2
  840. package/src/tx/fee_provider.ts +10 -0
  841. package/src/tx/global_variable_builder.ts +2 -3
  842. package/src/tx/global_variables.ts +3 -3
  843. package/src/tx/index.ts +1 -0
  844. package/src/tx/indexed_tx_effect.ts +2 -2
  845. package/src/tx/private_execution_result.ts +6 -6
  846. package/src/tx/profiling.ts +60 -9
  847. package/src/tx/protocol_contracts.ts +2 -2
  848. package/src/tx/public_simulation_output.ts +4 -0
  849. package/src/tx/simulated_tx.ts +14 -3
  850. package/src/tx/tx.ts +30 -22
  851. package/src/tx/tx_effect.ts +0 -9
  852. package/src/tx/tx_receipt.ts +98 -29
  853. package/src/tx/tx_request.ts +2 -2
  854. package/src/tx/validator/empty_validator.ts +1 -1
  855. package/src/tx/validator/error_texts.ts +16 -1
  856. package/src/tx/validator/tx_validator.ts +1 -1
  857. package/src/update-checker/index.ts +2 -1
  858. package/src/update-checker/package_version.ts +30 -0
  859. package/src/update-checker/version_checker.ts +65 -0
  860. package/src/validators/errors.ts +9 -0
  861. package/src/validators/schemas.ts +8 -1
  862. package/src/validators/types.ts +5 -4
  863. package/src/versioning/versioning.ts +4 -1
  864. package/src/world-state/genesis_data.ts +15 -0
  865. package/src/world-state/index.ts +1 -0
  866. package/src/zkpassport/index.ts +11 -12
  867. package/dest/block/l2_block_code_to_purge.d.ts +0 -11
  868. package/dest/block/l2_block_code_to_purge.d.ts.map +0 -1
  869. package/dest/block/l2_block_code_to_purge.js +0 -55
  870. package/dest/block/l2_block_header.d.ts +0 -94
  871. package/dest/block/l2_block_header.d.ts.map +0 -1
  872. package/dest/block/l2_block_header.js +0 -160
  873. package/dest/block/l2_block_new.d.ts +0 -134
  874. package/dest/block/l2_block_new.d.ts.map +0 -1
  875. package/dest/block/l2_block_new.js +0 -155
  876. package/dest/contract/contract_class_metadata.d.ts +0 -8
  877. package/dest/contract/contract_class_metadata.d.ts.map +0 -1
  878. package/dest/contract/contract_class_metadata.js +0 -1
  879. package/dest/contract/contract_metadata.d.ts +0 -7
  880. package/dest/contract/contract_metadata.d.ts.map +0 -1
  881. package/dest/contract/contract_metadata.js +0 -1
  882. package/dest/contract/private_function_membership_proof.d.ts +0 -32
  883. package/dest/contract/private_function_membership_proof.d.ts.map +0 -1
  884. package/dest/contract/private_function_membership_proof.js +0 -124
  885. package/dest/contract/utility_function_membership_proof.d.ts +0 -27
  886. package/dest/contract/utility_function_membership_proof.d.ts.map +0 -1
  887. package/dest/contract/utility_function_membership_proof.js +0 -87
  888. package/dest/database-version/index.d.ts +0 -2
  889. package/dest/database-version/index.d.ts.map +0 -1
  890. package/dest/database-version/index.js +0 -1
  891. package/dest/kernel/hints/key_validation_request_and_generator.d.ts +0 -25
  892. package/dest/kernel/hints/key_validation_request_and_generator.d.ts.map +0 -1
  893. package/dest/l1-contracts/slash_factory.d.ts +0 -45
  894. package/dest/l1-contracts/slash_factory.d.ts.map +0 -1
  895. package/dest/l1-contracts/slash_factory.js +0 -157
  896. package/dest/logs/directional_app_tagging_secret.d.ts +0 -40
  897. package/dest/logs/directional_app_tagging_secret.d.ts.map +0 -1
  898. package/dest/note/notes_filter.d.ts +0 -27
  899. package/dest/note/notes_filter.d.ts.map +0 -1
  900. package/dest/note/notes_filter.js +0 -11
  901. package/dest/slashing/empire.d.ts +0 -31
  902. package/dest/slashing/empire.d.ts.map +0 -1
  903. package/dest/slashing/empire.js +0 -85
  904. package/dest/slashing/tally.d.ts.map +0 -1
  905. package/dest/update-checker/update-checker.d.ts +0 -49
  906. package/dest/update-checker/update-checker.d.ts.map +0 -1
  907. package/dest/update-checker/update-checker.js +0 -130
  908. package/src/block/l2_block_code_to_purge.ts +0 -80
  909. package/src/block/l2_block_header.ts +0 -255
  910. package/src/block/l2_block_new.ts +0 -211
  911. package/src/contract/contract_class_metadata.ts +0 -8
  912. package/src/contract/contract_metadata.ts +0 -7
  913. package/src/contract/private_function_membership_proof.ts +0 -167
  914. package/src/contract/utility_function_membership_proof.ts +0 -118
  915. package/src/database-version/index.ts +0 -1
  916. package/src/l1-contracts/slash_factory.ts +0 -179
  917. package/src/note/notes_filter.ts +0 -38
  918. package/src/slashing/empire.ts +0 -102
  919. package/src/update-checker/update-checker.ts +0 -166
@@ -1,19 +1,63 @@
1
1
  import { Fr } from '@aztec/foundation/curves/bn254';
2
2
  import { BufferReader } from '@aztec/foundation/serialize';
3
+ /**
4
+ * Serialization format detection for ChonkProof is size-based:
5
+ * - UNCOMPRESSED (legacy): [field_count=1632: uint32] [fields...] → total ≈ 52KB (>= 40KB)
6
+ * - COMPRESSED: [byte_count: uint32] [compressed_bytes] → total ≈ 35KB (< 40KB)
7
+ *
8
+ * Detection: if the first uint32 equals CHONK_PROOF_LENGTH (1632), it's legacy format
9
+ * (field count). Otherwise, it's compressed format (byte count). The old uncompressed
10
+ * format is never smaller than 40KB; compressed proofs are always smaller than 40KB.
11
+ */
3
12
  export declare class ChonkProof {
4
13
  fields: Fr[];
5
- constructor(fields: Fr[]);
14
+ /**
15
+ * Optional compressed proof bytes from chonk compression (point compression + u256 encoding).
16
+ * When set, toBuffer() will serialize in compressed format (~1.7x smaller).
17
+ * When reading from compressed format, this is populated and fields are decompressed on demand.
18
+ */
19
+ compressedProof?: Buffer;
20
+ constructor(fields: Fr[], compressedProof?: Buffer);
6
21
  attachPublicInputs(publicInputs: Fr[]): ChonkProofWithPublicInputs;
7
22
  isEmpty(): boolean;
8
23
  static empty(): ChonkProof;
9
24
  static random(): ChonkProof;
10
25
  static get schema(): import("zod").ZodType<ChonkProof, any, string>;
11
26
  toJSON(): Buffer<ArrayBufferLike>;
27
+ /**
28
+ * Deserialize a ChonkProof from a buffer.
29
+ * Supports both legacy (field elements) and compressed (chonk compression) formats.
30
+ *
31
+ * Size-based format detection:
32
+ * - First uint32 == CHONK_PROOF_LENGTH (1632): legacy format, read field elements
33
+ * Total proof data ≈ 52KB (always >= 40KB)
34
+ * - Otherwise: compressed format, first uint32 is byte count of compressed data
35
+ * Total proof data ≈ 35KB (always < 40KB)
36
+ */
12
37
  static fromBuffer(buffer: Buffer | BufferReader): ChonkProof;
38
+ /**
39
+ * Create a ChonkProof from compressed bytes by decompressing via the BarretenbergSync API.
40
+ * The compressed format uses point compression and u256 encoding (from PR #20645).
41
+ *
42
+ * @param compressed - Compressed proof bytes from chonk compression
43
+ * @returns ChonkProof with both fields and compressed bytes populated
44
+ */
45
+ static fromCompressedBytes(compressed: Buffer): ChonkProof;
46
+ /**
47
+ * Serialize the proof to a buffer.
48
+ * If compressed bytes are available, uses the compressed format (~1.7x smaller).
49
+ * Otherwise falls back to legacy field element format.
50
+ */
13
51
  toBuffer(): Buffer<ArrayBufferLike>;
14
52
  }
15
53
  export declare class ChonkProofWithPublicInputs {
16
54
  fieldsWithPublicInputs: Fr[];
55
+ /**
56
+ * Optional compressed proof bytes (covers the full proof WITH public inputs).
57
+ * Set by the prover when using chonk compression. Flows through to ChonkProof
58
+ * via removePublicInputs() so the Tx can serialize in compressed format.
59
+ */
60
+ compressedProof?: Buffer;
17
61
  constructor(fieldsWithPublicInputs: Fr[]);
18
62
  getPublicInputs(): Fr[];
19
63
  removePublicInputs(): ChonkProof;
@@ -25,4 +69,4 @@ export declare class ChonkProofWithPublicInputs {
25
69
  toBuffer(): Buffer<ArrayBufferLike>;
26
70
  static fromBufferArray(fields: Uint8Array[]): ChonkProofWithPublicInputs;
27
71
  }
28
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hvbmtfcHJvb2YuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wcm9vZnMvY2hvbmtfcHJvb2YudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBRUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBRXBELE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFHOUUscUJBQWEsVUFBVTtJQUtaLE1BQU0sRUFBRSxFQUFFLEVBQUU7SUFKckIsWUFJUyxNQUFNLEVBQUUsRUFBRSxFQUFFLEVBS3BCO0lBRU0sa0JBQWtCLENBQUMsWUFBWSxFQUFFLEVBQUUsRUFBRSw4QkFFM0M7SUFFTSxPQUFPLFlBRWI7SUFFRCxNQUFNLENBQUMsS0FBSyxlQUVYO0lBRUQsTUFBTSxDQUFDLE1BQU0sZUFTWjtJQUVELE1BQU0sS0FBSyxNQUFNLG1EQUVoQjtJQUdELE1BQU0sNEJBRUw7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLFVBQVUsQ0FLM0Q7SUFFTSxRQUFRLDRCQUVkO0NBQ0Y7QUFFRCxxQkFBYSwwQkFBMEI7SUFJNUIsc0JBQXNCLEVBQUUsRUFBRSxFQUFFO0lBSHJDLFlBR1Msc0JBQXNCLEVBQUUsRUFBRSxFQUFFLEVBS3BDO0lBRU0sZUFBZSxTQUdyQjtJQUVNLGtCQUFrQixlQUd4QjtJQUVNLE9BQU8sWUFFYjtJQUVELE1BQU0sQ0FBQyxLQUFLLCtCQUVYO0lBRUQsTUFBTSxLQUFLLE1BQU0sbUVBRWhCO0lBR0QsTUFBTSw0QkFFTDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsMEJBQTBCLENBSzNFO0lBRU0sUUFBUSw0QkFFZDtJQUdELE1BQU0sQ0FBQyxlQUFlLENBQUMsTUFBTSxFQUFFLFVBQVUsRUFBRSxHQUFHLDBCQUEwQixDQUd2RTtDQUNGIn0=
72
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hvbmtfcHJvb2YuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wcm9vZnMvY2hvbmtfcHJvb2YudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBSUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBRXBELE9BQU8sRUFBRSxZQUFZLEVBQW9DLE1BQU0sNkJBQTZCLENBQUM7QUFFN0Y7Ozs7Ozs7O0dBUUc7QUFHSCxxQkFBYSxVQUFVO0lBWVosTUFBTSxFQUFFLEVBQUUsRUFBRTtJQVhyQjs7OztPQUlHO0lBQ0ksZUFBZSxDQUFDLEVBQUUsTUFBTSxDQUFDO0lBRWhDLFlBSVMsTUFBTSxFQUFFLEVBQUUsRUFBRSxFQUNuQixlQUFlLENBQUMsRUFBRSxNQUFNLEVBTXpCO0lBRU0sa0JBQWtCLENBQUMsWUFBWSxFQUFFLEVBQUUsRUFBRSw4QkFFM0M7SUFFTSxPQUFPLFlBRWI7SUFFRCxNQUFNLENBQUMsS0FBSyxlQUVYO0lBRUQsTUFBTSxDQUFDLE1BQU0sZUFZWjtJQUVELE1BQU0sS0FBSyxNQUFNLG1EQUVoQjtJQUdELE1BQU0sNEJBRUw7SUFFRDs7Ozs7Ozs7O09BU0c7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLFVBQVUsQ0FnQjNEO0lBRUQ7Ozs7OztPQU1HO0lBQ0gsTUFBTSxDQUFDLG1CQUFtQixDQUFDLFVBQVUsRUFBRSxNQUFNLEdBQUcsVUFBVSxDQWtCekQ7SUFFRDs7OztPQUlHO0lBQ0ksUUFBUSw0QkFPZDtDQUNGO0FBRUQscUJBQWEsMEJBQTBCO0lBVzVCLHNCQUFzQixFQUFFLEVBQUUsRUFBRTtJQVZyQzs7OztPQUlHO0lBQ0ksZUFBZSxDQUFDLEVBQUUsTUFBTSxDQUFDO0lBRWhDLFlBR1Msc0JBQXNCLEVBQUUsRUFBRSxFQUFFLEVBS3BDO0lBRU0sZUFBZSxTQUdyQjtJQUVNLGtCQUFrQixlQUl4QjtJQUVNLE9BQU8sWUFFYjtJQUVELE1BQU0sQ0FBQyxLQUFLLCtCQUVYO0lBRUQsTUFBTSxLQUFLLE1BQU0sbUVBRWhCO0lBR0QsTUFBTSw0QkFFTDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsMEJBQTBCLENBSzNFO0lBRU0sUUFBUSw0QkFFZDtJQUdELE1BQU0sQ0FBQyxlQUFlLENBQUMsTUFBTSxFQUFFLFVBQVUsRUFBRSxHQUFHLDBCQUEwQixDQUd2RTtDQUNGIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"chonk_proof.d.ts","sourceRoot":"","sources":["../../src/proofs/chonk_proof.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,qBAAa,UAAU;IAKZ,MAAM,EAAE,EAAE,EAAE;IAJrB,YAIS,MAAM,EAAE,EAAE,EAAE,EAKpB;IAEM,kBAAkB,CAAC,YAAY,EAAE,EAAE,EAAE,8BAE3C;IAEM,OAAO,YAEb;IAED,MAAM,CAAC,KAAK,eAEX;IAED,MAAM,CAAC,MAAM,eASZ;IAED,MAAM,KAAK,MAAM,mDAEhB;IAGD,MAAM,4BAEL;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,UAAU,CAK3D;IAEM,QAAQ,4BAEd;CACF;AAED,qBAAa,0BAA0B;IAI5B,sBAAsB,EAAE,EAAE,EAAE;IAHrC,YAGS,sBAAsB,EAAE,EAAE,EAAE,EAKpC;IAEM,eAAe,SAGrB;IAEM,kBAAkB,eAGxB;IAEM,OAAO,YAEb;IAED,MAAM,CAAC,KAAK,+BAEX;IAED,MAAM,KAAK,MAAM,mEAEhB;IAGD,MAAM,4BAEL;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,0BAA0B,CAK3E;IAEM,QAAQ,4BAEd;IAGD,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,0BAA0B,CAGvE;CACF"}
1
+ {"version":3,"file":"chonk_proof.d.ts","sourceRoot":"","sources":["../../src/proofs/chonk_proof.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAoC,MAAM,6BAA6B,CAAC;AAE7F;;;;;;;;GAQG;AAGH,qBAAa,UAAU;IAYZ,MAAM,EAAE,EAAE,EAAE;IAXrB;;;;OAIG;IACI,eAAe,CAAC,EAAE,MAAM,CAAC;IAEhC,YAIS,MAAM,EAAE,EAAE,EAAE,EACnB,eAAe,CAAC,EAAE,MAAM,EAMzB;IAEM,kBAAkB,CAAC,YAAY,EAAE,EAAE,EAAE,8BAE3C;IAEM,OAAO,YAEb;IAED,MAAM,CAAC,KAAK,eAEX;IAED,MAAM,CAAC,MAAM,eAYZ;IAED,MAAM,KAAK,MAAM,mDAEhB;IAGD,MAAM,4BAEL;IAED;;;;;;;;;OASG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,UAAU,CAgB3D;IAED;;;;;;OAMG;IACH,MAAM,CAAC,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,UAAU,CAkBzD;IAED;;;;OAIG;IACI,QAAQ,4BAOd;CACF;AAED,qBAAa,0BAA0B;IAW5B,sBAAsB,EAAE,EAAE,EAAE;IAVrC;;;;OAIG;IACI,eAAe,CAAC,EAAE,MAAM,CAAC;IAEhC,YAGS,sBAAsB,EAAE,EAAE,EAAE,EAKpC;IAEM,eAAe,SAGrB;IAEM,kBAAkB,eAIxB;IAEM,OAAO,YAEb;IAED,MAAM,CAAC,KAAK,+BAEX;IAED,MAAM,KAAK,MAAM,mEAEhB;IAGD,MAAM,4BAEL;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,0BAA0B,CAK3E;IAEM,QAAQ,4BAEd;IAGD,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,0BAA0B,CAGvE;CACF"}
@@ -1,19 +1,35 @@
1
+ import { BarretenbergSync, flattenChonkProofFields } from '@aztec/bb.js';
1
2
  import { CHONK_PROOF_LENGTH } from '@aztec/constants';
3
+ import { times } from '@aztec/foundation/collection';
2
4
  import { randomBytes } from '@aztec/foundation/crypto/random';
3
5
  import { Fr } from '@aztec/foundation/curves/bn254';
4
6
  import { bufferSchemaFor } from '@aztec/foundation/schemas';
5
- import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
6
- // CHONK: "Client Honk" - An UltraHonk variant with incremental folding and delayed non-native arithmetic.
7
+ import { BufferReader, numToUInt32BE, serializeToBuffer } from '@aztec/foundation/serialize';
8
+ /**
9
+ * Serialization format detection for ChonkProof is size-based:
10
+ * - UNCOMPRESSED (legacy): [field_count=1632: uint32] [fields...] → total ≈ 52KB (>= 40KB)
11
+ * - COMPRESSED: [byte_count: uint32] [compressed_bytes] → total ≈ 35KB (< 40KB)
12
+ *
13
+ * Detection: if the first uint32 equals CHONK_PROOF_LENGTH (1632), it's legacy format
14
+ * (field count). Otherwise, it's compressed format (byte count). The old uncompressed
15
+ * format is never smaller than 40KB; compressed proofs are always smaller than 40KB.
16
+ */ // CHONK: "Client Honk" - An UltraHonk variant with incremental folding and delayed non-native arithmetic.
7
17
  export class ChonkProof {
8
18
  fields;
19
+ /**
20
+ * Optional compressed proof bytes from chonk compression (point compression + u256 encoding).
21
+ * When set, toBuffer() will serialize in compressed format (~1.7x smaller).
22
+ * When reading from compressed format, this is populated and fields are decompressed on demand.
23
+ */ compressedProof;
9
24
  constructor(// The proof fields.
10
25
  // For native verification, attach public inputs via `attachPublicInputs(publicInputs)`.
11
26
  // Not using Tuple here due to the length being too high.
12
- fields){
27
+ fields, compressedProof){
13
28
  this.fields = fields;
14
29
  if (fields.length !== CHONK_PROOF_LENGTH) {
15
30
  throw new Error(`Invalid ChonkProof length: ${fields.length}`);
16
31
  }
32
+ this.compressedProof = compressedProof;
17
33
  }
18
34
  attachPublicInputs(publicInputs) {
19
35
  return new ChonkProofWithPublicInputs([
@@ -29,11 +45,15 @@ export class ChonkProof {
29
45
  }
30
46
  static random() {
31
47
  // NB: Not using Fr.random here because it slows down some tests that require a large number of txs significantly.
48
+ // NB2: generate one fewer random bytes to not have to deal with buffers representing numbers greater than the field modulus
49
+ // NB3: a chonk proof can be compressed. Simulate this by filling 1/4 of the proof with zero data
32
50
  const reducedFrSize = Fr.SIZE_IN_BYTES - 1;
33
- const randomFields = randomBytes(CHONK_PROOF_LENGTH * reducedFrSize);
34
- const proof = Array.from({
35
- length: CHONK_PROOF_LENGTH
36
- }, (_, i)=>new Fr(randomFields.subarray(i * reducedFrSize, (i + 1) * reducedFrSize)));
51
+ const nonZeroFields = Math.floor(3 * CHONK_PROOF_LENGTH / 4);
52
+ const randomFields = randomBytes(nonZeroFields * Fr.SIZE_IN_BYTES);
53
+ const proof = [
54
+ ...times(nonZeroFields, (i)=>new Fr(randomFields.subarray(i * reducedFrSize, (i + 1) * reducedFrSize))),
55
+ ...times(CHONK_PROOF_LENGTH - nonZeroFields, ()=>Fr.ZERO)
56
+ ];
37
57
  return new ChonkProof(proof);
38
58
  }
39
59
  static get schema() {
@@ -43,18 +63,77 @@ export class ChonkProof {
43
63
  toJSON() {
44
64
  return this.toBuffer();
45
65
  }
46
- static fromBuffer(buffer) {
66
+ /**
67
+ * Deserialize a ChonkProof from a buffer.
68
+ * Supports both legacy (field elements) and compressed (chonk compression) formats.
69
+ *
70
+ * Size-based format detection:
71
+ * - First uint32 == CHONK_PROOF_LENGTH (1632): legacy format, read field elements
72
+ * Total proof data ≈ 52KB (always >= 40KB)
73
+ * - Otherwise: compressed format, first uint32 is byte count of compressed data
74
+ * Total proof data ≈ 35KB (always < 40KB)
75
+ */ static fromBuffer(buffer) {
47
76
  const reader = BufferReader.asReader(buffer);
48
- const proofLength = reader.readNumber();
49
- const proof = reader.readArray(proofLength, Fr);
50
- return new ChonkProof(proof);
51
- }
52
- toBuffer() {
77
+ const firstUint32 = reader.readNumber();
78
+ if (firstUint32 === CHONK_PROOF_LENGTH) {
79
+ // Legacy format: firstUint32 is the field count (1632)
80
+ // Widen to `number` to prevent TS from narrowing to literal 1632,
81
+ // which would cause Tuple<Fr, 1632> to exceed the recursion limit.
82
+ const fieldCount = firstUint32;
83
+ const proof = reader.readArray(fieldCount, Fr);
84
+ return new ChonkProof(proof);
85
+ }
86
+ // Compressed format: firstUint32 is the compressed byte count
87
+ const compressedBytes = reader.readBytes(firstUint32);
88
+ return ChonkProof.fromCompressedBytes(Buffer.from(compressedBytes));
89
+ }
90
+ /**
91
+ * Create a ChonkProof from compressed bytes by decompressing via the BarretenbergSync API.
92
+ * The compressed format uses point compression and u256 encoding (from PR #20645).
93
+ *
94
+ * @param compressed - Compressed proof bytes from chonk compression
95
+ * @returns ChonkProof with both fields and compressed bytes populated
96
+ */ static fromCompressedBytes(compressed) {
97
+ const api = BarretenbergSync.getSingleton();
98
+ const result = api.chonkDecompressProof({
99
+ compressedProof: new Uint8Array(compressed)
100
+ });
101
+ // Flatten the structured bb.js ChonkProof into flat Fr[] field elements
102
+ const flatFields = flattenChonkProofFields(result.proof);
103
+ const fields = flatFields.map((f)=>Fr.fromBuffer(Buffer.from(f)));
104
+ // The decompressed proof includes public inputs in hidingOinkProof.
105
+ // Since ChonkProof stores fields WITHOUT public inputs, strip them.
106
+ // The number of public inputs = total fields - CHONK_PROOF_LENGTH
107
+ if (fields.length > CHONK_PROOF_LENGTH) {
108
+ const numPubInputs = fields.length - CHONK_PROOF_LENGTH;
109
+ const proofFields = fields.slice(numPubInputs);
110
+ return new ChonkProof(proofFields, compressed);
111
+ }
112
+ return new ChonkProof(fields, compressed);
113
+ }
114
+ /**
115
+ * Serialize the proof to a buffer.
116
+ * If compressed bytes are available, uses the compressed format (~1.7x smaller).
117
+ * Otherwise falls back to legacy field element format.
118
+ */ toBuffer() {
119
+ if (this.compressedProof) {
120
+ // Compressed format: [compressed_byte_count: uint32] [compressed_bytes]
121
+ return Buffer.concat([
122
+ numToUInt32BE(this.compressedProof.length),
123
+ this.compressedProof
124
+ ]);
125
+ }
126
+ // Legacy format: [field_count=1632: uint32] [fields...]
53
127
  return serializeToBuffer(this.fields.length, this.fields);
54
128
  }
55
129
  }
56
130
  export class ChonkProofWithPublicInputs {
57
131
  fieldsWithPublicInputs;
132
+ /**
133
+ * Optional compressed proof bytes (covers the full proof WITH public inputs).
134
+ * Set by the prover when using chonk compression. Flows through to ChonkProof
135
+ * via removePublicInputs() so the Tx can serialize in compressed format.
136
+ */ compressedProof;
58
137
  constructor(// The proof fields with public inputs.
59
138
  // For recursive verification, use without public inputs via `removePublicInputs()`.
60
139
  fieldsWithPublicInputs){
@@ -69,7 +148,8 @@ export class ChonkProofWithPublicInputs {
69
148
  }
70
149
  removePublicInputs() {
71
150
  const numPublicInputs = this.fieldsWithPublicInputs.length - CHONK_PROOF_LENGTH;
72
- return new ChonkProof(this.fieldsWithPublicInputs.slice(numPublicInputs));
151
+ // Flow compressed proof bytes through so the ChonkProof can serialize efficiently
152
+ return new ChonkProof(this.fieldsWithPublicInputs.slice(numPublicInputs), this.compressedProof);
73
153
  }
74
154
  isEmpty() {
75
155
  return this.fieldsWithPublicInputs.every((field)=>field.isZero());
@@ -7,6 +7,9 @@ import { BufferReader } from '@aztec/foundation/serialize';
7
7
  * communication and storage.
8
8
  */
9
9
  export declare class Proof {
10
+ /**
11
+ * Holds the serialized proof data in a binary buffer format.
12
+ */
10
13
  buffer: Buffer;
11
14
  numPublicInputs: number;
12
15
  readonly __proofBrand: any;
@@ -58,4 +61,4 @@ export declare class Proof {
58
61
  * @returns The empty "proof".
59
62
  */
60
63
  export declare function makeEmptyProof(): Proof;
61
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvb2YuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wcm9vZnMvcHJvb2YudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFPOUU7Ozs7O0dBS0c7QUFDSCxxQkFBYSxLQUFLO0lBUVAsTUFBTSxFQUFFLE1BQU07SUFFZCxlQUFlLEVBQUUsTUFBTTtJQVJoQyxRQUFRLENBQUMsWUFBWSxFQUFFLEdBQUcsQ0FBQztJQUUzQjtJQUNFOztPQUVHO0lBQ0ksTUFBTSxFQUFFLE1BQU0sRUFFZCxlQUFlLEVBQUUsTUFBTSxFQUM1QjtJQUVKOzs7Ozs7T0FNRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsS0FBSyxDQU10RDtJQUVEOzs7OztPQUtHO0lBQ0ksUUFBUSw0QkFFZDtJQUVEOzs7T0FHRztJQUNJLFFBQVEsa0JBRWQ7SUFFRDs7O09BR0c7SUFDSSxtQkFBbUIsSUFBSSxNQUFNLENBV25DO0lBS00sbUJBQW1CLElBQUksRUFBRSxFQUFFLENBVWpDO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxFQUFFLE1BQU0sU0FFNUI7SUFFRCxvREFBb0Q7SUFDN0MsT0FBTyxZQUliO0lBRUQsOEJBQThCO0lBQzlCLE1BQU0sQ0FBQyxLQUFLLFVBRVg7Q0FDRjtBQUVEOzs7O0dBSUc7QUFDSCx3QkFBZ0IsY0FBYyxVQUU3QiJ9
64
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvb2YuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wcm9vZnMvcHJvb2YudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFPOUU7Ozs7O0dBS0c7QUFDSCxxQkFBYSxLQUFLO0lBS2Q7O09BRUc7SUFDSSxNQUFNLEVBQUUsTUFBTTtJQUVkLGVBQWUsRUFBRSxNQUFNO0lBUmhDLFFBQVEsQ0FBQyxZQUFZLEVBQUUsR0FBRyxDQUFDO0lBRTNCO0lBQ0U7O09BRUc7SUFDSSxNQUFNLEVBQUUsTUFBTSxFQUVkLGVBQWUsRUFBRSxNQUFNLEVBQzVCO0lBRUo7Ozs7OztPQU1HO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxLQUFLLENBTXREO0lBRUQ7Ozs7O09BS0c7SUFDSSxRQUFRLDRCQUVkO0lBRUQ7OztPQUdHO0lBQ0ksUUFBUSxrQkFFZDtJQUVEOzs7T0FHRztJQUNJLG1CQUFtQixJQUFJLE1BQU0sQ0FXbkM7SUFLTSxtQkFBbUIsSUFBSSxFQUFFLEVBQUUsQ0FVakM7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxTQUU1QjtJQUVELG9EQUFvRDtJQUM3QyxPQUFPLFlBSWI7SUFFRCw4QkFBOEI7SUFDOUIsTUFBTSxDQUFDLEtBQUssVUFFWDtDQUNGO0FBRUQ7Ozs7R0FJRztBQUNILHdCQUFnQixjQUFjLFVBRTdCIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"proof.d.ts","sourceRoot":"","sources":["../../src/proofs/proof.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAO9E;;;;;GAKG;AACH,qBAAa,KAAK;IAQP,MAAM,EAAE,MAAM;IAEd,eAAe,EAAE,MAAM;IARhC,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC;IAE3B;IACE;;OAEG;IACI,MAAM,EAAE,MAAM,EAEd,eAAe,EAAE,MAAM,EAC5B;IAEJ;;;;;;OAMG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,KAAK,CAMtD;IAED;;;;;OAKG;IACI,QAAQ,4BAEd;IAED;;;OAGG;IACI,QAAQ,kBAEd;IAED;;;OAGG;IACI,mBAAmB,IAAI,MAAM,CAWnC;IAKM,mBAAmB,IAAI,EAAE,EAAE,CAUjC;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,SAE5B;IAED,oDAAoD;IAC7C,OAAO,YAIb;IAED,8BAA8B;IAC9B,MAAM,CAAC,KAAK,UAEX;CACF;AAED;;;;GAIG;AACH,wBAAgB,cAAc,UAE7B"}
1
+ {"version":3,"file":"proof.d.ts","sourceRoot":"","sources":["../../src/proofs/proof.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAO9E;;;;;GAKG;AACH,qBAAa,KAAK;IAKd;;OAEG;IACI,MAAM,EAAE,MAAM;IAEd,eAAe,EAAE,MAAM;IARhC,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC;IAE3B;IACE;;OAEG;IACI,MAAM,EAAE,MAAM,EAEd,eAAe,EAAE,MAAM,EAC5B;IAEJ;;;;;;OAMG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,KAAK,CAMtD;IAED;;;;;OAKG;IACI,QAAQ,4BAEd;IAED;;;OAGG;IACI,QAAQ,kBAEd;IAED;;;OAGG;IACI,mBAAmB,IAAI,MAAM,CAWnC;IAKM,mBAAmB,IAAI,EAAE,EAAE,CAUjC;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,SAE5B;IAED,oDAAoD;IAC7C,OAAO,YAIb;IAED,8BAA8B;IAC9B,MAAM,CAAC,KAAK,UAEX;CACF;AAED;;;;GAIG;AACH,wBAAgB,cAAc,UAE7B"}
@@ -12,8 +12,17 @@ import { Proof } from './proof.js';
12
12
  * This is usually when the proof has been received from clients and signals to provers that the 'fields' version needs to be generated
13
13
  */
14
14
  export declare class RecursiveProof<N extends number> {
15
+ /**
16
+ * Holds the serialized proof data in an array of fields, this is without the public inputs
17
+ */
15
18
  proof: Fr[];
19
+ /**
20
+ * Holds the serialized proof data in a binary buffer, this contains the public inputs
21
+ */
16
22
  binaryProof: Proof;
23
+ /**
24
+ * This flag determines if the 'proof' member is valid, or if we need to generate it from the 'binaryProof' first
25
+ */
17
26
  fieldsValid: boolean;
18
27
  proofLength: N;
19
28
  constructor(
@@ -72,4 +81,4 @@ export declare function makeRecursiveProof<PROOF_LENGTH extends number>(size: PR
72
81
  * @returns The proof object
73
82
  */
74
83
  export declare function makeRecursiveProofFromBinary<PROOF_LENGTH extends number>(proof: Proof, size: PROOF_LENGTH): RecursiveProof<PROOF_LENGTH>;
75
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicmVjdXJzaXZlX3Byb29mLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcHJvb2ZzL3JlY3Vyc2l2ZV9wcm9vZi50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFcEQsT0FBTyxFQUFFLFlBQVksRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUc5RSxPQUFPLEVBQUUsS0FBSyxFQUFrQixNQUFNLFlBQVksQ0FBQztBQUVuRDs7Ozs7Ozs7O0dBU0c7QUFDSCxxQkFBYSxjQUFjLENBQUMsQ0FBQyxTQUFTLE1BQU07SUFLakMsS0FBSyxFQUFFLEVBQUUsRUFBRTtJQUtYLFdBQVcsRUFBRSxLQUFLO0lBSWxCLFdBQVcsRUFBRSxPQUFPO0lBQ3BCLFdBQVcsRUFBRSxDQUFDO0lBZHZCO0lBQ0U7O09BRUc7SUFDSSxLQUFLLEVBQUUsRUFBRSxFQUFFO0lBRWxCOztPQUVHO0lBQ0ksV0FBVyxFQUFFLEtBQUs7SUFDekI7O09BRUc7SUFDSSxXQUFXLEVBQUUsT0FBTyxFQUNwQixXQUFXLEVBQUUsQ0FBQyxFQUt0QjtJQUVEOzs7Ozs7T0FNRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsQ0FBQyxTQUFTLE1BQU0sRUFBRSxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksRUFBRSxZQUFZLENBQUMsRUFBRSxDQUFDLEdBQUcsY0FBYyxDQUFDLENBQUMsQ0FBQyxDQVl0RztJQUVEOzs7OztPQUtHO0lBQ0ksUUFBUSw0QkFFZDtJQUVEOzs7T0FHRztJQUNJLFFBQVEsa0JBRWQ7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxDQUFDLFNBQVMsTUFBTSxFQUFFLEdBQUcsRUFBRSxNQUFNLEVBQUUsWUFBWSxDQUFDLEVBQUUsQ0FBQyxHQUFHLGNBQWMsQ0FBQyxDQUFDLENBQUMsQ0FFcEY7SUFFRCw4REFBOEQ7SUFDOUQsTUFBTSw0QkFFTDtJQUVELGdFQUFnRTtJQUNoRSxNQUFNLENBQUMsU0FBUyxDQUFDLENBQUMsU0FBUyxNQUFNLEVBQUUsWUFBWSxDQUFDLEVBQUUsQ0FBQyx5SEFFbEQ7Q0FDRjtBQUVEOzs7O0dBSUc7QUFDSCx3QkFBZ0IsdUJBQXVCLENBQUMsQ0FBQyxTQUFTLE1BQU0sRUFBRSxJQUFJLEVBQUUsQ0FBQyxxQkFFaEU7QUFFRCx3QkFBZ0Isa0JBQWtCLENBQUMsWUFBWSxTQUFTLE1BQU0sRUFBRSxJQUFJLEVBQUUsWUFBWSxFQUFFLElBQUksU0FBSSxnQ0FPM0Y7QUFFRDs7O0dBR0c7QUFDSCx3QkFBZ0IsNEJBQTRCLENBQUMsWUFBWSxTQUFTLE1BQU0sRUFBRSxLQUFLLEVBQUUsS0FBSyxFQUFFLElBQUksRUFBRSxZQUFZLGdDQUV6RyJ9
84
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicmVjdXJzaXZlX3Byb29mLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcHJvb2ZzL3JlY3Vyc2l2ZV9wcm9vZi50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFcEQsT0FBTyxFQUFFLFlBQVksRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUc5RSxPQUFPLEVBQUUsS0FBSyxFQUFrQixNQUFNLFlBQVksQ0FBQztBQUVuRDs7Ozs7Ozs7O0dBU0c7QUFDSCxxQkFBYSxjQUFjLENBQUMsQ0FBQyxTQUFTLE1BQU07SUFFeEM7O09BRUc7SUFDSSxLQUFLLEVBQUUsRUFBRSxFQUFFO0lBRWxCOztPQUVHO0lBQ0ksV0FBVyxFQUFFLEtBQUs7SUFDekI7O09BRUc7SUFDSSxXQUFXLEVBQUUsT0FBTztJQUNwQixXQUFXLEVBQUUsQ0FBQztJQWR2QjtJQUNFOztPQUVHO0lBQ0ksS0FBSyxFQUFFLEVBQUUsRUFBRTtJQUVsQjs7T0FFRztJQUNJLFdBQVcsRUFBRSxLQUFLO0lBQ3pCOztPQUVHO0lBQ0ksV0FBVyxFQUFFLE9BQU8sRUFDcEIsV0FBVyxFQUFFLENBQUMsRUFLdEI7SUFFRDs7Ozs7O09BTUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLENBQUMsU0FBUyxNQUFNLEVBQUUsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEVBQUUsWUFBWSxDQUFDLEVBQUUsQ0FBQyxHQUFHLGNBQWMsQ0FBQyxDQUFDLENBQUMsQ0FZdEc7SUFFRDs7Ozs7T0FLRztJQUNJLFFBQVEsNEJBRWQ7SUFFRDs7O09BR0c7SUFDSSxRQUFRLGtCQUVkO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsQ0FBQyxTQUFTLE1BQU0sRUFBRSxHQUFHLEVBQUUsTUFBTSxFQUFFLFlBQVksQ0FBQyxFQUFFLENBQUMsR0FBRyxjQUFjLENBQUMsQ0FBQyxDQUFDLENBRXBGO0lBRUQsOERBQThEO0lBQzlELE1BQU0sNEJBRUw7SUFFRCxnRUFBZ0U7SUFDaEUsTUFBTSxDQUFDLFNBQVMsQ0FBQyxDQUFDLFNBQVMsTUFBTSxFQUFFLFlBQVksQ0FBQyxFQUFFLENBQUMseUhBRWxEO0NBQ0Y7QUFFRDs7OztHQUlHO0FBQ0gsd0JBQWdCLHVCQUF1QixDQUFDLENBQUMsU0FBUyxNQUFNLEVBQUUsSUFBSSxFQUFFLENBQUMscUJBRWhFO0FBRUQsd0JBQWdCLGtCQUFrQixDQUFDLFlBQVksU0FBUyxNQUFNLEVBQUUsSUFBSSxFQUFFLFlBQVksRUFBRSxJQUFJLFNBQUksZ0NBTzNGO0FBRUQ7OztHQUdHO0FBQ0gsd0JBQWdCLDRCQUE0QixDQUFDLFlBQVksU0FBUyxNQUFNLEVBQUUsS0FBSyxFQUFFLEtBQUssRUFBRSxJQUFJLEVBQUUsWUFBWSxnQ0FFekcifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"recursive_proof.d.ts","sourceRoot":"","sources":["../../src/proofs/recursive_proof.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,EAAE,KAAK,EAAkB,MAAM,YAAY,CAAC;AAEnD;;;;;;;;;GASG;AACH,qBAAa,cAAc,CAAC,CAAC,SAAS,MAAM;IAKjC,KAAK,EAAE,EAAE,EAAE;IAKX,WAAW,EAAE,KAAK;IAIlB,WAAW,EAAE,OAAO;IACpB,WAAW,EAAE,CAAC;IAdvB;IACE;;OAEG;IACI,KAAK,EAAE,EAAE,EAAE;IAElB;;OAEG;IACI,WAAW,EAAE,KAAK;IACzB;;OAEG;IACI,WAAW,EAAE,OAAO,EACpB,WAAW,EAAE,CAAC,EAKtB;IAED;;;;;;OAMG;IACH,MAAM,CAAC,UAAU,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,YAAY,EAAE,YAAY,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAYtG;IAED;;;;;OAKG;IACI,QAAQ,4BAEd;IAED;;;OAGG;IACI,QAAQ,kBAEd;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,CAAC,SAAS,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAEpF;IAED,8DAA8D;IAC9D,MAAM,4BAEL;IAED,gEAAgE;IAChE,MAAM,CAAC,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,YAAY,CAAC,EAAE,CAAC,yHAElD;CACF;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,qBAEhE;AAED,wBAAgB,kBAAkB,CAAC,YAAY,SAAS,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,SAAI,gCAO3F;AAED;;;GAGG;AACH,wBAAgB,4BAA4B,CAAC,YAAY,SAAS,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,gCAEzG"}
1
+ {"version":3,"file":"recursive_proof.d.ts","sourceRoot":"","sources":["../../src/proofs/recursive_proof.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,EAAE,KAAK,EAAkB,MAAM,YAAY,CAAC;AAEnD;;;;;;;;;GASG;AACH,qBAAa,cAAc,CAAC,CAAC,SAAS,MAAM;IAExC;;OAEG;IACI,KAAK,EAAE,EAAE,EAAE;IAElB;;OAEG;IACI,WAAW,EAAE,KAAK;IACzB;;OAEG;IACI,WAAW,EAAE,OAAO;IACpB,WAAW,EAAE,CAAC;IAdvB;IACE;;OAEG;IACI,KAAK,EAAE,EAAE,EAAE;IAElB;;OAEG;IACI,WAAW,EAAE,KAAK;IACzB;;OAEG;IACI,WAAW,EAAE,OAAO,EACpB,WAAW,EAAE,CAAC,EAKtB;IAED;;;;;;OAMG;IACH,MAAM,CAAC,UAAU,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,YAAY,EAAE,YAAY,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAYtG;IAED;;;;;OAKG;IACI,QAAQ,4BAEd;IAED;;;OAGG;IACI,QAAQ,kBAEd;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,CAAC,SAAS,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAEpF;IAED,8DAA8D;IAC9D,MAAM,4BAEL;IAED,gEAAgE;IAChE,MAAM,CAAC,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,YAAY,CAAC,EAAE,CAAC,yHAElD;CACF;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,qBAEhE;AAED,wBAAgB,kBAAkB,CAAC,YAAY,SAAS,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,SAAI,gCAO3F;AAED;;;GAGG;AACH,wBAAgB,4BAA4B,CAAC,YAAY,SAAS,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,gCAEzG"}
@@ -11,12 +11,33 @@ import { BlockConstantData } from './block_constant_data.js';
11
11
  import { TreeSnapshotDiffHints } from './tree_snapshot_diff_hints.js';
12
12
  export type BaseRollupHints = PrivateBaseRollupHints | PublicBaseRollupHints;
13
13
  export declare class PrivateBaseRollupHints {
14
+ /**
15
+ * Partial state reference at the start of the rollup.
16
+ */
14
17
  start: PartialStateReference;
18
+ /**
19
+ * Sponge state to absorb blob inputs at the start of the rollup.
20
+ */
15
21
  startSpongeBlob: SpongeBlob;
22
+ /**
23
+ * Hints used while proving state diff validity.
24
+ */
16
25
  treeSnapshotDiffHints: TreeSnapshotDiffHints;
26
+ /**
27
+ * Public data tree leaf preimage for accessing the balance of the fee payer.
28
+ */
17
29
  feePayerBalanceLeafPreimage: PublicDataTreeLeafPreimage;
30
+ /**
31
+ * Membership witnesses of blocks referred by each of the 2 kernels.
32
+ */
18
33
  anchorBlockArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>;
34
+ /**
35
+ * Preimages to the kernel's contractClassLogsHashes.
36
+ */
19
37
  contractClassLogsFields: Tuple<ContractClassLogFields, typeof MAX_CONTRACT_CLASS_LOGS_PER_TX>;
38
+ /**
39
+ * Data which is not modified by the base rollup circuit.
40
+ */
20
41
  constants: BlockConstantData;
21
42
  constructor(
22
43
  /**
@@ -64,9 +85,21 @@ export declare class PrivateBaseRollupHints {
64
85
  static empty(): PrivateBaseRollupHints;
65
86
  }
66
87
  export declare class PublicBaseRollupHints {
88
+ /**
89
+ * Sponge state to absorb blob inputs at the start of the rollup.
90
+ */
67
91
  startSpongeBlob: SpongeBlob;
92
+ /**
93
+ * Archive tree snapshot at the very beginning of the block containing this base rollup.
94
+ */
68
95
  lastArchive: AppendOnlyTreeSnapshot;
96
+ /**
97
+ * Membership witnesses of blocks referred by each of the 2 kernels.
98
+ */
69
99
  anchorBlockArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>;
100
+ /**
101
+ * Preimages to the kernel's contractClassLogsHashes.
102
+ */
70
103
  contractClassLogsFields: Tuple<ContractClassLogFields, typeof MAX_CONTRACT_CLASS_LOGS_PER_TX>;
71
104
  constructor(
72
105
  /**
@@ -101,4 +134,4 @@ export declare class PublicBaseRollupHints {
101
134
  static fromString(str: string): PublicBaseRollupHints;
102
135
  static empty(): PublicBaseRollupHints;
103
136
  }
104
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmFzZV9yb2xsdXBfaGludHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9yb2xsdXAvYmFzZV9yb2xsdXBfaGludHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ25ELE9BQU8sRUFBRSxjQUFjLEVBQUUsOEJBQThCLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUVsRixPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFFLFlBQVksRUFBRSxLQUFLLEtBQUssRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUUxRixPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUV4RCxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUMxRCxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx1Q0FBdUMsQ0FBQztBQUMvRSxPQUFPLEVBQUUsMEJBQTBCLEVBQUUsTUFBTSw4QkFBOEIsQ0FBQztBQUMxRSxPQUFPLEVBQUUscUJBQXFCLEVBQUUsTUFBTSxrQ0FBa0MsQ0FBQztBQUN6RSxPQUFPLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUM3RCxPQUFPLEVBQUUscUJBQXFCLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUV0RSxNQUFNLE1BQU0sZUFBZSxHQUFHLHNCQUFzQixHQUFHLHFCQUFxQixDQUFDO0FBRTdFLHFCQUFhLHNCQUFzQjtJQUt4QixLQUFLLEVBQUUscUJBQXFCO0lBSTVCLGVBQWUsRUFBRSxVQUFVO0lBSTNCLHFCQUFxQixFQUFFLHFCQUFxQjtJQUk1QywyQkFBMkIsRUFBRSwwQkFBMEI7SUFJdkQsNkJBQTZCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLGNBQWMsQ0FBQztJQUkvRCx1QkFBdUIsRUFBRSxLQUFLLENBQUMsc0JBQXNCLEVBQUUsT0FBTyw4QkFBOEIsQ0FBQztJQUk3RixTQUFTLEVBQUUsaUJBQWlCO0lBNUJyQztJQUNFOztPQUVHO0lBQ0ksS0FBSyxFQUFFLHFCQUFxQjtJQUNuQzs7T0FFRztJQUNJLGVBQWUsRUFBRSxVQUFVO0lBQ2xDOztPQUVHO0lBQ0kscUJBQXFCLEVBQUUscUJBQXFCO0lBQ25EOztPQUVHO0lBQ0ksMkJBQTJCLEVBQUUsMEJBQTBCO0lBQzlEOztPQUVHO0lBQ0ksNkJBQTZCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLGNBQWMsQ0FBQztJQUN0RTs7T0FFRztJQUNJLHVCQUF1QixFQUFFLEtBQUssQ0FBQyxzQkFBc0IsRUFBRSxPQUFPLDhCQUE4QixDQUFDO0lBQ3BHOztPQUVHO0lBQ0ksU0FBUyxFQUFFLGlCQUFpQixFQUNqQztJQUVKLE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxzQkFBc0IsQ0FBQyxHQUFHLHNCQUFzQixDQUU1RTtJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxzQkFBc0IsQ0FBQywwUUFVeEQ7SUFFRDs7O09BR0c7SUFDSCxRQUFRLDRCQUVQO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSxrQkFFUDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsc0JBQXNCLENBV3ZFO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSwwQkFFNUI7SUFFRCxNQUFNLENBQUMsS0FBSywyQkFVWDtDQUNGO0FBRUQscUJBQWEscUJBQXFCO0lBS3ZCLGVBQWUsRUFBRSxVQUFVO0lBSTNCLFdBQVcsRUFBRSxzQkFBc0I7SUFJbkMsNkJBQTZCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLGNBQWMsQ0FBQztJQUkvRCx1QkFBdUIsRUFBRSxLQUFLLENBQUMsc0JBQXNCLEVBQUUsT0FBTyw4QkFBOEIsQ0FBQztJQWhCdEc7SUFDRTs7T0FFRztJQUNJLGVBQWUsRUFBRSxVQUFVO0lBQ2xDOztPQUVHO0lBQ0ksV0FBVyxFQUFFLHNCQUFzQjtJQUMxQzs7T0FFRztJQUNJLDZCQUE2QixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTyxjQUFjLENBQUM7SUFDdEU7O09BRUc7SUFDSSx1QkFBdUIsRUFBRSxLQUFLLENBQUMsc0JBQXNCLEVBQUUsT0FBTyw4QkFBOEIsQ0FBQyxFQUNsRztJQUVKLE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxxQkFBcUIsQ0FBQyxHQUFHLHFCQUFxQixDQUUxRTtJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxxQkFBcUIsQ0FBQyxxTUFPdkQ7SUFFRDs7O09BR0c7SUFDSCxRQUFRLDRCQUVQO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSxrQkFFUDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcscUJBQXFCLENBUXRFO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSx5QkFFNUI7SUFFRCxNQUFNLENBQUMsS0FBSywwQkFPWDtDQUNGIn0=
137
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmFzZV9yb2xsdXBfaGludHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9yb2xsdXAvYmFzZV9yb2xsdXBfaGludHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ25ELE9BQU8sRUFBRSxjQUFjLEVBQUUsOEJBQThCLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUVsRixPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFFLFlBQVksRUFBRSxLQUFLLEtBQUssRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUUxRixPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUV4RCxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUMxRCxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx1Q0FBdUMsQ0FBQztBQUMvRSxPQUFPLEVBQUUsMEJBQTBCLEVBQUUsTUFBTSw4QkFBOEIsQ0FBQztBQUMxRSxPQUFPLEVBQUUscUJBQXFCLEVBQUUsTUFBTSxrQ0FBa0MsQ0FBQztBQUN6RSxPQUFPLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUM3RCxPQUFPLEVBQUUscUJBQXFCLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUV0RSxNQUFNLE1BQU0sZUFBZSxHQUFHLHNCQUFzQixHQUFHLHFCQUFxQixDQUFDO0FBRTdFLHFCQUFhLHNCQUFzQjtJQUUvQjs7T0FFRztJQUNJLEtBQUssRUFBRSxxQkFBcUI7SUFDbkM7O09BRUc7SUFDSSxlQUFlLEVBQUUsVUFBVTtJQUNsQzs7T0FFRztJQUNJLHFCQUFxQixFQUFFLHFCQUFxQjtJQUNuRDs7T0FFRztJQUNJLDJCQUEyQixFQUFFLDBCQUEwQjtJQUM5RDs7T0FFRztJQUNJLDZCQUE2QixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTyxjQUFjLENBQUM7SUFDdEU7O09BRUc7SUFDSSx1QkFBdUIsRUFBRSxLQUFLLENBQUMsc0JBQXNCLEVBQUUsT0FBTyw4QkFBOEIsQ0FBQztJQUNwRzs7T0FFRztJQUNJLFNBQVMsRUFBRSxpQkFBaUI7SUE1QnJDO0lBQ0U7O09BRUc7SUFDSSxLQUFLLEVBQUUscUJBQXFCO0lBQ25DOztPQUVHO0lBQ0ksZUFBZSxFQUFFLFVBQVU7SUFDbEM7O09BRUc7SUFDSSxxQkFBcUIsRUFBRSxxQkFBcUI7SUFDbkQ7O09BRUc7SUFDSSwyQkFBMkIsRUFBRSwwQkFBMEI7SUFDOUQ7O09BRUc7SUFDSSw2QkFBNkIsRUFBRSxLQUFLLENBQUMsRUFBRSxFQUFFLE9BQU8sY0FBYyxDQUFDO0lBQ3RFOztPQUVHO0lBQ0ksdUJBQXVCLEVBQUUsS0FBSyxDQUFDLHNCQUFzQixFQUFFLE9BQU8sOEJBQThCLENBQUM7SUFDcEc7O09BRUc7SUFDSSxTQUFTLEVBQUUsaUJBQWlCLEVBQ2pDO0lBRUosTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLHNCQUFzQixDQUFDLEdBQUcsc0JBQXNCLENBRTVFO0lBRUQsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLHNCQUFzQixDQUFDLDBRQVV4RDtJQUVEOzs7T0FHRztJQUNILFFBQVEsNEJBRVA7SUFFRDs7O09BR0c7SUFDSCxRQUFRLGtCQUVQO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxzQkFBc0IsQ0FXdkU7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLDBCQUU1QjtJQUVELE1BQU0sQ0FBQyxLQUFLLDJCQVVYO0NBQ0Y7QUFFRCxxQkFBYSxxQkFBcUI7SUFFOUI7O09BRUc7SUFDSSxlQUFlLEVBQUUsVUFBVTtJQUNsQzs7T0FFRztJQUNJLFdBQVcsRUFBRSxzQkFBc0I7SUFDMUM7O09BRUc7SUFDSSw2QkFBNkIsRUFBRSxLQUFLLENBQUMsRUFBRSxFQUFFLE9BQU8sY0FBYyxDQUFDO0lBQ3RFOztPQUVHO0lBQ0ksdUJBQXVCLEVBQUUsS0FBSyxDQUFDLHNCQUFzQixFQUFFLE9BQU8sOEJBQThCLENBQUM7SUFoQnRHO0lBQ0U7O09BRUc7SUFDSSxlQUFlLEVBQUUsVUFBVTtJQUNsQzs7T0FFRztJQUNJLFdBQVcsRUFBRSxzQkFBc0I7SUFDMUM7O09BRUc7SUFDSSw2QkFBNkIsRUFBRSxLQUFLLENBQUMsRUFBRSxFQUFFLE9BQU8sY0FBYyxDQUFDO0lBQ3RFOztPQUVHO0lBQ0ksdUJBQXVCLEVBQUUsS0FBSyxDQUFDLHNCQUFzQixFQUFFLE9BQU8sOEJBQThCLENBQUMsRUFDbEc7SUFFSixNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMscUJBQXFCLENBQUMsR0FBRyxxQkFBcUIsQ0FFMUU7SUFFRCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMscUJBQXFCLENBQUMscU1BT3ZEO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSw0QkFFUDtJQUVEOzs7T0FHRztJQUNILFFBQVEsa0JBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLHFCQUFxQixDQVF0RTtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxFQUFFLE1BQU0seUJBRTVCO0lBRUQsTUFBTSxDQUFDLEtBQUssMEJBT1g7Q0FDRiJ9
@@ -1 +1 @@
1
- {"version":3,"file":"base_rollup_hints.d.ts","sourceRoot":"","sources":["../../src/rollup/base_rollup_hints.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,8BAA8B,EAAE,MAAM,kBAAkB,CAAC;AAElF,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAE1F,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAEtE,MAAM,MAAM,eAAe,GAAG,sBAAsB,GAAG,qBAAqB,CAAC;AAE7E,qBAAa,sBAAsB;IAKxB,KAAK,EAAE,qBAAqB;IAI5B,eAAe,EAAE,UAAU;IAI3B,qBAAqB,EAAE,qBAAqB;IAI5C,2BAA2B,EAAE,0BAA0B;IAIvD,6BAA6B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAI/D,uBAAuB,EAAE,KAAK,CAAC,sBAAsB,EAAE,OAAO,8BAA8B,CAAC;IAI7F,SAAS,EAAE,iBAAiB;IA5BrC;IACE;;OAEG;IACI,KAAK,EAAE,qBAAqB;IACnC;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,qBAAqB,EAAE,qBAAqB;IACnD;;OAEG;IACI,2BAA2B,EAAE,0BAA0B;IAC9D;;OAEG;IACI,6BAA6B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACtE;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,sBAAsB,EAAE,OAAO,8BAA8B,CAAC;IACpG;;OAEG;IACI,SAAS,EAAE,iBAAiB,EACjC;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,GAAG,sBAAsB,CAE5E;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,0QAUxD;IAED;;;OAGG;IACH,QAAQ,4BAEP;IAED;;;OAGG;IACH,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB,CAWvE;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,0BAE5B;IAED,MAAM,CAAC,KAAK,2BAUX;CACF;AAED,qBAAa,qBAAqB;IAKvB,eAAe,EAAE,UAAU;IAI3B,WAAW,EAAE,sBAAsB;IAInC,6BAA6B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAI/D,uBAAuB,EAAE,KAAK,CAAC,sBAAsB,EAAE,OAAO,8BAA8B,CAAC;IAhBtG;IACE;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,WAAW,EAAE,sBAAsB;IAC1C;;OAEG;IACI,6BAA6B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACtE;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,sBAAsB,EAAE,OAAO,8BAA8B,CAAC,EAClG;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,qMAOvD;IAED;;;OAGG;IACH,QAAQ,4BAEP;IAED;;;OAGG;IACH,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qBAAqB,CAQtE;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,yBAE5B;IAED,MAAM,CAAC,KAAK,0BAOX;CACF"}
1
+ {"version":3,"file":"base_rollup_hints.d.ts","sourceRoot":"","sources":["../../src/rollup/base_rollup_hints.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,8BAA8B,EAAE,MAAM,kBAAkB,CAAC;AAElF,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAE1F,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAEtE,MAAM,MAAM,eAAe,GAAG,sBAAsB,GAAG,qBAAqB,CAAC;AAE7E,qBAAa,sBAAsB;IAE/B;;OAEG;IACI,KAAK,EAAE,qBAAqB;IACnC;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,qBAAqB,EAAE,qBAAqB;IACnD;;OAEG;IACI,2BAA2B,EAAE,0BAA0B;IAC9D;;OAEG;IACI,6BAA6B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACtE;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,sBAAsB,EAAE,OAAO,8BAA8B,CAAC;IACpG;;OAEG;IACI,SAAS,EAAE,iBAAiB;IA5BrC;IACE;;OAEG;IACI,KAAK,EAAE,qBAAqB;IACnC;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,qBAAqB,EAAE,qBAAqB;IACnD;;OAEG;IACI,2BAA2B,EAAE,0BAA0B;IAC9D;;OAEG;IACI,6BAA6B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACtE;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,sBAAsB,EAAE,OAAO,8BAA8B,CAAC;IACpG;;OAEG;IACI,SAAS,EAAE,iBAAiB,EACjC;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,GAAG,sBAAsB,CAE5E;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,0QAUxD;IAED;;;OAGG;IACH,QAAQ,4BAEP;IAED;;;OAGG;IACH,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB,CAWvE;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,0BAE5B;IAED,MAAM,CAAC,KAAK,2BAUX;CACF;AAED,qBAAa,qBAAqB;IAE9B;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,WAAW,EAAE,sBAAsB;IAC1C;;OAEG;IACI,6BAA6B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACtE;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,sBAAsB,EAAE,OAAO,8BAA8B,CAAC;IAhBtG;IACE;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,WAAW,EAAE,sBAAsB;IAC1C;;OAEG;IACI,6BAA6B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACtE;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,sBAAsB,EAAE,OAAO,8BAA8B,CAAC,EAClG;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,qMAOvD;IAED;;;OAGG;IACH,QAAQ,4BAEP;IAED;;;OAGG;IACH,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qBAAqB,CAQtE;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,yBAE5B;IAED,MAAM,CAAC,KAAK,0BAOX;CACF"}
@@ -7,11 +7,22 @@ import { GlobalVariables } from '../tx/global_variables.js';
7
7
  * Constants that are the same for the entire block.
8
8
  */
9
9
  export declare class BlockConstantData {
10
+ /** Archive tree snapshot at the very beginning of the entire rollup. */
10
11
  lastArchive: AppendOnlyTreeSnapshot;
12
+ /**
13
+ * L1-to-L2 message tree snapshot after this block lands.
14
+ * For the first block in a checkpoint, this should be the snapshot after inserting the new l1-to-l2 message subtree
15
+ * into the last l1-to-l2 tree snapshot in `last_archive`.
16
+ * For subsequent blocks, this should match the snapshot of the previous block.
17
+ */
11
18
  l1ToL2TreeSnapshot: AppendOnlyTreeSnapshot;
19
+ /** Root of the verification key tree. */
12
20
  vkTreeRoot: Fr;
21
+ /** Hash of the protocol contracts list. */
13
22
  protocolContractsHash: Fr;
23
+ /** Global variables for the block. */
14
24
  globalVariables: GlobalVariables;
25
+ /** Identifier of the prover. */
15
26
  proverId: Fr;
16
27
  constructor(
17
28
  /** Archive tree snapshot at the very beginning of the entire rollup. */
@@ -37,4 +48,4 @@ export declare class BlockConstantData {
37
48
  static empty(): BlockConstantData;
38
49
  toBuffer(): Buffer<ArrayBufferLike>;
39
50
  }
40
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmxvY2tfY29uc3RhbnRfZGF0YS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3JvbGx1cC9ibG9ja19jb25zdGFudF9kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLDZCQUE2QixDQUFDO0FBQzlFLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhELE9BQU8sRUFBRSxzQkFBc0IsRUFBRSxNQUFNLHVDQUF1QyxDQUFDO0FBQy9FLE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUU1RDs7R0FFRztBQUNILHFCQUFhLGlCQUFpQjtJQUduQixXQUFXLEVBQUUsc0JBQXNCO0lBT25DLGtCQUFrQixFQUFFLHNCQUFzQjtJQUUxQyxVQUFVLEVBQUUsRUFBRTtJQUVkLHFCQUFxQixFQUFFLEVBQUU7SUFFekIsZUFBZSxFQUFFLGVBQWU7SUFFaEMsUUFBUSxFQUFFLEVBQUU7SUFqQnJCO0lBQ0Usd0VBQXdFO0lBQ2pFLFdBQVcsRUFBRSxzQkFBc0I7SUFDMUM7Ozs7O09BS0c7SUFDSSxrQkFBa0IsRUFBRSxzQkFBc0I7SUFDakQseUNBQXlDO0lBQ2xDLFVBQVUsRUFBRSxFQUFFO0lBQ3JCLDJDQUEyQztJQUNwQyxxQkFBcUIsRUFBRSxFQUFFO0lBQ2hDLHNDQUFzQztJQUMvQixlQUFlLEVBQUUsZUFBZTtJQUN2QyxnQ0FBZ0M7SUFDekIsUUFBUSxFQUFFLEVBQUUsRUFDakI7SUFFSixNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsaUJBQWlCLENBQUMsR0FBRyxpQkFBaUIsQ0FFbEU7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLGlCQUFpQixDQVVsRTtJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxpQkFBaUIsQ0FBQywwRkFTbkQ7SUFFRCxNQUFNLENBQUMsS0FBSyxzQkFTWDtJQUVELFFBQVEsNEJBRVA7Q0FDRiJ9
51
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmxvY2tfY29uc3RhbnRfZGF0YS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3JvbGx1cC9ibG9ja19jb25zdGFudF9kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLDZCQUE2QixDQUFDO0FBQzlFLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhELE9BQU8sRUFBRSxzQkFBc0IsRUFBRSxNQUFNLHVDQUF1QyxDQUFDO0FBQy9FLE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUU1RDs7R0FFRztBQUNILHFCQUFhLGlCQUFpQjtJQUUxQix3RUFBd0U7SUFDakUsV0FBVyxFQUFFLHNCQUFzQjtJQUMxQzs7Ozs7T0FLRztJQUNJLGtCQUFrQixFQUFFLHNCQUFzQjtJQUNqRCx5Q0FBeUM7SUFDbEMsVUFBVSxFQUFFLEVBQUU7SUFDckIsMkNBQTJDO0lBQ3BDLHFCQUFxQixFQUFFLEVBQUU7SUFDaEMsc0NBQXNDO0lBQy9CLGVBQWUsRUFBRSxlQUFlO0lBQ3ZDLGdDQUFnQztJQUN6QixRQUFRLEVBQUUsRUFBRTtJQWpCckI7SUFDRSx3RUFBd0U7SUFDakUsV0FBVyxFQUFFLHNCQUFzQjtJQUMxQzs7Ozs7T0FLRztJQUNJLGtCQUFrQixFQUFFLHNCQUFzQjtJQUNqRCx5Q0FBeUM7SUFDbEMsVUFBVSxFQUFFLEVBQUU7SUFDckIsMkNBQTJDO0lBQ3BDLHFCQUFxQixFQUFFLEVBQUU7SUFDaEMsc0NBQXNDO0lBQy9CLGVBQWUsRUFBRSxlQUFlO0lBQ3ZDLGdDQUFnQztJQUN6QixRQUFRLEVBQUUsRUFBRSxFQUNqQjtJQUVKLE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxpQkFBaUIsQ0FBQyxHQUFHLGlCQUFpQixDQUVsRTtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsaUJBQWlCLENBVWxFO0lBRUQsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLGlCQUFpQixDQUFDLDBGQVNuRDtJQUVELE1BQU0sQ0FBQyxLQUFLLHNCQVNYO0lBRUQsUUFBUSw0QkFFUDtDQUNGIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"block_constant_data.d.ts","sourceRoot":"","sources":["../../src/rollup/block_constant_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAC9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAE5D;;GAEG;AACH,qBAAa,iBAAiB;IAGnB,WAAW,EAAE,sBAAsB;IAOnC,kBAAkB,EAAE,sBAAsB;IAE1C,UAAU,EAAE,EAAE;IAEd,qBAAqB,EAAE,EAAE;IAEzB,eAAe,EAAE,eAAe;IAEhC,QAAQ,EAAE,EAAE;IAjBrB;IACE,wEAAwE;IACjE,WAAW,EAAE,sBAAsB;IAC1C;;;;;OAKG;IACI,kBAAkB,EAAE,sBAAsB;IACjD,yCAAyC;IAClC,UAAU,EAAE,EAAE;IACrB,2CAA2C;IACpC,qBAAqB,EAAE,EAAE;IAChC,sCAAsC;IAC/B,eAAe,EAAE,eAAe;IACvC,gCAAgC;IACzB,QAAQ,EAAE,EAAE,EACjB;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC,GAAG,iBAAiB,CAElE;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,iBAAiB,CAUlE;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC,0FASnD;IAED,MAAM,CAAC,KAAK,sBASX;IAED,QAAQ,4BAEP;CACF"}
1
+ {"version":3,"file":"block_constant_data.d.ts","sourceRoot":"","sources":["../../src/rollup/block_constant_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAC9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAE5D;;GAEG;AACH,qBAAa,iBAAiB;IAE1B,wEAAwE;IACjE,WAAW,EAAE,sBAAsB;IAC1C;;;;;OAKG;IACI,kBAAkB,EAAE,sBAAsB;IACjD,yCAAyC;IAClC,UAAU,EAAE,EAAE;IACrB,2CAA2C;IACpC,qBAAqB,EAAE,EAAE;IAChC,sCAAsC;IAC/B,eAAe,EAAE,eAAe;IACvC,gCAAgC;IACzB,QAAQ,EAAE,EAAE;IAjBrB;IACE,wEAAwE;IACjE,WAAW,EAAE,sBAAsB;IAC1C;;;;;OAKG;IACI,kBAAkB,EAAE,sBAAsB;IACjD,yCAAyC;IAClC,UAAU,EAAE,EAAE;IACrB,2CAA2C;IACpC,qBAAqB,EAAE,EAAE;IAChC,sCAAsC;IAC/B,eAAe,EAAE,eAAe;IACvC,gCAAgC;IACzB,QAAQ,EAAE,EAAE,EACjB;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC,GAAG,iBAAiB,CAElE;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,iBAAiB,CAUlE;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC,0FASnD;IAED,MAAM,CAAC,KAAK,sBASX;IAED,QAAQ,4BAEP;CACF"}
@@ -2,7 +2,7 @@ import { Fr } from '@aztec/foundation/curves/bn254';
2
2
  import { computeUnbalancedPoseidonRoot } from '@aztec/foundation/trees';
3
3
  export async function computeBlockHeadersHash(blockHeaders) {
4
4
  const blockHeaderHashes = await Promise.all(blockHeaders.map((header)=>header.hash()));
5
- // Must match the implementation in merge_block_rollups.nr, with the **wonky** rollup structure
5
+ // Must match the implementation in merge_block_rollups.nr, with the **unbalanced** rollup structure
6
6
  // (see validate_consecutive_block_rollups.nr > assert_rollups_filled_greedily.nr).
7
7
  const blockHeadersHash = await computeUnbalancedPoseidonRoot(blockHeaderHashes.map((hash)=>hash.toBuffer()));
8
8
  return Fr.fromBuffer(blockHeadersHash);
@@ -5,6 +5,9 @@ import { BlockRollupPublicInputs } from './block_rollup_public_inputs.js';
5
5
  * Represents inputs of the block merge rollup circuit.
6
6
  */
7
7
  export declare class BlockMergeRollupPrivateInputs {
8
+ /**
9
+ * Previous rollup data from the 2 block merge or block root rollup circuits that preceded this merge rollup circuit.
10
+ */
8
11
  previousRollups: [
9
12
  RollupHonkProofData<BlockRollupPublicInputs>,
10
13
  RollupHonkProofData<BlockRollupPublicInputs>
@@ -44,4 +47,4 @@ export declare class BlockMergeRollupPrivateInputs {
44
47
  /** Creates an instance from a hex string. */
45
48
  static get schema(): import("zod").ZodType<BlockMergeRollupPrivateInputs, any, string>;
46
49
  }
47
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmxvY2tfbWVyZ2Vfcm9sbHVwX3ByaXZhdGVfaW5wdXRzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcm9sbHVwL2Jsb2NrX21lcmdlX3JvbGx1cF9wcml2YXRlX2lucHV0cy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLDZCQUE2QixDQUFDO0FBRzlFLE9BQU8sRUFBYSxLQUFLLG1CQUFtQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDOUUsT0FBTyxFQUFFLHVCQUF1QixFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFFMUU7O0dBRUc7QUFDSCxxQkFBYSw2QkFBNkI7SUFLL0IsZUFBZSxFQUFFO1FBQ3RCLG1CQUFtQixDQUFDLHVCQUF1QixDQUFDO1FBQzVDLG1CQUFtQixDQUFDLHVCQUF1QixDQUFDO0tBQzdDO0lBUEg7SUFDRTs7T0FFRztJQUNJLGVBQWUsRUFBRTtRQUN0QixtQkFBbUIsQ0FBQyx1QkFBdUIsQ0FBQztRQUM1QyxtQkFBbUIsQ0FBQyx1QkFBdUIsQ0FBQztLQUM3QyxFQUNDO0lBRUo7OztPQUdHO0lBQ0gsUUFBUSw0QkFFUDtJQUVEOzs7T0FHRztJQUNILFFBQVEsa0JBRVA7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksaUNBTTlDO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxFQUFFLE1BQU0saUNBRTVCO0lBRUQsMkRBQTJEO0lBQzNELE1BQU0sNEJBRUw7SUFFRCw2Q0FBNkM7SUFDN0MsTUFBTSxLQUFLLE1BQU0sc0VBRWhCO0NBQ0YifQ==
50
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmxvY2tfbWVyZ2Vfcm9sbHVwX3ByaXZhdGVfaW5wdXRzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcm9sbHVwL2Jsb2NrX21lcmdlX3JvbGx1cF9wcml2YXRlX2lucHV0cy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLDZCQUE2QixDQUFDO0FBRzlFLE9BQU8sRUFBYSxLQUFLLG1CQUFtQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDOUUsT0FBTyxFQUFFLHVCQUF1QixFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFFMUU7O0dBRUc7QUFDSCxxQkFBYSw2QkFBNkI7SUFFdEM7O09BRUc7SUFDSSxlQUFlLEVBQUU7UUFDdEIsbUJBQW1CLENBQUMsdUJBQXVCLENBQUM7UUFDNUMsbUJBQW1CLENBQUMsdUJBQXVCLENBQUM7S0FDN0M7SUFQSDtJQUNFOztPQUVHO0lBQ0ksZUFBZSxFQUFFO1FBQ3RCLG1CQUFtQixDQUFDLHVCQUF1QixDQUFDO1FBQzVDLG1CQUFtQixDQUFDLHVCQUF1QixDQUFDO0tBQzdDLEVBQ0M7SUFFSjs7O09BR0c7SUFDSCxRQUFRLDRCQUVQO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSxrQkFFUDtJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxpQ0FNOUM7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxpQ0FFNUI7SUFFRCwyREFBMkQ7SUFDM0QsTUFBTSw0QkFFTDtJQUVELDZDQUE2QztJQUM3QyxNQUFNLEtBQUssTUFBTSxzRUFFaEI7Q0FDRiJ9
@@ -1 +1 @@
1
- {"version":3,"file":"block_merge_rollup_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/block_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,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAE1E;;GAEG;AACH,qBAAa,6BAA6B;IAK/B,eAAe,EAAE;QACtB,mBAAmB,CAAC,uBAAuB,CAAC;QAC5C,mBAAmB,CAAC,uBAAuB,CAAC;KAC7C;IAPH;IACE;;OAEG;IACI,eAAe,EAAE;QACtB,mBAAmB,CAAC,uBAAuB,CAAC;QAC5C,mBAAmB,CAAC,uBAAuB,CAAC;KAC7C,EACC;IAEJ;;;OAGG;IACH,QAAQ,4BAEP;IAED;;;OAGG;IACH,QAAQ,kBAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,iCAM9C;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,iCAE5B;IAED,2DAA2D;IAC3D,MAAM,4BAEL;IAED,6CAA6C;IAC7C,MAAM,KAAK,MAAM,sEAEhB;CACF"}
1
+ {"version":3,"file":"block_merge_rollup_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/block_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,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAE1E;;GAEG;AACH,qBAAa,6BAA6B;IAEtC;;OAEG;IACI,eAAe,EAAE;QACtB,mBAAmB,CAAC,uBAAuB,CAAC;QAC5C,mBAAmB,CAAC,uBAAuB,CAAC;KAC7C;IAPH;IACE;;OAEG;IACI,eAAe,EAAE;QACtB,mBAAmB,CAAC,uBAAuB,CAAC;QAC5C,mBAAmB,CAAC,uBAAuB,CAAC;KAC7C,EACC;IAEJ;;;OAGG;IACH,QAAQ,4BAEP;IAED;;;OAGG;IACH,QAAQ,kBAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,iCAM9C;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,iCAE5B;IAED,2DAA2D;IAC3D,MAAM,4BAEL;IAED,6CAA6C;IAC7C,MAAM,KAAK,MAAM,sEAEhB;CACF"}
@@ -9,18 +9,59 @@ import { CheckpointConstantData } from './checkpoint_constant_data.js';
9
9
  * Output of the block root and block merge rollup circuits.
10
10
  */
11
11
  export declare class BlockRollupPublicInputs {
12
+ /**
13
+ * Constants for the entire checkpoint.
14
+ */
12
15
  constants: CheckpointConstantData;
16
+ /**
17
+ * Archive tree immediately before this block range.
18
+ */
13
19
  previousArchive: AppendOnlyTreeSnapshot;
20
+ /**
21
+ * Archive tree after applying this block range.
22
+ */
14
23
  newArchive: AppendOnlyTreeSnapshot;
24
+ /**
25
+ * State reference immediately before this block range.
26
+ */
15
27
  startState: StateReference;
28
+ /**
29
+ * State reference after applying this block range.
30
+ */
16
31
  endState: StateReference;
32
+ /**
33
+ * Sponge state to absorb blob inputs at the start of this block range.
34
+ */
17
35
  startSpongeBlob: SpongeBlob;
36
+ /**
37
+ * Sponge state to absorb blob inputs at the end of this block range.
38
+ */
18
39
  endSpongeBlob: SpongeBlob;
40
+ /**
41
+ * Timestamp of the blocks in this block range.
42
+ */
19
43
  timestamp: UInt64;
44
+ /**
45
+ * Hash of the headers of all blocks in this block range. It will be combined with the `blockHeadersHash` from
46
+ * other blocks in the same checkpoint to form an unbalanced tree. The root of that tree becomes the final hash
47
+ * stored in the checkpoint header, enabling validation of the blocks included in a checkpoint given their headers.
48
+ */
20
49
  blockHeadersHash: Fr;
50
+ /**
51
+ * SHA256 hash of l1 to l2 messages.
52
+ */
21
53
  inHash: Fr;
54
+ /**
55
+ * SHA256 hash of L2 to L1 messages created in this block range.
56
+ */
22
57
  outHash: Fr;
58
+ /**
59
+ * The summed transaction fees of all the txs in this block range.
60
+ */
23
61
  accumulatedFees: Fr;
62
+ /**
63
+ * The summed mana used of all the txs in this block range.
64
+ */
24
65
  accumulatedManaUsed: Fr;
25
66
  constructor(
26
67
  /**
@@ -57,8 +98,8 @@ export declare class BlockRollupPublicInputs {
57
98
  timestamp: UInt64,
58
99
  /**
59
100
  * Hash of the headers of all blocks in this block range. It will be combined with the `blockHeadersHash` from
60
- * other blocks in the same checkpoint to form a wonky tree. The root of that tree becomes the final hash stored in
61
- * the checkpoint header, enabling validation of the blocks included in a checkpoint given their headers.
101
+ * other blocks in the same checkpoint to form an unbalanced tree. The root of that tree becomes the final hash
102
+ * stored in the checkpoint header, enabling validation of the blocks included in a checkpoint given their headers.
62
103
  */
63
104
  blockHeadersHash: Fr,
64
105
  /**
@@ -84,4 +125,4 @@ export declare class BlockRollupPublicInputs {
84
125
  toJSON(): Buffer<ArrayBufferLike>;
85
126
  static get schema(): import("zod").ZodType<BlockRollupPublicInputs, any, string>;
86
127
  }
87
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmxvY2tfcm9sbHVwX3B1YmxpY19pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9yb2xsdXAvYmxvY2tfcm9sbHVwX3B1YmxpY19pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ25ELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVwRCxPQUFPLEVBQUUsWUFBWSxFQUF1QyxNQUFNLDZCQUE2QixDQUFDO0FBR2hHLE9BQU8sRUFBRSxzQkFBc0IsRUFBRSxNQUFNLHVDQUF1QyxDQUFDO0FBQy9FLE9BQU8sRUFBRSxjQUFjLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUMxRCxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUNqRCxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUV2RTs7R0FFRztBQUNILHFCQUFhLHVCQUF1QjtJQUt6QixTQUFTLEVBQUUsc0JBQXNCO0lBSWpDLGVBQWUsRUFBRSxzQkFBc0I7SUFJdkMsVUFBVSxFQUFFLHNCQUFzQjtJQUlsQyxVQUFVLEVBQUUsY0FBYztJQUkxQixRQUFRLEVBQUUsY0FBYztJQUl4QixlQUFlLEVBQUUsVUFBVTtJQUkzQixhQUFhLEVBQUUsVUFBVTtJQUl6QixTQUFTLEVBQUUsTUFBTTtJQU1qQixnQkFBZ0IsRUFBRSxFQUFFO0lBSXBCLE1BQU0sRUFBRSxFQUFFO0lBSVYsT0FBTyxFQUFFLEVBQUU7SUFJWCxlQUFlLEVBQUUsRUFBRTtJQUluQixtQkFBbUIsRUFBRSxFQUFFO0lBdERoQztJQUNFOztPQUVHO0lBQ0ksU0FBUyxFQUFFLHNCQUFzQjtJQUN4Qzs7T0FFRztJQUNJLGVBQWUsRUFBRSxzQkFBc0I7SUFDOUM7O09BRUc7SUFDSSxVQUFVLEVBQUUsc0JBQXNCO0lBQ3pDOztPQUVHO0lBQ0ksVUFBVSxFQUFFLGNBQWM7SUFDakM7O09BRUc7SUFDSSxRQUFRLEVBQUUsY0FBYztJQUMvQjs7T0FFRztJQUNJLGVBQWUsRUFBRSxVQUFVO0lBQ2xDOztPQUVHO0lBQ0ksYUFBYSxFQUFFLFVBQVU7SUFDaEM7O09BRUc7SUFDSSxTQUFTLEVBQUUsTUFBTTtJQUN4Qjs7OztPQUlHO0lBQ0ksZ0JBQWdCLEVBQUUsRUFBRTtJQUMzQjs7T0FFRztJQUNJLE1BQU0sRUFBRSxFQUFFO0lBQ2pCOztPQUVHO0lBQ0ksT0FBTyxFQUFFLEVBQUU7SUFDbEI7O09BRUc7SUFDSSxlQUFlLEVBQUUsRUFBRTtJQUMxQjs7T0FFRztJQUNJLG1CQUFtQixFQUFFLEVBQUUsRUFDNUI7SUFFSixNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLHVCQUF1QixDQWlCeEU7SUFFRCxRQUFRLDRCQWdCUDtJQUVELFFBQVEsa0JBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLDJCQUU1QjtJQUVELE1BQU0sNEJBRUw7SUFFRCxNQUFNLEtBQUssTUFBTSxnRUFFaEI7Q0FDRiJ9
128
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmxvY2tfcm9sbHVwX3B1YmxpY19pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9yb2xsdXAvYmxvY2tfcm9sbHVwX3B1YmxpY19pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ25ELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVwRCxPQUFPLEVBQUUsWUFBWSxFQUF1QyxNQUFNLDZCQUE2QixDQUFDO0FBR2hHLE9BQU8sRUFBRSxzQkFBc0IsRUFBRSxNQUFNLHVDQUF1QyxDQUFDO0FBQy9FLE9BQU8sRUFBRSxjQUFjLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUMxRCxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUNqRCxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUV2RTs7R0FFRztBQUNILHFCQUFhLHVCQUF1QjtJQUVoQzs7T0FFRztJQUNJLFNBQVMsRUFBRSxzQkFBc0I7SUFDeEM7O09BRUc7SUFDSSxlQUFlLEVBQUUsc0JBQXNCO0lBQzlDOztPQUVHO0lBQ0ksVUFBVSxFQUFFLHNCQUFzQjtJQUN6Qzs7T0FFRztJQUNJLFVBQVUsRUFBRSxjQUFjO0lBQ2pDOztPQUVHO0lBQ0ksUUFBUSxFQUFFLGNBQWM7SUFDL0I7O09BRUc7SUFDSSxlQUFlLEVBQUUsVUFBVTtJQUNsQzs7T0FFRztJQUNJLGFBQWEsRUFBRSxVQUFVO0lBQ2hDOztPQUVHO0lBQ0ksU0FBUyxFQUFFLE1BQU07SUFDeEI7Ozs7T0FJRztJQUNJLGdCQUFnQixFQUFFLEVBQUU7SUFDM0I7O09BRUc7SUFDSSxNQUFNLEVBQUUsRUFBRTtJQUNqQjs7T0FFRztJQUNJLE9BQU8sRUFBRSxFQUFFO0lBQ2xCOztPQUVHO0lBQ0ksZUFBZSxFQUFFLEVBQUU7SUFDMUI7O09BRUc7SUFDSSxtQkFBbUIsRUFBRSxFQUFFO0lBdERoQztJQUNFOztPQUVHO0lBQ0ksU0FBUyxFQUFFLHNCQUFzQjtJQUN4Qzs7T0FFRztJQUNJLGVBQWUsRUFBRSxzQkFBc0I7SUFDOUM7O09BRUc7SUFDSSxVQUFVLEVBQUUsc0JBQXNCO0lBQ3pDOztPQUVHO0lBQ0ksVUFBVSxFQUFFLGNBQWM7SUFDakM7O09BRUc7SUFDSSxRQUFRLEVBQUUsY0FBYztJQUMvQjs7T0FFRztJQUNJLGVBQWUsRUFBRSxVQUFVO0lBQ2xDOztPQUVHO0lBQ0ksYUFBYSxFQUFFLFVBQVU7SUFDaEM7O09BRUc7SUFDSSxTQUFTLEVBQUUsTUFBTTtJQUN4Qjs7OztPQUlHO0lBQ0ksZ0JBQWdCLEVBQUUsRUFBRTtJQUMzQjs7T0FFRztJQUNJLE1BQU0sRUFBRSxFQUFFO0lBQ2pCOztPQUVHO0lBQ0ksT0FBTyxFQUFFLEVBQUU7SUFDbEI7O09BRUc7SUFDSSxlQUFlLEVBQUUsRUFBRTtJQUMxQjs7T0FFRztJQUNJLG1CQUFtQixFQUFFLEVBQUUsRUFDNUI7SUFFSixNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLHVCQUF1QixDQWlCeEU7SUFFRCxRQUFRLDRCQWdCUDtJQUVELFFBQVEsa0JBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLDJCQUU1QjtJQUVELE1BQU0sNEJBRUw7SUFFRCxNQUFNLEtBQUssTUFBTSxnRUFFaEI7Q0FDRiJ9
@@ -1 +1 @@
1
- {"version":3,"file":"block_rollup_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/block_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,EAAuC,MAAM,6BAA6B,CAAC;AAGhG,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAEvE;;GAEG;AACH,qBAAa,uBAAuB;IAKzB,SAAS,EAAE,sBAAsB;IAIjC,eAAe,EAAE,sBAAsB;IAIvC,UAAU,EAAE,sBAAsB;IAIlC,UAAU,EAAE,cAAc;IAI1B,QAAQ,EAAE,cAAc;IAIxB,eAAe,EAAE,UAAU;IAI3B,aAAa,EAAE,UAAU;IAIzB,SAAS,EAAE,MAAM;IAMjB,gBAAgB,EAAE,EAAE;IAIpB,MAAM,EAAE,EAAE;IAIV,OAAO,EAAE,EAAE;IAIX,eAAe,EAAE,EAAE;IAInB,mBAAmB,EAAE,EAAE;IAtDhC;IACE;;OAEG;IACI,SAAS,EAAE,sBAAsB;IACxC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,UAAU,EAAE,cAAc;IACjC;;OAEG;IACI,QAAQ,EAAE,cAAc;IAC/B;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,aAAa,EAAE,UAAU;IAChC;;OAEG;IACI,SAAS,EAAE,MAAM;IACxB;;;;OAIG;IACI,gBAAgB,EAAE,EAAE;IAC3B;;OAEG;IACI,MAAM,EAAE,EAAE;IACjB;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,eAAe,EAAE,EAAE;IAC1B;;OAEG;IACI,mBAAmB,EAAE,EAAE,EAC5B;IAEJ,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB,CAiBxE;IAED,QAAQ,4BAgBP;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,2BAE5B;IAED,MAAM,4BAEL;IAED,MAAM,KAAK,MAAM,gEAEhB;CACF"}
1
+ {"version":3,"file":"block_rollup_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/block_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,EAAuC,MAAM,6BAA6B,CAAC;AAGhG,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAEvE;;GAEG;AACH,qBAAa,uBAAuB;IAEhC;;OAEG;IACI,SAAS,EAAE,sBAAsB;IACxC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,UAAU,EAAE,cAAc;IACjC;;OAEG;IACI,QAAQ,EAAE,cAAc;IAC/B;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,aAAa,EAAE,UAAU;IAChC;;OAEG;IACI,SAAS,EAAE,MAAM;IACxB;;;;OAIG;IACI,gBAAgB,EAAE,EAAE;IAC3B;;OAEG;IACI,MAAM,EAAE,EAAE;IACjB;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,eAAe,EAAE,EAAE;IAC1B;;OAEG;IACI,mBAAmB,EAAE,EAAE;IAtDhC;IACE;;OAEG;IACI,SAAS,EAAE,sBAAsB;IACxC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,UAAU,EAAE,cAAc;IACjC;;OAEG;IACI,QAAQ,EAAE,cAAc;IAC/B;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,aAAa,EAAE,UAAU;IAChC;;OAEG;IACI,SAAS,EAAE,MAAM;IACxB;;;;OAIG;IACI,gBAAgB,EAAE,EAAE;IAC3B;;OAEG;IACI,MAAM,EAAE,EAAE;IACjB;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,eAAe,EAAE,EAAE;IAC1B;;OAEG;IACI,mBAAmB,EAAE,EAAE,EAC5B;IAEJ,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB,CAiBxE;IAED,QAAQ,4BAgBP;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,2BAE5B;IAED,MAAM,4BAEL;IAED,MAAM,KAAK,MAAM,gEAEhB;CACF"}
@@ -40,8 +40,8 @@ import { CheckpointConstantData } from './checkpoint_constant_data.js';
40
40
  * Timestamp of the blocks in this block range.
41
41
  */ timestamp, /**
42
42
  * Hash of the headers of all blocks in this block range. It will be combined with the `blockHeadersHash` from
43
- * other blocks in the same checkpoint to form a wonky tree. The root of that tree becomes the final hash stored in
44
- * the checkpoint header, enabling validation of the blocks included in a checkpoint given their headers.
43
+ * other blocks in the same checkpoint to form an unbalanced tree. The root of that tree becomes the final hash
44
+ * stored in the checkpoint header, enabling validation of the blocks included in a checkpoint given their headers.
45
45
  */ blockHeadersHash, /**
46
46
  * SHA256 hash of l1 to l2 messages.
47
47
  */ inHash, /**