@aztec/stdlib 0.0.1-commit.2f68f620 → 0.0.1-commit.321f6a9

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 (445) hide show
  1. package/dest/abi/abi.d.ts +8 -1
  2. package/dest/abi/abi.d.ts.map +1 -1
  3. package/dest/abi/buffer.d.ts +6 -2
  4. package/dest/abi/buffer.d.ts.map +1 -1
  5. package/dest/abi/buffer.js +13 -1
  6. package/dest/abi/contract_artifact.d.ts +1 -1
  7. package/dest/abi/contract_artifact.d.ts.map +1 -1
  8. package/dest/abi/contract_artifact.js +26 -8
  9. package/dest/avm/avm.js +1 -1
  10. package/dest/aztec-address/index.d.ts +35 -5
  11. package/dest/aztec-address/index.d.ts.map +1 -1
  12. package/dest/aztec-address/index.js +32 -8
  13. package/dest/block/attestation_info.d.ts +1 -1
  14. package/dest/block/attestation_info.d.ts.map +1 -1
  15. package/dest/block/attestation_info.js +7 -4
  16. package/dest/block/l2_block_source.d.ts +46 -23
  17. package/dest/block/l2_block_source.d.ts.map +1 -1
  18. package/dest/block/l2_block_source.js +15 -1
  19. package/dest/block/l2_block_stream/event_driven_l2_block_stream.d.ts +39 -0
  20. package/dest/block/l2_block_stream/event_driven_l2_block_stream.d.ts.map +1 -0
  21. package/dest/block/l2_block_stream/event_driven_l2_block_stream.js +165 -0
  22. package/dest/block/l2_block_stream/index.d.ts +2 -1
  23. package/dest/block/l2_block_stream/index.d.ts.map +1 -1
  24. package/dest/block/l2_block_stream/index.js +1 -0
  25. package/dest/block/l2_block_stream/interfaces.d.ts +81 -11
  26. package/dest/block/l2_block_stream/interfaces.d.ts.map +1 -1
  27. package/dest/block/l2_block_stream/interfaces.js +25 -1
  28. package/dest/block/l2_block_stream/l2_block_stream.d.ts +23 -15
  29. package/dest/block/l2_block_stream/l2_block_stream.d.ts.map +1 -1
  30. package/dest/block/l2_block_stream/l2_block_stream.js +149 -152
  31. package/dest/block/l2_block_stream/l2_tips_memory_store.d.ts +6 -12
  32. package/dest/block/l2_block_stream/l2_tips_memory_store.d.ts.map +1 -1
  33. package/dest/block/l2_block_stream/l2_tips_memory_store.js +8 -32
  34. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts +17 -18
  35. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts.map +1 -1
  36. package/dest/block/l2_block_stream/l2_tips_store_base.js +70 -58
  37. package/dest/block/proposal/attestations_and_signers.d.ts +19 -1
  38. package/dest/block/proposal/attestations_and_signers.d.ts.map +1 -1
  39. package/dest/block/proposal/attestations_and_signers.js +47 -7
  40. package/dest/block/test/l2_tips_store_test_suite.d.ts +1 -1
  41. package/dest/block/test/l2_tips_store_test_suite.d.ts.map +1 -1
  42. package/dest/block/test/l2_tips_store_test_suite.js +296 -37
  43. package/dest/block/validate_block_result.d.ts +16 -1
  44. package/dest/block/validate_block_result.d.ts.map +1 -1
  45. package/dest/block/validate_block_result.js +18 -3
  46. package/dest/checkpoint/checkpoint.js +2 -2
  47. package/dest/checkpoint/index.d.ts +2 -1
  48. package/dest/checkpoint/index.d.ts.map +1 -1
  49. package/dest/checkpoint/index.js +1 -0
  50. package/dest/checkpoint/simulation_overrides.d.ts +61 -0
  51. package/dest/checkpoint/simulation_overrides.d.ts.map +1 -0
  52. package/dest/checkpoint/simulation_overrides.js +98 -0
  53. package/dest/checkpoint/validate.d.ts +11 -3
  54. package/dest/checkpoint/validate.d.ts.map +1 -1
  55. package/dest/checkpoint/validate.js +9 -6
  56. package/dest/config/index.d.ts +2 -1
  57. package/dest/config/index.d.ts.map +1 -1
  58. package/dest/config/index.js +1 -0
  59. package/dest/config/network-consensus-config.d.ts +72 -0
  60. package/dest/config/network-consensus-config.d.ts.map +1 -0
  61. package/dest/config/network-consensus-config.js +223 -0
  62. package/dest/config/sequencer-config.d.ts +4 -2
  63. package/dest/config/sequencer-config.d.ts.map +1 -1
  64. package/dest/config/sequencer-config.js +22 -3
  65. package/dest/contract/contract_address.d.ts +5 -4
  66. package/dest/contract/contract_address.d.ts.map +1 -1
  67. package/dest/contract/contract_class.d.ts +1 -1
  68. package/dest/contract/contract_class.d.ts.map +1 -1
  69. package/dest/contract/contract_class.js +3 -2
  70. package/dest/contract/contract_instance.d.ts +16 -2
  71. package/dest/contract/contract_instance.d.ts.map +1 -1
  72. package/dest/contract/contract_instance.js +45 -0
  73. package/dest/contract/interfaces/contract_data_source.d.ts +3 -5
  74. package/dest/contract/interfaces/contract_data_source.d.ts.map +1 -1
  75. package/dest/contract/interfaces/contract_instance.d.ts +71 -10
  76. package/dest/contract/interfaces/contract_instance.d.ts.map +1 -1
  77. package/dest/contract/interfaces/contract_instance.js +7 -2
  78. package/dest/contract/interfaces/node-info.d.ts +11 -1
  79. package/dest/contract/interfaces/node-info.d.ts.map +1 -1
  80. package/dest/contract/interfaces/node-info.js +7 -1
  81. package/dest/contract/partial_address.d.ts +9 -3
  82. package/dest/contract/partial_address.d.ts.map +1 -1
  83. package/dest/contract/partial_address.js +8 -2
  84. package/dest/database-version/version_manager.d.ts +18 -4
  85. package/dest/database-version/version_manager.d.ts.map +1 -1
  86. package/dest/database-version/version_manager.js +76 -6
  87. package/dest/deserialization/index.d.ts +35 -3
  88. package/dest/deserialization/index.d.ts.map +1 -1
  89. package/dest/deserialization/index.js +32 -1
  90. package/dest/file-store/factory.d.ts +1 -1
  91. package/dest/file-store/factory.d.ts.map +1 -1
  92. package/dest/file-store/factory.js +7 -0
  93. package/dest/file-store/index.d.ts +2 -1
  94. package/dest/file-store/index.d.ts.map +1 -1
  95. package/dest/file-store/index.js +1 -0
  96. package/dest/file-store/memory.d.ts +24 -0
  97. package/dest/file-store/memory.d.ts.map +1 -0
  98. package/dest/file-store/memory.js +80 -0
  99. package/dest/gas/gas_settings.d.ts +7 -13
  100. package/dest/gas/gas_settings.d.ts.map +1 -1
  101. package/dest/gas/gas_settings.js +9 -16
  102. package/dest/gas/index.d.ts +2 -1
  103. package/dest/gas/index.d.ts.map +1 -1
  104. package/dest/gas/index.js +1 -0
  105. package/dest/gas/tx_gas_limits.d.ts +72 -0
  106. package/dest/gas/tx_gas_limits.d.ts.map +1 -0
  107. package/dest/gas/tx_gas_limits.js +85 -0
  108. package/dest/ha-signing/config.d.ts +19 -5
  109. package/dest/ha-signing/config.d.ts.map +1 -1
  110. package/dest/ha-signing/config.js +9 -3
  111. package/dest/ha-signing/local_config.d.ts +10 -2
  112. package/dest/ha-signing/local_config.d.ts.map +1 -1
  113. package/dest/ha-signing/local_config.js +8 -2
  114. package/dest/hash/hash.d.ts +1 -2
  115. package/dest/hash/hash.d.ts.map +1 -1
  116. package/dest/hash/hash.js +0 -7
  117. package/dest/interfaces/archiver.d.ts +12 -7
  118. package/dest/interfaces/archiver.d.ts.map +1 -1
  119. package/dest/interfaces/archiver.js +4 -2
  120. package/dest/interfaces/aztec-node-admin.d.ts +24 -17
  121. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  122. package/dest/interfaces/aztec-node-admin.js +1 -1
  123. package/dest/interfaces/aztec-node-debug.d.ts +40 -2
  124. package/dest/interfaces/aztec-node-debug.d.ts.map +1 -1
  125. package/dest/interfaces/aztec-node-debug.js +29 -1
  126. package/dest/interfaces/aztec-node.d.ts +69 -28
  127. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  128. package/dest/interfaces/aztec-node.js +56 -20
  129. package/dest/interfaces/block-builder.d.ts +9 -2
  130. package/dest/interfaces/block-builder.d.ts.map +1 -1
  131. package/dest/interfaces/chain_tips.d.ts +8 -47
  132. package/dest/interfaces/chain_tips.d.ts.map +1 -1
  133. package/dest/interfaces/chain_tips.js +1 -6
  134. package/dest/interfaces/checkpoint_parameter.d.ts +3 -3
  135. package/dest/interfaces/checkpoint_parameter.d.ts.map +1 -1
  136. package/dest/interfaces/checkpoint_parameter.js +3 -3
  137. package/dest/interfaces/client.d.ts +2 -1
  138. package/dest/interfaces/client.d.ts.map +1 -1
  139. package/dest/interfaces/configs.d.ts +27 -6
  140. package/dest/interfaces/configs.d.ts.map +1 -1
  141. package/dest/interfaces/configs.js +5 -1
  142. package/dest/interfaces/get_tx_by_hash_options.d.ts +9 -0
  143. package/dest/interfaces/get_tx_by_hash_options.d.ts.map +1 -0
  144. package/dest/interfaces/get_tx_by_hash_options.js +4 -0
  145. package/dest/interfaces/merkle_tree_operations.d.ts +3 -4
  146. package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
  147. package/dest/interfaces/p2p.d.ts +38 -9
  148. package/dest/interfaces/p2p.d.ts.map +1 -1
  149. package/dest/interfaces/p2p.js +14 -2
  150. package/dest/interfaces/private_kernel_prover.d.ts +71 -12
  151. package/dest/interfaces/private_kernel_prover.d.ts.map +1 -1
  152. package/dest/interfaces/prover-client.d.ts +2 -3
  153. package/dest/interfaces/prover-client.d.ts.map +1 -1
  154. package/dest/interfaces/prover-node.d.ts +12 -8
  155. package/dest/interfaces/prover-node.d.ts.map +1 -1
  156. package/dest/interfaces/prover-node.js +24 -17
  157. package/dest/interfaces/proving-job.d.ts +87 -74
  158. package/dest/interfaces/proving-job.d.ts.map +1 -1
  159. package/dest/interfaces/proving-job.js +13 -4
  160. package/dest/interfaces/server.d.ts +1 -2
  161. package/dest/interfaces/server.d.ts.map +1 -1
  162. package/dest/interfaces/server.js +0 -1
  163. package/dest/interfaces/server_circuit_prover.d.ts +3 -3
  164. package/dest/interfaces/server_circuit_prover.d.ts.map +1 -1
  165. package/dest/interfaces/validator.d.ts +15 -4
  166. package/dest/interfaces/validator.d.ts.map +1 -1
  167. package/dest/interfaces/validator.js +3 -1
  168. package/dest/interfaces/world_state.d.ts +14 -1
  169. package/dest/interfaces/world_state.d.ts.map +1 -1
  170. package/dest/kernel/hints/find_private_kernel_reset_dimensions.d.ts +8 -2
  171. package/dest/kernel/hints/find_private_kernel_reset_dimensions.d.ts.map +1 -1
  172. package/dest/kernel/hints/find_private_kernel_reset_dimensions.js +12 -74
  173. package/dest/kernel/hints/read_request.js +1 -1
  174. package/dest/kernel/index.d.ts +6 -2
  175. package/dest/kernel/index.d.ts.map +1 -1
  176. package/dest/kernel/index.js +5 -1
  177. package/dest/kernel/log_hash.d.ts +1 -1
  178. package/dest/kernel/log_hash.d.ts.map +1 -1
  179. package/dest/kernel/log_hash.js +2 -2
  180. package/dest/kernel/note_hash.js +1 -1
  181. package/dest/kernel/nullifier.js +1 -1
  182. package/dest/kernel/private_circuit_public_inputs.d.ts +13 -3
  183. package/dest/kernel/private_circuit_public_inputs.d.ts.map +1 -1
  184. package/dest/kernel/private_circuit_public_inputs.js +14 -7
  185. package/dest/kernel/private_context_inputs.d.ts +4 -3
  186. package/dest/kernel/private_context_inputs.d.ts.map +1 -1
  187. package/dest/kernel/private_context_inputs.js +7 -3
  188. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts +7 -9
  189. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts.map +1 -1
  190. package/dest/kernel/private_kernel_circuit_public_inputs.js +10 -7
  191. package/dest/kernel/private_kernel_init_2_circuit_private_inputs.d.ts +2 -3
  192. package/dest/kernel/private_kernel_init_2_circuit_private_inputs.d.ts.map +1 -1
  193. package/dest/kernel/private_kernel_init_2_circuit_private_inputs.js +3 -5
  194. package/dest/kernel/private_kernel_init_3_circuit_private_inputs.d.ts +2 -3
  195. package/dest/kernel/private_kernel_init_3_circuit_private_inputs.d.ts.map +1 -1
  196. package/dest/kernel/private_kernel_init_3_circuit_private_inputs.js +3 -5
  197. package/dest/kernel/private_kernel_init_4_circuit_private_inputs.d.ts +24 -0
  198. package/dest/kernel/private_kernel_init_4_circuit_private_inputs.d.ts.map +1 -0
  199. package/dest/kernel/private_kernel_init_4_circuit_private_inputs.js +37 -0
  200. package/dest/kernel/private_kernel_init_5_circuit_private_inputs.d.ts +25 -0
  201. package/dest/kernel/private_kernel_init_5_circuit_private_inputs.d.ts.map +1 -0
  202. package/dest/kernel/private_kernel_init_5_circuit_private_inputs.js +39 -0
  203. package/dest/kernel/private_kernel_init_circuit_private_inputs.d.ts +1 -9
  204. package/dest/kernel/private_kernel_init_circuit_private_inputs.d.ts.map +1 -1
  205. package/dest/kernel/private_kernel_init_circuit_private_inputs.js +2 -6
  206. package/dest/kernel/private_kernel_inner_4_circuit_private_inputs.d.ts +18 -0
  207. package/dest/kernel/private_kernel_inner_4_circuit_private_inputs.d.ts.map +1 -0
  208. package/dest/kernel/private_kernel_inner_4_circuit_private_inputs.js +27 -0
  209. package/dest/kernel/private_kernel_inner_5_circuit_private_inputs.d.ts +19 -0
  210. package/dest/kernel/private_kernel_inner_5_circuit_private_inputs.d.ts.map +1 -0
  211. package/dest/kernel/private_kernel_inner_5_circuit_private_inputs.js +29 -0
  212. package/dest/kernel/private_kernel_prover_output.d.ts +4 -1
  213. package/dest/kernel/private_kernel_prover_output.d.ts.map +1 -1
  214. package/dest/kernel/private_kernel_prover_output.js +4 -1
  215. package/dest/kernel/private_kernel_reset_dimensions.d.ts +7 -8
  216. package/dest/kernel/private_kernel_reset_dimensions.d.ts.map +1 -1
  217. package/dest/kernel/private_kernel_reset_tail_circuit_private_inputs.d.ts +29 -0
  218. package/dest/kernel/private_kernel_reset_tail_circuit_private_inputs.d.ts.map +1 -0
  219. package/dest/kernel/private_kernel_reset_tail_circuit_private_inputs.js +36 -0
  220. package/dest/kernel/private_log_data.d.ts +1 -1
  221. package/dest/kernel/private_log_data.d.ts.map +1 -1
  222. package/dest/kernel/private_log_data.js +1 -1
  223. package/dest/keys/derivation.d.ts +41 -6
  224. package/dest/keys/derivation.d.ts.map +1 -1
  225. package/dest/keys/derivation.js +49 -26
  226. package/dest/logs/app_tagging_secret.d.ts +30 -7
  227. package/dest/logs/app_tagging_secret.d.ts.map +1 -1
  228. package/dest/logs/app_tagging_secret.js +46 -39
  229. package/dest/logs/app_tagging_secret_kind.js +1 -1
  230. package/dest/logs/contract_class_log.d.ts +1 -2
  231. package/dest/logs/contract_class_log.d.ts.map +1 -1
  232. package/dest/logs/contract_class_log.js +0 -4
  233. package/dest/logs/message_context.d.ts +5 -15
  234. package/dest/logs/message_context.d.ts.map +1 -1
  235. package/dest/logs/message_context.js +1 -66
  236. package/dest/logs/pending_tagged_log.d.ts +6 -8
  237. package/dest/logs/pending_tagged_log.d.ts.map +1 -1
  238. package/dest/logs/pending_tagged_log.js +1 -31
  239. package/dest/logs/shared_secret_derivation.d.ts +29 -6
  240. package/dest/logs/shared_secret_derivation.d.ts.map +1 -1
  241. package/dest/logs/shared_secret_derivation.js +44 -11
  242. package/dest/messaging/l1_to_l2_message.d.ts +23 -2
  243. package/dest/messaging/l1_to_l2_message.d.ts.map +1 -1
  244. package/dest/messaging/l1_to_l2_message.js +36 -11
  245. package/dest/noir/index.d.ts +3 -3
  246. package/dest/noir/index.d.ts.map +1 -1
  247. package/dest/p2p/attestation_utils.d.ts +1 -1
  248. package/dest/p2p/attestation_utils.d.ts.map +1 -1
  249. package/dest/p2p/attestation_utils.js +8 -1
  250. package/dest/p2p/checkpoint_attestation.d.ts +10 -1
  251. package/dest/p2p/checkpoint_attestation.d.ts.map +1 -1
  252. package/dest/p2p/checkpoint_attestation.js +10 -0
  253. package/dest/p2p/checkpoint_proposal.d.ts +2 -1
  254. package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
  255. package/dest/p2p/consensus_payload.d.ts +2 -1
  256. package/dest/p2p/consensus_payload.d.ts.map +1 -1
  257. package/dest/p2p/signature_utils.d.ts +10 -1
  258. package/dest/p2p/signature_utils.d.ts.map +1 -1
  259. package/dest/p2p/signature_utils.js +9 -1
  260. package/dest/rollup/avm_proof_data.d.ts +3 -3
  261. package/dest/rollup/avm_proof_data.d.ts.map +1 -1
  262. package/dest/rollup/checkpoint_header.d.ts +8 -3
  263. package/dest/rollup/checkpoint_header.d.ts.map +1 -1
  264. package/dest/rollup/checkpoint_header.js +20 -10
  265. package/dest/rollup/checkpoint_rollup_public_inputs.d.ts +1 -1
  266. package/dest/stats/stats.d.ts +2 -2
  267. package/dest/stats/stats.d.ts.map +1 -1
  268. package/dest/tests/factories.d.ts +1 -1
  269. package/dest/tests/factories.d.ts.map +1 -1
  270. package/dest/tests/factories.js +10 -15
  271. package/dest/tests/mocks.d.ts +1 -1
  272. package/dest/tests/mocks.d.ts.map +1 -1
  273. package/dest/tests/mocks.js +3 -2
  274. package/dest/timetable/budgets.d.ts +57 -0
  275. package/dest/timetable/budgets.d.ts.map +1 -0
  276. package/dest/timetable/budgets.js +56 -0
  277. package/dest/timetable/build_proposer_timetable.d.ts +21 -0
  278. package/dest/timetable/build_proposer_timetable.d.ts.map +1 -0
  279. package/dest/timetable/build_proposer_timetable.js +17 -0
  280. package/dest/timetable/consensus_timetable.d.ts +70 -0
  281. package/dest/timetable/consensus_timetable.d.ts.map +1 -0
  282. package/dest/timetable/consensus_timetable.js +89 -0
  283. package/dest/timetable/index.d.ts +5 -84
  284. package/dest/timetable/index.d.ts.map +1 -1
  285. package/dest/timetable/index.js +4 -209
  286. package/dest/timetable/proposer_timetable.d.ts +106 -0
  287. package/dest/timetable/proposer_timetable.d.ts.map +1 -0
  288. package/dest/timetable/proposer_timetable.js +132 -0
  289. package/dest/trees/nullifier_membership_witness.d.ts +5 -8
  290. package/dest/trees/nullifier_membership_witness.d.ts.map +1 -1
  291. package/dest/trees/nullifier_membership_witness.js +0 -9
  292. package/dest/trees/public_data_witness.d.ts +7 -17
  293. package/dest/trees/public_data_witness.d.ts.map +1 -1
  294. package/dest/trees/public_data_witness.js +0 -27
  295. package/dest/tx/execution_payload.d.ts +1 -1
  296. package/dest/tx/execution_payload.d.ts.map +1 -1
  297. package/dest/tx/execution_payload.js +1 -1
  298. package/dest/tx/fee_provider.d.ts +2 -2
  299. package/dest/tx/fee_provider.d.ts.map +1 -1
  300. package/dest/tx/global_variable_builder.d.ts +2 -12
  301. package/dest/tx/global_variable_builder.d.ts.map +1 -1
  302. package/dest/tx/global_variables.js +2 -2
  303. package/dest/tx/private_tx_constant_data.d.ts +18 -2
  304. package/dest/tx/private_tx_constant_data.d.ts.map +1 -1
  305. package/dest/tx/private_tx_constant_data.js +13 -4
  306. package/dest/tx/profiling.d.ts +1 -1
  307. package/dest/tx/profiling.d.ts.map +1 -1
  308. package/dest/tx/profiling.js +2 -0
  309. package/dest/tx/simulated_tx.d.ts +10 -6
  310. package/dest/tx/simulated_tx.d.ts.map +1 -1
  311. package/dest/tx/tx.d.ts +9 -1
  312. package/dest/tx/tx.d.ts.map +1 -1
  313. package/dest/tx/tx.js +15 -0
  314. package/dest/tx/validator/error_texts.d.ts +2 -2
  315. package/dest/tx/validator/error_texts.d.ts.map +1 -1
  316. package/dest/tx/validator/error_texts.js +1 -1
  317. package/dest/world-state/genesis_data.d.ts +9 -1
  318. package/dest/world-state/genesis_data.d.ts.map +1 -1
  319. package/dest/world-state/genesis_data.js +1 -0
  320. package/package.json +8 -8
  321. package/src/abi/abi.ts +8 -0
  322. package/src/abi/buffer.ts +13 -1
  323. package/src/abi/contract_artifact.ts +33 -9
  324. package/src/avm/avm.ts +1 -1
  325. package/src/aztec-address/index.ts +36 -6
  326. package/src/block/attestation_info.ts +7 -2
  327. package/src/block/l2_block_source.ts +67 -13
  328. package/src/block/l2_block_stream/event_driven_l2_block_stream.ts +207 -0
  329. package/src/block/l2_block_stream/index.ts +1 -0
  330. package/src/block/l2_block_stream/interfaces.ts +96 -10
  331. package/src/block/l2_block_stream/l2_block_stream.ts +216 -175
  332. package/src/block/l2_block_stream/l2_tips_memory_store.ts +12 -41
  333. package/src/block/l2_block_stream/l2_tips_store_base.ts +84 -93
  334. package/src/block/proposal/attestations_and_signers.ts +53 -7
  335. package/src/block/test/l2_tips_store_test_suite.ts +270 -28
  336. package/src/block/validate_block_result.ts +48 -2
  337. package/src/checkpoint/checkpoint.ts +2 -2
  338. package/src/checkpoint/index.ts +1 -0
  339. package/src/checkpoint/simulation_overrides.ts +171 -0
  340. package/src/checkpoint/validate.ts +16 -6
  341. package/src/config/index.ts +1 -0
  342. package/src/config/network-consensus-config.ts +291 -0
  343. package/src/config/sequencer-config.ts +36 -5
  344. package/src/contract/contract_address.ts +4 -3
  345. package/src/contract/contract_class.ts +3 -2
  346. package/src/contract/contract_instance.ts +62 -1
  347. package/src/contract/interfaces/contract_data_source.ts +2 -4
  348. package/src/contract/interfaces/contract_instance.ts +26 -8
  349. package/src/contract/interfaces/node-info.ts +11 -0
  350. package/src/contract/partial_address.ts +8 -2
  351. package/src/database-version/version_manager.ts +96 -6
  352. package/src/deserialization/index.ts +35 -2
  353. package/src/file-store/factory.ts +7 -0
  354. package/src/file-store/index.ts +1 -0
  355. package/src/file-store/memory.ts +94 -0
  356. package/src/gas/README.md +199 -35
  357. package/src/gas/gas_settings.ts +11 -21
  358. package/src/gas/index.ts +1 -0
  359. package/src/gas/tx_gas_limits.ts +123 -0
  360. package/src/ha-signing/config.ts +23 -5
  361. package/src/ha-signing/local_config.ts +20 -1
  362. package/src/hash/hash.ts +0 -8
  363. package/src/interfaces/archiver.ts +14 -7
  364. package/src/interfaces/aztec-node-admin.ts +1 -1
  365. package/src/interfaces/aztec-node-debug.ts +54 -2
  366. package/src/interfaces/aztec-node.ts +121 -43
  367. package/src/interfaces/block-builder.ts +8 -1
  368. package/src/interfaces/chain_tips.ts +8 -16
  369. package/src/interfaces/checkpoint_parameter.ts +3 -3
  370. package/src/interfaces/client.ts +1 -0
  371. package/src/interfaces/configs.ts +27 -6
  372. package/src/interfaces/get_tx_by_hash_options.ts +14 -0
  373. package/src/interfaces/merkle_tree_operations.ts +2 -3
  374. package/src/interfaces/p2p.ts +29 -9
  375. package/src/interfaces/private_kernel_prover.ts +104 -13
  376. package/src/interfaces/prover-client.ts +1 -3
  377. package/src/interfaces/prover-node.ts +32 -17
  378. package/src/interfaces/proving-job.ts +15 -3
  379. package/src/interfaces/server.ts +0 -1
  380. package/src/interfaces/server_circuit_prover.ts +2 -2
  381. package/src/interfaces/validator.ts +11 -0
  382. package/src/interfaces/world_state.ts +14 -0
  383. package/src/kernel/hints/find_private_kernel_reset_dimensions.ts +22 -112
  384. package/src/kernel/hints/read_request.ts +1 -1
  385. package/src/kernel/index.ts +5 -1
  386. package/src/kernel/log_hash.ts +5 -2
  387. package/src/kernel/note_hash.ts +1 -1
  388. package/src/kernel/nullifier.ts +1 -1
  389. package/src/kernel/private_circuit_public_inputs.ts +12 -1
  390. package/src/kernel/private_context_inputs.ts +10 -3
  391. package/src/kernel/private_kernel_circuit_public_inputs.ts +9 -7
  392. package/src/kernel/private_kernel_init_2_circuit_private_inputs.ts +0 -3
  393. package/src/kernel/private_kernel_init_3_circuit_private_inputs.ts +0 -3
  394. package/src/kernel/private_kernel_init_4_circuit_private_inputs.ts +52 -0
  395. package/src/kernel/private_kernel_init_5_circuit_private_inputs.ts +55 -0
  396. package/src/kernel/private_kernel_init_circuit_private_inputs.ts +0 -6
  397. package/src/kernel/private_kernel_inner_4_circuit_private_inputs.ts +39 -0
  398. package/src/kernel/private_kernel_inner_5_circuit_private_inputs.ts +42 -0
  399. package/src/kernel/private_kernel_prover_output.ts +4 -0
  400. package/src/kernel/private_kernel_reset_dimensions.ts +15 -5
  401. package/src/kernel/private_kernel_reset_tail_circuit_private_inputs.ts +69 -0
  402. package/src/kernel/private_log_data.ts +4 -1
  403. package/src/keys/derivation.ts +69 -24
  404. package/src/logs/app_tagging_secret.ts +62 -39
  405. package/src/logs/app_tagging_secret_kind.ts +1 -1
  406. package/src/logs/contract_class_log.ts +0 -9
  407. package/src/logs/message_context.ts +7 -65
  408. package/src/logs/pending_tagged_log.ts +6 -33
  409. package/src/logs/shared_secret_derivation.ts +47 -14
  410. package/src/messaging/l1_to_l2_message.ts +51 -13
  411. package/src/noir/index.ts +2 -1
  412. package/src/p2p/attestation_utils.ts +8 -1
  413. package/src/p2p/checkpoint_attestation.ts +12 -0
  414. package/src/p2p/signature_utils.ts +9 -0
  415. package/src/rollup/avm_proof_data.ts +2 -2
  416. package/src/rollup/checkpoint_header.ts +16 -2
  417. package/src/stats/stats.ts +6 -2
  418. package/src/tests/factories.ts +13 -13
  419. package/src/tests/mocks.ts +7 -2
  420. package/src/timetable/README.md +609 -0
  421. package/src/timetable/budgets.ts +87 -0
  422. package/src/timetable/build_proposer_timetable.ts +42 -0
  423. package/src/timetable/consensus_timetable.ts +126 -0
  424. package/src/timetable/index.ts +4 -304
  425. package/src/timetable/proposer_timetable.ts +190 -0
  426. package/src/timetable/timetable-example.svg +108 -0
  427. package/src/trees/nullifier_membership_witness.ts +0 -11
  428. package/src/trees/public_data_witness.ts +0 -31
  429. package/src/tx/execution_payload.ts +2 -1
  430. package/src/tx/fee_provider.ts +1 -1
  431. package/src/tx/global_variable_builder.ts +1 -17
  432. package/src/tx/global_variables.ts +2 -2
  433. package/src/tx/private_tx_constant_data.ts +25 -2
  434. package/src/tx/profiling.ts +2 -0
  435. package/src/tx/tx.ts +17 -0
  436. package/src/tx/validator/error_texts.ts +2 -1
  437. package/src/world-state/genesis_data.ts +10 -0
  438. package/dest/interfaces/epoch-prover.d.ts +0 -57
  439. package/dest/interfaces/epoch-prover.d.ts.map +0 -1
  440. package/dest/interfaces/epoch-prover.js +0 -1
  441. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts +0 -47
  442. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts.map +0 -1
  443. package/dest/kernel/private_kernel_tail_circuit_private_inputs.js +0 -38
  444. package/src/interfaces/epoch-prover.ts +0 -72
  445. package/src/kernel/private_kernel_tail_circuit_private_inputs.ts +0 -58
