@aztec/stdlib 0.0.1-commit.993d52e → 0.0.1-commit.9badcec54

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 (495) 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 -67
  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 +60 -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_selector.d.ts +3 -6
  21. package/dest/abi/function_selector.d.ts.map +1 -1
  22. package/dest/abi/function_selector.js +2 -4
  23. package/dest/abi/function_signature_decoder.d.ts +43 -0
  24. package/dest/abi/function_signature_decoder.d.ts.map +1 -0
  25. package/dest/abi/function_signature_decoder.js +66 -0
  26. package/dest/abi/index.d.ts +2 -1
  27. package/dest/abi/index.d.ts.map +1 -1
  28. package/dest/abi/index.js +1 -0
  29. package/dest/abi/note_selector.d.ts +3 -6
  30. package/dest/abi/note_selector.d.ts.map +1 -1
  31. package/dest/abi/note_selector.js +1 -3
  32. package/dest/abi/selector.d.ts +2 -2
  33. package/dest/abi/selector.d.ts.map +1 -1
  34. package/dest/abi/selector.js +1 -1
  35. package/dest/abi/utils.d.ts +14 -1
  36. package/dest/abi/utils.d.ts.map +1 -1
  37. package/dest/abi/utils.js +15 -0
  38. package/dest/avm/revert_code.d.ts +8 -18
  39. package/dest/avm/revert_code.d.ts.map +1 -1
  40. package/dest/avm/revert_code.js +15 -30
  41. package/dest/aztec-address/index.d.ts +3 -6
  42. package/dest/aztec-address/index.d.ts.map +1 -1
  43. package/dest/aztec-address/index.js +2 -4
  44. package/dest/block/block_data.d.ts +8 -8
  45. package/dest/block/block_data.d.ts.map +1 -1
  46. package/dest/block/block_data.js +2 -2
  47. package/dest/block/block_hash.d.ts +11 -10
  48. package/dest/block/block_hash.d.ts.map +1 -1
  49. package/dest/block/block_hash.js +10 -9
  50. package/dest/block/l2_block.d.ts +9 -1
  51. package/dest/block/l2_block.d.ts.map +1 -1
  52. package/dest/block/l2_block.js +12 -2
  53. package/dest/block/l2_block_info.d.ts +6 -5
  54. package/dest/block/l2_block_info.d.ts.map +1 -1
  55. package/dest/block/l2_block_info.js +6 -5
  56. package/dest/block/l2_block_source.d.ts +95 -10
  57. package/dest/block/l2_block_source.d.ts.map +1 -1
  58. package/dest/block/l2_block_source.js +1 -0
  59. package/dest/block/l2_block_stream/interfaces.d.ts +6 -3
  60. package/dest/block/l2_block_stream/interfaces.d.ts.map +1 -1
  61. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts +1 -1
  62. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts.map +1 -1
  63. package/dest/block/l2_block_stream/l2_tips_store_base.js +18 -5
  64. package/dest/block/test/l2_tips_store_test_suite.d.ts +1 -1
  65. package/dest/block/test/l2_tips_store_test_suite.d.ts.map +1 -1
  66. package/dest/block/test/l2_tips_store_test_suite.js +4 -3
  67. package/dest/checkpoint/checkpoint.d.ts +8 -1
  68. package/dest/checkpoint/checkpoint.d.ts.map +1 -1
  69. package/dest/checkpoint/checkpoint.js +18 -5
  70. package/dest/checkpoint/checkpoint_data.d.ts +71 -5
  71. package/dest/checkpoint/checkpoint_data.d.ts.map +1 -1
  72. package/dest/checkpoint/checkpoint_data.js +10 -0
  73. package/dest/checkpoint/index.d.ts +2 -1
  74. package/dest/checkpoint/index.d.ts.map +1 -1
  75. package/dest/checkpoint/index.js +1 -0
  76. package/dest/checkpoint/validate.d.ts +36 -0
  77. package/dest/checkpoint/validate.d.ts.map +1 -0
  78. package/dest/checkpoint/validate.js +120 -0
  79. package/dest/config/chain-config.d.ts +1 -1
  80. package/dest/config/chain-config.d.ts.map +1 -1
  81. package/dest/config/chain-config.js +7 -1
  82. package/dest/config/index.d.ts +2 -1
  83. package/dest/config/index.d.ts.map +1 -1
  84. package/dest/config/index.js +1 -0
  85. package/dest/config/pipelining-config.d.ts +19 -0
  86. package/dest/config/pipelining-config.d.ts.map +1 -0
  87. package/dest/config/pipelining-config.js +18 -0
  88. package/dest/config/sequencer-config.d.ts +3 -3
  89. package/dest/config/sequencer-config.d.ts.map +1 -1
  90. package/dest/config/sequencer-config.js +10 -4
  91. package/dest/contract/contract_address.d.ts +3 -3
  92. package/dest/contract/contract_address.js +3 -3
  93. package/dest/contract/contract_class_id.d.ts +2 -2
  94. package/dest/contract/contract_class_id.js +2 -2
  95. package/dest/contract/index.d.ts +1 -3
  96. package/dest/contract/index.d.ts.map +1 -1
  97. package/dest/contract/index.js +0 -2
  98. package/dest/contract/interfaces/contract_class.d.ts +3 -156
  99. package/dest/contract/interfaces/contract_class.d.ts.map +1 -1
  100. package/dest/contract/interfaces/contract_class.js +1 -28
  101. package/dest/contract/private_function.d.ts +1 -1
  102. package/dest/contract/private_function.d.ts.map +1 -1
  103. package/dest/contract/private_function.js +2 -4
  104. package/dest/epoch-helpers/index.d.ts +11 -1
  105. package/dest/epoch-helpers/index.d.ts.map +1 -1
  106. package/dest/epoch-helpers/index.js +16 -2
  107. package/dest/file-store/factory.d.ts +4 -3
  108. package/dest/file-store/factory.d.ts.map +1 -1
  109. package/dest/file-store/factory.js +2 -2
  110. package/dest/file-store/http.d.ts +9 -2
  111. package/dest/file-store/http.d.ts.map +1 -1
  112. package/dest/file-store/http.js +20 -9
  113. package/dest/file-store/index.d.ts +2 -1
  114. package/dest/file-store/index.d.ts.map +1 -1
  115. package/dest/gas/fee_math.d.ts +49 -0
  116. package/dest/gas/fee_math.d.ts.map +1 -0
  117. package/dest/gas/fee_math.js +80 -0
  118. package/dest/gas/gas_fees.d.ts +1 -1
  119. package/dest/gas/gas_fees.d.ts.map +1 -1
  120. package/dest/gas/gas_fees.js +13 -1
  121. package/dest/gas/gas_settings.d.ts +40 -3
  122. package/dest/gas/gas_settings.d.ts.map +1 -1
  123. package/dest/gas/gas_settings.js +50 -6
  124. package/dest/gas/index.d.ts +2 -1
  125. package/dest/gas/index.d.ts.map +1 -1
  126. package/dest/gas/index.js +1 -0
  127. package/dest/ha-signing/config.d.ts +136 -0
  128. package/dest/ha-signing/config.d.ts.map +1 -0
  129. package/dest/ha-signing/config.js +97 -0
  130. package/dest/ha-signing/index.d.ts +4 -0
  131. package/dest/ha-signing/index.d.ts.map +1 -0
  132. package/dest/ha-signing/index.js +3 -0
  133. package/dest/ha-signing/local_config.d.ts +63 -0
  134. package/dest/ha-signing/local_config.d.ts.map +1 -0
  135. package/dest/ha-signing/local_config.js +24 -0
  136. package/dest/ha-signing/types.d.ts +90 -0
  137. package/dest/ha-signing/types.d.ts.map +1 -0
  138. package/dest/ha-signing/types.js +39 -0
  139. package/dest/hash/hash.d.ts +34 -1
  140. package/dest/hash/hash.d.ts.map +1 -1
  141. package/dest/hash/hash.js +61 -0
  142. package/dest/interfaces/allowed_element.d.ts +26 -20
  143. package/dest/interfaces/allowed_element.d.ts.map +1 -1
  144. package/dest/interfaces/allowed_element.js +8 -8
  145. package/dest/interfaces/archiver.d.ts +1 -1
  146. package/dest/interfaces/archiver.d.ts.map +1 -1
  147. package/dest/interfaces/archiver.js +6 -3
  148. package/dest/interfaces/aztec-node-admin.d.ts +76 -46
  149. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  150. package/dest/interfaces/aztec-node-admin.js +3 -3
  151. package/dest/interfaces/aztec-node-debug.d.ts +21 -0
  152. package/dest/interfaces/aztec-node-debug.d.ts.map +1 -0
  153. package/dest/interfaces/aztec-node-debug.js +18 -0
  154. package/dest/interfaces/aztec-node.d.ts +21 -6
  155. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  156. package/dest/interfaces/aztec-node.js +7 -2
  157. package/dest/interfaces/block-builder.d.ts +38 -11
  158. package/dest/interfaces/block-builder.d.ts.map +1 -1
  159. package/dest/interfaces/block-builder.js +13 -6
  160. package/dest/interfaces/client.d.ts +2 -1
  161. package/dest/interfaces/client.d.ts.map +1 -1
  162. package/dest/interfaces/client.js +1 -0
  163. package/dest/interfaces/configs.d.ts +52 -32
  164. package/dest/interfaces/configs.d.ts.map +1 -1
  165. package/dest/interfaces/configs.js +4 -2
  166. package/dest/interfaces/l2_logs_source.d.ts +5 -3
  167. package/dest/interfaces/l2_logs_source.d.ts.map +1 -1
  168. package/dest/interfaces/merkle_tree_operations.d.ts +12 -21
  169. package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
  170. package/dest/interfaces/prover-client.d.ts +6 -1
  171. package/dest/interfaces/prover-client.d.ts.map +1 -1
  172. package/dest/interfaces/prover-client.js +7 -4
  173. package/dest/interfaces/proving-job.d.ts +200 -200
  174. package/dest/interfaces/slasher.d.ts +1 -10
  175. package/dest/interfaces/slasher.d.ts.map +1 -1
  176. package/dest/interfaces/slasher.js +0 -2
  177. package/dest/interfaces/validator.d.ts +111 -63
  178. package/dest/interfaces/validator.d.ts.map +1 -1
  179. package/dest/interfaces/validator.js +8 -6
  180. package/dest/interfaces/world_state.d.ts +5 -4
  181. package/dest/interfaces/world_state.d.ts.map +1 -1
  182. package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts +3 -3
  183. package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts.map +1 -1
  184. package/dest/kernel/hints/build_note_hash_read_request_hints.js +13 -10
  185. package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts +3 -3
  186. package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts.map +1 -1
  187. package/dest/kernel/hints/build_nullifier_read_request_hints.js +13 -10
  188. package/dest/kernel/hints/build_transient_data_hints.d.ts +5 -2
  189. package/dest/kernel/hints/build_transient_data_hints.d.ts.map +1 -1
  190. package/dest/kernel/hints/build_transient_data_hints.js +9 -3
  191. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts +2 -1
  192. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts.map +1 -1
  193. package/dest/kernel/private_kernel_tail_circuit_public_inputs.js +4 -0
  194. package/dest/kv-store/config.d.ts +17 -0
  195. package/dest/kv-store/config.d.ts.map +1 -0
  196. package/dest/kv-store/config.js +26 -0
  197. package/dest/kv-store/index.d.ts +2 -0
  198. package/dest/kv-store/index.d.ts.map +1 -0
  199. package/dest/kv-store/index.js +1 -0
  200. package/dest/l1-contracts/index.d.ts +2 -2
  201. package/dest/l1-contracts/index.d.ts.map +1 -1
  202. package/dest/l1-contracts/index.js +1 -1
  203. package/dest/logs/extended_directional_app_tagging_secret.d.ts +4 -4
  204. package/dest/logs/extended_directional_app_tagging_secret.d.ts.map +1 -1
  205. package/dest/logs/extended_directional_app_tagging_secret.js +12 -5
  206. package/dest/logs/index.d.ts +2 -1
  207. package/dest/logs/index.d.ts.map +1 -1
  208. package/dest/logs/index.js +1 -0
  209. package/dest/logs/log_filter.d.ts +4 -1
  210. package/dest/logs/log_filter.d.ts.map +1 -1
  211. package/dest/logs/log_filter.js +2 -1
  212. package/dest/logs/log_id.d.ts +1 -1
  213. package/dest/logs/log_id.d.ts.map +1 -1
  214. package/dest/logs/log_id.js +1 -2
  215. package/dest/logs/message_context.d.ts +4 -7
  216. package/dest/logs/message_context.d.ts.map +1 -1
  217. package/dest/logs/message_context.js +23 -9
  218. package/dest/logs/pending_tagged_log.d.ts +2 -3
  219. package/dest/logs/pending_tagged_log.d.ts.map +1 -1
  220. package/dest/logs/pending_tagged_log.js +2 -2
  221. package/dest/logs/public_log.d.ts +4 -3
  222. package/dest/logs/public_log.d.ts.map +1 -1
  223. package/dest/logs/public_log.js +2 -1
  224. package/dest/logs/shared_secret_derivation.d.ts +11 -10
  225. package/dest/logs/shared_secret_derivation.d.ts.map +1 -1
  226. package/dest/logs/shared_secret_derivation.js +15 -9
  227. package/dest/logs/siloed_tag.d.ts +8 -7
  228. package/dest/logs/siloed_tag.d.ts.map +1 -1
  229. package/dest/logs/siloed_tag.js +11 -3
  230. package/dest/logs/tag.d.ts +5 -6
  231. package/dest/logs/tag.d.ts.map +1 -1
  232. package/dest/logs/tag.js +4 -0
  233. package/dest/logs/tagging_index_range.d.ts +40 -0
  234. package/dest/logs/tagging_index_range.d.ts.map +1 -0
  235. package/dest/logs/tagging_index_range.js +8 -0
  236. package/dest/logs/tx_scoped_l2_log.d.ts +3 -1
  237. package/dest/logs/tx_scoped_l2_log.d.ts.map +1 -1
  238. package/dest/logs/tx_scoped_l2_log.js +7 -0
  239. package/dest/messaging/l1_to_l2_message.d.ts +3 -2
  240. package/dest/messaging/l1_to_l2_message.d.ts.map +1 -1
  241. package/dest/messaging/l1_to_l2_message.js +11 -13
  242. package/dest/messaging/l1_to_l2_message_source.d.ts +4 -2
  243. package/dest/messaging/l1_to_l2_message_source.d.ts.map +1 -1
  244. package/dest/messaging/l2_to_l1_membership.d.ts +32 -6
  245. package/dest/messaging/l2_to_l1_membership.d.ts.map +1 -1
  246. package/dest/messaging/l2_to_l1_membership.js +69 -26
  247. package/dest/noir/index.d.ts +3 -3
  248. package/dest/noir/index.d.ts.map +1 -1
  249. package/dest/note/note_dao.d.ts +1 -1
  250. package/dest/note/note_dao.d.ts.map +1 -1
  251. package/dest/note/note_dao.js +1 -4
  252. package/dest/p2p/block_proposal.d.ts +7 -9
  253. package/dest/p2p/block_proposal.d.ts.map +1 -1
  254. package/dest/p2p/block_proposal.js +5 -10
  255. package/dest/p2p/checkpoint_attestation.d.ts +4 -6
  256. package/dest/p2p/checkpoint_attestation.d.ts.map +1 -1
  257. package/dest/p2p/checkpoint_attestation.js +2 -7
  258. package/dest/p2p/checkpoint_proposal.d.ts +9 -16
  259. package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
  260. package/dest/p2p/checkpoint_proposal.js +6 -35
  261. package/dest/p2p/gossipable.d.ts +4 -4
  262. package/dest/p2p/gossipable.d.ts.map +1 -1
  263. package/dest/p2p/peer_error.d.ts +3 -1
  264. package/dest/p2p/peer_error.d.ts.map +1 -1
  265. package/dest/p2p/peer_error.js +5 -0
  266. package/dest/proofs/chonk_proof.d.ts +46 -2
  267. package/dest/proofs/chonk_proof.d.ts.map +1 -1
  268. package/dest/proofs/chonk_proof.js +85 -10
  269. package/dest/rollup/block_headers_hash.d.ts +1 -1
  270. package/dest/rollup/block_headers_hash.d.ts.map +1 -1
  271. package/dest/rollup/block_headers_hash.js +8 -2
  272. package/dest/slashing/index.d.ts +2 -3
  273. package/dest/slashing/index.d.ts.map +1 -1
  274. package/dest/slashing/index.js +1 -2
  275. package/dest/slashing/serialization.d.ts +2 -6
  276. package/dest/slashing/serialization.d.ts.map +1 -1
  277. package/dest/slashing/serialization.js +0 -60
  278. package/dest/slashing/types.d.ts +4 -90
  279. package/dest/slashing/types.d.ts.map +1 -1
  280. package/dest/slashing/types.js +0 -14
  281. package/dest/slashing/{tally.d.ts → votes.d.ts} +7 -2
  282. package/dest/slashing/votes.d.ts.map +1 -0
  283. package/dest/slashing/{tally.js → votes.js} +30 -2
  284. package/dest/tests/factories.d.ts +3 -10
  285. package/dest/tests/factories.d.ts.map +1 -1
  286. package/dest/tests/factories.js +12 -35
  287. package/dest/tests/mocks.d.ts +4 -2
  288. package/dest/tests/mocks.d.ts.map +1 -1
  289. package/dest/tests/mocks.js +27 -27
  290. package/dest/timetable/index.d.ts +51 -1
  291. package/dest/timetable/index.d.ts.map +1 -1
  292. package/dest/timetable/index.js +204 -14
  293. package/dest/trees/nullifier_leaf.d.ts +2 -1
  294. package/dest/trees/nullifier_leaf.d.ts.map +1 -1
  295. package/dest/trees/nullifier_leaf.js +3 -0
  296. package/dest/tx/block_header.d.ts +4 -2
  297. package/dest/tx/block_header.d.ts.map +1 -1
  298. package/dest/tx/block_header.js +5 -1
  299. package/dest/tx/capsule.d.ts +6 -2
  300. package/dest/tx/capsule.d.ts.map +1 -1
  301. package/dest/tx/capsule.js +9 -3
  302. package/dest/tx/fee_provider.d.ts +10 -0
  303. package/dest/tx/fee_provider.d.ts.map +1 -0
  304. package/dest/tx/fee_provider.js +1 -0
  305. package/dest/tx/global_variable_builder.d.ts +3 -4
  306. package/dest/tx/global_variable_builder.d.ts.map +1 -1
  307. package/dest/tx/index.d.ts +2 -1
  308. package/dest/tx/index.d.ts.map +1 -1
  309. package/dest/tx/index.js +1 -0
  310. package/dest/tx/indexed_tx_effect.d.ts +1 -1
  311. package/dest/tx/indexed_tx_effect.d.ts.map +1 -1
  312. package/dest/tx/indexed_tx_effect.js +1 -2
  313. package/dest/tx/private_execution_result.d.ts +6 -6
  314. package/dest/tx/private_execution_result.d.ts.map +1 -1
  315. package/dest/tx/private_execution_result.js +6 -6
  316. package/dest/tx/profiling.d.ts +14 -2
  317. package/dest/tx/profiling.d.ts.map +1 -1
  318. package/dest/tx/profiling.js +13 -3
  319. package/dest/tx/simulated_tx.d.ts +116 -5
  320. package/dest/tx/simulated_tx.d.ts.map +1 -1
  321. package/dest/tx/simulated_tx.js +7 -4
  322. package/dest/tx/tx.d.ts +8 -7
  323. package/dest/tx/tx.d.ts.map +1 -1
  324. package/dest/tx/tx.js +18 -6
  325. package/dest/tx/tx_receipt.d.ts +14 -5
  326. package/dest/tx/tx_receipt.d.ts.map +1 -1
  327. package/dest/tx/tx_receipt.js +14 -18
  328. package/dest/tx/validator/error_texts.d.ts +9 -1
  329. package/dest/tx/validator/error_texts.d.ts.map +1 -1
  330. package/dest/tx/validator/error_texts.js +10 -0
  331. package/dest/types/shared.d.ts +1 -10
  332. package/dest/types/shared.d.ts.map +1 -1
  333. package/dest/types/shared.js +0 -9
  334. package/dest/update-checker/package_version.d.ts +2 -2
  335. package/dest/update-checker/package_version.d.ts.map +1 -1
  336. package/dest/update-checker/package_version.js +16 -3
  337. package/dest/validators/errors.d.ts +6 -1
  338. package/dest/validators/errors.d.ts.map +1 -1
  339. package/dest/validators/errors.js +7 -0
  340. package/dest/versioning/versioning.d.ts +4 -2
  341. package/dest/versioning/versioning.d.ts.map +1 -1
  342. package/dest/versioning/versioning.js +4 -1
  343. package/dest/vks/verification_key.d.ts +2 -137
  344. package/dest/vks/verification_key.d.ts.map +1 -1
  345. package/dest/vks/verification_key.js +5 -126
  346. package/dest/world-state/genesis_data.d.ts +11 -0
  347. package/dest/world-state/genesis_data.d.ts.map +1 -0
  348. package/dest/world-state/genesis_data.js +4 -0
  349. package/dest/world-state/index.d.ts +2 -1
  350. package/dest/world-state/index.d.ts.map +1 -1
  351. package/dest/world-state/index.js +1 -0
  352. package/package.json +11 -10
  353. package/src/abi/abi.ts +25 -2
  354. package/src/abi/authorization_selector.ts +2 -8
  355. package/src/abi/buffer.ts +25 -4
  356. package/src/abi/decoder.ts +36 -79
  357. package/src/abi/encoder.ts +83 -7
  358. package/src/abi/event_metadata_definition.ts +2 -0
  359. package/src/abi/event_selector.ts +2 -8
  360. package/src/abi/function_selector.ts +4 -13
  361. package/src/abi/function_signature_decoder.ts +77 -0
  362. package/src/abi/index.ts +1 -0
  363. package/src/abi/note_selector.ts +3 -12
  364. package/src/abi/selector.ts +1 -1
  365. package/src/abi/utils.ts +25 -0
  366. package/src/avm/revert_code.ts +25 -39
  367. package/src/aztec-address/index.ts +4 -10
  368. package/src/block/block_data.ts +3 -4
  369. package/src/block/block_hash.ts +21 -14
  370. package/src/block/l2_block.ts +13 -1
  371. package/src/block/l2_block_info.ts +8 -6
  372. package/src/block/l2_block_source.ts +26 -9
  373. package/src/block/l2_block_stream/interfaces.ts +6 -2
  374. package/src/block/l2_block_stream/l2_tips_store_base.ts +25 -13
  375. package/src/block/test/l2_tips_store_test_suite.ts +9 -2
  376. package/src/checkpoint/checkpoint.ts +23 -4
  377. package/src/checkpoint/checkpoint_data.ts +40 -4
  378. package/src/checkpoint/index.ts +1 -0
  379. package/src/checkpoint/validate.ts +230 -0
  380. package/src/config/chain-config.ts +7 -1
  381. package/src/config/index.ts +1 -0
  382. package/src/config/pipelining-config.ts +31 -0
  383. package/src/config/sequencer-config.ts +15 -5
  384. package/src/contract/contract_address.ts +3 -3
  385. package/src/contract/contract_class_id.ts +2 -2
  386. package/src/contract/index.ts +0 -2
  387. package/src/contract/interfaces/contract_class.ts +2 -82
  388. package/src/contract/private_function.ts +3 -1
  389. package/src/epoch-helpers/index.ts +27 -0
  390. package/src/file-store/factory.ts +13 -4
  391. package/src/file-store/http.ts +29 -10
  392. package/src/file-store/index.ts +1 -0
  393. package/src/gas/README.md +154 -0
  394. package/src/gas/fee_math.ts +120 -0
  395. package/src/gas/gas_fees.ts +15 -1
  396. package/src/gas/gas_settings.ts +65 -12
  397. package/src/gas/index.ts +1 -0
  398. package/src/ha-signing/config.ts +156 -0
  399. package/src/ha-signing/index.ts +29 -0
  400. package/src/ha-signing/local_config.ts +46 -0
  401. package/src/ha-signing/types.ts +126 -0
  402. package/src/hash/hash.ts +61 -0
  403. package/src/interfaces/allowed_element.ts +29 -9
  404. package/src/interfaces/archiver.ts +6 -3
  405. package/src/interfaces/aztec-node-admin.ts +5 -7
  406. package/src/interfaces/aztec-node-debug.ts +40 -0
  407. package/src/interfaces/aztec-node.ts +39 -5
  408. package/src/interfaces/block-builder.ts +60 -14
  409. package/src/interfaces/client.ts +1 -0
  410. package/src/interfaces/configs.ts +19 -8
  411. package/src/interfaces/l2_logs_source.ts +4 -1
  412. package/src/interfaces/merkle_tree_operations.ts +11 -20
  413. package/src/interfaces/prover-client.ts +10 -5
  414. package/src/interfaces/slasher.ts +0 -6
  415. package/src/interfaces/validator.ts +62 -38
  416. package/src/interfaces/world_state.ts +4 -3
  417. package/src/kernel/hints/build_note_hash_read_request_hints.ts +14 -18
  418. package/src/kernel/hints/build_nullifier_read_request_hints.ts +15 -18
  419. package/src/kernel/hints/build_transient_data_hints.ts +17 -2
  420. package/src/kernel/private_kernel_tail_circuit_public_inputs.ts +9 -0
  421. package/src/kv-store/config.ts +36 -0
  422. package/src/kv-store/index.ts +1 -0
  423. package/src/l1-contracts/index.ts +1 -1
  424. package/src/logs/extended_directional_app_tagging_secret.ts +19 -8
  425. package/src/logs/index.ts +1 -0
  426. package/src/logs/log_filter.ts +5 -0
  427. package/src/logs/log_id.ts +1 -2
  428. package/src/logs/message_context.ts +17 -7
  429. package/src/logs/pending_tagged_log.ts +1 -3
  430. package/src/logs/public_log.ts +4 -2
  431. package/src/logs/shared_secret_derivation.ts +21 -10
  432. package/src/logs/siloed_tag.ts +15 -11
  433. package/src/logs/tag.ts +8 -8
  434. package/src/logs/tagging_index_range.ts +24 -0
  435. package/src/logs/tx_scoped_l2_log.ts +16 -0
  436. package/src/messaging/l1_to_l2_message.ts +12 -9
  437. package/src/messaging/l1_to_l2_message_source.ts +3 -1
  438. package/src/messaging/l2_to_l1_membership.ts +98 -33
  439. package/src/noir/index.ts +2 -2
  440. package/src/note/note_dao.ts +1 -4
  441. package/src/p2p/block_proposal.ts +14 -10
  442. package/src/p2p/checkpoint_attestation.ts +5 -9
  443. package/src/p2p/checkpoint_proposal.ts +20 -49
  444. package/src/p2p/gossipable.ts +4 -4
  445. package/src/p2p/peer_error.ts +7 -0
  446. package/src/proofs/chonk_proof.ts +91 -5
  447. package/src/rollup/block_headers_hash.ts +11 -2
  448. package/src/slashing/index.ts +1 -2
  449. package/src/slashing/serialization.ts +1 -81
  450. package/src/slashing/types.ts +3 -35
  451. package/src/slashing/{tally.ts → votes.ts} +34 -1
  452. package/src/tests/factories.ts +6 -43
  453. package/src/tests/mocks.ts +33 -18
  454. package/src/timetable/index.ts +293 -13
  455. package/src/trees/nullifier_leaf.ts +4 -0
  456. package/src/tx/block_header.ts +8 -2
  457. package/src/tx/capsule.ts +10 -2
  458. package/src/tx/fee_provider.ts +10 -0
  459. package/src/tx/global_variable_builder.ts +2 -3
  460. package/src/tx/index.ts +1 -0
  461. package/src/tx/indexed_tx_effect.ts +1 -2
  462. package/src/tx/private_execution_result.ts +5 -5
  463. package/src/tx/profiling.ts +11 -2
  464. package/src/tx/simulated_tx.ts +14 -3
  465. package/src/tx/tx.ts +22 -13
  466. package/src/tx/tx_receipt.ts +18 -16
  467. package/src/tx/validator/error_texts.ts +12 -0
  468. package/src/types/shared.ts +0 -10
  469. package/src/update-checker/package_version.ts +19 -6
  470. package/src/validators/errors.ts +9 -0
  471. package/src/versioning/versioning.ts +4 -1
  472. package/src/vks/verification_key.ts +5 -184
  473. package/src/world-state/genesis_data.ts +15 -0
  474. package/src/world-state/index.ts +1 -0
  475. package/dest/abi/mocked_keys.d.ts +0 -2
  476. package/dest/abi/mocked_keys.d.ts.map +0 -1
  477. package/dest/abi/mocked_keys.js +0 -1
  478. package/dest/contract/private_function_membership_proof.d.ts +0 -32
  479. package/dest/contract/private_function_membership_proof.d.ts.map +0 -1
  480. package/dest/contract/private_function_membership_proof.js +0 -124
  481. package/dest/contract/utility_function_membership_proof.d.ts +0 -27
  482. package/dest/contract/utility_function_membership_proof.d.ts.map +0 -1
  483. package/dest/contract/utility_function_membership_proof.js +0 -87
  484. package/dest/l1-contracts/slash_factory.d.ts +0 -45
  485. package/dest/l1-contracts/slash_factory.d.ts.map +0 -1
  486. package/dest/l1-contracts/slash_factory.js +0 -158
  487. package/dest/slashing/empire.d.ts +0 -31
  488. package/dest/slashing/empire.d.ts.map +0 -1
  489. package/dest/slashing/empire.js +0 -87
  490. package/dest/slashing/tally.d.ts.map +0 -1
  491. package/src/abi/mocked_keys.ts +0 -2
  492. package/src/contract/private_function_membership_proof.ts +0 -167
  493. package/src/contract/utility_function_membership_proof.ts +0 -118
  494. package/src/l1-contracts/slash_factory.ts +0 -180
  495. package/src/slashing/empire.ts +0 -104
