@aztec/stdlib 0.87.7 → 1.0.0-nightly.20250604

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 (220) hide show
  1. package/dest/abi/abi.d.ts +3 -0
  2. package/dest/abi/abi.d.ts.map +1 -1
  3. package/dest/abi/abi.js +38 -0
  4. package/dest/avm/avm.d.ts +1188 -25
  5. package/dest/avm/avm.d.ts.map +1 -1
  6. package/dest/avm/avm.js +31 -14
  7. package/dest/avm/avm_accumulated_data.d.ts +77 -0
  8. package/dest/avm/avm_accumulated_data.d.ts.map +1 -1
  9. package/dest/avm/avm_accumulated_data.js +67 -0
  10. package/dest/avm/avm_circuit_public_inputs.d.ts +73 -3
  11. package/dest/avm/avm_circuit_public_inputs.d.ts.map +1 -1
  12. package/dest/avm/avm_circuit_public_inputs.js +19 -9
  13. package/dest/avm/avm_proving_request.d.ts +572 -0
  14. package/dest/avm/avm_proving_request.d.ts.map +1 -1
  15. package/dest/avm/gas.d.ts +7 -0
  16. package/dest/avm/gas.d.ts.map +1 -0
  17. package/dest/avm/gas.js +13 -0
  18. package/dest/avm/index.d.ts +1 -0
  19. package/dest/avm/index.d.ts.map +1 -1
  20. package/dest/avm/index.js +1 -0
  21. package/dest/block/body.d.ts +1 -1
  22. package/dest/block/body.d.ts.map +1 -1
  23. package/dest/block/body.js +2 -2
  24. package/dest/block/index.d.ts +1 -0
  25. package/dest/block/index.d.ts.map +1 -1
  26. package/dest/block/index.js +1 -0
  27. package/dest/block/l2_block.d.ts +3 -2
  28. package/dest/block/l2_block.d.ts.map +1 -1
  29. package/dest/block/l2_block.js +10 -5
  30. package/dest/block/l2_block_source.d.ts +9 -4
  31. package/dest/block/l2_block_source.d.ts.map +1 -1
  32. package/dest/block/l2_block_source.js +1 -0
  33. package/dest/block/proposal/committee_attestation.d.ts +34 -0
  34. package/dest/block/proposal/committee_attestation.d.ts.map +1 -0
  35. package/dest/block/proposal/committee_attestation.js +59 -0
  36. package/dest/block/proposal/index.d.ts +2 -0
  37. package/dest/block/proposal/index.d.ts.map +1 -0
  38. package/dest/block/proposal/index.js +1 -0
  39. package/dest/block/published_l2_block.d.ts +99 -69
  40. package/dest/block/published_l2_block.d.ts.map +1 -1
  41. package/dest/block/published_l2_block.js +38 -12
  42. package/dest/block/test/l2_tips_store_test_suite.js +1 -1
  43. package/dest/interfaces/archiver.js +2 -2
  44. package/dest/interfaces/aztec-node.d.ts +3 -8
  45. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  46. package/dest/interfaces/aztec-node.js +3 -6
  47. package/dest/interfaces/block-builder.d.ts +41 -2
  48. package/dest/interfaces/block-builder.d.ts.map +1 -1
  49. package/dest/interfaces/block-builder.js +1 -1
  50. package/dest/interfaces/epoch-prover.d.ts +2 -2
  51. package/dest/interfaces/epoch-prover.d.ts.map +1 -1
  52. package/dest/interfaces/merkle_tree_operations.d.ts +14 -0
  53. package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
  54. package/dest/interfaces/p2p.d.ts +6 -3
  55. package/dest/interfaces/p2p.d.ts.map +1 -1
  56. package/dest/interfaces/p2p.js +1 -2
  57. package/dest/interfaces/proving-job.d.ts +576 -4
  58. package/dest/interfaces/proving-job.d.ts.map +1 -1
  59. package/dest/interfaces/proving-job.js +2 -2
  60. package/dest/interfaces/server_circuit_prover.d.ts +3 -2
  61. package/dest/interfaces/server_circuit_prover.d.ts.map +1 -1
  62. package/dest/kernel/hints/find_private_kernel_reset_dimensions.js +1 -1
  63. package/dest/kernel/hints/key_validation_hint.d.ts +2 -6
  64. package/dest/kernel/hints/key_validation_hint.d.ts.map +1 -1
  65. package/dest/kernel/hints/key_validation_hint.js +5 -7
  66. package/dest/kernel/hints/private_kernel_reset_hints.d.ts +7 -7
  67. package/dest/kernel/hints/private_kernel_reset_hints.d.ts.map +1 -1
  68. package/dest/kernel/hints/private_kernel_reset_hints.js +8 -4
  69. package/dest/kernel/hints/read_request_hints.d.ts +8 -8
  70. package/dest/kernel/hints/read_request_hints.d.ts.map +1 -1
  71. package/dest/kernel/index.d.ts +1 -0
  72. package/dest/kernel/index.d.ts.map +1 -1
  73. package/dest/kernel/index.js +1 -0
  74. package/dest/kernel/padded_side_effects.d.ts +26 -0
  75. package/dest/kernel/padded_side_effects.d.ts.map +1 -0
  76. package/dest/kernel/padded_side_effects.js +51 -0
  77. package/dest/kernel/private_kernel_data.d.ts +6 -25
  78. package/dest/kernel/private_kernel_data.d.ts.map +1 -1
  79. package/dest/kernel/private_kernel_data.js +8 -19
  80. package/dest/kernel/private_kernel_reset_circuit_private_inputs.d.ts +7 -4
  81. package/dest/kernel/private_kernel_reset_circuit_private_inputs.d.ts.map +1 -1
  82. package/dest/kernel/private_kernel_reset_circuit_private_inputs.js +10 -6
  83. package/dest/kernel/private_kernel_reset_dimensions.d.ts +10 -10
  84. package/dest/kernel/private_kernel_reset_dimensions.d.ts.map +1 -1
  85. package/dest/kernel/private_kernel_reset_dimensions.js +29 -29
  86. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts +10 -1
  87. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts.map +1 -1
  88. package/dest/kernel/private_kernel_tail_circuit_private_inputs.js +8 -3
  89. package/dest/kernel/private_to_avm_accumulated_data.d.ts +1 -0
  90. package/dest/kernel/private_to_avm_accumulated_data.d.ts.map +1 -1
  91. package/dest/kernel/private_to_avm_accumulated_data.js +4 -0
  92. package/dest/kernel/public_call_request.d.ts +54 -0
  93. package/dest/kernel/public_call_request.d.ts.map +1 -1
  94. package/dest/kernel/public_call_request.js +58 -0
  95. package/dest/logs/contract_class_log.d.ts +0 -4
  96. package/dest/logs/contract_class_log.d.ts.map +1 -1
  97. package/dest/logs/contract_class_log.js +0 -33
  98. package/dest/logs/log_with_tx_data.d.ts +13 -3
  99. package/dest/logs/log_with_tx_data.d.ts.map +1 -1
  100. package/dest/logs/log_with_tx_data.js +26 -14
  101. package/dest/logs/private_log.d.ts +1 -0
  102. package/dest/logs/private_log.d.ts.map +1 -1
  103. package/dest/logs/private_log.js +3 -0
  104. package/dest/logs/public_log.d.ts +1 -0
  105. package/dest/logs/public_log.d.ts.map +1 -1
  106. package/dest/logs/public_log.js +3 -0
  107. package/dest/logs/tx_scoped_l2_log.d.ts.map +1 -1
  108. package/dest/logs/tx_scoped_l2_log.js +1 -0
  109. package/dest/messaging/index.d.ts +1 -0
  110. package/dest/messaging/index.d.ts.map +1 -1
  111. package/dest/messaging/index.js +1 -0
  112. package/dest/messaging/l2_to_l1_membership.d.ts +11 -0
  113. package/dest/messaging/l2_to_l1_membership.d.ts.map +1 -0
  114. package/dest/messaging/l2_to_l1_membership.js +70 -0
  115. package/dest/p2p/consensus_payload.d.ts.map +1 -1
  116. package/dest/rollup/avm_proof_data.d.ts +7 -5
  117. package/dest/rollup/avm_proof_data.d.ts.map +1 -1
  118. package/dest/rollup/avm_proof_data.js +12 -4
  119. package/dest/rollup/base_rollup_hints.d.ts +4 -4
  120. package/dest/rollup/base_rollup_hints.d.ts.map +1 -1
  121. package/dest/rollup/base_rollup_hints.js +8 -8
  122. package/dest/rollup/previous_rollup_block_data.d.ts +6 -15
  123. package/dest/rollup/previous_rollup_block_data.d.ts.map +1 -1
  124. package/dest/rollup/previous_rollup_block_data.js +8 -13
  125. package/dest/rollup/previous_rollup_data.d.ts +6 -15
  126. package/dest/rollup/previous_rollup_data.d.ts.map +1 -1
  127. package/dest/rollup/previous_rollup_data.js +8 -13
  128. package/dest/rollup/private_tube_data.d.ts +3 -3
  129. package/dest/rollup/private_tube_data.d.ts.map +1 -1
  130. package/dest/rollup/private_tube_data.js +3 -3
  131. package/dest/rollup/public_tube_data.d.ts +3 -3
  132. package/dest/rollup/public_tube_data.d.ts.map +1 -1
  133. package/dest/rollup/public_tube_data.js +3 -3
  134. package/dest/rollup/root_rollup.d.ts +9 -10
  135. package/dest/rollup/root_rollup.d.ts.map +1 -1
  136. package/dest/rollup/root_rollup.js +9 -20
  137. package/dest/tests/factories.d.ts +2 -1
  138. package/dest/tests/factories.d.ts.map +1 -1
  139. package/dest/tests/factories.js +53 -28
  140. package/dest/tests/mocks.d.ts.map +1 -1
  141. package/dest/tests/mocks.js +4 -3
  142. package/dest/tx/processed_tx.d.ts.map +1 -1
  143. package/dest/tx/processed_tx.js +2 -5
  144. package/dest/tx/tx.d.ts +10 -25
  145. package/dest/tx/tx.d.ts.map +1 -1
  146. package/dest/tx/tx.js +25 -50
  147. package/dest/tx/tx_effect.d.ts +1 -1
  148. package/dest/tx/tx_effect.d.ts.map +1 -1
  149. package/dest/tx/tx_effect.js +2 -2
  150. package/dest/tx/tx_hash.d.ts +1 -0
  151. package/dest/tx/tx_hash.d.ts.map +1 -1
  152. package/dest/tx/tx_hash.js +3 -0
  153. package/dest/validators/types.d.ts +4 -0
  154. package/dest/validators/types.d.ts.map +1 -1
  155. package/dest/vks/index.d.ts +1 -1
  156. package/dest/vks/index.d.ts.map +1 -1
  157. package/dest/vks/index.js +1 -1
  158. package/dest/vks/{vk_witness_data.d.ts → vk_data.d.ts} +8 -8
  159. package/dest/vks/vk_data.d.ts.map +1 -0
  160. package/dest/vks/{vk_witness_data.js → vk_data.js} +10 -10
  161. package/package.json +7 -7
  162. package/src/abi/abi.ts +37 -0
  163. package/src/avm/avm.ts +25 -4
  164. package/src/avm/avm_accumulated_data.ts +93 -0
  165. package/src/avm/avm_circuit_public_inputs.ts +22 -2
  166. package/src/avm/gas.ts +26 -0
  167. package/src/avm/index.ts +1 -0
  168. package/src/block/body.ts +7 -2
  169. package/src/block/index.ts +1 -0
  170. package/src/block/l2_block.ts +8 -3
  171. package/src/block/l2_block_source.ts +9 -3
  172. package/src/block/proposal/committee_attestation.ts +70 -0
  173. package/src/block/proposal/index.ts +1 -0
  174. package/src/block/published_l2_block.ts +38 -24
  175. package/src/block/test/l2_tips_store_test_suite.ts +1 -1
  176. package/src/interfaces/archiver.ts +2 -2
  177. package/src/interfaces/aztec-node.ts +8 -16
  178. package/src/interfaces/block-builder.ts +49 -2
  179. package/src/interfaces/epoch-prover.ts +2 -2
  180. package/src/interfaces/merkle_tree_operations.ts +20 -0
  181. package/src/interfaces/p2p.ts +9 -4
  182. package/src/interfaces/proving-job.ts +3 -3
  183. package/src/interfaces/server_circuit_prover.ts +3 -2
  184. package/src/kernel/hints/find_private_kernel_reset_dimensions.ts +3 -3
  185. package/src/kernel/hints/key_validation_hint.ts +4 -6
  186. package/src/kernel/hints/private_kernel_reset_hints.ts +34 -43
  187. package/src/kernel/hints/read_request_hints.ts +27 -15
  188. package/src/kernel/index.ts +1 -0
  189. package/src/kernel/padded_side_effects.ts +73 -0
  190. package/src/kernel/private_kernel_data.ts +7 -29
  191. package/src/kernel/private_kernel_reset_circuit_private_inputs.ts +16 -13
  192. package/src/kernel/private_kernel_reset_dimensions.ts +27 -27
  193. package/src/kernel/private_kernel_tail_circuit_private_inputs.ts +10 -2
  194. package/src/kernel/private_to_avm_accumulated_data.ts +9 -0
  195. package/src/kernel/public_call_request.ts +66 -0
  196. package/src/logs/contract_class_log.ts +0 -36
  197. package/src/logs/log_with_tx_data.ts +26 -12
  198. package/src/logs/private_log.ts +4 -0
  199. package/src/logs/public_log.ts +4 -0
  200. package/src/logs/tx_scoped_l2_log.ts +1 -0
  201. package/src/messaging/index.ts +1 -0
  202. package/src/messaging/l2_to_l1_membership.ts +113 -0
  203. package/src/p2p/consensus_payload.ts +3 -1
  204. package/src/rollup/avm_proof_data.ts +14 -7
  205. package/src/rollup/base_rollup_hints.ts +4 -4
  206. package/src/rollup/previous_rollup_block_data.ts +6 -12
  207. package/src/rollup/previous_rollup_data.ts +6 -12
  208. package/src/rollup/private_tube_data.ts +4 -4
  209. package/src/rollup/public_tube_data.ts +4 -4
  210. package/src/rollup/root_rollup.ts +6 -19
  211. package/src/tests/factories.ts +80 -43
  212. package/src/tests/mocks.ts +6 -3
  213. package/src/tx/processed_tx.ts +4 -5
  214. package/src/tx/tx.ts +28 -54
  215. package/src/tx/tx_effect.ts +23 -5
  216. package/src/tx/tx_hash.ts +4 -0
  217. package/src/validators/types.ts +2 -0
  218. package/src/vks/index.ts +1 -1
  219. package/src/vks/{vk_witness_data.ts → vk_data.ts} +6 -6
  220. package/dest/vks/vk_witness_data.d.ts.map +0 -1