@@ -116,6 +116,11 @@ export declare class PrivateCircuitPublicInputs {
116
116
  * Hash of the contract class logs emitted in this function call.
117
117
  */
118
118
  contractClassLogsHashes: ClaimedLengthArray<CountedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_CALL>;
119
+ /**
120
+ * The tx request's salt. Keeps `tx_request.hash()` (the protocol nullifier) unpredictable, and lets the init
121
+ * kernel bind this proof to a specific tx request (it asserts this equals `tx_request.salt`).
122
+ */
123
+ txRequestSalt: Fr;
119
124
  constructor(
120
125
  /**
121
126
  * Context of the call corresponding to this private circuit execution.
@@ -212,7 +217,12 @@ export declare class PrivateCircuitPublicInputs {
212
217
  /**
213
218
  * Hash of the contract class logs emitted in this function call.
214
219
  */
215
- contractClassLogsHashes: ClaimedLengthArray<CountedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_CALL>);
220
+ contractClassLogsHashes: ClaimedLengthArray<CountedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_CALL>,
221
+ /**
222
+ * The tx request's salt. Keeps `tx_request.hash()` (the protocol nullifier) unpredictable, and lets the init
223
+ * kernel bind this proof to a specific tx request (it asserts this equals `tx_request.salt`).
224
+ */
225
+ txRequestSalt: Fr);
216
226
  /**
217
227
  * Create PrivateCircuitPublicInputs from a fields dictionary.
218
228
  * @param fields - The dictionary.
@@ -237,7 +247,7 @@ export declare class PrivateCircuitPublicInputs {
237
247
  * @param fields - Object with fields.
238
248
  * @returns The array.
239
249
  */
