@aztec/stdlib 0.0.0-test.1 → 0.0.1-fake-ceab37513c

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 (1174) hide show
  1. package/dest/abi/abi.d.ts +308 -315
  2. package/dest/abi/abi.d.ts.map +1 -1
  3. package/dest/abi/abi.js +70 -36
  4. package/dest/abi/authorization_selector.d.ts +52 -0
  5. package/dest/abi/authorization_selector.d.ts.map +1 -0
  6. package/dest/abi/authorization_selector.js +70 -0
  7. package/dest/abi/buffer.d.ts +0 -2
  8. package/dest/abi/buffer.d.ts.map +1 -1
  9. package/dest/abi/contract_artifact.d.ts +17 -4
  10. package/dest/abi/contract_artifact.d.ts.map +1 -1
  11. package/dest/abi/contract_artifact.js +74 -54
  12. package/dest/abi/decoder.d.ts +1 -1
  13. package/dest/abi/decoder.d.ts.map +1 -1
  14. package/dest/abi/decoder.js +8 -10
  15. package/dest/abi/encoder.d.ts.map +1 -1
  16. package/dest/abi/encoder.js +68 -2
  17. package/dest/abi/event_selector.d.ts +0 -2
  18. package/dest/abi/event_selector.d.ts.map +1 -1
  19. package/dest/abi/function_selector.d.ts +0 -2
  20. package/dest/abi/function_selector.d.ts.map +1 -1
  21. package/dest/abi/index.d.ts +1 -0
  22. package/dest/abi/index.d.ts.map +1 -1
  23. package/dest/abi/index.js +1 -0
  24. package/dest/abi/note_selector.d.ts +0 -2
  25. package/dest/abi/note_selector.d.ts.map +1 -1
  26. package/dest/abi/selector.d.ts +0 -3
  27. package/dest/abi/selector.d.ts.map +1 -1
  28. package/dest/abi/utils.d.ts +6 -2
  29. package/dest/abi/utils.d.ts.map +1 -1
  30. package/dest/abi/utils.js +7 -0
  31. package/dest/auth_witness/auth_witness.d.ts +22 -3
  32. package/dest/auth_witness/auth_witness.d.ts.map +1 -1
  33. package/dest/auth_witness/auth_witness.js +29 -0
  34. package/dest/avm/avm.d.ts +8395 -2099
  35. package/dest/avm/avm.d.ts.map +1 -1
  36. package/dest/avm/avm.js +367 -131
  37. package/dest/avm/avm_accumulated_data.d.ts +84 -15
  38. package/dest/avm/avm_accumulated_data.d.ts.map +1 -1
  39. package/dest/avm/avm_accumulated_data.js +85 -2
  40. package/dest/avm/avm_circuit_public_inputs.d.ts +258 -215
  41. package/dest/avm/avm_circuit_public_inputs.d.ts.map +1 -1
  42. package/dest/avm/avm_circuit_public_inputs.js +49 -9
  43. package/dest/avm/avm_proving_request.d.ts +4066 -1156
  44. package/dest/avm/avm_proving_request.d.ts.map +1 -1
  45. package/dest/avm/contract_storage_read.d.ts +1 -3
  46. package/dest/avm/contract_storage_read.d.ts.map +1 -1
  47. package/dest/avm/contract_storage_update_request.d.ts +1 -3
  48. package/dest/avm/contract_storage_update_request.d.ts.map +1 -1
  49. package/dest/avm/message_pack.d.ts +0 -2
  50. package/dest/avm/message_pack.d.ts.map +1 -1
  51. package/dest/avm/message_pack.js +9 -2
  52. package/dest/avm/public_call_stack_item_compressed.d.ts +1 -3
  53. package/dest/avm/public_call_stack_item_compressed.d.ts.map +1 -1
  54. package/dest/avm/public_data_hint.d.ts +1 -3
  55. package/dest/avm/public_data_hint.d.ts.map +1 -1
  56. package/dest/avm/public_data_read.d.ts +1 -3
  57. package/dest/avm/public_data_read.d.ts.map +1 -1
  58. package/dest/avm/public_data_update_request.d.ts +1 -4
  59. package/dest/avm/public_data_update_request.d.ts.map +1 -1
  60. package/dest/avm/public_data_write.d.ts +5 -3
  61. package/dest/avm/public_data_write.d.ts.map +1 -1
  62. package/dest/avm/public_data_write.js +22 -1
  63. package/dest/avm/public_inner_call_request.d.ts +1 -4
  64. package/dest/avm/public_inner_call_request.d.ts.map +1 -1
  65. package/dest/avm/public_inner_call_request.js +1 -1
  66. package/dest/avm/revert_code.d.ts +0 -3
  67. package/dest/avm/revert_code.d.ts.map +1 -1
  68. package/dest/aztec-address/index.d.ts +1 -4
  69. package/dest/aztec-address/index.d.ts.map +1 -1
  70. package/dest/block/attestation_info.d.ts +30 -0
  71. package/dest/block/attestation_info.d.ts.map +1 -0
  72. package/dest/block/attestation_info.js +39 -0
  73. package/dest/block/block_hash.d.ts +5 -3
  74. package/dest/block/block_hash.d.ts.map +1 -1
  75. package/dest/block/block_hash.js +11 -0
  76. package/dest/block/body.d.ts +3 -5
  77. package/dest/block/body.d.ts.map +1 -1
  78. package/dest/block/body.js +10 -13
  79. package/dest/block/in_block.d.ts +12 -11
  80. package/dest/block/in_block.d.ts.map +1 -1
  81. package/dest/block/in_block.js +4 -4
  82. package/dest/block/index.d.ts +6 -2
  83. package/dest/block/index.d.ts.map +1 -1
  84. package/dest/block/index.js +6 -2
  85. package/dest/block/l2_block.d.ts +10 -23
  86. package/dest/block/l2_block.d.ts.map +1 -1
  87. package/dest/block/l2_block.js +35 -50
  88. package/dest/block/l2_block_code_to_purge.d.ts +2 -3
  89. package/dest/block/l2_block_code_to_purge.d.ts.map +1 -1
  90. package/dest/block/l2_block_code_to_purge.js +6 -7
  91. package/dest/block/l2_block_info.d.ts +41 -0
  92. package/dest/block/l2_block_info.d.ts.map +1 -0
  93. package/dest/block/l2_block_info.js +40 -0
  94. package/dest/block/l2_block_source.d.ts +84 -15
  95. package/dest/block/l2_block_source.d.ts.map +1 -1
  96. package/dest/block/l2_block_source.js +11 -0
  97. package/dest/block/l2_block_stream/index.d.ts +4 -0
  98. package/dest/block/l2_block_stream/index.d.ts.map +1 -0
  99. package/dest/block/l2_block_stream/index.js +3 -0
  100. package/dest/block/l2_block_stream/interfaces.d.ts +26 -0
  101. package/dest/block/l2_block_stream/interfaces.d.ts.map +1 -0
  102. package/dest/block/l2_block_stream/l2_block_stream.d.ts +35 -0
  103. package/dest/block/l2_block_stream/l2_block_stream.d.ts.map +1 -0
  104. package/dest/block/{l2_block_downloader → l2_block_stream}/l2_block_stream.js +70 -19
  105. package/dest/block/l2_block_stream/l2_tips_memory_store.d.ts +18 -0
  106. package/dest/block/l2_block_stream/l2_tips_memory_store.d.ts.map +1 -0
  107. package/dest/block/l2_block_stream/l2_tips_memory_store.js +70 -0
  108. package/dest/block/proposal/attestations_and_signers.d.ts +48 -0
  109. package/dest/block/proposal/attestations_and_signers.d.ts.map +1 -0
  110. package/dest/block/proposal/attestations_and_signers.js +99 -0
  111. package/dest/block/proposal/committee_attestation.d.ts +37 -0
  112. package/dest/block/proposal/committee_attestation.d.ts.map +1 -0
  113. package/dest/block/proposal/committee_attestation.js +104 -0
  114. package/dest/block/proposal/index.d.ts +3 -0
  115. package/dest/block/proposal/index.d.ts.map +1 -0
  116. package/dest/block/proposal/index.js +2 -0
  117. package/dest/block/published_l2_block.d.ts +143 -0
  118. package/dest/block/published_l2_block.d.ts.map +1 -0
  119. package/dest/block/published_l2_block.js +63 -0
  120. package/dest/block/test/index.d.ts +2 -0
  121. package/dest/block/test/index.d.ts.map +1 -0
  122. package/dest/block/test/index.js +1 -0
  123. package/dest/block/test/l2_tips_store_test_suite.d.ts +3 -0
  124. package/dest/block/test/l2_tips_store_test_suite.d.ts.map +1 -0
  125. package/dest/block/test/l2_tips_store_test_suite.js +108 -0
  126. package/dest/block/validate_block_result.d.ts +222 -0
  127. package/dest/block/validate_block_result.d.ts.map +1 -0
  128. package/dest/block/validate_block_result.js +83 -0
  129. package/dest/config/{config.d.ts → chain-config.d.ts} +5 -4
  130. package/dest/config/chain-config.d.ts.map +1 -0
  131. package/dest/config/{config.js → chain-config.js} +4 -5
  132. package/dest/config/index.d.ts +2 -1
  133. package/dest/config/index.d.ts.map +1 -1
  134. package/dest/config/index.js +2 -1
  135. package/dest/config/node-rpc-config.d.ts +11 -0
  136. package/dest/config/node-rpc-config.d.ts.map +1 -0
  137. package/dest/config/node-rpc-config.js +18 -0
  138. package/dest/contract/artifact_hash.d.ts +6 -8
  139. package/dest/contract/artifact_hash.d.ts.map +1 -1
  140. package/dest/contract/artifact_hash.js +11 -10
  141. package/dest/contract/complete_address.d.ts +0 -2
  142. package/dest/contract/complete_address.d.ts.map +1 -1
  143. package/dest/contract/contract_class.d.ts.map +1 -1
  144. package/dest/contract/contract_class.js +3 -19
  145. package/dest/contract/contract_class_id.d.ts +0 -2
  146. package/dest/contract/contract_class_id.d.ts.map +1 -1
  147. package/dest/contract/contract_class_id.js +6 -4
  148. package/dest/contract/contract_instance.d.ts +6 -8
  149. package/dest/contract/contract_instance.d.ts.map +1 -1
  150. package/dest/contract/contract_instance.js +6 -5
  151. package/dest/contract/contract_instance_update.d.ts +3 -4
  152. package/dest/contract/contract_instance_update.d.ts.map +1 -1
  153. package/dest/contract/contract_instance_update.js +6 -6
  154. package/dest/contract/index.d.ts +1 -1
  155. package/dest/contract/index.d.ts.map +1 -1
  156. package/dest/contract/index.js +1 -1
  157. package/dest/contract/interfaces/contract_class.d.ts +46 -186
  158. package/dest/contract/interfaces/contract_class.d.ts.map +1 -1
  159. package/dest/contract/interfaces/contract_class.js +4 -9
  160. package/dest/contract/interfaces/contract_data_source.d.ts +10 -18
  161. package/dest/contract/interfaces/contract_data_source.d.ts.map +1 -1
  162. package/dest/contract/interfaces/contract_instance.d.ts +2 -2
  163. package/dest/contract/interfaces/contract_instance.d.ts.map +1 -1
  164. package/dest/contract/interfaces/contract_instance_update.d.ts +9 -8
  165. package/dest/contract/interfaces/contract_instance_update.d.ts.map +1 -1
  166. package/dest/contract/interfaces/contract_instance_update.js +1 -1
  167. package/dest/contract/interfaces/node-info.d.ts +2 -2
  168. package/dest/contract/interfaces/node-info.d.ts.map +1 -1
  169. package/dest/contract/interfaces/node-info.js +1 -1
  170. package/dest/contract/interfaces/protocol_contract_addresses.d.ts +9 -9
  171. package/dest/contract/interfaces/protocol_contract_addresses.d.ts.map +1 -1
  172. package/dest/contract/interfaces/protocol_contract_addresses.js +4 -4
  173. package/dest/contract/private_function.d.ts +0 -2
  174. package/dest/contract/private_function.d.ts.map +1 -1
  175. package/dest/contract/private_function_membership_proof.d.ts +2 -2
  176. package/dest/contract/private_function_membership_proof.js +7 -7
  177. package/dest/contract/utility_function_membership_proof.d.ts +27 -0
  178. package/dest/contract/utility_function_membership_proof.d.ts.map +1 -0
  179. package/dest/contract/{unconstrained_function_membership_proof.js → utility_function_membership_proof.js} +13 -13
  180. package/dest/database-version/version_manager.d.ts +29 -10
  181. package/dest/database-version/version_manager.d.ts.map +1 -1
  182. package/dest/database-version/version_manager.js +42 -21
  183. package/dest/delayed_public_mutable/delayed_public_mutable_values.d.ts +20 -0
  184. package/dest/delayed_public_mutable/delayed_public_mutable_values.d.ts.map +1 -0
  185. package/dest/{shared_mutable/shared_mutable_values.js → delayed_public_mutable/delayed_public_mutable_values.js} +16 -16
  186. package/dest/{shared_mutable/shared_mutable_values_with_hash.d.ts → delayed_public_mutable/delayed_public_mutable_values_with_hash.d.ts} +6 -6
  187. package/dest/delayed_public_mutable/delayed_public_mutable_values_with_hash.d.ts.map +1 -0
  188. package/dest/delayed_public_mutable/delayed_public_mutable_values_with_hash.js +30 -0
  189. package/dest/delayed_public_mutable/index.d.ts +5 -0
  190. package/dest/delayed_public_mutable/index.d.ts.map +1 -0
  191. package/dest/delayed_public_mutable/index.js +4 -0
  192. package/dest/delayed_public_mutable/scheduled_delay_change.d.ts +10 -0
  193. package/dest/delayed_public_mutable/scheduled_delay_change.d.ts.map +1 -0
  194. package/dest/{shared_mutable → delayed_public_mutable}/scheduled_delay_change.js +5 -5
  195. package/dest/delayed_public_mutable/scheduled_value_change.d.ts +12 -0
  196. package/dest/delayed_public_mutable/scheduled_value_change.d.ts.map +1 -0
  197. package/dest/{shared_mutable → delayed_public_mutable}/scheduled_value_change.js +7 -7
  198. package/dest/epoch-helpers/index.d.ts +24 -2
  199. package/dest/epoch-helpers/index.d.ts.map +1 -1
  200. package/dest/epoch-helpers/index.js +32 -2
  201. package/dest/errors/proving_error.d.ts.map +1 -1
  202. package/dest/errors/simulation_error.d.ts.map +1 -1
  203. package/dest/errors/simulation_error.js +2 -2
  204. package/dest/fees/transaction_fee.d.ts +5 -0
  205. package/dest/fees/transaction_fee.d.ts.map +1 -1
  206. package/dest/fees/transaction_fee.js +15 -5
  207. package/dest/file-store/factory.d.ts +7 -0
  208. package/dest/file-store/factory.d.ts.map +1 -0
  209. package/dest/file-store/factory.js +64 -0
  210. package/dest/file-store/gcs.d.ts +20 -0
  211. package/dest/file-store/gcs.d.ts.map +1 -0
  212. package/dest/file-store/gcs.js +115 -0
  213. package/dest/file-store/http.d.ts +14 -0
  214. package/dest/file-store/http.d.ts.map +1 -0
  215. package/dest/file-store/http.js +69 -0
  216. package/dest/file-store/index.d.ts +3 -0
  217. package/dest/file-store/index.d.ts.map +1 -0
  218. package/dest/file-store/index.js +2 -0
  219. package/dest/file-store/interface.d.ts +28 -0
  220. package/dest/file-store/interface.d.ts.map +1 -0
  221. package/dest/file-store/interface.js +1 -0
  222. package/dest/file-store/local.d.ts +14 -0
  223. package/dest/file-store/local.d.ts.map +1 -0
  224. package/dest/file-store/local.js +40 -0
  225. package/dest/file-store/s3.d.ts +26 -0
  226. package/dest/file-store/s3.d.ts.map +1 -0
  227. package/dest/file-store/s3.js +252 -0
  228. package/dest/gas/gas.d.ts +2 -4
  229. package/dest/gas/gas.d.ts.map +1 -1
  230. package/dest/gas/gas.js +4 -1
  231. package/dest/gas/gas_fees.d.ts +16 -18
  232. package/dest/gas/gas_fees.d.ts.map +1 -1
  233. package/dest/gas/gas_fees.js +17 -18
  234. package/dest/gas/gas_settings.d.ts +25 -27
  235. package/dest/gas/gas_settings.d.ts.map +1 -1
  236. package/dest/gas/gas_settings.js +6 -6
  237. package/dest/hash/hash.d.ts +27 -7
  238. package/dest/hash/hash.d.ts.map +1 -1
  239. package/dest/hash/hash.js +39 -24
  240. package/dest/interfaces/allowed_element.d.ts +53 -0
  241. package/dest/interfaces/allowed_element.d.ts.map +1 -0
  242. package/dest/interfaces/allowed_element.js +18 -0
  243. package/dest/interfaces/api_limit.d.ts +4 -0
  244. package/dest/interfaces/api_limit.d.ts.map +1 -0
  245. package/dest/interfaces/api_limit.js +3 -0
  246. package/dest/interfaces/archiver.d.ts +44 -2
  247. package/dest/interfaces/archiver.d.ts.map +1 -1
  248. package/dest/interfaces/archiver.js +33 -15
  249. package/dest/interfaces/aztec-node-admin.d.ts +286 -0
  250. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -0
  251. package/dest/interfaces/aztec-node-admin.js +37 -0
  252. package/dest/interfaces/aztec-node.d.ts +89 -81
  253. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  254. package/dest/interfaces/aztec-node.js +42 -33
  255. package/dest/interfaces/block-builder.d.ts +39 -2
  256. package/dest/interfaces/block-builder.d.ts.map +1 -1
  257. package/dest/interfaces/block-builder.js +1 -1
  258. package/dest/interfaces/client.d.ts +2 -0
  259. package/dest/interfaces/client.d.ts.map +1 -1
  260. package/dest/interfaces/client.js +2 -0
  261. package/dest/interfaces/configs.d.ts +54 -34
  262. package/dest/interfaces/configs.d.ts.map +1 -1
  263. package/dest/interfaces/configs.js +10 -18
  264. package/dest/interfaces/epoch-prover.d.ts +8 -6
  265. package/dest/interfaces/epoch-prover.d.ts.map +1 -1
  266. package/dest/interfaces/get_logs_response.d.ts +1 -1
  267. package/dest/interfaces/l2_logs_source.d.ts +2 -1
  268. package/dest/interfaces/l2_logs_source.d.ts.map +1 -1
  269. package/dest/interfaces/merkle_tree_operations.d.ts +21 -10
  270. package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
  271. package/dest/interfaces/p2p.d.ts +15 -3
  272. package/dest/interfaces/p2p.d.ts.map +1 -1
  273. package/dest/interfaces/p2p.js +6 -2
  274. package/dest/interfaces/private_kernel_prover.d.ts +4 -5
  275. package/dest/interfaces/private_kernel_prover.d.ts.map +1 -1
  276. package/dest/interfaces/prover-agent.d.ts +31 -6
  277. package/dest/interfaces/prover-agent.d.ts.map +1 -1
  278. package/dest/interfaces/prover-agent.js +15 -6
  279. package/dest/interfaces/prover-client.d.ts +5 -5
  280. package/dest/interfaces/prover-client.d.ts.map +1 -1
  281. package/dest/interfaces/prover-client.js +8 -6
  282. package/dest/interfaces/prover-coordination.d.ts +4 -9
  283. package/dest/interfaces/prover-coordination.d.ts.map +1 -1
  284. package/dest/interfaces/prover-coordination.js +1 -7
  285. package/dest/interfaces/prover-node.d.ts +5 -2
  286. package/dest/interfaces/prover-node.d.ts.map +1 -1
  287. package/dest/interfaces/prover-node.js +8 -3
  288. package/dest/interfaces/proving-job.d.ts +4139 -1208
  289. package/dest/interfaces/proving-job.d.ts.map +1 -1
  290. package/dest/interfaces/proving-job.js +15 -2
  291. package/dest/interfaces/public_state_source.d.ts +8 -0
  292. package/dest/interfaces/public_state_source.d.ts.map +1 -0
  293. package/dest/interfaces/public_state_source.js +1 -0
  294. package/dest/interfaces/pxe.d.ts +50 -61
  295. package/dest/interfaces/pxe.d.ts.map +1 -1
  296. package/dest/interfaces/pxe.js +15 -18
  297. package/dest/interfaces/server.d.ts +11 -5
  298. package/dest/interfaces/server.d.ts.map +1 -1
  299. package/dest/interfaces/server.js +11 -5
  300. package/dest/interfaces/server_circuit_prover.d.ts +15 -3
  301. package/dest/interfaces/server_circuit_prover.d.ts.map +1 -1
  302. package/dest/interfaces/service.d.ts +3 -2
  303. package/dest/interfaces/service.d.ts.map +1 -1
  304. package/dest/interfaces/slasher.d.ts +86 -0
  305. package/dest/interfaces/slasher.d.ts.map +1 -0
  306. package/dest/interfaces/slasher.js +23 -0
  307. package/dest/interfaces/tx_provider.d.ts +24 -0
  308. package/dest/interfaces/tx_provider.d.ts.map +1 -0
  309. package/dest/interfaces/tx_provider.js +1 -0
  310. package/dest/interfaces/validator.d.ts +159 -0
  311. package/dest/interfaces/validator.d.ts.map +1 -0
  312. package/dest/interfaces/validator.js +17 -0
  313. package/dest/interfaces/world_state.d.ts +23 -21
  314. package/dest/interfaces/world_state.d.ts.map +1 -1
  315. package/dest/interfaces/world_state.js +1 -1
  316. package/dest/kernel/claimed_length_array.d.ts +34 -0
  317. package/dest/kernel/claimed_length_array.d.ts.map +1 -0
  318. package/dest/kernel/claimed_length_array.js +58 -0
  319. package/dest/kernel/hiding_kernel_private_inputs.d.ts +19 -0
  320. package/dest/kernel/hiding_kernel_private_inputs.d.ts.map +1 -0
  321. package/dest/kernel/hiding_kernel_private_inputs.js +34 -0
  322. package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts +6 -6
  323. package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts.map +1 -1
  324. package/dest/kernel/hints/build_note_hash_read_request_hints.js +18 -20
  325. package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts +7 -10
  326. package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts.map +1 -1
  327. package/dest/kernel/hints/build_nullifier_read_request_hints.js +17 -32
  328. package/dest/kernel/hints/build_transient_data_hints.d.ts +4 -3
  329. package/dest/kernel/hints/build_transient_data_hints.d.ts.map +1 -1
  330. package/dest/kernel/hints/build_transient_data_hints.js +9 -10
  331. package/dest/kernel/hints/find_private_kernel_reset_dimensions.js +1 -1
  332. package/dest/kernel/hints/index.d.ts +1 -2
  333. package/dest/kernel/hints/index.d.ts.map +1 -1
  334. package/dest/kernel/hints/index.js +1 -2
  335. package/dest/kernel/hints/key_validation_hint.d.ts +3 -9
  336. package/dest/kernel/hints/key_validation_hint.d.ts.map +1 -1
  337. package/dest/kernel/hints/key_validation_hint.js +5 -7
  338. package/dest/kernel/hints/key_validation_request.d.ts +1 -3
  339. package/dest/kernel/hints/key_validation_request.d.ts.map +1 -1
  340. package/dest/kernel/hints/key_validation_request_and_generator.d.ts +1 -3
  341. package/dest/kernel/hints/key_validation_request_and_generator.d.ts.map +1 -1
  342. package/dest/kernel/hints/note_hash_read_request_hints.d.ts +0 -2
  343. package/dest/kernel/hints/note_hash_read_request_hints.d.ts.map +1 -1
  344. package/dest/kernel/hints/note_hash_read_request_hints.js +4 -4
  345. package/dest/kernel/hints/nullifier_read_request_hints.d.ts +0 -2
  346. package/dest/kernel/hints/nullifier_read_request_hints.d.ts.map +1 -1
  347. package/dest/kernel/hints/nullifier_read_request_hints.js +4 -4
  348. package/dest/kernel/hints/private_kernel_reset_hints.d.ts +9 -11
  349. package/dest/kernel/hints/private_kernel_reset_hints.d.ts.map +1 -1
  350. package/dest/kernel/hints/private_kernel_reset_hints.js +13 -9
  351. package/dest/kernel/hints/read_request.d.ts +0 -2
  352. package/dest/kernel/hints/read_request.d.ts.map +1 -1
  353. package/dest/kernel/hints/read_request_hints.d.ts +29 -31
  354. package/dest/kernel/hints/read_request_hints.d.ts.map +1 -1
  355. package/dest/kernel/hints/read_request_hints.js +28 -28
  356. package/dest/kernel/hints/scoped_key_validation_request_and_generator.d.ts +1 -3
  357. package/dest/kernel/hints/scoped_key_validation_request_and_generator.d.ts.map +1 -1
  358. package/dest/kernel/hints/{transient_data_index_hint.d.ts → transient_data_squashing_hint.d.ts} +5 -8
  359. package/dest/kernel/hints/transient_data_squashing_hint.d.ts.map +1 -0
  360. package/dest/kernel/hints/{transient_data_index_hint.js → transient_data_squashing_hint.js} +5 -5
  361. package/dest/kernel/hints/tree_leaf_read_request.d.ts +0 -2
  362. package/dest/kernel/hints/tree_leaf_read_request.d.ts.map +1 -1
  363. package/dest/kernel/index.d.ts +4 -2
  364. package/dest/kernel/index.d.ts.map +1 -1
  365. package/dest/kernel/index.js +4 -2
  366. package/dest/kernel/log_hash.d.ts +27 -9
  367. package/dest/kernel/log_hash.d.ts.map +1 -1
  368. package/dest/kernel/log_hash.js +72 -13
  369. package/dest/kernel/note_hash.d.ts +0 -2
  370. package/dest/kernel/note_hash.d.ts.map +1 -1
  371. package/dest/kernel/nullifier.d.ts +0 -2
  372. package/dest/kernel/nullifier.d.ts.map +1 -1
  373. package/dest/kernel/padded_side_effects.d.ts +26 -0
  374. package/dest/kernel/padded_side_effects.d.ts.map +1 -0
  375. package/dest/kernel/padded_side_effects.js +51 -0
  376. package/dest/kernel/private_accumulated_data.d.ts +19 -20
  377. package/dest/kernel/private_accumulated_data.d.ts.map +1 -1
  378. package/dest/kernel/private_accumulated_data.js +5 -5
  379. package/dest/kernel/private_call_data.d.ts +4 -6
  380. package/dest/kernel/private_call_data.d.ts.map +1 -1
  381. package/dest/kernel/private_call_data.js +2 -2
  382. package/dest/kernel/private_call_request.d.ts +1 -3
  383. package/dest/kernel/private_call_request.d.ts.map +1 -1
  384. package/dest/kernel/private_call_request.js +1 -1
  385. package/dest/kernel/private_circuit_public_inputs.d.ts +31 -32
  386. package/dest/kernel/private_circuit_public_inputs.d.ts.map +1 -1
  387. package/dest/kernel/private_circuit_public_inputs.js +40 -22
  388. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts +11 -4
  389. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts.map +1 -1
  390. package/dest/kernel/private_kernel_circuit_public_inputs.js +8 -4
  391. package/dest/kernel/private_kernel_data.d.ts +7 -28
  392. package/dest/kernel/private_kernel_data.d.ts.map +1 -1
  393. package/dest/kernel/private_kernel_data.js +8 -19
  394. package/dest/kernel/private_kernel_init_circuit_private_inputs.d.ts +1 -3
  395. package/dest/kernel/private_kernel_init_circuit_private_inputs.d.ts.map +1 -1
  396. package/dest/kernel/private_kernel_inner_circuit_private_inputs.d.ts +1 -3
  397. package/dest/kernel/private_kernel_inner_circuit_private_inputs.d.ts.map +1 -1
  398. package/dest/kernel/private_kernel_prover_output.d.ts +79 -0
  399. package/dest/kernel/private_kernel_prover_output.d.ts.map +1 -0
  400. package/dest/kernel/private_kernel_prover_output.js +28 -0
  401. package/dest/kernel/private_kernel_reset_circuit_private_inputs.d.ts +9 -8
  402. package/dest/kernel/private_kernel_reset_circuit_private_inputs.d.ts.map +1 -1
  403. package/dest/kernel/private_kernel_reset_circuit_private_inputs.js +10 -6
  404. package/dest/kernel/private_kernel_reset_dimensions.d.ts +11 -13
  405. package/dest/kernel/private_kernel_reset_dimensions.d.ts.map +1 -1
  406. package/dest/kernel/private_kernel_reset_dimensions.js +29 -29
  407. package/dest/kernel/private_kernel_simulated_output.d.ts +6 -12
  408. package/dest/kernel/private_kernel_simulated_output.d.ts.map +1 -1
  409. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts +20 -4
  410. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts.map +1 -1
  411. package/dest/kernel/private_kernel_tail_circuit_private_inputs.js +14 -6
  412. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts +19 -12
  413. package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts.map +1 -1
  414. package/dest/kernel/private_kernel_tail_circuit_public_inputs.js +24 -20
  415. package/dest/kernel/private_log_data.d.ts +1 -4
  416. package/dest/kernel/private_log_data.d.ts.map +1 -1
  417. package/dest/kernel/private_log_data.js +4 -2
  418. package/dest/kernel/private_to_avm_accumulated_data.d.ts +4 -13
  419. package/dest/kernel/private_to_avm_accumulated_data.d.ts.map +1 -1
  420. package/dest/kernel/private_to_avm_accumulated_data.js +11 -0
  421. package/dest/kernel/private_to_public_accumulated_data.d.ts +1 -4
  422. package/dest/kernel/private_to_public_accumulated_data.d.ts.map +1 -1
  423. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts +5 -7
  424. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts.map +1 -1
  425. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.js +9 -10
  426. package/dest/kernel/private_to_rollup_accumulated_data.d.ts +2 -5
  427. package/dest/kernel/private_to_rollup_accumulated_data.d.ts.map +1 -1
  428. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.d.ts +13 -15
  429. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.d.ts.map +1 -1
  430. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.js +11 -12
  431. package/dest/kernel/private_validation_requests.d.ts +9 -24
  432. package/dest/kernel/private_validation_requests.d.ts.map +1 -1
  433. package/dest/kernel/private_validation_requests.js +10 -22
  434. package/dest/kernel/public_call_request.d.ts +70 -24
  435. package/dest/kernel/public_call_request.d.ts.map +1 -1
  436. package/dest/kernel/public_call_request.js +77 -20
  437. package/dest/kernel/utils/optional_number.d.ts +1 -3
  438. package/dest/kernel/utils/optional_number.d.ts.map +1 -1
  439. package/dest/kernel/utils/order_and_comparison.d.ts +0 -3
  440. package/dest/kernel/utils/order_and_comparison.d.ts.map +1 -1
  441. package/dest/kernel/utils/order_and_comparison.js +0 -19
  442. package/dest/keys/derivation.d.ts +1 -1
  443. package/dest/keys/derivation.d.ts.map +1 -1
  444. package/dest/keys/derivation.js +10 -2
  445. package/dest/keys/public_keys.d.ts +0 -2
  446. package/dest/keys/public_keys.d.ts.map +1 -1
  447. package/dest/keys/public_keys.js +0 -1
  448. package/dest/l1-contracts/index.d.ts +2 -0
  449. package/dest/l1-contracts/index.d.ts.map +1 -0
  450. package/dest/l1-contracts/index.js +1 -0
  451. package/dest/l1-contracts/slash_factory.d.ts +44 -0
  452. package/dest/l1-contracts/slash_factory.d.ts.map +1 -0
  453. package/dest/l1-contracts/slash_factory.js +157 -0
  454. package/dest/logs/contract_class_log.d.ts +54 -16
  455. package/dest/logs/contract_class_log.d.ts.map +1 -1
  456. package/dest/logs/contract_class_log.js +112 -79
  457. package/dest/logs/extended_contract_class_log.d.ts +0 -2
  458. package/dest/logs/extended_contract_class_log.d.ts.map +1 -1
  459. package/dest/logs/extended_public_log.d.ts +1 -3
  460. package/dest/logs/extended_public_log.d.ts.map +1 -1
  461. package/dest/logs/index.d.ts +3 -1
  462. package/dest/logs/index.d.ts.map +1 -1
  463. package/dest/logs/index.js +3 -1
  464. package/dest/logs/indexed_tagging_secret.d.ts.map +1 -1
  465. package/dest/logs/log_id.d.ts +0 -2
  466. package/dest/logs/log_id.d.ts.map +1 -1
  467. package/dest/logs/log_with_tx_data.d.ts +15 -4
  468. package/dest/logs/log_with_tx_data.d.ts.map +1 -1
  469. package/dest/logs/log_with_tx_data.js +28 -10
  470. package/dest/logs/message_context.d.ts +29 -0
  471. package/dest/logs/message_context.d.ts.map +1 -0
  472. package/dest/logs/message_context.js +56 -0
  473. package/dest/logs/pending_tagged_log.d.ts +14 -0
  474. package/dest/logs/pending_tagged_log.d.ts.map +1 -0
  475. package/dest/logs/pending_tagged_log.js +34 -0
  476. package/dest/logs/private_log.d.ts +16 -8
  477. package/dest/logs/private_log.d.ts.map +1 -1
  478. package/dest/logs/private_log.js +50 -22
  479. package/dest/logs/public_log.d.ts +10 -9
  480. package/dest/logs/public_log.d.ts.map +1 -1
  481. package/dest/logs/public_log.js +48 -29
  482. package/dest/logs/{l1_payload/shared_secret_derivation.d.ts → shared_secret_derivation.d.ts} +4 -3
  483. package/dest/logs/shared_secret_derivation.d.ts.map +1 -0
  484. package/dest/logs/{l1_payload/shared_secret_derivation.js → shared_secret_derivation.js} +3 -5
  485. package/dest/logs/tx_scoped_l2_log.d.ts +28 -33
  486. package/dest/logs/tx_scoped_l2_log.d.ts.map +1 -1
  487. package/dest/logs/tx_scoped_l2_log.js +36 -19
  488. package/dest/messaging/inbox_leaf.d.ts +8 -3
  489. package/dest/messaging/inbox_leaf.d.ts.map +1 -1
  490. package/dest/messaging/inbox_leaf.js +16 -2
  491. package/dest/messaging/index.d.ts +1 -0
  492. package/dest/messaging/index.d.ts.map +1 -1
  493. package/dest/messaging/index.js +1 -0
  494. package/dest/messaging/l1_actor.d.ts +0 -2
  495. package/dest/messaging/l1_actor.d.ts.map +1 -1
  496. package/dest/messaging/l1_to_l2_message.d.ts +0 -2
  497. package/dest/messaging/l1_to_l2_message.d.ts.map +1 -1
  498. package/dest/messaging/l1_to_l2_message_source.d.ts +6 -1
  499. package/dest/messaging/l1_to_l2_message_source.d.ts.map +1 -1
  500. package/dest/messaging/l2_actor.d.ts +0 -2
  501. package/dest/messaging/l2_actor.d.ts.map +1 -1
  502. package/dest/messaging/l2_to_l1_membership.d.ts +14 -0
  503. package/dest/messaging/l2_to_l1_membership.d.ts.map +1 -0
  504. package/dest/messaging/l2_to_l1_membership.js +65 -0
  505. package/dest/messaging/l2_to_l1_message.d.ts +110 -18
  506. package/dest/messaging/l2_to_l1_message.d.ts.map +1 -1
  507. package/dest/messaging/l2_to_l1_message.js +83 -37
  508. package/dest/noir/index.d.ts +8 -2
  509. package/dest/noir/index.d.ts.map +1 -1
  510. package/dest/noir/index.js +1 -0
  511. package/dest/note/extended_note.d.ts +24 -37
  512. package/dest/note/extended_note.d.ts.map +1 -1
  513. package/dest/note/extended_note.js +23 -32
  514. package/dest/note/note.d.ts +39 -6
  515. package/dest/note/note.d.ts.map +1 -1
  516. package/dest/note/note.js +51 -4
  517. package/dest/note/notes_filter.d.ts +7 -4
  518. package/dest/note/notes_filter.d.ts.map +1 -1
  519. package/dest/note/notes_filter.js +2 -2
  520. package/dest/p2p/attestation_utils.d.ts +10 -0
  521. package/dest/p2p/attestation_utils.d.ts.map +1 -0
  522. package/dest/p2p/attestation_utils.js +21 -0
  523. package/dest/p2p/block_attestation.d.ts +51 -13
  524. package/dest/p2p/block_attestation.d.ts.map +1 -1
  525. package/dest/p2p/block_attestation.js +45 -23
  526. package/dest/p2p/block_proposal.d.ts +24 -10
  527. package/dest/p2p/block_proposal.d.ts.map +1 -1
  528. package/dest/p2p/block_proposal.js +47 -20
  529. package/dest/p2p/consensus_payload.d.ts +215 -20
  530. package/dest/p2p/consensus_payload.d.ts.map +1 -1
  531. package/dest/p2p/consensus_payload.js +46 -25
  532. package/dest/p2p/gossipable.d.ts +18 -17
  533. package/dest/p2p/gossipable.d.ts.map +1 -1
  534. package/dest/p2p/gossipable.js +35 -4
  535. package/dest/p2p/index.d.ts +1 -0
  536. package/dest/p2p/index.d.ts.map +1 -1
  537. package/dest/p2p/index.js +1 -0
  538. package/dest/p2p/interface.d.ts +0 -13
  539. package/dest/p2p/interface.d.ts.map +1 -1
  540. package/dest/p2p/interface.js +1 -19
  541. package/dest/p2p/signature_utils.d.ts +5 -6
  542. package/dest/p2p/signature_utils.d.ts.map +1 -1
  543. package/dest/p2p/signature_utils.js +5 -4
  544. package/dest/p2p/topic_type.d.ts +6 -9
  545. package/dest/p2p/topic_type.d.ts.map +1 -1
  546. package/dest/p2p/topic_type.js +35 -15
  547. package/dest/parity/base_parity_inputs.d.ts +2 -4
  548. package/dest/parity/base_parity_inputs.d.ts.map +1 -1
  549. package/dest/parity/parity_public_inputs.d.ts +2 -4
  550. package/dest/parity/parity_public_inputs.d.ts.map +1 -1
  551. package/dest/parity/root_parity_input.d.ts +4 -6
  552. package/dest/parity/root_parity_input.d.ts.map +1 -1
  553. package/dest/parity/root_parity_inputs.d.ts +2 -4
  554. package/dest/parity/root_parity_inputs.d.ts.map +1 -1
  555. package/dest/proofs/client_ivc_proof.d.ts +3 -6
  556. package/dest/proofs/client_ivc_proof.d.ts.map +1 -1
  557. package/dest/proofs/client_ivc_proof.js +6 -9
  558. package/dest/proofs/proof.d.ts +5 -6
  559. package/dest/proofs/proof.d.ts.map +1 -1
  560. package/dest/proofs/proof.js +28 -20
  561. package/dest/proofs/proving_request_type.d.ts +8 -7
  562. package/dest/proofs/proving_request_type.d.ts.map +1 -1
  563. package/dest/proofs/proving_request_type.js +8 -7
  564. package/dest/proofs/recursive_proof.d.ts +4 -6
  565. package/dest/proofs/recursive_proof.d.ts.map +1 -1
  566. package/dest/rollup/avm_proof_data.d.ts +8 -8
  567. package/dest/rollup/avm_proof_data.d.ts.map +1 -1
  568. package/dest/rollup/avm_proof_data.js +12 -4
  569. package/dest/rollup/base_or_merge_rollup_public_inputs.d.ts +5 -16
  570. package/dest/rollup/base_or_merge_rollup_public_inputs.d.ts.map +1 -1
  571. package/dest/rollup/base_or_merge_rollup_public_inputs.js +4 -9
  572. package/dest/rollup/base_rollup_hints.d.ts +21 -22
  573. package/dest/rollup/base_rollup_hints.d.ts.map +1 -1
  574. package/dest/rollup/base_rollup_hints.js +20 -19
  575. package/dest/rollup/block_constant_data.d.ts +37 -0
  576. package/dest/rollup/block_constant_data.d.ts.map +1 -0
  577. package/dest/rollup/{constant_rollup_data.js → block_constant_data.js} +10 -13
  578. package/dest/rollup/block_merge_rollup.d.ts +2 -4
  579. package/dest/rollup/block_merge_rollup.d.ts.map +1 -1
  580. package/dest/rollup/block_root_or_block_merge_public_inputs.d.ts +23 -48
  581. package/dest/rollup/block_root_or_block_merge_public_inputs.d.ts.map +1 -1
  582. package/dest/rollup/block_root_or_block_merge_public_inputs.js +12 -23
  583. package/dest/rollup/block_root_rollup.d.ts +40 -19
  584. package/dest/rollup/block_root_rollup.d.ts.map +1 -1
  585. package/dest/rollup/block_root_rollup.js +20 -7
  586. package/dest/rollup/empty_block_root_rollup_inputs.d.ts +6 -9
  587. package/dest/rollup/empty_block_root_rollup_inputs.d.ts.map +1 -1
  588. package/dest/rollup/empty_block_root_rollup_inputs.js +4 -7
  589. package/dest/rollup/epoch_constant_data.d.ts +39 -0
  590. package/dest/rollup/epoch_constant_data.d.ts.map +1 -0
  591. package/dest/rollup/epoch_constant_data.js +40 -0
  592. package/dest/rollup/index.d.ts +3 -1
  593. package/dest/rollup/index.d.ts.map +1 -1
  594. package/dest/rollup/index.js +3 -1
  595. package/dest/rollup/merge_rollup.d.ts +2 -4
  596. package/dest/rollup/merge_rollup.d.ts.map +1 -1
  597. package/dest/rollup/padding_block_root_rollup_inputs.d.ts +20 -0
  598. package/dest/rollup/padding_block_root_rollup_inputs.d.ts.map +1 -0
  599. package/dest/rollup/padding_block_root_rollup_inputs.js +39 -0
  600. package/dest/rollup/previous_rollup_block_data.d.ts +6 -17
  601. package/dest/rollup/previous_rollup_block_data.d.ts.map +1 -1
  602. package/dest/rollup/previous_rollup_block_data.js +8 -13
  603. package/dest/rollup/previous_rollup_data.d.ts +6 -17
  604. package/dest/rollup/previous_rollup_data.d.ts.map +1 -1
  605. package/dest/rollup/previous_rollup_data.js +8 -13
  606. package/dest/rollup/private_base_rollup_inputs.d.ts +2 -4
  607. package/dest/rollup/private_base_rollup_inputs.d.ts.map +1 -1
  608. package/dest/rollup/private_tube_data.d.ts +4 -6
  609. package/dest/rollup/private_tube_data.d.ts.map +1 -1
  610. package/dest/rollup/private_tube_data.js +3 -3
  611. package/dest/rollup/public_base_rollup_inputs.d.ts +2 -4
  612. package/dest/rollup/public_base_rollup_inputs.d.ts.map +1 -1
  613. package/dest/rollup/public_tube_data.d.ts +4 -6
  614. package/dest/rollup/public_tube_data.d.ts.map +1 -1
  615. package/dest/rollup/public_tube_data.js +3 -3
  616. package/dest/rollup/root_rollup.d.ts +21 -27
  617. package/dest/rollup/root_rollup.d.ts.map +1 -1
  618. package/dest/rollup/root_rollup.js +23 -34
  619. package/dest/rollup/state_diff_hints.d.ts +0 -2
  620. package/dest/rollup/state_diff_hints.d.ts.map +1 -1
  621. package/dest/rollup/tube_inputs.d.ts +9 -6
  622. package/dest/rollup/tube_inputs.d.ts.map +1 -1
  623. package/dest/rollup/tube_inputs.js +10 -4
  624. package/dest/schemas/schemas.d.ts +6 -6
  625. package/dest/schemas/schemas.d.ts.map +1 -1
  626. package/dest/schemas/schemas.js +1 -0
  627. package/dest/slashing/empire.d.ts +31 -0
  628. package/dest/slashing/empire.d.ts.map +1 -0
  629. package/dest/slashing/empire.js +84 -0
  630. package/dest/slashing/helpers.d.ts +35 -0
  631. package/dest/slashing/helpers.d.ts.map +1 -0
  632. package/dest/slashing/helpers.js +89 -0
  633. package/dest/slashing/index.d.ts +7 -0
  634. package/dest/slashing/index.d.ts.map +1 -0
  635. package/dest/slashing/index.js +6 -0
  636. package/dest/slashing/interfaces.d.ts +11 -0
  637. package/dest/slashing/interfaces.d.ts.map +1 -0
  638. package/dest/slashing/interfaces.js +1 -0
  639. package/dest/slashing/serialization.d.ts +8 -0
  640. package/dest/slashing/serialization.d.ts.map +1 -0
  641. package/dest/slashing/serialization.js +78 -0
  642. package/dest/slashing/tally.d.ts +23 -0
  643. package/dest/slashing/tally.d.ts.map +1 -0
  644. package/dest/slashing/tally.js +60 -0
  645. package/dest/slashing/types.d.ts +162 -0
  646. package/dest/slashing/types.d.ts.map +1 -0
  647. package/dest/slashing/types.js +88 -0
  648. package/dest/snapshots/download.d.ts +9 -0
  649. package/dest/snapshots/download.d.ts.map +1 -0
  650. package/dest/snapshots/download.js +93 -0
  651. package/dest/snapshots/index.d.ts +4 -0
  652. package/dest/snapshots/index.d.ts.map +1 -0
  653. package/dest/snapshots/index.js +3 -0
  654. package/dest/snapshots/types.d.ts +120 -0
  655. package/dest/snapshots/types.d.ts.map +1 -0
  656. package/dest/snapshots/types.js +35 -0
  657. package/dest/snapshots/upload.d.ts +8 -0
  658. package/dest/snapshots/upload.d.ts.map +1 -0
  659. package/dest/snapshots/upload.js +42 -0
  660. package/dest/stats/stats.d.ts +7 -7
  661. package/dest/stats/stats.d.ts.map +1 -1
  662. package/dest/tests/factories.d.ts +40 -31
  663. package/dest/tests/factories.d.ts.map +1 -1
  664. package/dest/tests/factories.js +272 -167
  665. package/dest/tests/mocks.d.ts +27 -9
  666. package/dest/tests/mocks.d.ts.map +1 -1
  667. package/dest/tests/mocks.js +113 -78
  668. package/dest/trees/append_only_tree_snapshot.d.ts +7 -6
  669. package/dest/trees/append_only_tree_snapshot.d.ts.map +1 -1
  670. package/dest/trees/append_only_tree_snapshot.js +17 -2
  671. package/dest/trees/database_public_state_source.d.ts +11 -0
  672. package/dest/trees/database_public_state_source.d.ts.map +1 -0
  673. package/dest/trees/database_public_state_source.js +18 -0
  674. package/dest/trees/index.d.ts +1 -0
  675. package/dest/trees/index.d.ts.map +1 -1
  676. package/dest/trees/index.js +1 -0
  677. package/dest/trees/merkle_tree_id.d.ts +8 -0
  678. package/dest/trees/merkle_tree_id.d.ts.map +1 -1
  679. package/dest/trees/merkle_tree_id.js +10 -0
  680. package/dest/trees/nullifier_leaf.d.ts +49 -17
  681. package/dest/trees/nullifier_leaf.d.ts.map +1 -1
  682. package/dest/trees/nullifier_leaf.js +45 -22
  683. package/dest/trees/nullifier_membership_witness.d.ts +38 -19
  684. package/dest/trees/nullifier_membership_witness.d.ts.map +1 -1
  685. package/dest/trees/nullifier_membership_witness.js +14 -1
  686. package/dest/trees/protocol_contract_leaf.d.ts +0 -3
  687. package/dest/trees/protocol_contract_leaf.d.ts.map +1 -1
  688. package/dest/trees/protocol_contract_leaf.js +0 -3
  689. package/dest/trees/public_data_leaf.d.ts +60 -28
  690. package/dest/trees/public_data_leaf.d.ts.map +1 -1
  691. package/dest/trees/public_data_leaf.js +41 -30
  692. package/dest/trees/public_data_witness.d.ts +47 -30
  693. package/dest/trees/public_data_witness.d.ts.map +1 -1
  694. package/dest/trees/public_data_witness.js +20 -4
  695. package/dest/tx/block_header.d.ts +5 -6
  696. package/dest/tx/block_header.d.ts.map +1 -1
  697. package/dest/tx/block_header.js +13 -7
  698. package/dest/tx/call_context.d.ts +1 -4
  699. package/dest/tx/call_context.d.ts.map +1 -1
  700. package/dest/tx/capsule.d.ts +3 -3
  701. package/dest/tx/capsule.d.ts.map +1 -1
  702. package/dest/tx/capsule.js +2 -0
  703. package/dest/tx/content_commitment.d.ts +24 -81
  704. package/dest/tx/content_commitment.d.ts.map +1 -1
  705. package/dest/tx/content_commitment.js +39 -53
  706. package/dest/tx/function_data.d.ts +0 -2
  707. package/dest/tx/function_data.d.ts.map +1 -1
  708. package/dest/tx/global_variable_builder.d.ts +2 -2
  709. package/dest/tx/global_variable_builder.d.ts.map +1 -1
  710. package/dest/tx/global_variables.d.ts +29 -31
  711. package/dest/tx/global_variables.d.ts.map +1 -1
  712. package/dest/tx/global_variables.js +25 -16
  713. package/dest/tx/hashed_values.d.ts +17 -7
  714. package/dest/tx/hashed_values.d.ts.map +1 -1
  715. package/dest/tx/hashed_values.js +26 -9
  716. package/dest/tx/index.d.ts +7 -2
  717. package/dest/tx/index.d.ts.map +1 -1
  718. package/dest/tx/index.js +7 -2
  719. package/dest/tx/indexed_tx_effect.d.ts +27 -0
  720. package/dest/tx/indexed_tx_effect.d.ts.map +1 -0
  721. package/dest/tx/indexed_tx_effect.js +32 -0
  722. package/dest/tx/offchain_effect.d.ts +14 -0
  723. package/dest/tx/offchain_effect.d.ts.map +1 -0
  724. package/dest/tx/offchain_effect.js +4 -0
  725. package/dest/tx/partial_state_reference.d.ts +10 -3
  726. package/dest/tx/partial_state_reference.d.ts.map +1 -1
  727. package/dest/tx/partial_state_reference.js +22 -2
  728. package/dest/tx/private_execution_result.d.ts +50 -35
  729. package/dest/tx/private_execution_result.d.ts.map +1 -1
  730. package/dest/tx/private_execution_result.js +61 -77
  731. package/dest/tx/processed_tx.d.ts +4 -5
  732. package/dest/tx/processed_tx.d.ts.map +1 -1
  733. package/dest/tx/processed_tx.js +22 -15
  734. package/dest/tx/profiling.d.ts +360 -0
  735. package/dest/tx/profiling.d.ts.map +1 -0
  736. package/dest/tx/profiling.js +131 -0
  737. package/dest/tx/proposed_block_header.d.ts +84 -0
  738. package/dest/tx/proposed_block_header.d.ts.map +1 -0
  739. package/dest/tx/proposed_block_header.js +154 -0
  740. package/dest/tx/proven_tx.d.ts +129 -0
  741. package/dest/tx/proven_tx.d.ts.map +1 -0
  742. package/dest/tx/proven_tx.js +45 -0
  743. package/dest/tx/public_call_request_with_calldata.d.ts +38 -0
  744. package/dest/tx/public_call_request_with_calldata.d.ts.map +1 -0
  745. package/dest/tx/public_call_request_with_calldata.js +57 -0
  746. package/dest/tx/public_simulation_output.d.ts +3 -3
  747. package/dest/tx/public_simulation_output.d.ts.map +1 -1
  748. package/dest/tx/public_simulation_output.js +7 -7
  749. package/dest/tx/simulated_tx.d.ts +169 -45
  750. package/dest/tx/simulated_tx.d.ts.map +1 -1
  751. package/dest/tx/simulated_tx.js +51 -46
  752. package/dest/tx/state_reference.d.ts +10 -4
  753. package/dest/tx/state_reference.d.ts.map +1 -1
  754. package/dest/tx/state_reference.js +38 -5
  755. package/dest/tx/tree_snapshots.d.ts +11 -14
  756. package/dest/tx/tree_snapshots.d.ts.map +1 -1
  757. package/dest/tx/tree_snapshots.js +3 -3
  758. package/dest/tx/tx.d.ts +54 -84
  759. package/dest/tx/tx.d.ts.map +1 -1
  760. package/dest/tx/tx.js +132 -140
  761. package/dest/tx/tx_constant_data.d.ts +1 -3
  762. package/dest/tx/tx_constant_data.d.ts.map +1 -1
  763. package/dest/tx/tx_context.d.ts +33 -35
  764. package/dest/tx/tx_context.d.ts.map +1 -1
  765. package/dest/tx/tx_effect.d.ts +3 -6
  766. package/dest/tx/tx_effect.d.ts.map +1 -1
  767. package/dest/tx/tx_effect.js +40 -83
  768. package/dest/tx/tx_execution_request.d.ts +13 -6
  769. package/dest/tx/tx_execution_request.d.ts.map +1 -1
  770. package/dest/tx/tx_execution_request.js +16 -9
  771. package/dest/tx/tx_hash.d.ts +11 -4
  772. package/dest/tx/tx_hash.d.ts.map +1 -1
  773. package/dest/tx/tx_hash.js +24 -5
  774. package/dest/tx/tx_receipt.d.ts +1 -30
  775. package/dest/tx/tx_receipt.d.ts.map +1 -1
  776. package/dest/tx/tx_receipt.js +4 -14
  777. package/dest/tx/tx_request.d.ts +11 -9
  778. package/dest/tx/tx_request.d.ts.map +1 -1
  779. package/dest/tx/tx_request.js +11 -8
  780. package/dest/tx/validator/error_texts.d.ts +24 -0
  781. package/dest/tx/validator/error_texts.d.ts.map +1 -0
  782. package/dest/tx/validator/error_texts.js +31 -0
  783. package/dest/tx/validator/tx_validator.d.ts +6 -4
  784. package/dest/tx/validator/tx_validator.d.ts.map +1 -1
  785. package/dest/tx/validator/tx_validator.js +3 -0
  786. package/dest/types/shared.d.ts +9 -11
  787. package/dest/types/shared.d.ts.map +1 -1
  788. package/dest/types/shared.js +0 -8
  789. package/dest/update-checker/index.d.ts +2 -0
  790. package/dest/update-checker/index.d.ts.map +1 -0
  791. package/dest/update-checker/index.js +1 -0
  792. package/dest/update-checker/update-checker.d.ts +50 -0
  793. package/dest/update-checker/update-checker.d.ts.map +1 -0
  794. package/dest/update-checker/update-checker.js +130 -0
  795. package/dest/validators/errors.d.ts +34 -0
  796. package/dest/validators/errors.d.ts.map +1 -0
  797. package/dest/validators/errors.js +47 -0
  798. package/dest/validators/index.d.ts +4 -0
  799. package/dest/validators/index.d.ts.map +1 -0
  800. package/dest/validators/index.js +2 -0
  801. package/dest/validators/schemas.d.ts +592 -0
  802. package/dest/validators/schemas.d.ts.map +1 -0
  803. package/dest/validators/schemas.js +52 -0
  804. package/dest/validators/types.d.ts +52 -0
  805. package/dest/validators/types.d.ts.map +1 -0
  806. package/dest/validators/types.js +1 -0
  807. package/dest/versioning/versioning.d.ts +2 -2
  808. package/dest/versioning/versioning.d.ts.map +1 -1
  809. package/dest/versioning/versioning.js +6 -6
  810. package/dest/vks/index.d.ts +1 -1
  811. package/dest/vks/index.d.ts.map +1 -1
  812. package/dest/vks/index.js +1 -1
  813. package/dest/vks/verification_key.d.ts +8 -12
  814. package/dest/vks/verification_key.d.ts.map +1 -1
  815. package/dest/vks/verification_key.js +9 -11
  816. package/dest/vks/{vk_witness_data.d.ts → vk_data.d.ts} +9 -11
  817. package/dest/vks/vk_data.d.ts.map +1 -0
  818. package/dest/vks/{vk_witness_data.js → vk_data.js} +10 -10
  819. package/dest/zkpassport/index.d.ts +37 -0
  820. package/dest/zkpassport/index.d.ts.map +1 -0
  821. package/dest/zkpassport/index.js +87 -0
  822. package/package.json +38 -23
  823. package/src/abi/abi.ts +95 -65
  824. package/src/abi/authorization_selector.ts +95 -0
  825. package/src/abi/contract_artifact.ts +88 -60
  826. package/src/abi/decoder.ts +18 -13
  827. package/src/abi/encoder.ts +88 -3
  828. package/src/abi/index.ts +1 -0
  829. package/src/abi/utils.ts +15 -0
  830. package/src/auth_witness/auth_witness.ts +29 -0
  831. package/src/avm/avm.ts +441 -123
  832. package/src/avm/avm_accumulated_data.ts +123 -2
  833. package/src/avm/avm_circuit_public_inputs.ts +59 -3
  834. package/src/avm/message_pack.ts +8 -1
  835. package/src/avm/public_data_write.ts +25 -1
  836. package/src/avm/public_inner_call_request.ts +1 -1
  837. package/src/avm/revert_code.ts +5 -5
  838. package/src/block/attestation_info.ts +62 -0
  839. package/src/block/block_hash.ts +14 -0
  840. package/src/block/body.ts +18 -13
  841. package/src/block/in_block.ts +6 -6
  842. package/src/block/index.ts +6 -2
  843. package/src/block/l2_block.ts +37 -67
  844. package/src/block/l2_block_code_to_purge.ts +8 -24
  845. package/src/block/l2_block_info.ts +63 -0
  846. package/src/block/l2_block_source.ts +100 -13
  847. package/src/block/l2_block_stream/index.ts +3 -0
  848. package/src/block/l2_block_stream/interfaces.ts +33 -0
  849. package/src/block/{l2_block_downloader → l2_block_stream}/l2_block_stream.ts +81 -58
  850. package/src/block/l2_block_stream/l2_tips_memory_store.ts +75 -0
  851. package/src/block/proposal/attestations_and_signers.ts +121 -0
  852. package/src/block/proposal/committee_attestation.ts +124 -0
  853. package/src/block/proposal/index.ts +2 -0
  854. package/src/block/published_l2_block.ts +82 -0
  855. package/src/block/test/index.ts +1 -0
  856. package/src/block/test/l2_tips_store_test_suite.ts +88 -0
  857. package/src/block/validate_block_result.ts +122 -0
  858. package/src/config/{config.ts → chain-config.ts} +8 -7
  859. package/src/config/index.ts +2 -1
  860. package/src/config/node-rpc-config.ts +28 -0
  861. package/src/contract/artifact_hash.ts +14 -12
  862. package/src/contract/contract_class.ts +7 -24
  863. package/src/contract/contract_class_id.ts +10 -4
  864. package/src/contract/contract_instance.ts +16 -8
  865. package/src/contract/contract_instance_update.ts +7 -6
  866. package/src/contract/index.ts +1 -1
  867. package/src/contract/interfaces/contract_class.ts +23 -35
  868. package/src/contract/interfaces/contract_data_source.ts +11 -20
  869. package/src/contract/interfaces/contract_instance_update.ts +4 -3
  870. package/src/contract/interfaces/node-info.ts +3 -3
  871. package/src/contract/interfaces/protocol_contract_addresses.ts +5 -10
  872. package/src/contract/private_function.ts +4 -2
  873. package/src/contract/private_function_membership_proof.ts +7 -7
  874. package/src/contract/{unconstrained_function_membership_proof.ts → utility_function_membership_proof.ts} +18 -18
  875. package/src/database-version/version_manager.ts +78 -25
  876. package/src/{shared_mutable/shared_mutable_values.ts → delayed_public_mutable/delayed_public_mutable_values.ts} +23 -20
  877. package/src/delayed_public_mutable/delayed_public_mutable_values_with_hash.ts +38 -0
  878. package/src/delayed_public_mutable/index.ts +4 -0
  879. package/src/delayed_public_mutable/scheduled_delay_change.ts +17 -0
  880. package/src/{shared_mutable → delayed_public_mutable}/scheduled_value_change.ts +11 -5
  881. package/src/epoch-helpers/index.ts +61 -2
  882. package/src/errors/proving_error.ts +5 -1
  883. package/src/errors/simulation_error.ts +2 -2
  884. package/src/fees/transaction_fee.ts +28 -8
  885. package/src/file-store/factory.ts +76 -0
  886. package/src/file-store/gcs.ts +121 -0
  887. package/src/file-store/http.ts +67 -0
  888. package/src/file-store/index.ts +2 -0
  889. package/src/file-store/interface.ts +25 -0
  890. package/src/file-store/local.ts +46 -0
  891. package/src/file-store/s3.ts +254 -0
  892. package/src/gas/gas.ts +9 -2
  893. package/src/gas/gas_fees.ts +27 -23
  894. package/src/gas/gas_settings.ts +11 -9
  895. package/src/hash/hash.ts +49 -27
  896. package/src/interfaces/allowed_element.ts +21 -0
  897. package/src/interfaces/api_limit.ts +3 -0
  898. package/src/interfaces/archiver.ts +67 -25
  899. package/src/interfaces/aztec-node-admin.ts +99 -0
  900. package/src/interfaces/aztec-node.ts +191 -141
  901. package/src/interfaces/block-builder.ts +52 -2
  902. package/src/interfaces/client.ts +2 -0
  903. package/src/interfaces/configs.ts +26 -18
  904. package/src/interfaces/epoch-prover.ts +12 -6
  905. package/src/interfaces/l2_logs_source.ts +2 -1
  906. package/src/interfaces/merkle_tree_operations.ts +24 -8
  907. package/src/interfaces/p2p.ts +29 -4
  908. package/src/interfaces/private_kernel_prover.ts +12 -3
  909. package/src/interfaces/prover-agent.ts +9 -10
  910. package/src/interfaces/prover-client.ts +16 -11
  911. package/src/interfaces/prover-coordination.ts +6 -16
  912. package/src/interfaces/prover-node.ts +10 -2
  913. package/src/interfaces/proving-job.ts +24 -3
  914. package/src/interfaces/public_state_source.ts +9 -0
  915. package/src/interfaces/pxe.ts +87 -82
  916. package/src/interfaces/server.ts +11 -5
  917. package/src/interfaces/server_circuit_prover.ts +27 -3
  918. package/src/interfaces/service.ts +4 -2
  919. package/src/interfaces/slasher.ts +50 -0
  920. package/src/interfaces/tx_provider.ts +17 -0
  921. package/src/interfaces/validator.ts +93 -0
  922. package/src/interfaces/world_state.ts +27 -19
  923. package/src/kernel/claimed_length_array.ts +104 -0
  924. package/src/kernel/hiding_kernel_private_inputs.ts +37 -0
  925. package/src/kernel/hints/build_note_hash_read_request_hints.ts +28 -30
  926. package/src/kernel/hints/build_nullifier_read_request_hints.ts +28 -59
  927. package/src/kernel/hints/build_transient_data_hints.ts +12 -14
  928. package/src/kernel/hints/find_private_kernel_reset_dimensions.ts +3 -3
  929. package/src/kernel/hints/index.ts +1 -2
  930. package/src/kernel/hints/key_validation_hint.ts +4 -6
  931. package/src/kernel/hints/note_hash_read_request_hints.ts +8 -17
  932. package/src/kernel/hints/nullifier_read_request_hints.ts +8 -17
  933. package/src/kernel/hints/private_kernel_reset_hints.ts +37 -46
  934. package/src/kernel/hints/read_request.ts +4 -1
  935. package/src/kernel/hints/read_request_hints.ts +59 -38
  936. package/src/kernel/hints/{transient_data_index_hint.ts → transient_data_squashing_hint.ts} +9 -6
  937. package/src/kernel/hints/tree_leaf_read_request.ts +4 -1
  938. package/src/kernel/index.ts +4 -2
  939. package/src/kernel/log_hash.ts +86 -14
  940. package/src/kernel/note_hash.ts +8 -2
  941. package/src/kernel/nullifier.ts +9 -2
  942. package/src/kernel/padded_side_effects.ts +73 -0
  943. package/src/kernel/private_accumulated_data.ts +25 -25
  944. package/src/kernel/private_call_data.ts +3 -3
  945. package/src/kernel/private_call_request.ts +1 -1
  946. package/src/kernel/private_circuit_public_inputs.ts +96 -72
  947. package/src/kernel/private_kernel_circuit_public_inputs.ts +9 -1
  948. package/src/kernel/private_kernel_data.ts +7 -29
  949. package/src/kernel/private_kernel_prover_output.ts +70 -0
  950. package/src/kernel/private_kernel_reset_circuit_private_inputs.ts +16 -13
  951. package/src/kernel/private_kernel_reset_dimensions.ts +27 -27
  952. package/src/kernel/private_kernel_simulated_output.ts +7 -16
  953. package/src/kernel/private_kernel_tail_circuit_private_inputs.ts +22 -5
  954. package/src/kernel/private_kernel_tail_circuit_public_inputs.ts +33 -22
  955. package/src/kernel/private_log_data.ts +13 -4
  956. package/src/kernel/private_to_avm_accumulated_data.ts +18 -1
  957. package/src/kernel/private_to_public_kernel_circuit_public_inputs.ts +7 -7
  958. package/src/kernel/private_to_rollup_kernel_circuit_public_inputs.ts +16 -10
  959. package/src/kernel/private_validation_requests.ts +20 -51
  960. package/src/kernel/public_call_request.ts +92 -28
  961. package/src/kernel/utils/order_and_comparison.ts +0 -25
  962. package/src/keys/derivation.ts +12 -6
  963. package/src/keys/public_keys.ts +1 -1
  964. package/src/l1-contracts/index.ts +1 -0
  965. package/src/l1-contracts/slash_factory.ts +177 -0
  966. package/src/logs/contract_class_log.ts +135 -64
  967. package/src/logs/index.ts +3 -1
  968. package/src/logs/indexed_tagging_secret.ts +4 -1
  969. package/src/logs/log_with_tx_data.ts +29 -9
  970. package/src/logs/message_context.ts +62 -0
  971. package/src/logs/pending_tagged_log.ts +41 -0
  972. package/src/logs/private_log.ts +60 -24
  973. package/src/logs/public_log.ts +66 -28
  974. package/src/logs/{l1_payload/shared_secret_derivation.ts → shared_secret_derivation.ts} +4 -11
  975. package/src/logs/tx_scoped_l2_log.ts +37 -25
  976. package/src/messaging/inbox_leaf.ts +17 -2
  977. package/src/messaging/index.ts +1 -0
  978. package/src/messaging/l1_to_l2_message_source.ts +8 -1
  979. package/src/messaging/l2_to_l1_membership.ts +104 -0
  980. package/src/messaging/l2_to_l1_message.ts +105 -40
  981. package/src/noir/index.ts +8 -2
  982. package/src/note/extended_note.ts +22 -41
  983. package/src/note/note.ts +61 -5
  984. package/src/note/notes_filter.ts +9 -6
  985. package/src/p2p/attestation_utils.ts +35 -0
  986. package/src/p2p/block_attestation.ts +54 -26
  987. package/src/p2p/block_proposal.ts +61 -19
  988. package/src/p2p/consensus_payload.ts +61 -29
  989. package/src/p2p/gossipable.ts +41 -15
  990. package/src/p2p/index.ts +1 -0
  991. package/src/p2p/interface.ts +0 -24
  992. package/src/p2p/signature_utils.ts +7 -9
  993. package/src/p2p/topic_type.ts +32 -13
  994. package/src/proofs/client_ivc_proof.ts +5 -15
  995. package/src/proofs/proof.ts +29 -21
  996. package/src/proofs/proving_request_type.ts +1 -0
  997. package/src/rollup/avm_proof_data.ts +14 -7
  998. package/src/rollup/base_or_merge_rollup_public_inputs.ts +4 -12
  999. package/src/rollup/base_rollup_hints.ts +21 -20
  1000. package/src/rollup/block_constant_data.ts +63 -0
  1001. package/src/rollup/block_root_or_block_merge_public_inputs.ts +20 -34
  1002. package/src/rollup/block_root_rollup.ts +23 -5
  1003. package/src/rollup/empty_block_root_rollup_inputs.ts +4 -9
  1004. package/src/rollup/epoch_constant_data.ts +44 -0
  1005. package/src/rollup/index.ts +3 -1
  1006. package/src/rollup/padding_block_root_rollup_inputs.ts +47 -0
  1007. package/src/rollup/previous_rollup_block_data.ts +6 -12
  1008. package/src/rollup/previous_rollup_data.ts +6 -12
  1009. package/src/rollup/private_base_rollup_inputs.ts +4 -1
  1010. package/src/rollup/private_tube_data.ts +4 -4
  1011. package/src/rollup/public_tube_data.ts +4 -4
  1012. package/src/rollup/root_rollup.ts +26 -37
  1013. package/src/rollup/tube_inputs.ts +11 -4
  1014. package/src/schemas/schemas.ts +3 -0
  1015. package/src/slashing/empire.ts +100 -0
  1016. package/src/slashing/helpers.ts +136 -0
  1017. package/src/slashing/index.ts +6 -0
  1018. package/src/slashing/interfaces.ts +11 -0
  1019. package/src/slashing/serialization.ts +103 -0
  1020. package/src/slashing/tally.ts +87 -0
  1021. package/src/slashing/types.ts +152 -0
  1022. package/src/snapshots/download.ts +123 -0
  1023. package/src/snapshots/index.ts +3 -0
  1024. package/src/snapshots/types.ts +70 -0
  1025. package/src/snapshots/upload.ts +64 -0
  1026. package/src/stats/stats.ts +8 -5
  1027. package/src/tests/factories.ts +468 -282
  1028. package/src/tests/mocks.ts +178 -109
  1029. package/src/trees/append_only_tree_snapshot.ts +18 -2
  1030. package/src/trees/database_public_state_source.ts +30 -0
  1031. package/src/trees/index.ts +1 -0
  1032. package/src/trees/merkle_tree_id.ts +12 -0
  1033. package/src/trees/nullifier_leaf.ts +48 -21
  1034. package/src/trees/nullifier_membership_witness.ts +17 -1
  1035. package/src/trees/protocol_contract_leaf.ts +0 -4
  1036. package/src/trees/public_data_leaf.ts +40 -29
  1037. package/src/trees/public_data_witness.ts +23 -4
  1038. package/src/tx/block_header.ts +24 -7
  1039. package/src/tx/capsule.ts +2 -0
  1040. package/src/tx/content_commitment.ts +48 -77
  1041. package/src/tx/global_variable_builder.ts +2 -2
  1042. package/src/tx/global_variables.ts +38 -22
  1043. package/src/tx/hashed_values.ts +29 -9
  1044. package/src/tx/index.ts +7 -2
  1045. package/src/tx/indexed_tx_effect.ts +39 -0
  1046. package/src/tx/offchain_effect.ts +20 -0
  1047. package/src/tx/partial_state_reference.ts +37 -4
  1048. package/src/tx/private_execution_result.ts +63 -88
  1049. package/src/tx/processed_tx.ts +36 -24
  1050. package/src/tx/profiling.ts +163 -0
  1051. package/src/tx/proposed_block_header.ts +225 -0
  1052. package/src/tx/proven_tx.ts +62 -0
  1053. package/src/tx/public_call_request_with_calldata.ts +72 -0
  1054. package/src/tx/public_simulation_output.ts +5 -5
  1055. package/src/tx/simulated_tx.ts +65 -75
  1056. package/src/tx/state_reference.ts +54 -5
  1057. package/src/tx/tree_snapshots.ts +13 -13
  1058. package/src/tx/tx.ts +142 -182
  1059. package/src/tx/tx_effect.ts +86 -102
  1060. package/src/tx/tx_execution_request.ts +14 -3
  1061. package/src/tx/tx_hash.ts +26 -5
  1062. package/src/tx/tx_receipt.ts +1 -37
  1063. package/src/tx/tx_request.ts +16 -6
  1064. package/src/tx/validator/error_texts.ts +38 -0
  1065. package/src/tx/validator/tx_validator.ts +5 -0
  1066. package/src/types/shared.ts +10 -9
  1067. package/src/update-checker/index.ts +1 -0
  1068. package/src/update-checker/update-checker.ts +165 -0
  1069. package/src/validators/errors.ts +59 -0
  1070. package/src/validators/index.ts +3 -0
  1071. package/src/validators/schemas.ts +75 -0
  1072. package/src/validators/types.ts +46 -0
  1073. package/src/versioning/versioning.ts +9 -18
  1074. package/src/vks/index.ts +1 -1
  1075. package/src/vks/verification_key.ts +18 -18
  1076. package/src/vks/{vk_witness_data.ts → vk_data.ts} +6 -6
  1077. package/src/zkpassport/index.ts +127 -0
  1078. package/dest/block/l2_block_downloader/index.d.ts +0 -3
  1079. package/dest/block/l2_block_downloader/index.d.ts.map +0 -1
  1080. package/dest/block/l2_block_downloader/index.js +0 -2
  1081. package/dest/block/l2_block_downloader/l2_block_downloader.d.ts +0 -58
  1082. package/dest/block/l2_block_downloader/l2_block_downloader.d.ts.map +0 -1
  1083. package/dest/block/l2_block_downloader/l2_block_downloader.js +0 -124
  1084. package/dest/block/l2_block_downloader/l2_block_stream.d.ts +0 -57
  1085. package/dest/block/l2_block_downloader/l2_block_stream.d.ts.map +0 -1
  1086. package/dest/block/nullifier_with_block_source.d.ts +0 -6
  1087. package/dest/block/nullifier_with_block_source.d.ts.map +0 -1
  1088. package/dest/config/config.d.ts.map +0 -1
  1089. package/dest/contract/unconstrained_function_membership_proof.d.ts +0 -27
  1090. package/dest/contract/unconstrained_function_membership_proof.d.ts.map +0 -1
  1091. package/dest/event/event.d.ts +0 -24
  1092. package/dest/event/event.d.ts.map +0 -1
  1093. package/dest/event/event.js +0 -13
  1094. package/dest/event/event_metadata.d.ts +0 -38
  1095. package/dest/event/event_metadata.d.ts.map +0 -1
  1096. package/dest/event/event_metadata.js +0 -45
  1097. package/dest/event/index.d.ts +0 -4
  1098. package/dest/event/index.d.ts.map +0 -1
  1099. package/dest/event/index.js +0 -3
  1100. package/dest/event/l1_event_payload.d.ts +0 -52
  1101. package/dest/event/l1_event_payload.d.ts.map +0 -1
  1102. package/dest/event/l1_event_payload.js +0 -64
  1103. package/dest/kernel/combined_constant_data.d.ts +0 -73
  1104. package/dest/kernel/combined_constant_data.d.ts.map +0 -1
  1105. package/dest/kernel/combined_constant_data.js +0 -73
  1106. package/dest/kernel/hints/rollup_validation_requests.d.ts +0 -40
  1107. package/dest/kernel/hints/rollup_validation_requests.d.ts.map +0 -1
  1108. package/dest/kernel/hints/rollup_validation_requests.js +0 -57
  1109. package/dest/kernel/hints/transient_data_index_hint.d.ts.map +0 -1
  1110. package/dest/kernel/private_kernel_prover_profile_result.d.ts +0 -25
  1111. package/dest/kernel/private_kernel_prover_profile_result.d.ts.map +0 -1
  1112. package/dest/kernel/private_kernel_prover_profile_result.js +0 -7
  1113. package/dest/logs/l1_payload/encrypted_log_payload.d.ts +0 -50
  1114. package/dest/logs/l1_payload/encrypted_log_payload.d.ts.map +0 -1
  1115. package/dest/logs/l1_payload/encrypted_log_payload.js +0 -140
  1116. package/dest/logs/l1_payload/encryption_util.d.ts +0 -24
  1117. package/dest/logs/l1_payload/encryption_util.d.ts.map +0 -1
  1118. package/dest/logs/l1_payload/encryption_util.js +0 -46
  1119. package/dest/logs/l1_payload/index.d.ts +0 -3
  1120. package/dest/logs/l1_payload/index.d.ts.map +0 -1
  1121. package/dest/logs/l1_payload/index.js +0 -2
  1122. package/dest/logs/l1_payload/l1_note_payload.d.ts +0 -82
  1123. package/dest/logs/l1_payload/l1_note_payload.d.ts.map +0 -1
  1124. package/dest/logs/l1_payload/l1_note_payload.js +0 -129
  1125. package/dest/logs/l1_payload/payload.d.ts +0 -60
  1126. package/dest/logs/l1_payload/payload.d.ts.map +0 -1
  1127. package/dest/logs/l1_payload/payload.js +0 -61
  1128. package/dest/logs/l1_payload/shared_secret_derivation.d.ts.map +0 -1
  1129. package/dest/network/index.d.ts +0 -32
  1130. package/dest/network/index.d.ts.map +0 -1
  1131. package/dest/network/index.js +0 -30
  1132. package/dest/rollup/constant_rollup_data.d.ts +0 -47
  1133. package/dest/rollup/constant_rollup_data.d.ts.map +0 -1
  1134. package/dest/shared_mutable/index.d.ts +0 -5
  1135. package/dest/shared_mutable/index.d.ts.map +0 -1
  1136. package/dest/shared_mutable/index.js +0 -4
  1137. package/dest/shared_mutable/scheduled_delay_change.d.ts +0 -10
  1138. package/dest/shared_mutable/scheduled_delay_change.d.ts.map +0 -1
  1139. package/dest/shared_mutable/scheduled_value_change.d.ts +0 -11
  1140. package/dest/shared_mutable/scheduled_value_change.d.ts.map +0 -1
  1141. package/dest/shared_mutable/shared_mutable_values.d.ts +0 -22
  1142. package/dest/shared_mutable/shared_mutable_values.d.ts.map +0 -1
  1143. package/dest/shared_mutable/shared_mutable_values_with_hash.d.ts.map +0 -1
  1144. package/dest/shared_mutable/shared_mutable_values_with_hash.js +0 -30
  1145. package/dest/tx/max_block_number.d.ts +0 -55
  1146. package/dest/tx/max_block_number.d.ts.map +0 -1
  1147. package/dest/tx/max_block_number.js +0 -65
  1148. package/dest/tx/public_execution_request.d.ts +0 -45
  1149. package/dest/tx/public_execution_request.d.ts.map +0 -1
  1150. package/dest/tx/public_execution_request.js +0 -72
  1151. package/dest/vks/vk_witness_data.d.ts.map +0 -1
  1152. package/src/block/l2_block_downloader/index.ts +0 -2
  1153. package/src/block/l2_block_downloader/l2_block_downloader.ts +0 -149
  1154. package/src/block/nullifier_with_block_source.ts +0 -7
  1155. package/src/event/event.ts +0 -16
  1156. package/src/event/event_metadata.ts +0 -56
  1157. package/src/event/index.ts +0 -3
  1158. package/src/event/l1_event_payload.ts +0 -87
  1159. package/src/kernel/combined_constant_data.ts +0 -128
  1160. package/src/kernel/hints/rollup_validation_requests.ts +0 -73
  1161. package/src/kernel/private_kernel_prover_profile_result.ts +0 -7
  1162. package/src/logs/l1_payload/encrypted_log_payload.ts +0 -202
  1163. package/src/logs/l1_payload/encryption_util.ts +0 -54
  1164. package/src/logs/l1_payload/index.ts +0 -2
  1165. package/src/logs/l1_payload/l1_note_payload.ts +0 -182
  1166. package/src/logs/l1_payload/payload.ts +0 -73
  1167. package/src/network/index.ts +0 -32
  1168. package/src/rollup/constant_rollup_data.ts +0 -54
  1169. package/src/shared_mutable/index.ts +0 -4
  1170. package/src/shared_mutable/scheduled_delay_change.ts +0 -13
  1171. package/src/shared_mutable/shared_mutable_values_with_hash.ts +0 -38
  1172. package/src/tx/max_block_number.ts +0 -79
  1173. package/src/tx/public_execution_request.ts +0 -97
  1174. /package/dest/block/{nullifier_with_block_source.js → l2_block_stream/interfaces.js} +0 -0
