@aztec/stdlib 0.0.1-commit.db765a8 → 0.0.1-commit.ddcf04837

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 (455) 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 +5 -44
  10. package/dest/abi/decoder.d.ts.map +1 -1
  11. package/dest/abi/decoder.js +12 -67
  12. package/dest/abi/event_selector.d.ts +3 -6
  13. package/dest/abi/event_selector.d.ts.map +1 -1
  14. package/dest/abi/function_selector.d.ts +3 -6
  15. package/dest/abi/function_selector.d.ts.map +1 -1
  16. package/dest/abi/function_selector.js +2 -4
  17. package/dest/abi/function_signature_decoder.d.ts +43 -0
  18. package/dest/abi/function_signature_decoder.d.ts.map +1 -0
  19. package/dest/abi/function_signature_decoder.js +66 -0
  20. package/dest/abi/index.d.ts +2 -1
  21. package/dest/abi/index.d.ts.map +1 -1
  22. package/dest/abi/index.js +1 -0
  23. package/dest/abi/note_selector.d.ts +3 -6
  24. package/dest/abi/note_selector.d.ts.map +1 -1
  25. package/dest/abi/note_selector.js +1 -3
  26. package/dest/abi/selector.d.ts +2 -2
  27. package/dest/abi/selector.d.ts.map +1 -1
  28. package/dest/abi/selector.js +1 -1
  29. package/dest/avm/revert_code.d.ts +8 -18
  30. package/dest/avm/revert_code.d.ts.map +1 -1
  31. package/dest/avm/revert_code.js +15 -30
  32. package/dest/aztec-address/index.d.ts +3 -6
  33. package/dest/aztec-address/index.d.ts.map +1 -1
  34. package/dest/aztec-address/index.js +2 -4
  35. package/dest/block/block_data.d.ts +8 -8
  36. package/dest/block/block_data.d.ts.map +1 -1
  37. package/dest/block/block_data.js +2 -2
  38. package/dest/block/block_hash.d.ts +11 -10
  39. package/dest/block/block_hash.d.ts.map +1 -1
  40. package/dest/block/block_hash.js +10 -9
  41. package/dest/block/l2_block.d.ts +9 -1
  42. package/dest/block/l2_block.d.ts.map +1 -1
  43. package/dest/block/l2_block.js +12 -2
  44. package/dest/block/l2_block_info.d.ts +6 -5
  45. package/dest/block/l2_block_info.d.ts.map +1 -1
  46. package/dest/block/l2_block_info.js +6 -5
  47. package/dest/block/l2_block_source.d.ts +95 -10
  48. package/dest/block/l2_block_source.d.ts.map +1 -1
  49. package/dest/block/l2_block_source.js +1 -0
  50. package/dest/block/l2_block_stream/interfaces.d.ts +6 -3
  51. package/dest/block/l2_block_stream/interfaces.d.ts.map +1 -1
  52. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts +1 -1
  53. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts.map +1 -1
  54. package/dest/block/l2_block_stream/l2_tips_store_base.js +18 -5
  55. package/dest/block/test/l2_tips_store_test_suite.d.ts +1 -1
  56. package/dest/block/test/l2_tips_store_test_suite.d.ts.map +1 -1
  57. package/dest/block/test/l2_tips_store_test_suite.js +4 -3
  58. package/dest/checkpoint/checkpoint.d.ts +8 -1
  59. package/dest/checkpoint/checkpoint.d.ts.map +1 -1
  60. package/dest/checkpoint/checkpoint.js +18 -5
  61. package/dest/checkpoint/checkpoint_data.d.ts +71 -5
  62. package/dest/checkpoint/checkpoint_data.d.ts.map +1 -1
  63. package/dest/checkpoint/checkpoint_data.js +10 -0
  64. package/dest/checkpoint/index.d.ts +2 -1
  65. package/dest/checkpoint/index.d.ts.map +1 -1
  66. package/dest/checkpoint/index.js +1 -0
  67. package/dest/checkpoint/validate.d.ts +36 -0
  68. package/dest/checkpoint/validate.d.ts.map +1 -0
  69. package/dest/checkpoint/validate.js +120 -0
  70. package/dest/config/chain-config.d.ts +1 -1
  71. package/dest/config/chain-config.d.ts.map +1 -1
  72. package/dest/config/chain-config.js +7 -1
  73. package/dest/config/index.d.ts +2 -1
  74. package/dest/config/index.d.ts.map +1 -1
  75. package/dest/config/index.js +1 -0
  76. package/dest/config/pipelining-config.d.ts +19 -0
  77. package/dest/config/pipelining-config.d.ts.map +1 -0
  78. package/dest/config/pipelining-config.js +18 -0
  79. package/dest/config/sequencer-config.d.ts +3 -3
  80. package/dest/config/sequencer-config.d.ts.map +1 -1
  81. package/dest/config/sequencer-config.js +10 -4
  82. package/dest/contract/contract_address.d.ts +3 -3
  83. package/dest/contract/contract_address.js +3 -3
  84. package/dest/contract/contract_class_id.d.ts +2 -2
  85. package/dest/contract/contract_class_id.js +2 -2
  86. package/dest/contract/index.d.ts +1 -3
  87. package/dest/contract/index.d.ts.map +1 -1
  88. package/dest/contract/index.js +0 -2
  89. package/dest/contract/interfaces/contract_class.d.ts +3 -156
  90. package/dest/contract/interfaces/contract_class.d.ts.map +1 -1
  91. package/dest/contract/interfaces/contract_class.js +1 -28
  92. package/dest/epoch-helpers/index.d.ts +11 -1
  93. package/dest/epoch-helpers/index.d.ts.map +1 -1
  94. package/dest/epoch-helpers/index.js +16 -2
  95. package/dest/file-store/factory.d.ts +4 -3
  96. package/dest/file-store/factory.d.ts.map +1 -1
  97. package/dest/file-store/factory.js +2 -2
  98. package/dest/file-store/http.d.ts +9 -2
  99. package/dest/file-store/http.d.ts.map +1 -1
  100. package/dest/file-store/http.js +20 -9
  101. package/dest/file-store/index.d.ts +2 -1
  102. package/dest/file-store/index.d.ts.map +1 -1
  103. package/dest/gas/fee_math.d.ts +49 -0
  104. package/dest/gas/fee_math.d.ts.map +1 -0
  105. package/dest/gas/fee_math.js +80 -0
  106. package/dest/gas/gas_fees.d.ts +1 -1
  107. package/dest/gas/gas_fees.d.ts.map +1 -1
  108. package/dest/gas/gas_fees.js +10 -1
  109. package/dest/gas/gas_settings.d.ts +40 -3
  110. package/dest/gas/gas_settings.d.ts.map +1 -1
  111. package/dest/gas/gas_settings.js +50 -6
  112. package/dest/gas/index.d.ts +2 -1
  113. package/dest/gas/index.d.ts.map +1 -1
  114. package/dest/gas/index.js +1 -0
  115. package/dest/ha-signing/config.d.ts +49 -14
  116. package/dest/ha-signing/config.d.ts.map +1 -1
  117. package/dest/ha-signing/config.js +20 -15
  118. package/dest/ha-signing/index.d.ts +4 -3
  119. package/dest/ha-signing/index.d.ts.map +1 -1
  120. package/dest/ha-signing/index.js +3 -2
  121. package/dest/ha-signing/local_config.d.ts +63 -0
  122. package/dest/ha-signing/local_config.d.ts.map +1 -0
  123. package/dest/ha-signing/local_config.js +24 -0
  124. package/dest/ha-signing/types.d.ts +37 -32
  125. package/dest/ha-signing/types.d.ts.map +1 -1
  126. package/dest/ha-signing/types.js +13 -6
  127. package/dest/hash/hash.d.ts +19 -1
  128. package/dest/hash/hash.d.ts.map +1 -1
  129. package/dest/hash/hash.js +29 -0
  130. package/dest/interfaces/allowed_element.d.ts +25 -1
  131. package/dest/interfaces/allowed_element.d.ts.map +1 -1
  132. package/dest/interfaces/allowed_element.js +8 -2
  133. package/dest/interfaces/archiver.d.ts +1 -1
  134. package/dest/interfaces/archiver.d.ts.map +1 -1
  135. package/dest/interfaces/archiver.js +6 -3
  136. package/dest/interfaces/aztec-node-admin.d.ts +73 -23
  137. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  138. package/dest/interfaces/aztec-node-admin.js +3 -3
  139. package/dest/interfaces/aztec-node-debug.d.ts +21 -0
  140. package/dest/interfaces/aztec-node-debug.d.ts.map +1 -0
  141. package/dest/interfaces/aztec-node-debug.js +18 -0
  142. package/dest/interfaces/aztec-node.d.ts +21 -6
  143. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  144. package/dest/interfaces/aztec-node.js +7 -2
  145. package/dest/interfaces/block-builder.d.ts +38 -11
  146. package/dest/interfaces/block-builder.d.ts.map +1 -1
  147. package/dest/interfaces/block-builder.js +12 -5
  148. package/dest/interfaces/client.d.ts +2 -1
  149. package/dest/interfaces/client.d.ts.map +1 -1
  150. package/dest/interfaces/client.js +1 -0
  151. package/dest/interfaces/configs.d.ts +47 -7
  152. package/dest/interfaces/configs.d.ts.map +1 -1
  153. package/dest/interfaces/configs.js +3 -1
  154. package/dest/interfaces/l2_logs_source.d.ts +5 -3
  155. package/dest/interfaces/l2_logs_source.d.ts.map +1 -1
  156. package/dest/interfaces/merkle_tree_operations.d.ts +12 -21
  157. package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
  158. package/dest/interfaces/prover-client.d.ts +6 -1
  159. package/dest/interfaces/prover-client.d.ts.map +1 -1
  160. package/dest/interfaces/prover-client.js +7 -4
  161. package/dest/interfaces/proving-job.d.ts +200 -200
  162. package/dest/interfaces/slasher.d.ts +1 -10
  163. package/dest/interfaces/slasher.d.ts.map +1 -1
  164. package/dest/interfaces/slasher.js +0 -2
  165. package/dest/interfaces/validator.d.ts +108 -40
  166. package/dest/interfaces/validator.d.ts.map +1 -1
  167. package/dest/interfaces/validator.js +7 -5
  168. package/dest/interfaces/world_state.d.ts +5 -4
  169. package/dest/interfaces/world_state.d.ts.map +1 -1
  170. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts +2 -1
  171. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts.map +1 -1
  172. package/dest/kernel/private_kernel_tail_circuit_public_inputs.js +4 -0
  173. package/dest/kv-store/config.d.ts +17 -0
  174. package/dest/kv-store/config.d.ts.map +1 -0
  175. package/dest/kv-store/config.js +26 -0
  176. package/dest/kv-store/index.d.ts +2 -0
  177. package/dest/kv-store/index.d.ts.map +1 -0
  178. package/dest/kv-store/index.js +1 -0
  179. package/dest/l1-contracts/index.d.ts +2 -2
  180. package/dest/l1-contracts/index.d.ts.map +1 -1
  181. package/dest/l1-contracts/index.js +1 -1
  182. package/dest/logs/extended_directional_app_tagging_secret.d.ts +4 -4
  183. package/dest/logs/extended_directional_app_tagging_secret.d.ts.map +1 -1
  184. package/dest/logs/extended_directional_app_tagging_secret.js +12 -5
  185. package/dest/logs/index.d.ts +2 -1
  186. package/dest/logs/index.d.ts.map +1 -1
  187. package/dest/logs/index.js +1 -0
  188. package/dest/logs/log_filter.d.ts +4 -1
  189. package/dest/logs/log_filter.d.ts.map +1 -1
  190. package/dest/logs/log_filter.js +2 -1
  191. package/dest/logs/log_id.d.ts +1 -1
  192. package/dest/logs/log_id.d.ts.map +1 -1
  193. package/dest/logs/log_id.js +1 -2
  194. package/dest/logs/message_context.d.ts +4 -7
  195. package/dest/logs/message_context.d.ts.map +1 -1
  196. package/dest/logs/message_context.js +23 -9
  197. package/dest/logs/pending_tagged_log.d.ts +2 -3
  198. package/dest/logs/pending_tagged_log.d.ts.map +1 -1
  199. package/dest/logs/pending_tagged_log.js +2 -2
  200. package/dest/logs/shared_secret_derivation.d.ts +11 -10
  201. package/dest/logs/shared_secret_derivation.d.ts.map +1 -1
  202. package/dest/logs/shared_secret_derivation.js +15 -9
  203. package/dest/logs/siloed_tag.d.ts +8 -7
  204. package/dest/logs/siloed_tag.d.ts.map +1 -1
  205. package/dest/logs/siloed_tag.js +11 -3
  206. package/dest/logs/tag.d.ts +5 -6
  207. package/dest/logs/tag.d.ts.map +1 -1
  208. package/dest/logs/tag.js +4 -0
  209. package/dest/logs/tagging_index_range.d.ts +40 -0
  210. package/dest/logs/tagging_index_range.d.ts.map +1 -0
  211. package/dest/logs/tagging_index_range.js +8 -0
  212. package/dest/logs/tx_scoped_l2_log.d.ts +3 -1
  213. package/dest/logs/tx_scoped_l2_log.d.ts.map +1 -1
  214. package/dest/logs/tx_scoped_l2_log.js +7 -0
  215. package/dest/messaging/l1_to_l2_message.d.ts +3 -2
  216. package/dest/messaging/l1_to_l2_message.d.ts.map +1 -1
  217. package/dest/messaging/l1_to_l2_message.js +11 -13
  218. package/dest/messaging/l1_to_l2_message_source.d.ts +4 -2
  219. package/dest/messaging/l1_to_l2_message_source.d.ts.map +1 -1
  220. package/dest/messaging/l2_to_l1_membership.d.ts +32 -6
  221. package/dest/messaging/l2_to_l1_membership.d.ts.map +1 -1
  222. package/dest/messaging/l2_to_l1_membership.js +69 -26
  223. package/dest/noir/index.d.ts +3 -3
  224. package/dest/noir/index.d.ts.map +1 -1
  225. package/dest/note/note_dao.d.ts +1 -1
  226. package/dest/note/note_dao.d.ts.map +1 -1
  227. package/dest/note/note_dao.js +1 -4
  228. package/dest/p2p/block_proposal.d.ts +6 -8
  229. package/dest/p2p/block_proposal.d.ts.map +1 -1
  230. package/dest/p2p/block_proposal.js +4 -9
  231. package/dest/p2p/checkpoint_attestation.d.ts +4 -6
  232. package/dest/p2p/checkpoint_attestation.d.ts.map +1 -1
  233. package/dest/p2p/checkpoint_attestation.js +2 -7
  234. package/dest/p2p/checkpoint_proposal.d.ts +8 -15
  235. package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
  236. package/dest/p2p/checkpoint_proposal.js +5 -34
  237. package/dest/p2p/gossipable.d.ts +4 -4
  238. package/dest/p2p/gossipable.d.ts.map +1 -1
  239. package/dest/p2p/peer_error.d.ts +3 -1
  240. package/dest/p2p/peer_error.d.ts.map +1 -1
  241. package/dest/p2p/peer_error.js +5 -0
  242. package/dest/proofs/chonk_proof.d.ts +46 -2
  243. package/dest/proofs/chonk_proof.d.ts.map +1 -1
  244. package/dest/proofs/chonk_proof.js +85 -10
  245. package/dest/slashing/index.d.ts +2 -3
  246. package/dest/slashing/index.d.ts.map +1 -1
  247. package/dest/slashing/index.js +1 -2
  248. package/dest/slashing/serialization.d.ts +2 -6
  249. package/dest/slashing/serialization.d.ts.map +1 -1
  250. package/dest/slashing/serialization.js +0 -60
  251. package/dest/slashing/types.d.ts +4 -90
  252. package/dest/slashing/types.d.ts.map +1 -1
  253. package/dest/slashing/types.js +0 -14
  254. package/dest/slashing/{tally.d.ts → votes.d.ts} +5 -6
  255. package/dest/slashing/votes.d.ts.map +1 -0
  256. package/dest/slashing/{tally.js → votes.js} +19 -10
  257. package/dest/tests/factories.d.ts +2 -4
  258. package/dest/tests/factories.d.ts.map +1 -1
  259. package/dest/tests/factories.js +11 -28
  260. package/dest/tests/mocks.d.ts +4 -2
  261. package/dest/tests/mocks.d.ts.map +1 -1
  262. package/dest/tests/mocks.js +27 -27
  263. package/dest/timetable/index.d.ts +51 -1
  264. package/dest/timetable/index.d.ts.map +1 -1
  265. package/dest/timetable/index.js +204 -14
  266. package/dest/tx/block_header.d.ts +4 -2
  267. package/dest/tx/block_header.d.ts.map +1 -1
  268. package/dest/tx/block_header.js +5 -1
  269. package/dest/tx/capsule.d.ts +6 -2
  270. package/dest/tx/capsule.d.ts.map +1 -1
  271. package/dest/tx/capsule.js +9 -3
  272. package/dest/tx/fee_provider.d.ts +10 -0
  273. package/dest/tx/fee_provider.d.ts.map +1 -0
  274. package/dest/tx/fee_provider.js +1 -0
  275. package/dest/tx/global_variable_builder.d.ts +3 -4
  276. package/dest/tx/global_variable_builder.d.ts.map +1 -1
  277. package/dest/tx/index.d.ts +2 -1
  278. package/dest/tx/index.d.ts.map +1 -1
  279. package/dest/tx/index.js +1 -0
  280. package/dest/tx/indexed_tx_effect.d.ts +1 -1
  281. package/dest/tx/indexed_tx_effect.d.ts.map +1 -1
  282. package/dest/tx/indexed_tx_effect.js +1 -2
  283. package/dest/tx/private_execution_result.d.ts +6 -6
  284. package/dest/tx/private_execution_result.d.ts.map +1 -1
  285. package/dest/tx/private_execution_result.js +6 -6
  286. package/dest/tx/profiling.d.ts +14 -2
  287. package/dest/tx/profiling.d.ts.map +1 -1
  288. package/dest/tx/profiling.js +13 -3
  289. package/dest/tx/simulated_tx.d.ts +112 -4
  290. package/dest/tx/simulated_tx.d.ts.map +1 -1
  291. package/dest/tx/simulated_tx.js +3 -3
  292. package/dest/tx/tx.d.ts +8 -7
  293. package/dest/tx/tx.d.ts.map +1 -1
  294. package/dest/tx/tx.js +18 -6
  295. package/dest/tx/tx_receipt.d.ts +14 -5
  296. package/dest/tx/tx_receipt.d.ts.map +1 -1
  297. package/dest/tx/tx_receipt.js +14 -18
  298. package/dest/tx/validator/error_texts.d.ts +8 -1
  299. package/dest/tx/validator/error_texts.d.ts.map +1 -1
  300. package/dest/tx/validator/error_texts.js +9 -0
  301. package/dest/update-checker/index.d.ts +3 -2
  302. package/dest/update-checker/index.d.ts.map +1 -1
  303. package/dest/update-checker/index.js +2 -1
  304. package/dest/update-checker/package_version.d.ts +3 -0
  305. package/dest/update-checker/package_version.d.ts.map +1 -0
  306. package/dest/update-checker/package_version.js +24 -0
  307. package/dest/update-checker/version_checker.d.ts +25 -0
  308. package/dest/update-checker/version_checker.d.ts.map +1 -0
  309. package/dest/update-checker/version_checker.js +50 -0
  310. package/dest/validators/errors.d.ts +6 -1
  311. package/dest/validators/errors.d.ts.map +1 -1
  312. package/dest/validators/errors.js +7 -0
  313. package/dest/versioning/versioning.d.ts +4 -2
  314. package/dest/versioning/versioning.d.ts.map +1 -1
  315. package/dest/versioning/versioning.js +4 -1
  316. package/dest/world-state/genesis_data.d.ts +11 -0
  317. package/dest/world-state/genesis_data.d.ts.map +1 -0
  318. package/dest/world-state/genesis_data.js +4 -0
  319. package/dest/world-state/index.d.ts +2 -1
  320. package/dest/world-state/index.d.ts.map +1 -1
  321. package/dest/world-state/index.js +1 -0
  322. package/package.json +10 -9
  323. package/src/abi/abi.ts +25 -2
  324. package/src/abi/authorization_selector.ts +2 -8
  325. package/src/abi/buffer.ts +25 -4
  326. package/src/abi/decoder.ts +23 -78
  327. package/src/abi/event_selector.ts +2 -8
  328. package/src/abi/function_selector.ts +4 -13
  329. package/src/abi/function_signature_decoder.ts +77 -0
  330. package/src/abi/index.ts +1 -0
  331. package/src/abi/note_selector.ts +3 -12
  332. package/src/abi/selector.ts +1 -1
  333. package/src/avm/revert_code.ts +25 -39
  334. package/src/aztec-address/index.ts +4 -10
  335. package/src/block/block_data.ts +3 -4
  336. package/src/block/block_hash.ts +21 -14
  337. package/src/block/l2_block.ts +13 -1
  338. package/src/block/l2_block_info.ts +8 -6
  339. package/src/block/l2_block_source.ts +26 -9
  340. package/src/block/l2_block_stream/interfaces.ts +6 -2
  341. package/src/block/l2_block_stream/l2_tips_store_base.ts +25 -13
  342. package/src/block/test/l2_tips_store_test_suite.ts +9 -2
  343. package/src/checkpoint/checkpoint.ts +23 -4
  344. package/src/checkpoint/checkpoint_data.ts +40 -4
  345. package/src/checkpoint/index.ts +1 -0
  346. package/src/checkpoint/validate.ts +230 -0
  347. package/src/config/chain-config.ts +7 -1
  348. package/src/config/index.ts +1 -0
  349. package/src/config/pipelining-config.ts +31 -0
  350. package/src/config/sequencer-config.ts +15 -5
  351. package/src/contract/contract_address.ts +3 -3
  352. package/src/contract/contract_class_id.ts +2 -2
  353. package/src/contract/index.ts +0 -2
  354. package/src/contract/interfaces/contract_class.ts +2 -82
  355. package/src/epoch-helpers/index.ts +27 -0
  356. package/src/file-store/factory.ts +13 -4
  357. package/src/file-store/http.ts +29 -10
  358. package/src/file-store/index.ts +1 -0
  359. package/src/gas/README.md +154 -0
  360. package/src/gas/fee_math.ts +120 -0
  361. package/src/gas/gas_fees.ts +12 -4
  362. package/src/gas/gas_settings.ts +65 -12
  363. package/src/gas/index.ts +1 -0
  364. package/src/ha-signing/config.ts +45 -38
  365. package/src/ha-signing/index.ts +12 -1
  366. package/src/ha-signing/local_config.ts +46 -0
  367. package/src/ha-signing/types.ts +48 -34
  368. package/src/hash/hash.ts +34 -0
  369. package/src/interfaces/allowed_element.ts +28 -4
  370. package/src/interfaces/archiver.ts +6 -3
  371. package/src/interfaces/aztec-node-admin.ts +5 -7
  372. package/src/interfaces/aztec-node-debug.ts +40 -0
  373. package/src/interfaces/aztec-node.ts +39 -5
  374. package/src/interfaces/block-builder.ts +56 -13
  375. package/src/interfaces/client.ts +1 -0
  376. package/src/interfaces/configs.ts +15 -4
  377. package/src/interfaces/l2_logs_source.ts +4 -1
  378. package/src/interfaces/merkle_tree_operations.ts +11 -20
  379. package/src/interfaces/prover-client.ts +10 -5
  380. package/src/interfaces/slasher.ts +0 -6
  381. package/src/interfaces/validator.ts +61 -37
  382. package/src/interfaces/world_state.ts +4 -3
  383. package/src/kernel/private_kernel_tail_circuit_public_inputs.ts +9 -0
  384. package/src/kv-store/config.ts +36 -0
  385. package/src/kv-store/index.ts +1 -0
  386. package/src/l1-contracts/index.ts +1 -1
  387. package/src/logs/extended_directional_app_tagging_secret.ts +19 -8
  388. package/src/logs/index.ts +1 -0
  389. package/src/logs/log_filter.ts +5 -0
  390. package/src/logs/log_id.ts +1 -2
  391. package/src/logs/message_context.ts +17 -7
  392. package/src/logs/pending_tagged_log.ts +1 -3
  393. package/src/logs/shared_secret_derivation.ts +21 -10
  394. package/src/logs/siloed_tag.ts +15 -11
  395. package/src/logs/tag.ts +8 -8
  396. package/src/logs/tagging_index_range.ts +24 -0
  397. package/src/logs/tx_scoped_l2_log.ts +16 -0
  398. package/src/messaging/l1_to_l2_message.ts +12 -9
  399. package/src/messaging/l1_to_l2_message_source.ts +3 -1
  400. package/src/messaging/l2_to_l1_membership.ts +98 -33
  401. package/src/noir/index.ts +2 -2
  402. package/src/note/note_dao.ts +1 -4
  403. package/src/p2p/block_proposal.ts +13 -9
  404. package/src/p2p/checkpoint_attestation.ts +5 -9
  405. package/src/p2p/checkpoint_proposal.ts +19 -48
  406. package/src/p2p/gossipable.ts +4 -4
  407. package/src/p2p/peer_error.ts +7 -0
  408. package/src/proofs/chonk_proof.ts +91 -5
  409. package/src/slashing/index.ts +1 -2
  410. package/src/slashing/serialization.ts +1 -81
  411. package/src/slashing/types.ts +3 -35
  412. package/src/slashing/{tally.ts → votes.ts} +22 -4
  413. package/src/tests/factories.ts +5 -34
  414. package/src/tests/mocks.ts +33 -18
  415. package/src/timetable/index.ts +293 -13
  416. package/src/tx/block_header.ts +8 -2
  417. package/src/tx/capsule.ts +10 -2
  418. package/src/tx/fee_provider.ts +10 -0
  419. package/src/tx/global_variable_builder.ts +2 -3
  420. package/src/tx/index.ts +1 -0
  421. package/src/tx/indexed_tx_effect.ts +1 -2
  422. package/src/tx/private_execution_result.ts +5 -5
  423. package/src/tx/profiling.ts +11 -2
  424. package/src/tx/simulated_tx.ts +6 -2
  425. package/src/tx/tx.ts +22 -13
  426. package/src/tx/tx_receipt.ts +18 -16
  427. package/src/tx/validator/error_texts.ts +11 -0
  428. package/src/update-checker/index.ts +2 -1
  429. package/src/update-checker/package_version.ts +30 -0
  430. package/src/update-checker/version_checker.ts +65 -0
  431. package/src/validators/errors.ts +9 -0
  432. package/src/versioning/versioning.ts +4 -1
  433. package/src/world-state/genesis_data.ts +15 -0
  434. package/src/world-state/index.ts +1 -0
  435. package/dest/contract/private_function_membership_proof.d.ts +0 -32
  436. package/dest/contract/private_function_membership_proof.d.ts.map +0 -1
  437. package/dest/contract/private_function_membership_proof.js +0 -124
  438. package/dest/contract/utility_function_membership_proof.d.ts +0 -27
  439. package/dest/contract/utility_function_membership_proof.d.ts.map +0 -1
  440. package/dest/contract/utility_function_membership_proof.js +0 -87
  441. package/dest/l1-contracts/slash_factory.d.ts +0 -45
  442. package/dest/l1-contracts/slash_factory.d.ts.map +0 -1
  443. package/dest/l1-contracts/slash_factory.js +0 -158
  444. package/dest/slashing/empire.d.ts +0 -31
  445. package/dest/slashing/empire.d.ts.map +0 -1
  446. package/dest/slashing/empire.js +0 -87
  447. package/dest/slashing/tally.d.ts.map +0 -1
  448. package/dest/update-checker/update-checker.d.ts +0 -49
  449. package/dest/update-checker/update-checker.d.ts.map +0 -1
  450. package/dest/update-checker/update-checker.js +0 -130
  451. package/src/contract/private_function_membership_proof.ts +0 -167
  452. package/src/contract/utility_function_membership_proof.ts +0 -118
  453. package/src/l1-contracts/slash_factory.ts +0 -180
  454. package/src/slashing/empire.ts +0 -104
  455. package/src/update-checker/update-checker.ts +0 -166