@@ -3,6 +3,10 @@ export declare const TX_ERROR_INSUFFICIENT_FEE_PAYER_BALANCE = "Insufficient fee
3
3
  export declare const TX_ERROR_INSUFFICIENT_GAS_LIMIT = "Gas limit is below the minimum fixed cost";
4
4
  export declare const TX_ERROR_GAS_LIMIT_TOO_HIGH = "Gas limit is higher than the amount of gas that the AVM can process";
5
5
  export declare const TX_ERROR_SETUP_FUNCTION_NOT_ALLOWED = "Setup function not on allow list";
6
+ export declare const TX_ERROR_SETUP_FUNCTION_UNKNOWN_CONTRACT = "Setup function targets unknown contract";
7
+ export declare const TX_ERROR_SETUP_ONLY_SELF_WRONG_SENDER = "Setup only_self function called with incorrect msg_sender";
8
+ export declare const TX_ERROR_SETUP_NULL_MSG_SENDER = "Setup function called with null msg sender";
9
+ export declare const TX_ERROR_SETUP_WRONG_CALLDATA_LENGTH = "Setup function called with wrong calldata length";
6
10
  export declare const TX_ERROR_DUPLICATE_NULLIFIER_IN_TX = "Duplicate nullifier in tx";
7
11
  export declare const TX_ERROR_EXISTING_NULLIFIER = "Existing nullifier";