@@ -1,18 +1,17 @@
1
- /// <reference types="node" resolution-mode="require"/>
2
- /// <reference types="node" resolution-mode="require"/>
3
1
  import { MAX_CONTRACT_CLASS_LOGS_PER_CALL, MAX_ENQUEUED_CALLS_PER_CALL, MAX_KEY_VALIDATION_REQUESTS_PER_CALL, MAX_L2_TO_L1_MSGS_PER_CALL, MAX_NOTE_HASHES_PER_CALL, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL, MAX_NULLIFIERS_PER_CALL, MAX_NULLIFIER_READ_REQUESTS_PER_CALL, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL, MAX_PRIVATE_LOGS_PER_CALL } from '@aztec/constants';
4
2
  import { Fr } from '@aztec/foundation/fields';
5
- import { BufferReader, FieldReader, type Tuple } from '@aztec/foundation/serialize';
3
+ import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
6
4
  import type { FieldsOf } from '@aztec/foundation/types';
7
5
  import { KeyValidationRequestAndGenerator } from '../kernel/hints/key_validation_request_and_generator.js';
8
- import { LogHash } from '../kernel/log_hash.js';
6
+ import { CountedLogHash } from '../kernel/log_hash.js';
9
7
  import { PrivateCallRequest } from '../kernel/private_call_request.js';