@@ -1,5 +1,5 @@
1
1
  import { SlotNumber } from '@aztec/foundation/branded-types';
2
- import { Buffer32 } from '@aztec/foundation/buffer';
2
+ import type { BaseBuffer32 } from '@aztec/foundation/buffer';
3
3
  import type { Fr } from '@aztec/foundation/curves/bn254';
4
4
  import type { EthAddress } from '@aztec/foundation/eth-address';
5
5
  import { Signature } from '@aztec/foundation/eth-signature';
@@ -8,9 +8,7 @@ import type { ZodFor } from '../schemas/index.js';
8
8
  import { ConsensusPayload } from './consensus_payload.js';
9
9
  import { Gossipable } from './gossipable.js';
10
10
  import { TopicType } from './topic_type.js';
11
- export declare class CheckpointAttestationHash extends Buffer32 {
12
- constructor(hash: Buffer);
13
- }
11
+ export type { CheckpointAttestationHash } from '@aztec/foundation/branded-types';
14
12
  /**
15
13
  * CheckpointAttestation
16
14
  *
@@ -35,7 +33,7 @@ export declare class CheckpointAttestation extends Gossipable {
35
33
  /** The signature from the checkpoint proposer */
36
34
  proposerSignature: Signature);
37
35
  static get schema(): ZodFor<CheckpointAttestation>;
