@aztec/stdlib 2.1.0-rc.9 → 3.0.0-devnet.2

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 (550) hide show
  1. package/dest/abi/abi.d.ts +8 -8
  2. package/dest/abi/abi.js +1 -1
  3. package/dest/abi/contract_artifact.js +3 -0
  4. package/dest/abi/event_metadata_definition.d.ts +8 -0
  5. package/dest/abi/event_metadata_definition.d.ts.map +1 -0
  6. package/dest/abi/event_metadata_definition.js +1 -0
  7. package/dest/abi/function_call.d.ts +7 -2
  8. package/dest/abi/function_call.d.ts.map +1 -1
  9. package/dest/abi/function_call.js +6 -2
  10. package/dest/abi/index.d.ts +1 -0
  11. package/dest/abi/index.d.ts.map +1 -1
  12. package/dest/abi/index.js +1 -0
  13. package/dest/avm/avm.d.ts +131 -72
  14. package/dest/avm/avm.d.ts.map +1 -1
  15. package/dest/avm/avm.js +8 -4
  16. package/dest/avm/avm_accumulated_data.d.ts +10 -21
  17. package/dest/avm/avm_accumulated_data.d.ts.map +1 -1
  18. package/dest/avm/avm_accumulated_data.js +19 -22
  19. package/dest/avm/avm_circuit_public_inputs.d.ts +30 -13
  20. package/dest/avm/avm_circuit_public_inputs.d.ts.map +1 -1
  21. package/dest/avm/avm_circuit_public_inputs.js +17 -6
  22. package/dest/avm/avm_proving_request.d.ts +96 -48
  23. package/dest/avm/avm_proving_request.d.ts.map +1 -1
  24. package/dest/avm/index.d.ts +1 -1
  25. package/dest/avm/index.d.ts.map +1 -1
  26. package/dest/avm/index.js +1 -1
  27. package/dest/avm/message_pack.d.ts +1 -0
  28. package/dest/avm/message_pack.d.ts.map +1 -1
  29. package/dest/avm/message_pack.js +28 -5
  30. package/dest/block/attestation_info.d.ts +30 -0
  31. package/dest/block/attestation_info.d.ts.map +1 -0
  32. package/dest/block/attestation_info.js +39 -0
  33. package/dest/block/body.d.ts +4 -1
  34. package/dest/block/body.d.ts.map +1 -1
  35. package/dest/block/body.js +17 -15
  36. package/dest/block/index.d.ts +2 -0
  37. package/dest/block/index.d.ts.map +1 -1
  38. package/dest/block/index.js +2 -0
  39. package/dest/block/l2_block.d.ts +19 -5
  40. package/dest/block/l2_block.d.ts.map +1 -1
  41. package/dest/block/l2_block.js +28 -7
  42. package/dest/block/l2_block_code_to_purge.d.ts +3 -14
  43. package/dest/block/l2_block_code_to_purge.d.ts.map +1 -1
  44. package/dest/block/l2_block_code_to_purge.js +23 -13
  45. package/dest/block/l2_block_header.d.ts +100 -0
  46. package/dest/block/l2_block_header.d.ts.map +1 -0
  47. package/dest/block/l2_block_header.js +146 -0
  48. package/dest/block/l2_block_source.d.ts +29 -0
  49. package/dest/block/l2_block_source.d.ts.map +1 -1
  50. package/dest/block/l2_block_stream/l2_tips_memory_store.js +1 -1
  51. package/dest/block/proposal/attestations_and_signers.d.ts +1 -1
  52. package/dest/block/proposal/attestations_and_signers.js +1 -1
  53. package/dest/block/proposal/committee_attestation.d.ts +0 -1
  54. package/dest/block/proposal/committee_attestation.d.ts.map +1 -1
  55. package/dest/block/proposal/committee_attestation.js +0 -3
  56. package/dest/block/published_l2_block.d.ts +2 -8
  57. package/dest/block/published_l2_block.d.ts.map +1 -1
  58. package/dest/block/published_l2_block.js +0 -9
  59. package/dest/block/test/l2_tips_store_test_suite.d.ts.map +1 -1
  60. package/dest/block/test/l2_tips_store_test_suite.js +1 -3
  61. package/dest/checkpoint/checkpoint_body.d.ts +4 -0
  62. package/dest/checkpoint/checkpoint_body.d.ts.map +1 -0
  63. package/dest/checkpoint/checkpoint_body.js +9 -0
  64. package/dest/checkpoint/index.d.ts +2 -0
  65. package/dest/checkpoint/index.d.ts.map +1 -0
  66. package/dest/checkpoint/index.js +1 -0
  67. package/dest/config/node-rpc-config.d.ts +2 -0
  68. package/dest/config/node-rpc-config.d.ts.map +1 -1
  69. package/dest/config/node-rpc-config.js +6 -0
  70. package/dest/contract/contract_address.d.ts +1 -1
  71. package/dest/contract/contract_address.js +1 -1
  72. package/dest/contract/contract_class_metadata.d.ts +8 -0
  73. package/dest/contract/contract_class_metadata.d.ts.map +1 -0
  74. package/dest/contract/contract_class_metadata.js +1 -0
  75. package/dest/contract/contract_instance.d.ts +9 -8
  76. package/dest/contract/contract_instance.d.ts.map +1 -1
  77. package/dest/contract/contract_instance.js +1 -2
  78. package/dest/contract/contract_metadata.d.ts +7 -0
  79. package/dest/contract/contract_metadata.d.ts.map +1 -0
  80. package/dest/contract/contract_metadata.js +1 -0
  81. package/dest/contract/index.d.ts +2 -0
  82. package/dest/contract/index.d.ts.map +1 -1
  83. package/dest/contract/index.js +2 -0
  84. package/dest/contract/interfaces/contract_class.d.ts +1 -1
  85. package/dest/contract/interfaces/contract_instance.d.ts +2 -2
  86. package/dest/hash/hash.d.ts.map +1 -1
  87. package/dest/hash/hash.js +0 -3
  88. package/dest/interfaces/archiver.d.ts +1 -1
  89. package/dest/interfaces/archiver.d.ts.map +1 -1
  90. package/dest/interfaces/archiver.js +7 -0
  91. package/dest/interfaces/aztec-node-admin.d.ts +40 -36
  92. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  93. package/dest/interfaces/aztec-node-admin.js +2 -2
  94. package/dest/interfaces/aztec-node.d.ts +30 -0
  95. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  96. package/dest/interfaces/aztec-node.js +7 -1
  97. package/dest/interfaces/block-builder.d.ts +1 -2
  98. package/dest/interfaces/block-builder.d.ts.map +1 -1
  99. package/dest/interfaces/client.d.ts +0 -1
  100. package/dest/interfaces/client.d.ts.map +1 -1
  101. package/dest/interfaces/client.js +0 -1
  102. package/dest/interfaces/configs.d.ts +5 -0
  103. package/dest/interfaces/configs.d.ts.map +1 -1
  104. package/dest/interfaces/configs.js +1 -0
  105. package/dest/interfaces/epoch-prover.d.ts +26 -9
  106. package/dest/interfaces/epoch-prover.d.ts.map +1 -1
  107. package/dest/interfaces/merkle_tree_operations.d.ts +5 -0
  108. package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
  109. package/dest/interfaces/p2p.d.ts +2 -0
  110. package/dest/interfaces/p2p.d.ts.map +1 -1
  111. package/dest/interfaces/p2p.js +2 -1
  112. package/dest/interfaces/private_kernel_prover.d.ts +2 -2
  113. package/dest/interfaces/private_kernel_prover.d.ts.map +1 -1
  114. package/dest/interfaces/proving-job.d.ts +343 -194
  115. package/dest/interfaces/proving-job.d.ts.map +1 -1
  116. package/dest/interfaces/proving-job.js +131 -113
  117. package/dest/interfaces/server_circuit_prover.d.ts +34 -34
  118. package/dest/interfaces/server_circuit_prover.d.ts.map +1 -1
  119. package/dest/interfaces/tx_provider.d.ts +1 -1
  120. package/dest/interfaces/tx_provider.d.ts.map +1 -1
  121. package/dest/interfaces/validator.d.ts +99 -3
  122. package/dest/interfaces/validator.d.ts.map +1 -1
  123. package/dest/interfaces/validator.js +7 -0
  124. package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts +3 -2
  125. package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts.map +1 -1
  126. package/dest/kernel/hints/nullifier_read_request_hints.d.ts +4 -3
  127. package/dest/kernel/hints/nullifier_read_request_hints.d.ts.map +1 -1
  128. package/dest/kernel/nullifier.d.ts +2 -2
  129. package/dest/kernel/nullifier.d.ts.map +1 -1
  130. package/dest/kernel/nullifier.js +11 -11
  131. package/dest/kernel/private_call_data.d.ts +4 -24
  132. package/dest/kernel/private_call_data.d.ts.map +1 -1
  133. package/dest/kernel/private_call_data.js +4 -16
  134. package/dest/kernel/private_circuit_public_inputs.d.ts +5 -5
  135. package/dest/kernel/private_circuit_public_inputs.d.ts.map +1 -1
  136. package/dest/kernel/private_circuit_public_inputs.js +7 -7
  137. package/dest/kernel/private_context_inputs.d.ts +2 -2
  138. package/dest/kernel/private_context_inputs.d.ts.map +1 -1
  139. package/dest/kernel/private_context_inputs.js +4 -4
  140. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts +3 -3
  141. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts.map +1 -1
  142. package/dest/kernel/private_kernel_circuit_public_inputs.js +3 -3
  143. package/dest/kernel/private_kernel_init_circuit_private_inputs.d.ts +5 -4
  144. package/dest/kernel/private_kernel_init_circuit_private_inputs.d.ts.map +1 -1
  145. package/dest/kernel/private_kernel_init_circuit_private_inputs.js +7 -6
  146. package/dest/kernel/private_kernel_prover_output.d.ts +1 -1
  147. package/dest/kernel/private_kernel_prover_output.d.ts.map +1 -1
  148. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts +1 -0
  149. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts.map +1 -1
  150. package/dest/kernel/private_kernel_tail_circuit_public_inputs.js +4 -1
  151. package/dest/kernel/private_to_public_accumulated_data.d.ts +1 -1
  152. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts +2 -0
  153. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts.map +1 -1
  154. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.js +7 -0
  155. package/dest/kernel/private_to_rollup_accumulated_data.d.ts +1 -1
  156. package/dest/keys/derivation.d.ts +0 -2
  157. package/dest/keys/derivation.d.ts.map +1 -1
  158. package/dest/keys/derivation.js +1 -21
  159. package/dest/logs/contract_class_log.d.ts +1 -1
  160. package/dest/logs/contract_class_log.d.ts.map +1 -1
  161. package/dest/logs/contract_class_log.js +1 -3
  162. package/dest/logs/debug_log.d.ts +13 -0
  163. package/dest/logs/debug_log.d.ts.map +1 -0
  164. package/dest/logs/debug_log.js +26 -0
  165. package/dest/logs/directional_app_tagging_secret.d.ts +40 -0
  166. package/dest/logs/directional_app_tagging_secret.d.ts.map +1 -0
  167. package/dest/logs/directional_app_tagging_secret.js +64 -0
  168. package/dest/logs/index.d.ts +3 -1
  169. package/dest/logs/index.d.ts.map +1 -1
  170. package/dest/logs/index.js +3 -1
  171. package/dest/logs/log_with_tx_data.d.ts +9 -12
  172. package/dest/logs/log_with_tx_data.d.ts.map +1 -1
  173. package/dest/logs/log_with_tx_data.js +18 -23
  174. package/dest/logs/pre_tag.d.ts +34 -0
  175. package/dest/logs/pre_tag.d.ts.map +1 -0
  176. package/dest/logs/pre_tag.js +7 -0
  177. package/dest/logs/public_log.d.ts +23 -10
  178. package/dest/logs/public_log.d.ts.map +1 -1
  179. package/dest/logs/public_log.js +117 -42
  180. package/dest/messaging/l2_to_l1_membership.d.ts +1 -1
  181. package/dest/messaging/l2_to_l1_membership.d.ts.map +1 -1
  182. package/dest/messaging/l2_to_l1_membership.js +16 -18
  183. package/dest/noir/index.d.ts +11 -0
  184. package/dest/noir/index.d.ts.map +1 -1
  185. package/dest/note/index.d.ts +1 -1
  186. package/dest/note/index.d.ts.map +1 -1
  187. package/dest/note/index.js +1 -1
  188. package/dest/note/notes_filter.d.ts +0 -5
  189. package/dest/note/notes_filter.d.ts.map +1 -1
  190. package/dest/note/notes_filter.js +0 -3
  191. package/dest/note/unique_note.d.ts +43 -0
  192. package/dest/note/unique_note.d.ts.map +1 -0
  193. package/dest/note/{extended_note.js → unique_note.js} +9 -48
  194. package/dest/p2p/block_attestation.d.ts +13 -13
  195. package/dest/p2p/block_attestation.d.ts.map +1 -1
  196. package/dest/p2p/block_attestation.js +27 -25
  197. package/dest/p2p/block_proposal.d.ts +6 -8
  198. package/dest/p2p/block_proposal.d.ts.map +1 -1
  199. package/dest/p2p/block_proposal.js +10 -13
  200. package/dest/p2p/consensus_payload.d.ts +7 -6
  201. package/dest/p2p/consensus_payload.d.ts.map +1 -1
  202. package/dest/p2p/consensus_payload.js +7 -6
  203. package/dest/parity/index.d.ts +2 -3
  204. package/dest/parity/index.d.ts.map +1 -1
  205. package/dest/parity/index.js +2 -3
  206. package/dest/parity/{base_parity_inputs.d.ts → parity_base_private_inputs.d.ts} +7 -7
  207. package/dest/parity/parity_base_private_inputs.d.ts.map +1 -0
  208. package/dest/parity/{base_parity_inputs.js → parity_base_private_inputs.js} +10 -6
  209. package/dest/parity/parity_root_private_inputs.d.ts +39 -0
  210. package/dest/parity/parity_root_private_inputs.d.ts.map +1 -0
  211. package/dest/parity/{root_parity_inputs.js → parity_root_private_inputs.js} +12 -13
  212. package/dest/proofs/client_ivc_proof.d.ts +17 -7
  213. package/dest/proofs/client_ivc_proof.d.ts.map +1 -1
  214. package/dest/proofs/client_ivc_proof.js +78 -19
  215. package/dest/proofs/index.d.ts +1 -0
  216. package/dest/proofs/index.d.ts.map +1 -1
  217. package/dest/proofs/index.js +1 -0
  218. package/dest/proofs/proof_data.d.ts +21 -0
  219. package/dest/proofs/proof_data.d.ts.map +1 -0
  220. package/dest/proofs/proof_data.js +22 -0
  221. package/dest/proofs/proving_request_type.d.ts +17 -13
  222. package/dest/proofs/proving_request_type.d.ts.map +1 -1
  223. package/dest/proofs/proving_request_type.js +17 -12
  224. package/dest/rollup/avm_proof_data.d.ts +2 -12
  225. package/dest/rollup/avm_proof_data.d.ts.map +1 -1
  226. package/dest/rollup/avm_proof_data.js +0 -24
  227. package/dest/rollup/base_rollup_hints.d.ts +17 -17
  228. package/dest/rollup/base_rollup_hints.d.ts.map +1 -1
  229. package/dest/rollup/base_rollup_hints.js +26 -26
  230. package/dest/rollup/block_constant_data.d.ts +24 -10
  231. package/dest/rollup/block_constant_data.d.ts.map +1 -1
  232. package/dest/rollup/block_constant_data.js +18 -10
  233. package/dest/rollup/{block_merge_rollup.d.ts → block_merge_rollup_private_inputs.d.ts} +17 -10
  234. package/dest/rollup/block_merge_rollup_private_inputs.d.ts.map +1 -0
  235. package/dest/rollup/{block_merge_rollup.js → block_merge_rollup_private_inputs.js} +14 -13
  236. package/dest/rollup/block_rollup_public_inputs.d.ts +124 -0
  237. package/dest/rollup/block_rollup_public_inputs.d.ts.map +1 -0
  238. package/dest/rollup/block_rollup_public_inputs.js +85 -0
  239. package/dest/rollup/block_root_rollup_private_inputs.d.ts +236 -0
  240. package/dest/rollup/block_root_rollup_private_inputs.d.ts.map +1 -0
  241. package/dest/rollup/block_root_rollup_private_inputs.js +257 -0
  242. package/dest/rollup/checkpoint_constant_data.d.ts +54 -0
  243. package/dest/rollup/checkpoint_constant_data.d.ts.map +1 -0
  244. package/dest/rollup/checkpoint_constant_data.js +55 -0
  245. package/dest/{tx/proposed_block_header.d.ts → rollup/checkpoint_header.d.ts} +12 -13
  246. package/dest/rollup/checkpoint_header.d.ts.map +1 -0
  247. package/dest/{tx/proposed_block_header.js → rollup/checkpoint_header.js} +9 -9
  248. package/dest/rollup/checkpoint_merge_rollup_private_inputs.d.ts +30 -0
  249. package/dest/rollup/checkpoint_merge_rollup_private_inputs.d.ts.map +1 -0
  250. package/dest/rollup/checkpoint_merge_rollup_private_inputs.js +37 -0
  251. package/dest/rollup/checkpoint_rollup_public_inputs.d.ts +106 -0
  252. package/dest/rollup/checkpoint_rollup_public_inputs.d.ts.map +1 -0
  253. package/dest/rollup/checkpoint_rollup_public_inputs.js +108 -0
  254. package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts +123 -0
  255. package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts.map +1 -0
  256. package/dest/rollup/checkpoint_root_rollup_private_inputs.js +178 -0
  257. package/dest/rollup/epoch_constant_data.d.ts +23 -6
  258. package/dest/rollup/epoch_constant_data.d.ts.map +1 -1
  259. package/dest/rollup/epoch_constant_data.js +25 -12
  260. package/dest/rollup/index.d.ts +17 -16
  261. package/dest/rollup/index.d.ts.map +1 -1
  262. package/dest/rollup/index.js +17 -16
  263. package/dest/rollup/private_tx_base_rollup_private_inputs.d.ts +21 -0
  264. package/dest/rollup/private_tx_base_rollup_private_inputs.d.ts.map +1 -0
  265. package/dest/rollup/private_tx_base_rollup_private_inputs.js +42 -0
  266. package/dest/rollup/public_tube_private_inputs.d.ts +21 -0
  267. package/dest/rollup/public_tube_private_inputs.d.ts.map +1 -0
  268. package/dest/rollup/public_tube_private_inputs.js +42 -0
  269. package/dest/rollup/public_tube_public_inputs.d.ts +20 -0
  270. package/dest/rollup/public_tube_public_inputs.d.ts.map +1 -0
  271. package/dest/rollup/public_tube_public_inputs.js +41 -0
  272. package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts +23 -0
  273. package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts.map +1 -0
  274. package/dest/rollup/public_tx_base_rollup_private_inputs.js +46 -0
  275. package/dest/rollup/root_rollup_private_inputs.d.ts +67 -0
  276. package/dest/rollup/root_rollup_private_inputs.d.ts.map +1 -0
  277. package/dest/rollup/root_rollup_private_inputs.js +69 -0
  278. package/dest/rollup/root_rollup_public_inputs.d.ts +46 -0
  279. package/dest/rollup/root_rollup_public_inputs.d.ts.map +1 -0
  280. package/dest/rollup/root_rollup_public_inputs.js +71 -0
  281. package/dest/rollup/{state_diff_hints.d.ts → tree_snapshot_diff_hints.d.ts} +22 -38
  282. package/dest/rollup/tree_snapshot_diff_hints.d.ts.map +1 -0
  283. package/dest/rollup/tree_snapshot_diff_hints.js +75 -0
  284. package/dest/rollup/{merge_rollup.d.ts → tx_merge_rollup_private_inputs.d.ts} +11 -10
  285. package/dest/rollup/tx_merge_rollup_private_inputs.d.ts.map +1 -0
  286. package/dest/rollup/{merge_rollup.js → tx_merge_rollup_private_inputs.js} +14 -13
  287. package/dest/rollup/{base_or_merge_rollup_public_inputs.d.ts → tx_rollup_public_inputs.d.ts} +14 -14
  288. package/dest/rollup/tx_rollup_public_inputs.d.ts.map +1 -0
  289. package/dest/rollup/{base_or_merge_rollup_public_inputs.js → tx_rollup_public_inputs.js} +15 -15
  290. package/dest/stats/stats.d.ts +1 -1
  291. package/dest/stats/stats.d.ts.map +1 -1
  292. package/dest/tests/factories.d.ts +42 -74
  293. package/dest/tests/factories.d.ts.map +1 -1
  294. package/dest/tests/factories.js +144 -167
  295. package/dest/tests/mocks.d.ts +11 -7
  296. package/dest/tests/mocks.d.ts.map +1 -1
  297. package/dest/tests/mocks.js +44 -23
  298. package/dest/trees/index.d.ts +0 -1
  299. package/dest/trees/index.d.ts.map +1 -1
  300. package/dest/trees/index.js +0 -1
  301. package/dest/trees/merkle_tree_id.d.ts +4 -4
  302. package/dest/trees/nullifier_membership_witness.d.ts +3 -3
  303. package/dest/tx/block_header.d.ts +12 -13
  304. package/dest/tx/block_header.d.ts.map +1 -1
  305. package/dest/tx/block_header.js +16 -21
  306. package/dest/tx/global_variables.d.ts.map +1 -1
  307. package/dest/tx/global_variables.js +0 -1
  308. package/dest/tx/index.d.ts +2 -1
  309. package/dest/tx/index.d.ts.map +1 -1
  310. package/dest/tx/index.js +2 -1
  311. package/dest/tx/private_execution_result.d.ts +7 -2
  312. package/dest/tx/private_execution_result.d.ts.map +1 -1
  313. package/dest/tx/private_execution_result.js +10 -6
  314. package/dest/tx/private_tx_constant_data.d.ts +60 -0
  315. package/dest/tx/private_tx_constant_data.d.ts.map +1 -0
  316. package/dest/tx/private_tx_constant_data.js +69 -0
  317. package/dest/tx/processed_tx.d.ts +0 -1
  318. package/dest/tx/processed_tx.d.ts.map +1 -1
  319. package/dest/tx/processed_tx.js +1 -6
  320. package/dest/tx/profiling.d.ts.map +1 -1
  321. package/dest/tx/profiling.js +0 -2
  322. package/dest/tx/protocol_contracts.d.ts +29 -0
  323. package/dest/tx/protocol_contracts.d.ts.map +1 -0
  324. package/dest/tx/protocol_contracts.js +49 -0
  325. package/dest/tx/simulated_tx.d.ts +3 -3
  326. package/dest/tx/tx.d.ts +6 -2
  327. package/dest/tx/tx.d.ts.map +1 -1
  328. package/dest/tx/tx.js +10 -3
  329. package/dest/tx/tx_constant_data.d.ts +6 -38
  330. package/dest/tx/tx_constant_data.d.ts.map +1 -1
  331. package/dest/tx/tx_constant_data.js +11 -20
  332. package/dest/tx/tx_effect.d.ts +3 -36
  333. package/dest/tx/tx_effect.d.ts.map +1 -1
  334. package/dest/tx/tx_effect.js +63 -202
  335. package/dest/tx/validator/error_texts.d.ts +1 -1
  336. package/dest/tx/validator/error_texts.d.ts.map +1 -1
  337. package/dest/tx/validator/error_texts.js +1 -1
  338. package/dest/versioning/versioning.d.ts +2 -2
  339. package/dest/versioning/versioning.d.ts.map +1 -1
  340. package/dest/versioning/versioning.js +18 -13
  341. package/dest/world-state/index.d.ts +2 -0
  342. package/dest/world-state/index.d.ts.map +1 -0
  343. package/dest/world-state/index.js +1 -0
  344. package/dest/world-state/world_state_revision.d.ts +22 -0
  345. package/dest/world-state/world_state_revision.d.ts.map +1 -0
  346. package/dest/world-state/world_state_revision.js +21 -0
  347. package/dest/zkpassport/index.d.ts +15 -9
  348. package/dest/zkpassport/index.d.ts.map +1 -1
  349. package/dest/zkpassport/index.js +17 -11
  350. package/package.json +12 -10
  351. package/src/abi/abi.ts +1 -1
  352. package/src/abi/contract_artifact.ts +3 -0
  353. package/src/abi/event_metadata_definition.ts +8 -0
  354. package/src/abi/function_call.ts +5 -1
  355. package/src/abi/index.ts +1 -0
  356. package/src/avm/avm.ts +13 -2
  357. package/src/avm/avm_accumulated_data.ts +25 -29
  358. package/src/avm/avm_circuit_public_inputs.ts +21 -0
  359. package/src/avm/index.ts +1 -1
  360. package/src/avm/message_pack.ts +25 -1
  361. package/src/block/attestation_info.ts +62 -0
  362. package/src/block/body.ts +25 -23
  363. package/src/block/index.ts +2 -0
  364. package/src/block/l2_block.ts +33 -8
  365. package/src/block/l2_block_code_to_purge.ts +30 -31
  366. package/src/block/l2_block_header.ts +232 -0
  367. package/src/block/l2_block_source.ts +32 -0
  368. package/src/block/l2_block_stream/l2_tips_memory_store.ts +1 -1
  369. package/src/block/proposal/attestations_and_signers.ts +1 -1
  370. package/src/block/proposal/committee_attestation.ts +0 -4
  371. package/src/block/published_l2_block.ts +0 -17
  372. package/src/block/test/l2_tips_store_test_suite.ts +1 -2
  373. package/src/checkpoint/checkpoint_body.ts +10 -0
  374. package/src/checkpoint/index.ts +1 -0
  375. package/src/config/node-rpc-config.ts +9 -0
  376. package/src/contract/contract_address.ts +1 -1
  377. package/src/contract/contract_class_metadata.ts +8 -0
  378. package/src/contract/contract_instance.ts +11 -10
  379. package/src/contract/contract_metadata.ts +7 -0
  380. package/src/contract/index.ts +2 -0
  381. package/src/contract/interfaces/contract_class.ts +1 -1
  382. package/src/hash/hash.ts +0 -4
  383. package/src/interfaces/archiver.ts +9 -1
  384. package/src/interfaces/aztec-node-admin.ts +2 -2
  385. package/src/interfaces/aztec-node.ts +45 -0
  386. package/src/interfaces/block-builder.ts +1 -6
  387. package/src/interfaces/client.ts +0 -1
  388. package/src/interfaces/configs.ts +3 -0
  389. package/src/interfaces/epoch-prover.ts +35 -11
  390. package/src/interfaces/merkle_tree_operations.ts +6 -0
  391. package/src/interfaces/p2p.ts +4 -0
  392. package/src/interfaces/private_kernel_prover.ts +2 -2
  393. package/src/interfaces/proving-job.ts +215 -134
  394. package/src/interfaces/server_circuit_prover.ts +87 -61
  395. package/src/interfaces/tx_provider.ts +1 -0
  396. package/src/interfaces/validator.ts +19 -4
  397. package/src/kernel/hints/build_nullifier_read_request_hints.ts +3 -2
  398. package/src/kernel/hints/nullifier_read_request_hints.ts +3 -3
  399. package/src/kernel/nullifier.ts +8 -8
  400. package/src/kernel/private_call_data.ts +2 -21
  401. package/src/kernel/private_circuit_public_inputs.ts +5 -5
  402. package/src/kernel/private_context_inputs.ts +2 -2
  403. package/src/kernel/private_kernel_circuit_public_inputs.ts +4 -4
  404. package/src/kernel/private_kernel_init_circuit_private_inputs.ts +5 -4
  405. package/src/kernel/private_kernel_prover_output.ts +1 -1
  406. package/src/kernel/private_kernel_tail_circuit_public_inputs.ts +8 -2
  407. package/src/kernel/private_to_public_kernel_circuit_public_inputs.ts +9 -0
  408. package/src/keys/derivation.ts +1 -26
  409. package/src/logs/contract_class_log.ts +2 -3
  410. package/src/logs/debug_log.ts +32 -0
  411. package/src/logs/directional_app_tagging_secret.ts +78 -0
  412. package/src/logs/index.ts +3 -1
  413. package/src/logs/log_with_tx_data.ts +14 -24
  414. package/src/logs/pre_tag.ts +25 -0
  415. package/src/logs/public_log.ts +120 -58
  416. package/src/messaging/l2_to_l1_membership.ts +20 -26
  417. package/src/noir/index.ts +11 -0
  418. package/src/note/index.ts +1 -1
  419. package/src/note/notes_filter.ts +0 -7
  420. package/src/note/{extended_note.ts → unique_note.ts} +14 -75
  421. package/src/p2p/block_attestation.ts +31 -24
  422. package/src/p2p/block_proposal.ts +11 -16
  423. package/src/p2p/consensus_payload.ts +8 -7
  424. package/src/parity/index.ts +2 -3
  425. package/src/parity/{base_parity_inputs.ts → parity_base_private_inputs.ts} +13 -11
  426. package/src/parity/{root_parity_inputs.ts → parity_root_private_inputs.ts} +16 -18
  427. package/src/proofs/client_ivc_proof.ts +86 -20
  428. package/src/proofs/index.ts +1 -0
  429. package/src/proofs/proof_data.ts +36 -0
  430. package/src/proofs/proving_request_type.ts +14 -10
  431. package/src/rollup/avm_proof_data.ts +2 -31
  432. package/src/rollup/base_rollup_hints.ts +22 -22
  433. package/src/rollup/block_constant_data.ts +16 -6
  434. package/src/rollup/{block_merge_rollup.ts → block_merge_rollup_private_inputs.ts} +15 -11
  435. package/src/rollup/block_rollup_public_inputs.ts +123 -0
  436. package/src/rollup/block_root_rollup_private_inputs.ts +312 -0
  437. package/src/rollup/checkpoint_constant_data.ts +84 -0
  438. package/src/{tx/proposed_block_header.ts → rollup/checkpoint_header.ts} +17 -18
  439. package/src/rollup/checkpoint_merge_rollup_private_inputs.ts +49 -0
  440. package/src/rollup/{block_root_or_block_merge_public_inputs.ts → checkpoint_rollup_public_inputs.ts} +30 -52
  441. package/src/rollup/checkpoint_root_rollup_private_inputs.ts +218 -0
  442. package/src/rollup/epoch_constant_data.ts +28 -10
  443. package/src/rollup/index.ts +17 -16
  444. package/src/rollup/private_tx_base_rollup_private_inputs.ts +53 -0
  445. package/src/rollup/public_tube_private_inputs.ts +53 -0
  446. package/src/rollup/public_tube_public_inputs.ts +52 -0
  447. package/src/rollup/public_tx_base_rollup_private_inputs.ts +57 -0
  448. package/src/rollup/root_rollup_private_inputs.ts +90 -0
  449. package/src/rollup/root_rollup_public_inputs.ts +99 -0
  450. package/src/rollup/{state_diff_hints.ts → tree_snapshot_diff_hints.ts} +26 -41
  451. package/src/rollup/{merge_rollup.ts → tx_merge_rollup_private_inputs.ts} +13 -9
  452. package/src/rollup/{base_or_merge_rollup_public_inputs.ts → tx_rollup_public_inputs.ts} +13 -13
  453. package/src/stats/stats.ts +19 -13
  454. package/src/tests/factories.ts +217 -275
  455. package/src/tests/mocks.ts +71 -53
  456. package/src/trees/index.ts +0 -1
  457. package/src/tx/block_header.ts +17 -32
  458. package/src/tx/global_variables.ts +0 -1
  459. package/src/tx/index.ts +2 -1
  460. package/src/tx/private_execution_result.ts +9 -3
  461. package/src/tx/private_tx_constant_data.ts +94 -0
  462. package/src/tx/processed_tx.ts +1 -7
  463. package/src/tx/profiling.ts +0 -2
  464. package/src/tx/protocol_contracts.ts +70 -0
  465. package/src/tx/tx.ts +12 -3
  466. package/src/tx/tx_constant_data.ts +8 -21
  467. package/src/tx/tx_effect.ts +64 -213
  468. package/src/tx/validator/error_texts.ts +1 -1
  469. package/src/versioning/versioning.ts +20 -15
  470. package/src/world-state/index.ts +1 -0
  471. package/src/world-state/world_state_revision.ts +21 -0
  472. package/src/zkpassport/index.ts +40 -28
  473. package/dest/avm/public_data_hint.d.ts +0 -16
  474. package/dest/avm/public_data_hint.d.ts.map +0 -1
  475. package/dest/avm/public_data_hint.js +0 -27
  476. package/dest/interfaces/pxe.d.ts +0 -336
  477. package/dest/interfaces/pxe.d.ts.map +0 -1
  478. package/dest/interfaces/pxe.js +0 -101
  479. package/dest/logs/indexed_tagging_secret.d.ts +0 -28
  480. package/dest/logs/indexed_tagging_secret.d.ts.map +0 -1
  481. package/dest/logs/indexed_tagging_secret.js +0 -50
  482. package/dest/note/extended_note.d.ts +0 -111
  483. package/dest/note/extended_note.d.ts.map +0 -1
  484. package/dest/parity/base_parity_inputs.d.ts.map +0 -1
  485. package/dest/parity/root_parity_input.d.ts +0 -52
  486. package/dest/parity/root_parity_input.d.ts.map +0 -1
  487. package/dest/parity/root_parity_input.js +0 -50
  488. package/dest/parity/root_parity_inputs.d.ts +0 -37
  489. package/dest/parity/root_parity_inputs.d.ts.map +0 -1
  490. package/dest/rollup/base_or_merge_rollup_public_inputs.d.ts.map +0 -1
  491. package/dest/rollup/block_merge_rollup.d.ts.map +0 -1
  492. package/dest/rollup/block_root_or_block_merge_public_inputs.d.ts +0 -134
  493. package/dest/rollup/block_root_or_block_merge_public_inputs.d.ts.map +0 -1
  494. package/dest/rollup/block_root_or_block_merge_public_inputs.js +0 -125
  495. package/dest/rollup/block_root_rollup.d.ts +0 -283
  496. package/dest/rollup/block_root_rollup.d.ts.map +0 -1
  497. package/dest/rollup/block_root_rollup.js +0 -306
  498. package/dest/rollup/empty_block_root_rollup_inputs.d.ts +0 -51
  499. package/dest/rollup/empty_block_root_rollup_inputs.d.ts.map +0 -1
  500. package/dest/rollup/empty_block_root_rollup_inputs.js +0 -65
  501. package/dest/rollup/merge_rollup.d.ts.map +0 -1
  502. package/dest/rollup/padding_block_root_rollup_inputs.d.ts +0 -20
  503. package/dest/rollup/padding_block_root_rollup_inputs.d.ts.map +0 -1
  504. package/dest/rollup/padding_block_root_rollup_inputs.js +0 -39
  505. package/dest/rollup/previous_rollup_block_data.d.ts +0 -47
  506. package/dest/rollup/previous_rollup_block_data.d.ts.map +0 -1
  507. package/dest/rollup/previous_rollup_block_data.js +0 -37
  508. package/dest/rollup/previous_rollup_data.d.ts +0 -47
  509. package/dest/rollup/previous_rollup_data.d.ts.map +0 -1
  510. package/dest/rollup/previous_rollup_data.js +0 -37
  511. package/dest/rollup/private_base_rollup_inputs.d.ts +0 -21
  512. package/dest/rollup/private_base_rollup_inputs.d.ts.map +0 -1
  513. package/dest/rollup/private_base_rollup_inputs.js +0 -44
  514. package/dest/rollup/private_tube_data.d.ts +0 -15
  515. package/dest/rollup/private_tube_data.d.ts.map +0 -1
  516. package/dest/rollup/private_tube_data.js +0 -25
  517. package/dest/rollup/public_base_rollup_inputs.d.ts +0 -23
  518. package/dest/rollup/public_base_rollup_inputs.d.ts.map +0 -1
  519. package/dest/rollup/public_base_rollup_inputs.js +0 -48
  520. package/dest/rollup/public_tube_data.d.ts +0 -15
  521. package/dest/rollup/public_tube_data.d.ts.map +0 -1
  522. package/dest/rollup/public_tube_data.js +0 -25
  523. package/dest/rollup/root_rollup.d.ts +0 -106
  524. package/dest/rollup/root_rollup.d.ts.map +0 -1
  525. package/dest/rollup/root_rollup.js +0 -147
  526. package/dest/rollup/state_diff_hints.d.ts.map +0 -1
  527. package/dest/rollup/state_diff_hints.js +0 -85
  528. package/dest/rollup/tube_inputs.d.ts +0 -43
  529. package/dest/rollup/tube_inputs.d.ts.map +0 -1
  530. package/dest/rollup/tube_inputs.js +0 -63
  531. package/dest/trees/protocol_contract_leaf.d.ts +0 -84
  532. package/dest/trees/protocol_contract_leaf.d.ts.map +0 -1
  533. package/dest/trees/protocol_contract_leaf.js +0 -100
  534. package/dest/tx/proposed_block_header.d.ts.map +0 -1
  535. package/src/avm/public_data_hint.ts +0 -38
  536. package/src/interfaces/pxe.ts +0 -541
  537. package/src/logs/indexed_tagging_secret.ts +0 -48
  538. package/src/parity/root_parity_input.ts +0 -71
  539. package/src/rollup/block_root_rollup.ts +0 -380
  540. package/src/rollup/empty_block_root_rollup_inputs.ts +0 -80
  541. package/src/rollup/padding_block_root_rollup_inputs.ts +0 -47
  542. package/src/rollup/previous_rollup_block_data.ts +0 -48
  543. package/src/rollup/previous_rollup_data.ts +0 -48
  544. package/src/rollup/private_base_rollup_inputs.ts +0 -53
  545. package/src/rollup/private_tube_data.ts +0 -35
  546. package/src/rollup/public_base_rollup_inputs.ts +0 -59
  547. package/src/rollup/public_tube_data.ts +0 -35
  548. package/src/rollup/root_rollup.ts +0 -195
  549. package/src/rollup/tube_inputs.ts +0 -77
  550. package/src/trees/protocol_contract_leaf.ts +0 -128