@@ -1 +1 @@
1
- {"version":3,"file":"proving-job.d.ts","sourceRoot":"","sources":["../../src/interfaces/proving-job.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,0BAA0B,EAC1B,6BAA6B,EAC7B,yCAAyC,EACzC,sBAAsB,EACtB,iBAAiB,EAClB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAExD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,6BAA6B,EAAE,MAAM,iDAAiD,CAAC;AAChG,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,iCAAiC,EAAE,MAAM,sDAAsD,CAAC;AACzG,OAAO,EAAE,qBAAqB,EAAE,6BAA6B,EAAE,MAAM,gCAAgC,CAAC;AACtG,OAAO,EAAE,0BAA0B,EAAE,MAAM,6CAA6C,CAAC;AACzF,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AAChF,OAAO,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACpF,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAEjE,MAAM,MAAM,uBAAuB,CAAC,CAAC,SAAS,MAAM,IAAI;IACtD,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;IACzB,eAAe,EAAE,mBAAmB,CAAC;CACtC,CAAC;AAWF,wBAAgB,2BAA2B,CAAC,CAAC,SAAS,MAAM,EAC1D,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,EACxB,eAAe,EAAE,mBAAmB,GACnC,uBAAuB,CAAC,CAAC,CAAC,CAE5B;AAED,MAAM,MAAM,6BAA6B,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,OAAO,6BAA6B,IAAI;IACtG,MAAM,EAAE,CAAC,CAAC;IACV,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;IACzB,eAAe,EAAE,mBAAmB,CAAC;CACtC,CAAC;AAaF,wBAAgB,iCAAiC,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,OAAO,6BAA6B,EAC1G,MAAM,EAAE,CAAC,EACT,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,EACxB,eAAe,EAAE,mBAAmB,GACnC,6BAA6B,CAAC,CAAC,EAAE,CAAC,CAAC,CAErC;AAED,wBAAgB,kCAAkC,CAAC,IAAI,EAAE,kBAAkB,GAAG,iBAAiB,CA+B9F;AAED,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAgB3B,CAAC;AAEH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,kBAAkB,mWA+BlE;AAED,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAEhE,MAAM,MAAM,mBAAmB,GAAG;IAChC,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,gBAAgB,CAAC;IACjD,CAAC,kBAAkB,CAAC,mBAAmB,CAAC,EAAE,uBAAuB,CAAC;IAClE,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,EAAE,sBAAsB,CAAC;IAChE,CAAC,kBAAkB,CAAC,YAAY,CAAC,EAAE,iBAAiB,CAAC;IACrD,CAAC,kBAAkB,CAAC,uBAAuB,CAAC,EAAE,0BAA0B,CAAC;IACzE,CAAC,kBAAkB,CAAC,iBAAiB,CAAC,EAAE,qBAAqB,CAAC;IAC9D,CAAC,kBAAkB,CAAC,2BAA2B,CAAC,EAAE,6BAA6B,CAAC;IAChF,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,EAAE,sBAAsB,CAAC;IAChE,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,gBAAgB,CAAC;IACnD,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,gBAAgB,CAAC;IACnD,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,gBAAgB,CAAC;IACnD,CAAC,kBAAkB,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;CAC7C,CAAC;AAEF,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAsE3B,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAChE,MAAM,MAAM,oBAAoB,GAAG;IACjC,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,uBAAuB,CAAC,OAAO,0BAA0B,CAAC,CAAC;IAC3F,CAAC,kBAAkB,CAAC,mBAAmB,CAAC,EAAE,6BAA6B,CACrE,6BAA6B,EAC7B,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,EAAE,6BAA6B,CACpE,6BAA6B,EAC7B,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,YAAY,CAAC,EAAE,6BAA6B,CAC9D,6BAA6B,EAC7B,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,uBAAuB,CAAC,EAAE,6BAA6B,CACzE,iCAAiC,EACjC,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,2BAA2B,CAAC,EAAE,6BAA6B,CAC7E,iCAAiC,EACjC,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,iBAAiB,CAAC,EAAE,6BAA6B,CACnE,iCAAiC,EACjC,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,EAAE,6BAA6B,CACpE,iCAAiC,EACjC,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,6BAA6B,CAAC,sBAAsB,CAAC,CAAC;IACxF,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,6BAA6B,CAAC,kBAAkB,EAAE,OAAO,sBAAsB,CAAC,CAAC;IACnH,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,6BAA6B,CAC7D,kBAAkB,EAClB,OAAO,6BAA6B,CACrC,CAAC;IACF,CAAC,kBAAkB,CAAC,UAAU,CAAC,EAAE,uBAAuB,CAAC,OAAO,iBAAiB,CAAC,CAAC;CACpF,CAAC;AAEF,MAAM,MAAM,uBAAuB,CAAC,CAAC,SAAS,kBAAkB,IAAI;IAAE,IAAI,EAAE,CAAC,CAAC;IAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC;AAEjH,eAAO,MAAM,YAAY,aAAa,CAAC;AAEvC,eAAO,MAAM,QAAQ,4CAAoC,CAAC;AAC1D,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;AAEhD,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AACxD,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;EAKrB,CAAC;AAEH,eAAO,MAAM,gBAAgB,GAAI,aAAa,MAAM,EAAE,MAAM,kBAAkB,EAAE,YAAY,MAAM,WAEjG,CAAC;AAEF,eAAO,MAAM,wBAAwB,GAAI,IAAI,YAAY,WAOxD,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AAEpD,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,kBAAkB,EACxB,MAAM,EAAE,gBAAgB,CAAC,QAAQ,CAAC,GACjC,gBAAgB,CAElB;AAED,eAAO,MAAM,yBAAyB;;;;;;;;;EAGpC,CAAC;AACH,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAElF,eAAO,MAAM,wBAAwB;;;;;;;;;EAGnC,CAAC;AACH,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAEhF,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;IAGlC,CAAC;AACH,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAE9E,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAM3B,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC"}
1
+ {"version":3,"file":"proving-job.d.ts","sourceRoot":"","sources":["../../src/interfaces/proving-job.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oCAAoC,EACpC,6BAA6B,EAC7B,yCAAyC,EACzC,sBAAsB,EACtB,iBAAiB,EAClB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAExD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,6BAA6B,EAAE,MAAM,iDAAiD,CAAC;AAChG,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,iCAAiC,EAAE,MAAM,sDAAsD,CAAC;AACzG,OAAO,EAAE,qBAAqB,EAAE,6BAA6B,EAAE,MAAM,gCAAgC,CAAC;AACtG,OAAO,EAAE,0BAA0B,EAAE,MAAM,6CAA6C,CAAC;AACzF,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AAChF,OAAO,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACpF,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAEjE,MAAM,MAAM,uBAAuB,CAAC,CAAC,SAAS,MAAM,IAAI;IACtD,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;IACzB,eAAe,EAAE,mBAAmB,CAAC;CACtC,CAAC;AAWF,wBAAgB,2BAA2B,CAAC,CAAC,SAAS,MAAM,EAC1D,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,EACxB,eAAe,EAAE,mBAAmB,GACnC,uBAAuB,CAAC,CAAC,CAAC,CAE5B;AAED,MAAM,MAAM,6BAA6B,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,OAAO,6BAA6B,IAAI;IACtG,MAAM,EAAE,CAAC,CAAC;IACV,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;IACzB,eAAe,EAAE,mBAAmB,CAAC;CACtC,CAAC;AAaF,wBAAgB,iCAAiC,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,OAAO,6BAA6B,EAC1G,MAAM,EAAE,CAAC,EACT,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,EACxB,eAAe,EAAE,mBAAmB,GACnC,6BAA6B,CAAC,CAAC,EAAE,CAAC,CAAC,CAErC;AAED,wBAAgB,kCAAkC,CAAC,IAAI,EAAE,kBAAkB,GAAG,iBAAiB,CA+B9F;AAED,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAgB3B,CAAC;AAEH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,kBAAkB,mWA+BlE;AAED,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAEhE,MAAM,MAAM,mBAAmB,GAAG;IAChC,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,gBAAgB,CAAC;IACjD,CAAC,kBAAkB,CAAC,mBAAmB,CAAC,EAAE,uBAAuB,CAAC;IAClE,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,EAAE,sBAAsB,CAAC;IAChE,CAAC,kBAAkB,CAAC,YAAY,CAAC,EAAE,iBAAiB,CAAC;IACrD,CAAC,kBAAkB,CAAC,uBAAuB,CAAC,EAAE,0BAA0B,CAAC;IACzE,CAAC,kBAAkB,CAAC,iBAAiB,CAAC,EAAE,qBAAqB,CAAC;IAC9D,CAAC,kBAAkB,CAAC,2BAA2B,CAAC,EAAE,6BAA6B,CAAC;IAChF,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,EAAE,sBAAsB,CAAC;IAChE,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,gBAAgB,CAAC;IACnD,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,gBAAgB,CAAC;IACnD,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,gBAAgB,CAAC;IACnD,CAAC,kBAAkB,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;CAC7C,CAAC;AAEF,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAsE3B,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAChE,MAAM,MAAM,oBAAoB,GAAG;IACjC,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,uBAAuB,CAAC,OAAO,oCAAoC,CAAC,CAAC;IACrG,CAAC,kBAAkB,CAAC,mBAAmB,CAAC,EAAE,6BAA6B,CACrE,6BAA6B,EAC7B,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,EAAE,6BAA6B,CACpE,6BAA6B,EAC7B,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,YAAY,CAAC,EAAE,6BAA6B,CAC9D,6BAA6B,EAC7B,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,uBAAuB,CAAC,EAAE,6BAA6B,CACzE,iCAAiC,EACjC,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,2BAA2B,CAAC,EAAE,6BAA6B,CAC7E,iCAAiC,EACjC,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,iBAAiB,CAAC,EAAE,6BAA6B,CACnE,iCAAiC,EACjC,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,EAAE,6BAA6B,CACpE,iCAAiC,EACjC,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,6BAA6B,CAAC,sBAAsB,CAAC,CAAC;IACxF,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,6BAA6B,CAAC,kBAAkB,EAAE,OAAO,sBAAsB,CAAC,CAAC;IACnH,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,6BAA6B,CAC7D,kBAAkB,EAClB,OAAO,6BAA6B,CACrC,CAAC;IACF,CAAC,kBAAkB,CAAC,UAAU,CAAC,EAAE,uBAAuB,CAAC,OAAO,iBAAiB,CAAC,CAAC;CACpF,CAAC;AAEF,MAAM,MAAM,uBAAuB,CAAC,CAAC,SAAS,kBAAkB,IAAI;IAAE,IAAI,EAAE,CAAC,CAAC;IAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC;AAEjH,eAAO,MAAM,YAAY,aAAa,CAAC;AAEvC,eAAO,MAAM,QAAQ,4CAAoC,CAAC;AAC1D,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;AAEhD,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AACxD,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;EAKrB,CAAC;AAEH,eAAO,MAAM,gBAAgB,GAAI,aAAa,MAAM,EAAE,MAAM,kBAAkB,EAAE,YAAY,MAAM,WAEjG,CAAC;AAEF,eAAO,MAAM,wBAAwB,GAAI,IAAI,YAAY,WAOxD,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AAEpD,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,kBAAkB,EACxB,MAAM,EAAE,gBAAgB,CAAC,QAAQ,CAAC,GACjC,gBAAgB,CAElB;AAED,eAAO,MAAM,yBAAyB;;;;;;;;;EAGpC,CAAC;AACH,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAElF,eAAO,MAAM,wBAAwB;;;;;;;;;EAGnC,CAAC;AACH,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAEhF,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;IAGlC,CAAC;AACH,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAE9E,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAM3B,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC"}
@@ -1,4 +1,4 @@
1
- import { AVM_PROOF_LENGTH_IN_FIELDS, NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, RECURSIVE_PROOF_LENGTH, TUBE_PROOF_LENGTH } from '@aztec/constants';
1
+ import { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, RECURSIVE_PROOF_LENGTH, TUBE_PROOF_LENGTH } from '@aztec/constants';
2
2
  import { z } from 'zod';
3
3
  import { AvmCircuitInputs } from '../avm/avm.js';
4
4
  import { AvmProvingRequestSchema } from '../avm/avm_proving_request.js';
@@ -160,7 +160,7 @@ export function getProvingJobInputClassFor(type) {
160
160
  export const ProvingJobResult = z.discriminatedUnion('type', [
161
161
  z.object({
162
162
  type: z.literal(ProvingRequestType.PUBLIC_VM),
163
- result: schemaForRecursiveProofAndVerificationKey(AVM_PROOF_LENGTH_IN_FIELDS)
163
+ result: schemaForRecursiveProofAndVerificationKey(AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED)
164
164
  }),
165
165
  z.object({
166
166
  type: z.literal(ProvingRequestType.PRIVATE_BASE_ROLLUP),
@@ -1,4 +1,4 @@
1
- import type { AVM_PROOF_LENGTH_IN_FIELDS, NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, RECURSIVE_PROOF_LENGTH, TUBE_PROOF_LENGTH } from '@aztec/constants';
1
+ import type { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, RECURSIVE_PROOF_LENGTH, TUBE_PROOF_LENGTH } from '@aztec/constants';
2
2
  import type { AvmCircuitInputs } from '../avm/avm.js';
3
3
  import type { BaseParityInputs } from '../parity/base_parity_inputs.js';
4
4
  import type { ParityPublicInputs } from '../parity/parity_public_inputs.js';
@@ -70,7 +70,8 @@ export interface ServerCircuitProver {
70
70
  * Create a proof for the AVM circuit.
71
71
  * @param inputs - Inputs to the AVM circuit.
72
72
  */
73
- getAvmProof(inputs: AvmCircuitInputs, signal?: AbortSignal, epochNumber?: number): Promise<ProofAndVerificationKey<typeof AVM_PROOF_LENGTH_IN_FIELDS>>;
73
+ getAvmProof(inputs: AvmCircuitInputs, skipPublicInputsValidation?: boolean, // TODO(#14234)[Unconditional PIs validation]: Remove.
74
+ signal?: AbortSignal, epochNumber?: number): Promise<ProofAndVerificationKey<typeof AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED>>;
74
75
  }
75
76
  /**
76
77
  * A verifier used by nodes to check tx proofs are valid.
@@ -1 +1 @@
1
- {"version":3,"file":"server_circuit_prover.d.ts","sourceRoot":"","sources":["../../src/interfaces/server_circuit_prover.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,0BAA0B,EAC1B,6BAA6B,EAC7B,yCAAyC,EACzC,sBAAsB,EACtB,iBAAiB,EAClB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,iDAAiD,CAAC;AACrG,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAC9E,OAAO,KAAK,EAAE,iCAAiC,EAAE,MAAM,sDAAsD,CAAC;AAC9G,OAAO,KAAK,EAAE,qBAAqB,EAAE,6BAA6B,EAAE,MAAM,gCAAgC,CAAC;AAC3G,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,6CAA6C,CAAC;AAC9F,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AACrF,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACzF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,EAAE,uBAAuB,EAAE,6BAA6B,EAAE,MAAM,kBAAkB,CAAC;AAE/F;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC;;;OAGG;IACH,kBAAkB,CAChB,MAAM,EAAE,gBAAgB,EACxB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,kBAAkB,EAAE,OAAO,sBAAsB,CAAC,CAAC,CAAC;IAE7F;;;OAGG;IACH,kBAAkB,CAChB,MAAM,EAAE,gBAAgB,EACxB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,kBAAkB,EAAE,OAAO,6BAA6B,CAAC,CAAC,CAAC;IAEpG;;;OAGG;IACH,yBAAyB,CACvB,eAAe,EAAE,uBAAuB,EACxC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,6BAA6B,EAAE,OAAO,yCAAyC,CAAC,CAC/G,CAAC;IAEF,wBAAwB,CACtB,MAAM,EAAE,sBAAsB,EAC9B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,6BAA6B,EAAE,OAAO,yCAAyC,CAAC,CAC/G,CAAC;IAEF;;;OAGG;IACH,YAAY,CACV,SAAS,EAAE,UAAU,EACrB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,uBAAuB,CAAC,OAAO,iBAAiB,CAAC,CAAC,CAAC;IAE9D;;;OAGG;IACH,mBAAmB,CACjB,KAAK,EAAE,iBAAiB,EACxB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,6BAA6B,EAAE,OAAO,yCAAyC,CAAC,CAC/G,CAAC;IAEF;;;OAGG;IACH,uBAAuB,CACrB,KAAK,EAAE,qBAAqB,EAC5B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH,CAAC;IAEF,+BAA+B,CAC7B,KAAK,EAAE,6BAA6B,EACpC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH,CAAC;IAEF;;;OAGG;IACH,4BAA4B,CAC1B,KAAK,EAAE,0BAA0B,EACjC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH,CAAC;IAEF;;;OAGG;IACH,wBAAwB,CACtB,KAAK,EAAE,sBAAsB,EAC7B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH,CAAC;IAEF;;;OAGG;IACH,kBAAkB,CAChB,KAAK,EAAE,gBAAgB,EACvB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,sBAAsB,EAAE,OAAO,6BAA6B,CAAC,CAAC,CAAC;IAExG;;;OAGG;IACH,WAAW,CACT,MAAM,EAAE,gBAAgB,EACxB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,uBAAuB,CAAC,OAAO,0BAA0B,CAAC,CAAC,CAAC;CACxE;AAED;;GAEG;AACH,MAAM,WAAW,6BAA6B;IAC5C;;;;OAIG;IACH,WAAW,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;CACvC"}
1
+ {"version":3,"file":"server_circuit_prover.d.ts","sourceRoot":"","sources":["../../src/interfaces/server_circuit_prover.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,oCAAoC,EACpC,6BAA6B,EAC7B,yCAAyC,EACzC,sBAAsB,EACtB,iBAAiB,EAClB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,iDAAiD,CAAC;AACrG,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAC9E,OAAO,KAAK,EAAE,iCAAiC,EAAE,MAAM,sDAAsD,CAAC;AAC9G,OAAO,KAAK,EAAE,qBAAqB,EAAE,6BAA6B,EAAE,MAAM,gCAAgC,CAAC;AAC3G,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,6CAA6C,CAAC;AAC9F,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AACrF,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACzF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,EAAE,uBAAuB,EAAE,6BAA6B,EAAE,MAAM,kBAAkB,CAAC;AAE/F;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC;;;OAGG;IACH,kBAAkB,CAChB,MAAM,EAAE,gBAAgB,EACxB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,kBAAkB,EAAE,OAAO,sBAAsB,CAAC,CAAC,CAAC;IAE7F;;;OAGG;IACH,kBAAkB,CAChB,MAAM,EAAE,gBAAgB,EACxB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,kBAAkB,EAAE,OAAO,6BAA6B,CAAC,CAAC,CAAC;IAEpG;;;OAGG;IACH,yBAAyB,CACvB,eAAe,EAAE,uBAAuB,EACxC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,6BAA6B,EAAE,OAAO,yCAAyC,CAAC,CAC/G,CAAC;IAEF,wBAAwB,CACtB,MAAM,EAAE,sBAAsB,EAC9B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,6BAA6B,EAAE,OAAO,yCAAyC,CAAC,CAC/G,CAAC;IAEF;;;OAGG;IACH,YAAY,CACV,SAAS,EAAE,UAAU,EACrB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,uBAAuB,CAAC,OAAO,iBAAiB,CAAC,CAAC,CAAC;IAE9D;;;OAGG;IACH,mBAAmB,CACjB,KAAK,EAAE,iBAAiB,EACxB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,6BAA6B,EAAE,OAAO,yCAAyC,CAAC,CAC/G,CAAC;IAEF;;;OAGG;IACH,uBAAuB,CACrB,KAAK,EAAE,qBAAqB,EAC5B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH,CAAC;IAEF,+BAA+B,CAC7B,KAAK,EAAE,6BAA6B,EACpC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH,CAAC;IAEF;;;OAGG;IACH,4BAA4B,CAC1B,KAAK,EAAE,0BAA0B,EACjC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH,CAAC;IAEF;;;OAGG;IACH,wBAAwB,CACtB,KAAK,EAAE,sBAAsB,EAC7B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH,CAAC;IAEF;;;OAGG;IACH,kBAAkB,CAChB,KAAK,EAAE,gBAAgB,EACvB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,sBAAsB,EAAE,OAAO,6BAA6B,CAAC,CAAC,CAAC;IAExG;;;OAGG;IACH,WAAW,CACT,MAAM,EAAE,gBAAgB,EACxB,0BAA0B,CAAC,EAAE,OAAO,EAAE,sDAAsD;IAC5F,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,uBAAuB,CAAC,OAAO,oCAAoC,CAAC,CAAC,CAAC;CAClF;AAED;;GAEG;AACH,MAAM,WAAW,6BAA6B;IAC5C;;;;OAIG;IACH,WAAW,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;CACvC"}
@@ -91,7 +91,7 @@ function findSpecialCase(requestedDimensions, config, isQualified) {
91
91
  export function findPrivateKernelResetDimensions(requestedDimensions, config, isInner = false, allowRemainder = false) {
92
92
  const requestedValues = requestedDimensions.toValues();
93
93
  const isEnough = allowRemainder ? ()=>true : (dimensions)=>dimensions.toValues().every((v, i)=>v >= requestedValues[i]);
94
- const isQualified = !isInner ? isEnough : (dimensions)=>dimensions.NOTE_HASH_SILOING_AMOUNT === 0 && dimensions.NULLIFIER_SILOING_AMOUNT === 0 && dimensions.PRIVATE_LOG_SILOING_AMOUNT === 0 && isEnough(dimensions);
94
+ const isQualified = !isInner ? isEnough : (dimensions)=>dimensions.NOTE_HASH_SILOING === 0 && dimensions.NULLIFIER_SILOING === 0 && dimensions.PRIVATE_LOG_SILOING === 0 && isEnough(dimensions);
95
95
  const options = [
96
96
  findVariant(requestedDimensions, config, isQualified),
97
97
  findStandalone(requestedDimensions, config, isQualified),
@@ -3,15 +3,11 @@ import { BufferReader } from '@aztec/foundation/serialize';
3
3
  export declare class KeyValidationHint {
4
4
  /** Master secret key used to derive sk_app and pk_m. */
5
5
  skM: GrumpkinScalar;
6
- /** Index of the request in the array of hints. */
7
- requestIndex: number;
8
6
  constructor(
9
7
  /** Master secret key used to derive sk_app and pk_m. */
10
- skM: GrumpkinScalar,
11
- /** Index of the request in the array of hints. */
12
- requestIndex: number);
8
+ skM: GrumpkinScalar);
13
9
  static fromBuffer(buffer: Buffer | BufferReader): KeyValidationHint;
14
10
  toBuffer(): Buffer<ArrayBufferLike>;
15
- static nada(keyValidationRequestLen: number): KeyValidationHint;
11
+ static empty(): KeyValidationHint;
16
12
  }
17
13
  //# sourceMappingURL=key_validation_hint.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"key_validation_hint.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/key_validation_hint.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,qBAAa,iBAAiB;IAE1B,wDAAwD;IACjD,GAAG,EAAE,cAAc;IAC1B,kDAAkD;IAC3C,YAAY,EAAE,MAAM;;IAH3B,wDAAwD;IACjD,GAAG,EAAE,cAAc;IAC1B,kDAAkD;IAC3C,YAAY,EAAE,MAAM;IAG7B,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ;IAIR,MAAM,CAAC,IAAI,CAAC,uBAAuB,EAAE,MAAM;CAG5C"}
1
+ {"version":3,"file":"key_validation_hint.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/key_validation_hint.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,qBAAa,iBAAiB;IAE1B,wDAAwD;IACjD,GAAG,EAAE,cAAc;;IAD1B,wDAAwD;IACjD,GAAG,EAAE,cAAc;IAG5B,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ;IAIR,MAAM,CAAC,KAAK;CAGb"}
@@ -2,19 +2,17 @@ import { GrumpkinScalar } from '@aztec/foundation/fields';
2
2
  import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
3
3
  export class KeyValidationHint {
4
4
  skM;
5
- requestIndex;
6
- constructor(/** Master secret key used to derive sk_app and pk_m. */ skM, /** Index of the request in the array of hints. */ requestIndex){
5
+ constructor(/** Master secret key used to derive sk_app and pk_m. */ skM){
7
6
  this.skM = skM;
8
- this.requestIndex = requestIndex;
9
7
  }
10
8
  static fromBuffer(buffer) {
11
9
  const reader = BufferReader.asReader(buffer);
12
- return new KeyValidationHint(reader.readObject(GrumpkinScalar), reader.readNumber());
10
+ return new KeyValidationHint(reader.readObject(GrumpkinScalar));
13
11
  }
14
12
  toBuffer() {
15
- return serializeToBuffer(this.skM, this.requestIndex);
13
+ return serializeToBuffer(this.skM);
16
14
  }
17
- static nada(keyValidationRequestLen) {
18
- return new KeyValidationHint(GrumpkinScalar.zero(), keyValidationRequestLen);
15
+ static empty() {
16
+ return new KeyValidationHint(GrumpkinScalar.zero());
19
17
  }
20
18
  }
@@ -3,7 +3,7 @@ import { KeyValidationHint } from './key_validation_hint.js';
3
3
  import { type NoteHashReadRequestHints } from './note_hash_read_request_hints.js';
4
4
  import { type NullifierReadRequestHints } from './nullifier_read_request_hints.js';
5
5
  import { TransientDataIndexHint } from './transient_data_index_hint.js';
6
- export declare class PrivateKernelResetHints<NH_RR_PENDING extends number, NH_RR_SETTLED extends number, NLL_RR_PENDING extends number, NLL_RR_SETTLED extends number, KEY_VALIDATION_REQUESTS extends number, NUM_TRANSIENT_DATA_INDEX_HINTS extends number> {
6
+ export declare class PrivateKernelResetHints<NH_RR_PENDING extends number, NH_RR_SETTLED extends number, NLL_RR_PENDING extends number, NLL_RR_SETTLED extends number, KEY_VALIDATION_HINTS_LEN extends number, TRANSIENT_DATA_HINTS_LEN extends number> {
7
7
  /**
8
8
  * Contains hints for the transient read requests to localize corresponding commitments.
9
9
  */
@@ -15,11 +15,11 @@ export declare class PrivateKernelResetHints<NH_RR_PENDING extends number, NH_RR
15
15
  /**
16
16
  * Contains hints for key validation request.
17
17
  */
18
- keyValidationHints: Tuple<KeyValidationHint, KEY_VALIDATION_REQUESTS>;
18
+ keyValidationHints: Tuple<KeyValidationHint, KEY_VALIDATION_HINTS_LEN>;
19
19
  /**
20
20
  * Contains hints for the transient note hashes to locate corresponding nullifiers.
21
21
  */
22
- transientDataIndexHints: Tuple<TransientDataIndexHint, NUM_TRANSIENT_DATA_INDEX_HINTS>;
22
+ transientDataIndexHints: Tuple<TransientDataIndexHint, TRANSIENT_DATA_HINTS_LEN>;
23
23
  /**
24
24
  * The "final" minRevertibleSideEffectCounter of a tx, to split the data for squashing.
25
25
  * Not the minRevertibleSideEffectCounter at the point the reset circuit is run.
@@ -37,23 +37,23 @@ export declare class PrivateKernelResetHints<NH_RR_PENDING extends number, NH_RR
37
37
  /**
38
38
  * Contains hints for key validation request.
39
39
  */
40
- keyValidationHints: Tuple<KeyValidationHint, KEY_VALIDATION_REQUESTS>,
40
+ keyValidationHints: Tuple<KeyValidationHint, KEY_VALIDATION_HINTS_LEN>,
41
41
  /**
42
42
  * Contains hints for the transient note hashes to locate corresponding nullifiers.
43
43
  */
44
- transientDataIndexHints: Tuple<TransientDataIndexHint, NUM_TRANSIENT_DATA_INDEX_HINTS>,
44
+ transientDataIndexHints: Tuple<TransientDataIndexHint, TRANSIENT_DATA_HINTS_LEN>,
45
45
  /**
46
46
  * The "final" minRevertibleSideEffectCounter of a tx, to split the data for squashing.
47
47
  * Not the minRevertibleSideEffectCounter at the point the reset circuit is run.
48
48
  */
49
49
  validationRequestsSplitCounter: number);
50
50
  toBuffer(): Buffer<ArrayBufferLike>;
51
- trimToSizes<NEW_NH_RR_PENDING extends number, NEW_NH_RR_SETTLED extends number, NEW_NLL_RR_PENDING extends number, NEW_NLL_RR_SETTLED extends number, NEW_KEY_VALIDATION_REQUESTS extends number, NUM_TRANSIENT_DATA_INDEX_HINTS extends number>(numNoteHashReadRequestPending: NEW_NH_RR_PENDING, numNoteHashReadRequestSettled: NEW_NH_RR_SETTLED, numNullifierReadRequestPending: NEW_NLL_RR_PENDING, numNullifierReadRequestSettled: NEW_NLL_RR_SETTLED, numKeyValidationRequests: NEW_KEY_VALIDATION_REQUESTS, numTransientDataIndexHints: NUM_TRANSIENT_DATA_INDEX_HINTS): PrivateKernelResetHints<NEW_NH_RR_PENDING, NEW_NH_RR_SETTLED, NEW_NLL_RR_PENDING, NEW_NLL_RR_SETTLED, NEW_KEY_VALIDATION_REQUESTS, NUM_TRANSIENT_DATA_INDEX_HINTS>;
51
+ trimToSizes(numNoteHashReadRequestPending: number, numNoteHashReadRequestSettled: number, numNullifierReadRequestPending: number, numNullifierReadRequestSettled: number, numKeyValidationHints: number, numTransientDataIndexHints: number): PrivateKernelResetHints<number, number, number, number, number, number>;
52
52
  /**
53
53
  * Deserializes from a buffer or reader.
54
54
  * @param buffer - Buffer or reader to read from.
55
55
  * @returns The deserialized instance.
56
56
  */
57
- static fromBuffer<NH_RR_PENDING extends number, NH_RR_SETTLED extends number, NLL_RR_PENDING extends number, NLL_RR_SETTLED extends number, KEY_VALIDATION_REQUESTS extends number, NUM_TRANSIENT_DATA_INDEX_HINTS extends number>(buffer: Buffer | BufferReader, numNoteHashReadRequestPending: NH_RR_PENDING, numNoteHashReadRequestSettled: NH_RR_SETTLED, numNullifierReadRequestPending: NLL_RR_PENDING, numNullifierReadRequestSettled: NLL_RR_SETTLED, numNullifierKeys: KEY_VALIDATION_REQUESTS, numTransientDataIndexHints: NUM_TRANSIENT_DATA_INDEX_HINTS): PrivateKernelResetHints<NH_RR_PENDING, NH_RR_SETTLED, NLL_RR_PENDING, NLL_RR_SETTLED, KEY_VALIDATION_REQUESTS, NUM_TRANSIENT_DATA_INDEX_HINTS>;
57
+ static fromBuffer<NH_RR_PENDING extends number, NH_RR_SETTLED extends number, NLL_RR_PENDING extends number, NLL_RR_SETTLED extends number, KEY_VALIDATION_HINTS_LEN extends number, TRANSIENT_DATA_HINTS_LEN extends number>(buffer: Buffer | BufferReader, numNoteHashReadRequestPending: NH_RR_PENDING, numNoteHashReadRequestSettled: NH_RR_SETTLED, numNullifierReadRequestPending: NLL_RR_PENDING, numNullifierReadRequestSettled: NLL_RR_SETTLED, numKeyValidationHints: KEY_VALIDATION_HINTS_LEN, numTransientDataIndexHints: TRANSIENT_DATA_HINTS_LEN): PrivateKernelResetHints<NH_RR_PENDING, NH_RR_SETTLED, NLL_RR_PENDING, NLL_RR_SETTLED, KEY_VALIDATION_HINTS_LEN, TRANSIENT_DATA_HINTS_LEN>;
58
58
  }
59
59
  //# sourceMappingURL=private_kernel_reset_hints.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"private_kernel_reset_hints.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/private_kernel_reset_hints.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAE1F,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,KAAK,wBAAwB,EAAsC,MAAM,mCAAmC,CAAC;AACtH,OAAO,EAAE,KAAK,yBAAyB,EAAuC,MAAM,mCAAmC,CAAC;AACxH,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAExE,qBAAa,uBAAuB,CAClC,aAAa,SAAS,MAAM,EAC5B,aAAa,SAAS,MAAM,EAC5B,cAAc,SAAS,MAAM,EAC7B,cAAc,SAAS,MAAM,EAC7B,uBAAuB,SAAS,MAAM,EACtC,8BAA8B,SAAS,MAAM;IAG3C;;OAEG;IACI,wBAAwB,EAAE,wBAAwB,CAAC,aAAa,EAAE,aAAa,CAAC;IACvF;;OAEG;IACI,yBAAyB,EAAE,yBAAyB,CAAC,cAAc,EAAE,cAAc,CAAC;IAC3F;;OAEG;IACI,kBAAkB,EAAE,KAAK,CAAC,iBAAiB,EAAE,uBAAuB,CAAC;IAC5E;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,sBAAsB,EAAE,8BAA8B,CAAC;IAC7F;;;OAGG;IACI,8BAA8B,EAAE,MAAM;;IApB7C;;OAEG;IACI,wBAAwB,EAAE,wBAAwB,CAAC,aAAa,EAAE,aAAa,CAAC;IACvF;;OAEG;IACI,yBAAyB,EAAE,yBAAyB,CAAC,cAAc,EAAE,cAAc,CAAC;IAC3F;;OAEG;IACI,kBAAkB,EAAE,KAAK,CAAC,iBAAiB,EAAE,uBAAuB,CAAC;IAC5E;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,sBAAsB,EAAE,8BAA8B,CAAC;IAC7F;;;OAGG;IACI,8BAA8B,EAAE,MAAM;IAG/C,QAAQ;IAUR,WAAW,CACT,iBAAiB,SAAS,MAAM,EAChC,iBAAiB,SAAS,MAAM,EAChC,kBAAkB,SAAS,MAAM,EACjC,kBAAkB,SAAS,MAAM,EACjC,2BAA2B,SAAS,MAAM,EAC1C,8BAA8B,SAAS,MAAM,EAE7C,6BAA6B,EAAE,iBAAiB,EAChD,6BAA6B,EAAE,iBAAiB,EAChD,8BAA8B,EAAE,kBAAkB,EAClD,8BAA8B,EAAE,kBAAkB,EAClD,wBAAwB,EAAE,2BAA2B,EACrD,0BAA0B,EAAE,8BAA8B,GACzD,uBAAuB,CACxB,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,2BAA2B,EAC3B,8BAA8B,CAC/B;IAeD;;;;OAIG;IACH,MAAM,CAAC,UAAU,CACf,aAAa,SAAS,MAAM,EAC5B,aAAa,SAAS,MAAM,EAC5B,cAAc,SAAS,MAAM,EAC7B,cAAc,SAAS,MAAM,EAC7B,uBAAuB,SAAS,MAAM,EACtC,8BAA8B,SAAS,MAAM,EAE7C,MAAM,EAAE,MAAM,GAAG,YAAY,EAC7B,6BAA6B,EAAE,aAAa,EAC5C,6BAA6B,EAAE,aAAa,EAC5C,8BAA8B,EAAE,cAAc,EAC9C,8BAA8B,EAAE,cAAc,EAC9C,gBAAgB,EAAE,uBAAuB,EACzC,0BAA0B,EAAE,8BAA8B,GACzD,uBAAuB,CACxB,aAAa,EACb,aAAa,EACb,cAAc,EACd,cAAc,EACd,uBAAuB,EACvB,8BAA8B,CAC/B;CAgBF"}
1
+ {"version":3,"file":"private_kernel_reset_hints.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/private_kernel_reset_hints.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAE1F,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,KAAK,wBAAwB,EAAsC,MAAM,mCAAmC,CAAC;AACtH,OAAO,EAAE,KAAK,yBAAyB,EAAuC,MAAM,mCAAmC,CAAC;AACxH,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAExE,qBAAa,uBAAuB,CAClC,aAAa,SAAS,MAAM,EAC5B,aAAa,SAAS,MAAM,EAC5B,cAAc,SAAS,MAAM,EAC7B,cAAc,SAAS,MAAM,EAC7B,wBAAwB,SAAS,MAAM,EACvC,wBAAwB,SAAS,MAAM;IAGrC;;OAEG;IACI,wBAAwB,EAAE,wBAAwB,CAAC,aAAa,EAAE,aAAa,CAAC;IACvF;;OAEG;IACI,yBAAyB,EAAE,yBAAyB,CAAC,cAAc,EAAE,cAAc,CAAC;IAC3F;;OAEG;IACI,kBAAkB,EAAE,KAAK,CAAC,iBAAiB,EAAE,wBAAwB,CAAC;IAC7E;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,sBAAsB,EAAE,wBAAwB,CAAC;IACvF;;;OAGG;IACI,8BAA8B,EAAE,MAAM;;IApB7C;;OAEG;IACI,wBAAwB,EAAE,wBAAwB,CAAC,aAAa,EAAE,aAAa,CAAC;IACvF;;OAEG;IACI,yBAAyB,EAAE,yBAAyB,CAAC,cAAc,EAAE,cAAc,CAAC;IAC3F;;OAEG;IACI,kBAAkB,EAAE,KAAK,CAAC,iBAAiB,EAAE,wBAAwB,CAAC;IAC7E;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,sBAAsB,EAAE,wBAAwB,CAAC;IACvF;;;OAGG;IACI,8BAA8B,EAAE,MAAM;IAG/C,QAAQ;IAUR,WAAW,CACT,6BAA6B,EAAE,MAAM,EACrC,6BAA6B,EAAE,MAAM,EACrC,8BAA8B,EAAE,MAAM,EACtC,8BAA8B,EAAE,MAAM,EACtC,qBAAqB,EAAE,MAAM,EAC7B,0BAA0B,EAAE,MAAM;IAqBpC;;;;OAIG;IACH,MAAM,CAAC,UAAU,CACf,aAAa,SAAS,MAAM,EAC5B,aAAa,SAAS,MAAM,EAC5B,cAAc,SAAS,MAAM,EAC7B,cAAc,SAAS,MAAM,EAC7B,wBAAwB,SAAS,MAAM,EACvC,wBAAwB,SAAS,MAAM,EAEvC,MAAM,EAAE,MAAM,GAAG,YAAY,EAC7B,6BAA6B,EAAE,aAAa,EAC5C,6BAA6B,EAAE,aAAa,EAC5C,8BAA8B,EAAE,cAAc,EAC9C,8BAA8B,EAAE,cAAc,EAC9C,qBAAqB,EAAE,wBAAwB,EAC/C,0BAA0B,EAAE,wBAAwB,GACnD,uBAAuB,CACxB,aAAa,EACb,aAAa,EACb,cAAc,EACd,cAAc,EACd,wBAAwB,EACxB,wBAAwB,CACzB;CAgBF"}
@@ -30,19 +30,23 @@ export class PrivateKernelResetHints {
30
30
  toBuffer() {
31
31
  return serializeToBuffer(this.noteHashReadRequestHints, this.nullifierReadRequestHints, this.keyValidationHints, this.transientDataIndexHints, this.validationRequestsSplitCounter);
32
32
  }
33
- trimToSizes(numNoteHashReadRequestPending, numNoteHashReadRequestSettled, numNullifierReadRequestPending, numNullifierReadRequestSettled, numKeyValidationRequests, numTransientDataIndexHints) {
34
- return new PrivateKernelResetHints(this.noteHashReadRequestHints.trimToSizes(numNoteHashReadRequestPending, numNoteHashReadRequestSettled), this.nullifierReadRequestHints.trimToSizes(numNullifierReadRequestPending, numNullifierReadRequestSettled), this.keyValidationHints.slice(0, numKeyValidationRequests), this.transientDataIndexHints.slice(0, numTransientDataIndexHints), this.validationRequestsSplitCounter);
33
+ trimToSizes(numNoteHashReadRequestPending, numNoteHashReadRequestSettled, numNullifierReadRequestPending, numNullifierReadRequestSettled, numKeyValidationHints, numTransientDataIndexHints) {
34
+ // Noir does not allow empty arrays. So we make the minimum array size 1.
35
+ // There is a constant for each dimension, coded in the circuit that indicates how many hints should be applied.
36
+ // The circuit is selected based on the dimension sizes, not the hint array sizes created here.
37
+ const useSize = (num)=>Math.max(num, 1);
38
+ return new PrivateKernelResetHints(this.noteHashReadRequestHints.trimToSizes(useSize(numNoteHashReadRequestPending), useSize(numNoteHashReadRequestSettled)), this.nullifierReadRequestHints.trimToSizes(useSize(numNullifierReadRequestPending), useSize(numNullifierReadRequestSettled)), this.keyValidationHints.slice(0, useSize(numKeyValidationHints)), this.transientDataIndexHints.slice(0, useSize(numTransientDataIndexHints)), this.validationRequestsSplitCounter);
35
39
  }
36
40
  /**
37
41
  * Deserializes from a buffer or reader.
38
42
  * @param buffer - Buffer or reader to read from.
39
43
  * @returns The deserialized instance.
40
- */ static fromBuffer(buffer, numNoteHashReadRequestPending, numNoteHashReadRequestSettled, numNullifierReadRequestPending, numNullifierReadRequestSettled, numNullifierKeys, numTransientDataIndexHints) {
44
+ */ static fromBuffer(buffer, numNoteHashReadRequestPending, numNoteHashReadRequestSettled, numNullifierReadRequestPending, numNullifierReadRequestSettled, numKeyValidationHints, numTransientDataIndexHints) {
41
45
  const reader = BufferReader.asReader(buffer);
42
46
  return new PrivateKernelResetHints(reader.readObject({
43
47
  fromBuffer: (buf)=>noteHashReadRequestHintsFromBuffer(buf, numNoteHashReadRequestPending, numNoteHashReadRequestSettled)
44
48
  }), reader.readObject({
45
49
  fromBuffer: (buf)=>nullifierReadRequestHintsFromBuffer(buf, numNullifierReadRequestPending, numNullifierReadRequestSettled)
46
- }), reader.readArray(numNullifierKeys, KeyValidationHint), reader.readArray(numTransientDataIndexHints, TransientDataIndexHint), reader.readNumber());
50
+ }), reader.readArray(numKeyValidationHints, KeyValidationHint), reader.readArray(numTransientDataIndexHints, TransientDataIndexHint), reader.readNumber());
47
51
  }
48
52
  }
@@ -37,34 +37,34 @@ export declare class SettledReadHint<TREE_HEIGHT extends number, LEAF_PREIMAGE e
37
37
  /**
38
38
  * Hints for read request reset circuit.
39
39
  */
40
- export declare class ReadRequestResetHints<READ_REQUEST_LEN extends number, NUM_PENDING_READS extends number, NUM_SETTLED_READS extends number, TREE_HEIGHT extends number, LEAF_PREIMAGE extends Bufferable> {
40
+ export declare class ReadRequestResetHints<READ_REQUEST_LEN extends number, PENDING_READ_HINTS_LEN extends number, SETTLED_READ_HINTS_LEN extends number, TREE_HEIGHT extends number, LEAF_PREIMAGE extends Bufferable> {
41
41
  readRequestStatuses: Tuple<ReadRequestStatus, READ_REQUEST_LEN>;
42
42
  /**
43
43
  * The hints for read requests reading pending values.
44
44
  */
45
- pendingReadHints: Tuple<PendingReadHint, NUM_PENDING_READS>;
45
+ pendingReadHints: Tuple<PendingReadHint, PENDING_READ_HINTS_LEN>;
46
46
  /**
47
47
  * The hints for read requests reading settled values.
48
48
  */
49
- settledReadHints: Tuple<SettledReadHint<TREE_HEIGHT, LEAF_PREIMAGE>, NUM_SETTLED_READS>;
49
+ settledReadHints: Tuple<SettledReadHint<TREE_HEIGHT, LEAF_PREIMAGE>, SETTLED_READ_HINTS_LEN>;
50
50
  constructor(readRequestStatuses: Tuple<ReadRequestStatus, READ_REQUEST_LEN>,
51
51
  /**
52
52
  * The hints for read requests reading pending values.
53
53
  */
54
- pendingReadHints: Tuple<PendingReadHint, NUM_PENDING_READS>,
54
+ pendingReadHints: Tuple<PendingReadHint, PENDING_READ_HINTS_LEN>,
55
55
  /**
56
56
  * The hints for read requests reading settled values.
57
57
  */
58
- settledReadHints: Tuple<SettledReadHint<TREE_HEIGHT, LEAF_PREIMAGE>, NUM_SETTLED_READS>);
59
- trimToSizes<NEW_NUM_PENDING_READS extends number, NEW_NUM_SETTLED_READS extends number>(numPendingReads: NEW_NUM_PENDING_READS, numSettledReads: NEW_NUM_SETTLED_READS): ReadRequestResetHints<READ_REQUEST_LEN, NEW_NUM_PENDING_READS, NEW_NUM_SETTLED_READS, TREE_HEIGHT, LEAF_PREIMAGE>;
58
+ settledReadHints: Tuple<SettledReadHint<TREE_HEIGHT, LEAF_PREIMAGE>, SETTLED_READ_HINTS_LEN>);
59
+ trimToSizes<NEW_PENDING_READ_HINTS_LEN extends number, NEW_SETTLED_READ_HINTS_LEN extends number>(numPendingReads: NEW_PENDING_READ_HINTS_LEN, numSettledReads: NEW_SETTLED_READ_HINTS_LEN): ReadRequestResetHints<READ_REQUEST_LEN, NEW_PENDING_READ_HINTS_LEN, NEW_SETTLED_READ_HINTS_LEN, TREE_HEIGHT, LEAF_PREIMAGE>;
60
60
  /**
61
61
  * Deserializes from a buffer or reader.
62
62
  * @param buffer - Buffer or reader to read from.
63
63
  * @returns The deserialized instance.
64
64
  */
65
- static fromBuffer<READ_REQUEST_LEN extends number, NUM_PENDING_READS extends number, NUM_SETTLED_READS extends number, TREE_HEIGHT extends number, LEAF_PREIMAGE extends Bufferable>(buffer: Buffer | BufferReader, readRequestLen: READ_REQUEST_LEN, numPendingReads: NUM_PENDING_READS, numSettledReads: NUM_SETTLED_READS, treeHeight: TREE_HEIGHT, leafPreimageFromBuffer: {
65
+ static fromBuffer<READ_REQUEST_LEN extends number, PENDING_READ_HINTS_LEN extends number, SETTLED_READ_HINTS_LEN extends number, TREE_HEIGHT extends number, LEAF_PREIMAGE extends Bufferable>(buffer: Buffer | BufferReader, readRequestLen: READ_REQUEST_LEN, numPendingReads: PENDING_READ_HINTS_LEN, numSettledReads: SETTLED_READ_HINTS_LEN, treeHeight: TREE_HEIGHT, leafPreimageFromBuffer: {
66
66
  fromBuffer: (buffer: BufferReader) => LEAF_PREIMAGE;
67
- }): ReadRequestResetHints<READ_REQUEST_LEN, NUM_PENDING_READS, NUM_SETTLED_READS, TREE_HEIGHT, LEAF_PREIMAGE>;
67
+ }): ReadRequestResetHints<READ_REQUEST_LEN, PENDING_READ_HINTS_LEN, SETTLED_READ_HINTS_LEN, TREE_HEIGHT, LEAF_PREIMAGE>;
68
68
  toBuffer(): Buffer<ArrayBufferLike>;
69
69
  }
70
70
  export declare class ReadRequestResetStates<NUM_READS extends number> {
@@ -1 +1 @@
1
- {"version":3,"file":"read_request_hints.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/read_request_hints.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,KAAK,UAAU,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAC3G,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAE5D,oBAAY,gBAAgB;IAC1B,IAAI,IAAI;IACR,OAAO,IAAI;IACX,OAAO,IAAI;CACZ;AAED,qBAAa,iBAAiB;IAEnB,KAAK,EAAE,gBAAgB;IACvB,SAAS,EAAE,MAAM;gBADjB,KAAK,EAAE,gBAAgB,EACvB,SAAS,EAAE,MAAM;IAG1B,MAAM,CAAC,IAAI;IAIX,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM;IAIhC,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM;IAIhC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ;CAGT;AAED,qBAAa,eAAe;IAEjB,gBAAgB,EAAE,MAAM;IACxB,iBAAiB,EAAE,MAAM;gBADzB,gBAAgB,EAAE,MAAM,EACxB,iBAAiB,EAAE,MAAM;IAGlC,MAAM,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM;IAIlC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ;CAGT;AAED,qBAAa,eAAe,CAAC,WAAW,SAAS,MAAM,EAAE,aAAa,SAAS,UAAU;IAE9E,gBAAgB,EAAE,MAAM;IACxB,iBAAiB,EAAE,iBAAiB,CAAC,WAAW,CAAC;IACjD,YAAY,EAAE,aAAa;gBAF3B,gBAAgB,EAAE,MAAM,EACxB,iBAAiB,EAAE,iBAAiB,CAAC,WAAW,CAAC,EACjD,YAAY,EAAE,aAAa;IAGpC,MAAM,CAAC,IAAI,CAAC,WAAW,SAAS,MAAM,EAAE,aAAa,SAAS,UAAU,EACtE,cAAc,EAAE,MAAM,EACtB,UAAU,EAAE,WAAW,EACvB,iBAAiB,EAAE,MAAM,aAAa;IAKxC,MAAM,CAAC,UAAU,CAAC,WAAW,SAAS,MAAM,EAAE,aAAa,SAAS,UAAU,EAC5E,MAAM,EAAE,MAAM,GAAG,YAAY,EAC7B,UAAU,EAAE,WAAW,EACvB,YAAY,EAAE;QAAE,UAAU,CAAC,MAAM,EAAE,YAAY,GAAG,aAAa,CAAA;KAAE,GAChE,eAAe,CAAC,WAAW,EAAE,aAAa,CAAC;IAS9C,QAAQ;CAGT;AAED;;GAEG;AACH,qBAAa,qBAAqB,CAChC,gBAAgB,SAAS,MAAM,EAC/B,iBAAiB,SAAS,MAAM,EAChC,iBAAiB,SAAS,MAAM,EAChC,WAAW,SAAS,MAAM,EAC1B,aAAa,SAAS,UAAU;IAGvB,mBAAmB,EAAE,KAAK,CAAC,iBAAiB,EAAE,gBAAgB,CAAC;IACtE;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,eAAe,EAAE,iBAAiB,CAAC;IAClE;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,eAAe,CAAC,WAAW,EAAE,aAAa,CAAC,EAAE,iBAAiB,CAAC;gBARvF,mBAAmB,EAAE,KAAK,CAAC,iBAAiB,EAAE,gBAAgB,CAAC;IACtE;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,eAAe,EAAE,iBAAiB,CAAC;IAClE;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,eAAe,CAAC,WAAW,EAAE,aAAa,CAAC,EAAE,iBAAiB,CAAC;IAGhG,WAAW,CAAC,qBAAqB,SAAS,MAAM,EAAE,qBAAqB,SAAS,MAAM,EACpF,eAAe,EAAE,qBAAqB,EACtC,eAAe,EAAE,qBAAqB,GACrC,qBAAqB,CAAC,gBAAgB,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,WAAW,EAAE,aAAa,CAAC;IAWpH;;;;OAIG;IACH,MAAM,CAAC,UAAU,CACf,gBAAgB,SAAS,MAAM,EAC/B,iBAAiB,SAAS,MAAM,EAChC,iBAAiB,SAAS,MAAM,EAChC,WAAW,SAAS,MAAM,EAC1B,aAAa,SAAS,UAAU,EAEhC,MAAM,EAAE,MAAM,GAAG,YAAY,EAC7B,cAAc,EAAE,gBAAgB,EAChC,eAAe,EAAE,iBAAiB,EAClC,eAAe,EAAE,iBAAiB,EAClC,UAAU,EAAE,WAAW,EACvB,sBAAsB,EAAE;QAAE,UAAU,EAAE,CAAC,MAAM,EAAE,YAAY,KAAK,aAAa,CAAA;KAAE,GAC9E,qBAAqB,CAAC,gBAAgB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,WAAW,EAAE,aAAa,CAAC;IAW5G,QAAQ;CAGT;AAED,qBAAa,sBAAsB,CAAC,SAAS,SAAS,MAAM;IAEjD,MAAM,EAAE,KAAK,CAAC,gBAAgB,EAAE,SAAS,CAAC;IAC1C,gBAAgB,EAAE,eAAe,EAAE;gBADnC,MAAM,EAAE,KAAK,CAAC,gBAAgB,EAAE,SAAS,CAAC,EAC1C,gBAAgB,EAAE,eAAe,EAAE;IAG5C,MAAM,CAAC,KAAK,CAAC,SAAS,SAAS,MAAM,EAAE,QAAQ,EAAE,SAAS;CAM3D"}
1
+ {"version":3,"file":"read_request_hints.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/read_request_hints.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,KAAK,UAAU,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAC3G,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAE5D,oBAAY,gBAAgB;IAC1B,IAAI,IAAI;IACR,OAAO,IAAI;IACX,OAAO,IAAI;CACZ;AAED,qBAAa,iBAAiB;IAEnB,KAAK,EAAE,gBAAgB;IACvB,SAAS,EAAE,MAAM;gBADjB,KAAK,EAAE,gBAAgB,EACvB,SAAS,EAAE,MAAM;IAG1B,MAAM,CAAC,IAAI;IAIX,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM;IAIhC,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM;IAIhC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ;CAGT;AAED,qBAAa,eAAe;IAEjB,gBAAgB,EAAE,MAAM;IACxB,iBAAiB,EAAE,MAAM;gBADzB,gBAAgB,EAAE,MAAM,EACxB,iBAAiB,EAAE,MAAM;IAGlC,MAAM,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM;IAIlC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ;CAGT;AAED,qBAAa,eAAe,CAAC,WAAW,SAAS,MAAM,EAAE,aAAa,SAAS,UAAU;IAE9E,gBAAgB,EAAE,MAAM;IACxB,iBAAiB,EAAE,iBAAiB,CAAC,WAAW,CAAC;IACjD,YAAY,EAAE,aAAa;gBAF3B,gBAAgB,EAAE,MAAM,EACxB,iBAAiB,EAAE,iBAAiB,CAAC,WAAW,CAAC,EACjD,YAAY,EAAE,aAAa;IAGpC,MAAM,CAAC,IAAI,CAAC,WAAW,SAAS,MAAM,EAAE,aAAa,SAAS,UAAU,EACtE,cAAc,EAAE,MAAM,EACtB,UAAU,EAAE,WAAW,EACvB,iBAAiB,EAAE,MAAM,aAAa;IAKxC,MAAM,CAAC,UAAU,CAAC,WAAW,SAAS,MAAM,EAAE,aAAa,SAAS,UAAU,EAC5E,MAAM,EAAE,MAAM,GAAG,YAAY,EAC7B,UAAU,EAAE,WAAW,EACvB,YAAY,EAAE;QAAE,UAAU,CAAC,MAAM,EAAE,YAAY,GAAG,aAAa,CAAA;KAAE,GAChE,eAAe,CAAC,WAAW,EAAE,aAAa,CAAC;IAS9C,QAAQ;CAGT;AAED;;GAEG;AACH,qBAAa,qBAAqB,CAChC,gBAAgB,SAAS,MAAM,EAC/B,sBAAsB,SAAS,MAAM,EACrC,sBAAsB,SAAS,MAAM,EACrC,WAAW,SAAS,MAAM,EAC1B,aAAa,SAAS,UAAU;IAGvB,mBAAmB,EAAE,KAAK,CAAC,iBAAiB,EAAE,gBAAgB,CAAC;IACtE;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,eAAe,EAAE,sBAAsB,CAAC;IACvE;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,eAAe,CAAC,WAAW,EAAE,aAAa,CAAC,EAAE,sBAAsB,CAAC;gBAR5F,mBAAmB,EAAE,KAAK,CAAC,iBAAiB,EAAE,gBAAgB,CAAC;IACtE;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,eAAe,EAAE,sBAAsB,CAAC;IACvE;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,eAAe,CAAC,WAAW,EAAE,aAAa,CAAC,EAAE,sBAAsB,CAAC;IAGrG,WAAW,CAAC,0BAA0B,SAAS,MAAM,EAAE,0BAA0B,SAAS,MAAM,EAC9F,eAAe,EAAE,0BAA0B,EAC3C,eAAe,EAAE,0BAA0B,GAC1C,qBAAqB,CACtB,gBAAgB,EAChB,0BAA0B,EAC1B,0BAA0B,EAC1B,WAAW,EACX,aAAa,CACd;IAWD;;;;OAIG;IACH,MAAM,CAAC,UAAU,CACf,gBAAgB,SAAS,MAAM,EAC/B,sBAAsB,SAAS,MAAM,EACrC,sBAAsB,SAAS,MAAM,EACrC,WAAW,SAAS,MAAM,EAC1B,aAAa,SAAS,UAAU,EAEhC,MAAM,EAAE,MAAM,GAAG,YAAY,EAC7B,cAAc,EAAE,gBAAgB,EAChC,eAAe,EAAE,sBAAsB,EACvC,eAAe,EAAE,sBAAsB,EACvC,UAAU,EAAE,WAAW,EACvB,sBAAsB,EAAE;QAAE,UAAU,EAAE,CAAC,MAAM,EAAE,YAAY,KAAK,aAAa,CAAA;KAAE,GAC9E,qBAAqB,CACtB,gBAAgB,EAChB,sBAAsB,EACtB,sBAAsB,EACtB,WAAW,EACX,aAAa,CACd;IAWD,QAAQ;CAGT;AAED,qBAAa,sBAAsB,CAAC,SAAS,SAAS,MAAM;IAEjD,MAAM,EAAE,KAAK,CAAC,gBAAgB,EAAE,SAAS,CAAC;IAC1C,gBAAgB,EAAE,eAAe,EAAE;gBADnC,MAAM,EAAE,KAAK,CAAC,gBAAgB,EAAE,SAAS,CAAC,EAC1C,gBAAgB,EAAE,eAAe,EAAE;IAG5C,MAAM,CAAC,KAAK,CAAC,SAAS,SAAS,MAAM,EAAE,QAAQ,EAAE,SAAS;CAM3D"}
@@ -28,4 +28,5 @@ export * from './private_call_request.js';
28
28
  export * from './private_validation_requests.js';
29
29
  export * from './private_kernel_simulated_output.js';
30
30
  export * from './private_kernel_prover_output.js';
31
+ export * from './padded_side_effects.js';
31
32
  //# sourceMappingURL=index.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/kernel/index.ts"],"names":[],"mappings":"AAAA,cAAc,yCAAyC,CAAC;AACxD,cAAc,6BAA6B,CAAC;AAC5C,cAAc,qDAAqD,CAAC;AACpE,cAAc,+BAA+B,CAAC;AAC9C,cAAc,wBAAwB,CAAC;AACvC,cAAc,2CAA2C,CAAC;AAC1D,cAAc,0BAA0B,CAAC;AACzC,cAAc,iDAAiD,CAAC;AAChE,cAAc,kDAAkD,CAAC;AACjE,cAAc,kDAAkD,CAAC;AACjE,cAAc,sCAAsC,CAAC;AACrD,cAAc,iDAAiD,CAAC;AAChE,cAAc,gDAAgD,CAAC;AAC/D,cAAc,sCAAsC,CAAC;AACrD,cAAc,yCAAyC,CAAC;AACxD,cAAc,iDAAiD,CAAC;AAChE,cAAc,qDAAqD,CAAC;AACpE,cAAc,kBAAkB,CAAC;AACjC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,6BAA6B,CAAC;AAC5C,cAAc,eAAe,CAAC;AAC9B,cAAc,oCAAoC,CAAC;AACnD,cAAc,kBAAkB,CAAC;AACjC,cAAc,0BAA0B,CAAC;AACzC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,uBAAuB,CAAC;AACtC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,kCAAkC,CAAC;AACjD,cAAc,sCAAsC,CAAC;AACrD,cAAc,mCAAmC,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/kernel/index.ts"],"names":[],"mappings":"AAAA,cAAc,yCAAyC,CAAC;AACxD,cAAc,6BAA6B,CAAC;AAC5C,cAAc,qDAAqD,CAAC;AACpE,cAAc,+BAA+B,CAAC;AAC9C,cAAc,wBAAwB,CAAC;AACvC,cAAc,2CAA2C,CAAC;AAC1D,cAAc,0BAA0B,CAAC;AACzC,cAAc,iDAAiD,CAAC;AAChE,cAAc,kDAAkD,CAAC;AACjE,cAAc,kDAAkD,CAAC;AACjE,cAAc,sCAAsC,CAAC;AACrD,cAAc,iDAAiD,CAAC;AAChE,cAAc,gDAAgD,CAAC;AAC/D,cAAc,sCAAsC,CAAC;AACrD,cAAc,yCAAyC,CAAC;AACxD,cAAc,iDAAiD,CAAC;AAChE,cAAc,qDAAqD,CAAC;AACpE,cAAc,kBAAkB,CAAC;AACjC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,6BAA6B,CAAC;AAC5C,cAAc,eAAe,CAAC;AAC9B,cAAc,oCAAoC,CAAC;AACnD,cAAc,kBAAkB,CAAC;AACjC,cAAc,0BAA0B,CAAC;AACzC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,uBAAuB,CAAC;AACtC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,kCAAkC,CAAC;AACjD,cAAc,sCAAsC,CAAC;AACrD,cAAc,mCAAmC,CAAC;AAClD,cAAc,0BAA0B,CAAC"}
@@ -28,3 +28,4 @@ export * from './private_call_request.js';
28
28
  export * from './private_validation_requests.js';
29
29
  export * from './private_kernel_simulated_output.js';
30
30
  export * from './private_kernel_prover_output.js';
31
+ export * from './padded_side_effects.js';
@@ -0,0 +1,26 @@
1
+ import { MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX, MAX_PRIVATE_LOGS_PER_TX } from '@aztec/constants';
2
+ import { Fr } from '@aztec/foundation/fields';
3
+ import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
4
+ import { PrivateLog } from '../logs/index.js';
5
+ export declare class PaddedSideEffects {
6
+ noteHashes: Tuple<Fr, typeof MAX_NOTE_HASHES_PER_TX>;
7
+ nullifiers: Tuple<Fr, typeof MAX_NULLIFIERS_PER_TX>;
8
+ privateLogs: Tuple<PrivateLog, typeof MAX_PRIVATE_LOGS_PER_TX>;
9
+ constructor(noteHashes: Tuple<Fr, typeof MAX_NOTE_HASHES_PER_TX>, nullifiers: Tuple<Fr, typeof MAX_NULLIFIERS_PER_TX>, privateLogs: Tuple<PrivateLog, typeof MAX_PRIVATE_LOGS_PER_TX>);
10
+ toBuffer(): Buffer<ArrayBufferLike>;
11
+ static fromBuffer(buffer: Buffer | BufferReader): PaddedSideEffects;
12
+ static empty(): PaddedSideEffects;
13
+ }
14
+ export declare class PaddedSideEffectAmounts {
15
+ nonRevertibleNoteHashes: number;
16
+ revertibleNoteHashes: number;
17
+ nonRevertibleNullifiers: number;
18
+ revertibleNullifiers: number;
19
+ nonRevertiblePrivateLogs: number;
20
+ revertiblePrivateLogs: number;
21
+ constructor(nonRevertibleNoteHashes: number, revertibleNoteHashes: number, nonRevertibleNullifiers: number, revertibleNullifiers: number, nonRevertiblePrivateLogs: number, revertiblePrivateLogs: number);
22
+ toBuffer(): Buffer<ArrayBufferLike>;
23
+ static fromBuffer(buffer: Buffer | BufferReader): PaddedSideEffectAmounts;
24
+ static empty(): PaddedSideEffectAmounts;
25
+ }
26
+ //# sourceMappingURL=padded_side_effects.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"padded_side_effects.d.ts","sourceRoot":"","sources":["../../src/kernel/padded_side_effects.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAE1G,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAE1F,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,qBAAa,iBAAiB;IAEnB,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,sBAAsB,CAAC;IACpD,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC;IACnD,WAAW,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,uBAAuB,CAAC;gBAF9D,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,sBAAsB,CAAC,EACpD,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC,EACnD,WAAW,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,uBAAuB,CAAC;IAGvE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAS/C,MAAM,CAAC,KAAK;CAOb;AAED,qBAAa,uBAAuB;IAEzB,uBAAuB,EAAE,MAAM;IAC/B,oBAAoB,EAAE,MAAM;IAC5B,uBAAuB,EAAE,MAAM;IAC/B,oBAAoB,EAAE,MAAM;IAC5B,wBAAwB,EAAE,MAAM;IAChC,qBAAqB,EAAE,MAAM;gBAL7B,uBAAuB,EAAE,MAAM,EAC/B,oBAAoB,EAAE,MAAM,EAC5B,uBAAuB,EAAE,MAAM,EAC/B,oBAAoB,EAAE,MAAM,EAC5B,wBAAwB,EAAE,MAAM,EAChC,qBAAqB,EAAE,MAAM;IAGtC,QAAQ;IAWR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAY/C,MAAM,CAAC,KAAK;CAGb"}
@@ -0,0 +1,51 @@
1
+ import { MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX, MAX_PRIVATE_LOGS_PER_TX } from '@aztec/constants';
2
+ import { makeTuple } from '@aztec/foundation/array';
3
+ import { Fr } from '@aztec/foundation/fields';
4
+ import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
5
+ import { PrivateLog } from '../logs/index.js';
6
+ export class PaddedSideEffects {
7
+ noteHashes;
8
+ nullifiers;
9
+ privateLogs;
10
+ constructor(noteHashes, nullifiers, privateLogs){
11
+ this.noteHashes = noteHashes;
12
+ this.nullifiers = nullifiers;
13
+ this.privateLogs = privateLogs;
14
+ }
15
+ toBuffer() {
16
+ return serializeToBuffer(this.noteHashes, this.nullifiers, this.privateLogs);
17
+ }
18
+ static fromBuffer(buffer) {
19
+ const reader = BufferReader.asReader(buffer);
20
+ return new PaddedSideEffects(reader.readArray(MAX_NOTE_HASHES_PER_TX, Fr), reader.readArray(MAX_NULLIFIERS_PER_TX, Fr), reader.readArray(MAX_PRIVATE_LOGS_PER_TX, PrivateLog));
21
+ }
22
+ static empty() {
23
+ return new PaddedSideEffects(makeTuple(MAX_NOTE_HASHES_PER_TX, Fr.zero), makeTuple(MAX_NULLIFIERS_PER_TX, Fr.zero), makeTuple(MAX_PRIVATE_LOGS_PER_TX, PrivateLog.empty));
24
+ }
25
+ }
26
+ export class PaddedSideEffectAmounts {
27
+ nonRevertibleNoteHashes;
28
+ revertibleNoteHashes;
29
+ nonRevertibleNullifiers;
30
+ revertibleNullifiers;
31
+ nonRevertiblePrivateLogs;
32
+ revertiblePrivateLogs;
33
+ constructor(nonRevertibleNoteHashes, revertibleNoteHashes, nonRevertibleNullifiers, revertibleNullifiers, nonRevertiblePrivateLogs, revertiblePrivateLogs){
34
+ this.nonRevertibleNoteHashes = nonRevertibleNoteHashes;
35
+ this.revertibleNoteHashes = revertibleNoteHashes;
36
+ this.nonRevertibleNullifiers = nonRevertibleNullifiers;
37
+ this.revertibleNullifiers = revertibleNullifiers;
38
+ this.nonRevertiblePrivateLogs = nonRevertiblePrivateLogs;
39
+ this.revertiblePrivateLogs = revertiblePrivateLogs;
40
+ }
41
+ toBuffer() {
42
+ return serializeToBuffer(this.nonRevertibleNoteHashes, this.revertibleNoteHashes, this.nonRevertibleNullifiers, this.revertibleNullifiers, this.nonRevertiblePrivateLogs, this.revertiblePrivateLogs);
43
+ }
44
+ static fromBuffer(buffer) {
45
+ const reader = BufferReader.asReader(buffer);
46
+ return new PaddedSideEffectAmounts(reader.readNumber(), reader.readNumber(), reader.readNumber(), reader.readNumber(), reader.readNumber(), reader.readNumber());
47
+ }
48
+ static empty() {
49
+ return new PaddedSideEffectAmounts(0, 0, 0, 0, 0, 0);
50
+ }
51
+ }
@@ -1,8 +1,5 @@
1
- import { VK_TREE_HEIGHT } from '@aztec/constants';
2
- import { Fr } from '@aztec/foundation/fields';
3
- import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
4
- import type { UInt32 } from '../types/shared.js';
5
- import { VerificationKeyData } from '../vks/verification_key.js';
1
+ import { BufferReader } from '@aztec/foundation/serialize';
2
+ import { VkData } from '../vks/index.js';
6
3
  import { PrivateKernelCircuitPublicInputs } from './private_kernel_circuit_public_inputs.js';
7
4
  /**
8
5
  * Data of the previous kernel iteration in the chain of kernels.
@@ -13,34 +10,18 @@ export declare class PrivateKernelData {
13
10
  */
14
11
  publicInputs: PrivateKernelCircuitPublicInputs;
15
12
  /**
16
- * Verification key of the previous kernel.
13
+ * The verification key and the witness of the vk in the vk tree.
17
14
  */
18
- verificationKey: VerificationKeyData;
19
- /**
20
- * Index of the previous kernel's vk in a tree of vks.
21
- */
22
- vkIndex: UInt32;
23
- /**
24
- * Sibling path of the previous kernel's vk in a tree of vks.
25
- */
26
- vkPath: Tuple<Fr, typeof VK_TREE_HEIGHT>;
15
+ vkData: VkData;
27
16
  constructor(
28
17
  /**
29
18
  * Public inputs of the previous kernel.
30
19
  */
31
20
  publicInputs: PrivateKernelCircuitPublicInputs,
32
21
  /**
33
- * Verification key of the previous kernel.
34
- */
35
- verificationKey: VerificationKeyData,
36
- /**
37
- * Index of the previous kernel's vk in a tree of vks.
38
- */
39
- vkIndex: UInt32,
40
- /**
41
- * Sibling path of the previous kernel's vk in a tree of vks.
22
+ * The verification key and the witness of the vk in the vk tree.
42
23
  */
43
- vkPath: Tuple<Fr, typeof VK_TREE_HEIGHT>);
24
+ vkData: VkData);
44
25
  /**
45
26
  * Serialize this as a buffer.
46
27
  * @returns The buffer.
@@ -1 +1 @@
1
- {"version":3,"file":"private_kernel_data.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAE1F,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,gCAAgC,EAAE,MAAM,2CAA2C,CAAC;AAE7F;;GAEG;AACH,qBAAa,iBAAiB;IAI1B;;OAEG;IACI,YAAY,EAAE,gCAAgC;IACrD;;OAEG;IACI,eAAe,EAAE,mBAAmB;IAC3C;;OAEG;IACI,OAAO,EAAE,MAAM;IACtB;;OAEG;IACI,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAf/C;;OAEG;IACI,YAAY,EAAE,gCAAgC;IACrD;;OAEG;IACI,eAAe,EAAE,mBAAmB;IAC3C;;OAEG;IACI,OAAO,EAAE,MAAM;IACtB;;OAEG;IACI,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGjD;;;OAGG;IACH,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,iBAAiB;IAUnE,MAAM,CAAC,KAAK,IAAI,iBAAiB;CAQlC"}
1
+ {"version":3,"file":"private_kernel_data.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AACzC,OAAO,EAAE,gCAAgC,EAAE,MAAM,2CAA2C,CAAC;AAE7F;;GAEG;AACH,qBAAa,iBAAiB;IAI1B;;OAEG;IACI,YAAY,EAAE,gCAAgC;IACrD;;OAEG;IACI,MAAM,EAAE,MAAM;;IAPrB;;OAEG;IACI,YAAY,EAAE,gCAAgC;IACrD;;OAEG;IACI,MAAM,EAAE,MAAM;IAGvB;;;OAGG;IACH,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,iBAAiB;IAKnE,MAAM,CAAC,KAAK,IAAI,iBAAiB;CAGlC"}
@@ -1,43 +1,32 @@
1
- import { VK_TREE_HEIGHT } from '@aztec/constants';
2
- import { makeTuple } from '@aztec/foundation/array';
3
- import { Fr } from '@aztec/foundation/fields';
4
1
  import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
5
- import { VerificationKeyData } from '../vks/verification_key.js';
2
+ import { VkData } from '../vks/index.js';
6
3
  import { PrivateKernelCircuitPublicInputs } from './private_kernel_circuit_public_inputs.js';
7
4
  /**
8
5
  * Data of the previous kernel iteration in the chain of kernels.
9
6
  */ export class PrivateKernelData {
10
7
  publicInputs;
11
- verificationKey;
12
- vkIndex;
13
- vkPath;
8
+ vkData;
14
9
  // NOTE: as of move to honk and client IVC, previous private kernels no longer come with their proof
15
10
  // as we do client IVC not recursive verification. We need to ensure the public inputs here is properly constrained, TODO(https://github.com/AztecProtocol/barretenberg/issues/1048)
16
11
  constructor(/**
17
12
  * Public inputs of the previous kernel.
18
13
  */ publicInputs, /**
19
- * Verification key of the previous kernel.
20
- */ verificationKey, /**
21
- * Index of the previous kernel's vk in a tree of vks.
22
- */ vkIndex, /**
23
- * Sibling path of the previous kernel's vk in a tree of vks.
24
- */ vkPath){
14
+ * The verification key and the witness of the vk in the vk tree.
15
+ */ vkData){
25
16
  this.publicInputs = publicInputs;
26
- this.verificationKey = verificationKey;
27
- this.vkIndex = vkIndex;
28
- this.vkPath = vkPath;
17
+ this.vkData = vkData;
29
18
  }
30
19
  /**
31
20
  * Serialize this as a buffer.
32
21
  * @returns The buffer.
33
22
  */ toBuffer() {
34
- return serializeToBuffer(this.publicInputs, this.verificationKey, this.vkIndex, this.vkPath);
23
+ return serializeToBuffer(this.publicInputs, this.vkData);
35
24
  }
36
25
  static fromBuffer(buffer) {
37
26
  const reader = BufferReader.asReader(buffer);
38
- return new this(reader.readObject(PrivateKernelCircuitPublicInputs), reader.readObject(VerificationKeyData), reader.readNumber(), reader.readArray(VK_TREE_HEIGHT, Fr));
27
+ return new this(reader.readObject(PrivateKernelCircuitPublicInputs), reader.readObject(VkData));
39
28
  }
40
29
  static empty() {
41
- return new PrivateKernelData(PrivateKernelCircuitPublicInputs.empty(), VerificationKeyData.empty(), 0, makeTuple(VK_TREE_HEIGHT, Fr.zero));
30
+ return new PrivateKernelData(PrivateKernelCircuitPublicInputs.empty(), VkData.empty());
42
31
  }
43
32
  }
@@ -1,11 +1,13 @@
1
1
  import type { MAX_KEY_VALIDATION_REQUESTS_PER_TX, MAX_NOTE_HASH_READ_REQUESTS_PER_TX, MAX_NULLIFIERS_PER_TX, MAX_NULLIFIER_READ_REQUESTS_PER_TX } from '@aztec/constants';
2
2
  import type { PrivateKernelResetHints } from './hints/private_kernel_reset_hints.js';
3
+ import type { PaddedSideEffects } from './padded_side_effects.js';
3
4
  import type { PrivateKernelData } from './private_kernel_data.js';
4
5
  import type { PrivateKernelResetDimensions } from './private_kernel_reset_dimensions.js';
5
- export declare class PrivateKernelResetCircuitPrivateInputsVariants<NH_RR_PENDING extends number, NH_RR_SETTLED extends number, NLL_RR_PENDING extends number, NLL_RR_SETTLED extends number, KEY_VALIDATION_REQUESTS extends number, NUM_TRANSIENT_DATA_INDEX_HINTS extends number> {
6
+ export declare class PrivateKernelResetCircuitPrivateInputsVariants<NH_RR_PENDING extends number, NH_RR_SETTLED extends number, NLL_RR_PENDING extends number, NLL_RR_SETTLED extends number, KEY_VALIDATION_HINTS_LEN extends number, TRANSIENT_DATA_HINTS_LEN extends number> {
6
7
  previousKernel: PrivateKernelData;
7
- hints: PrivateKernelResetHints<NH_RR_PENDING, NH_RR_SETTLED, NLL_RR_PENDING, NLL_RR_SETTLED, KEY_VALIDATION_REQUESTS, NUM_TRANSIENT_DATA_INDEX_HINTS>;
8
- constructor(previousKernel: PrivateKernelData, hints: PrivateKernelResetHints<NH_RR_PENDING, NH_RR_SETTLED, NLL_RR_PENDING, NLL_RR_SETTLED, KEY_VALIDATION_REQUESTS, NUM_TRANSIENT_DATA_INDEX_HINTS>);
8
+ paddedSideEffects: PaddedSideEffects;
9
+ hints: PrivateKernelResetHints<NH_RR_PENDING, NH_RR_SETTLED, NLL_RR_PENDING, NLL_RR_SETTLED, KEY_VALIDATION_HINTS_LEN, TRANSIENT_DATA_HINTS_LEN>;
10
+ constructor(previousKernel: PrivateKernelData, paddedSideEffects: PaddedSideEffects, hints: PrivateKernelResetHints<NH_RR_PENDING, NH_RR_SETTLED, NLL_RR_PENDING, NLL_RR_SETTLED, KEY_VALIDATION_HINTS_LEN, TRANSIENT_DATA_HINTS_LEN>);
9
11
  toBuffer(): Buffer<ArrayBufferLike>;
10
12
  }
11
13
  /**
@@ -16,13 +18,14 @@ export declare class PrivateKernelResetCircuitPrivateInputs {
16
18
  * The previous kernel data
17
19
  */
18
20
  previousKernel: PrivateKernelData;
21
+ paddedSideEffects: PaddedSideEffects;
19
22
  hints: PrivateKernelResetHints<typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX, typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX, typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX, typeof MAX_KEY_VALIDATION_REQUESTS_PER_TX, typeof MAX_NULLIFIERS_PER_TX>;
20
23
  dimensions: PrivateKernelResetDimensions;
21
24
  constructor(
22
25
  /**
23
26
  * The previous kernel data
24
27
  */
25
- previousKernel: PrivateKernelData, hints: PrivateKernelResetHints<typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX, typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX, typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX, typeof MAX_KEY_VALIDATION_REQUESTS_PER_TX, typeof MAX_NULLIFIERS_PER_TX>, dimensions: PrivateKernelResetDimensions);
28
+ previousKernel: PrivateKernelData, paddedSideEffects: PaddedSideEffects, hints: PrivateKernelResetHints<typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX, typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX, typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX, typeof MAX_KEY_VALIDATION_REQUESTS_PER_TX, typeof MAX_NULLIFIERS_PER_TX>, dimensions: PrivateKernelResetDimensions);
26
29
  /**
27
30
  * Serialize this as a buffer.
28
31
  * @returns The buffer.
@@ -1 +1 @@
1
- {"version":3,"file":"private_kernel_reset_circuit_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_reset_circuit_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,kCAAkC,EAClC,kCAAkC,EAClC,qBAAqB,EACrB,kCAAkC,EACnC,MAAM,kBAAkB,CAAC;AAG1B,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AACrF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AAEzF,qBAAa,8CAA8C,CACzD,aAAa,SAAS,MAAM,EAC5B,aAAa,SAAS,MAAM,EAC5B,cAAc,SAAS,MAAM,EAC7B,cAAc,SAAS,MAAM,EAC7B,uBAAuB,SAAS,MAAM,EACtC,8BAA8B,SAAS,MAAM;IAGpC,cAAc,EAAE,iBAAiB;IACjC,KAAK,EAAE,uBAAuB,CACnC,aAAa,EACb,aAAa,EACb,cAAc,EACd,cAAc,EACd,uBAAuB,EACvB,8BAA8B,CAC/B;gBARM,cAAc,EAAE,iBAAiB,EACjC,KAAK,EAAE,uBAAuB,CACnC,aAAa,EACb,aAAa,EACb,cAAc,EACd,cAAc,EACd,uBAAuB,EACvB,8BAA8B,CAC/B;IAGH,QAAQ;CAGT;AAED;;GAEG;AACH,qBAAa,sCAAsC;IAE/C;;OAEG;IACI,cAAc,EAAE,iBAAiB;IACjC,KAAK,EAAE,uBAAuB,CACnC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,qBAAqB,CAC7B;IACM,UAAU,EAAE,4BAA4B;;IAZ/C;;OAEG;IACI,cAAc,EAAE,iBAAiB,EACjC,KAAK,EAAE,uBAAuB,CACnC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,qBAAqB,CAC7B,EACM,UAAU,EAAE,4BAA4B;IAGjD;;;OAGG;IACH,QAAQ;IAIR,WAAW;CAWZ"}
1
+ {"version":3,"file":"private_kernel_reset_circuit_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_reset_circuit_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,kCAAkC,EAClC,kCAAkC,EAClC,qBAAqB,EACrB,kCAAkC,EACnC,MAAM,kBAAkB,CAAC;AAG1B,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AACrF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AAEzF,qBAAa,8CAA8C,CACzD,aAAa,SAAS,MAAM,EAC5B,aAAa,SAAS,MAAM,EAC5B,cAAc,SAAS,MAAM,EAC7B,cAAc,SAAS,MAAM,EAC7B,wBAAwB,SAAS,MAAM,EACvC,wBAAwB,SAAS,MAAM;IAG9B,cAAc,EAAE,iBAAiB;IACjC,iBAAiB,EAAE,iBAAiB;IACpC,KAAK,EAAE,uBAAuB,CACnC,aAAa,EACb,aAAa,EACb,cAAc,EACd,cAAc,EACd,wBAAwB,EACxB,wBAAwB,CACzB;gBATM,cAAc,EAAE,iBAAiB,EACjC,iBAAiB,EAAE,iBAAiB,EACpC,KAAK,EAAE,uBAAuB,CACnC,aAAa,EACb,aAAa,EACb,cAAc,EACd,cAAc,EACd,wBAAwB,EACxB,wBAAwB,CACzB;IAGH,QAAQ;CAGT;AAED;;GAEG;AACH,qBAAa,sCAAsC;IAE/C;;OAEG;IACI,cAAc,EAAE,iBAAiB;IACjC,iBAAiB,EAAE,iBAAiB;IACpC,KAAK,EAAE,uBAAuB,CACnC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,qBAAqB,CAC7B;IACM,UAAU,EAAE,4BAA4B;;IAb/C;;OAEG;IACI,cAAc,EAAE,iBAAiB,EACjC,iBAAiB,EAAE,iBAAiB,EACpC,KAAK,EAAE,uBAAuB,CACnC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,qBAAqB,CAC7B,EACM,UAAU,EAAE,4BAA4B;IAGjD;;;OAGG;IACH,QAAQ;IAIR,WAAW;CAWZ"}