38
- generateP2PMessageIdentifier(): Promise<Buffer32>;
36
+ generateP2PMessageIdentifier(): Promise<BaseBuffer32>;
39
37
  get archive(): Fr;
40
38
  get slotNumber(): SlotNumber;
41
39
  /**
@@ -79,4 +77,4 @@ export declare class CheckpointAttestation extends Gossipable {
79
77
  proposerSignature: `0x${string}`;
80
78
  };
81
79
  }
82
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9hdHRlc3RhdGlvbi5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3AycC9jaGVja3BvaW50X2F0dGVzdGF0aW9uLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUM3RCxPQUFPLEVBQUUsUUFBUSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFHcEQsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDekQsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDaEUsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQzVELE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFJOUUsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFFbEQsT0FBTyxFQUFFLGdCQUFnQixFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFDMUQsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBRTdDLE9BQU8sRUFBRSxTQUFTLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUU1QyxxQkFBYSx5QkFBMEIsU0FBUSxRQUFRO0lBQ3JELFlBQVksSUFBSSxFQUFFLE1BQU0sRUFFdkI7Q0FDRjtBQUVEOzs7OztHQUtHO0FBQ0gscUJBQWEscUJBQXNCLFNBQVEsVUFBVTtJQU9qRCxpRUFBaUU7YUFDakQsT0FBTyxFQUFFLGdCQUFnQjtJQUV6QywrQ0FBK0M7YUFDL0IsU0FBUyxFQUFFLFNBQVM7SUFFcEMsaURBQWlEO2FBQ2pDLGlCQUFpQixFQUFFLFNBQVM7SUFiOUMsT0FBZ0IsUUFBUSxZQUFvQztJQUU1RCxPQUFPLENBQUMsTUFBTSxDQUF5QjtJQUN2QyxPQUFPLENBQUMsUUFBUSxDQUF5QjtJQUV6QztJQUNFLGlFQUFpRTtJQUNqRCxPQUFPLEVBQUUsZ0JBQWdCO0lBRXpDLCtDQUErQztJQUMvQixTQUFTLEVBQUUsU0FBUztJQUVwQyxpREFBaUQ7SUFDakMsaUJBQWlCLEVBQUUsU0FBUyxFQUc3QztJQUVELE1BQU0sS0FBSyxNQUFNLElBQUksTUFBTSxDQUFDLHFCQUFxQixDQUFDLENBUWpEO0lBRVEsNEJBQTRCLElBQUksT0FBTyxDQUFDLFFBQVEsQ0FBQyxDQUV6RDtJQUVELElBQUksT0FBTyxJQUFJLEVBQUUsQ0FFaEI7SUFFRCxJQUFJLFVBQVUsSUFBSSxVQUFVLENBRTNCO0lBRUQ7OztPQUdHO0lBQ0gsU0FBUyxJQUFJLFVBQVUsR0FBRyxTQUFTLENBWWxDO0lBRUQ7OztPQUdHO0lBQ0gsV0FBVyxJQUFJLFVBQVUsR0FBRyxTQUFTLENBZ0JwQztJQUVELFVBQVUsSUFBSSxNQUFNLENBRW5CO0lBRUQsUUFBUSxJQUFJLE1BQU0sQ0FFakI7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLHFCQUFxQixDQU9uRTtJQUVELE1BQU0sQ0FBQyxLQUFLLElBQUkscUJBQXFCLENBRXBDO0lBRUQsTUFBTSxDQUFDLE1BQU0sSUFBSSxxQkFBcUIsQ0FFckM7SUFFRCxPQUFPLElBQUksTUFBTSxDQUVoQjtJQUVELFNBQVM7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O01BTVI7Q0FDRiJ9
80
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9hdHRlc3RhdGlvbi5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3AycC9jaGVja3BvaW50X2F0dGVzdGF0aW9uLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBNkIsVUFBVSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDeEYsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFHN0QsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDekQsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDaEUsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQzVELE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFJOUUsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFFbEQsT0FBTyxFQUFFLGdCQUFnQixFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFDMUQsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBRTdDLE9BQU8sRUFBRSxTQUFTLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUU1QyxZQUFZLEVBQUUseUJBQXlCLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUVqRjs7Ozs7R0FLRztBQUNILHFCQUFhLHFCQUFzQixTQUFRLFVBQVU7SUFPakQsaUVBQWlFO2FBQ2pELE9BQU8sRUFBRSxnQkFBZ0I7SUFFekMsK0NBQStDO2FBQy9CLFNBQVMsRUFBRSxTQUFTO0lBRXBDLGlEQUFpRDthQUNqQyxpQkFBaUIsRUFBRSxTQUFTO0lBYjlDLE9BQWdCLFFBQVEsWUFBb0M7SUFFNUQsT0FBTyxDQUFDLE1BQU0sQ0FBeUI7SUFDdkMsT0FBTyxDQUFDLFFBQVEsQ0FBeUI7SUFFekM7SUFDRSxpRUFBaUU7SUFDakQsT0FBTyxFQUFFLGdCQUFnQjtJQUV6QywrQ0FBK0M7SUFDL0IsU0FBUyxFQUFFLFNBQVM7SUFFcEMsaURBQWlEO0lBQ2pDLGlCQUFpQixFQUFFLFNBQVMsRUFHN0M7SUFFRCxNQUFNLEtBQUssTUFBTSxJQUFJLE1BQU0sQ0FBQyxxQkFBcUIsQ0FBQyxDQVFqRDtJQUVRLDRCQUE0QixJQUFJLE9BQU8sQ0FBQyxZQUFZLENBQUMsQ0FFN0Q7SUFFRCxJQUFJLE9BQU8sSUFBSSxFQUFFLENBRWhCO0lBRUQsSUFBSSxVQUFVLElBQUksVUFBVSxDQUUzQjtJQUVEOzs7T0FHRztJQUNILFNBQVMsSUFBSSxVQUFVLEdBQUcsU0FBUyxDQVlsQztJQUVEOzs7T0FHRztJQUNILFdBQVcsSUFBSSxVQUFVLEdBQUcsU0FBUyxDQWdCcEM7SUFFRCxVQUFVLElBQUksTUFBTSxDQUVuQjtJQUVELFFBQVEsSUFBSSxNQUFNLENBRWpCO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxxQkFBcUIsQ0FPbkU7SUFFRCxNQUFNLENBQUMsS0FBSyxJQUFJLHFCQUFxQixDQUVwQztJQUVELE1BQU0sQ0FBQyxNQUFNLElBQUkscUJBQXFCLENBRXJDO0lBRUQsT0FBTyxJQUFJLE1BQU0sQ0FFaEI7SUFFRCxTQUFTOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztNQU1SO0NBQ0YifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"checkpoint_attestation.d.ts","sourceRoot":"","sources":["../../src/p2p/checkpoint_attestation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC7D,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAGpD,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAI9E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAElD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C,qBAAa,yBAA0B,SAAQ,QAAQ;IACrD,YAAY,IAAI,EAAE,MAAM,EAEvB;CACF;AAED;;;;;GAKG;AACH,qBAAa,qBAAsB,SAAQ,UAAU;IAOjD,iEAAiE;aACjD,OAAO,EAAE,gBAAgB;IAEzC,+CAA+C;aAC/B,SAAS,EAAE,SAAS;IAEpC,iDAAiD;aACjC,iBAAiB,EAAE,SAAS;IAb9C,OAAgB,QAAQ,YAAoC;IAE5D,OAAO,CAAC,MAAM,CAAyB;IACvC,OAAO,CAAC,QAAQ,CAAyB;IAEzC;IACE,iEAAiE;IACjD,OAAO,EAAE,gBAAgB;IAEzC,+CAA+C;IAC/B,SAAS,EAAE,SAAS;IAEpC,iDAAiD;IACjC,iBAAiB,EAAE,SAAS,EAG7C;IAED,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,qBAAqB,CAAC,CAQjD;IAEQ,4BAA4B,IAAI,OAAO,CAAC,QAAQ,CAAC,CAEzD;IAED,IAAI,OAAO,IAAI,EAAE,CAEhB;IAED,IAAI,UAAU,IAAI,UAAU,CAE3B;IAED;;;OAGG;IACH,SAAS,IAAI,UAAU,GAAG,SAAS,CAYlC;IAED;;;OAGG;IACH,WAAW,IAAI,UAAU,GAAG,SAAS,CAgBpC;IAED,UAAU,IAAI,MAAM,CAEnB;IAED,QAAQ,IAAI,MAAM,CAEjB;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,GAAG,qBAAqB,CAOnE;IAED,MAAM,CAAC,KAAK,IAAI,qBAAqB,CAEpC;IAED,MAAM,CAAC,MAAM,IAAI,qBAAqB,CAErC;IAED,OAAO,IAAI,MAAM,CAEhB;IAED,SAAS;;;;;;;;;;;;;;;;;;;;;;;MAMR;CACF"}
1
+ {"version":3,"file":"checkpoint_attestation.d.ts","sourceRoot":"","sources":["../../src/p2p/checkpoint_attestation.ts"],"names":[],"mappings":"AAAA,OAAO,EAA6B,UAAU,EAAE,MAAM,iCAAiC,CAAC;AACxF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAG7D,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAI9E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAElD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C,YAAY,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAEjF;;;;;GAKG;AACH,qBAAa,qBAAsB,SAAQ,UAAU;IAOjD,iEAAiE;aACjD,OAAO,EAAE,gBAAgB;IAEzC,+CAA+C;aAC/B,SAAS,EAAE,SAAS;IAEpC,iDAAiD;aACjC,iBAAiB,EAAE,SAAS;IAb9C,OAAgB,QAAQ,YAAoC;IAE5D,OAAO,CAAC,MAAM,CAAyB;IACvC,OAAO,CAAC,QAAQ,CAAyB;IAEzC;IACE,iEAAiE;IACjD,OAAO,EAAE,gBAAgB;IAEzC,+CAA+C;IAC/B,SAAS,EAAE,SAAS;IAEpC,iDAAiD;IACjC,iBAAiB,EAAE,SAAS,EAG7C;IAED,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,qBAAqB,CAAC,CAQjD;IAEQ,4BAA4B,IAAI,OAAO,CAAC,YAAY,CAAC,CAE7D;IAED,IAAI,OAAO,IAAI,EAAE,CAEhB;IAED,IAAI,UAAU,IAAI,UAAU,CAE3B;IAED;;;OAGG;IACH,SAAS,IAAI,UAAU,GAAG,SAAS,CAYlC;IAED;;;OAGG;IACH,WAAW,IAAI,UAAU,GAAG,SAAS,CAgBpC;IAED,UAAU,IAAI,MAAM,CAEnB;IAED,QAAQ,IAAI,MAAM,CAEjB;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,GAAG,qBAAqB,CAOnE;IAED,MAAM,CAAC,KAAK,IAAI,qBAAqB,CAEpC;IAED,MAAM,CAAC,MAAM,IAAI,qBAAqB,CAErC;IAED,OAAO,IAAI,MAAM,CAEhB;IAED,SAAS;;;;;;;;;;;;;;;;;;;;;;;MAMR;CACF"}
@@ -1,4 +1,4 @@
1
- import { Buffer32 } from '@aztec/foundation/buffer';
1
+ import { CheckpointAttestationHash } from '@aztec/foundation/branded-types';
2
2
  import { keccak256 } from '@aztec/foundation/crypto/keccak';
3
3
  import { tryRecoverAddress } from '@aztec/foundation/crypto/secp256k1-signer';
4
4
  import { Signature } from '@aztec/foundation/eth-signature';
@@ -9,11 +9,6 @@ import { ConsensusPayload } from './consensus_payload.js';
9
9
  import { Gossipable } from './gossipable.js';
10
10
  import { SignatureDomainSeparator, getHashedSignaturePayloadEthSignedMessage } from './signature_utils.js';
11
11
  import { TopicType } from './topic_type.js';
12
- export class CheckpointAttestationHash extends Buffer32 {
13
- constructor(hash){
14
- super(hash);
15
- }
16
- }
17
12
  /**
18
13
  * CheckpointAttestation
19
14
  *
@@ -37,7 +32,7 @@ export class CheckpointAttestationHash extends Buffer32 {
37
32
  }).transform((obj)=>new CheckpointAttestation(obj.payload, obj.signature, obj.proposerSignature));
38
33
  }
39
34
  generateP2PMessageIdentifier() {
40
- return Promise.resolve(new CheckpointAttestationHash(keccak256(this.signature.toBuffer())));
35
+ return Promise.resolve(CheckpointAttestationHash.fromBuffer(keccak256(this.signature.toBuffer())));
41
36
  }
42
37
  get archive() {
43
38
  return this.payload.archive;
@@ -1,5 +1,5 @@
1
- import { BlockNumber, IndexWithinCheckpoint, SlotNumber } from '@aztec/foundation/branded-types';
2
- import { Buffer32 } from '@aztec/foundation/buffer';
1
+ import { type CheckpointNumber, IndexWithinCheckpoint, SlotNumber } from '@aztec/foundation/branded-types';
2
+ import { type BaseBuffer32, Buffer32 } from '@aztec/foundation/buffer';
3
3
  import { Fr } from '@aztec/foundation/curves/bn254';
4
4
  import type { EthAddress } from '@aztec/foundation/eth-address';
5
5
  import { Signature } from '@aztec/foundation/eth-signature';
@@ -15,9 +15,7 @@ import { Gossipable } from './gossipable.js';
15
15
  import { SignatureDomainSeparator } from './signature_utils.js';
16
16
  import { SignedTxs } from './signed_txs.js';
17
17
  import { TopicType } from './topic_type.js';
18
- export declare class CheckpointProposalHash extends Buffer32 {
19
- constructor(hash: Buffer);
20
- }
18
+ export type { CheckpointProposalHash } from '@aztec/foundation/branded-types';
21
19
  export type CheckpointProposalOptions = {
22
20
  /**
23
21
  * Whether to include the tx objects along with the block proposal.
@@ -77,13 +75,8 @@ export declare class CheckpointProposal extends Gossipable {
77
75
  signature: Signature,
78
76
  /** Optional last block info, including its own signature for BlockProposal extraction */