240
- static getFields(fields: FieldsOf<PrivateCircuitPublicInputs>): readonly [CallContext, Fr, Fr, BlockHeader, TxContext, Fr, boolean, bigint, Fr, Fr, Fr, Fr, ClaimedLengthArray<ScopedReadRequest, 16>, ClaimedLengthArray<ScopedReadRequest, 16>, ClaimedLengthArray<KeyValidationRequestAndSeparator, 16>, ClaimedLengthArray<PrivateCallRequest, 8>, ClaimedLengthArray<CountedPublicCallRequest, 32>, PublicCallRequest, ClaimedLengthArray<NoteHash, 16>, ClaimedLengthArray<Nullifier, 16>, ClaimedLengthArray<CountedL2ToL1Message, 8>, ClaimedLengthArray<PrivateLogData, 16>, ClaimedLengthArray<CountedLogHash, 1>];
250
+ static getFields(fields: FieldsOf<PrivateCircuitPublicInputs>): readonly [CallContext, Fr, Fr, BlockHeader, TxContext, Fr, boolean, bigint, Fr, Fr, Fr, Fr, ClaimedLengthArray<ScopedReadRequest, 16>, ClaimedLengthArray<ScopedReadRequest, 16>, ClaimedLengthArray<KeyValidationRequestAndSeparator, 16>, ClaimedLengthArray<PrivateCallRequest, 8>, ClaimedLengthArray<CountedPublicCallRequest, 32>, PublicCallRequest, ClaimedLengthArray<NoteHash, 16>, ClaimedLengthArray<Nullifier, 16>, ClaimedLengthArray<CountedL2ToL1Message, 8>, ClaimedLengthArray<PrivateLogData, 16>, ClaimedLengthArray<CountedLogHash, 1>, Fr];
241
251
  /**
242
252
  * Serialize this as a buffer.
243
253
  * @returns The buffer.
@@ -250,4 +260,4 @@ export declare class PrivateCircuitPublicInputs {
250
260
  toJSON(): Buffer<ArrayBufferLike>;
251
261
  static get schema(): import("zod").ZodType<PrivateCircuitPublicInputs, string, import("zod/v4/core").$ZodTypeInternals<PrivateCircuitPublicInputs, string>>;
252
262
  }
253
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9jaXJjdWl0X3B1YmxpY19pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9rZXJuZWwvcHJpdmF0ZV9jaXJjdWl0X3B1YmxpY19pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUNMLGdDQUFnQyxFQUNoQywyQkFBMkIsRUFDM0Isb0NBQW9DLEVBQ3BDLDBCQUEwQixFQUMxQix3QkFBd0IsRUFDeEIsb0NBQW9DLEVBQ3BDLHVCQUF1QixFQUN2QixvQ0FBb0MsRUFDcEMsc0NBQXNDLEVBQ3RDLHlCQUF5QixFQUMxQixNQUFNLGtCQUFrQixDQUFDO0FBQzFCLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVwRCxPQUFPLEVBQ0wsWUFBWSxFQUNaLFdBQVcsRUFJWixNQUFNLDZCQUE2QixDQUFDO0FBQ3JDLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhELE9BQU8sRUFBRSxnQ0FBZ0MsRUFBRSxNQUFNLHlEQUF5RCxDQUFDO0FBQzNHLE9BQU8sRUFBRSxjQUFjLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUN2RCxPQUFPLEVBQUUsa0JBQWtCLEVBQUUsTUFBTSxtQ0FBbUMsQ0FBQztBQUN2RSxPQUFPLEVBQUUsY0FBYyxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDL0QsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sa0NBQWtDLENBQUM7QUFDeEUsT0FBTyxFQUFFLFdBQVcsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ3BELE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNwRCxPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDaEQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDakQsT0FBTyxFQUNMLGtCQUFrQixFQUduQixNQUFNLDJCQUEyQixDQUFDO0FBQ25DLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzVELE9BQU8sRUFBRSxRQUFRLEVBQUUsTUFBTSxnQkFBZ0IsQ0FBQztBQUMxQyxPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0sZ0JBQWdCLENBQUM7QUFDM0MsT0FBTyxFQUFFLHdCQUF3QixFQUFFLGlCQUFpQixFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFdkY7O0dBRUc7QUFDSCxxQkFBYSwwQkFBMEI7SUFFbkM7O09BRUc7SUFDSSxXQUFXLEVBQUUsV0FBVztJQUMvQjs7T0FFRztJQUNJLFFBQVEsRUFBRSxFQUFFO0lBQ25COztPQUVHO0lBQ0ksV0FBVyxFQUFFLEVBQUU7SUFDdEI7O09BRUc7SUFDSSxpQkFBaUIsRUFBRSxXQUFXO0lBQ3JDOzs7Ozs7T0FNRztJQUNJLFNBQVMsRUFBRSxTQUFTO0lBQzNCOztPQUVHO0lBQ0ksOEJBQThCLEVBQUUsRUFBRTtJQUN6Qzs7T0FFRztJQUNJLFVBQVUsRUFBRSxPQUFPO0lBQzFCOztPQUVHO0lBQ0ksbUJBQW1CLEVBQUUsTUFBTTtJQUNsQzs7T0FFRztJQUNJLHNCQUFzQixFQUFFLEVBQUU7SUFDakM7O09BRUc7SUFDSSxvQkFBb0IsRUFBRSxFQUFFO0lBQy9COztPQUVHO0lBQ0ksc0NBQXNDLEVBQUUsRUFBRTtJQUNqRDs7T0FFRztJQUNJLG1DQUFtQyxFQUFFLEVBQUU7SUFDOUM7O09BRUc7SUFDSSxvQkFBb0IsRUFBRSxrQkFBa0IsQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLG9DQUFvQyxDQUFDO0lBQy9HOztPQUVHO0lBQ0kscUJBQXFCLEVBQUUsa0JBQWtCLENBQUMsaUJBQWlCLEVBQUUsT0FBTyxvQ0FBb0MsQ0FBQztJQUNoSDs7T0FFRztJQUNJLGtDQUFrQyxFQUFFLGtCQUFrQixDQUMzRCxnQ0FBZ0MsRUFDaEMsT0FBTyxvQ0FBb0MsQ0FDNUM7SUFDRDs7T0FFRztJQUNJLG1CQUFtQixFQUFFLGtCQUFrQixDQUFDLGtCQUFrQixFQUFFLE9BQU8sc0NBQXNDLENBQUM7SUFDakg7O09BRUc7SUFDSSxrQkFBa0IsRUFBRSxrQkFBa0IsQ0FBQyx3QkFBd0IsRUFBRSxPQUFPLDJCQUEyQixDQUFDO0lBQzNHOztPQUVHO0lBQ0kseUJBQXlCLEVBQUUsaUJBQWlCO0lBQ25EOztPQUVHO0lBQ0ksVUFBVSxFQUFFLGtCQUFrQixDQUFDLFFBQVEsRUFBRSxPQUFPLHdCQUF3QixDQUFDO0lBQ2hGOztPQUVHO0lBQ0ksVUFBVSxFQUFFLGtCQUFrQixDQUFDLFNBQVMsRUFBRSxPQUFPLHVCQUF1QixDQUFDO0lBQ2hGOztPQUVHO0lBQ0ksVUFBVSxFQUFFLGtCQUFrQixDQUFDLG9CQUFvQixFQUFFLE9BQU8sMEJBQTBCLENBQUM7SUFDOUY7O09BRUc7SUFDSSxXQUFXLEVBQUUsa0JBQWtCLENBQUMsY0FBYyxFQUFFLE9BQU8seUJBQXlCLENBQUM7SUFDeEY7O09BRUc7SUFDSSx1QkFBdUIsRUFBRSxrQkFBa0IsQ0FBQyxjQUFjLEVBQUUsT0FBTyxnQ0FBZ0MsQ0FBQztJQW5HN0c7SUFDRTs7T0FFRztJQUNJLFdBQVcsRUFBRSxXQUFXO0lBQy9COztPQUVHO0lBQ0ksUUFBUSxFQUFFLEVBQUU7SUFDbkI7O09BRUc7SUFDSSxXQUFXLEVBQUUsRUFBRTtJQUN0Qjs7T0FFRztJQUNJLGlCQUFpQixFQUFFLFdBQVc7SUFDckM7Ozs7OztPQU1HO0lBQ0ksU0FBUyxFQUFFLFNBQVM7SUFDM0I7O09BRUc7SUFDSSw4QkFBOEIsRUFBRSxFQUFFO0lBQ3pDOztPQUVHO0lBQ0ksVUFBVSxFQUFFLE9BQU87SUFDMUI7O09BRUc7SUFDSSxtQkFBbUIsRUFBRSxNQUFNO0lBQ2xDOztPQUVHO0lBQ0ksc0JBQXNCLEVBQUUsRUFBRTtJQUNqQzs7T0FFRztJQUNJLG9CQUFvQixFQUFFLEVBQUU7SUFDL0I7O09BRUc7SUFDSSxzQ0FBc0MsRUFBRSxFQUFFO0lBQ2pEOztPQUVHO0lBQ0ksbUNBQW1DLEVBQUUsRUFBRTtJQUM5Qzs7T0FFRztJQUNJLG9CQUFvQixFQUFFLGtCQUFrQixDQUFDLGlCQUFpQixFQUFFLE9BQU8sb0NBQW9DLENBQUM7SUFDL0c7O09BRUc7SUFDSSxxQkFBcUIsRUFBRSxrQkFBa0IsQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLG9DQUFvQyxDQUFDO0lBQ2hIOztPQUVHO0lBQ0ksa0NBQWtDLEVBQUUsa0JBQWtCLENBQzNELGdDQUFnQyxFQUNoQyxPQUFPLG9DQUFvQyxDQUM1QztJQUNEOztPQUVHO0lBQ0ksbUJBQW1CLEVBQUUsa0JBQWtCLENBQUMsa0JBQWtCLEVBQUUsT0FBTyxzQ0FBc0MsQ0FBQztJQUNqSDs7T0FFRztJQUNJLGtCQUFrQixFQUFFLGtCQUFrQixDQUFDLHdCQUF3QixFQUFFLE9BQU8sMkJBQTJCLENBQUM7SUFDM0c7O09BRUc7SUFDSSx5QkFBeUIsRUFBRSxpQkFBaUI7SUFDbkQ7O09BRUc7SUFDSSxVQUFVLEVBQUUsa0JBQWtCLENBQUMsUUFBUSxFQUFFLE9BQU8sd0JBQXdCLENBQUM7SUFDaEY7O09BRUc7SUFDSSxVQUFVLEVBQUUsa0JBQWtCLENBQUMsU0FBUyxFQUFFLE9BQU8sdUJBQXVCLENBQUM7SUFDaEY7O09BRUc7SUFDSSxVQUFVLEVBQUUsa0JBQWtCLENBQUMsb0JBQW9CLEVBQUUsT0FBTywwQkFBMEIsQ0FBQztJQUM5Rjs7T0FFRztJQUNJLFdBQVcsRUFBRSxrQkFBa0IsQ0FBQyxjQUFjLEVBQUUsT0FBTyx5QkFBeUIsQ0FBQztJQUN4Rjs7T0FFRztJQUNJLHVCQUF1QixFQUFFLGtCQUFrQixDQUFDLGNBQWMsRUFBRSxPQUFPLGdDQUFnQyxDQUFDLEVBQ3pHO0lBRUo7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQywwQkFBMEIsQ0FBQyxHQUFHLDBCQUEwQixDQUVwRjtJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLDBCQUEwQixDQTZCM0U7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxFQUFFLEVBQUUsR0FBRyxXQUFXLEdBQUcsMEJBQTBCLENBNkJ4RTtJQUVEOzs7T0FHRztJQUNILE9BQWMsS0FBSyxJQUFJLDBCQUEwQixDQTBCaEQ7SUFFRCxPQUFPLFlBMEJOO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQywwQkFBMEIsQ0FBQyxnaUJBMEI1RDtJQUVEOzs7T0FHRztJQUNILFFBQVEsSUFBSSxNQUFNLENBNEJqQjtJQUVEOztPQUVHO0lBQ0gsUUFBUSxJQUFJLEVBQUUsRUFBRSxDQUVmO0lBRU0sTUFBTSw0QkFFWjtJQUVELE1BQU0sS0FBSyxNQUFNLDJJQUVoQjtDQUNGIn0=
263
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9jaXJjdWl0X3B1YmxpY19pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9rZXJuZWwvcHJpdmF0ZV9jaXJjdWl0X3B1YmxpY19pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUNMLGdDQUFnQyxFQUNoQywyQkFBMkIsRUFDM0Isb0NBQW9DLEVBQ3BDLDBCQUEwQixFQUMxQix3QkFBd0IsRUFDeEIsb0NBQW9DLEVBQ3BDLHVCQUF1QixFQUN2QixvQ0FBb0MsRUFDcEMsc0NBQXNDLEVBQ3RDLHlCQUF5QixFQUMxQixNQUFNLGtCQUFrQixDQUFDO0FBQzFCLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVwRCxPQUFPLEVBQ0wsWUFBWSxFQUNaLFdBQVcsRUFJWixNQUFNLDZCQUE2QixDQUFDO0FBQ3JDLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhELE9BQU8sRUFBRSxnQ0FBZ0MsRUFBRSxNQUFNLHlEQUF5RCxDQUFDO0FBQzNHLE9BQU8sRUFBRSxjQUFjLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUN2RCxPQUFPLEVBQUUsa0JBQWtCLEVBQUUsTUFBTSxtQ0FBbUMsQ0FBQztBQUN2RSxPQUFPLEVBQUUsY0FBYyxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDL0QsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sa0NBQWtDLENBQUM7QUFDeEUsT0FBTyxFQUFFLFdBQVcsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ3BELE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNwRCxPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDaEQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDakQsT0FBTyxFQUNMLGtCQUFrQixFQUduQixNQUFNLDJCQUEyQixDQUFDO0FBQ25DLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzVELE9BQU8sRUFBRSxRQUFRLEVBQUUsTUFBTSxnQkFBZ0IsQ0FBQztBQUMxQyxPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0sZ0JBQWdCLENBQUM7QUFDM0MsT0FBTyxFQUFFLHdCQUF3QixFQUFFLGlCQUFpQixFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFdkY7O0dBRUc7QUFDSCxxQkFBYSwwQkFBMEI7SUFFbkM7O09BRUc7SUFDSSxXQUFXLEVBQUUsV0FBVztJQUMvQjs7T0FFRztJQUNJLFFBQVEsRUFBRSxFQUFFO0lBQ25COztPQUVHO0lBQ0ksV0FBVyxFQUFFLEVBQUU7SUFDdEI7O09BRUc7SUFDSSxpQkFBaUIsRUFBRSxXQUFXO0lBQ3JDOzs7Ozs7T0FNRztJQUNJLFNBQVMsRUFBRSxTQUFTO0lBQzNCOztPQUVHO0lBQ0ksOEJBQThCLEVBQUUsRUFBRTtJQUN6Qzs7T0FFRztJQUNJLFVBQVUsRUFBRSxPQUFPO0lBQzFCOztPQUVHO0lBQ0ksbUJBQW1CLEVBQUUsTUFBTTtJQUNsQzs7T0FFRztJQUNJLHNCQUFzQixFQUFFLEVBQUU7SUFDakM7O09BRUc7SUFDSSxvQkFBb0IsRUFBRSxFQUFFO0lBQy9COztPQUVHO0lBQ0ksc0NBQXNDLEVBQUUsRUFBRTtJQUNqRDs7T0FFRztJQUNJLG1DQUFtQyxFQUFFLEVBQUU7SUFDOUM7O09BRUc7SUFDSSxvQkFBb0IsRUFBRSxrQkFBa0IsQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLG9DQUFvQyxDQUFDO0lBQy9HOztPQUVHO0lBQ0kscUJBQXFCLEVBQUUsa0JBQWtCLENBQUMsaUJBQWlCLEVBQUUsT0FBTyxvQ0FBb0MsQ0FBQztJQUNoSDs7T0FFRztJQUNJLGtDQUFrQyxFQUFFLGtCQUFrQixDQUMzRCxnQ0FBZ0MsRUFDaEMsT0FBTyxvQ0FBb0MsQ0FDNUM7SUFDRDs7T0FFRztJQUNJLG1CQUFtQixFQUFFLGtCQUFrQixDQUFDLGtCQUFrQixFQUFFLE9BQU8sc0NBQXNDLENBQUM7SUFDakg7O09BRUc7SUFDSSxrQkFBa0IsRUFBRSxrQkFBa0IsQ0FBQyx3QkFBd0IsRUFBRSxPQUFPLDJCQUEyQixDQUFDO0lBQzNHOztPQUVHO0lBQ0kseUJBQXlCLEVBQUUsaUJBQWlCO0lBQ25EOztPQUVHO0lBQ0ksVUFBVSxFQUFFLGtCQUFrQixDQUFDLFFBQVEsRUFBRSxPQUFPLHdCQUF3QixDQUFDO0lBQ2hGOztPQUVHO0lBQ0ksVUFBVSxFQUFFLGtCQUFrQixDQUFDLFNBQVMsRUFBRSxPQUFPLHVCQUF1QixDQUFDO0lBQ2hGOztPQUVHO0lBQ0ksVUFBVSxFQUFFLGtCQUFrQixDQUFDLG9CQUFvQixFQUFFLE9BQU8sMEJBQTBCLENBQUM7SUFDOUY7O09BRUc7SUFDSSxXQUFXLEVBQUUsa0JBQWtCLENBQUMsY0FBYyxFQUFFLE9BQU8seUJBQXlCLENBQUM7SUFDeEY7O09BRUc7SUFDSSx1QkFBdUIsRUFBRSxrQkFBa0IsQ0FBQyxjQUFjLEVBQUUsT0FBTyxnQ0FBZ0MsQ0FBQztJQUMzRzs7O09BR0c7SUFDSSxhQUFhLEVBQUUsRUFBRTtJQXhHMUI7SUFDRTs7T0FFRztJQUNJLFdBQVcsRUFBRSxXQUFXO0lBQy9COztPQUVHO0lBQ0ksUUFBUSxFQUFFLEVBQUU7SUFDbkI7O09BRUc7SUFDSSxXQUFXLEVBQUUsRUFBRTtJQUN0Qjs7T0FFRztJQUNJLGlCQUFpQixFQUFFLFdBQVc7SUFDckM7Ozs7OztPQU1HO0lBQ0ksU0FBUyxFQUFFLFNBQVM7SUFDM0I7O09BRUc7SUFDSSw4QkFBOEIsRUFBRSxFQUFFO0lBQ3pDOztPQUVHO0lBQ0ksVUFBVSxFQUFFLE9BQU87SUFDMUI7O09BRUc7SUFDSSxtQkFBbUIsRUFBRSxNQUFNO0lBQ2xDOztPQUVHO0lBQ0ksc0JBQXNCLEVBQUUsRUFBRTtJQUNqQzs7T0FFRztJQUNJLG9CQUFvQixFQUFFLEVBQUU7SUFDL0I7O09BRUc7SUFDSSxzQ0FBc0MsRUFBRSxFQUFFO0lBQ2pEOztPQUVHO0lBQ0ksbUNBQW1DLEVBQUUsRUFBRTtJQUM5Qzs7T0FFRztJQUNJLG9CQUFvQixFQUFFLGtCQUFrQixDQUFDLGlCQUFpQixFQUFFLE9BQU8sb0NBQW9DLENBQUM7SUFDL0c7O09BRUc7SUFDSSxxQkFBcUIsRUFBRSxrQkFBa0IsQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLG9DQUFvQyxDQUFDO0lBQ2hIOztPQUVHO0lBQ0ksa0NBQWtDLEVBQUUsa0JBQWtCLENBQzNELGdDQUFnQyxFQUNoQyxPQUFPLG9DQUFvQyxDQUM1QztJQUNEOztPQUVHO0lBQ0ksbUJBQW1CLEVBQUUsa0JBQWtCLENBQUMsa0JBQWtCLEVBQUUsT0FBTyxzQ0FBc0MsQ0FBQztJQUNqSDs7T0FFRztJQUNJLGtCQUFrQixFQUFFLGtCQUFrQixDQUFDLHdCQUF3QixFQUFFLE9BQU8sMkJBQTJCLENBQUM7SUFDM0c7O09BRUc7SUFDSSx5QkFBeUIsRUFBRSxpQkFBaUI7SUFDbkQ7O09BRUc7SUFDSSxVQUFVLEVBQUUsa0JBQWtCLENBQUMsUUFBUSxFQUFFLE9BQU8sd0JBQXdCLENBQUM7SUFDaEY7O09BRUc7SUFDSSxVQUFVLEVBQUUsa0JBQWtCLENBQUMsU0FBUyxFQUFFLE9BQU8sdUJBQXVCLENBQUM7SUFDaEY7O09BRUc7SUFDSSxVQUFVLEVBQUUsa0JBQWtCLENBQUMsb0JBQW9CLEVBQUUsT0FBTywwQkFBMEIsQ0FBQztJQUM5Rjs7T0FFRztJQUNJLFdBQVcsRUFBRSxrQkFBa0IsQ0FBQyxjQUFjLEVBQUUsT0FBTyx5QkFBeUIsQ0FBQztJQUN4Rjs7T0FFRztJQUNJLHVCQUF1QixFQUFFLGtCQUFrQixDQUFDLGNBQWMsRUFBRSxPQUFPLGdDQUFnQyxDQUFDO0lBQzNHOzs7T0FHRztJQUNJLGFBQWEsRUFBRSxFQUFFLEVBQ3RCO0lBRUo7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQywwQkFBMEIsQ0FBQyxHQUFHLDBCQUEwQixDQUVwRjtJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLDBCQUEwQixDQThCM0U7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxFQUFFLEVBQUUsR0FBRyxXQUFXLEdBQUcsMEJBQTBCLENBOEJ4RTtJQUVEOzs7T0FHRztJQUNILE9BQWMsS0FBSyxJQUFJLDBCQUEwQixDQTJCaEQ7SUFFRCxPQUFPLFlBMkJOO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQywwQkFBMEIsQ0FBQyxvaUJBMkI1RDtJQUVEOzs7T0FHRztJQUNILFFBQVEsSUFBSSxNQUFNLENBNkJqQjtJQUVEOztPQUVHO0lBQ0gsUUFBUSxJQUFJLEVBQUUsRUFBRSxDQUVmO0lBRU0sTUFBTSw0QkFFWjtJQUVELE1BQU0sS0FBSyxNQUFNLDJJQUVoQjtDQUNGIn0=
@@ -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,EAC1B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,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,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,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,iBAAiB,EAAE,WAAW;IACrC;;;;;;OAMG;IACI,SAAS,EAAE,SAAS;IAC3B;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,mBAAmB,EAAE,MAAM;IAClC;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,sCAAsC,EAAE,EAAE;IACjD;;OAEG;IACI,mCAAmC,EAAE,EAAE;IAC9C;;OAEG;IACI,oBAAoB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAC/G;;OAEG;IACI,qBAAqB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAChH;;OAEG;IACI,kCAAkC,EAAE,kBAAkB,CAC3D,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;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,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IAChF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IAChF;;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;IAnG7G;IACE;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,iBAAiB,EAAE,WAAW;IACrC;;;;;;OAMG;IACI,SAAS,EAAE,SAAS;IAC3B;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,mBAAmB,EAAE,MAAM;IAClC;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,sCAAsC,EAAE,EAAE;IACjD;;OAEG;IACI,mCAAmC,EAAE,EAAE;IAC9C;;OAEG;IACI,oBAAoB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAC/G;;OAEG;IACI,qBAAqB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAChH;;OAEG;IACI,kCAAkC,EAAE,kBAAkB,CAC3D,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;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,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IAChF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IAChF;;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,EACzG;IAEJ;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,GAAG,0BAA0B,CAEpF;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,0BAA0B,CA6B3E;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,0BAA0B,CA6BxE;IAED;;;OAGG;IACH,OAAc,KAAK,IAAI,0BAA0B,CA0BhD;IAED,OAAO,YA0BN;IAED;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,giBA0B5D;IAED;;;OAGG;IACH,QAAQ,IAAI,MAAM,CA4BjB;IAED;;OAEG;IACH,QAAQ,IAAI,EAAE,EAAE,CAEf;IAEM,MAAM,4BAEZ;IAED,MAAM,KAAK,MAAM,2IAEhB;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,gCAAgC,CAAC;AAEpD,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,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,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,iBAAiB,EAAE,WAAW;IACrC;;;;;;OAMG;IACI,SAAS,EAAE,SAAS;IAC3B;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,mBAAmB,EAAE,MAAM;IAClC;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,sCAAsC,EAAE,EAAE;IACjD;;OAEG;IACI,mCAAmC,EAAE,EAAE;IAC9C;;OAEG;IACI,oBAAoB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAC/G;;OAEG;IACI,qBAAqB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAChH;;OAEG;IACI,kCAAkC,EAAE,kBAAkB,CAC3D,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;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,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IAChF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IAChF;;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;;;OAGG;IACI,aAAa,EAAE,EAAE;IAxG1B;IACE;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,iBAAiB,EAAE,WAAW;IACrC;;;;;;OAMG;IACI,SAAS,EAAE,SAAS;IAC3B;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,mBAAmB,EAAE,MAAM;IAClC;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,sCAAsC,EAAE,EAAE;IACjD;;OAEG;IACI,mCAAmC,EAAE,EAAE;IAC9C;;OAEG;IACI,oBAAoB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAC/G;;OAEG;IACI,qBAAqB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAChH;;OAEG;IACI,kCAAkC,EAAE,kBAAkB,CAC3D,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;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,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IAChF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IAChF;;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;;;OAGG;IACI,aAAa,EAAE,EAAE,EACtB;IAEJ;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,GAAG,0BAA0B,CAEpF;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,0BAA0B,CA8B3E;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,0BAA0B,CA8BxE;IAED;;;OAGG;IACH,OAAc,KAAK,IAAI,0BAA0B,CA2BhD;IAED,OAAO,YA2BN;IAED;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,oiBA2B5D;IAED;;;OAGG;IACH,QAAQ,IAAI,MAAM,CA6BjB;IAED;;OAEG;IACH,QAAQ,IAAI,EAAE,EAAE,CAEf;IAEM,MAAM,4BAEZ;IAED,MAAM,KAAK,MAAM,2IAEhB;CACF"}
@@ -41,6 +41,7 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
41
41
  l2ToL1Msgs;
42
42
  privateLogs;
43
43
  contractClassLogsHashes;
44
+ txRequestSalt;
44
45
  constructor(/**
45
46
  * Context of the call corresponding to this private circuit execution.
46
47
  */ callContext, /**
@@ -91,7 +92,10 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
91
92
  * Logs emitted in this function call.
92
93
  */ privateLogs, /**
93
94
  * Hash of the contract class logs emitted in this function call.
94
- */ contractClassLogsHashes){
95
+ */ contractClassLogsHashes, /**
96
+ * The tx request's salt. Keeps `tx_request.hash()` (the protocol nullifier) unpredictable, and lets the init
97
+ * kernel bind this proof to a specific tx request (it asserts this equals `tx_request.salt`).
98
+ */ txRequestSalt){
95
99
  this.callContext = callContext;
96
100
  this.argsHash = argsHash;
97
101
  this.returnsHash = returnsHash;
@@ -115,6 +119,7 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
115
119
  this.l2ToL1Msgs = l2ToL1Msgs;
116
120
  this.privateLogs = privateLogs;
117
121
  this.contractClassLogsHashes = contractClassLogsHashes;
122
+ this.txRequestSalt = txRequestSalt;
118
123
  }