8
12
  export declare const TX_ERROR_INVALID_EXPIRATION_TIMESTAMP = "Invalid expiration timestamp";
@@ -21,5 +25,9 @@ export declare const TX_ERROR_CONTRACT_CLASS_LOG_SORTING = "Incorrectly sorted c
21
25
  export declare const TX_ERROR_INCORRECT_HASH = "Incorrect tx hash";
22
26
  export declare const TX_ERROR_SIZE_ABOVE_LIMIT = "Transaction size above size limit";
23
27
  export declare const TX_ERROR_BLOCK_HEADER = "Block header not found";
28
+ export declare const TX_ERROR_INCORRECT_CONTRACT_ADDRESS = "Incorrect contract instance deployment address";
29
+ export declare const TX_ERROR_MALFORMED_CONTRACT_INSTANCE_LOG = "Failed to parse contract instance deployment log";
30
+ export declare const TX_ERROR_INCORRECT_CONTRACT_CLASS_ID = "Incorrect contract class id";
31
+ export declare const TX_ERROR_MALFORMED_CONTRACT_CLASS_LOG = "Failed to parse contract class registration log";
24
32
  export declare const TX_ERROR_DURING_VALIDATION = "Unexpected error during validation";
25
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXJyb3JfdGV4dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy90eC92YWxpZGF0b3IvZXJyb3JfdGV4dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsZUFBTyxNQUFNLGlDQUFpQyw2QkFBNkIsQ0FBQztBQUM1RSxlQUFPLE1BQU0sdUNBQXVDLG1DQUFtQyxDQUFDO0FBQ3hGLGVBQU8sTUFBTSwrQkFBK0IsOENBQThDLENBQUM7QUFDM0YsZUFBTyxNQUFNLDJCQUEyQix3RUFBd0UsQ0FBQztBQUdqSCxlQUFPLE1BQU0sbUNBQW1DLHFDQUFxQyxDQUFDO0FBR3RGLGVBQU8sTUFBTSxrQ0FBa0MsOEJBQThCLENBQUM7QUFDOUUsZUFBTyxNQUFNLDJCQUEyQix1QkFBdUIsQ0FBQztBQUdoRSxlQUFPLE1BQU0scUNBQXFDLGlDQUFpQyxDQUFDO0FBQ3BGLGVBQU8sTUFBTSw4QkFBOEIsMEJBQTBCLENBQUM7QUFDdEUsZUFBTyxNQUFNLGlDQUFpQyw2QkFBNkIsQ0FBQztBQUM1RSxlQUFPLE1BQU0sK0JBQStCLDBDQUEwQyxDQUFDO0FBQ3ZGLGVBQU8sTUFBTSwwQ0FBMEMsc0NBQXNDLENBQUM7QUFHOUYsZUFBTyxNQUFNLHNCQUFzQixrQkFBa0IsQ0FBQztBQUd0RCxlQUFPLE1BQU0sMkJBQTJCLHVDQUF1QyxDQUFDO0FBQ2hGLGVBQU8sTUFBTSxnQ0FBZ0MsOENBQThDLENBQUM7QUFDNUYsZUFBTyxNQUFNLGlDQUFpQyx1REFBdUQsQ0FBQztBQUN0RyxlQUFPLE1BQU0saUNBQWlDLDZDQUE2QyxDQUFDO0FBQzVGLGVBQU8sTUFBTSxrQ0FBa0MseUNBQXlDLENBQUM7QUFDekYsZUFBTyxNQUFNLDRCQUE0QixtQ0FBbUMsQ0FBQztBQUM3RSxlQUFPLE1BQU0sbUNBQW1DLDJDQUEyQyxDQUFDO0FBQzVGLGVBQU8sTUFBTSx1QkFBdUIsc0JBQXNCLENBQUM7QUFHM0QsZUFBTyxNQUFNLHlCQUF5QixzQ0FBc0MsQ0FBQztBQUc3RSxlQUFPLE1BQU0scUJBQXFCLDJCQUEyQixDQUFDO0FBRzlELGVBQU8sTUFBTSwwQkFBMEIsdUNBQXVDLENBQUMifQ==
33
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXJyb3JfdGV4dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy90eC92YWxpZGF0b3IvZXJyb3JfdGV4dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsZUFBTyxNQUFNLGlDQUFpQyw2QkFBNkIsQ0FBQztBQUM1RSxlQUFPLE1BQU0sdUNBQXVDLG1DQUFtQyxDQUFDO0FBQ3hGLGVBQU8sTUFBTSwrQkFBK0IsOENBQThDLENBQUM7QUFDM0YsZUFBTyxNQUFNLDJCQUEyQix3RUFBd0UsQ0FBQztBQUdqSCxlQUFPLE1BQU0sbUNBQW1DLHFDQUFxQyxDQUFDO0FBQ3RGLGVBQU8sTUFBTSx3Q0FBd0MsNENBQTRDLENBQUM7QUFDbEcsZUFBTyxNQUFNLHFDQUFxQyw4REFBOEQsQ0FBQztBQUNqSCxlQUFPLE1BQU0sOEJBQThCLCtDQUErQyxDQUFDO0FBQzNGLGVBQU8sTUFBTSxvQ0FBb0MscURBQXFELENBQUM7QUFHdkcsZUFBTyxNQUFNLGtDQUFrQyw4QkFBOEIsQ0FBQztBQUM5RSxlQUFPLE1BQU0sMkJBQTJCLHVCQUF1QixDQUFDO0FBR2hFLGVBQU8sTUFBTSxxQ0FBcUMsaUNBQWlDLENBQUM7QUFDcEYsZUFBTyxNQUFNLDhCQUE4QiwwQkFBMEIsQ0FBQztBQUN0RSxlQUFPLE1BQU0saUNBQWlDLDZCQUE2QixDQUFDO0FBQzVFLGVBQU8sTUFBTSwrQkFBK0IsMENBQTBDLENBQUM7QUFDdkYsZUFBTyxNQUFNLDBDQUEwQyxzQ0FBc0MsQ0FBQztBQUc5RixlQUFPLE1BQU0sc0JBQXNCLGtCQUFrQixDQUFDO0FBR3RELGVBQU8sTUFBTSwyQkFBMkIsdUNBQXVDLENBQUM7QUFDaEYsZUFBTyxNQUFNLGdDQUFnQyw4Q0FBOEMsQ0FBQztBQUM1RixlQUFPLE1BQU0saUNBQWlDLHVEQUF1RCxDQUFDO0FBQ3RHLGVBQU8sTUFBTSxpQ0FBaUMsNkNBQTZDLENBQUM7QUFDNUYsZUFBTyxNQUFNLGtDQUFrQyx5Q0FBeUMsQ0FBQztBQUN6RixlQUFPLE1BQU0sNEJBQTRCLG1DQUFtQyxDQUFDO0FBQzdFLGVBQU8sTUFBTSxtQ0FBbUMsMkNBQTJDLENBQUM7QUFDNUYsZUFBTyxNQUFNLHVCQUF1QixzQkFBc0IsQ0FBQztBQUczRCxlQUFPLE1BQU0seUJBQXlCLHNDQUFzQyxDQUFDO0FBRzdFLGVBQU8sTUFBTSxxQkFBcUIsMkJBQTJCLENBQUM7QUFHOUQsZUFBTyxNQUFNLG1DQUFtQyxtREFBbUQsQ0FBQztBQUNwRyxlQUFPLE1BQU0sd0NBQXdDLHFEQUFxRCxDQUFDO0FBRzNHLGVBQU8sTUFBTSxvQ0FBb0MsZ0NBQWdDLENBQUM7QUFDbEYsZUFBTyxNQUFNLHFDQUFxQyxvREFBb0QsQ0FBQztBQUd2RyxlQUFPLE1BQU0sMEJBQTBCLHVDQUF1QyxDQUFDIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"error_texts.d.ts","sourceRoot":"","sources":["../../../src/tx/validator/error_texts.ts"],"names":[],"mappings":"AACA,eAAO,MAAM,iCAAiC,6BAA6B,CAAC;AAC5E,eAAO,MAAM,uCAAuC,mCAAmC,CAAC;AACxF,eAAO,MAAM,+BAA+B,8CAA8C,CAAC;AAC3F,eAAO,MAAM,2BAA2B,wEAAwE,CAAC;AAGjH,eAAO,MAAM,mCAAmC,qCAAqC,CAAC;AAGtF,eAAO,MAAM,kCAAkC,8BAA8B,CAAC;AAC9E,eAAO,MAAM,2BAA2B,uBAAuB,CAAC;AAGhE,eAAO,MAAM,qCAAqC,iCAAiC,CAAC;AACpF,eAAO,MAAM,8BAA8B,0BAA0B,CAAC;AACtE,eAAO,MAAM,iCAAiC,6BAA6B,CAAC;AAC5E,eAAO,MAAM,+BAA+B,0CAA0C,CAAC;AACvF,eAAO,MAAM,0CAA0C,sCAAsC,CAAC;AAG9F,eAAO,MAAM,sBAAsB,kBAAkB,CAAC;AAGtD,eAAO,MAAM,2BAA2B,uCAAuC,CAAC;AAChF,eAAO,MAAM,gCAAgC,8CAA8C,CAAC;AAC5F,eAAO,MAAM,iCAAiC,uDAAuD,CAAC;AACtG,eAAO,MAAM,iCAAiC,6CAA6C,CAAC;AAC5F,eAAO,MAAM,kCAAkC,yCAAyC,CAAC;AACzF,eAAO,MAAM,4BAA4B,mCAAmC,CAAC;AAC7E,eAAO,MAAM,mCAAmC,2CAA2C,CAAC;AAC5F,eAAO,MAAM,uBAAuB,sBAAsB,CAAC;AAG3D,eAAO,MAAM,yBAAyB,sCAAsC,CAAC;AAG7E,eAAO,MAAM,qBAAqB,2BAA2B,CAAC;AAG9D,eAAO,MAAM,0BAA0B,uCAAuC,CAAC"}
1
+ {"version":3,"file":"error_texts.d.ts","sourceRoot":"","sources":["../../../src/tx/validator/error_texts.ts"],"names":[],"mappings":"AACA,eAAO,MAAM,iCAAiC,6BAA6B,CAAC;AAC5E,eAAO,MAAM,uCAAuC,mCAAmC,CAAC;AACxF,eAAO,MAAM,+BAA+B,8CAA8C,CAAC;AAC3F,eAAO,MAAM,2BAA2B,wEAAwE,CAAC;AAGjH,eAAO,MAAM,mCAAmC,qCAAqC,CAAC;AACtF,eAAO,MAAM,wCAAwC,4CAA4C,CAAC;AAClG,eAAO,MAAM,qCAAqC,8DAA8D,CAAC;AACjH,eAAO,MAAM,8BAA8B,+CAA+C,CAAC;AAC3F,eAAO,MAAM,oCAAoC,qDAAqD,CAAC;AAGvG,eAAO,MAAM,kCAAkC,8BAA8B,CAAC;AAC9E,eAAO,MAAM,2BAA2B,uBAAuB,CAAC;AAGhE,eAAO,MAAM,qCAAqC,iCAAiC,CAAC;AACpF,eAAO,MAAM,8BAA8B,0BAA0B,CAAC;AACtE,eAAO,MAAM,iCAAiC,6BAA6B,CAAC;AAC5E,eAAO,MAAM,+BAA+B,0CAA0C,CAAC;AACvF,eAAO,MAAM,0CAA0C,sCAAsC,CAAC;AAG9F,eAAO,MAAM,sBAAsB,kBAAkB,CAAC;AAGtD,eAAO,MAAM,2BAA2B,uCAAuC,CAAC;AAChF,eAAO,MAAM,gCAAgC,8CAA8C,CAAC;AAC5F,eAAO,MAAM,iCAAiC,uDAAuD,CAAC;AACtG,eAAO,MAAM,iCAAiC,6CAA6C,CAAC;AAC5F,eAAO,MAAM,kCAAkC,yCAAyC,CAAC;AACzF,eAAO,MAAM,4BAA4B,mCAAmC,CAAC;AAC7E,eAAO,MAAM,mCAAmC,2CAA2C,CAAC;AAC5F,eAAO,MAAM,uBAAuB,sBAAsB,CAAC;AAG3D,eAAO,MAAM,yBAAyB,sCAAsC,CAAC;AAG7E,eAAO,MAAM,qBAAqB,2BAA2B,CAAC;AAG9D,eAAO,MAAM,mCAAmC,mDAAmD,CAAC;AACpG,eAAO,MAAM,wCAAwC,qDAAqD,CAAC;AAG3G,eAAO,MAAM,oCAAoC,gCAAgC,CAAC;AAClF,eAAO,MAAM,qCAAqC,oDAAoD,CAAC;AAGvG,eAAO,MAAM,0BAA0B,uCAAuC,CAAC"}
@@ -5,6 +5,10 @@ export const TX_ERROR_INSUFFICIENT_GAS_LIMIT = 'Gas limit is below the minimum f
5
5
  export const TX_ERROR_GAS_LIMIT_TOO_HIGH = 'Gas limit is higher than the amount of gas that the AVM can process';
6
6
  // Phases
7
7
  export const TX_ERROR_SETUP_FUNCTION_NOT_ALLOWED = 'Setup function not on allow list';
8
+ export const TX_ERROR_SETUP_FUNCTION_UNKNOWN_CONTRACT = 'Setup function targets unknown contract';
9
+ export const TX_ERROR_SETUP_ONLY_SELF_WRONG_SENDER = 'Setup only_self function called with incorrect msg_sender';
10
+ export const TX_ERROR_SETUP_NULL_MSG_SENDER = 'Setup function called with null msg sender';
11
+ export const TX_ERROR_SETUP_WRONG_CALLDATA_LENGTH = 'Setup function called with wrong calldata length';
8
12
  // Nullifiers
9
13
  export const TX_ERROR_DUPLICATE_NULLIFIER_IN_TX = 'Duplicate nullifier in tx';
10
14
  export const TX_ERROR_EXISTING_NULLIFIER = 'Existing nullifier';
@@ -29,5 +33,11 @@ export const TX_ERROR_INCORRECT_HASH = 'Incorrect tx hash';
29
33
  export const TX_ERROR_SIZE_ABOVE_LIMIT = 'Transaction size above size limit';
30
34
  // Block header
31
35
  export const TX_ERROR_BLOCK_HEADER = 'Block header not found';
36
+ // Contract instance
37
+ export const TX_ERROR_INCORRECT_CONTRACT_ADDRESS = 'Incorrect contract instance deployment address';
38
+ export const TX_ERROR_MALFORMED_CONTRACT_INSTANCE_LOG = 'Failed to parse contract instance deployment log';
39
+ // Contract class
40
+ export const TX_ERROR_INCORRECT_CONTRACT_CLASS_ID = 'Incorrect contract class id';
41
+ export const TX_ERROR_MALFORMED_CONTRACT_CLASS_LOG = 'Failed to parse contract class registration log';
32
42
  // General