79
77
  lastBlock?: CheckpointLastBlock | undefined);
80
- generateP2PMessageIdentifier(): Promise<Buffer32>;
78
+ generateP2PMessageIdentifier(): Promise<BaseBuffer32>;
81
79
  get slotNumber(): SlotNumber;
82
- get blockNumber(): BlockNumber;
83
- /** Convenience getter for txHashes from lastBlock */
84
- get txHashes(): TxHash[];
85
- /** Convenience getter for txs from lastBlock */
86
- get txs(): Tx[] | undefined;
87
80
  /**
88
81
  * Extract a BlockProposal from the last block info.
89
82
  * Uses inHash from checkpointHeader.contentCommitment.inHash
@@ -93,7 +86,7 @@ export declare class CheckpointProposal extends Gossipable {
93
86
  toCheckpointInfo(): {
94
87
  slotNumber: SlotNumber;
95
88
  archive: Fr;
96
- lastBlockNumber: BlockNumber | undefined;
89
+ lastBlockNumber: import("@aztec/foundation/branded-types").BlockNumber | undefined;
97
90
  lastBlockIndex: IndexWithinCheckpoint | undefined;
98
91
  blockHeadersHash: Fr;
99
92
  };
@@ -102,7 +95,7 @@ export declare class CheckpointProposal extends Gossipable {
102
95
  * The signature is over the checkpoint header + archive root + feeAssetPriceModifier (for consensus).
103
96
  */
104
97
  getPayloadToSign(domainSeparator: SignatureDomainSeparator): Buffer;
105
- static createProposalFromSigner(checkpointHeader: CheckpointHeader, archiveRoot: Fr, feeAssetPriceModifier: bigint, lastBlockInfo: CheckpointLastBlockData | undefined, payloadSigner: (payload: Buffer32, context: SigningContext) => Promise<Signature>): Promise<CheckpointProposal>;
98
+ static createProposalFromSigner(checkpointHeader: CheckpointHeader, archiveRoot: Fr, checkpointNumber: CheckpointNumber, feeAssetPriceModifier: bigint, lastBlockProposal: BlockProposal | undefined, payloadSigner: (payload: Buffer32, context: SigningContext) => Promise<Signature>): Promise<CheckpointProposal>;
106
99
  /**
107
100
  * Lazily evaluate the sender of the proposal; result is cached.
108
101
  * If there's a lastBlock, also verifies the block proposal sender matches the checkpoint sender.
@@ -148,7 +141,7 @@ export declare class CheckpointProposal extends Gossipable {
148
141
  globalVariables: {
149
142
  chainId: number;
150
143
  version: number;
151
- blockNumber: BlockNumber;
144
+ blockNumber: import("@aztec/foundation/branded-types").BlockNumber;
152
145
  slotNumber: SlotNumber;
153
146
  timestamp: bigint;
154
147
  coinbase: `0x${string}`;
@@ -176,4 +169,4 @@ export declare class CheckpointProposal extends Gossipable {
176
169
  * This type makes it clear that lastBlock and getBlockProposal() are not available.
177
170
  */
178
171
  export type CheckpointProposalCore = Omit<CheckpointProposal, 'lastBlock' | 'getBlockProposal' | 'toCore'>;