@@ -1,71 +0,0 @@
1
- import { VK_TREE_HEIGHT } from '@aztec/constants';
2
- import { Fr } from '@aztec/foundation/fields';
3
- import { schemas } from '@aztec/foundation/schemas';
4
- import { BufferReader, type Tuple, serializeToBuffer } from '@aztec/foundation/serialize';
5
- import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
6
- import type { FieldsOf } from '@aztec/foundation/types';
7
-
8
- import { RecursiveProof } from '../proofs/recursive_proof.js';
9
- import { VerificationKeyAsFields } from '../vks/verification_key.js';
10
- import { ParityPublicInputs } from './parity_public_inputs.js';
11
-
12
- export class RootParityInput<PROOF_LENGTH extends number> {
13
- constructor(
14
- /** The proof of the execution of the parity circuit. */
15
- public readonly proof: RecursiveProof<PROOF_LENGTH>,
16
- /** The circuit's verification key */
17
- public readonly verificationKey: VerificationKeyAsFields,
18
- /** The vk path in the vk tree*/
19
- public readonly vkPath: Tuple<Fr, typeof VK_TREE_HEIGHT>,
20
- /** The public inputs of the parity circuit. */
21
- public readonly publicInputs: ParityPublicInputs,
22
- ) {}
23
-
24
- toBuffer() {
25
- return serializeToBuffer(...RootParityInput.getFields(this));
26
- }
27
-
28
- toString() {
29
- return bufferToHex(this.toBuffer());
30
- }
31
-
32
- static from<PROOF_LENGTH extends number>(
33
- fields: FieldsOf<RootParityInput<PROOF_LENGTH>>,
34
- ): RootParityInput<PROOF_LENGTH> {
35
- return new RootParityInput(...RootParityInput.getFields(fields));
36
- }
37
-
38
- static getFields<PROOF_LENGTH extends number>(fields: FieldsOf<RootParityInput<PROOF_LENGTH>>) {
39
- return [fields.proof, fields.verificationKey, fields.vkPath, fields.publicInputs] as const;
40
- }
41
-
42
- static fromBuffer<PROOF_LENGTH extends number>(
43
- buffer: Buffer | BufferReader,
44
- expectedSize?: PROOF_LENGTH,
45
- ): RootParityInput<PROOF_LENGTH> {
46
- const reader = BufferReader.asReader(buffer);
47
- return new RootParityInput(
48
- RecursiveProof.fromBuffer<PROOF_LENGTH>(reader, expectedSize),
49
- reader.readObject(VerificationKeyAsFields),
50
- reader.readArray(VK_TREE_HEIGHT, Fr),
51
- reader.readObject(ParityPublicInputs),
52
- );
53
- }
54
-
55
- static fromString<PROOF_LENGTH extends number>(
56
- str: string,
57
- expectedSize?: PROOF_LENGTH,
58
- ): RootParityInput<PROOF_LENGTH> {
59
- return RootParityInput.fromBuffer(hexToBuffer(str), expectedSize);
60
- }
61
-
62
- /** Returns a hex representation for JSON serialization. */
63
- toJSON() {
64
- return this.toBuffer();
65
- }
66
-
67
- /** Creates an instance from a hex string with expected size. */
68
- static schemaFor<N extends number>(expectedSize?: N) {
69
- return schemas.Buffer.transform(buf => RootParityInput.fromBuffer(buf, expectedSize));
70
- }
71
- }
@@ -1,380 +0,0 @@
1
- import { BlobAccumulatorPublicInputs, FinalBlobBatchingChallenges } from '@aztec/blob-lib';
2
- import {
3
- ARCHIVE_HEIGHT,
4
- BLOBS_PER_BLOCK,
5
- FIELDS_PER_BLOB,
6
- L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH,
7
- NESTED_RECURSIVE_PROOF_LENGTH,
8
- } from '@aztec/constants';
9
- import { BLS12Point, Fr } from '@aztec/foundation/fields';
10
- import { bufferSchemaFor } from '@aztec/foundation/schemas';
11
- import { BufferReader, type Tuple, serializeToBuffer } from '@aztec/foundation/serialize';
12
- import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
13
- import type { FieldsOf } from '@aztec/foundation/types';
14
-
15
- import { RootParityInput } from '../parity/root_parity_input.js';
16
- import { BlockHeader } from '../tx/block_header.js';
17
- import { PreviousRollupData } from './previous_rollup_data.js';
18
-
19
- export class BlockRootRollupData {
20
- constructor(
21
- /**
22
- * The original and converted roots of the L1 to L2 messages subtrees.
23
- */
24
- public l1ToL2Roots: RootParityInput<typeof NESTED_RECURSIVE_PROOF_LENGTH>,
25
- /**
26
- * Hint for inserting the new l1 to l2 message subtree.
27
- */
28
- public l1ToL2MessageSubtreeSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH>,
29
- /**
30
- * Hint for checking the hash of previous_block_header is the last leaf of the previous archive.
31
- */
32
- public previousArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>,
33
- /**
34
- * Hint for inserting the new block hash to the last archive.
35
- */
36
- public newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>,
37
- /**
38
- * The header of the previous block.
39
- */
40
- public previousBlockHeader: BlockHeader,
41
- /**
42
- * The current blob accumulation state across the epoch.
43
- */
44
- public startBlobAccumulator: BlobAccumulatorPublicInputs,
45
- /**
46
- * Finalized challenges z and gamma for performing blob batching. Shared value across the epoch.
47
- */
48
- public finalBlobChallenges: FinalBlobBatchingChallenges,
49
- /**
50
- * Identifier of the prover.
51
- */
52
- public proverId: Fr,
53
- ) {}
54
-
55
- /**
56
- * Serializes the inputs to a buffer.
57
- * @returns - The inputs serialized to a buffer.
58
- */
59
- toBuffer() {
60
- return serializeToBuffer(...BlockRootRollupData.getFields(this));
61
- }
62
-
63
- /**
64
- * Serializes the inputs to a hex string.
65
- * @returns The instance serialized to a hex string.
66
- */
67
- toString() {
68
- return bufferToHex(this.toBuffer());
69
- }
70
-
71
- /**
72
- * Creates a new instance from fields.
73
- * @param fields - Fields to create the instance from.
74
- * @returns A new RootRollupInputs instance.
75
- */
76
- static from(fields: FieldsOf<BlockRootRollupData>): BlockRootRollupData {
77
- return new BlockRootRollupData(...BlockRootRollupData.getFields(fields));
78
- }
79
-
80
- /**
81
- * Extracts fields from an instance.
82
- * @param fields - Fields to create the instance from.
83
- * @returns An array of fields.
84
- */
85
- static getFields(fields: FieldsOf<BlockRootRollupData>) {
86
- return [
87
- fields.l1ToL2Roots,
88
- fields.l1ToL2MessageSubtreeSiblingPath,
89
- fields.previousArchiveSiblingPath,
90
- fields.newArchiveSiblingPath,
91
- fields.previousBlockHeader,
92
- fields.startBlobAccumulator,
93
- fields.finalBlobChallenges,
94
- fields.proverId,
95
- ] as const;
96
- }
97
-
98
- /**
99
- * Deserializes the inputs from a buffer.
100
- * @param buffer - A buffer to deserialize from.
101
- * @returns A new RootRollupInputs instance.
102
- */
103
- static fromBuffer(buffer: Buffer | BufferReader): BlockRootRollupData {
104
- const reader = BufferReader.asReader(buffer);
105
- return new BlockRootRollupData(
106
- RootParityInput.fromBuffer(reader, NESTED_RECURSIVE_PROOF_LENGTH),
107
- reader.readArray(L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH, Fr),
108
- reader.readArray(ARCHIVE_HEIGHT, Fr),
109
- reader.readArray(ARCHIVE_HEIGHT, Fr),
110
- BlockHeader.fromBuffer(reader),
111
- reader.readObject(BlobAccumulatorPublicInputs),
112
- reader.readObject(FinalBlobBatchingChallenges),
113
- Fr.fromBuffer(reader),
114
- );
115
- }
116
-
117
- /**
118
- * Deserializes the inputs from a hex string.
119
- * @param str - A hex string to deserialize from.
120
- * @returns A new RootRollupInputs instance.
121
- */
122
- static fromString(str: string) {
123
- return BlockRootRollupData.fromBuffer(hexToBuffer(str));
124
- }
125
-
126
- /** Returns a buffer representation for JSON serialization. */
127
- toJSON() {
128
- return this.toBuffer();
129
- }
130
-
131
- /** Creates an instance from a hex string. */
132
- static get schema() {
133
- return bufferSchemaFor(BlockRootRollupData);
134
- }
135
- }
136
-
137
- export class BlockRootRollupBlobData {
138
- constructor(
139
- /**
140
- * Flat list of all tx effects which will be added to the blob.
141
- * Below line gives error 'Type instantiation is excessively deep and possibly infinite. ts(2589)'
142
- * Tuple<Fr, FIELDS_PER_BLOB * BLOBS_PER_BLOCK>
143
- */
144
- public blobFields: Fr[],
145
- /**
146
- * KZG commitments representing the blob (precomputed in ts, injected to use inside circuit).
147
- */
148
- public blobCommitments: Tuple<BLS12Point, typeof BLOBS_PER_BLOCK>,
149
- /**
150
- * The hash of eth blob hashes for this block
151
- * See yarn-project/foundation/src/blob/index.ts or body.ts for calculation
152
- */
153
- public blobsHash: Fr,
154
- ) {}
155
-
156
- /**
157
- * Serializes the inputs to a buffer.
158
- * @returns - The inputs serialized to a buffer.
159
- */
160
- toBuffer() {
161
- return serializeToBuffer(...BlockRootRollupBlobData.getFields(this));
162
- }
163
-
164
- /**
165
- * Serializes the inputs to a hex string.
166
- * @returns The instance serialized to a hex string.
167
- */
168
- toString() {
169
- return bufferToHex(this.toBuffer());
170
- }
171
-
172
- /**
173
- * Creates a new instance from fields.
174
- * @param fields - Fields to create the instance from.
175
- * @returns A new RootRollupInputs instance.
176
- */
177
- static from(fields: FieldsOf<BlockRootRollupBlobData>): BlockRootRollupBlobData {
178
- return new BlockRootRollupBlobData(...BlockRootRollupBlobData.getFields(fields));
179
- }
180
-
181
- /**
182
- * Extracts fields from an instance.
183
- * @param fields - Fields to create the instance from.
184
- * @returns An array of fields.
185
- */
186
- static getFields(fields: FieldsOf<BlockRootRollupBlobData>) {
187
- return [fields.blobFields, fields.blobCommitments, fields.blobsHash] as const;
188
- }
189
-
190
- /**
191
- * Deserializes the inputs from a buffer.
192
- * @param buffer - A buffer to deserialize from.
193
- * @returns A new RootRollupInputs instance.
194
- */
195
- static fromBuffer(buffer: Buffer | BufferReader): BlockRootRollupBlobData {
196
- const reader = BufferReader.asReader(buffer);
197
- return new BlockRootRollupBlobData(
198
- // Below line gives error 'Type instantiation is excessively deep and possibly infinite. ts(2589)'
199
- // reader.readArray(FIELDS_PER_BLOB, Fr),
200
- Array.from({ length: FIELDS_PER_BLOB * BLOBS_PER_BLOCK }, () => Fr.fromBuffer(reader)),
201
- reader.readArray(BLOBS_PER_BLOCK, BLS12Point),
202
- Fr.fromBuffer(reader),
203
- );
204
- }
205
-
206
- /**
207
- * Deserializes the inputs from a hex string.
208
- * @param str - A hex string to deserialize from.
209
- * @returns A new RootRollupInputs instance.
210
- */
211
- static fromString(str: string) {
212
- return BlockRootRollupBlobData.fromBuffer(hexToBuffer(str));
213
- }
214
-
215
- /** Returns a buffer representation for JSON serialization. */
216
- toJSON() {
217
- return this.toBuffer();
218
- }
219
-
220
- /** Creates an instance from a hex string. */
221
- static get schema() {
222
- return bufferSchemaFor(BlockRootRollupBlobData);
223
- }
224
- }
225
-
226
- /**
227
- * Represents inputs of the block root rollup circuit.
228
- */
229
- export class BlockRootRollupInputs {
230
- constructor(
231
- /**
232
- * The previous rollup data from 2 merge or base rollup circuits.
233
- */
234
- public previousRollupData: [PreviousRollupData, PreviousRollupData],
235
- public data: BlockRootRollupData,
236
- public blobData: BlockRootRollupBlobData,
237
- ) {}
238
-
239
- /**
240
- * Serializes the inputs to a buffer.
241
- * @returns - The inputs serialized to a buffer.
242
- */
243
- toBuffer() {
244
- return serializeToBuffer(...BlockRootRollupInputs.getFields(this));
245
- }
246
-
247
- /**
248
- * Serializes the inputs to a hex string.
249
- * @returns The instance serialized to a hex string.
250
- */
251
- toString() {
252
- return bufferToHex(this.toBuffer());
253
- }
254
-
255
- /**
256
- * Creates a new instance from fields.
257
- * @param fields - Fields to create the instance from.
258
- * @returns A new RootRollupInputs instance.
259
- */
260
- static from(fields: FieldsOf<BlockRootRollupInputs>): BlockRootRollupInputs {
261
- return new BlockRootRollupInputs(...BlockRootRollupInputs.getFields(fields));
262
- }
263
-
264
- /**
265
- * Extracts fields from an instance.
266
- * @param fields - Fields to create the instance from.
267
- * @returns An array of fields.
268
- */
269
- static getFields(fields: FieldsOf<BlockRootRollupInputs>) {
270
- return [fields.previousRollupData, fields.data, fields.blobData] as const;
271
- }
272
-
273
- /**
274
- * Deserializes the inputs from a buffer.
275
- * @param buffer - A buffer to deserialize from.
276
- * @returns A new RootRollupInputs instance.
277
- */
278
- static fromBuffer(buffer: Buffer | BufferReader): BlockRootRollupInputs {
279
- const reader = BufferReader.asReader(buffer);
280
- return new BlockRootRollupInputs(
281
- [reader.readObject(PreviousRollupData), reader.readObject(PreviousRollupData)],
282
- reader.readObject(BlockRootRollupData),
283
- reader.readObject(BlockRootRollupBlobData),
284
- );
285
- }
286
-
287
- /**
288
- * Deserializes the inputs from a hex string.
289
- * @param str - A hex string to deserialize from.
290
- * @returns A new RootRollupInputs instance.
291
- */
292
- static fromString(str: string) {
293
- return BlockRootRollupInputs.fromBuffer(hexToBuffer(str));
294
- }
295
-
296
- /** Returns a buffer representation for JSON serialization. */
297
- toJSON() {
298
- return this.toBuffer();
299
- }
300
-
301
- /** Creates an instance from a hex string. */
302
- static get schema() {
303
- return bufferSchemaFor(BlockRootRollupInputs);
304
- }
305
- }
306
-
307
- export class SingleTxBlockRootRollupInputs {
308
- constructor(
309
- public previousRollupData: [PreviousRollupData],
310
- public data: BlockRootRollupData,
311
- public blobData: BlockRootRollupBlobData,
312
- ) {}
313
-
314
- /**
315
- * Serializes the inputs to a buffer.
316
- * @returns - The inputs serialized to a buffer.
317
- */
318
- toBuffer() {
319
- return serializeToBuffer(...SingleTxBlockRootRollupInputs.getFields(this));
320
- }
321
-
322
- /**
323
- * Serializes the inputs to a hex string.
324
- * @returns The instance serialized to a hex string.
325
- */
326
- toString() {
327
- return bufferToHex(this.toBuffer());
328
- }
329
-
330
- /**
331
- * Creates a new instance from fields.
332
- * @param fields - Fields to create the instance from.
333
- * @returns A new RootRollupInputs instance.
334
- */
335
- static from(fields: FieldsOf<SingleTxBlockRootRollupInputs>): SingleTxBlockRootRollupInputs {
336
- return new SingleTxBlockRootRollupInputs(...SingleTxBlockRootRollupInputs.getFields(fields));
337
- }
338
-
339
- /**
340
- * Extracts fields from an instance.
341
- * @param fields - Fields to create the instance from.
342
- * @returns An array of fields.
343
- */
344
- static getFields(fields: FieldsOf<SingleTxBlockRootRollupInputs>) {
345
- return [fields.previousRollupData, fields.data, fields.blobData] as const;
346
- }
347
-
348
- /**
349
- * Deserializes the inputs from a buffer.
350
- * @param buffer - A buffer to deserialize from.
351
- * @returns A new RootRollupInputs instance.
352
- */
353
- static fromBuffer(buffer: Buffer | BufferReader): SingleTxBlockRootRollupInputs {
354
- const reader = BufferReader.asReader(buffer);
355
- return new SingleTxBlockRootRollupInputs(
356
- [reader.readObject(PreviousRollupData)],
357
- reader.readObject(BlockRootRollupData),
358
- reader.readObject(BlockRootRollupBlobData),
359
- );
360
- }
361
-
362
- /**
363
- * Deserializes the inputs from a hex string.
364
- * @param str - A hex string to deserialize from.
365
- * @returns A new RootRollupInputs instance.
366
- */
367
- static fromString(str: string) {
368
- return SingleTxBlockRootRollupInputs.fromBuffer(hexToBuffer(str));
369
- }
370
-
371
- /** Returns a buffer representation for JSON serialization. */
372
- toJSON() {
373
- return this.toBuffer();
374
- }
375
-
376
- /** Creates an instance from a hex string. */
377
- static get schema() {
378
- return bufferSchemaFor(SingleTxBlockRootRollupInputs);
379
- }
380
- }
@@ -1,80 +0,0 @@
1
- import { bufferSchemaFor } from '@aztec/foundation/schemas';
2
- import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
3
- import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
4
- import type { FieldsOf } from '@aztec/foundation/types';
5
-
6
- import { BlockConstantData } from './block_constant_data.js';
7
- import { BlockRootRollupData } from './block_root_rollup.js';
8
-
9
- /**
10
- * Represents inputs of the empty block root rollup circuit.
11
- */
12
- export class EmptyBlockRootRollupInputs {
13
- constructor(
14
- public readonly data: BlockRootRollupData,
15
- public readonly constants: BlockConstantData,
16
- ) {}
17
-
18
- /**
19
- * Serializes the inputs to a buffer.
20
- * @returns - The inputs serialized to a buffer.
21
- */
22
- toBuffer() {
23
- return serializeToBuffer(...EmptyBlockRootRollupInputs.getFields(this));
24
- }
25
-
26
- /**
27
- * Serializes the inputs to a hex string.
28
- * @returns The instance serialized to a hex string.
29
- */
30
- toString() {
31
- return bufferToHex(this.toBuffer());
32
- }
33
-
34
- /**
35
- * Creates a new instance from fields.
36
- * @param fields - Fields to create the instance from.
37
- * @returns A new instance.
38
- */
39
- static from(fields: FieldsOf<EmptyBlockRootRollupInputs>): EmptyBlockRootRollupInputs {
40
- return new EmptyBlockRootRollupInputs(...EmptyBlockRootRollupInputs.getFields(fields));
41
- }
42
-
43
- /**
44
- * Extracts fields from an instance.
45
- * @param fields - Fields to create the instance from.
46
- * @returns An array of fields.
47
- */
48
- static getFields(fields: FieldsOf<EmptyBlockRootRollupInputs>) {
49
- return [fields.data, fields.constants] as const;
50
- }
51
-
52
- /**
53
- * Deserializes the inputs from a buffer.
54
- * @param buffer - A buffer to deserialize from.
55
- * @returns A new RootRollupInputs instance.
56
- */
57
- static fromBuffer(buffer: Buffer | BufferReader): EmptyBlockRootRollupInputs {
58
- const reader = BufferReader.asReader(buffer);
59
- return new EmptyBlockRootRollupInputs(reader.readObject(BlockRootRollupData), reader.readObject(BlockConstantData));
60
- }
61
-
62
- /**
63
- * Deserializes the inputs from a hex string.
64
- * @param str - A hex string to deserialize from.
65
- * @returns A new RootRollupInputs instance.
66
- */
67
- static fromString(str: string) {
68
- return EmptyBlockRootRollupInputs.fromBuffer(hexToBuffer(str));
69
- }
70
-
71
- /** Returns a buffer representation for JSON serialization. */
72
- toJSON() {
73
- return this.toBuffer();
74
- }
75
-
76
- /** Creates an instance from a buffer string. */
77
- static get schema() {
78
- return bufferSchemaFor(EmptyBlockRootRollupInputs);
79
- }
80
- }
@@ -1,47 +0,0 @@
1
- import { bufferSchemaFor } from '@aztec/foundation/schemas';
2
- import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
3
- import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
4
- import type { FieldsOf } from '@aztec/foundation/types';
5
-
6
- import { EpochConstantData } from './epoch_constant_data.js';
7
-
8
- /**
9
- * Inputs of the padding block root rollup circuit.
10
- */
11
- export class PaddingBlockRootRollupInputs {
12
- constructor(public readonly constants: EpochConstantData) {}
13
-
14
- static from(fields: FieldsOf<PaddingBlockRootRollupInputs>): PaddingBlockRootRollupInputs {
15
- return new PaddingBlockRootRollupInputs(...PaddingBlockRootRollupInputs.getFields(fields));
16
- }
17
-
18
- static getFields(fields: FieldsOf<PaddingBlockRootRollupInputs>) {
19
- return [fields.constants] as const;
20
- }
21
-
22
- static fromBuffer(buffer: Buffer | BufferReader): PaddingBlockRootRollupInputs {
23
- const reader = BufferReader.asReader(buffer);
24
- return new PaddingBlockRootRollupInputs(reader.readObject(EpochConstantData));
25
- }
26
-
27
- toBuffer() {
28
- return serializeToBuffer(...PaddingBlockRootRollupInputs.getFields(this));
29
- }
30
-
31
- static fromString(str: string) {
32
- return PaddingBlockRootRollupInputs.fromBuffer(hexToBuffer(str));
33
- }
34
-
35
- toString() {
36
- return bufferToHex(this.toBuffer());
37
- }
38
-
39
- /** Returns a buffer representation for JSON serialization. */
40
- toJSON() {
41
- return this.toBuffer();
42
- }
43
-
44
- static get schema() {
45
- return bufferSchemaFor(PaddingBlockRootRollupInputs);
46
- }
47
- }
@@ -1,48 +0,0 @@
1
- import { NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
2
- import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
3
-
4
- import { RecursiveProof } from '../proofs/recursive_proof.js';
5
- import { VkData } from '../vks/index.js';
6
- import { BlockRootOrBlockMergePublicInputs } from './block_root_or_block_merge_public_inputs.js';
7
-
8
- /**
9
- * Represents the data of a previous block merge or block root rollup circuit.
10
- */
11
- export class PreviousRollupBlockData {
12
- constructor(
13
- /**
14
- * Public inputs to the block merge or block root rollup circuit.
15
- */
16
- public blockRootOrBlockMergePublicInputs: BlockRootOrBlockMergePublicInputs,
17
- /**
18
- * The proof of the block merge or block root rollup circuit.
19
- */
20
- public proof: RecursiveProof<typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>,
21
- /**
22
- * The verification key and the witness of the vk in the vk tree.
23
- */
24
- public vkData: VkData,
25
- ) {}
26
-
27
- /**
28
- * Serializes previous rollup data to a buffer.
29
- * @returns The buffer of the serialized previous rollup data.
30
- */
31
- public toBuffer(): Buffer {
32
- return serializeToBuffer(this.blockRootOrBlockMergePublicInputs, this.proof, this.vkData);
33
- }
34
-
35
- /**
36
- * Deserializes previous rollup data from a buffer.
37
- * @param buffer - A buffer to deserialize from.
38
- * @returns A new PreviousRollupData instance.
39
- */
40
- public static fromBuffer(buffer: Buffer | BufferReader): PreviousRollupBlockData {
41
- const reader = BufferReader.asReader(buffer);
42
- return new PreviousRollupBlockData(
43
- reader.readObject(BlockRootOrBlockMergePublicInputs),
44
- RecursiveProof.fromBuffer(reader, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
45
- reader.readObject(VkData),
46
- );
47
- }
48
- }
@@ -1,48 +0,0 @@
1
- import { NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
2
- import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
3
-
4
- import { RecursiveProof } from '../proofs/recursive_proof.js';
5
- import { VkData } from '../vks/index.js';
6
- import { BaseOrMergeRollupPublicInputs } from './base_or_merge_rollup_public_inputs.js';
7
-
8
- /**
9
- * Represents the data of a previous merge or base rollup circuit.
10
- */
11
- export class PreviousRollupData {
12
- constructor(
13
- /**
14
- * Public inputs to the base or merge rollup circuit.
15
- */
16
- public baseOrMergeRollupPublicInputs: BaseOrMergeRollupPublicInputs,
17
- /**
18
- * The proof of the base or merge rollup circuit.
19
- */
20
- public proof: RecursiveProof<typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>,
21
- /**
22
- * The verification key and the witness of the vk in the vk tree.
23
- */
24
- public vkData: VkData,
25
- ) {}
26
-
27
- /**
28
- * Serializes previous rollup data to a buffer.
29
- * @returns The buffer of the serialized previous rollup data.
30
- */
31
- public toBuffer(): Buffer {
32
- return serializeToBuffer(this.baseOrMergeRollupPublicInputs, this.proof, this.vkData);
33
- }
34
-
35
- /**
36
- * Deserializes previous rollup data from a buffer.
37
- * @param buffer - A buffer to deserialize from.
38
- * @returns A new PreviousRollupData instance.
39
- */
40
- public static fromBuffer(buffer: Buffer | BufferReader): PreviousRollupData {
41
- const reader = BufferReader.asReader(buffer);
42
- return new PreviousRollupData(
43
- reader.readObject(BaseOrMergeRollupPublicInputs),
44
- RecursiveProof.fromBuffer(reader, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
45
- reader.readObject(VkData),
46
- );
47
- }
48
- }