33
43
  export const TX_ERROR_DURING_VALIDATION = 'Unexpected error during validation';
@@ -27,13 +27,4 @@ export type UInt64 = bigint;
27
27
  * A type alias for a 128-bit unsigned integer.
28
28
  */
29
29
  export type UInt128 = bigint;
30
- /**
31
- * CircuitType replaces ComposerType for now. When using Plonk, CircuitType is equivalent to the information of the proving system that will be used
32
- * to construct a proof. In the future Aztec zk stack, more information must be specified (e.g., the curve over which circuits are constructed;
33
- * Plonk vs Honk; zk-SNARK or just SNARK; etc).
34
- */
35
- export declare enum CircuitType {
36
- STANDARD = 0,
37
- ULTRA = 1
38
- }
39
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2hhcmVkLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdHlwZXMvc2hhcmVkLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxLQUFLLFVBQVUsRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUVqRjs7R0FFRztBQUNILHFCQUFhLE1BQU0sQ0FBQyxDQUFDLFNBQVMsVUFBVTtJQUVwQzs7T0FFRztJQUNJLEtBQUssRUFBRSxDQUFDLEVBQUU7SUFKbkI7SUFDRTs7T0FFRztJQUNJLEtBQUssRUFBRSxDQUFDLEVBQUUsRUFDZjtJQUVKLFFBQVEsNEJBRVA7SUFFRCxjQUFjLFFBRWI7Q0FDRjtBQUVEOztHQUVHO0FBQ0gsTUFBTSxNQUFNLE1BQU0sR0FBRyxNQUFNLENBQUM7QUFFNUI7O0dBRUc7QUFDSCxNQUFNLE1BQU0sTUFBTSxHQUFHLE1BQU0sQ0FBQztBQUU1Qjs7R0FFRztBQUNILE1BQU0sTUFBTSxPQUFPLEdBQUcsTUFBTSxDQUFDO0FBRTdCOzs7O0dBSUc7QUFDSCxvQkFBWSxXQUFXO0lBQ3JCLFFBQVEsSUFBSTtJQUNaLEtBQUssSUFBSTtDQUNWIn0=
30
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2hhcmVkLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdHlwZXMvc2hhcmVkLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxLQUFLLFVBQVUsRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUVqRjs7R0FFRztBQUNILHFCQUFhLE1BQU0sQ0FBQyxDQUFDLFNBQVMsVUFBVTtJQUVwQzs7T0FFRztJQUNJLEtBQUssRUFBRSxDQUFDLEVBQUU7SUFKbkI7SUFDRTs7T0FFRztJQUNJLEtBQUssRUFBRSxDQUFDLEVBQUUsRUFDZjtJQUVKLFFBQVEsNEJBRVA7SUFFRCxjQUFjLFFBRWI7Q0FDRjtBQUVEOztHQUVHO0FBQ0gsTUFBTSxNQUFNLE1BQU0sR0FBRyxNQUFNLENBQUM7QUFFNUI7O0dBRUc7QUFDSCxNQUFNLE1BQU0sTUFBTSxHQUFHLE1BQU0sQ0FBQztBQUU1Qjs7R0FFRztBQUNILE1BQU0sTUFBTSxPQUFPLEdBQUcsTUFBTSxDQUFDIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../src/types/shared.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAqB,MAAM,6BAA6B,CAAC;AAEjF;;GAEG;AACH,qBAAa,MAAM,CAAC,CAAC,SAAS,UAAU;IAEpC;;OAEG;IACI,KAAK,EAAE,CAAC,EAAE;IAJnB;IACE;;OAEG;IACI,KAAK,EAAE,CAAC,EAAE,EACf;IAEJ,QAAQ,4BAEP;IAED,cAAc,QAEb;CACF;AAED;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAE5B;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAE5B;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC;AAE7B;;;;GAIG;AACH,oBAAY,WAAW;IACrB,QAAQ,IAAI;IACZ,KAAK,IAAI;CACV"}
1
+ {"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../src/types/shared.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAqB,MAAM,6BAA6B,CAAC;AAEjF;;GAEG;AACH,qBAAa,MAAM,CAAC,CAAC,SAAS,UAAU;IAEpC;;OAEG;IACI,KAAK,EAAE,CAAC,EAAE;IAJnB;IACE;;OAEG;IACI,KAAK,EAAE,CAAC,EAAE,EACf;IAEJ,QAAQ,4BAEP;IAED,cAAc,QAEb;CACF;AAED;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAE5B;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAE5B;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC"}
@@ -15,12 +15,3 @@ import { serializeToBuffer } from '@aztec/foundation/serialize';
15
15
  return this.items;
16
16
  }
17
17
  }
18
- /**
19
- * CircuitType replaces ComposerType for now. When using Plonk, CircuitType is equivalent to the information of the proving system that will be used
20
- * to construct a proof. In the future Aztec zk stack, more information must be specified (e.g., the curve over which circuits are constructed;
21
- * Plonk vs Honk; zk-SNARK or just SNARK; etc).
22
- */ export var CircuitType = /*#__PURE__*/ function(CircuitType) {
23
- CircuitType[CircuitType["STANDARD"] = 0] = "STANDARD";
24
- CircuitType[CircuitType["ULTRA"] = 1] = "ULTRA";
25
- return CircuitType;
26
- }({});
@@ -1,3 +1,3 @@
1
- /** Returns the package version from the release-please manifest, or undefined if not found. */
1
+ /** Returns the package version from the release-please manifest or the package.json, or undefined if not found. */
2
2
  export declare function getPackageVersion(): string | undefined;
3
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicGFja2FnZV92ZXJzaW9uLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdXBkYXRlLWNoZWNrZXIvcGFja2FnZV92ZXJzaW9uLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUtBLCtGQUErRjtBQUMvRix3QkFBZ0IsaUJBQWlCLElBQUksTUFBTSxHQUFHLFNBQVMsQ0FVdEQifQ==
3
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicGFja2FnZV92ZXJzaW9uLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdXBkYXRlLWNoZWNrZXIvcGFja2FnZV92ZXJzaW9uLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUtBLG1IQUFtSDtBQUNuSCx3QkFBZ0IsaUJBQWlCLElBQUksTUFBTSxHQUFHLFNBQVMsQ0F1QnREIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"package_version.d.ts","sourceRoot":"","sources":["../../src/update-checker/package_version.ts"],"names":[],"mappings":"AAKA,+FAA+F;AAC/F,wBAAgB,iBAAiB,IAAI,MAAM,GAAG,SAAS,CAUtD"}
1
+ {"version":3,"file":"package_version.d.ts","sourceRoot":"","sources":["../../src/update-checker/package_version.ts"],"names":[],"mappings":"AAKA,mHAAmH;AACnH,wBAAgB,iBAAiB,IAAI,MAAM,GAAG,SAAS,CAuBtD"}
@@ -1,11 +1,24 @@
1
1
  import { fileURLToPath } from '@aztec/foundation/url';
2
2
  import { readFileSync } from 'fs';
3
3
  import { dirname, resolve } from 'path';