10
8
  import { PrivateLogData } from '../kernel/private_log_data.js';
11
- import { L2ToL1Message } from '../messaging/l2_to_l1_message.js';
9
+ import { CountedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
12
10
  import { BlockHeader } from '../tx/block_header.js';
13
11
  import { CallContext } from '../tx/call_context.js';
14
- import { MaxBlockNumber } from '../tx/max_block_number.js';
15
12
  import { TxContext } from '../tx/tx_context.js';
13
+ import type { UInt64 } from '../types/shared.js';
14
+ import { ClaimedLengthArray } from './claimed_length_array.js';
16
15
  import { ReadRequest } from './hints/read_request.js';
17
16
  import { NoteHash } from './note_hash.js';
18
17
  import { Nullifier } from './nullifier.js';
@@ -42,37 +41,37 @@ export declare class PrivateCircuitPublicInputs {
42
41
  */
43
42
  isFeePayer: boolean;
44
43
  /**
45
- * The maximum block number in which this transaction can be included and be valid.
44
+ * The highest timestamp of a block in which the transaction can still be included.
46
45
  */
47
- maxBlockNumber: MaxBlockNumber;
46
+ includeByTimestamp: UInt64;
48
47
  /**
49
48
  * Read requests created by the corresponding function call.
50
49
  */
51
- noteHashReadRequests: Tuple<ReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_CALL>;
50
+ noteHashReadRequests: ClaimedLengthArray<ReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_CALL>;
52
51
  /**
53
52
  * Nullifier read requests created by the corresponding function call.
54
53
  */
55
- nullifierReadRequests: Tuple<ReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_CALL>;
54
+ nullifierReadRequests: ClaimedLengthArray<ReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_CALL>;
56
55
  /**
57
56
  * Key validation requests and generators created by the corresponding function call.
58
57
  */
59
- keyValidationRequestsAndGenerators: Tuple<KeyValidationRequestAndGenerator, typeof MAX_KEY_VALIDATION_REQUESTS_PER_CALL>;
58
+ keyValidationRequestsAndGenerators: ClaimedLengthArray<KeyValidationRequestAndGenerator, typeof MAX_KEY_VALIDATION_REQUESTS_PER_CALL>;
60
59
  /**
61
60
  * New note hashes created by the corresponding function call.
62
61
  */
63
- noteHashes: Tuple<NoteHash, typeof MAX_NOTE_HASHES_PER_CALL>;
62
+ noteHashes: ClaimedLengthArray<NoteHash, typeof MAX_NOTE_HASHES_PER_CALL>;
64
63
  /**
65
64
  * New nullifiers created by the corresponding function call.
66
65
  */
67
- nullifiers: Tuple<Nullifier, typeof MAX_NULLIFIERS_PER_CALL>;
66
+ nullifiers: ClaimedLengthArray<Nullifier, typeof MAX_NULLIFIERS_PER_CALL>;
68
67
  /**
69
68
  * Private call requests made within the current kernel iteration.
70
69
  */
71
- privateCallRequests: Tuple<PrivateCallRequest, typeof MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL>;
70
+ privateCallRequests: ClaimedLengthArray<PrivateCallRequest, typeof MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL>;
72
71
  /**
73
72
  * Public call stack at the current kernel iteration.
74
73
  */
75
- publicCallRequests: Tuple<CountedPublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_CALL>;
74
+ publicCallRequests: ClaimedLengthArray<CountedPublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_CALL>;
76
75
  /**
77
76
  * Hash of the public teardown function.
78
77
  */
@@ -80,15 +79,15 @@ export declare class PrivateCircuitPublicInputs {
80
79
  /**
81
80
  * New L2 to L1 messages created by the corresponding function call.
82
81
  */
83
- l2ToL1Msgs: Tuple<L2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_CALL>;
82
+ l2ToL1Msgs: ClaimedLengthArray<CountedL2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_CALL>;
84
83
  /**
85
84
  * Logs emitted in this function call.
86
85
  */
87
- privateLogs: Tuple<PrivateLogData, typeof MAX_PRIVATE_LOGS_PER_CALL>;
86
+ privateLogs: ClaimedLengthArray<PrivateLogData, typeof MAX_PRIVATE_LOGS_PER_CALL>;
88
87
  /**
89
88
  * Hash of the contract class logs emitted in this function call.
90
89
  */
91
- contractClassLogsHashes: Tuple<LogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_CALL>;
90
+ contractClassLogsHashes: ClaimedLengthArray<CountedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_CALL>;
92
91
  /**
93
92
  * The side effect counter at the start of this call.
94
93
  */
@@ -131,37 +130,37 @@ export declare class PrivateCircuitPublicInputs {
131
130
  */
132
131
  isFeePayer: boolean,
133
132
  /**
134
- * The maximum block number in which this transaction can be included and be valid.
133
+ * The highest timestamp of a block in which the transaction can still be included.
135
134
  */
136
- maxBlockNumber: MaxBlockNumber,
135
+ includeByTimestamp: UInt64,
137
136
  /**
138
137
  * Read requests created by the corresponding function call.
139
138
  */
140
- noteHashReadRequests: Tuple<ReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_CALL>,
139
+ noteHashReadRequests: ClaimedLengthArray<ReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_CALL>,
141
140
  /**
142
141
  * Nullifier read requests created by the corresponding function call.
143
142
  */
144
- nullifierReadRequests: Tuple<ReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_CALL>,
143
+ nullifierReadRequests: ClaimedLengthArray<ReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_CALL>,
145
144
  /**
146
145
  * Key validation requests and generators created by the corresponding function call.
147
146
  */
148
- keyValidationRequestsAndGenerators: Tuple<KeyValidationRequestAndGenerator, typeof MAX_KEY_VALIDATION_REQUESTS_PER_CALL>,
147
+ keyValidationRequestsAndGenerators: ClaimedLengthArray<KeyValidationRequestAndGenerator, typeof MAX_KEY_VALIDATION_REQUESTS_PER_CALL>,
149
148
  /**
150
149
  * New note hashes created by the corresponding function call.
151
150
  */
152
- noteHashes: Tuple<NoteHash, typeof MAX_NOTE_HASHES_PER_CALL>,
151
+ noteHashes: ClaimedLengthArray<NoteHash, typeof MAX_NOTE_HASHES_PER_CALL>,
153
152
  /**
154
153
  * New nullifiers created by the corresponding function call.
155
154
  */
156
- nullifiers: Tuple<Nullifier, typeof MAX_NULLIFIERS_PER_CALL>,
155
+ nullifiers: ClaimedLengthArray<Nullifier, typeof MAX_NULLIFIERS_PER_CALL>,
157
156
  /**
158
157
  * Private call requests made within the current kernel iteration.
159
158
  */
160
- privateCallRequests: Tuple<PrivateCallRequest, typeof MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL>,
159
+ privateCallRequests: ClaimedLengthArray<PrivateCallRequest, typeof MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL>,
161
160
  /**
162
161
  * Public call stack at the current kernel iteration.
163
162
  */
164
- publicCallRequests: Tuple<CountedPublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_CALL>,
163
+ publicCallRequests: ClaimedLengthArray<CountedPublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_CALL>,
165
164
  /**
166
165
  * Hash of the public teardown function.
167
166
  */
@@ -169,15 +168,15 @@ export declare class PrivateCircuitPublicInputs {
169
168
  /**
170
169
  * New L2 to L1 messages created by the corresponding function call.
171
170
  */
172
- l2ToL1Msgs: Tuple<L2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_CALL>,
171
+ l2ToL1Msgs: ClaimedLengthArray<CountedL2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_CALL>,
173
172
  /**
174
173
  * Logs emitted in this function call.
175
174
  */
176
- privateLogs: Tuple<PrivateLogData, typeof MAX_PRIVATE_LOGS_PER_CALL>,
175
+ privateLogs: ClaimedLengthArray<PrivateLogData, typeof MAX_PRIVATE_LOGS_PER_CALL>,
177
176
  /**
178
177
  * Hash of the contract class logs emitted in this function call.
179
178
  */
180
- contractClassLogsHashes: Tuple<LogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_CALL>,
179
+ contractClassLogsHashes: ClaimedLengthArray<CountedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_CALL>,
181
180
  /**
182
181
  * The side effect counter at the start of this call.
183
182
  */
@@ -222,7 +221,7 @@ export declare class PrivateCircuitPublicInputs {
222
221
  * @param fields - Object with fields.
223
222
  * @returns The array.
224
223
  */
225
- static getFields(fields: FieldsOf<PrivateCircuitPublicInputs>): readonly [CallContext, Fr, Fr, Fr, boolean, MaxBlockNumber, [ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest], [ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest], [KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator], [NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash], [Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier], [PrivateCallRequest, PrivateCallRequest, PrivateCallRequest, PrivateCallRequest, PrivateCallRequest], [CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest], PublicCallRequest, [L2ToL1Message, L2ToL1Message], [PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData], [LogHash], Fr, Fr, BlockHeader, TxContext];
224
+ static getFields(fields: FieldsOf<PrivateCircuitPublicInputs>): readonly [CallContext, Fr, Fr, Fr, boolean, bigint, ClaimedLengthArray<ReadRequest, 16>, ClaimedLengthArray<ReadRequest, 16>, ClaimedLengthArray<KeyValidationRequestAndGenerator, 16>, ClaimedLengthArray<NoteHash, 16>, ClaimedLengthArray<Nullifier, 16>, ClaimedLengthArray<PrivateCallRequest, 5>, ClaimedLengthArray<CountedPublicCallRequest, 16>, PublicCallRequest, ClaimedLengthArray<CountedL2ToL1Message, 2>, ClaimedLengthArray<PrivateLogData, 16>, ClaimedLengthArray<CountedLogHash, 1>, Fr, Fr, BlockHeader, TxContext];
226
225
  /**
227
226
  * Serialize this as a buffer.
228
227
  * @returns The buffer.
@@ -232,7 +231,7 @@ export declare class PrivateCircuitPublicInputs {
232
231
  * Serialize this as a field array.
233
232
  */
234
233
  toFields(): Fr[];
235
- toJSON(): Buffer;
234
+ toJSON(): Buffer<ArrayBufferLike>;
236
235
  static get schema(): import("zod").ZodType<PrivateCircuitPublicInputs, any, string>;
237
236
  }
238
237
  //# sourceMappingURL=private_circuit_public_inputs.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"private_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_circuit_public_inputs.ts"],"names":[],"mappings":";;AAAA,OAAO,EACL,gCAAgC,EAChC,2BAA2B,EAC3B,oCAAoC,EACpC,0BAA0B,EAC1B,wBAAwB,EACxB,oCAAoC,EACpC,uBAAuB,EACvB,oCAAoC,EACpC,sCAAsC,EACtC,yBAAyB,EAE1B,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EACL,YAAY,EACZ,WAAW,EACX,KAAK,KAAK,EAGX,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,gCAAgC,EAAE,MAAM,yDAAyD,CAAC;AAC3G,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAC;AACjE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAGvF;;GAEG;AACH,qBAAa,0BAA0B;IAEnC;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,cAAc,EAAE,cAAc;IACrC;;OAEG;IACI,oBAAoB,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IAC5F;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IAC7F;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAC9C,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IACnE;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IACnE;;OAEG;IACI,mBAAmB,EAAE,KAAK,CAAC,kBAAkB,EAAE,OAAO,sCAAsC,CAAC;IACpG;;OAEG;IACI,kBAAkB,EAAE,KAAK,CAAC,wBAAwB,EAAE,OAAO,2BAA2B,CAAC;IAC9F;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,aAAa,EAAE,OAAO,0BAA0B,CAAC;IAC1E;;OAEG;IACI,WAAW,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,yBAAyB,CAAC;IAC3E;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,OAAO,EAAE,OAAO,gCAAgC,CAAC;IACvF;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,gBAAgB,EAAE,WAAW;IACpC;;;;;;OAMG;IACI,SAAS,EAAE,SAAS;;IA1F3B;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,cAAc,EAAE,cAAc;IACrC;;OAEG;IACI,oBAAoB,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IAC5F;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IAC7F;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAC9C,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IACnE;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IACnE;;OAEG;IACI,mBAAmB,EAAE,KAAK,CAAC,kBAAkB,EAAE,OAAO,sCAAsC,CAAC;IACpG;;OAEG;IACI,kBAAkB,EAAE,KAAK,CAAC,wBAAwB,EAAE,OAAO,2BAA2B,CAAC;IAC9F;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,aAAa,EAAE,OAAO,0BAA0B,CAAC;IAC1E;;OAEG;IACI,WAAW,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,yBAAyB,CAAC;IAC3E;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,OAAO,EAAE,OAAO,gCAAgC,CAAC;IACvF;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,gBAAgB,EAAE,WAAW;IACpC;;;;;;OAMG;IACI,SAAS,EAAE,SAAS;IAG7B;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,GAAG,0BAA0B;IAIrF;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,0BAA0B;IA2B5E,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,0BAA0B;IA2BzE;;;OAGG;WACW,KAAK,IAAI,0BAA0B;IA0BjD,OAAO;IA0BP;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC;IA0B7D;;;OAGG;IACH,QAAQ,IAAI,MAAM;IAIlB;;OAEG;IACH,QAAQ,IAAI,EAAE,EAAE;IAUT,MAAM;IAIb,MAAM,KAAK,MAAM,mEAEhB;CACF"}
1
+ {"version":3,"file":"private_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_circuit_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gCAAgC,EAChC,2BAA2B,EAC3B,oCAAoC,EACpC,0BAA0B,EAC1B,wBAAwB,EACxB,oCAAoC,EACpC,uBAAuB,EACvB,oCAAoC,EACpC,sCAAsC,EACtC,yBAAyB,EAC1B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EACL,YAAY,EACZ,WAAW,EAIZ,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,gCAAgC,EAAE,MAAM,yDAAyD,CAAC;AAC3G,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EACL,kBAAkB,EAGnB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAEvF;;GAEG;AACH,qBAAa,0BAA0B;IAEnC;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,kBAAkB,EAAE,MAAM;IACjC;;OAEG;IACI,oBAAoB,EAAE,kBAAkB,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IACzG;;OAEG;IACI,qBAAqB,EAAE,kBAAkB,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IAC1G;;OAEG;IACI,kCAAkC,EAAE,kBAAkB,CAC3D,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IAChF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IAChF;;OAEG;IACI,mBAAmB,EAAE,kBAAkB,CAAC,kBAAkB,EAAE,OAAO,sCAAsC,CAAC;IACjH;;OAEG;IACI,kBAAkB,EAAE,kBAAkB,CAAC,wBAAwB,EAAE,OAAO,2BAA2B,CAAC;IAC3G;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,0BAA0B,CAAC;IAC9F;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,yBAAyB,CAAC;IACxF;;OAEG;IACI,uBAAuB,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,gCAAgC,CAAC;IAC3G;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,gBAAgB,EAAE,WAAW;IACpC;;;;;;OAMG;IACI,SAAS,EAAE,SAAS;;IA1F3B;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,kBAAkB,EAAE,MAAM;IACjC;;OAEG;IACI,oBAAoB,EAAE,kBAAkB,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IACzG;;OAEG;IACI,qBAAqB,EAAE,kBAAkB,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IAC1G;;OAEG;IACI,kCAAkC,EAAE,kBAAkB,CAC3D,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IAChF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IAChF;;OAEG;IACI,mBAAmB,EAAE,kBAAkB,CAAC,kBAAkB,EAAE,OAAO,sCAAsC,CAAC;IACjH;;OAEG;IACI,kBAAkB,EAAE,kBAAkB,CAAC,wBAAwB,EAAE,OAAO,2BAA2B,CAAC;IAC3G;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,0BAA0B,CAAC;IAC9F;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,yBAAyB,CAAC;IACxF;;OAEG;IACI,uBAAuB,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,gCAAgC,CAAC;IAC3G;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,gBAAgB,EAAE,WAAW;IACpC;;;;;;OAMG;IACI,SAAS,EAAE,SAAS;IAG7B;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,GAAG,0BAA0B;IAIrF;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,0BAA0B;IA6B5E,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,0BAA0B;IA6BzE;;;OAGG;WACW,KAAK,IAAI,0BAA0B;IA0BjD,OAAO;IA0BP;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC;IA0B7D;;;OAGG;IACH,QAAQ,IAAI,MAAM;IA4BlB;;OAEG;IACH,QAAQ,IAAI,EAAE,EAAE;IAIT,MAAM;IAIb,MAAM,KAAK,MAAM,mEAEhB;CACF"}
@@ -1,22 +1,20 @@
1
- import { MAX_CONTRACT_CLASS_LOGS_PER_CALL, MAX_ENQUEUED_CALLS_PER_CALL, MAX_KEY_VALIDATION_REQUESTS_PER_CALL, MAX_L2_TO_L1_MSGS_PER_CALL, MAX_NOTE_HASHES_PER_CALL, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL, MAX_NULLIFIERS_PER_CALL, MAX_NULLIFIER_READ_REQUESTS_PER_CALL, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL, MAX_PRIVATE_LOGS_PER_CALL, PRIVATE_CIRCUIT_PUBLIC_INPUTS_LENGTH } from '@aztec/constants';
2
- import { makeTuple } from '@aztec/foundation/array';
1
+ import { MAX_CONTRACT_CLASS_LOGS_PER_CALL, MAX_ENQUEUED_CALLS_PER_CALL, MAX_KEY_VALIDATION_REQUESTS_PER_CALL, MAX_L2_TO_L1_MSGS_PER_CALL, MAX_NOTE_HASHES_PER_CALL, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL, MAX_NULLIFIERS_PER_CALL, MAX_NULLIFIER_READ_REQUESTS_PER_CALL, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL, MAX_PRIVATE_LOGS_PER_CALL } from '@aztec/constants';
3
2
  import { Fr } from '@aztec/foundation/fields';
4
3
  import { bufferSchemaFor } from '@aztec/foundation/schemas';
5
- import { BufferReader, FieldReader, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
4
+ import { BufferReader, FieldReader, bigintToUInt64BE, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
6
5
  import { KeyValidationRequestAndGenerator } from '../kernel/hints/key_validation_request_and_generator.js';
7
- import { LogHash } from '../kernel/log_hash.js';
6
+ import { CountedLogHash } from '../kernel/log_hash.js';
8
7
  import { PrivateCallRequest } from '../kernel/private_call_request.js';
9
8
  import { PrivateLogData } from '../kernel/private_log_data.js';
10
- import { L2ToL1Message } from '../messaging/l2_to_l1_message.js';
9
+ import { CountedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
11
10
  import { BlockHeader } from '../tx/block_header.js';
12
11
  import { CallContext } from '../tx/call_context.js';
13
- import { MaxBlockNumber } from '../tx/max_block_number.js';
14
12
  import { TxContext } from '../tx/tx_context.js';
13
+ import { ClaimedLengthArray, ClaimedLengthArrayFromBuffer, ClaimedLengthArrayFromFields } from './claimed_length_array.js';
15
14
  import { ReadRequest } from './hints/read_request.js';
16
15
  import { NoteHash } from './note_hash.js';
17
16
  import { Nullifier } from './nullifier.js';
18
17
  import { CountedPublicCallRequest, PublicCallRequest } from './public_call_request.js';
19
- import { isEmptyArray } from './utils/order_and_comparison.js';
20
18
  /**
21
19
  * Public inputs to a private circuit.
22
20
  */ export class PrivateCircuitPublicInputs {
@@ -25,7 +23,7 @@ import { isEmptyArray } from './utils/order_and_comparison.js';
25
23
  returnsHash;
26
24
  minRevertibleSideEffectCounter;
27
25
  isFeePayer;
28
- maxBlockNumber;
26
+ includeByTimestamp;
29
27
  noteHashReadRequests;
30
28
  nullifierReadRequests;
31
29
  keyValidationRequestsAndGenerators;
@@ -52,8 +50,8 @@ import { isEmptyArray } from './utils/order_and_comparison.js';
52
50
  */ minRevertibleSideEffectCounter, /**
53
51
  * Whether the caller of the function is the fee payer.
54
52
  */ isFeePayer, /**
55
- * The maximum block number in which this transaction can be included and be valid.
56
- */ maxBlockNumber, /**
53
+ * The highest timestamp of a block in which the transaction can still be included.
54
+ */ includeByTimestamp, /**
57
55
  * Read requests created by the corresponding function call.
58
56
  */ noteHashReadRequests, /**
59
57
  * Nullifier read requests created by the corresponding function call.
@@ -93,7 +91,7 @@ import { isEmptyArray } from './utils/order_and_comparison.js';
93
91
  this.returnsHash = returnsHash;
94
92
  this.minRevertibleSideEffectCounter = minRevertibleSideEffectCounter;
95
93
  this.isFeePayer = isFeePayer;
96
- this.maxBlockNumber = maxBlockNumber;
94
+ this.includeByTimestamp = includeByTimestamp;
97
95
  this.noteHashReadRequests = noteHashReadRequests;
98
96
  this.nullifierReadRequests = nullifierReadRequests;
99
97
  this.keyValidationRequestsAndGenerators = keyValidationRequestsAndGenerators;
@@ -123,20 +121,20 @@ import { isEmptyArray } from './utils/order_and_comparison.js';
123
121
  * @returns The deserialized instance.
124
122
  */ static fromBuffer(buffer) {
125
123
  const reader = BufferReader.asReader(buffer);
126
- return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), reader.readBoolean(), reader.readObject(MaxBlockNumber), reader.readArray(MAX_NOTE_HASH_READ_REQUESTS_PER_CALL, ReadRequest), reader.readArray(MAX_NULLIFIER_READ_REQUESTS_PER_CALL, ReadRequest), reader.readArray(MAX_KEY_VALIDATION_REQUESTS_PER_CALL, KeyValidationRequestAndGenerator), reader.readArray(MAX_NOTE_HASHES_PER_CALL, NoteHash), reader.readArray(MAX_NULLIFIERS_PER_CALL, Nullifier), reader.readArray(MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL, PrivateCallRequest), reader.readArray(MAX_ENQUEUED_CALLS_PER_CALL, CountedPublicCallRequest), reader.readObject(PublicCallRequest), reader.readArray(MAX_L2_TO_L1_MSGS_PER_CALL, L2ToL1Message), reader.readArray(MAX_PRIVATE_LOGS_PER_CALL, PrivateLogData), reader.readArray(MAX_CONTRACT_CLASS_LOGS_PER_CALL, LogHash), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(BlockHeader), reader.readObject(TxContext));
124
+ return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), reader.readBoolean(), reader.readUInt64(), reader.readObject(ClaimedLengthArrayFromBuffer(ReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(ReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(KeyValidationRequestAndGenerator, MAX_KEY_VALIDATION_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(NoteHash, MAX_NOTE_HASHES_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(Nullifier, MAX_NULLIFIERS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_CALL)), reader.readObject(PublicCallRequest), reader.readObject(ClaimedLengthArrayFromBuffer(CountedL2ToL1Message, MAX_L2_TO_L1_MSGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(PrivateLogData, MAX_PRIVATE_LOGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(CountedLogHash, MAX_CONTRACT_CLASS_LOGS_PER_CALL)), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(BlockHeader), reader.readObject(TxContext));
127
125
  }
128
126
  static fromFields(fields) {
129
127
  const reader = FieldReader.asReader(fields);
130
- return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readField(), reader.readField(), reader.readField(), reader.readBoolean(), reader.readObject(MaxBlockNumber), reader.readArray(MAX_NOTE_HASH_READ_REQUESTS_PER_CALL, ReadRequest), reader.readArray(MAX_NULLIFIER_READ_REQUESTS_PER_CALL, ReadRequest), reader.readArray(MAX_KEY_VALIDATION_REQUESTS_PER_CALL, KeyValidationRequestAndGenerator), reader.readArray(MAX_NOTE_HASHES_PER_CALL, NoteHash), reader.readArray(MAX_NULLIFIERS_PER_CALL, Nullifier), reader.readArray(MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL, PrivateCallRequest), reader.readArray(MAX_ENQUEUED_CALLS_PER_CALL, CountedPublicCallRequest), reader.readObject(PublicCallRequest), reader.readArray(MAX_L2_TO_L1_MSGS_PER_CALL, L2ToL1Message), reader.readArray(MAX_PRIVATE_LOGS_PER_CALL, PrivateLogData), reader.readArray(MAX_CONTRACT_CLASS_LOGS_PER_CALL, LogHash), reader.readField(), reader.readField(), reader.readObject(BlockHeader), reader.readObject(TxContext));
128
+ return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readField(), reader.readField(), reader.readField(), reader.readBoolean(), reader.readU64(), reader.readObject(ClaimedLengthArrayFromFields(ReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(ReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(KeyValidationRequestAndGenerator, MAX_KEY_VALIDATION_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(NoteHash, MAX_NOTE_HASHES_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(Nullifier, MAX_NULLIFIERS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_CALL)), reader.readObject(PublicCallRequest), reader.readObject(ClaimedLengthArrayFromFields(CountedL2ToL1Message, MAX_L2_TO_L1_MSGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(PrivateLogData, MAX_PRIVATE_LOGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(CountedLogHash, MAX_CONTRACT_CLASS_LOGS_PER_CALL)), reader.readField(), reader.readField(), reader.readObject(BlockHeader), reader.readObject(TxContext));
131
129
  }
132
130
  /**
133
131
  * Create an empty PrivateCircuitPublicInputs.
134
132
  * @returns An empty PrivateCircuitPublicInputs object.
135
133
  */ static empty() {
136
- return new PrivateCircuitPublicInputs(CallContext.empty(), Fr.ZERO, Fr.ZERO, Fr.ZERO, false, MaxBlockNumber.empty(), makeTuple(MAX_NOTE_HASH_READ_REQUESTS_PER_CALL, ReadRequest.empty), makeTuple(MAX_NULLIFIER_READ_REQUESTS_PER_CALL, ReadRequest.empty), makeTuple(MAX_KEY_VALIDATION_REQUESTS_PER_CALL, KeyValidationRequestAndGenerator.empty), makeTuple(MAX_NOTE_HASHES_PER_CALL, NoteHash.empty), makeTuple(MAX_NULLIFIERS_PER_CALL, Nullifier.empty), makeTuple(MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL, PrivateCallRequest.empty), makeTuple(MAX_ENQUEUED_CALLS_PER_CALL, CountedPublicCallRequest.empty), PublicCallRequest.empty(), makeTuple(MAX_L2_TO_L1_MSGS_PER_CALL, L2ToL1Message.empty), makeTuple(MAX_PRIVATE_LOGS_PER_CALL, PrivateLogData.empty), makeTuple(MAX_CONTRACT_CLASS_LOGS_PER_CALL, LogHash.empty), Fr.ZERO, Fr.ZERO, BlockHeader.empty(), TxContext.empty());
134
+ return new PrivateCircuitPublicInputs(CallContext.empty(), Fr.ZERO, Fr.ZERO, Fr.ZERO, false, 0n, ClaimedLengthArray.empty(ReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL), ClaimedLengthArray.empty(ReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL), ClaimedLengthArray.empty(KeyValidationRequestAndGenerator, MAX_KEY_VALIDATION_REQUESTS_PER_CALL), ClaimedLengthArray.empty(NoteHash, MAX_NOTE_HASHES_PER_CALL), ClaimedLengthArray.empty(Nullifier, MAX_NULLIFIERS_PER_CALL), ClaimedLengthArray.empty(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL), ClaimedLengthArray.empty(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_CALL), PublicCallRequest.empty(), ClaimedLengthArray.empty(CountedL2ToL1Message, MAX_L2_TO_L1_MSGS_PER_CALL), ClaimedLengthArray.empty(PrivateLogData, MAX_PRIVATE_LOGS_PER_CALL), ClaimedLengthArray.empty(CountedLogHash, MAX_CONTRACT_CLASS_LOGS_PER_CALL), Fr.ZERO, Fr.ZERO, BlockHeader.empty(), TxContext.empty());
137
135
  }
138
136
  isEmpty() {
139
- return this.callContext.isEmpty() && this.argsHash.isZero() && this.returnsHash.isZero() && this.minRevertibleSideEffectCounter.isZero() && !this.isFeePayer && this.maxBlockNumber.isEmpty() && isEmptyArray(this.noteHashReadRequests) && isEmptyArray(this.nullifierReadRequests) && isEmptyArray(this.keyValidationRequestsAndGenerators) && isEmptyArray(this.noteHashes) && isEmptyArray(this.nullifiers) && isEmptyArray(this.privateCallRequests) && isEmptyArray(this.publicCallRequests) && this.publicTeardownCallRequest.isEmpty() && isEmptyArray(this.l2ToL1Msgs) && isEmptyArray(this.privateLogs) && isEmptyArray(this.contractClassLogsHashes) && this.startSideEffectCounter.isZero() && this.endSideEffectCounter.isZero() && this.historicalHeader.isEmpty() && this.txContext.isEmpty();
137
+ return this.callContext.isEmpty() && this.argsHash.isZero() && this.returnsHash.isZero() && this.minRevertibleSideEffectCounter.isZero() && !this.isFeePayer && !this.includeByTimestamp && this.noteHashReadRequests.isEmpty() && this.nullifierReadRequests.isEmpty() && this.keyValidationRequestsAndGenerators.isEmpty() && this.noteHashes.isEmpty() && this.nullifiers.isEmpty() && this.privateCallRequests.isEmpty() && this.publicCallRequests.isEmpty() && this.publicTeardownCallRequest.isEmpty() && this.l2ToL1Msgs.isEmpty() && this.privateLogs.isEmpty() && this.contractClassLogsHashes.isEmpty() && this.startSideEffectCounter.isZero() && this.endSideEffectCounter.isZero() && this.historicalHeader.isEmpty() && this.txContext.isEmpty();
140
138
  }
141
139
  /**
142
140
  * Serialize into a field array. Low-level utility.
@@ -149,7 +147,7 @@ import { isEmptyArray } from './utils/order_and_comparison.js';
149
147
  fields.returnsHash,
150
148
  fields.minRevertibleSideEffectCounter,
151
149
  fields.isFeePayer,
152
- fields.maxBlockNumber,
150
+ fields.includeByTimestamp,
153
151
  fields.noteHashReadRequests,
154
152
  fields.nullifierReadRequests,
155
153
  fields.keyValidationRequestsAndGenerators,
@@ -171,16 +169,36 @@ import { isEmptyArray } from './utils/order_and_comparison.js';
171
169
  * Serialize this as a buffer.
172
170
  * @returns The buffer.
173
171
  */ toBuffer() {
174
- return serializeToBuffer(...PrivateCircuitPublicInputs.getFields(this));
172
+ // TODO(#15525): Use the line below once UInt64 can be serialized correctly.
173
+ // return serializeToBuffer(...PrivateCircuitPublicInputs.getFields(this));
174
+ return serializeToBuffer([
175
+ this.callContext,
176
+ this.argsHash,
177
+ this.returnsHash,
178
+ this.minRevertibleSideEffectCounter,
179
+ this.isFeePayer,
180
+ bigintToUInt64BE(this.includeByTimestamp),
181
+ this.noteHashReadRequests,
182
+ this.nullifierReadRequests,
183
+ this.keyValidationRequestsAndGenerators,
184
+ this.noteHashes,
185
+ this.nullifiers,
186
+ this.privateCallRequests,
187
+ this.publicCallRequests,
188
+ this.publicTeardownCallRequest,
189
+ this.l2ToL1Msgs,
190
+ this.privateLogs,
191
+ this.contractClassLogsHashes,
192
+ this.startSideEffectCounter,
193
+ this.endSideEffectCounter,
194
+ this.historicalHeader,
195
+ this.txContext
196
+ ]);
175
197
  }
176
198
  /**
177
199
  * Serialize this as a field array.
178
200
  */ toFields() {
179
- const fields = serializeToFields(...PrivateCircuitPublicInputs.getFields(this));
180
- if (fields.length !== PRIVATE_CIRCUIT_PUBLIC_INPUTS_LENGTH) {
181
- throw new Error(`Invalid number of fields for PrivateCircuitPublicInputs. Expected ${PRIVATE_CIRCUIT_PUBLIC_INPUTS_LENGTH}, got ${fields.length}`);
182
- }
183
- return fields;
201
+ return serializeToFields(...PrivateCircuitPublicInputs.getFields(this));
184
202
  }
185
203
  toJSON() {
186
204
  return this.toBuffer();
@@ -1,9 +1,8 @@
1
- /// <reference types="node" resolution-mode="require"/>
2
- /// <reference types="node" resolution-mode="require"/>
3
1
  import { Fr } from '@aztec/foundation/fields';
4
2
  import { BufferReader } from '@aztec/foundation/serialize';
5
3
  import { AztecAddress } from '../aztec-address/index.js';
6
4
  import { TxConstantData } from '../tx/tx_constant_data.js';
5
+ import type { UInt64 } from '../types/shared.js';
7
6
  import { PrivateAccumulatedData } from './private_accumulated_data.js';
8
7
  import { PrivateValidationRequests } from './private_validation_requests.js';
9
8
  import { PublicCallRequest } from './public_call_request.js';
@@ -35,6 +34,10 @@ export declare class PrivateKernelCircuitPublicInputs {
35
34
  * The address of the fee payer for the transaction
36
35
  */
37
36
  feePayer: AztecAddress;
37
+ /**
38
+ * The timestamp by which the transaction must be included in a block.
39
+ */
40
+ includeByTimestamp: UInt64;
38
41
  /**
39
42
  * Wether this is a private only tx or not
40
43
  */
@@ -68,6 +71,10 @@ export declare class PrivateKernelCircuitPublicInputs {
68
71
  * The address of the fee payer for the transaction
69
72
  */
70
73
  feePayer: AztecAddress,
74
+ /**
75
+ * The timestamp by which the transaction must be included in a block.
76
+ */
77
+ includeByTimestamp: UInt64,
71
78
  /**
72
79
  * Wether this is a private only tx or not
73
80
  */
@@ -77,8 +84,8 @@ export declare class PrivateKernelCircuitPublicInputs {
77
84
  */
78
85
  claimedFirstNullifier: Fr);
79
86
  static get schema(): import("zod").ZodType<PrivateKernelCircuitPublicInputs, any, string>;
80
- toJSON(): Buffer;
81
- toBuffer(): Buffer;
87
+ toJSON(): Buffer<ArrayBufferLike>;
88
+ toBuffer(): Buffer<ArrayBufferLike>;
82
89
  /**
83
90
  * Deserializes from a buffer or reader, corresponding to a write in cpp.
84
91
  * @param buffer - Buffer or reader to read from.
@@ -1 +1 @@
1
- {"version":3,"file":"private_kernel_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_circuit_public_inputs.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,yBAAyB,EAAE,MAAM,kCAAkC,CAAC;AAC7E,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,gCAAgC;IAEzC;;OAEG;IACI,SAAS,EAAE,cAAc;IAChC;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,kBAAkB,EAAE,yBAAyB;IACpD;;OAEG;IACI,GAAG,EAAE,sBAAsB;IAClC;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,QAAQ,EAAE,YAAY;IAC7B;;OAEG;IACI,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,qBAAqB,EAAE,EAAE;;IA/BhC;;OAEG;IACI,SAAS,EAAE,cAAc;IAChC;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,kBAAkB,EAAE,yBAAyB;IACpD;;OAEG;IACI,GAAG,EAAE,sBAAsB;IAClC;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,QAAQ,EAAE,YAAY;IAC7B;;OAEG;IACI,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,qBAAqB,EAAE,EAAE;IAGlC,MAAM,KAAK,MAAM,yEAEhB;IAED,MAAM;IAIN,QAAQ;IAaR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,gCAAgC;IAclF,MAAM,CAAC,KAAK;CAYb"}
1
+ {"version":3,"file":"private_kernel_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_circuit_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAuC,MAAM,6BAA6B,CAAC;AAEhG,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,yBAAyB,EAAE,MAAM,kCAAkC,CAAC;AAC7E,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,gCAAgC;IAEzC;;OAEG;IACI,SAAS,EAAE,cAAc;IAChC;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,kBAAkB,EAAE,yBAAyB;IACpD;;OAEG;IACI,GAAG,EAAE,sBAAsB;IAClC;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,QAAQ,EAAE,YAAY;IAC7B;;OAEG;IACI,kBAAkB,EAAE,MAAM;IACjC;;OAEG;IACI,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,qBAAqB,EAAE,EAAE;;IAnChC;;OAEG;IACI,SAAS,EAAE,cAAc;IAChC;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,kBAAkB,EAAE,yBAAyB;IACpD;;OAEG;IACI,GAAG,EAAE,sBAAsB;IAClC;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,QAAQ,EAAE,YAAY;IAC7B;;OAEG;IACI,kBAAkB,EAAE,MAAM;IACjC;;OAEG;IACI,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,qBAAqB,EAAE,EAAE;IAGlC,MAAM,KAAK,MAAM,yEAEhB;IAED,MAAM;IAIN,QAAQ;IAcR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,gCAAgC;IAelF,MAAM,CAAC,KAAK;CAab"}
@@ -1,6 +1,6 @@
1
1
  import { Fr } from '@aztec/foundation/fields';
2
2
  import { bufferSchemaFor } from '@aztec/foundation/schemas';
3
- import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
3
+ import { BufferReader, bigintToUInt64BE, serializeToBuffer } from '@aztec/foundation/serialize';
4
4
  import { AztecAddress } from '../aztec-address/index.js';
5
5
  import { TxConstantData } from '../tx/tx_constant_data.js';
6
6
  import { PrivateAccumulatedData } from './private_accumulated_data.js';
@@ -15,6 +15,7 @@ import { PublicCallRequest } from './public_call_request.js';
15
15
  end;
16
16
  publicTeardownCallRequest;
17
17
  feePayer;
18
+ includeByTimestamp;
18
19
  isPrivateOnly;
19
20
  claimedFirstNullifier;
20
21
  constructor(/**
@@ -30,6 +31,8 @@ import { PublicCallRequest } from './public_call_request.js';
30
31
  */ publicTeardownCallRequest, /**
31
32
  * The address of the fee payer for the transaction
32
33
  */ feePayer, /**
34
+ * The timestamp by which the transaction must be included in a block.
35
+ */ includeByTimestamp, /**
33
36
  * Wether this is a private only tx or not
34
37
  */ isPrivateOnly, /**
35
38
  * The nullifier that will be used for nonce generation
@@ -40,6 +43,7 @@ import { PublicCallRequest } from './public_call_request.js';
40
43
  this.end = end;
41
44
  this.publicTeardownCallRequest = publicTeardownCallRequest;
42
45
  this.feePayer = feePayer;
46
+ this.includeByTimestamp = includeByTimestamp;
43
47
  this.isPrivateOnly = isPrivateOnly;
44
48
  this.claimedFirstNullifier = claimedFirstNullifier;
45
49
  }
@@ -50,7 +54,7 @@ import { PublicCallRequest } from './public_call_request.js';
50
54
  return this.toBuffer();
51
55
  }
52
56
  toBuffer() {
53
- return serializeToBuffer(this.constants, this.minRevertibleSideEffectCounter, this.validationRequests, this.end, this.publicTeardownCallRequest, this.feePayer, this.isPrivateOnly, this.claimedFirstNullifier);
57
+ return serializeToBuffer(this.constants, this.minRevertibleSideEffectCounter, this.validationRequests, this.end, this.publicTeardownCallRequest, this.feePayer, bigintToUInt64BE(this.includeByTimestamp), this.isPrivateOnly, this.claimedFirstNullifier);
54
58
  }
55
59
  /**
56
60
  * Deserializes from a buffer or reader, corresponding to a write in cpp.
@@ -58,9 +62,9 @@ import { PublicCallRequest } from './public_call_request.js';
58
62
  * @returns A new instance of PrivateKernelInnerCircuitPublicInputs.
59
63
  */ static fromBuffer(buffer) {
60
64
  const reader = BufferReader.asReader(buffer);
61
- return new PrivateKernelCircuitPublicInputs(reader.readObject(TxConstantData), reader.readObject(Fr), reader.readObject(PrivateValidationRequests), reader.readObject(PrivateAccumulatedData), reader.readObject(PublicCallRequest), reader.readObject(AztecAddress), reader.readBoolean(), reader.readObject(Fr));
65
+ return new PrivateKernelCircuitPublicInputs(reader.readObject(TxConstantData), reader.readObject(Fr), reader.readObject(PrivateValidationRequests), reader.readObject(PrivateAccumulatedData), reader.readObject(PublicCallRequest), reader.readObject(AztecAddress), reader.readUInt64(), reader.readBoolean(), reader.readObject(Fr));
62
66
  }
63
67
  static empty() {
64
- return new PrivateKernelCircuitPublicInputs(TxConstantData.empty(), Fr.zero(), PrivateValidationRequests.empty(), PrivateAccumulatedData.empty(), PublicCallRequest.empty(), AztecAddress.ZERO, false, Fr.zero());
68
+ return new PrivateKernelCircuitPublicInputs(TxConstantData.empty(), Fr.zero(), PrivateValidationRequests.empty(), PrivateAccumulatedData.empty(), PublicCallRequest.empty(), AztecAddress.ZERO, 0n, false, Fr.zero());
65
69
  }
66
70
  }
@@ -1,10 +1,5 @@
1
- /// <reference types="node" resolution-mode="require"/>
2
- /// <reference types="node" resolution-mode="require"/>
3
- import { VK_TREE_HEIGHT } from '@aztec/constants';
4
- import { Fr } from '@aztec/foundation/fields';
5
- import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
6
- import type { UInt32 } from '../types/shared.js';
7
- import { VerificationKeyAsFields } from '../vks/verification_key.js';
1
+ import { BufferReader } from '@aztec/foundation/serialize';
2
+ import { VkData } from '../vks/index.js';
8
3
  import { PrivateKernelCircuitPublicInputs } from './private_kernel_circuit_public_inputs.js';
9
4
  /**
10
5
  * Data of the previous kernel iteration in the chain of kernels.
@@ -15,39 +10,23 @@ export declare class PrivateKernelData {
15
10
  */
16
11
  publicInputs: PrivateKernelCircuitPublicInputs;
17
12
  /**
18
- * Verification key of the previous kernel.
13
+ * The verification key and the witness of the vk in the vk tree.
19
14
  */
20
- vk: VerificationKeyAsFields;
21
- /**
22
- * Index of the previous kernel's vk in a tree of vks.
23
- */
24
- vkIndex: UInt32;
25
- /**
26
- * Sibling path of the previous kernel's vk in a tree of vks.
27
- */
28
- vkPath: Tuple<Fr, typeof VK_TREE_HEIGHT>;
15
+ vkData: VkData;
29
16
  constructor(
30
17
  /**
31
18
  * Public inputs of the previous kernel.
32
19
  */
33
20
  publicInputs: PrivateKernelCircuitPublicInputs,
34
21
  /**
35
- * Verification key of the previous kernel.
36
- */
37
- vk: VerificationKeyAsFields,
38
- /**
39
- * Index of the previous kernel's vk in a tree of vks.
40
- */
41
- vkIndex: UInt32,
42
- /**
43
- * Sibling path of the previous kernel's vk in a tree of vks.
22
+ * The verification key and the witness of the vk in the vk tree.
44
23
  */
45
- vkPath: Tuple<Fr, typeof VK_TREE_HEIGHT>);
24
+ vkData: VkData);
46
25
  /**
47
26
  * Serialize this as a buffer.
48
27
  * @returns The buffer.
49
28
  */
50
- toBuffer(): Buffer;
29
+ toBuffer(): Buffer<ArrayBufferLike>;
51
30
  static fromBuffer(buffer: Buffer | BufferReader): PrivateKernelData;
52
31
  static empty(): PrivateKernelData;
53
32
  }
@@ -1 +1 @@
1
- {"version":3,"file":"private_kernel_data.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_data.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAgD,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAEhG,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAE1F,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,gCAAgC,EAAE,MAAM,2CAA2C,CAAC;AAE7F;;GAEG;AACH,qBAAa,iBAAiB;IAI1B;;OAEG;IACI,YAAY,EAAE,gCAAgC;IACrD;;OAEG;IACI,EAAE,EAAE,uBAAuB;IAClC;;OAEG;IACI,OAAO,EAAE,MAAM;IACtB;;OAEG;IACI,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAf/C;;OAEG;IACI,YAAY,EAAE,gCAAgC;IACrD;;OAEG;IACI,EAAE,EAAE,uBAAuB;IAClC;;OAEG;IACI,OAAO,EAAE,MAAM;IACtB;;OAEG;IACI,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGjD;;;OAGG;IACH,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,iBAAiB;IAUnE,MAAM,CAAC,KAAK,IAAI,iBAAiB;CAQlC"}
1
+ {"version":3,"file":"private_kernel_data.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AACzC,OAAO,EAAE,gCAAgC,EAAE,MAAM,2CAA2C,CAAC;AAE7F;;GAEG;AACH,qBAAa,iBAAiB;IAI1B;;OAEG;IACI,YAAY,EAAE,gCAAgC;IACrD;;OAEG;IACI,MAAM,EAAE,MAAM;;IAPrB;;OAEG;IACI,YAAY,EAAE,gCAAgC;IACrD;;OAEG;IACI,MAAM,EAAE,MAAM;IAGvB;;;OAGG;IACH,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,iBAAiB;IAKnE,MAAM,CAAC,KAAK,IAAI,iBAAiB;CAGlC"}
@@ -1,43 +1,32 @@
1
- import { CLIENT_IVC_VERIFICATION_KEY_LENGTH_IN_FIELDS, VK_TREE_HEIGHT } from '@aztec/constants';
2
- import { makeTuple } from '@aztec/foundation/array';
3
- import { Fr } from '@aztec/foundation/fields';
4
1
  import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
5
- import { VerificationKeyAsFields } from '../vks/verification_key.js';
2
+ import { VkData } from '../vks/index.js';
6
3
  import { PrivateKernelCircuitPublicInputs } from './private_kernel_circuit_public_inputs.js';
7
4
  /**
8
5
  * Data of the previous kernel iteration in the chain of kernels.
9
6
  */ export class PrivateKernelData {
10
7
  publicInputs;
11
- vk;
12
- vkIndex;
13
- vkPath;
8
+ vkData;
14
9
  // NOTE: as of move to honk and client IVC, previous private kernels no longer come with their proof
15
10
  // as we do client IVC not recursive verification. We need to ensure the public inputs here is properly constrained, TODO(https://github.com/AztecProtocol/barretenberg/issues/1048)
16
11
  constructor(/**
17
12
  * Public inputs of the previous kernel.
18
13
  */ publicInputs, /**
19
- * Verification key of the previous kernel.
20
- */ vk, /**
21
- * Index of the previous kernel's vk in a tree of vks.
22
- */ vkIndex, /**
23
- * Sibling path of the previous kernel's vk in a tree of vks.
24
- */ vkPath){
14
+ * The verification key and the witness of the vk in the vk tree.
15
+ */ vkData){
25
16
  this.publicInputs = publicInputs;
26
- this.vk = vk;
27
- this.vkIndex = vkIndex;
28
- this.vkPath = vkPath;
17
+ this.vkData = vkData;
29
18
  }
30
19
  /**
31
20
  * Serialize this as a buffer.
32
21
  * @returns The buffer.
33
22
  */ toBuffer() {
34
- return serializeToBuffer(this.publicInputs, this.vk, this.vkIndex, this.vkPath);
23
+ return serializeToBuffer(this.publicInputs, this.vkData);
35
24
  }
36
25
  static fromBuffer(buffer) {
37
26
  const reader = BufferReader.asReader(buffer);
38
- return new this(reader.readObject(PrivateKernelCircuitPublicInputs), reader.readObject(VerificationKeyAsFields), reader.readNumber(), reader.readArray(VK_TREE_HEIGHT, Fr));
27
+ return new this(reader.readObject(PrivateKernelCircuitPublicInputs), reader.readObject(VkData));
39
28
  }
40
29
  static empty() {
41
- return new PrivateKernelData(PrivateKernelCircuitPublicInputs.empty(), VerificationKeyAsFields.makeFake(CLIENT_IVC_VERIFICATION_KEY_LENGTH_IN_FIELDS), 0, makeTuple(VK_TREE_HEIGHT, Fr.zero));
30
+ return new PrivateKernelData(PrivateKernelCircuitPublicInputs.empty(), VkData.empty());
42
31
  }
43
32
  }
@@ -1,5 +1,3 @@
1
- /// <reference types="node" resolution-mode="require"/>
2
- /// <reference types="node" resolution-mode="require"/>
3
1
  import { Fr } from '@aztec/foundation/fields';
4
2
  import { BufferReader } from '@aztec/foundation/serialize';
5
3
  import { TxRequest } from '../tx/tx_request.js';
@@ -61,7 +59,7 @@ export declare class PrivateKernelInitCircuitPrivateInputs {
61
59
  * Serialize this as a buffer.
62
60
  * @returns The buffer.
63
61
  */
64
- toBuffer(): Buffer;
62
+ toBuffer(): Buffer<ArrayBufferLike>;
65
63
  /**
66
64
  * Deserializes from a buffer or reader.
67
65
  * @param buffer - Buffer or reader to read from.
@@ -1 +1 @@
1
- {"version":3,"file":"private_kernel_init_circuit_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_init_circuit_private_inputs.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD;;GAEG;AACH,qBAAa,qCAAqC;IAE9C;;OAEG;IACI,SAAS,EAAE,SAAS;IAC3B;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,wBAAwB,EAAE,EAAE;IACnC;;OAEG;IACI,WAAW,EAAE,eAAe;IACnC;;OAEG;IACI,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,kBAAkB,EAAE,EAAE;;IAvB7B;;OAEG;IACI,SAAS,EAAE,SAAS;IAC3B;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,wBAAwB,EAAE,EAAE;IACnC;;OAEG;IACI,WAAW,EAAE,eAAe;IACnC;;OAEG;IACI,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,kBAAkB,EAAE,EAAE;IAG/B;;;OAGG;IACH,QAAQ;IAUR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qCAAqC;CAWxF"}
1
+ {"version":3,"file":"private_kernel_init_circuit_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_init_circuit_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD;;GAEG;AACH,qBAAa,qCAAqC;IAE9C;;OAEG;IACI,SAAS,EAAE,SAAS;IAC3B;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,wBAAwB,EAAE,EAAE;IACnC;;OAEG;IACI,WAAW,EAAE,eAAe;IACnC;;OAEG;IACI,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,kBAAkB,EAAE,EAAE;;IAvB7B;;OAEG;IACI,SAAS,EAAE,SAAS;IAC3B;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,wBAAwB,EAAE,EAAE;IACnC;;OAEG;IACI,WAAW,EAAE,eAAe;IACnC;;OAEG;IACI,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,kBAAkB,EAAE,EAAE;IAG/B;;;OAGG;IACH,QAAQ;IAUR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qCAAqC;CAWxF"}
@@ -1,5 +1,3 @@
1
- /// <reference types="node" resolution-mode="require"/>
2
- /// <reference types="node" resolution-mode="require"/>
3
1
  import { BufferReader } from '@aztec/foundation/serialize';
4
2
  import { PrivateCallData } from './private_call_data.js';
5
3
  import { PrivateKernelData } from './private_kernel_data.js';
@@ -28,7 +26,7 @@ export declare class PrivateKernelInnerCircuitPrivateInputs {
28
26
  * Serialize this as a buffer.
29
27
  * @returns The buffer.
30
28
  */
31
- toBuffer(): Buffer;
29
+ toBuffer(): Buffer<ArrayBufferLike>;
32
30
  /**
33
31
  * Deserializes from a buffer or reader.
34
32
  * @param buffer - Buffer or reader to read from.
@@ -1 +1 @@
1
- {"version":3,"file":"private_kernel_inner_circuit_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_inner_circuit_private_inputs.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,sCAAsC;IAE/C;;OAEG;IACI,cAAc,EAAE,iBAAiB;IACxC;;OAEG;IACI,WAAW,EAAE,eAAe;;IAPnC;;OAEG;IACI,cAAc,EAAE,iBAAiB;IACxC;;OAEG;IACI,WAAW,EAAE,eAAe;IAGrC;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sCAAsC;CAOzF"}
1
+ {"version":3,"file":"private_kernel_inner_circuit_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_inner_circuit_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,sCAAsC;IAE/C;;OAEG;IACI,cAAc,EAAE,iBAAiB;IACxC;;OAEG;IACI,WAAW,EAAE,eAAe;;IAPnC;;OAEG;IACI,cAAc,EAAE,iBAAiB;IACxC;;OAEG;IACI,WAAW,EAAE,eAAe;IAGrC;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sCAAsC;CAOzF"}