179
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9wcm9wb3NhbC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3AycC9jaGVja3BvaW50X3Byb3Bvc2FsLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQUUscUJBQXFCLEVBQUUsVUFBVSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDakcsT0FBTyxFQUFFLFFBQVEsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBR3BELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUNoRSxPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDNUQsT0FBTyxFQUFFLFlBQVksRUFBNEMsTUFBTSw2QkFBNkIsQ0FBQztBQUVyRyxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUU3RCxPQUFPLEVBQVksS0FBSyxjQUFjLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUN2RSxPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNsRSxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDcEQsT0FBTyxFQUFFLE1BQU0sRUFBRSxNQUFNLGdCQUFnQixDQUFDO0FBQ3hDLE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLGFBQWEsQ0FBQztBQUN0QyxPQUFPLEVBQUUsYUFBYSxFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDcEQsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBQzdDLE9BQU8sRUFDTCx3QkFBd0IsRUFHekIsTUFBTSxzQkFBc0IsQ0FBQztBQUM5QixPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFDNUMsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBRzVDLHFCQUFhLHNCQUF1QixTQUFRLFFBQVE7SUFDbEQsWUFBWSxJQUFJLEVBQUUsTUFBTSxFQUV2QjtDQUNGO0FBRUQsTUFBTSxNQUFNLHlCQUF5QixHQUFHO0lBQ3RDOzs7T0FHRztJQUNILGNBQWMsQ0FBQyxFQUFFLE9BQU8sQ0FBQztJQUN6Qjs7O09BR0c7SUFDSCxrQ0FBa0MsQ0FBQyxFQUFFLE9BQU8sQ0FBQztDQUM5QyxDQUFDO0FBRUYsZ0VBQWdFO0FBQ2hFLE1BQU0sTUFBTSx1QkFBdUIsR0FBRztJQUNwQyxnRUFBZ0U7SUFDaEUsV0FBVyxFQUFFLFdBQVcsQ0FBQztJQUN6QixnR0FBZ0c7SUFDaEcscUJBQXFCLEVBQUUscUJBQXFCLENBQUM7SUFDN0MscURBQXFEO0lBQ3JELFFBQVEsRUFBRSxNQUFNLEVBQUUsQ0FBQztJQUNuQiw2REFBNkQ7SUFDN0QsR0FBRyxDQUFDLEVBQUUsRUFBRSxFQUFFLENBQUM7Q0FDWixDQUFDO0FBRUYsbURBQW1EO0FBQ25ELE1BQU0sTUFBTSxtQkFBbUIsR0FBRyxJQUFJLENBQUMsdUJBQXVCLEVBQUUsS0FBSyxDQUFDLEdBQUc7SUFDdkUsd0ZBQXdGO0lBQ3hGLFNBQVMsRUFBRSxTQUFTLENBQUM7SUFDckIsOEVBQThFO0lBQzlFLFNBQVMsQ0FBQyxFQUFFLFNBQVMsQ0FBQztDQUN2QixDQUFDO0FBRUY7Ozs7R0FJRztBQUNILHFCQUFhLGtCQUFtQixTQUFRLFVBQVU7SUFNOUMscURBQXFEO2FBQ3JDLGdCQUFnQixFQUFFLGdCQUFnQjtJQUVsRCxvREFBb0Q7YUFDcEMsT0FBTyxFQUFFLEVBQUU7SUFFM0IsaUVBQWlFO2FBQ2pELHFCQUFxQixFQUFFLE1BQU07SUFFN0MsZ0hBQWdIO2FBQ2hHLFNBQVMsRUFBRSxTQUFTO0lBRXBDLHlGQUF5RjthQUN6RSxTQUFTLENBQUM7SUFsQjVCLE9BQWdCLFFBQVEsWUFBaUM7SUFFekQsT0FBTyxDQUFDLE1BQU0sQ0FBeUI7SUFFdkM7SUFDRSxxREFBcUQ7SUFDckMsZ0JBQWdCLEVBQUUsZ0JBQWdCO0lBRWxELG9EQUFvRDtJQUNwQyxPQUFPLEVBQUUsRUFBRTtJQUUzQixpRUFBaUU7SUFDakQscUJBQXFCLEVBQUUsTUFBTTtJQUU3QyxnSEFBZ0g7SUFDaEcsU0FBUyxFQUFFLFNBQVM7SUFFcEMseUZBQXlGO0lBQ3pFLFNBQVMsQ0FBQyxpQ0FBcUIsRUFHaEQ7SUFFUSw0QkFBNEIsSUFBSSxPQUFPLENBQUMsUUFBUSxDQUFDLENBRXpEO0lBRUQsSUFBSSxVQUFVLElBQUksVUFBVSxDQUUzQjtJQUVELElBQUksV0FBVyxJQUFJLFdBQVcsQ0FLN0I7SUFFRCxxREFBcUQ7SUFDckQsSUFBSSxRQUFRLElBQUksTUFBTSxFQUFFLENBRXZCO0lBRUQsZ0RBQWdEO0lBQ2hELElBQUksR0FBRyxJQUFJLEVBQUUsRUFBRSxHQUFHLFNBQVMsQ0FFMUI7SUFFRDs7O09BR0c7SUFDSCxnQkFBZ0IsSUFBSSxhQUFhLEdBQUcsU0FBUyxDQWM1QztJQUVELFdBQVcsSUFBSSxJQUFJLENBQUMsV0FBVyxFQUFFLGFBQWEsQ0FBQyxDQVc5QztJQUVELGdCQUFnQjs7Ozs7O01BUWY7SUFFRDs7O09BR0c7SUFDSCxnQkFBZ0IsQ0FBQyxlQUFlLEVBQUUsd0JBQXdCLEdBQUcsTUFBTSxDQU9sRTtJQUVELE9BQWEsd0JBQXdCLENBQ25DLGdCQUFnQixFQUFFLGdCQUFnQixFQUNsQyxXQUFXLEVBQUUsRUFBRSxFQUNmLHFCQUFxQixFQUFFLE1BQU0sRUFDN0IsYUFBYSxFQUFFLHVCQUF1QixHQUFHLFNBQVMsRUFDbEQsYUFBYSxFQUFFLENBQUMsT0FBTyxFQUFFLFFBQVEsRUFBRSxPQUFPLEVBQUUsY0FBYyxLQUFLLE9BQU8sQ0FBQyxTQUFTLENBQUMsR0FDaEYsT0FBTyxDQUFDLGtCQUFrQixDQUFDLENBc0M3QjtJQUVEOzs7O09BSUc7SUFDSCxTQUFTLElBQUksVUFBVSxHQUFHLFNBQVMsQ0FtQmxDO0lBRUQsVUFBVSw0QkFFVDtJQUVELFFBQVEsSUFBSSxNQUFNLENBMEJqQjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsa0JBQWtCLENBc0NoRTtJQUVELE9BQU8sSUFBSSxNQUFNLENBb0JoQjtJQUVELE1BQU0sQ0FBQyxLQUFLLElBQUksa0JBQWtCLENBRWpDO0lBRUQsTUFBTSxDQUFDLE1BQU0sSUFBSSxrQkFBa0IsQ0FPbEM7SUFFRCxTQUFTOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7TUFlUjtJQUVEOzs7T0FHRztJQUNILE1BQU0sSUFBSSxzQkFBc0IsQ0FFL0I7Q0FDRjtBQUVEOzs7O0dBSUc7QUFDSCxNQUFNLE1BQU0sc0JBQXNCLEdBQUcsSUFBSSxDQUFDLGtCQUFrQixFQUFFLFdBQVcsR0FBRyxrQkFBa0IsR0FBRyxRQUFRLENBQUMsQ0FBQyJ9
172
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9wcm9wb3NhbC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3AycC9jaGVja3BvaW50X3Byb3Bvc2FsLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFDTCxLQUFLLGdCQUFnQixFQUVyQixxQkFBcUIsRUFDckIsVUFBVSxFQUNYLE1BQU0saUNBQWlDLENBQUM7QUFDekMsT0FBTyxFQUFFLEtBQUssWUFBWSxFQUFFLFFBQVEsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBR3ZFLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUNoRSxPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDNUQsT0FBTyxFQUFFLFlBQVksRUFBNEMsTUFBTSw2QkFBNkIsQ0FBQztBQUVyRyxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUU3RCxPQUFPLEVBQVksS0FBSyxjQUFjLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUN2RSxPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNsRSxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDcEQsT0FBTyxFQUFFLE1BQU0sRUFBRSxNQUFNLGdCQUFnQixDQUFDO0FBQ3hDLE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLGFBQWEsQ0FBQztBQUN0QyxPQUFPLEVBQUUsYUFBYSxFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDcEQsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBQzdDLE9BQU8sRUFDTCx3QkFBd0IsRUFHekIsTUFBTSxzQkFBc0IsQ0FBQztBQUM5QixPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFDNUMsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBRTVDLFlBQVksRUFBRSxzQkFBc0IsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBRTlFLE1BQU0sTUFBTSx5QkFBeUIsR0FBRztJQUN0Qzs7O09BR0c7SUFDSCxjQUFjLENBQUMsRUFBRSxPQUFPLENBQUM7SUFDekI7OztPQUdHO0lBQ0gsa0NBQWtDLENBQUMsRUFBRSxPQUFPLENBQUM7Q0FDOUMsQ0FBQztBQUVGLGdFQUFnRTtBQUNoRSxNQUFNLE1BQU0sdUJBQXVCLEdBQUc7SUFDcEMsZ0VBQWdFO0lBQ2hFLFdBQVcsRUFBRSxXQUFXLENBQUM7SUFDekIsZ0dBQWdHO0lBQ2hHLHFCQUFxQixFQUFFLHFCQUFxQixDQUFDO0lBQzdDLHFEQUFxRDtJQUNyRCxRQUFRLEVBQUUsTUFBTSxFQUFFLENBQUM7SUFDbkIsNkRBQTZEO0lBQzdELEdBQUcsQ0FBQyxFQUFFLEVBQUUsRUFBRSxDQUFDO0NBQ1osQ0FBQztBQUVGLG1EQUFtRDtBQUNuRCxNQUFNLE1BQU0sbUJBQW1CLEdBQUcsSUFBSSxDQUFDLHVCQUF1QixFQUFFLEtBQUssQ0FBQyxHQUFHO0lBQ3ZFLHdGQUF3RjtJQUN4RixTQUFTLEVBQUUsU0FBUyxDQUFDO0lBQ3JCLDhFQUE4RTtJQUM5RSxTQUFTLENBQUMsRUFBRSxTQUFTLENBQUM7Q0FDdkIsQ0FBQztBQUVGOzs7O0dBSUc7QUFDSCxxQkFBYSxrQkFBbUIsU0FBUSxVQUFVO0lBTTlDLHFEQUFxRDthQUNyQyxnQkFBZ0IsRUFBRSxnQkFBZ0I7SUFFbEQsb0RBQW9EO2FBQ3BDLE9BQU8sRUFBRSxFQUFFO0lBRTNCLGlFQUFpRTthQUNqRCxxQkFBcUIsRUFBRSxNQUFNO0lBRTdDLGdIQUFnSDthQUNoRyxTQUFTLEVBQUUsU0FBUztJQUVwQyx5RkFBeUY7YUFDekUsU0FBUyxDQUFDO0lBbEI1QixPQUFnQixRQUFRLFlBQWlDO0lBRXpELE9BQU8sQ0FBQyxNQUFNLENBQXlCO0lBRXZDO0lBQ0UscURBQXFEO0lBQ3JDLGdCQUFnQixFQUFFLGdCQUFnQjtJQUVsRCxvREFBb0Q7SUFDcEMsT0FBTyxFQUFFLEVBQUU7SUFFM0IsaUVBQWlFO0lBQ2pELHFCQUFxQixFQUFFLE1BQU07SUFFN0MsZ0hBQWdIO0lBQ2hHLFNBQVMsRUFBRSxTQUFTO0lBRXBDLHlGQUF5RjtJQUN6RSxTQUFTLENBQUMsaUNBQXFCLEVBR2hEO0lBRVEsNEJBQTRCLElBQUksT0FBTyxDQUFDLFlBQVksQ0FBQyxDQUU3RDtJQUVELElBQUksVUFBVSxJQUFJLFVBQVUsQ0FFM0I7SUFFRDs7O09BR0c7SUFDSCxnQkFBZ0IsSUFBSSxhQUFhLEdBQUcsU0FBUyxDQWM1QztJQUVELFdBQVcsSUFBSSxJQUFJLENBQUMsV0FBVyxFQUFFLGFBQWEsQ0FBQyxDQVc5QztJQUVELGdCQUFnQjs7Ozs7O01BUWY7SUFFRDs7O09BR0c7SUFDSCxnQkFBZ0IsQ0FBQyxlQUFlLEVBQUUsd0JBQXdCLEdBQUcsTUFBTSxDQU9sRTtJQUVELE9BQWEsd0JBQXdCLENBQ25DLGdCQUFnQixFQUFFLGdCQUFnQixFQUNsQyxXQUFXLEVBQUUsRUFBRSxFQUNmLGdCQUFnQixFQUFFLGdCQUFnQixFQUNsQyxxQkFBcUIsRUFBRSxNQUFNLEVBQzdCLGlCQUFpQixFQUFFLGFBQWEsR0FBRyxTQUFTLEVBQzVDLGFBQWEsRUFBRSxDQUFDLE9BQU8sRUFBRSxRQUFRLEVBQUUsT0FBTyxFQUFFLGNBQWMsS0FBSyxPQUFPLENBQUMsU0FBUyxDQUFDLEdBQ2hGLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBQyxDQXlCN0I7SUFFRDs7OztPQUlHO0lBQ0gsU0FBUyxJQUFJLFVBQVUsR0FBRyxTQUFTLENBbUJsQztJQUVELFVBQVUsNEJBRVQ7SUFFRCxRQUFRLElBQUksTUFBTSxDQTBCakI7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLGtCQUFrQixDQXNDaEU7SUFFRCxPQUFPLElBQUksTUFBTSxDQW9CaEI7SUFFRCxNQUFNLENBQUMsS0FBSyxJQUFJLGtCQUFrQixDQUVqQztJQUVELE1BQU0sQ0FBQyxNQUFNLElBQUksa0JBQWtCLENBT2xDO0lBRUQsU0FBUzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O01BZVI7SUFFRDs7O09BR0c7SUFDSCxNQUFNLElBQUksc0JBQXNCLENBRS9CO0NBQ0Y7QUFFRDs7OztHQUlHO0FBQ0gsTUFBTSxNQUFNLHNCQUFzQixHQUFHLElBQUksQ0FBQyxrQkFBa0IsRUFBRSxXQUFXLEdBQUcsa0JBQWtCLEdBQUcsUUFBUSxDQUFDLENBQUMifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"checkpoint_proposal.d.ts","sourceRoot":"","sources":["../../src/p2p/checkpoint_proposal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AACjG,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAGpD,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAC5D,OAAO,EAAE,YAAY,EAA4C,MAAM,6BAA6B,CAAC;AAErG,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAE7D,OAAO,EAAY,KAAK,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AACxC,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EACL,wBAAwB,EAGzB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAG5C,qBAAa,sBAAuB,SAAQ,QAAQ;IAClD,YAAY,IAAI,EAAE,MAAM,EAEvB;CACF;AAED,MAAM,MAAM,yBAAyB,GAAG;IACtC;;;OAGG;IACH,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB;;;OAGG;IACH,kCAAkC,CAAC,EAAE,OAAO,CAAC;CAC9C,CAAC;AAEF,gEAAgE;AAChE,MAAM,MAAM,uBAAuB,GAAG;IACpC,gEAAgE;IAChE,WAAW,EAAE,WAAW,CAAC;IACzB,gGAAgG;IAChG,qBAAqB,EAAE,qBAAqB,CAAC;IAC7C,qDAAqD;IACrD,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,6DAA6D;IAC7D,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC;CACZ,CAAC;AAEF,mDAAmD;AACnD,MAAM,MAAM,mBAAmB,GAAG,IAAI,CAAC,uBAAuB,EAAE,KAAK,CAAC,GAAG;IACvE,wFAAwF;IACxF,SAAS,EAAE,SAAS,CAAC;IACrB,8EAA8E;IAC9E,SAAS,CAAC,EAAE,SAAS,CAAC;CACvB,CAAC;AAEF;;;;GAIG;AACH,qBAAa,kBAAmB,SAAQ,UAAU;IAM9C,qDAAqD;aACrC,gBAAgB,EAAE,gBAAgB;IAElD,oDAAoD;aACpC,OAAO,EAAE,EAAE;IAE3B,iEAAiE;aACjD,qBAAqB,EAAE,MAAM;IAE7C,gHAAgH;aAChG,SAAS,EAAE,SAAS;IAEpC,yFAAyF;aACzE,SAAS,CAAC;IAlB5B,OAAgB,QAAQ,YAAiC;IAEzD,OAAO,CAAC,MAAM,CAAyB;IAEvC;IACE,qDAAqD;IACrC,gBAAgB,EAAE,gBAAgB;IAElD,oDAAoD;IACpC,OAAO,EAAE,EAAE;IAE3B,iEAAiE;IACjD,qBAAqB,EAAE,MAAM;IAE7C,gHAAgH;IAChG,SAAS,EAAE,SAAS;IAEpC,yFAAyF;IACzE,SAAS,CAAC,iCAAqB,EAGhD;IAEQ,4BAA4B,IAAI,OAAO,CAAC,QAAQ,CAAC,CAEzD;IAED,IAAI,UAAU,IAAI,UAAU,CAE3B;IAED,IAAI,WAAW,IAAI,WAAW,CAK7B;IAED,qDAAqD;IACrD,IAAI,QAAQ,IAAI,MAAM,EAAE,CAEvB;IAED,gDAAgD;IAChD,IAAI,GAAG,IAAI,EAAE,EAAE,GAAG,SAAS,CAE1B;IAED;;;OAGG;IACH,gBAAgB,IAAI,aAAa,GAAG,SAAS,CAc5C;IAED,WAAW,IAAI,IAAI,CAAC,WAAW,EAAE,aAAa,CAAC,CAW9C;IAED,gBAAgB;;;;;;MAQf;IAED;;;OAGG;IACH,gBAAgB,CAAC,eAAe,EAAE,wBAAwB,GAAG,MAAM,CAOlE;IAED,OAAa,wBAAwB,CACnC,gBAAgB,EAAE,gBAAgB,EAClC,WAAW,EAAE,EAAE,EACf,qBAAqB,EAAE,MAAM,EAC7B,aAAa,EAAE,uBAAuB,GAAG,SAAS,EAClD,aAAa,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,KAAK,OAAO,CAAC,SAAS,CAAC,GAChF,OAAO,CAAC,kBAAkB,CAAC,CAsC7B;IAED;;;;OAIG;IACH,SAAS,IAAI,UAAU,GAAG,SAAS,CAmBlC;IAED,UAAU,4BAET;IAED,QAAQ,IAAI,MAAM,CA0BjB;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,GAAG,kBAAkB,CAsChE;IAED,OAAO,IAAI,MAAM,CAoBhB;IAED,MAAM,CAAC,KAAK,IAAI,kBAAkB,CAEjC;IAED,MAAM,CAAC,MAAM,IAAI,kBAAkB,CAOlC;IAED,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAeR;IAED;;;OAGG;IACH,MAAM,IAAI,sBAAsB,CAE/B;CACF;AAED;;;;GAIG;AACH,MAAM,MAAM,sBAAsB,GAAG,IAAI,CAAC,kBAAkB,EAAE,WAAW,GAAG,kBAAkB,GAAG,QAAQ,CAAC,CAAC"}
1
+ {"version":3,"file":"checkpoint_proposal.d.ts","sourceRoot":"","sources":["../../src/p2p/checkpoint_proposal.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,gBAAgB,EAErB,qBAAqB,EACrB,UAAU,EACX,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,KAAK,YAAY,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAGvE,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAC5D,OAAO,EAAE,YAAY,EAA4C,MAAM,6BAA6B,CAAC;AAErG,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAE7D,OAAO,EAAY,KAAK,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AACxC,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EACL,wBAAwB,EAGzB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C,YAAY,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAE9E,MAAM,MAAM,yBAAyB,GAAG;IACtC;;;OAGG;IACH,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB;;;OAGG;IACH,kCAAkC,CAAC,EAAE,OAAO,CAAC;CAC9C,CAAC;AAEF,gEAAgE;AAChE,MAAM,MAAM,uBAAuB,GAAG;IACpC,gEAAgE;IAChE,WAAW,EAAE,WAAW,CAAC;IACzB,gGAAgG;IAChG,qBAAqB,EAAE,qBAAqB,CAAC;IAC7C,qDAAqD;IACrD,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,6DAA6D;IAC7D,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC;CACZ,CAAC;AAEF,mDAAmD;AACnD,MAAM,MAAM,mBAAmB,GAAG,IAAI,CAAC,uBAAuB,EAAE,KAAK,CAAC,GAAG;IACvE,wFAAwF;IACxF,SAAS,EAAE,SAAS,CAAC;IACrB,8EAA8E;IAC9E,SAAS,CAAC,EAAE,SAAS,CAAC;CACvB,CAAC;AAEF;;;;GAIG;AACH,qBAAa,kBAAmB,SAAQ,UAAU;IAM9C,qDAAqD;aACrC,gBAAgB,EAAE,gBAAgB;IAElD,oDAAoD;aACpC,OAAO,EAAE,EAAE;IAE3B,iEAAiE;aACjD,qBAAqB,EAAE,MAAM;IAE7C,gHAAgH;aAChG,SAAS,EAAE,SAAS;IAEpC,yFAAyF;aACzE,SAAS,CAAC;IAlB5B,OAAgB,QAAQ,YAAiC;IAEzD,OAAO,CAAC,MAAM,CAAyB;IAEvC;IACE,qDAAqD;IACrC,gBAAgB,EAAE,gBAAgB;IAElD,oDAAoD;IACpC,OAAO,EAAE,EAAE;IAE3B,iEAAiE;IACjD,qBAAqB,EAAE,MAAM;IAE7C,gHAAgH;IAChG,SAAS,EAAE,SAAS;IAEpC,yFAAyF;IACzE,SAAS,CAAC,iCAAqB,EAGhD;IAEQ,4BAA4B,IAAI,OAAO,CAAC,YAAY,CAAC,CAE7D;IAED,IAAI,UAAU,IAAI,UAAU,CAE3B;IAED;;;OAGG;IACH,gBAAgB,IAAI,aAAa,GAAG,SAAS,CAc5C;IAED,WAAW,IAAI,IAAI,CAAC,WAAW,EAAE,aAAa,CAAC,CAW9C;IAED,gBAAgB;;;;;;MAQf;IAED;;;OAGG;IACH,gBAAgB,CAAC,eAAe,EAAE,wBAAwB,GAAG,MAAM,CAOlE;IAED,OAAa,wBAAwB,CACnC,gBAAgB,EAAE,gBAAgB,EAClC,WAAW,EAAE,EAAE,EACf,gBAAgB,EAAE,gBAAgB,EAClC,qBAAqB,EAAE,MAAM,EAC7B,iBAAiB,EAAE,aAAa,GAAG,SAAS,EAC5C,aAAa,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,KAAK,OAAO,CAAC,SAAS,CAAC,GAChF,OAAO,CAAC,kBAAkB,CAAC,CAyB7B;IAED;;;;OAIG;IACH,SAAS,IAAI,UAAU,GAAG,SAAS,CAmBlC;IAED,UAAU,4BAET;IAED,QAAQ,IAAI,MAAM,CA0BjB;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,GAAG,kBAAkB,CAsChE;IAED,OAAO,IAAI,MAAM,CAoBhB;IAED,MAAM,CAAC,KAAK,IAAI,kBAAkB,CAEjC;IAED,MAAM,CAAC,MAAM,IAAI,kBAAkB,CAOlC;IAED,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAeR;IAED;;;OAGG;IACH,MAAM,IAAI,sBAAsB,CAE/B;CACF;AAED;;;;GAIG;AACH,MAAM,MAAM,sBAAsB,GAAG,IAAI,CAAC,kBAAkB,EAAE,WAAW,GAAG,kBAAkB,GAAG,QAAQ,CAAC,CAAC"}
@@ -1,5 +1,4 @@
1
- import { BlockNumber, IndexWithinCheckpoint } from '@aztec/foundation/branded-types';
2
- import { Buffer32 } from '@aztec/foundation/buffer';
1
+ import { CheckpointProposalHash, IndexWithinCheckpoint } from '@aztec/foundation/branded-types';
3
2
  import { keccak256 } from '@aztec/foundation/crypto/keccak';
4
3
  import { tryRecoverAddress } from '@aztec/foundation/crypto/secp256k1-signer';
5
4
  import { Fr } from '@aztec/foundation/curves/bn254';
@@ -15,12 +14,6 @@ import { Gossipable } from './gossipable.js';
15
14
  import { SignatureDomainSeparator, getHashedSignaturePayload, getHashedSignaturePayloadEthSignedMessage } from './signature_utils.js';
16
15
  import { SignedTxs } from './signed_txs.js';
17
16
  import { TopicType } from './topic_type.js';
18
- // REFACTOR(palla): Use a branded type instead of a subclass of Buffer32
19
- export class CheckpointProposalHash extends Buffer32 {
20
- constructor(hash){
21
- super(hash);
22
- }
23
- }
24
17
  /**
25
18
  * A checkpoint proposal is created by the leader of the chain for the last block in a checkpoint.
26
19
  * It includes the aggregated checkpoint header that validators will attest to, plus optionally
@@ -37,23 +30,11 @@ export class CheckpointProposalHash extends Buffer32 {
37
30
  super(), this.checkpointHeader = checkpointHeader, this.archive = archive, this.feeAssetPriceModifier = feeAssetPriceModifier, this.signature = signature, this.lastBlock = lastBlock;
38
31
  }
39
32
  generateP2PMessageIdentifier() {
40
- return Promise.resolve(new CheckpointProposalHash(keccak256(this.signature.toBuffer())));
33
+ return Promise.resolve(CheckpointProposalHash.fromBuffer(keccak256(this.signature.toBuffer())));
41
34
  }
42
35
  get slotNumber() {
43
36
  return this.checkpointHeader.slotNumber;
44
37
  }
45
- get blockNumber() {
46
- if (!this.lastBlock) {
47
- throw new Error('Cannot get blockNumber without lastBlock');
48
- }
49
- return this.lastBlock.blockHeader.getBlockNumber();
50
- }
51
- /** Convenience getter for txHashes from lastBlock */ get txHashes() {
52
- return this.lastBlock?.txHashes ?? [];
53
- }
54
- /** Convenience getter for txs from lastBlock */ get txs() {
55
- return this.lastBlock?.signedTxs?.txs;
56
- }
57
38
  /**
58
39
  * Extract a BlockProposal from the last block info.
59
40
  * Uses inHash from checkpointHeader.contentCommitment.inHash
@@ -95,27 +76,17 @@ export class CheckpointProposalHash extends Buffer32 {
95
76
  serializeSignedBigInt(this.feeAssetPriceModifier)
96
77
  ]);
97
78
  }
98
- static async createProposalFromSigner(checkpointHeader, archiveRoot, feeAssetPriceModifier, lastBlockInfo, payloadSigner) {
79
+ static async createProposalFromSigner(checkpointHeader, archiveRoot, checkpointNumber, feeAssetPriceModifier, lastBlockProposal, payloadSigner) {
99
80
  // Sign the checkpoint payload with CHECKPOINT_PROPOSAL duty type
100
81
  const tempProposal = new CheckpointProposal(checkpointHeader, archiveRoot, feeAssetPriceModifier, Signature.empty());
101
82
  const checkpointHash = getHashedSignaturePayload(tempProposal, SignatureDomainSeparator.checkpointProposal);
102
83
  const checkpointContext = {
103
84
  slot: checkpointHeader.slotNumber,
104
- blockNumber: lastBlockInfo?.blockHeader?.globalVariables.blockNumber ?? BlockNumber(0),
85
+ checkpointNumber,
105
86
  dutyType: DutyType.CHECKPOINT_PROPOSAL
106
87
  };
107
88
  const checkpointSignature = await payloadSigner(checkpointHash, checkpointContext);
108
- if (!lastBlockInfo) {
109
- return new CheckpointProposal(checkpointHeader, archiveRoot, feeAssetPriceModifier, checkpointSignature);
110
- }
111
- const lastBlockProposal = await BlockProposal.createProposalFromSigner(lastBlockInfo.blockHeader, lastBlockInfo.indexWithinCheckpoint, checkpointHeader.inHash, archiveRoot, lastBlockInfo.txHashes, lastBlockInfo.txs, payloadSigner);
112
- return new CheckpointProposal(checkpointHeader, archiveRoot, feeAssetPriceModifier, checkpointSignature, {
113
- blockHeader: lastBlockInfo.blockHeader,
114
- indexWithinCheckpoint: lastBlockInfo.indexWithinCheckpoint,
115
- txHashes: lastBlockInfo.txHashes,
116
- signature: lastBlockProposal.signature,
117
- signedTxs: lastBlockProposal.signedTxs
118
- });
89
+ return new CheckpointProposal(checkpointHeader, archiveRoot, feeAssetPriceModifier, checkpointSignature, lastBlockProposal);
119
90
  }
120
91
  /**
121
92
  * Lazily evaluate the sender of the proposal; result is cached.
@@ -1,4 +1,4 @@
1
- import { Buffer32 } from '@aztec/foundation/buffer';
1
+ import { BaseBuffer32 } from '@aztec/foundation/buffer';
2
2
  import type { TopicType } from './topic_type.js';
3
3
  export declare class P2PMessage {
4
4
  readonly payload: Buffer;
@@ -22,8 +22,8 @@ export declare abstract class Gossipable {
22
22
  * A digest of the message information **used for logging only**.
23
23
  * The identifier used for deduplication is `getMsgIdFn` as defined in `encoding.ts` which is a hash over topic and data.
24
24
  */
25
- p2pMessageLoggingIdentifier(): Promise<Buffer32>;
26
- abstract generateP2PMessageIdentifier(): Promise<Buffer32>;
25
+ p2pMessageLoggingIdentifier(): Promise<BaseBuffer32>;
26
+ abstract generateP2PMessageIdentifier(): Promise<BaseBuffer32>;
27
27
  abstract toBuffer(): Buffer;
28
28
  toMessage(): Buffer;
29
29
  /**
@@ -32,4 +32,4 @@ export declare abstract class Gossipable {
32
32
  */
33
33
  abstract getSize(): number;
34
34
  }