119
124
  /**
120
125
  * Create PrivateCircuitPublicInputs from a fields dictionary.
@@ -129,20 +134,20 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
129
134
  * @returns The deserialized instance.
130
135
  */ static fromBuffer(buffer) {
131
136
  const reader = BufferReader.asReader(buffer);
132
- return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(BlockHeader), reader.readObject(TxContext), reader.readObject(Fr), reader.readBoolean(), reader.readUInt64(), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(ClaimedLengthArrayFromBuffer(ScopedReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(ScopedReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(KeyValidationRequestAndSeparator, MAX_KEY_VALIDATION_REQUESTS_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(NoteHash, MAX_NOTE_HASHES_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(Nullifier, MAX_NULLIFIERS_PER_CALL)), 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)));
137
+ return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(BlockHeader), reader.readObject(TxContext), reader.readObject(Fr), reader.readBoolean(), reader.readUInt64(), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(ClaimedLengthArrayFromBuffer(ScopedReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(ScopedReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(KeyValidationRequestAndSeparator, MAX_KEY_VALIDATION_REQUESTS_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(NoteHash, MAX_NOTE_HASHES_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(Nullifier, MAX_NULLIFIERS_PER_CALL)), 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));
133
138
  }
134
139
  static fromFields(fields) {
135
140
  const reader = FieldReader.asReader(fields);
136
- return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readField(), reader.readField(), reader.readObject(BlockHeader), reader.readObject(TxContext), reader.readField(), reader.readBoolean(), reader.readU64(), reader.readField(), reader.readField(), reader.readField(), reader.readField(), reader.readObject(ClaimedLengthArrayFromFields(ScopedReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(ScopedReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(KeyValidationRequestAndSeparator, MAX_KEY_VALIDATION_REQUESTS_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(NoteHash, MAX_NOTE_HASHES_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(Nullifier, MAX_NULLIFIERS_PER_CALL)), 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)));
141
+ return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readField(), reader.readField(), reader.readObject(BlockHeader), reader.readObject(TxContext), reader.readField(), reader.readBoolean(), reader.readU64(), reader.readField(), reader.readField(), reader.readField(), reader.readField(), reader.readObject(ClaimedLengthArrayFromFields(ScopedReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(ScopedReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(KeyValidationRequestAndSeparator, MAX_KEY_VALIDATION_REQUESTS_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(NoteHash, MAX_NOTE_HASHES_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(Nullifier, MAX_NULLIFIERS_PER_CALL)), 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());
137
142
  }
138
143
  /**
139
144
  * Create an empty PrivateCircuitPublicInputs.
140
145
  * @returns An empty PrivateCircuitPublicInputs object.
141
146
  */ static empty() {
142
- return new PrivateCircuitPublicInputs(CallContext.empty(), Fr.ZERO, Fr.ZERO, BlockHeader.empty(), TxContext.empty(), Fr.ZERO, false, 0n, Fr.ZERO, Fr.ZERO, Fr.ZERO, Fr.ZERO, ClaimedLengthArray.empty(ScopedReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL), ClaimedLengthArray.empty(ScopedReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL), ClaimedLengthArray.empty(KeyValidationRequestAndSeparator, MAX_KEY_VALIDATION_REQUESTS_PER_CALL), ClaimedLengthArray.empty(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL), ClaimedLengthArray.empty(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_CALL), PublicCallRequest.empty(), ClaimedLengthArray.empty(NoteHash, MAX_NOTE_HASHES_PER_CALL), ClaimedLengthArray.empty(Nullifier, MAX_NULLIFIERS_PER_CALL), 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));
147
+ return new PrivateCircuitPublicInputs(CallContext.empty(), Fr.ZERO, Fr.ZERO, BlockHeader.empty(), TxContext.empty(), Fr.ZERO, false, 0n, Fr.ZERO, Fr.ZERO, Fr.ZERO, Fr.ZERO, ClaimedLengthArray.empty(ScopedReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL), ClaimedLengthArray.empty(ScopedReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL), ClaimedLengthArray.empty(KeyValidationRequestAndSeparator, MAX_KEY_VALIDATION_REQUESTS_PER_CALL), ClaimedLengthArray.empty(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL), ClaimedLengthArray.empty(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_CALL), PublicCallRequest.empty(), ClaimedLengthArray.empty(NoteHash, MAX_NOTE_HASHES_PER_CALL), ClaimedLengthArray.empty(Nullifier, MAX_NULLIFIERS_PER_CALL), 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);
143
148
  }
144
149
  isEmpty() {
145
- return this.callContext.isEmpty() && this.argsHash.isZero() && this.returnsHash.isZero() && this.anchorBlockHeader.isEmpty() && this.txContext.isEmpty() && this.minRevertibleSideEffectCounter.isZero() && !this.isFeePayer && !this.expirationTimestamp && this.startSideEffectCounter.isZero() && this.endSideEffectCounter.isZero() && this.expectedNonRevertibleSideEffectCounter.isZero() && this.expectedRevertibleSideEffectCounter.isZero() && this.noteHashReadRequests.isEmpty() && this.nullifierReadRequests.isEmpty() && this.keyValidationRequestsAndSeparators.isEmpty() && this.privateCallRequests.isEmpty() && this.publicCallRequests.isEmpty() && this.publicTeardownCallRequest.isEmpty() && this.noteHashes.isEmpty() && this.nullifiers.isEmpty() && this.l2ToL1Msgs.isEmpty() && this.privateLogs.isEmpty() && this.contractClassLogsHashes.isEmpty();
150
+ return this.callContext.isEmpty() && this.argsHash.isZero() && this.returnsHash.isZero() && this.anchorBlockHeader.isEmpty() && this.txContext.isEmpty() && this.minRevertibleSideEffectCounter.isZero() && !this.isFeePayer && !this.expirationTimestamp && this.startSideEffectCounter.isZero() && this.endSideEffectCounter.isZero() && this.expectedNonRevertibleSideEffectCounter.isZero() && this.expectedRevertibleSideEffectCounter.isZero() && this.noteHashReadRequests.isEmpty() && this.nullifierReadRequests.isEmpty() && this.keyValidationRequestsAndSeparators.isEmpty() && this.privateCallRequests.isEmpty() && this.publicCallRequests.isEmpty() && this.publicTeardownCallRequest.isEmpty() && this.noteHashes.isEmpty() && this.nullifiers.isEmpty() && this.l2ToL1Msgs.isEmpty() && this.privateLogs.isEmpty() && this.contractClassLogsHashes.isEmpty() && this.txRequestSalt.isZero();
146
151
  }
147
152
  /**
148
153
  * Serialize into a field array. Low-level utility.
@@ -172,7 +177,8 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
172
177
  fields.nullifiers,
173
178
  fields.l2ToL1Msgs,
174
179
  fields.privateLogs,
175
- fields.contractClassLogsHashes
180
+ fields.contractClassLogsHashes,
181
+ fields.txRequestSalt
176
182
  ];
177
183
  }
178
184
  /**
@@ -204,7 +210,8 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
204
210
  this.nullifiers,
205
211
  this.l2ToL1Msgs,
206
212
  this.privateLogs,
207
- this.contractClassLogsHashes
213
+ this.contractClassLogsHashes,
214
+ this.txRequestSalt
208
215
  ]);
209
216
  }
210
217
  /**
@@ -1,4 +1,4 @@
1
- import type { Fr } from '@aztec/foundation/curves/bn254';
1
+ import { Fr } from '@aztec/foundation/curves/bn254';
2
2
  import { BlockHeader } from '../tx/block_header.js';
3
3
  import { CallContext } from '../tx/call_context.js';
4
4
  import { TxContext } from '../tx/tx_context.js';
@@ -7,8 +7,9 @@ export declare class PrivateContextInputs {
7
7
  anchorBlockHeader: BlockHeader;
8
8
  txContext: TxContext;
9
9
  startSideEffectCounter: number;
10
- constructor(callContext: CallContext, anchorBlockHeader: BlockHeader, txContext: TxContext, startSideEffectCounter: number);
10
+ txRequestSalt: Fr;
11
+ constructor(callContext: CallContext, anchorBlockHeader: BlockHeader, txContext: TxContext, startSideEffectCounter: number, txRequestSalt: Fr);
11
12
  static empty(): PrivateContextInputs;
12
13
  toFields(): Fr[];
13
14
  }
14
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9jb250ZXh0X2lucHV0cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2tlcm5lbC9wcml2YXRlX2NvbnRleHRfaW5wdXRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBR3pELE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNwRCxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDcEQsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBRWhELHFCQUFhLG9CQUFvQjtJQUV0QixXQUFXLEVBQUUsV0FBVztJQUN4QixpQkFBaUIsRUFBRSxXQUFXO0lBQzlCLFNBQVMsRUFBRSxTQUFTO0lBQ3BCLHNCQUFzQixFQUFFLE1BQU07SUFKdkMsWUFDUyxXQUFXLEVBQUUsV0FBVyxFQUN4QixpQkFBaUIsRUFBRSxXQUFXLEVBQzlCLFNBQVMsRUFBRSxTQUFTLEVBQ3BCLHNCQUFzQixFQUFFLE1BQU0sRUFDbkM7SUFFSixPQUFjLEtBQUssSUFBSSxvQkFBb0IsQ0FFMUM7SUFFTSxRQUFRLElBQUksRUFBRSxFQUFFLENBRXRCO0NBQ0YifQ==
15
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9jb250ZXh0X2lucHV0cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2tlcm5lbC9wcml2YXRlX2NvbnRleHRfaW5wdXRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUdwRCxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDcEQsT0FBTyxFQUFFLFdBQVcsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ3BELE9BQU8sRUFBRSxTQUFTLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUVoRCxxQkFBYSxvQkFBb0I7SUFFdEIsV0FBVyxFQUFFLFdBQVc7SUFDeEIsaUJBQWlCLEVBQUUsV0FBVztJQUM5QixTQUFTLEVBQUUsU0FBUztJQUNwQixzQkFBc0IsRUFBRSxNQUFNO0lBQzlCLGFBQWEsRUFBRSxFQUFFO0lBTDFCLFlBQ1MsV0FBVyxFQUFFLFdBQVcsRUFDeEIsaUJBQWlCLEVBQUUsV0FBVyxFQUM5QixTQUFTLEVBQUUsU0FBUyxFQUNwQixzQkFBc0IsRUFBRSxNQUFNLEVBQzlCLGFBQWEsRUFBRSxFQUFFLEVBQ3RCO0lBRUosT0FBYyxLQUFLLElBQUksb0JBQW9CLENBRTFDO0lBRU0sUUFBUSxJQUFJLEVBQUUsRUFBRSxDQVF0QjtDQUNGIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"private_context_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_context_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAGzD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAEhD,qBAAa,oBAAoB;IAEtB,WAAW,EAAE,WAAW;IACxB,iBAAiB,EAAE,WAAW;IAC9B,SAAS,EAAE,SAAS;IACpB,sBAAsB,EAAE,MAAM;IAJvC,YACS,WAAW,EAAE,WAAW,EACxB,iBAAiB,EAAE,WAAW,EAC9B,SAAS,EAAE,SAAS,EACpB,sBAAsB,EAAE,MAAM,EACnC;IAEJ,OAAc,KAAK,IAAI,oBAAoB,CAE1C;IAEM,QAAQ,IAAI,EAAE,EAAE,CAEtB;CACF"}
1
+ {"version":3,"file":"private_context_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_context_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAGpD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAEhD,qBAAa,oBAAoB;IAEtB,WAAW,EAAE,WAAW;IACxB,iBAAiB,EAAE,WAAW;IAC9B,SAAS,EAAE,SAAS;IACpB,sBAAsB,EAAE,MAAM;IAC9B,aAAa,EAAE,EAAE;IAL1B,YACS,WAAW,EAAE,WAAW,EACxB,iBAAiB,EAAE,WAAW,EAC9B,SAAS,EAAE,SAAS,EACpB,sBAAsB,EAAE,MAAM,EAC9B,aAAa,EAAE,EAAE,EACtB;IAEJ,OAAc,KAAK,IAAI,oBAAoB,CAE1C;IAEM,QAAQ,IAAI,EAAE,EAAE,CAQtB;CACF"}
@@ -1,3 +1,4 @@
1
+ import { Fr } from '@aztec/foundation/curves/bn254';
1
2
  import { serializeToFields } from '@aztec/foundation/serialize';
2
3
  import { BlockHeader } from '../tx/block_header.js';
3
4
  import { CallContext } from '../tx/call_context.js';
@@ -7,21 +8,24 @@ export class PrivateContextInputs {
7
8
  anchorBlockHeader;
8
9
  txContext;
9
10
  startSideEffectCounter;
10
- constructor(callContext, anchorBlockHeader, txContext, startSideEffectCounter){
11
+ txRequestSalt;
12
+ constructor(callContext, anchorBlockHeader, txContext, startSideEffectCounter, txRequestSalt){
11
13
  this.callContext = callContext;
12
14
  this.anchorBlockHeader = anchorBlockHeader;
13
15
  this.txContext = txContext;
14
16
  this.startSideEffectCounter = startSideEffectCounter;
17
+ this.txRequestSalt = txRequestSalt;
15
18
  }
16
19
  static empty() {
17
- return new PrivateContextInputs(CallContext.empty(), BlockHeader.empty(), TxContext.empty(), 0);
20
+ return new PrivateContextInputs(CallContext.empty(), BlockHeader.empty(), TxContext.empty(), 0, Fr.ZERO);
18
21
  }
19
22
  toFields() {
20
23
  return serializeToFields([
21
24
  this.callContext,
22
25
  this.anchorBlockHeader,
23
26
  this.txContext,
24
- this.startSideEffectCounter
27
+ this.startSideEffectCounter,
28
+ this.txRequestSalt
25
29
  ]);
26
30
  }
27
31
  }
@@ -42,10 +42,6 @@ export declare class PrivateKernelCircuitPublicInputs {
42
42
  * Wether this is a private only tx or not
43
43
  */
44
44
  isPrivateOnly: boolean;
45
- /**
46
- * The nullifier that will be used for nonce generation
47
- */
48
- claimedFirstNullifier: Fr;
49
45
  /**
50
46
  * A claim to the final min revertible side effect counter of a tx.
51
47
  */
@@ -83,10 +79,6 @@ export declare class PrivateKernelCircuitPublicInputs {
83
79
  * Wether this is a private only tx or not
84
80
  */
85
81
  isPrivateOnly: boolean,
86
- /**
87
- * The nullifier that will be used for nonce generation
88
- */
89
- claimedFirstNullifier: Fr,
90
82
  /**
91
83
  * A claim to the final min revertible side effect counter of a tx.
92
84
  */
@@ -102,4 +94,10 @@ export declare class PrivateKernelCircuitPublicInputs {
102
94
  static fromBuffer(buffer: Buffer | BufferReader): PrivateKernelCircuitPublicInputs;
103
95
  static empty(): PrivateKernelCircuitPublicInputs;
104
96
  }
105
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9rZXJuZWxfY2lyY3VpdF9wdWJsaWNfaW5wdXRzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMva2VybmVsL3ByaXZhdGVfa2VybmVsX2NpcmN1aXRfcHVibGljX2lucHV0cy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFcEQsT0FBTyxFQUFFLFlBQVksRUFBdUMsTUFBTSw2QkFBNkIsQ0FBQztBQUVoRyxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDekQsT0FBTyxFQUFFLHFCQUFxQixFQUFFLE1BQU0sbUNBQW1DLENBQUM7QUFDMUUsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDakQsT0FBTyxFQUFFLHNCQUFzQixFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDdkUsT0FBTyxFQUFFLHlCQUF5QixFQUFFLE1BQU0sa0NBQWtDLENBQUM7QUFDN0UsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFN0Q7O0dBRUc7QUFDSCxxQkFBYSxnQ0FBZ0M7SUFFekM7O09BRUc7SUFDSSxTQUFTLEVBQUUscUJBQXFCO0lBQ3ZDOztPQUVHO0lBQ0ksOEJBQThCLEVBQUUsRUFBRTtJQUN6Qzs7T0FFRztJQUNJLGtCQUFrQixFQUFFLHlCQUF5QjtJQUNwRDs7T0FFRztJQUNJLEdBQUcsRUFBRSxzQkFBc0I7SUFDbEM7O09BRUc7SUFDSSx5QkFBeUIsRUFBRSxpQkFBaUI7SUFDbkQ7O09BRUc7SUFDSSxRQUFRLEVBQUUsWUFBWTtJQUM3Qjs7T0FFRztJQUNJLG1CQUFtQixFQUFFLE1BQU07SUFDbEM7O09BRUc7SUFDSSxhQUFhLEVBQUUsT0FBTztJQUM3Qjs7T0FFRztJQUNJLHFCQUFxQixFQUFFLEVBQUU7SUFDaEM7O09BRUc7SUFDSSx3QkFBd0IsRUFBRSxNQUFNO0lBeEN6QztJQUNFOztPQUVHO0lBQ0ksU0FBUyxFQUFFLHFCQUFxQjtJQUN2Qzs7T0FFRztJQUNJLDhCQUE4QixFQUFFLEVBQUU7SUFDekM7O09BRUc7SUFDSSxrQkFBa0IsRUFBRSx5QkFBeUI7SUFDcEQ7O09BRUc7SUFDSSxHQUFHLEVBQUUsc0JBQXNCO0lBQ2xDOztPQUVHO0lBQ0kseUJBQXlCLEVBQUUsaUJBQWlCO0lBQ25EOztPQUVHO0lBQ0ksUUFBUSxFQUFFLFlBQVk7SUFDN0I7O09BRUc7SUFDSSxtQkFBbUIsRUFBRSxNQUFNO0lBQ2xDOztPQUVHO0lBQ0ksYUFBYSxFQUFFLE9BQU87SUFDN0I7O09BRUc7SUFDSSxxQkFBcUIsRUFBRSxFQUFFO0lBQ2hDOztPQUVHO0lBQ0ksd0JBQXdCLEVBQUUsTUFBTSxFQUNyQztJQUVKLE1BQU0sS0FBSyxNQUFNLHVKQUVoQjtJQUVELE1BQU0sNEJBRUw7SUFFRCxRQUFRLDRCQWFQO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsZ0NBQWdDLENBY2pGO0lBRUQsTUFBTSxDQUFDLEtBQUsscUNBYVg7Q0FDRiJ9
97
+ /**
98
+ * Returns true iff the tx requires the public-bound terminal path: it has either un-processed
99
+ * public-call requests in the side-effect stream or a pending public-teardown call request. Every
100
+ * site picking between the rollup-bound and public-bound terminal artifact must route through this.
101
+ */
102
+ export declare function kernelStateIsForPublic(publicInputs: PrivateKernelCircuitPublicInputs): boolean;
103
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9rZXJuZWxfY2lyY3VpdF9wdWJsaWNfaW5wdXRzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMva2VybmVsL3ByaXZhdGVfa2VybmVsX2NpcmN1aXRfcHVibGljX2lucHV0cy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFcEQsT0FBTyxFQUFFLFlBQVksRUFBdUMsTUFBTSw2QkFBNkIsQ0FBQztBQUVoRyxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDekQsT0FBTyxFQUFFLHFCQUFxQixFQUFFLE1BQU0sbUNBQW1DLENBQUM7QUFDMUUsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDakQsT0FBTyxFQUFFLHNCQUFzQixFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDdkUsT0FBTyxFQUFFLHlCQUF5QixFQUFFLE1BQU0sa0NBQWtDLENBQUM7QUFDN0UsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFN0Q7O0dBRUc7QUFDSCxxQkFBYSxnQ0FBZ0M7SUFFekM7O09BRUc7SUFDSSxTQUFTLEVBQUUscUJBQXFCO0lBQ3ZDOztPQUVHO0lBQ0ksOEJBQThCLEVBQUUsRUFBRTtJQUN6Qzs7T0FFRztJQUNJLGtCQUFrQixFQUFFLHlCQUF5QjtJQUNwRDs7T0FFRztJQUNJLEdBQUcsRUFBRSxzQkFBc0I7SUFDbEM7O09BRUc7SUFDSSx5QkFBeUIsRUFBRSxpQkFBaUI7SUFDbkQ7O09BRUc7SUFDSSxRQUFRLEVBQUUsWUFBWTtJQUM3Qjs7T0FFRztJQUNJLG1CQUFtQixFQUFFLE1BQU07SUFDbEM7O09BRUc7SUFDSSxhQUFhLEVBQUUsT0FBTztJQUM3Qjs7T0FFRztJQUNJLHdCQUF3QixFQUFFLE1BQU07SUFwQ3pDO0lBQ0U7O09BRUc7SUFDSSxTQUFTLEVBQUUscUJBQXFCO0lBQ3ZDOztPQUVHO0lBQ0ksOEJBQThCLEVBQUUsRUFBRTtJQUN6Qzs7T0FFRztJQUNJLGtCQUFrQixFQUFFLHlCQUF5QjtJQUNwRDs7T0FFRztJQUNJLEdBQUcsRUFBRSxzQkFBc0I7SUFDbEM7O09BRUc7SUFDSSx5QkFBeUIsRUFBRSxpQkFBaUI7SUFDbkQ7O09BRUc7SUFDSSxRQUFRLEVBQUUsWUFBWTtJQUM3Qjs7T0FFRztJQUNJLG1CQUFtQixFQUFFLE1BQU07SUFDbEM7O09BRUc7SUFDSSxhQUFhLEVBQUUsT0FBTztJQUM3Qjs7T0FFRztJQUNJLHdCQUF3QixFQUFFLE1BQU0sRUFDckM7SUFFSixNQUFNLEtBQUssTUFBTSx1SkFFaEI7SUFFRCxNQUFNLDRCQUVMO0lBRUQsUUFBUSw0QkFZUDtJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLGdDQUFnQyxDQWFqRjtJQUVELE1BQU0sQ0FBQyxLQUFLLHFDQVlYO0NBQ0Y7QUFFRDs7OztHQUlHO0FBQ0gsd0JBQWdCLHNCQUFzQixDQUFDLFlBQVksRUFBRSxnQ0FBZ0MsR0FBRyxPQUFPLENBRTlGIn0=
@@ -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,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAuC,MAAM,6BAA6B,CAAC;AAEhG,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,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,qBAAqB;IACvC;;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,mBAAmB,EAAE,MAAM;IAClC;;OAEG;IACI,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,qBAAqB,EAAE,EAAE;IAChC;;OAEG;IACI,wBAAwB,EAAE,MAAM;IAxCzC;IACE;;OAEG;IACI,SAAS,EAAE,qBAAqB;IACvC;;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,mBAAmB,EAAE,MAAM;IAClC;;OAEG;IACI,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,qBAAqB,EAAE,EAAE;IAChC;;OAEG;IACI,wBAAwB,EAAE,MAAM,EACrC;IAEJ,MAAM,KAAK,MAAM,uJAEhB;IAED,MAAM,4BAEL;IAED,QAAQ,4BAaP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,gCAAgC,CAcjF;IAED,MAAM,CAAC,KAAK,qCAaX;CACF"}
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,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAuC,MAAM,6BAA6B,CAAC;AAEhG,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,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,qBAAqB;IACvC;;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,mBAAmB,EAAE,MAAM;IAClC;;OAEG;IACI,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,wBAAwB,EAAE,MAAM;IApCzC;IACE;;OAEG;IACI,SAAS,EAAE,qBAAqB;IACvC;;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,mBAAmB,EAAE,MAAM;IAClC;;OAEG;IACI,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,wBAAwB,EAAE,MAAM,EACrC;IAEJ,MAAM,KAAK,MAAM,uJAEhB;IAED,MAAM,4BAEL;IAED,QAAQ,4BAYP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,gCAAgC,CAajF;IAED,MAAM,CAAC,KAAK,qCAYX;CACF;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,YAAY,EAAE,gCAAgC,GAAG,OAAO,CAE9F"}
@@ -17,7 +17,6 @@ import { PublicCallRequest } from './public_call_request.js';
17
17
  feePayer;
18
18
  expirationTimestamp;
19
19
  isPrivateOnly;
20
- claimedFirstNullifier;
21
20
  claimedRevertibleCounter;
22
21
  constructor(/**
23
22
  * Data which is not modified by the circuits.
@@ -36,8 +35,6 @@ import { PublicCallRequest } from './public_call_request.js';
36
35
  */ expirationTimestamp, /**
37
36
  * Wether this is a private only tx or not
38
37
  */ isPrivateOnly, /**
39
- * The nullifier that will be used for nonce generation
40
- */ claimedFirstNullifier, /**
41
38
  * A claim to the final min revertible side effect counter of a tx.
42
39
  */ claimedRevertibleCounter){
43
40
  this.constants = constants;
@@ -48,7 +45,6 @@ import { PublicCallRequest } from './public_call_request.js';
48
45
  this.feePayer = feePayer;
49
46
  this.expirationTimestamp = expirationTimestamp;
50
47
  this.isPrivateOnly = isPrivateOnly;
51
- this.claimedFirstNullifier = claimedFirstNullifier;
52
48
  this.claimedRevertibleCounter = claimedRevertibleCounter;
53
49
  }
54
50
  static get schema() {
@@ -58,7 +54,7 @@ import { PublicCallRequest } from './public_call_request.js';
58
54
  return this.toBuffer();
59
55
  }
60
56
  toBuffer() {
61
- return serializeToBuffer(this.constants, this.minRevertibleSideEffectCounter, this.validationRequests, this.end, this.publicTeardownCallRequest, this.feePayer, bigintToUInt64BE(this.expirationTimestamp), this.isPrivateOnly, this.claimedFirstNullifier, this.claimedRevertibleCounter);
57
+ return serializeToBuffer(this.constants, this.minRevertibleSideEffectCounter, this.validationRequests, this.end, this.publicTeardownCallRequest, this.feePayer, bigintToUInt64BE(this.expirationTimestamp), this.isPrivateOnly, this.claimedRevertibleCounter);
62
58
  }
63
59
  /**
64
60
  * Deserializes from a buffer or reader, corresponding to a write in cpp.
@@ -66,9 +62,16 @@ import { PublicCallRequest } from './public_call_request.js';
66
62
  * @returns A new instance of PrivateKernelInnerCircuitPublicInputs.
67
63
  */ static fromBuffer(buffer) {
68
64
  const reader = BufferReader.asReader(buffer);
69
- return new PrivateKernelCircuitPublicInputs(reader.readObject(PrivateTxConstantData), reader.readObject(Fr), reader.readObject(PrivateValidationRequests), reader.readObject(PrivateAccumulatedData), reader.readObject(PublicCallRequest), reader.readObject(AztecAddress), reader.readUInt64(), reader.readBoolean(), reader.readObject(Fr), reader.readNumber());
65
+ return new PrivateKernelCircuitPublicInputs(reader.readObject(PrivateTxConstantData), reader.readObject(Fr), reader.readObject(PrivateValidationRequests), reader.readObject(PrivateAccumulatedData), reader.readObject(PublicCallRequest), reader.readObject(AztecAddress), reader.readUInt64(), reader.readBoolean(), reader.readNumber());
70
66
  }
71
67
  static empty() {
72
- return new PrivateKernelCircuitPublicInputs(PrivateTxConstantData.empty(), Fr.zero(), PrivateValidationRequests.empty(), PrivateAccumulatedData.empty(), PublicCallRequest.empty(), AztecAddress.ZERO, 0n, false, Fr.zero(), 0);
68
+ return new PrivateKernelCircuitPublicInputs(PrivateTxConstantData.empty(), Fr.zero(), PrivateValidationRequests.empty(), PrivateAccumulatedData.empty(), PublicCallRequest.empty(), AztecAddress.ZERO, 0n, false, 0);
73
69
  }
74
70
  }
71
+ /**
72
+ * Returns true iff the tx requires the public-bound terminal path: it has either un-processed
73
+ * public-call requests in the side-effect stream or a pending public-teardown call request. Every
74
+ * site picking between the rollup-bound and public-bound terminal artifact must route through this.
75
+ */ export function kernelStateIsForPublic(publicInputs) {
76
+ return publicInputs.end.publicCallRequests.claimedLength > 0 || !publicInputs.publicTeardownCallRequest.isEmpty();
77
+ }
@@ -14,10 +14,9 @@ export declare class PrivateKernelInit2CircuitPrivateInputs {
14
14
  privateCall0: PrivateCallData;
15
15
  privateCall1: PrivateCallData;
16
16
  isPrivateOnly: boolean;
17
- firstNullifierHint: Fr;
18
17
  revertibleCounterHint: number;
19
- constructor(txRequest: TxRequest, vkTreeRoot: Fr, protocolContracts: ProtocolContracts, privateCall0: PrivateCallData, privateCall1: PrivateCallData, isPrivateOnly: boolean, firstNullifierHint: Fr, revertibleCounterHint: number);
18
+ constructor(txRequest: TxRequest, vkTreeRoot: Fr, protocolContracts: ProtocolContracts, privateCall0: PrivateCallData, privateCall1: PrivateCallData, isPrivateOnly: boolean, revertibleCounterHint: number);
20
19
  toBuffer(): Buffer<ArrayBufferLike>;
21
20
  static fromBuffer(buffer: Buffer | BufferReader): PrivateKernelInit2CircuitPrivateInputs;
22
21
  }
23
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9rZXJuZWxfaW5pdF8yX2NpcmN1aXRfcHJpdmF0ZV9pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9rZXJuZWwvcHJpdmF0ZV9rZXJuZWxfaW5pdF8yX2NpcmN1aXRfcHJpdmF0ZV9pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFFOUUsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDaEUsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBQ2hELE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUV6RDs7O0dBR0c7QUFDSCxxQkFBYSxzQ0FBc0M7SUFFeEMsU0FBUyxFQUFFLFNBQVM7SUFDcEIsVUFBVSxFQUFFLEVBQUU7SUFDZCxpQkFBaUIsRUFBRSxpQkFBaUI7SUFDcEMsWUFBWSxFQUFFLGVBQWU7SUFDN0IsWUFBWSxFQUFFLGVBQWU7SUFDN0IsYUFBYSxFQUFFLE9BQU87SUFDdEIsa0JBQWtCLEVBQUUsRUFBRTtJQUN0QixxQkFBcUIsRUFBRSxNQUFNO0lBUnRDLFlBQ1MsU0FBUyxFQUFFLFNBQVMsRUFDcEIsVUFBVSxFQUFFLEVBQUUsRUFDZCxpQkFBaUIsRUFBRSxpQkFBaUIsRUFDcEMsWUFBWSxFQUFFLGVBQWUsRUFDN0IsWUFBWSxFQUFFLGVBQWUsRUFDN0IsYUFBYSxFQUFFLE9BQU8sRUFDdEIsa0JBQWtCLEVBQUUsRUFBRSxFQUN0QixxQkFBcUIsRUFBRSxNQUFNLEVBQ2xDO0lBRUosUUFBUSw0QkFVUDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsc0NBQXNDLENBWXZGO0NBQ0YifQ==
22
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9rZXJuZWxfaW5pdF8yX2NpcmN1aXRfcHJpdmF0ZV9pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9rZXJuZWwvcHJpdmF0ZV9rZXJuZWxfaW5pdF8yX2NpcmN1aXRfcHJpdmF0ZV9pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFFOUUsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDaEUsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBQ2hELE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUV6RDs7O0dBR0c7QUFDSCxxQkFBYSxzQ0FBc0M7SUFFeEMsU0FBUyxFQUFFLFNBQVM7SUFDcEIsVUFBVSxFQUFFLEVBQUU7SUFDZCxpQkFBaUIsRUFBRSxpQkFBaUI7SUFDcEMsWUFBWSxFQUFFLGVBQWU7SUFDN0IsWUFBWSxFQUFFLGVBQWU7SUFDN0IsYUFBYSxFQUFFLE9BQU87SUFDdEIscUJBQXFCLEVBQUUsTUFBTTtJQVB0QyxZQUNTLFNBQVMsRUFBRSxTQUFTLEVBQ3BCLFVBQVUsRUFBRSxFQUFFLEVBQ2QsaUJBQWlCLEVBQUUsaUJBQWlCLEVBQ3BDLFlBQVksRUFBRSxlQUFlLEVBQzdCLFlBQVksRUFBRSxlQUFlLEVBQzdCLGFBQWEsRUFBRSxPQUFPLEVBQ3RCLHFCQUFxQixFQUFFLE1BQU0sRUFDbEM7SUFFSixRQUFRLDRCQVNQO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxzQ0FBc0MsQ0FXdkY7Q0FDRiJ9
@@ -1 +1 @@
1
- {"version":3,"file":"private_kernel_init_2_circuit_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_init_2_circuit_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD;;;GAGG;AACH,qBAAa,sCAAsC;IAExC,SAAS,EAAE,SAAS;IACpB,UAAU,EAAE,EAAE;IACd,iBAAiB,EAAE,iBAAiB;IACpC,YAAY,EAAE,eAAe;IAC7B,YAAY,EAAE,eAAe;IAC7B,aAAa,EAAE,OAAO;IACtB,kBAAkB,EAAE,EAAE;IACtB,qBAAqB,EAAE,MAAM;IARtC,YACS,SAAS,EAAE,SAAS,EACpB,UAAU,EAAE,EAAE,EACd,iBAAiB,EAAE,iBAAiB,EACpC,YAAY,EAAE,eAAe,EAC7B,YAAY,EAAE,eAAe,EAC7B,aAAa,EAAE,OAAO,EACtB,kBAAkB,EAAE,EAAE,EACtB,qBAAqB,EAAE,MAAM,EAClC;IAEJ,QAAQ,4BAUP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sCAAsC,CAYvF;CACF"}
1
+ {"version":3,"file":"private_kernel_init_2_circuit_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_init_2_circuit_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD;;;GAGG;AACH,qBAAa,sCAAsC;IAExC,SAAS,EAAE,SAAS;IACpB,UAAU,EAAE,EAAE;IACd,iBAAiB,EAAE,iBAAiB;IACpC,YAAY,EAAE,eAAe;IAC7B,YAAY,EAAE,eAAe;IAC7B,aAAa,EAAE,OAAO;IACtB,qBAAqB,EAAE,MAAM;IAPtC,YACS,SAAS,EAAE,SAAS,EACpB,UAAU,EAAE,EAAE,EACd,iBAAiB,EAAE,iBAAiB,EACpC,YAAY,EAAE,eAAe,EAC7B,YAAY,EAAE,eAAe,EAC7B,aAAa,EAAE,OAAO,EACtB,qBAAqB,EAAE,MAAM,EAClC;IAEJ,QAAQ,4BASP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sCAAsC,CAWvF;CACF"}
@@ -13,23 +13,21 @@ import { PrivateCallData } from './private_call_data.js';
13
13
  privateCall0;
14
14
  privateCall1;
15
15
  isPrivateOnly;
16
- firstNullifierHint;
17
16
  revertibleCounterHint;
18
- constructor(txRequest, vkTreeRoot, protocolContracts, privateCall0, privateCall1, isPrivateOnly, firstNullifierHint, revertibleCounterHint){
17
+ constructor(txRequest, vkTreeRoot, protocolContracts, privateCall0, privateCall1, isPrivateOnly, revertibleCounterHint){
19
18
  this.txRequest = txRequest;
20
19
  this.vkTreeRoot = vkTreeRoot;
21
20
  this.protocolContracts = protocolContracts;
22
21
  this.privateCall0 = privateCall0;
23
22
  this.privateCall1 = privateCall1;
24
23
  this.isPrivateOnly = isPrivateOnly;
25
- this.firstNullifierHint = firstNullifierHint;
26
24
  this.revertibleCounterHint = revertibleCounterHint;
27
25
  }
28
26
  toBuffer() {
29
- return serializeToBuffer(this.txRequest, this.vkTreeRoot, this.protocolContracts, this.privateCall0, this.privateCall1, this.firstNullifierHint, this.revertibleCounterHint);
27
+ return serializeToBuffer(this.txRequest, this.vkTreeRoot, this.protocolContracts, this.privateCall0, this.privateCall1, this.revertibleCounterHint);
30
28
  }
31
29
  static fromBuffer(buffer) {
32
30
  const reader = BufferReader.asReader(buffer);
33
- return new PrivateKernelInit2CircuitPrivateInputs(reader.readObject(TxRequest), Fr.fromBuffer(reader), reader.readObject(ProtocolContracts), reader.readObject(PrivateCallData), reader.readObject(PrivateCallData), reader.readBoolean(), Fr.fromBuffer(reader), reader.readNumber());
31
+ return new PrivateKernelInit2CircuitPrivateInputs(reader.readObject(TxRequest), Fr.fromBuffer(reader), reader.readObject(ProtocolContracts), reader.readObject(PrivateCallData), reader.readObject(PrivateCallData), reader.readBoolean(), reader.readNumber());
34
32
  }
35
33
  }
@@ -15,10 +15,9 @@ export declare class PrivateKernelInit3CircuitPrivateInputs {
15
15
  privateCall1: PrivateCallData;
16
16
  privateCall2: PrivateCallData;
17
17
  isPrivateOnly: boolean;
18
- firstNullifierHint: Fr;
19
18
  revertibleCounterHint: number;
20
- constructor(txRequest: TxRequest, vkTreeRoot: Fr, protocolContracts: ProtocolContracts, privateCall0: PrivateCallData, privateCall1: PrivateCallData, privateCall2: PrivateCallData, isPrivateOnly: boolean, firstNullifierHint: Fr, revertibleCounterHint: number);
19
+ constructor(txRequest: TxRequest, vkTreeRoot: Fr, protocolContracts: ProtocolContracts, privateCall0: PrivateCallData, privateCall1: PrivateCallData, privateCall2: PrivateCallData, isPrivateOnly: boolean, revertibleCounterHint: number);
21
20
  toBuffer(): Buffer<ArrayBufferLike>;
22
21
  static fromBuffer(buffer: Buffer | BufferReader): PrivateKernelInit3CircuitPrivateInputs;
23
22
  }
24
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9rZXJuZWxfaW5pdF8zX2NpcmN1aXRfcHJpdmF0ZV9pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9rZXJuZWwvcHJpdmF0ZV9rZXJuZWxfaW5pdF8zX2NpcmN1aXRfcHJpdmF0ZV9pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFFOUUsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDaEUsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBQ2hELE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUV6RDs7O0dBR0c7QUFDSCxxQkFBYSxzQ0FBc0M7SUFFeEMsU0FBUyxFQUFFLFNBQVM7SUFDcEIsVUFBVSxFQUFFLEVBQUU7SUFDZCxpQkFBaUIsRUFBRSxpQkFBaUI7SUFDcEMsWUFBWSxFQUFFLGVBQWU7SUFDN0IsWUFBWSxFQUFFLGVBQWU7SUFDN0IsWUFBWSxFQUFFLGVBQWU7SUFDN0IsYUFBYSxFQUFFLE9BQU87SUFDdEIsa0JBQWtCLEVBQUUsRUFBRTtJQUN0QixxQkFBcUIsRUFBRSxNQUFNO0lBVHRDLFlBQ1MsU0FBUyxFQUFFLFNBQVMsRUFDcEIsVUFBVSxFQUFFLEVBQUUsRUFDZCxpQkFBaUIsRUFBRSxpQkFBaUIsRUFDcEMsWUFBWSxFQUFFLGVBQWUsRUFDN0IsWUFBWSxFQUFFLGVBQWUsRUFDN0IsWUFBWSxFQUFFLGVBQWUsRUFDN0IsYUFBYSxFQUFFLE9BQU8sRUFDdEIsa0JBQWtCLEVBQUUsRUFBRSxFQUN0QixxQkFBcUIsRUFBRSxNQUFNLEVBQ2xDO0lBRUosUUFBUSw0QkFXUDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsc0NBQXNDLENBYXZGO0NBQ0YifQ==
23
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9rZXJuZWxfaW5pdF8zX2NpcmN1aXRfcHJpdmF0ZV9pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9rZXJuZWwvcHJpdmF0ZV9rZXJuZWxfaW5pdF8zX2NpcmN1aXRfcHJpdmF0ZV9pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFFOUUsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDaEUsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBQ2hELE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUV6RDs7O0dBR0c7QUFDSCxxQkFBYSxzQ0FBc0M7SUFFeEMsU0FBUyxFQUFFLFNBQVM7SUFDcEIsVUFBVSxFQUFFLEVBQUU7SUFDZCxpQkFBaUIsRUFBRSxpQkFBaUI7SUFDcEMsWUFBWSxFQUFFLGVBQWU7SUFDN0IsWUFBWSxFQUFFLGVBQWU7SUFDN0IsWUFBWSxFQUFFLGVBQWU7SUFDN0IsYUFBYSxFQUFFLE9BQU87SUFDdEIscUJBQXFCLEVBQUUsTUFBTTtJQVJ0QyxZQUNTLFNBQVMsRUFBRSxTQUFTLEVBQ3BCLFVBQVUsRUFBRSxFQUFFLEVBQ2QsaUJBQWlCLEVBQUUsaUJBQWlCLEVBQ3BDLFlBQVksRUFBRSxlQUFlLEVBQzdCLFlBQVksRUFBRSxlQUFlLEVBQzdCLFlBQVksRUFBRSxlQUFlLEVBQzdCLGFBQWEsRUFBRSxPQUFPLEVBQ3RCLHFCQUFxQixFQUFFLE1BQU0sRUFDbEM7SUFFSixRQUFRLDRCQVVQO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxzQ0FBc0MsQ0FZdkY7Q0FDRiJ9
@@ -1 +1 @@
1
- {"version":3,"file":"private_kernel_init_3_circuit_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_init_3_circuit_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD;;;GAGG;AACH,qBAAa,sCAAsC;IAExC,SAAS,EAAE,SAAS;IACpB,UAAU,EAAE,EAAE;IACd,iBAAiB,EAAE,iBAAiB;IACpC,YAAY,EAAE,eAAe;IAC7B,YAAY,EAAE,eAAe;IAC7B,YAAY,EAAE,eAAe;IAC7B,aAAa,EAAE,OAAO;IACtB,kBAAkB,EAAE,EAAE;IACtB,qBAAqB,EAAE,MAAM;IATtC,YACS,SAAS,EAAE,SAAS,EACpB,UAAU,EAAE,EAAE,EACd,iBAAiB,EAAE,iBAAiB,EACpC,YAAY,EAAE,eAAe,EAC7B,YAAY,EAAE,eAAe,EAC7B,YAAY,EAAE,eAAe,EAC7B,aAAa,EAAE,OAAO,EACtB,kBAAkB,EAAE,EAAE,EACtB,qBAAqB,EAAE,MAAM,EAClC;IAEJ,QAAQ,4BAWP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sCAAsC,CAavF;CACF"}
1
+ {"version":3,"file":"private_kernel_init_3_circuit_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_init_3_circuit_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD;;;GAGG;AACH,qBAAa,sCAAsC;IAExC,SAAS,EAAE,SAAS;IACpB,UAAU,EAAE,EAAE;IACd,iBAAiB,EAAE,iBAAiB;IACpC,YAAY,EAAE,eAAe;IAC7B,YAAY,EAAE,eAAe;IAC7B,YAAY,EAAE,eAAe;IAC7B,aAAa,EAAE,OAAO;IACtB,qBAAqB,EAAE,MAAM;IARtC,YACS,SAAS,EAAE,SAAS,EACpB,UAAU,EAAE,EAAE,EACd,iBAAiB,EAAE,iBAAiB,EACpC,YAAY,EAAE,eAAe,EAC7B,YAAY,EAAE,eAAe,EAC7B,YAAY,EAAE,eAAe,EAC7B,aAAa,EAAE,OAAO,EACtB,qBAAqB,EAAE,MAAM,EAClC;IAEJ,QAAQ,4BAUP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sCAAsC,CAYvF;CACF"}
@@ -14,9 +14,8 @@ import { PrivateCallData } from './private_call_data.js';
14
14
  privateCall1;
15
15
  privateCall2;
16
16
  isPrivateOnly;
17
- firstNullifierHint;
18
17
  revertibleCounterHint;
19
- constructor(txRequest, vkTreeRoot, protocolContracts, privateCall0, privateCall1, privateCall2, isPrivateOnly, firstNullifierHint, revertibleCounterHint){
18
+ constructor(txRequest, vkTreeRoot, protocolContracts, privateCall0, privateCall1, privateCall2, isPrivateOnly, revertibleCounterHint){
20
19
  this.txRequest = txRequest;
21
20
  this.vkTreeRoot = vkTreeRoot;
22
21
  this.protocolContracts = protocolContracts;
@@ -24,14 +23,13 @@ import { PrivateCallData } from './private_call_data.js';
24
23
  this.privateCall1 = privateCall1;
25
24
  this.privateCall2 = privateCall2;
26
25
  this.isPrivateOnly = isPrivateOnly;
27
- this.firstNullifierHint = firstNullifierHint;
28
26
  this.revertibleCounterHint = revertibleCounterHint;
29
27
  }
30
28
  toBuffer() {
31
- return serializeToBuffer(this.txRequest, this.vkTreeRoot, this.protocolContracts, this.privateCall0, this.privateCall1, this.privateCall2, this.firstNullifierHint, this.revertibleCounterHint);
29
+ return serializeToBuffer(this.txRequest, this.vkTreeRoot, this.protocolContracts, this.privateCall0, this.privateCall1, this.privateCall2, this.revertibleCounterHint);
32
30
  }
33
31
  static fromBuffer(buffer) {
34
32
  const reader = BufferReader.asReader(buffer);
35
- return new PrivateKernelInit3CircuitPrivateInputs(reader.readObject(TxRequest), Fr.fromBuffer(reader), reader.readObject(ProtocolContracts), reader.readObject(PrivateCallData), reader.readObject(PrivateCallData), reader.readObject(PrivateCallData), reader.readBoolean(), Fr.fromBuffer(reader), reader.readNumber());
33
+ return new PrivateKernelInit3CircuitPrivateInputs(reader.readObject(TxRequest), Fr.fromBuffer(reader), reader.readObject(ProtocolContracts), reader.readObject(PrivateCallData), reader.readObject(PrivateCallData), reader.readObject(PrivateCallData), reader.readBoolean(), reader.readNumber());
36
34
  }
37
35
  }
@@ -0,0 +1,24 @@
1
+ import { Fr } from '@aztec/foundation/curves/bn254';
2
+ import { BufferReader } from '@aztec/foundation/serialize';
3
+ import { ProtocolContracts } from '../tx/protocol_contracts.js';
4
+ import { TxRequest } from '../tx/tx_request.js';
5
+ import { PrivateCallData } from './private_call_data.js';
6
+ /**
7
+ * Input to the batched private kernel init circuit, which processes the first four app calls of a
8
+ * transaction in a single iteration.
9
+ */
10
+ export declare class PrivateKernelInit4CircuitPrivateInputs {
11
+ txRequest: TxRequest;
12
+ vkTreeRoot: Fr;
13
+ protocolContracts: ProtocolContracts;
14
+ privateCall0: PrivateCallData;
15
+ privateCall1: PrivateCallData;
16
+ privateCall2: PrivateCallData;
17
+ privateCall3: PrivateCallData;
18
+ isPrivateOnly: boolean;
19
+ revertibleCounterHint: number;
20
+ constructor(txRequest: TxRequest, vkTreeRoot: Fr, protocolContracts: ProtocolContracts, privateCall0: PrivateCallData, privateCall1: PrivateCallData, privateCall2: PrivateCallData, privateCall3: PrivateCallData, isPrivateOnly: boolean, revertibleCounterHint: number);
21
+ toBuffer(): Buffer<ArrayBufferLike>;
22
+ static fromBuffer(buffer: Buffer | BufferReader): PrivateKernelInit4CircuitPrivateInputs;
23
+ }
24
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9rZXJuZWxfaW5pdF80X2NpcmN1aXRfcHJpdmF0ZV9pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9rZXJuZWwvcHJpdmF0ZV9rZXJuZWxfaW5pdF80X2NpcmN1aXRfcHJpdmF0ZV9pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFFOUUsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDaEUsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBQ2hELE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUV6RDs7O0dBR0c7QUFDSCxxQkFBYSxzQ0FBc0M7SUFFeEMsU0FBUyxFQUFFLFNBQVM7SUFDcEIsVUFBVSxFQUFFLEVBQUU7SUFDZCxpQkFBaUIsRUFBRSxpQkFBaUI7SUFDcEMsWUFBWSxFQUFFLGVBQWU7SUFDN0IsWUFBWSxFQUFFLGVBQWU7SUFDN0IsWUFBWSxFQUFFLGVBQWU7SUFDN0IsWUFBWSxFQUFFLGVBQWU7SUFDN0IsYUFBYSxFQUFFLE9BQU87SUFDdEIscUJBQXFCLEVBQUUsTUFBTTtJQVR0QyxZQUNTLFNBQVMsRUFBRSxTQUFTLEVBQ3BCLFVBQVUsRUFBRSxFQUFFLEVBQ2QsaUJBQWlCLEVBQUUsaUJBQWlCLEVBQ3BDLFlBQVksRUFBRSxlQUFlLEVBQzdCLFlBQVksRUFBRSxlQUFlLEVBQzdCLFlBQVksRUFBRSxlQUFlLEVBQzdCLFlBQVksRUFBRSxlQUFlLEVBQzdCLGFBQWEsRUFBRSxPQUFPLEVBQ3RCLHFCQUFxQixFQUFFLE1BQU0sRUFDbEM7SUFFSixRQUFRLDRCQVdQO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxzQ0FBc0MsQ0FhdkY7Q0FDRiJ9
@@ -0,0 +1 @@
1
+ {"version":3,"file":"private_kernel_init_4_circuit_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_init_4_circuit_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD;;;GAGG;AACH,qBAAa,sCAAsC;IAExC,SAAS,EAAE,SAAS;IACpB,UAAU,EAAE,EAAE;IACd,iBAAiB,EAAE,iBAAiB;IACpC,YAAY,EAAE,eAAe;IAC7B,YAAY,EAAE,eAAe;IAC7B,YAAY,EAAE,eAAe;IAC7B,YAAY,EAAE,eAAe;IAC7B,aAAa,EAAE,OAAO;IACtB,qBAAqB,EAAE,MAAM;IATtC,YACS,SAAS,EAAE,SAAS,EACpB,UAAU,EAAE,EAAE,EACd,iBAAiB,EAAE,iBAAiB,EACpC,YAAY,EAAE,eAAe,EAC7B,YAAY,EAAE,eAAe,EAC7B,YAAY,EAAE,eAAe,EAC7B,YAAY,EAAE,eAAe,EAC7B,aAAa,EAAE,OAAO,EACtB,qBAAqB,EAAE,MAAM,EAClC;IAEJ,QAAQ,4BAWP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sCAAsC,CAavF;CACF"}
@@ -0,0 +1,37 @@
1
+ import { Fr } from '@aztec/foundation/curves/bn254';
2
+ import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
3
+ import { ProtocolContracts } from '../tx/protocol_contracts.js';
4
+ import { TxRequest } from '../tx/tx_request.js';
5
+ import { PrivateCallData } from './private_call_data.js';
6
+ /**
7
+ * Input to the batched private kernel init circuit, which processes the first four app calls of a
8
+ * transaction in a single iteration.
9
+ */ export class PrivateKernelInit4CircuitPrivateInputs {
10
+ txRequest;
11
+ vkTreeRoot;
12
+ protocolContracts;
13
+ privateCall0;
14
+ privateCall1;
15
+ privateCall2;
16
+ privateCall3;
17
+ isPrivateOnly;
18
+ revertibleCounterHint;
19
+ constructor(txRequest, vkTreeRoot, protocolContracts, privateCall0, privateCall1, privateCall2, privateCall3, isPrivateOnly, revertibleCounterHint){
20
+ this.txRequest = txRequest;
21
+ this.vkTreeRoot = vkTreeRoot;
22
+ this.protocolContracts = protocolContracts;
23
+ this.privateCall0 = privateCall0;
24
+ this.privateCall1 = privateCall1;
25
+ this.privateCall2 = privateCall2;
26
+ this.privateCall3 = privateCall3;
27
+ this.isPrivateOnly = isPrivateOnly;
28
+ this.revertibleCounterHint = revertibleCounterHint;
29
+ }
30
+ toBuffer() {
31
+ return serializeToBuffer(this.txRequest, this.vkTreeRoot, this.protocolContracts, this.privateCall0, this.privateCall1, this.privateCall2, this.privateCall3, this.revertibleCounterHint);
32
+ }
33
+ static fromBuffer(buffer) {
34
+ const reader = BufferReader.asReader(buffer);
35
+ return new PrivateKernelInit4CircuitPrivateInputs(reader.readObject(TxRequest), Fr.fromBuffer(reader), reader.readObject(ProtocolContracts), reader.readObject(PrivateCallData), reader.readObject(PrivateCallData), reader.readObject(PrivateCallData), reader.readObject(PrivateCallData), reader.readBoolean(), reader.readNumber());
36
+ }
37
+ }
@@ -0,0 +1,25 @@
1
+ import { Fr } from '@aztec/foundation/curves/bn254';
2
+ import { BufferReader } from '@aztec/foundation/serialize';
3
+ import { ProtocolContracts } from '../tx/protocol_contracts.js';
4
+ import { TxRequest } from '../tx/tx_request.js';
5
+ import { PrivateCallData } from './private_call_data.js';
6
+ /**
7
+ * Input to the batched private kernel init circuit, which processes the first five app calls of a
8
+ * transaction in a single iteration.
9
+ */
10
+ export declare class PrivateKernelInit5CircuitPrivateInputs {
11
+ txRequest: TxRequest;
12
+ vkTreeRoot: Fr;
13
+ protocolContracts: ProtocolContracts;
14
+ privateCall0: PrivateCallData;
15
+ privateCall1: PrivateCallData;
16
+ privateCall2: PrivateCallData;
17
+ privateCall3: PrivateCallData;
18
+ privateCall4: PrivateCallData;
19
+ isPrivateOnly: boolean;
20
+ revertibleCounterHint: number;
21
+ constructor(txRequest: TxRequest, vkTreeRoot: Fr, protocolContracts: ProtocolContracts, privateCall0: PrivateCallData, privateCall1: PrivateCallData, privateCall2: PrivateCallData, privateCall3: PrivateCallData, privateCall4: PrivateCallData, isPrivateOnly: boolean, revertibleCounterHint: number);
22
+ toBuffer(): Buffer<ArrayBufferLike>;
23
+ static fromBuffer(buffer: Buffer | BufferReader): PrivateKernelInit5CircuitPrivateInputs;
24
+ }
25
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9rZXJuZWxfaW5pdF81X2NpcmN1aXRfcHJpdmF0ZV9pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9rZXJuZWwvcHJpdmF0ZV9rZXJuZWxfaW5pdF81X2NpcmN1aXRfcHJpdmF0ZV9pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFFOUUsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDaEUsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBQ2hELE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUV6RDs7O0dBR0c7QUFDSCxxQkFBYSxzQ0FBc0M7SUFFeEMsU0FBUyxFQUFFLFNBQVM7SUFDcEIsVUFBVSxFQUFFLEVBQUU7SUFDZCxpQkFBaUIsRUFBRSxpQkFBaUI7SUFDcEMsWUFBWSxFQUFFLGVBQWU7SUFDN0IsWUFBWSxFQUFFLGVBQWU7SUFDN0IsWUFBWSxFQUFFLGVBQWU7SUFDN0IsWUFBWSxFQUFFLGVBQWU7SUFDN0IsWUFBWSxFQUFFLGVBQWU7SUFDN0IsYUFBYSxFQUFFLE9BQU87SUFDdEIscUJBQXFCLEVBQUUsTUFBTTtJQVZ0QyxZQUNTLFNBQVMsRUFBRSxTQUFTLEVBQ3BCLFVBQVUsRUFBRSxFQUFFLEVBQ2QsaUJBQWlCLEVBQUUsaUJBQWlCLEVBQ3BDLFlBQVksRUFBRSxlQUFlLEVBQzdCLFlBQVksRUFBRSxlQUFlLEVBQzdCLFlBQVksRUFBRSxlQUFlLEVBQzdCLFlBQVksRUFBRSxlQUFlLEVBQzdCLFlBQVksRUFBRSxlQUFlLEVBQzdCLGFBQWEsRUFBRSxPQUFPLEVBQ3RCLHFCQUFxQixFQUFFLE1BQU0sRUFDbEM7SUFFSixRQUFRLDRCQVlQO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxzQ0FBc0MsQ0FjdkY7Q0FDRiJ9
@@ -0,0 +1 @@
1
+ {"version":3,"file":"private_kernel_init_5_circuit_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_init_5_circuit_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD;;;GAGG;AACH,qBAAa,sCAAsC;IAExC,SAAS,EAAE,SAAS;IACpB,UAAU,EAAE,EAAE;IACd,iBAAiB,EAAE,iBAAiB;IACpC,YAAY,EAAE,eAAe;IAC7B,YAAY,EAAE,eAAe;IAC7B,YAAY,EAAE,eAAe;IAC7B,YAAY,EAAE,eAAe;IAC7B,YAAY,EAAE,eAAe;IAC7B,aAAa,EAAE,OAAO;IACtB,qBAAqB,EAAE,MAAM;IAVtC,YACS,SAAS,EAAE,SAAS,EACpB,UAAU,EAAE,EAAE,EACd,iBAAiB,EAAE,iBAAiB,EACpC,YAAY,EAAE,eAAe,EAC7B,YAAY,EAAE,eAAe,EAC7B,YAAY,EAAE,eAAe,EAC7B,YAAY,EAAE,eAAe,EAC7B,YAAY,EAAE,eAAe,EAC7B,aAAa,EAAE,OAAO,EACtB,qBAAqB,EAAE,MAAM,EAClC;IAEJ,QAAQ,4BAYP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sCAAsC,CAcvF;CACF"}
@@ -0,0 +1,39 @@
1
+ import { Fr } from '@aztec/foundation/curves/bn254';
2
+ import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
3
+ import { ProtocolContracts } from '../tx/protocol_contracts.js';
4
+ import { TxRequest } from '../tx/tx_request.js';
5
+ import { PrivateCallData } from './private_call_data.js';
6
+ /**
7
+ * Input to the batched private kernel init circuit, which processes the first five app calls of a
8
+ * transaction in a single iteration.
9
+ */ export class PrivateKernelInit5CircuitPrivateInputs {
10
+ txRequest;
11
+ vkTreeRoot;
12
+ protocolContracts;
13
+ privateCall0;
14
+ privateCall1;
15
+ privateCall2;
16
+ privateCall3;
17
+ privateCall4;
18
+ isPrivateOnly;
19
+ revertibleCounterHint;
20
+ constructor(txRequest, vkTreeRoot, protocolContracts, privateCall0, privateCall1, privateCall2, privateCall3, privateCall4, isPrivateOnly, revertibleCounterHint){
21
+ this.txRequest = txRequest;
22
+ this.vkTreeRoot = vkTreeRoot;
23
+ this.protocolContracts = protocolContracts;
24
+ this.privateCall0 = privateCall0;
25
+ this.privateCall1 = privateCall1;
26
+ this.privateCall2 = privateCall2;
27
+ this.privateCall3 = privateCall3;
28
+ this.privateCall4 = privateCall4;
29
+ this.isPrivateOnly = isPrivateOnly;
30
+ this.revertibleCounterHint = revertibleCounterHint;
31
+ }
32
+ toBuffer() {
33
+ return serializeToBuffer(this.txRequest, this.vkTreeRoot, this.protocolContracts, this.privateCall0, this.privateCall1, this.privateCall2, this.privateCall3, this.privateCall4, this.revertibleCounterHint);
34
+ }
35
+ static fromBuffer(buffer) {
36
+ const reader = BufferReader.asReader(buffer);
37
+ return new PrivateKernelInit5CircuitPrivateInputs(reader.readObject(TxRequest), Fr.fromBuffer(reader), reader.readObject(ProtocolContracts), reader.readObject(PrivateCallData), reader.readObject(PrivateCallData), reader.readObject(PrivateCallData), reader.readObject(PrivateCallData), reader.readObject(PrivateCallData), reader.readBoolean(), reader.readNumber());
38
+ }
39
+ }