4
- /** Returns the package version from the release-please manifest, or undefined if not found. */ export function getPackageVersion() {
4
+ /** Returns the package version from the release-please manifest or the package.json, or undefined if not found. */ export function getPackageVersion() {
5
+ const dir = dirname(fileURLToPath(import.meta.url));
6
+ // Try the release-please manifest first (works in dev/repo checkout).
5
7
  try {
6
- const releasePleaseManifestPath = resolve(dirname(fileURLToPath(import.meta.url)), '../../../../.release-please-manifest.json');
8
+ const releasePleaseManifestPath = resolve(dir, '../../../../.release-please-manifest.json');
7
9
  return JSON.parse(readFileSync(releasePleaseManifestPath).toString())['.'];
8
10
  } catch {
9
- return undefined;
11
+ // Not in a repo checkout, fall through.
10
12
  }
13
+ // Fall back to the stdlib package.json version (works in npm-installed packages).
14
+ try {
15
+ const packageJsonPath = resolve(dir, '../../package.json');
16
+ const version = JSON.parse(readFileSync(packageJsonPath).toString()).version;
17
+ if (version && version !== '0.1.0') {
18
+ return version;
19
+ }
20
+ } catch {
21
+ // No package.json found either.
22
+ }
23
+ return undefined;
11
24
  }
@@ -19,6 +19,11 @@ export declare class TransactionsNotAvailableError extends ValidatorError {
19
19
  export declare class FailedToReExecuteTransactionsError extends ValidatorError {
20
20
  constructor(txHashes: TxHash[]);
21
21
  }
22
+ export declare class ReExInitialStateMismatchError extends ValidatorError {
23
+ readonly expectedArchiveRoot: Fr;
24
+ readonly actualArchiveRoot: Fr;
25
+ constructor(expectedArchiveRoot: Fr, actualArchiveRoot: Fr);
26
+ }
22
27
  export declare class ReExStateMismatchError extends ValidatorError {
23
28
  readonly expectedArchiveRoot: Fr;
24
29
  readonly actualArchiveRoot: Fr;
@@ -30,4 +35,4 @@ export declare class ReExFailedTxsError extends ValidatorError {
30
35
  export declare class ReExTimeoutError extends ValidatorError {
31
36
  constructor();
32
37
  }
33
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXJyb3JzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdmFsaWRhdG9ycy9lcnJvcnMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDbEUsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDekQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFFL0MscUJBQWEsY0FBZSxTQUFRLEtBQUs7SUFDdkMsWUFBWSxPQUFPLEVBQUUsTUFBTSxFQUUxQjtDQUNGO0FBRUQscUJBQWEsK0JBQWdDLFNBQVEsY0FBYztJQUNqRSxjQUVDO0NBQ0Y7QUFFRCxxQkFBYSx1QkFBd0IsU0FBUSxjQUFjO2FBRXZDLGNBQWMsRUFBRSxNQUFNO2FBQ3RCLGFBQWEsRUFBRSxNQUFNO2FBQ3JCLElBQUksRUFBRSxVQUFVO0lBSGxDLFlBQ2tCLGNBQWMsRUFBRSxNQUFNLEVBQ3RCLGFBQWEsRUFBRSxNQUFNLEVBQ3JCLElBQUksRUFBRSxVQUFVLEVBR2pDO0NBQ0Y7QUFFRCxxQkFBYSw2QkFBOEIsU0FBUSxjQUFjO0lBQy9ELFlBQVksUUFBUSxFQUFFLE1BQU0sRUFBRSxFQUU3QjtDQUNGO0FBRUQscUJBQWEsa0NBQW1DLFNBQVEsY0FBYztJQUNwRSxZQUFZLFFBQVEsRUFBRSxNQUFNLEVBQUUsRUFFN0I7Q0FDRjtBQUVELHFCQUFhLHNCQUF1QixTQUFRLGNBQWM7YUFFdEMsbUJBQW1CLEVBQUUsRUFBRTthQUN2QixpQkFBaUIsRUFBRSxFQUFFO0lBRnZDLFlBQ2tCLG1CQUFtQixFQUFFLEVBQUUsRUFDdkIsaUJBQWlCLEVBQUUsRUFBRSxFQUd0QztDQUNGO0FBRUQscUJBQWEsa0JBQW1CLFNBQVEsY0FBYztJQUNwRCxZQUFZLFlBQVksRUFBRSxNQUFNLEVBRS9CO0NBQ0Y7QUFFRCxxQkFBYSxnQkFBaUIsU0FBUSxjQUFjO0lBQ2xELGNBRUM7Q0FDRiJ9
38
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXJyb3JzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdmFsaWRhdG9ycy9lcnJvcnMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDbEUsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDekQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFFL0MscUJBQWEsY0FBZSxTQUFRLEtBQUs7SUFDdkMsWUFBWSxPQUFPLEVBQUUsTUFBTSxFQUUxQjtDQUNGO0FBRUQscUJBQWEsK0JBQWdDLFNBQVEsY0FBYztJQUNqRSxjQUVDO0NBQ0Y7QUFFRCxxQkFBYSx1QkFBd0IsU0FBUSxjQUFjO2FBRXZDLGNBQWMsRUFBRSxNQUFNO2FBQ3RCLGFBQWEsRUFBRSxNQUFNO2FBQ3JCLElBQUksRUFBRSxVQUFVO0lBSGxDLFlBQ2tCLGNBQWMsRUFBRSxNQUFNLEVBQ3RCLGFBQWEsRUFBRSxNQUFNLEVBQ3JCLElBQUksRUFBRSxVQUFVLEVBR2pDO0NBQ0Y7QUFFRCxxQkFBYSw2QkFBOEIsU0FBUSxjQUFjO0lBQy9ELFlBQVksUUFBUSxFQUFFLE1BQU0sRUFBRSxFQUU3QjtDQUNGO0FBRUQscUJBQWEsa0NBQW1DLFNBQVEsY0FBYztJQUNwRSxZQUFZLFFBQVEsRUFBRSxNQUFNLEVBQUUsRUFFN0I7Q0FDRjtBQUVELHFCQUFhLDZCQUE4QixTQUFRLGNBQWM7YUFFN0MsbUJBQW1CLEVBQUUsRUFBRTthQUN2QixpQkFBaUIsRUFBRSxFQUFFO0lBRnZDLFlBQ2tCLG1CQUFtQixFQUFFLEVBQUUsRUFDdkIsaUJBQWlCLEVBQUUsRUFBRSxFQUd0QztDQUNGO0FBRUQscUJBQWEsc0JBQXVCLFNBQVEsY0FBYzthQUV0QyxtQkFBbUIsRUFBRSxFQUFFO2FBQ3ZCLGlCQUFpQixFQUFFLEVBQUU7SUFGdkMsWUFDa0IsbUJBQW1CLEVBQUUsRUFBRSxFQUN2QixpQkFBaUIsRUFBRSxFQUFFLEVBR3RDO0NBQ0Y7QUFFRCxxQkFBYSxrQkFBbUIsU0FBUSxjQUFjO0lBQ3BELFlBQVksWUFBWSxFQUFFLE1BQU0sRUFFL0I7Q0FDRjtBQUVELHFCQUFhLGdCQUFpQixTQUFRLGNBQWM7SUFDbEQsY0FFQztDQUNGIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/validators/errors.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/C,qBAAa,cAAe,SAAQ,KAAK;IACvC,YAAY,OAAO,EAAE,MAAM,EAE1B;CACF;AAED,qBAAa,+BAAgC,SAAQ,cAAc;IACjE,cAEC;CACF;AAED,qBAAa,uBAAwB,SAAQ,cAAc;aAEvC,cAAc,EAAE,MAAM;aACtB,aAAa,EAAE,MAAM;aACrB,IAAI,EAAE,UAAU;IAHlC,YACkB,cAAc,EAAE,MAAM,EACtB,aAAa,EAAE,MAAM,EACrB,IAAI,EAAE,UAAU,EAGjC;CACF;AAED,qBAAa,6BAA8B,SAAQ,cAAc;IAC/D,YAAY,QAAQ,EAAE,MAAM,EAAE,EAE7B;CACF;AAED,qBAAa,kCAAmC,SAAQ,cAAc;IACpE,YAAY,QAAQ,EAAE,MAAM,EAAE,EAE7B;CACF;AAED,qBAAa,sBAAuB,SAAQ,cAAc;aAEtC,mBAAmB,EAAE,EAAE;aACvB,iBAAiB,EAAE,EAAE;IAFvC,YACkB,mBAAmB,EAAE,EAAE,EACvB,iBAAiB,EAAE,EAAE,EAGtC;CACF;AAED,qBAAa,kBAAmB,SAAQ,cAAc;IACpD,YAAY,YAAY,EAAE,MAAM,EAE/B;CACF;AAED,qBAAa,gBAAiB,SAAQ,cAAc;IAClD,cAEC;CACF"}
1
+ {"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/validators/errors.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/C,qBAAa,cAAe,SAAQ,KAAK;IACvC,YAAY,OAAO,EAAE,MAAM,EAE1B;CACF;AAED,qBAAa,+BAAgC,SAAQ,cAAc;IACjE,cAEC;CACF;AAED,qBAAa,uBAAwB,SAAQ,cAAc;aAEvC,cAAc,EAAE,MAAM;aACtB,aAAa,EAAE,MAAM;aACrB,IAAI,EAAE,UAAU;IAHlC,YACkB,cAAc,EAAE,MAAM,EACtB,aAAa,EAAE,MAAM,EACrB,IAAI,EAAE,UAAU,EAGjC;CACF;AAED,qBAAa,6BAA8B,SAAQ,cAAc;IAC/D,YAAY,QAAQ,EAAE,MAAM,EAAE,EAE7B;CACF;AAED,qBAAa,kCAAmC,SAAQ,cAAc;IACpE,YAAY,QAAQ,EAAE,MAAM,EAAE,EAE7B;CACF;AAED,qBAAa,6BAA8B,SAAQ,cAAc;aAE7C,mBAAmB,EAAE,EAAE;aACvB,iBAAiB,EAAE,EAAE;IAFvC,YACkB,mBAAmB,EAAE,EAAE,EACvB,iBAAiB,EAAE,EAAE,EAGtC;CACF;AAED,qBAAa,sBAAuB,SAAQ,cAAc;aAEtC,mBAAmB,EAAE,EAAE;aACvB,iBAAiB,EAAE,EAAE;IAFvC,YACkB,mBAAmB,EAAE,EAAE,EACvB,iBAAiB,EAAE,EAAE,EAGtC;CACF;AAED,qBAAa,kBAAmB,SAAQ,cAAc;IACpD,YAAY,YAAY,EAAE,MAAM,EAE/B;CACF;AAED,qBAAa,gBAAiB,SAAQ,cAAc;IAClD,cAEC;CACF"}
@@ -26,6 +26,13 @@ export class FailedToReExecuteTransactionsError extends ValidatorError {
26
26
  super(`Failed to re-execute transactions: ${txHashes.join(', ')}`);
27
27
  }
28
28
  }
29
+ export class ReExInitialStateMismatchError extends ValidatorError {
30
+ expectedArchiveRoot;
31
+ actualArchiveRoot;
32
+ constructor(expectedArchiveRoot, actualArchiveRoot){
33
+ super('Re-execution initial state mismatch'), this.expectedArchiveRoot = expectedArchiveRoot, this.actualArchiveRoot = actualArchiveRoot;
34
+ }
35
+ }
29
36
  export class ReExStateMismatchError extends ValidatorError {
30
37
  expectedArchiveRoot;
31
38
  actualArchiveRoot;
@@ -22,11 +22,13 @@ export declare function checkCompressedComponentVersion(compressed: string, expe
22
22
  /** Checks that two component versions match. Undefined fields are ignored. */
23
23
  export declare function validatePartialComponentVersionsMatch(expected: Partial<ComponentsVersions>, actual: Partial<ComponentsVersions>): void;
24
24
  /** Returns a Koa middleware that injects the versioning info as headers. */
25
- export declare function getVersioningMiddleware(versions: Partial<ComponentsVersions>): (ctx: Koa.Context, next: () => Promise<void>) => Promise<void>;
25
+ export declare function getVersioningMiddleware(versions: Partial<ComponentsVersions>, opts?: {
26
+ packageVersion?: string;
27
+ }): (ctx: Koa.Context, next: () => Promise<void>) => Promise<void>;
26
28
  /** Returns a json rpc client handler that rejects responses with mismatching versions. */
27
29
  export declare function getVersioningResponseHandler(versions: Partial<ComponentsVersions>): ({ headers }: {
28
30
  headers: {
29
31
  get: (header: string) => string | null | undefined;
30
32
  };
31
33
  }) => Promise<void>;
32
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidmVyc2lvbmluZy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3ZlcnNpb25pbmcvdmVyc2lvbmluZy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUN6RCxPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUdoRSxPQUFPLEtBQUssR0FBRyxNQUFNLEtBQUssQ0FBQztBQUUzQixPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUU3RCw4SUFBOEk7QUFDOUksTUFBTSxNQUFNLGtCQUFrQixHQUFHO0lBQy9CLFNBQVMsRUFBRSxNQUFNLENBQUM7SUFJbEIsZUFBZSxFQUFFLFVBQVUsQ0FBQztJQUM1QixhQUFhLEVBQUUsTUFBTSxDQUFDO0lBQ3RCLHVCQUF1QixFQUFFLE1BQU0sQ0FBQztJQUNoQyxvQkFBb0IsRUFBRSxNQUFNLENBQUM7Q0FDOUIsQ0FBQztBQUVGLHFEQUFxRDtBQUNyRCx3QkFBZ0IsK0JBQStCLENBQzdDLE1BQU0sRUFBRSxXQUFXLEVBQ25CLHVCQUF1QixFQUFFLE1BQU0sR0FBRyxFQUFFLEVBQ3BDLG9CQUFvQixFQUFFLE1BQU0sR0FBRyxFQUFFLEdBQ2hDLGtCQUFrQixDQVFwQjtBQUVELHFHQUFxRztBQUNyRyx3QkFBZ0IseUJBQXlCLENBQUMsUUFBUSxFQUFFLGtCQUFrQixHQUFHLE1BQU0sQ0FpQjlFO0FBRUQscUJBQWEsdUJBQXdCLFNBQVEsS0FBSztJQUNoRCxZQUFZLEdBQUcsRUFBRSxNQUFNLEVBQUUsUUFBUSxFQUFFLE1BQU0sRUFBRSxLQUFLLEVBQUUsTUFBTSxFQUd2RDtDQUNGO0FBRUQsaUdBQWlHO0FBQ2pHLHdCQUFnQiwrQkFBK0IsQ0FBQyxVQUFVLEVBQUUsTUFBTSxFQUFFLFFBQVEsRUFBRSxrQkFBa0IsUUE2Qi9GO0FBRUQsOEVBQThFO0FBQzlFLHdCQUFnQixxQ0FBcUMsQ0FDbkQsUUFBUSxFQUFFLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBQyxFQUNyQyxNQUFNLEVBQUUsT0FBTyxDQUFDLGtCQUFrQixDQUFDLFFBaUJwQztBQUVELDRFQUE0RTtBQUM1RSx3QkFBZ0IsdUJBQXVCLENBQUMsUUFBUSxFQUFFLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBQyxrRUFlNUU7QUFFRCwwRkFBMEY7QUFDMUYsd0JBQWdCLDRCQUE0QixDQUFDLFFBQVEsRUFBRSxPQUFPLENBQUMsa0JBQWtCLENBQUM7Ozs7b0JBYWpGIn0=
34
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidmVyc2lvbmluZy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3ZlcnNpb25pbmcvdmVyc2lvbmluZy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUN6RCxPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUdoRSxPQUFPLEtBQUssR0FBRyxNQUFNLEtBQUssQ0FBQztBQUUzQixPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUU3RCw4SUFBOEk7QUFDOUksTUFBTSxNQUFNLGtCQUFrQixHQUFHO0lBQy9CLFNBQVMsRUFBRSxNQUFNLENBQUM7SUFJbEIsZUFBZSxFQUFFLFVBQVUsQ0FBQztJQUM1QixhQUFhLEVBQUUsTUFBTSxDQUFDO0lBQ3RCLHVCQUF1QixFQUFFLE1BQU0sQ0FBQztJQUNoQyxvQkFBb0IsRUFBRSxNQUFNLENBQUM7Q0FDOUIsQ0FBQztBQUVGLHFEQUFxRDtBQUNyRCx3QkFBZ0IsK0JBQStCLENBQzdDLE1BQU0sRUFBRSxXQUFXLEVBQ25CLHVCQUF1QixFQUFFLE1BQU0sR0FBRyxFQUFFLEVBQ3BDLG9CQUFvQixFQUFFLE1BQU0sR0FBRyxFQUFFLEdBQ2hDLGtCQUFrQixDQVFwQjtBQUVELHFHQUFxRztBQUNyRyx3QkFBZ0IseUJBQXlCLENBQUMsUUFBUSxFQUFFLGtCQUFrQixHQUFHLE1BQU0sQ0FpQjlFO0FBRUQscUJBQWEsdUJBQXdCLFNBQVEsS0FBSztJQUNoRCxZQUFZLEdBQUcsRUFBRSxNQUFNLEVBQUUsUUFBUSxFQUFFLE1BQU0sRUFBRSxLQUFLLEVBQUUsTUFBTSxFQUd2RDtDQUNGO0FBRUQsaUdBQWlHO0FBQ2pHLHdCQUFnQiwrQkFBK0IsQ0FBQyxVQUFVLEVBQUUsTUFBTSxFQUFFLFFBQVEsRUFBRSxrQkFBa0IsUUE2Qi9GO0FBRUQsOEVBQThFO0FBQzlFLHdCQUFnQixxQ0FBcUMsQ0FDbkQsUUFBUSxFQUFFLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBQyxFQUNyQyxNQUFNLEVBQUUsT0FBTyxDQUFDLGtCQUFrQixDQUFDLFFBaUJwQztBQUVELDRFQUE0RTtBQUM1RSx3QkFBZ0IsdUJBQXVCLENBQUMsUUFBUSxFQUFFLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBQyxFQUFFLElBQUksQ0FBQyxFQUFFO0lBQUUsY0FBYyxDQUFDLEVBQUUsTUFBTSxDQUFBO0NBQUUsa0VBa0JoSDtBQUVELDBGQUEwRjtBQUMxRix3QkFBZ0IsNEJBQTRCLENBQUMsUUFBUSxFQUFFLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBQzs7OztvQkFhakYifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"versioning.d.ts","sourceRoot":"","sources":["../../src/versioning/versioning.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAGhE,OAAO,KAAK,GAAG,MAAM,KAAK,CAAC;AAE3B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAE7D,8IAA8I;AAC9I,MAAM,MAAM,kBAAkB,GAAG;IAC/B,SAAS,EAAE,MAAM,CAAC;IAIlB,eAAe,EAAE,UAAU,CAAC;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,uBAAuB,EAAE,MAAM,CAAC;IAChC,oBAAoB,EAAE,MAAM,CAAC;CAC9B,CAAC;AAEF,qDAAqD;AACrD,wBAAgB,+BAA+B,CAC7C,MAAM,EAAE,WAAW,EACnB,uBAAuB,EAAE,MAAM,GAAG,EAAE,EACpC,oBAAoB,EAAE,MAAM,GAAG,EAAE,GAChC,kBAAkB,CAQpB;AAED,qGAAqG;AACrG,wBAAgB,yBAAyB,CAAC,QAAQ,EAAE,kBAAkB,GAAG,MAAM,CAiB9E;AAED,qBAAa,uBAAwB,SAAQ,KAAK;IAChD,YAAY,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAGvD;CACF;AAED,iGAAiG;AACjG,wBAAgB,+BAA+B,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,kBAAkB,QA6B/F;AAED,8EAA8E;AAC9E,wBAAgB,qCAAqC,CACnD,QAAQ,EAAE,OAAO,CAAC,kBAAkB,CAAC,EACrC,MAAM,EAAE,OAAO,CAAC,kBAAkB,CAAC,QAiBpC;AAED,4EAA4E;AAC5E,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,OAAO,CAAC,kBAAkB,CAAC,kEAe5E;AAED,0FAA0F;AAC1F,wBAAgB,4BAA4B,CAAC,QAAQ,EAAE,OAAO,CAAC,kBAAkB,CAAC;;;;oBAajF"}
1
+ {"version":3,"file":"versioning.d.ts","sourceRoot":"","sources":["../../src/versioning/versioning.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAGhE,OAAO,KAAK,GAAG,MAAM,KAAK,CAAC;AAE3B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAE7D,8IAA8I;AAC9I,MAAM,MAAM,kBAAkB,GAAG;IAC/B,SAAS,EAAE,MAAM,CAAC;IAIlB,eAAe,EAAE,UAAU,CAAC;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,uBAAuB,EAAE,MAAM,CAAC;IAChC,oBAAoB,EAAE,MAAM,CAAC;CAC9B,CAAC;AAEF,qDAAqD;AACrD,wBAAgB,+BAA+B,CAC7C,MAAM,EAAE,WAAW,EACnB,uBAAuB,EAAE,MAAM,GAAG,EAAE,EACpC,oBAAoB,EAAE,MAAM,GAAG,EAAE,GAChC,kBAAkB,CAQpB;AAED,qGAAqG;AACrG,wBAAgB,yBAAyB,CAAC,QAAQ,EAAE,kBAAkB,GAAG,MAAM,CAiB9E;AAED,qBAAa,uBAAwB,SAAQ,KAAK;IAChD,YAAY,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAGvD;CACF;AAED,iGAAiG;AACjG,wBAAgB,+BAA+B,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,kBAAkB,QA6B/F;AAED,8EAA8E;AAC9E,wBAAgB,qCAAqC,CACnD,QAAQ,EAAE,OAAO,CAAC,kBAAkB,CAAC,EACrC,MAAM,EAAE,OAAO,CAAC,kBAAkB,CAAC,QAiBpC;AAED,4EAA4E;AAC5E,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,OAAO,CAAC,kBAAkB,CAAC,EAAE,IAAI,CAAC,EAAE;IAAE,cAAc,CAAC,EAAE,MAAM,CAAA;CAAE,kEAkBhH;AAED,0FAA0F;AAC1F,wBAAgB,4BAA4B,CAAC,QAAQ,EAAE,OAAO,CAAC,kBAAkB,CAAC;;;;oBAajF"}
@@ -65,7 +65,7 @@ export class ComponentsVersionsError extends Error {
65
65
  }
66
66
  }
67
67
  }
68
- /** Returns a Koa middleware that injects the versioning info as headers. */ export function getVersioningMiddleware(versions) {
68
+ /** Returns a Koa middleware that injects the versioning info as headers. */ export function getVersioningMiddleware(versions, opts) {
69
69
  return async (ctx, next)=>{
70
70
  try {
71
71
  await next();
@@ -78,6 +78,9 @@ export class ComponentsVersionsError extends Error {
78
78
  ctx.set(`x-aztec-${key}`, value.toString());
79
79
  }
80
80
  }
81
+ if (opts?.packageVersion) {
82
+ ctx.set('x-aztec-packageVersion', opts.packageVersion);
83
+ }
81
84
  }
82
85
  };
83
86
  }
@@ -1,61 +1,5 @@
1
- import { Fq, Fr } from '@aztec/foundation/curves/bn254';
1
+ import { Fr } from '@aztec/foundation/curves/bn254';
2
2
  import { BufferReader } from '@aztec/foundation/serialize';
3
- import { CircuitType } from '../types/shared.js';
4
- /**
5
- * Curve data.
6
- */
7
- export declare class G1AffineElement {
8
- /**
9
- * Element's x coordinate.
10
- */
11
- x: Fq;
12
- /**
13
- * Element's y coordinate.
14
- */
15
- y: Fq;
16
- constructor(x: Fq | bigint, y: Fq | bigint);
17
- /**
18
- * Serialize as a buffer.
19
- * @returns The buffer.
20
- */
21
- toBuffer(): Buffer<ArrayBufferLike>;
22
- /**
23
- * Deserializes from a buffer or reader, corresponding to a write in cpp.
24
- * @param buffer - Buffer or BufferReader to read from.
25
- * @returns The G1AffineElement.
26
- */
27
- static fromBuffer(buffer: Buffer | BufferReader): G1AffineElement;
28
- }
29
- /**
30
- * Used store and serialize a key-value map of commitments where key is the name of the commitment and value is
31
- * the commitment itself. The name can be e.g. Q_1, Q_2, SIGMA_1 etc.
32
- */
33
- export declare class CommitmentMap {
34
- /**
35
- * An object used to store the commitments.
36
- */
37
- record: {
38
- [name: string]: G1AffineElement;
39
- };
40
- constructor(
41
- /**
42
- * An object used to store the commitments.
43
- */
44
- record: {
45
- [name: string]: G1AffineElement;
46
- });
47
- /**
48
- * Serialize as a buffer.
49
- * @returns The buffer.
50
- */
51
- toBuffer(): Buffer<ArrayBufferLike>;
52
- /**
53
- * Deserializes from a buffer or reader, corresponding to a write in cpp.
54
- * @param buffer - Buffer or BufferReader to read from.
55
- * @returns The CommitmentMap.
56
- */
57
- static fromBuffer(buffer: Buffer | BufferReader): CommitmentMap;
58
- }
59
3
  export declare const CIRCUIT_SIZE_INDEX = 0;
60
4
  export declare const CIRCUIT_PUBLIC_INPUTS_INDEX = 1;
61
5
  /**
@@ -96,84 +40,6 @@ export declare class VerificationKeyAsFields {
96
40
  */
97
41
  static makeEmpty(size: number): VerificationKeyAsFields;
98
42
  }
99
- export declare class VerificationKey {
100
- /**
101
- * For Plonk, this is equivalent to the proving system used to prove and verify.
102
- */
103
- circuitType: CircuitType;
104
- /**
105
- * The number of gates in this circuit.
106
- */
107
- circuitSize: number;
108
- /**
109
- * The number of public inputs in this circuit.
110
- */
111
- numPublicInputs: number;
112
- /**
113
- * The commitments for this circuit.
114
- */
115
- commitments: Record<string, G1AffineElement>;
116
- /**
117
- * Contains a recursive proof?
118
- */
119
- containsRecursiveProof: boolean;
120
- /**
121
- * Recursion stack.
122
- */
123
- recursiveProofPublicInputIndices: number[];
124
- constructor(
125
- /**
126
- * For Plonk, this is equivalent to the proving system used to prove and verify.
127
- */
128
- circuitType: CircuitType,
129
- /**
130
- * The number of gates in this circuit.
131
- */
132
- circuitSize: number,
133
- /**
134
- * The number of public inputs in this circuit.
135
- */
136
- numPublicInputs: number,
137
- /**
138
- * The commitments for this circuit.
139
- */
140
- commitments: Record<string, G1AffineElement>,
141
- /**
142
- * Contains a recursive proof?
143
- */
144
- containsRecursiveProof: boolean,
145
- /**
146
- * Recursion stack.
147
- */
148
- recursiveProofPublicInputIndices: number[]);
149
- /**
150
- * Serialize as a buffer.
151
- * @returns The buffer.
152
- */
153
- toBuffer(): Buffer<ArrayBufferLike>;
154
- /**
155
- * Deserializes class from a buffer.
156
- * @returns A VerificationKey instance.
157
- */
158
- static fromBuffer(buffer: Buffer | BufferReader): VerificationKey;
159
- /**
160
- * Builds a fake Rollup Honk verification key that should be accepted by circuits.
161
- * @returns A fake verification key.
162
- */
163
- static makeRollupFake(): VerificationKey;
164
- /**
165
- * Builds a fake verification key that should be accepted by circuits.
166
- * @returns A fake verification key.
167
- */
168
- static makeFake(): VerificationKey;
169
- /**
170
- * Builds a fake MegaHonk verification key buffer for testing.
171
- * Uses a real VK from a compiled contract to ensure proper format.
172
- *
173
- * @returns A valid MegaHonk VK buffer (4064 bytes)
174
- */
175
- static makeFakeMegaHonk(): Buffer;
176
- }
177
43
  export declare class VerificationKeyData {
178
44
  readonly keyAsFields: VerificationKeyAsFields;
179
45
  readonly keyAsBytes: Buffer;
@@ -183,7 +49,6 @@ export declare class VerificationKeyData {
183
49
  static empty(): VerificationKeyData;
184
50
  static makeFakeHonk(): VerificationKeyData;
185
51
  static makeFakeRollupHonk(): VerificationKeyData;
186
- static makeFake(len?: number): VerificationKeyData;
187
52
  /**
188
53
  * Serialize as a buffer.
189
54
  * @returns The buffer.
@@ -199,4 +64,4 @@ export declare class VerificationKeyData {
199
64
  /** Creates an instance from a hex string. */
200
65
  static get schema(): import("zod").ZodType<VerificationKeyData, any, string>;
201
66
  }
202
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidmVyaWZpY2F0aW9uX2tleS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3Zrcy92ZXJpZmljYXRpb25fa2V5LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUdBLE9BQU8sRUFBRSxFQUFFLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFeEQsT0FBTyxFQUFFLFlBQVksRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUk5RSxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFFakQ7O0dBRUc7QUFDSCxxQkFBYSxlQUFlO0lBQzFCOztPQUVHO0lBQ0ksQ0FBQyxFQUFFLEVBQUUsQ0FBQztJQUNiOztPQUVHO0lBQ0ksQ0FBQyxFQUFFLEVBQUUsQ0FBQztJQUViLFlBQVksQ0FBQyxFQUFFLEVBQUUsR0FBRyxNQUFNLEVBQUUsQ0FBQyxFQUFFLEVBQUUsR0FBRyxNQUFNLEVBR3pDO0lBQ0Q7OztPQUdHO0lBQ0gsUUFBUSw0QkFFUDtJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLGVBQWUsQ0FHaEU7Q0FDRjtBQUVEOzs7R0FHRztBQUNILHFCQUFhLGFBQWE7SUFFdEI7O09BRUc7SUFDSSxNQUFNLEVBQUU7UUFBRSxDQUFDLElBQUksRUFBRSxNQUFNLEdBQUcsZUFBZSxDQUFBO0tBQUU7SUFKcEQ7SUFDRTs7T0FFRztJQUNJLE1BQU0sRUFBRTtRQUFFLENBQUMsSUFBSSxFQUFFLE1BQU0sR0FBRyxlQUFlLENBQUE7S0FBRSxFQUNoRDtJQUVKOzs7T0FHRztJQUNILFFBQVEsNEJBR1A7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxhQUFhLENBRzlEO0NBQ0Y7QUFHRCxlQUFPLE1BQU0sa0JBQWtCLElBQUksQ0FBQztBQUNwQyxlQUFPLE1BQU0sMkJBQTJCLElBQUksQ0FBQztBQUU3Qzs7R0FFRztBQUNILHFCQUFhLHVCQUF1QjtJQUV6QixHQUFHLEVBQUUsRUFBRSxFQUFFO0lBQ1QsSUFBSSxFQUFFLEVBQUU7SUFGakIsWUFDUyxHQUFHLEVBQUUsRUFBRSxFQUFFLEVBQ1QsSUFBSSxFQUFFLEVBQUUsRUFDYjtJQUVKLE9BQWEsT0FBTyxDQUFDLEdBQUcsRUFBRSxFQUFFLEVBQUUsb0NBRzdCO0lBRUQsSUFBVyxlQUFlLFdBRXpCO0lBRUQsSUFBVyxXQUFXLFdBRXJCO0lBRUQsTUFBTSxLQUFLLE1BQU0sZ0VBR2hCO0lBRUQsTUFBTSw0QkFFTDtJQUVEOzs7T0FHRztJQUNILFFBQVEsNEJBRVA7SUFFRCxRQUFRLG9CQUVQO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsdUJBQXVCLENBR3hFO0lBRUQsTUFBTSxDQUFDLFlBQVksQ0FBQyxPQUFPLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyx1QkFBdUIsQ0FBQyxDQUtyRTtJQUVEOzs7T0FHRztJQUNILE1BQU0sQ0FBQyxRQUFRLENBQUMsSUFBSSxFQUFFLE1BQU0sRUFBRSxJQUFJLFNBQUksR0FBRyx1QkFBdUIsQ0FFL0Q7SUFFRCxNQUFNLENBQUMsWUFBWSxDQUFDLElBQUksU0FBSSxHQUFHLHVCQUF1QixDQUVyRDtJQUVELE1BQU0sQ0FBQyxrQkFBa0IsQ0FBQyxJQUFJLFNBQUksR0FBRyx1QkFBdUIsQ0FLM0Q7SUFFRDs7O09BR0c7SUFDSCxNQUFNLENBQUMsU0FBUyxDQUFDLElBQUksRUFBRSxNQUFNLEdBQUcsdUJBQXVCLENBRXREO0NBQ0Y7QUFFRCxxQkFBYSxlQUFlO0lBRXhCOztPQUVHO0lBQ0ksV0FBVyxFQUFFLFdBQVc7SUFDL0I7O09BRUc7SUFDSSxXQUFXLEVBQUUsTUFBTTtJQUMxQjs7T0FFRztJQUNJLGVBQWUsRUFBRSxNQUFNO0lBQzlCOztPQUVHO0lBQ0ksV0FBVyxFQUFFLE1BQU0sQ0FBQyxNQUFNLEVBQUUsZUFBZSxDQUFDO0lBQ25EOztPQUVHO0lBQ0ksc0JBQXNCLEVBQUUsT0FBTztJQUN0Qzs7T0FFRztJQUNJLGdDQUFnQyxFQUFFLE1BQU0sRUFBRTtJQXhCbkQ7SUFDRTs7T0FFRztJQUNJLFdBQVcsRUFBRSxXQUFXO0lBQy9COztPQUVHO0lBQ0ksV0FBVyxFQUFFLE1BQU07SUFDMUI7O09BRUc7SUFDSSxlQUFlLEVBQUUsTUFBTTtJQUM5Qjs7T0FFRztJQUNJLFdBQVcsRUFBRSxNQUFNLENBQUMsTUFBTSxFQUFFLGVBQWUsQ0FBQztJQUNuRDs7T0FFRztJQUNJLHNCQUFzQixFQUFFLE9BQU87SUFDdEM7O09BRUc7SUFDSSxnQ0FBZ0MsRUFBRSxNQUFNLEVBQUUsRUFDL0M7SUFFSjs7O09BR0c7SUFDSCxRQUFRLDRCQVNQO0lBRUQ7OztPQUdHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxlQUFlLENBVWhFO0lBRUQ7OztPQUdHO0lBQ0gsTUFBTSxDQUFDLGNBQWMsSUFBSSxlQUFlLENBU3ZDO0lBRUQ7OztPQUdHO0lBQ0gsTUFBTSxDQUFDLFFBQVEsSUFBSSxlQUFlLENBU2pDO0lBRUQ7Ozs7O09BS0c7SUFDSCxNQUFNLENBQUMsZ0JBQWdCLElBQUksTUFBTSxDQU1oQztDQUNGO0FBRUQscUJBQWEsbUJBQW1CO2FBRVosV0FBVyxFQUFFLHVCQUF1QjthQUNwQyxVQUFVLEVBQUUsTUFBTTtJQUZwQyxZQUNrQixXQUFXLEVBQUUsdUJBQXVCLEVBQ3BDLFVBQVUsRUFBRSxNQUFNLEVBQ2hDO0lBRUosSUFBVyxlQUFlLFdBRXpCO0lBRUQsSUFBVyxXQUFXLFdBRXJCO0lBRUQsTUFBTSxDQUFDLEtBQUssd0JBRVg7SUFFRCxNQUFNLENBQUMsWUFBWSxJQUFJLG1CQUFtQixDQUV6QztJQUVELE1BQU0sQ0FBQyxrQkFBa0IsSUFBSSxtQkFBbUIsQ0FLL0M7SUFFRCxNQUFNLENBQUMsUUFBUSxDQUFDLEdBQUcsU0FBNEIsR0FBRyxtQkFBbUIsQ0FFcEU7SUFFRDs7O09BR0c7SUFDSCxRQUFRLDRCQUVQO0lBRUQsUUFBUSxrQkFFUDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsbUJBQW1CLENBTXBFO0lBRUQsT0FBYSxZQUFZLENBQUMsT0FBTyxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsbUJBQW1CLENBQUMsQ0FFdkU7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLEdBQUcsbUJBQW1CLENBRWxEO0lBRU0sS0FBSyx3QkFFWDtJQUVELDJEQUEyRDtJQUMzRCxNQUFNLDRCQUVMO0lBRUQsNkNBQTZDO0lBQzdDLE1BQU0sS0FBSyxNQUFNLDREQUVoQjtDQUNGIn0=
67
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidmVyaWZpY2F0aW9uX2tleS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3Zrcy92ZXJpZmljYXRpb25fa2V5LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVwRCxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLDZCQUE2QixDQUFDO0FBTTlFLGVBQU8sTUFBTSxrQkFBa0IsSUFBSSxDQUFDO0FBQ3BDLGVBQU8sTUFBTSwyQkFBMkIsSUFBSSxDQUFDO0FBRTdDOztHQUVHO0FBQ0gscUJBQWEsdUJBQXVCO0lBRXpCLEdBQUcsRUFBRSxFQUFFLEVBQUU7SUFDVCxJQUFJLEVBQUUsRUFBRTtJQUZqQixZQUNTLEdBQUcsRUFBRSxFQUFFLEVBQUUsRUFDVCxJQUFJLEVBQUUsRUFBRSxFQUNiO0lBRUosT0FBYSxPQUFPLENBQUMsR0FBRyxFQUFFLEVBQUUsRUFBRSxvQ0FHN0I7SUFFRCxJQUFXLGVBQWUsV0FFekI7SUFFRCxJQUFXLFdBQVcsV0FFckI7SUFFRCxNQUFNLEtBQUssTUFBTSxnRUFHaEI7SUFFRCxNQUFNLDRCQUVMO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSw0QkFFUDtJQUVELFFBQVEsb0JBRVA7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyx1QkFBdUIsQ0FHeEU7SUFFRCxNQUFNLENBQUMsWUFBWSxDQUFDLE9BQU8sRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLHVCQUF1QixDQUFDLENBS3JFO0lBRUQ7OztPQUdHO0lBQ0gsTUFBTSxDQUFDLFFBQVEsQ0FBQyxJQUFJLEVBQUUsTUFBTSxFQUFFLElBQUksU0FBSSxHQUFHLHVCQUF1QixDQUUvRDtJQUVELE1BQU0sQ0FBQyxZQUFZLENBQUMsSUFBSSxTQUFJLEdBQUcsdUJBQXVCLENBRXJEO0lBRUQsTUFBTSxDQUFDLGtCQUFrQixDQUFDLElBQUksU0FBSSxHQUFHLHVCQUF1QixDQUszRDtJQUVEOzs7T0FHRztJQUNILE1BQU0sQ0FBQyxTQUFTLENBQUMsSUFBSSxFQUFFLE1BQU0sR0FBRyx1QkFBdUIsQ0FFdEQ7Q0FDRjtBQUVELHFCQUFhLG1CQUFtQjthQUVaLFdBQVcsRUFBRSx1QkFBdUI7YUFDcEMsVUFBVSxFQUFFLE1BQU07SUFGcEMsWUFDa0IsV0FBVyxFQUFFLHVCQUF1QixFQUNwQyxVQUFVLEVBQUUsTUFBTSxFQUNoQztJQUVKLElBQVcsZUFBZSxXQUV6QjtJQUVELElBQVcsV0FBVyxXQUVyQjtJQUVELE1BQU0sQ0FBQyxLQUFLLHdCQUVYO0lBRUQsTUFBTSxDQUFDLFlBQVksSUFBSSxtQkFBbUIsQ0FHekM7SUFFRCxNQUFNLENBQUMsa0JBQWtCLElBQUksbUJBQW1CLENBRy9DO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSw0QkFFUDtJQUVELFFBQVEsa0JBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLG1CQUFtQixDQU1wRTtJQUVELE9BQWEsWUFBWSxDQUFDLE9BQU8sRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLG1CQUFtQixDQUFDLENBRXZFO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxHQUFHLG1CQUFtQixDQUVsRDtJQUVNLEtBQUssd0JBRVg7SUFFRCwyREFBMkQ7SUFDM0QsTUFBTSw0QkFFTDtJQUVELDZDQUE2QztJQUM3QyxNQUFNLEtBQUssTUFBTSw0REFFaEI7Q0FDRiJ9
@@ -1 +1 @@
1
- {"version":3,"file":"verification_key.d.ts","sourceRoot":"","sources":["../../src/vks/verification_key.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAExD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAI9E,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;GAEG;AACH,qBAAa,eAAe;IAC1B;;OAEG;IACI,CAAC,EAAE,EAAE,CAAC;IACb;;OAEG;IACI,CAAC,EAAE,EAAE,CAAC;IAEb,YAAY,CAAC,EAAE,EAAE,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,EAGzC;IACD;;;OAGG;IACH,QAAQ,4BAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe,CAGhE;CACF;AAED;;;GAGG;AACH,qBAAa,aAAa;IAEtB;;OAEG;IACI,MAAM,EAAE;QAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;KAAE;IAJpD;IACE;;OAEG;IACI,MAAM,EAAE;QAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;KAAE,EAChD;IAEJ;;;OAGG;IACH,QAAQ,4BAGP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,aAAa,CAG9D;CACF;AAGD,eAAO,MAAM,kBAAkB,IAAI,CAAC;AACpC,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAE7C;;GAEG;AACH,qBAAa,uBAAuB;IAEzB,GAAG,EAAE,EAAE,EAAE;IACT,IAAI,EAAE,EAAE;IAFjB,YACS,GAAG,EAAE,EAAE,EAAE,EACT,IAAI,EAAE,EAAE,EACb;IAEJ,OAAa,OAAO,CAAC,GAAG,EAAE,EAAE,EAAE,oCAG7B;IAED,IAAW,eAAe,WAEzB;IAED,IAAW,WAAW,WAErB;IAED,MAAM,KAAK,MAAM,gEAGhB;IAED,MAAM,4BAEL;IAED;;;OAGG;IACH,QAAQ,4BAEP;IAED,QAAQ,oBAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB,CAGxE;IAED,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAKrE;IAED;;;OAGG;IACH,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,SAAI,GAAG,uBAAuB,CAE/D;IAED,MAAM,CAAC,YAAY,CAAC,IAAI,SAAI,GAAG,uBAAuB,CAErD;IAED,MAAM,CAAC,kBAAkB,CAAC,IAAI,SAAI,GAAG,uBAAuB,CAK3D;IAED;;;OAGG;IACH,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,uBAAuB,CAEtD;CACF;AAED,qBAAa,eAAe;IAExB;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,WAAW,EAAE,MAAM;IAC1B;;OAEG;IACI,eAAe,EAAE,MAAM;IAC9B;;OAEG;IACI,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC;IACnD;;OAEG;IACI,sBAAsB,EAAE,OAAO;IACtC;;OAEG;IACI,gCAAgC,EAAE,MAAM,EAAE;IAxBnD;IACE;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,WAAW,EAAE,MAAM;IAC1B;;OAEG;IACI,eAAe,EAAE,MAAM;IAC9B;;OAEG;IACI,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC;IACnD;;OAEG;IACI,sBAAsB,EAAE,OAAO;IACtC;;OAEG;IACI,gCAAgC,EAAE,MAAM,EAAE,EAC/C;IAEJ;;;OAGG;IACH,QAAQ,4BASP;IAED;;;OAGG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe,CAUhE;IAED;;;OAGG;IACH,MAAM,CAAC,cAAc,IAAI,eAAe,CASvC;IAED;;;OAGG;IACH,MAAM,CAAC,QAAQ,IAAI,eAAe,CASjC;IAED;;;;;OAKG;IACH,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAMhC;CACF;AAED,qBAAa,mBAAmB;aAEZ,WAAW,EAAE,uBAAuB;aACpC,UAAU,EAAE,MAAM;IAFpC,YACkB,WAAW,EAAE,uBAAuB,EACpC,UAAU,EAAE,MAAM,EAChC;IAEJ,IAAW,eAAe,WAEzB;IAED,IAAW,WAAW,WAErB;IAED,MAAM,CAAC,KAAK,wBAEX;IAED,MAAM,CAAC,YAAY,IAAI,mBAAmB,CAEzC;IAED,MAAM,CAAC,kBAAkB,IAAI,mBAAmB,CAK/C;IAED,MAAM,CAAC,QAAQ,CAAC,GAAG,SAA4B,GAAG,mBAAmB,CAEpE;IAED;;;OAGG;IACH,QAAQ,4BAEP;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB,CAMpE;IAED,OAAa,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAEvE;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,mBAAmB,CAElD;IAEM,KAAK,wBAEX;IAED,2DAA2D;IAC3D,MAAM,4BAEL;IAED,6CAA6C;IAC7C,MAAM,KAAK,MAAM,4DAEhB;CACF"}
1
+ {"version":3,"file":"verification_key.d.ts","sourceRoot":"","sources":["../../src/vks/verification_key.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAM9E,eAAO,MAAM,kBAAkB,IAAI,CAAC;AACpC,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAE7C;;GAEG;AACH,qBAAa,uBAAuB;IAEzB,GAAG,EAAE,EAAE,EAAE;IACT,IAAI,EAAE,EAAE;IAFjB,YACS,GAAG,EAAE,EAAE,EAAE,EACT,IAAI,EAAE,EAAE,EACb;IAEJ,OAAa,OAAO,CAAC,GAAG,EAAE,EAAE,EAAE,oCAG7B;IAED,IAAW,eAAe,WAEzB;IAED,IAAW,WAAW,WAErB;IAED,MAAM,KAAK,MAAM,gEAGhB;IAED,MAAM,4BAEL;IAED;;;OAGG;IACH,QAAQ,4BAEP;IAED,QAAQ,oBAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB,CAGxE;IAED,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAKrE;IAED;;;OAGG;IACH,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,SAAI,GAAG,uBAAuB,CAE/D;IAED,MAAM,CAAC,YAAY,CAAC,IAAI,SAAI,GAAG,uBAAuB,CAErD;IAED,MAAM,CAAC,kBAAkB,CAAC,IAAI,SAAI,GAAG,uBAAuB,CAK3D;IAED;;;OAGG;IACH,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,uBAAuB,CAEtD;CACF;AAED,qBAAa,mBAAmB;aAEZ,WAAW,EAAE,uBAAuB;aACpC,UAAU,EAAE,MAAM;IAFpC,YACkB,WAAW,EAAE,uBAAuB,EACpC,UAAU,EAAE,MAAM,EAChC;IAEJ,IAAW,eAAe,WAEzB;IAED,IAAW,WAAW,WAErB;IAED,MAAM,CAAC,KAAK,wBAEX;IAED,MAAM,CAAC,YAAY,IAAI,mBAAmB,CAGzC;IAED,MAAM,CAAC,kBAAkB,IAAI,mBAAmB,CAG/C;IAED;;;OAGG;IACH,QAAQ,4BAEP;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB,CAMpE;IAED,OAAa,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAEvE;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,mBAAmB,CAElD;IAEM,KAAK,wBAEX;IAED,2DAA2D;IAC3D,MAAM,4BAEL;IAED,6CAA6C;IAC7C,MAAM,KAAK,MAAM,4DAEhB;CACF"}
@@ -1,66 +1,10 @@
1
1
  import { ULTRA_VK_LENGTH_IN_FIELDS } from '@aztec/constants';
2
2
  import { makeTuple } from '@aztec/foundation/array';
3
- import { times } from '@aztec/foundation/collection';
4
- import { Fq, Fr } from '@aztec/foundation/curves/bn254';
3
+ import { Fr } from '@aztec/foundation/curves/bn254';
5
4
  import { bufferSchemaFor } from '@aztec/foundation/schemas';
6
5
  import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
7
6
  import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
8
7
  import { hashVK } from '../hash/index.js';
9
- import { CircuitType } from '../types/shared.js';
10
- /**
11
- * Curve data.
12
- */ export class G1AffineElement {
13
- /**
14
- * Element's x coordinate.
15
- */ x;
16
- /**
17
- * Element's y coordinate.
18
- */ y;
19
- constructor(x, y){
20
- this.x = typeof x === 'bigint' ? new Fq(x) : x;
21
- this.y = typeof y === 'bigint' ? new Fq(y) : y;
22
- }
23
- /**
24
- * Serialize as a buffer.
25
- * @returns The buffer.
26
- */ toBuffer() {
27
- return serializeToBuffer(this.x, this.y);
28
- }
29
- /**
30
- * Deserializes from a buffer or reader, corresponding to a write in cpp.
31
- * @param buffer - Buffer or BufferReader to read from.
32
- * @returns The G1AffineElement.
33
- */ static fromBuffer(buffer) {
34
- const reader = BufferReader.asReader(buffer);
35
- return new G1AffineElement(Fq.fromBuffer(reader), Fq.fromBuffer(reader));
36
- }
37
- }
38
- /**
39
- * Used store and serialize a key-value map of commitments where key is the name of the commitment and value is
40
- * the commitment itself. The name can be e.g. Q_1, Q_2, SIGMA_1 etc.
41
- */ export class CommitmentMap {
42
- record;
43
- constructor(/**
44
- * An object used to store the commitments.
45
- */ record){
46
- this.record = record;
47
- }
48
- /**
49
- * Serialize as a buffer.
50
- * @returns The buffer.
51
- */ toBuffer() {
52
- const values = Object.entries(this.record);
53
- return serializeToBuffer(values.length, ...values.flat());
54
- }
55
- /**
56
- * Deserializes from a buffer or reader, corresponding to a write in cpp.
57
- * @param buffer - Buffer or BufferReader to read from.
58
- * @returns The CommitmentMap.
59
- */ static fromBuffer(buffer) {
60
- const reader = BufferReader.asReader(buffer);
61
- return new CommitmentMap(reader.readMap(G1AffineElement));
62
- }
63
- }
64
8
  // TODO: find better home for these constants
65
9
  export const CIRCUIT_SIZE_INDEX = 0;
66
10
  export const CIRCUIT_PUBLIC_INPUTS_INDEX = 1;
@@ -136,70 +80,6 @@ export const CIRCUIT_PUBLIC_INPUTS_INDEX = 1;
136
80
  return new VerificationKeyAsFields(makeTuple(size, Fr.zero), Fr.zero());
137
81
  }
138
82
  }
139
- export class VerificationKey {
140
- circuitType;
141
- circuitSize;
142
- numPublicInputs;
143
- commitments;
144
- containsRecursiveProof;
145
- recursiveProofPublicInputIndices;
146
- constructor(/**
147
- * For Plonk, this is equivalent to the proving system used to prove and verify.
148
- */ circuitType, /**
149
- * The number of gates in this circuit.
150
- */ circuitSize, /**
151
- * The number of public inputs in this circuit.
152
- */ numPublicInputs, /**
153
- * The commitments for this circuit.
154
- */ commitments, /**
155
- * Contains a recursive proof?
156
- */ containsRecursiveProof, /**
157
- * Recursion stack.
158
- */ recursiveProofPublicInputIndices){
159
- this.circuitType = circuitType;
160
- this.circuitSize = circuitSize;
161
- this.numPublicInputs = numPublicInputs;
162
- this.commitments = commitments;
163
- this.containsRecursiveProof = containsRecursiveProof;
164
- this.recursiveProofPublicInputIndices = recursiveProofPublicInputIndices;
165
- }
166
- /**
167
- * Serialize as a buffer.
168
- * @returns The buffer.
169
- */ toBuffer() {
170
- return serializeToBuffer(this.circuitType, this.circuitSize, this.numPublicInputs, new CommitmentMap(this.commitments), this.containsRecursiveProof, serializeToBuffer(this.recursiveProofPublicInputIndices.length, this.recursiveProofPublicInputIndices));
171
- }
172
- /**
173
- * Deserializes class from a buffer.
174
- * @returns A VerificationKey instance.
175
- */ static fromBuffer(buffer) {
176
- const reader = BufferReader.asReader(buffer);
177
- return new VerificationKey(reader.readNumber(), reader.readNumber(), reader.readNumber(), reader.readObject(CommitmentMap).record, reader.readBoolean(), reader.readNumberVector());
178
- }
179
- /**
180
- * Builds a fake Rollup Honk verification key that should be accepted by circuits.
181
- * @returns A fake verification key.
182
- */ static makeRollupFake() {
183
- return new VerificationKey(CircuitType.ULTRA, 2048, 116, {}, false, times(16, (i)=>i));
184
- }
185
- /**
186
- * Builds a fake verification key that should be accepted by circuits.
187
- * @returns A fake verification key.
188
- */ static makeFake() {
189
- return new VerificationKey(CircuitType.ULTRA, 2048, 116, {}, false, times(16, (i)=>i));
190
- }
191
- /**
192
- * Builds a fake MegaHonk verification key buffer for testing.
193
- * Uses a real VK from a compiled contract to ensure proper format.
194
- *
195
- * @returns A valid MegaHonk VK buffer (4064 bytes)
196
- */ static makeFakeMegaHonk() {
197
- // This is a real MegaFlavor VK from token_contract, base64-encoded
198
- // Size: 4064 bytes (127 fields × 32 bytes)
199
- const vk = 'AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANuAAAAAAAAAAAAAAAAAAAAP/2mLzBM1pS5uiSckb1BVHkAAAAAAAAAAAAAAAAAAAAAAAj416UaEYnPzn49IUFSXgAAAAAAAAAAAAAAAAAAAIXdwCJK3KYAoGKX4p6GfmryAAAAAAAAAAAAAAAAAAAAAAAokraNwSgFcpF48hQxNGkAAAAAAAAAAAAAAAAAAAC7oxlMkGNLFkB2hf+YZ3ZxbgAAAAAAAAAAAAAAAAAAAAAAJxTarsiWssfiDyt71jURAAAAAAAAAAAAAAAAAAAAXrNqIIwSwfoH9ohkDg7vOVkAAAAAAAAAAAAAAAAAAAAAAAmoSGxP3U/r3hzEvHateQAAAAAAAAAAAAAAAAAAABsMbbs6st4J8g1rt+BsNQ/tAAAAAAAAAAAAAAAAAAAAAAAG1jgBz1oWwF9cgJAcbokAAAAAAAAAAAAAAAAAAAAiSGg7Y4g8BZRm7Y263TfzBQAAAAAAAAAAAAAAAAAAAAAABAifGWuruwdNirdcMLaZAAAAAAAAAAAAAAAAAAAAvnjsQ6y/R+pkGIZG+8VaSmoAAAAAAAAAAAAAAAAAAAAAACZ132MJqewzJSlpMIlLrwAAAAAAAAAAAAAAAAAAAGLurX4BKthJm1qWxgHy6poVAAAAAAAAAAAAAAAAAAAAAAATyCVmUda23MUKev5O7H8AAAAAAAAAAAAAAAAAAAAHgBXlGsmyGwFKCc8ECZMtygAAAAAAAAAAAAAAAAAAAAAAA5NUCZBujE33vAepEGQDAAAAAAAAAAAAAAAAAAAAezL+gT6bMTInwgAVVNNDXRkAAAAAAAAAAAAAAAAAAAAAABCAWIHhkvWaCS2ZnKPvSwAAAAAAAAAAAAAAAAAAANPQvFAiWRA8ERg5yGvr88ALAAAAAAAAAAAAAAAAAAAAAAApoSMoGsXzQJaFneSv1KgAAAAAAAAAAAAAAAAAAAB340oDJmM304cJnC9ueo+O5AAAAAAAAAAAAAAAAAAAAAAAHZK4hjDrXvy49q13vwGAAAAAAAAAAAAAAAAAAAAAtQi6GtLBaVOlbS6XGA9eqnwAAAAAAAAAAAAAAAAAAAAAABfiIWL6/lPx838UMvXv4wAAAAAAAAAAAAAAAAAAADr/3SHoETrf6uZZ1rp+WIZQAAAAAAAAAAAAAAAAAAAAAAAqvpwOG8VS0GsAo7Jkj0UAAAAAAAAAAAAAAAAAAABUJxHlFbLDzcMOKg2f7hCicAAAAAAAAAAAAAAAAAAAAAAAEWBEq9cQJCgbdAYavBP5AAAAAAAAAAAAAAAAAAAAdrkZueUT2Ets4CFAG+vXcr4AAAAAAAAAAAAAAAAAAAAAAB6B5XXXSu46eOAFWZAkrwAAAAAAAAAAAAAAAAAAANmWqVvVT2mZ7QrYWIirAquXAAAAAAAAAAAAAAAAAAAAAAACF9hD8+IrMaRi+lqRkAMAAAAAAAAAAAAAAAAAAAAD5Z0isCORGRBnbAxmzTrctgAAAAAAAAAAAAAAAAAAAAAAMAWa6kNzndYcZpD/z9psAAAAAAAAAAAAAAAAAAAA+bz6NGciDYP69hwbHlOFemYAAAAAAAAAAAAAAAAAAAAAACxtqvyR362MHKUfRa1atAAAAAAAAAAAAAAAAAAAABHmXRvQcsHNHFVezkzmPcbGAAAAAAAAAAAAAAAAAAAAAAAgnfqubAIcahOIvmgu5kEAAAAAAAAAAAAAAAAAAACzkNYUnJ/7869CHmpqFcvY7gAAAAAAAAAAAAAAAAAAAAAAByZU2ZsU3OZBBKhDaro4AAAAAAAAAAAAAAAAAAAA5WKKgNFBqO30Fqe8nWMZOfkAAAAAAAAAAAAAAAAAAAAAABeI+NTdPf/53PNok25fhwAAAAAAAAAAAAAAAAAAANTx1sizxFU9c4qiWkoCg1G9AAAAAAAAAAAAAAAAAAAAAAAKK321DuTcjXFo351Z7fAAAAAAAAAAAAAAAAAAAADOP1b+njU8sem9GjVjXe1qTAAAAAAAAAAAAAAAAAAAAAAADLPaoo1d53oBsUXMc0GIAAAAAAAAAAAAAAAAAAAAcW4ObhQI/r76cmLEMHA6iHsAAAAAAAAAAAAAAAAAAAAAAAxzcj9JsZ+WcmGtvE3NSAAAAAAAAAAAAAAAAAAAAPqjE1vBe0DhRJfyQPZj8eamAAAAAAAAAAAAAAAAAAAAAAAOXS9sKDjHSU17NYl3NWcAAAAAAAAAAAAAAAAAAACMJCYI98PRZEMXCwrwNffRggAAAAAAAAAAAAAAAAAAAAAAF7iR11vxzfrikwSlMSOwAAAAAAAAAAAAAAAAAAAAjYxSswL26VlnQdfkOYS9MuYAAAAAAAAAAAAAAAAAAAAAAC6jqRgX46I790Y9ebEJ9gAAAAAAAAAAAAAAAAAAAJq7Vw3WpNxo+vzjpCxfVu0rAAAAAAAAAAAAAAAAAAAAAAAPd0DnQkVFd7Rhjlk7k0wAAAAAAAAAAAAAAAAAAAA/SdmtkYZfq+d1bkNp2l0IdQAAAAAAAAAAAAAAAAAAAAAAEGEmscJv8D/jR09GElDyAAAAAAAAAAAAAAAAAAAAgY2ip4PPEb5BgXBJV0bUHpsAAAAAAAAAAAAAAAAAAAAAABiRsTgHAURQXmqPKFtBggAAAAAAAAAAAAAAAAAAAKWWQ0j6nz6pIx27umcNoUk1AAAAAAAAAAAAAAAAAAAAAAABk5iNZXp0vuxhWmZ0F0YAAAAAAAAAAAAAAAAAAADkU74RRH4d3TDyCXGUcQdG6wAAAAAAAAAAAAAAAAAAAAAALi6nWpWc4hq35DuQOxCdAAAAAAAAAAAAAAAAAAAAjBnq8cvZwI0dqFiGgI3kP/sAAAAAAAAAAAAAAAAAAAAAAAZDjNqd6UXeD/Xbw2vT3wAAAAAAAAAAAAAAAAAAAAey7c2Kz+U0azWgd9i/FoI7AAAAAAAAAAAAAAAAAAAAAAAO4lm5hFdU3KY1MMVooKoAAAAAAAAAAAAAAAAAAAA11ut5lZwgPDn0A1cwtLCjDAAAAAAAAAAAAAAAAAAAAAAADhG7sXUMPuGPPEEkGD/MAAAAAAAAAAAAAAAAAAAAkFC/P2UgsVTxrLhFyeRcTqUAAAAAAAAAAAAAAAAAAAAAAAXZUHR9pRmVh2U5hXP8UgAAAAAAAAAAAAAAAAAAAM9CK5rTZMf33eqMsQVDsdUbAAAAAAAAAAAAAAAAAAAAAAAKfdl2Itg9xMw19PoJjw4AAAAAAAAAAAAAAAAAAACh6Wbif3ZcchD1B7vZ8b5DHwAAAAAAAAAAAAAAAAAAAAAAHGRY+P8dj2Szvs/BINaZAAAAAAAAAAAAAAAAAAAA57z5vC986jfHkCdbvBGY9UEAAAAAAAAAAAAAAAAAAAAAABuC5Ph+YUMEdCTygzTQLgAAAAAAAAAAAAAAAAAAAMdxf6hfQQBnhI5uc4PPJkiwAAAAAAAAAAAAAAAAAAAAAAApr+0qBIeZZf5wFnDZGNcAAAAAAAAAAAAAAAAAAADqhA6wE2ALsS/9BFYP32waPAAAAAAAAAAAAAAAAAAAAAAAKN90iROZj56eOgBuC4DlAAAAAAAAAAAAAAAAAAAAUItiITw6coKXGWZYVGs6EvMAAAAAAAAAAAAAAAAAAAAAAB/gFpTMjB81T6kjfu9v5AAAAAAAAAAAAAAAAAAAAGQG2CBHDqOoGrVyJFkVxqotAAAAAAAAAAAAAAAAAAAAAAAf6yUuTb9Uwg1tZ4id9jcAAAAAAAAAAAAAAAAAAADlkZ2DA7pZH9wO11w4cy+s/gAAAAAAAAAAAAAAAAAAAAAAAt5B32eTTs4csyhddidyAAAAAAAAAAAAAAAAAAAA2aKmCGyHs9jOnHNSufEdfO4AAAAAAAAAAAAAAAAAAAAAAC/vRXfEwTCgPImIiqOUswAAAAAAAAAAAAAAAAAAAFGkxws8pjGFPFrAxEiNiKZvAAAAAAAAAAAAAAAAAAAAAAAaPDkex9QFa+M1+cKv3uYAAAAAAAAAAAAAAAAAAACBxRbxgX6dH/bX8+18EZFW0AAAAAAAAAAAAAAAAAAAAAAAFvOBcJpsuXdvthvuKTZLAAAAAAAAAAAAAAAAAAAAT1jrSA1EinKmegreBOM17oQAAAAAAAAAAAAAAAAAAAAAACpP5938XueYK9lRsqQx8AAAAAAAAAAAAAAAAAAAAD7gDhTe1BwxuEHsc2agJEc/AAAAAAAAAAAAAAAAAAAAAAAhj3icxTsLkBO1+Nwz5bkAAAAAAAAAAAAAAAAAAADUotDXrDmLTxZKvbT011rGRgAAAAAAAAAAAAAAAAAAAAAAAm2Vy0XXc5bPTwYiCnozAAAAAAAAAAAAAAAAAAAA4m//D/oaIEkcbfvcsY8m3yEAAAAAAAAAAAAAAAAAAAAAAAUtiBCqfomCGC6GywfTDQAAAAAAAAAAAAAAAAAAANedPq+IpIRxcYWtqKNbMcFBAAAAAAAAAAAAAAAAAAAAAAAYqcAnwnFfdxcE/rO/iEMAAAAAAAAAAAAAAAAAAADOpZm7rhU1EjBVJa6+CsG3SwAAAAAAAAAAAAAAAAAAAAAADE3UV3HYY4to5MdMoyhzAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAADR5j3OosE3DcjqfYFSVRVvhQAAAAAAAAAAAAAAAAAAAAAAIkOVicHIGw8ySdK6LLsSAAAAAAAAAAAAAAAAAAAAiUo00o971hiazvZDn4Ir9CsAAAAAAAAAAAAAAAAAAAAAADA8czfrc4+po12HYzzeswAAAAAAAAAAAAAAAAAAAGvMegX/lalrKJQkxfczZw2WAAAAAAAAAAAAAAAAAAAAAAAAxDcm91tv2g3iLODg36sAAAAAAAAAAAAAAAAAAAAdCgnXF47JO614WPluZPC0jQAAAAAAAAAAAAAAAAAAAAAAL5tuC04sAZaN5cMkgqp9AAAAAAAAAAAAAAAAAAAAjKmgRRlkp7urvZ42nbdVYlMAAAAAAAAAAAAAAAAAAAAAABRWfiw+hPwePmnYH2zlgAAAAAAAAAAAAAAAAAAAANYJxZ/uz4mfK5Wv9Rm78/s8AAAAAAAAAAAAAAAAAAAAAAADeJJvFQwwx2CWXfRprm4=';
200
- return Buffer.from(vk, 'base64');
201
- }
202
- }
203
83
  export class VerificationKeyData {
204
84
  keyAsFields;
205
85
  keyAsBytes;
@@ -217,13 +97,12 @@ export class VerificationKeyData {
217
97
  return new VerificationKeyData(VerificationKeyAsFields.makeEmpty(0), Buffer.alloc(0));
218
98
  }
219
99
  static makeFakeHonk() {
220
- return new VerificationKeyData(VerificationKeyAsFields.makeFakeHonk(), VerificationKey.makeFake().toBuffer());
100
+ const keyAsFields = VerificationKeyAsFields.makeFakeHonk();
101
+ return new VerificationKeyData(keyAsFields, keyAsFields.toBuffer());
221
102
  }
222
103
  static makeFakeRollupHonk() {
223
- return new VerificationKeyData(VerificationKeyAsFields.makeFakeRollupHonk(), VerificationKey.makeRollupFake().toBuffer());
224
- }
225
- static makeFake(len = ULTRA_VK_LENGTH_IN_FIELDS) {
226
- return new VerificationKeyData(VerificationKeyAsFields.makeFake(len), VerificationKey.makeFake().toBuffer());
104
+ const keyAsFields = VerificationKeyAsFields.makeFakeRollupHonk();
105
+ return new VerificationKeyData(keyAsFields, keyAsFields.toBuffer());
227
106
  }
228
107
  /**
229
108
  * Serialize as a buffer.
@@ -0,0 +1,11 @@
1
+ import type { PublicDataTreeLeaf } from '../trees/index.js';
2
+ /** Data used to initialize the genesis block, including prefilled public state and an optional timestamp. */
3
+ export type GenesisData = {
4
+ /** Public data tree leaves to pre-populate in the genesis state (e.g. fee juice balances). */
5
+ prefilledPublicData: PublicDataTreeLeaf[];
6
+ /** Timestamp for the genesis block header. Defaults to 0 (canonical empty genesis) in production. */
7
+ genesisTimestamp: bigint;
8
+ };
9
+ /** An empty genesis data with no prefilled state and a zero timestamp. */
10
+ export declare const EMPTY_GENESIS_DATA: GenesisData;
11
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZ2VuZXNpc19kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvd29ybGQtc3RhdGUvZ2VuZXNpc19kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLGtCQUFrQixFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFFNUQsNkdBQTZHO0FBQzdHLE1BQU0sTUFBTSxXQUFXLEdBQUc7SUFDeEIsOEZBQThGO0lBQzlGLG1CQUFtQixFQUFFLGtCQUFrQixFQUFFLENBQUM7SUFDMUMscUdBQXFHO0lBQ3JHLGdCQUFnQixFQUFFLE1BQU0sQ0FBQztDQUMxQixDQUFDO0FBRUYsMEVBQTBFO0FBQzFFLGVBQU8sTUFBTSxrQkFBa0IsRUFBRSxXQUdoQyxDQUFDIn0=
@@ -0,0 +1 @@
1
+ {"version":3,"file":"genesis_data.d.ts","sourceRoot":"","sources":["../../src/world-state/genesis_data.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAE5D,6GAA6G;AAC7G,MAAM,MAAM,WAAW,GAAG;IACxB,8FAA8F;IAC9F,mBAAmB,EAAE,kBAAkB,EAAE,CAAC;IAC1C,qGAAqG;IACrG,gBAAgB,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,0EAA0E;AAC1E,eAAO,MAAM,kBAAkB,EAAE,WAGhC,CAAC"}
@@ -0,0 +1,4 @@
1
+ /** An empty genesis data with no prefilled state and a zero timestamp. */ export const EMPTY_GENESIS_DATA = {
2
+ prefilledPublicData: [],
3
+ genesisTimestamp: 0n
4
+ };
@@ -1,2 +1,3 @@
1
+ export * from './genesis_data.js';
1
2
  export * from './world_state_revision.js';
2
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy93b3JsZC1zdGF0ZS9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLDJCQUEyQixDQUFDIn0=
3
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy93b3JsZC1zdGF0ZS9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLG1CQUFtQixDQUFDO0FBQ2xDLGNBQWMsMkJBQTJCLENBQUMifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/world-state/index.ts"],"names":[],"mappings":"AAAA,cAAc,2BAA2B,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/world-state/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,2BAA2B,CAAC"}
@@ -1 +1,2 @@
1
+ export * from './genesis_data.js';
1
2
  export * from './world_state_revision.js';