35
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZ29zc2lwYWJsZS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3AycC9nb3NzaXBhYmxlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxRQUFRLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUdwRCxPQUFPLEtBQUssRUFBRSxTQUFTLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUVqRCxxQkFBYSxVQUFVO2FBRUgsT0FBTyxFQUFFLE1BQU07YUFDZixTQUFTLENBQUM7YUFDVixZQUFZLENBQUM7SUFIL0IsWUFDa0IsT0FBTyxFQUFFLE1BQU0sRUFDZixTQUFTLENBQUMsa0JBQU0sRUFDaEIsWUFBWSxDQUFDLG9CQUFRLEVBQ25DO0lBRUosTUFBTSxDQUFDLGNBQWMsQ0FBQyxPQUFPLEVBQUUsVUFBVSxFQUFFLGtCQUFrQixVQUFRLEVBQUUsWUFBWSxDQUFDLEVBQUUsTUFBTSxHQUFHLFVBQVUsQ0FLeEc7SUFFRCxNQUFNLENBQUMsZUFBZSxDQUFDLFdBQVcsRUFBRSxNQUFNLEVBQUUsa0JBQWtCLFVBQVEsR0FBRyxVQUFVLENBVWxGO0lBRUQsYUFBYSxJQUFJLE1BQU0sQ0FRdEI7Q0FDRjtBQUVEOzs7O0dBSUc7QUFDSCw4QkFBc0IsVUFBVTtJQUM5QixPQUFPLENBQUMsUUFBUSxDQUF1QjtJQUN2QywyRUFBMkU7SUFDM0UsTUFBTSxDQUFDLFFBQVEsRUFBRSxTQUFTLENBQUM7SUFFM0I7OztPQUdHO0lBQ0csMkJBQTJCLElBQUksT0FBTyxDQUFDLFFBQVEsQ0FBQyxDQU1yRDtJQUVELFFBQVEsQ0FBQyw0QkFBNEIsSUFBSSxPQUFPLENBQUMsUUFBUSxDQUFDLENBQUM7SUFFM0QsUUFBUSxDQUFDLFFBQVEsSUFBSSxNQUFNLENBQUM7SUFFNUIsU0FBUyxJQUFJLE1BQU0sQ0FFbEI7SUFFRDs7O09BR0c7SUFDSCxRQUFRLENBQUMsT0FBTyxJQUFJLE1BQU0sQ0FBQztDQUM1QiJ9
35
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZ29zc2lwYWJsZS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3AycC9nb3NzaXBhYmxlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUd4RCxPQUFPLEtBQUssRUFBRSxTQUFTLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUVqRCxxQkFBYSxVQUFVO2FBRUgsT0FBTyxFQUFFLE1BQU07YUFDZixTQUFTLENBQUM7YUFDVixZQUFZLENBQUM7SUFIL0IsWUFDa0IsT0FBTyxFQUFFLE1BQU0sRUFDZixTQUFTLENBQUMsa0JBQU0sRUFDaEIsWUFBWSxDQUFDLG9CQUFRLEVBQ25DO0lBRUosTUFBTSxDQUFDLGNBQWMsQ0FBQyxPQUFPLEVBQUUsVUFBVSxFQUFFLGtCQUFrQixVQUFRLEVBQUUsWUFBWSxDQUFDLEVBQUUsTUFBTSxHQUFHLFVBQVUsQ0FLeEc7SUFFRCxNQUFNLENBQUMsZUFBZSxDQUFDLFdBQVcsRUFBRSxNQUFNLEVBQUUsa0JBQWtCLFVBQVEsR0FBRyxVQUFVLENBVWxGO0lBRUQsYUFBYSxJQUFJLE1BQU0sQ0FRdEI7Q0FDRjtBQUVEOzs7O0dBSUc7QUFDSCw4QkFBc0IsVUFBVTtJQUM5QixPQUFPLENBQUMsUUFBUSxDQUEyQjtJQUMzQywyRUFBMkU7SUFDM0UsTUFBTSxDQUFDLFFBQVEsRUFBRSxTQUFTLENBQUM7SUFFM0I7OztPQUdHO0lBQ0csMkJBQTJCLElBQUksT0FBTyxDQUFDLFlBQVksQ0FBQyxDQU16RDtJQUVELFFBQVEsQ0FBQyw0QkFBNEIsSUFBSSxPQUFPLENBQUMsWUFBWSxDQUFDLENBQUM7SUFFL0QsUUFBUSxDQUFDLFFBQVEsSUFBSSxNQUFNLENBQUM7SUFFNUIsU0FBUyxJQUFJLE1BQU0sQ0FFbEI7SUFFRDs7O09BR0c7SUFDSCxRQUFRLENBQUMsT0FBTyxJQUFJLE1BQU0sQ0FBQztDQUM1QiJ9
@@ -1 +1 @@
1
- {"version":3,"file":"gossipable.d.ts","sourceRoot":"","sources":["../../src/p2p/gossipable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAGpD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEjD,qBAAa,UAAU;aAEH,OAAO,EAAE,MAAM;aACf,SAAS,CAAC;aACV,YAAY,CAAC;IAH/B,YACkB,OAAO,EAAE,MAAM,EACf,SAAS,CAAC,kBAAM,EAChB,YAAY,CAAC,oBAAQ,EACnC;IAEJ,MAAM,CAAC,cAAc,CAAC,OAAO,EAAE,UAAU,EAAE,kBAAkB,UAAQ,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,UAAU,CAKxG;IAED,MAAM,CAAC,eAAe,CAAC,WAAW,EAAE,MAAM,EAAE,kBAAkB,UAAQ,GAAG,UAAU,CAUlF;IAED,aAAa,IAAI,MAAM,CAQtB;CACF;AAED;;;;GAIG;AACH,8BAAsB,UAAU;IAC9B,OAAO,CAAC,QAAQ,CAAuB;IACvC,2EAA2E;IAC3E,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC;IAE3B;;;OAGG;IACG,2BAA2B,IAAI,OAAO,CAAC,QAAQ,CAAC,CAMrD;IAED,QAAQ,CAAC,4BAA4B,IAAI,OAAO,CAAC,QAAQ,CAAC,CAAC;IAE3D,QAAQ,CAAC,QAAQ,IAAI,MAAM,CAAC;IAE5B,SAAS,IAAI,MAAM,CAElB;IAED;;;OAGG;IACH,QAAQ,CAAC,OAAO,IAAI,MAAM,CAAC;CAC5B"}
1
+ {"version":3,"file":"gossipable.d.ts","sourceRoot":"","sources":["../../src/p2p/gossipable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAGxD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEjD,qBAAa,UAAU;aAEH,OAAO,EAAE,MAAM;aACf,SAAS,CAAC;aACV,YAAY,CAAC;IAH/B,YACkB,OAAO,EAAE,MAAM,EACf,SAAS,CAAC,kBAAM,EAChB,YAAY,CAAC,oBAAQ,EACnC;IAEJ,MAAM,CAAC,cAAc,CAAC,OAAO,EAAE,UAAU,EAAE,kBAAkB,UAAQ,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,UAAU,CAKxG;IAED,MAAM,CAAC,eAAe,CAAC,WAAW,EAAE,MAAM,EAAE,kBAAkB,UAAQ,GAAG,UAAU,CAUlF;IAED,aAAa,IAAI,MAAM,CAQtB;CACF;AAED;;;;GAIG;AACH,8BAAsB,UAAU;IAC9B,OAAO,CAAC,QAAQ,CAA2B;IAC3C,2EAA2E;IAC3E,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC;IAE3B;;;OAGG;IACG,2BAA2B,IAAI,OAAO,CAAC,YAAY,CAAC,CAMzD;IAED,QAAQ,CAAC,4BAA4B,IAAI,OAAO,CAAC,YAAY,CAAC,CAAC;IAE/D,QAAQ,CAAC,QAAQ,IAAI,MAAM,CAAC;IAE5B,SAAS,IAAI,MAAM,CAElB;IAED;;;OAGG;IACH,QAAQ,CAAC,OAAO,IAAI,MAAM,CAAC;CAC5B"}
@@ -15,4 +15,6 @@ export declare enum PeerErrorSeverity {
15
15
  */
16
16
  HighToleranceError = "HighToleranceError"
17
17
  }
18
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicGVlcl9lcnJvci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3AycC9wZWVyX2Vycm9yLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLG9CQUFZLGlCQUFpQjtJQUMzQjs7O09BR0c7SUFDSCxpQkFBaUIsc0JBQXNCO0lBQ3ZDOzs7T0FHRztJQUNILGlCQUFpQixzQkFBc0I7SUFDdkM7OztPQUdHO0lBQ0gsa0JBQWtCLHVCQUF1QjtDQUMxQyJ9
18
+ /** Severities ordered from mildest to harshest. */
19
+ export declare const PeerErrorSeverityByHarshness: readonly [PeerErrorSeverity.HighToleranceError, PeerErrorSeverity.MidToleranceError, PeerErrorSeverity.LowToleranceError];
20
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicGVlcl9lcnJvci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3AycC9wZWVyX2Vycm9yLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLG9CQUFZLGlCQUFpQjtJQUMzQjs7O09BR0c7SUFDSCxpQkFBaUIsc0JBQXNCO0lBQ3ZDOzs7T0FHRztJQUNILGlCQUFpQixzQkFBc0I7SUFDdkM7OztPQUdHO0lBQ0gsa0JBQWtCLHVCQUF1QjtDQUMxQztBQUVELG1EQUFtRDtBQUNuRCxlQUFPLE1BQU0sNEJBQTRCLDJIQUkvQixDQUFDIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"peer_error.d.ts","sourceRoot":"","sources":["../../src/p2p/peer_error.ts"],"names":[],"mappings":"AAAA,oBAAY,iBAAiB;IAC3B;;;OAGG;IACH,iBAAiB,sBAAsB;IACvC;;;OAGG;IACH,iBAAiB,sBAAsB;IACvC;;;OAGG;IACH,kBAAkB,uBAAuB;CAC1C"}
1
+ {"version":3,"file":"peer_error.d.ts","sourceRoot":"","sources":["../../src/p2p/peer_error.ts"],"names":[],"mappings":"AAAA,oBAAY,iBAAiB;IAC3B;;;OAGG;IACH,iBAAiB,sBAAsB;IACvC;;;OAGG;IACH,iBAAiB,sBAAsB;IACvC;;;OAGG;IACH,kBAAkB,uBAAuB;CAC1C;AAED,mDAAmD;AACnD,eAAO,MAAM,4BAA4B,2HAI/B,CAAC"}
@@ -13,3 +13,8 @@ export var PeerErrorSeverity = /*#__PURE__*/ function(PeerErrorSeverity) {
13
13
  */ PeerErrorSeverity["HighToleranceError"] = "HighToleranceError";
14
14
  return PeerErrorSeverity;
15
15
  }({});
16
+ /** Severities ordered from mildest to harshest. */ export const PeerErrorSeverityByHarshness = [
17
+ "HighToleranceError",
18
+ "MidToleranceError",
19
+ "LowToleranceError"
20
+ ];
@@ -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,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hvbmtfcHJvb2YuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wcm9vZnMvY2hvbmtfcHJvb2YudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBR0EsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBRXBELE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFHOUUscUJBQWEsVUFBVTtJQUtaLE1BQU0sRUFBRSxFQUFFLEVBQUU7SUFKckIsWUFJUyxNQUFNLEVBQUUsRUFBRSxFQUFFLEVBS3BCO0lBRU0sa0JBQWtCLENBQUMsWUFBWSxFQUFFLEVBQUUsRUFBRSw4QkFFM0M7SUFFTSxPQUFPLFlBRWI7SUFFRCxNQUFNLENBQUMsS0FBSyxlQUVYO0lBRUQsTUFBTSxDQUFDLE1BQU0sZUFZWjtJQUVELE1BQU0sS0FBSyxNQUFNLG1EQUVoQjtJQUdELE1BQU0sNEJBRUw7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLFVBQVUsQ0FLM0Q7SUFFTSxRQUFRLDRCQUVkO0NBQ0Y7QUFFRCxxQkFBYSwwQkFBMEI7SUFJNUIsc0JBQXNCLEVBQUUsRUFBRSxFQUFFO0lBSHJDLFlBR1Msc0JBQXNCLEVBQUUsRUFBRSxFQUFFLEVBS3BDO0lBRU0sZUFBZSxTQUdyQjtJQUVNLGtCQUFrQixlQUd4QjtJQUVNLE9BQU8sWUFFYjtJQUVELE1BQU0sQ0FBQyxLQUFLLCtCQUVYO0lBRUQsTUFBTSxLQUFLLE1BQU0sbUVBRWhCO0lBR0QsTUFBTSw0QkFFTDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsMEJBQTBCLENBSzNFO0lBRU0sUUFBUSw0QkFFZDtJQUdELE1BQU0sQ0FBQyxlQUFlLENBQUMsTUFBTSxFQUFFLFVBQVUsRUFBRSxHQUFHLDBCQUEwQixDQUd2RTtDQUNGIn0=
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":"AAGA,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,eAYZ;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,20 +1,35 @@
1
+ import { BarretenbergSync, flattenChonkProofFields } from '@aztec/bb.js';
1
2
  import { CHONK_PROOF_LENGTH } from '@aztec/constants';
2
3
  import { times } from '@aztec/foundation/collection';
3
4
  import { randomBytes } from '@aztec/foundation/crypto/random';
4
5
  import { Fr } from '@aztec/foundation/curves/bn254';
5
6
  import { bufferSchemaFor } from '@aztec/foundation/schemas';
6
- import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
7
- // 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.
8
17
  export class ChonkProof {
9
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;
10
24
  constructor(// The proof fields.
11
25
  // For native verification, attach public inputs via `attachPublicInputs(publicInputs)`.
12
26
  // Not using Tuple here due to the length being too high.
13
- fields){
27
+ fields, compressedProof){
14
28
  this.fields = fields;
15
29
  if (fields.length !== CHONK_PROOF_LENGTH) {
16
30
  throw new Error(`Invalid ChonkProof length: ${fields.length}`);
17
31
  }
32
+ this.compressedProof = compressedProof;
18
33
  }
19
34
  attachPublicInputs(publicInputs) {
20
35
  return new ChonkProofWithPublicInputs([
@@ -48,18 +63,77 @@ export class ChonkProof {
48
63
  toJSON() {
49
64
  return this.toBuffer();
50
65
  }
51
- 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) {
52
76
  const reader = BufferReader.asReader(buffer);
53
- const proofLength = reader.readNumber();
54
- const proof = reader.readArray(proofLength, Fr);
55
- return new ChonkProof(proof);
56
- }
57
- 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...]
58
127
  return serializeToBuffer(this.fields.length, this.fields);
59
128
  }
60
129
  }
61
130
  export class ChonkProofWithPublicInputs {
62
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;
63
137
  constructor(// The proof fields with public inputs.
64
138
  // For recursive verification, use without public inputs via `removePublicInputs()`.
65
139
  fieldsWithPublicInputs){
@@ -74,7 +148,8 @@ export class ChonkProofWithPublicInputs {
74
148
  }
75
149
  removePublicInputs() {
76
150
  const numPublicInputs = this.fieldsWithPublicInputs.length - CHONK_PROOF_LENGTH;
77
- 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);
78
153
  }
79
154
  isEmpty() {
80
155
  return this.fieldsWithPublicInputs.every((field)=>field.isZero());
@@ -1,7 +1,6 @@
1
1
  export * from './types.js';
2
2
  export * from './interfaces.js';
3
3
  export * from './helpers.js';
4
- export * from './empire.js';
5
- export * from './tally.js';
4
+ export * from './votes.js';
6
5
  export * from './serialization.js';
7
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zbGFzaGluZy9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLFlBQVksQ0FBQztBQUMzQixjQUFjLGlCQUFpQixDQUFDO0FBQ2hDLGNBQWMsY0FBYyxDQUFDO0FBQzdCLGNBQWMsYUFBYSxDQUFDO0FBQzVCLGNBQWMsWUFBWSxDQUFDO0FBQzNCLGNBQWMsb0JBQW9CLENBQUMifQ==
6
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zbGFzaGluZy9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLFlBQVksQ0FBQztBQUMzQixjQUFjLGlCQUFpQixDQUFDO0FBQ2hDLGNBQWMsY0FBYyxDQUFDO0FBQzdCLGNBQWMsWUFBWSxDQUFDO0FBQzNCLGNBQWMsb0JBQW9CLENBQUMifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/slashing/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,cAAc,CAAC;AAC7B,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,oBAAoB,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/slashing/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC;AAC3B,cAAc,oBAAoB,CAAC"}
@@ -1,6 +1,5 @@
1
1
  export * from './types.js';
2
2
  export * from './interfaces.js';
3
3
  export * from './helpers.js';
4
- export * from './empire.js';
5
- export * from './tally.js';
4
+ export * from './votes.js';
6
5
  export * from './serialization.js';
@@ -1,8 +1,4 @@
1
- import type { Offense, SlashPayload, SlashPayloadRound } from './types.js';
1
+ import type { Offense } from './types.js';
2
2
  export declare function serializeOffense(offense: Offense): Buffer;
3
3
  export declare function deserializeOffense(buffer: Buffer): Offense;
4
- export declare function serializeSlashPayload(payload: SlashPayload): Buffer;
5
- export declare function deserializeSlashPayload(buffer: Buffer): SlashPayload;
6
- export declare function serializeSlashPayloadRound(payload: SlashPayloadRound): Buffer;
7
- export declare function deserializeSlashPayloadRound(buffer: Buffer): SlashPayloadRound;
8
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2VyaWFsaXphdGlvbi5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3NsYXNoaW5nL3NlcmlhbGl6YXRpb24udHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBSUEsT0FBTyxLQUFLLEVBQ1YsT0FBTyxFQUVQLFlBQVksRUFDWixpQkFBaUIsRUFHbEIsTUFBTSxZQUFZLENBQUM7QUFFcEIsd0JBQWdCLGdCQUFnQixDQUFDLE9BQU8sRUFBRSxPQUFPLEdBQUcsTUFBTSxDQU96RDtBQUVELHdCQUFnQixrQkFBa0IsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FRMUQ7QUFpQ0Qsd0JBQWdCLHFCQUFxQixDQUFDLE9BQU8sRUFBRSxZQUFZLEdBQUcsTUFBTSxDQU9uRTtBQUVELHdCQUFnQix1QkFBdUIsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksQ0FPcEU7QUFFRCx3QkFBZ0IsMEJBQTBCLENBQUMsT0FBTyxFQUFFLGlCQUFpQixHQUFHLE1BQU0sQ0FTN0U7QUFFRCx3QkFBZ0IsNEJBQTRCLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxpQkFBaUIsQ0FVOUUifQ==
4
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2VyaWFsaXphdGlvbi5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3NsYXNoaW5nL3NlcmlhbGl6YXRpb24udHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBR0EsT0FBTyxLQUFLLEVBQUUsT0FBTyxFQUFlLE1BQU0sWUFBWSxDQUFDO0FBRXZELHdCQUFnQixnQkFBZ0IsQ0FBQyxPQUFPLEVBQUUsT0FBTyxHQUFHLE1BQU0sQ0FPekQ7QUFFRCx3QkFBZ0Isa0JBQWtCLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxPQUFPLENBUTFEIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"serialization.d.ts","sourceRoot":"","sources":["../../src/slashing/serialization.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACV,OAAO,EAEP,YAAY,EACZ,iBAAiB,EAGlB,MAAM,YAAY,CAAC;AAEpB,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,CAOzD;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAQ1D;AAiCD,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,CAOnE;AAED,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,CAOpE;AAED,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,iBAAiB,GAAG,MAAM,CAS7E;AAED,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,MAAM,GAAG,iBAAiB,CAU9E"}
1
+ {"version":3,"file":"serialization.d.ts","sourceRoot":"","sources":["../../src/slashing/serialization.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,OAAO,EAAe,MAAM,YAAY,CAAC;AAEvD,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,CAOzD;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAQ1D"}