@aztec/stdlib 5.0.0-rc.1 → 5.0.0

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 (300) hide show
  1. package/dest/abi/buffer.d.ts +6 -2
  2. package/dest/abi/buffer.d.ts.map +1 -1
  3. package/dest/abi/buffer.js +13 -1
  4. package/dest/avm/avm.js +1 -1
  5. package/dest/aztec-address/index.d.ts +35 -5
  6. package/dest/aztec-address/index.d.ts.map +1 -1
  7. package/dest/aztec-address/index.js +32 -8
  8. package/dest/block/attestation_info.d.ts +1 -1
  9. package/dest/block/attestation_info.d.ts.map +1 -1
  10. package/dest/block/attestation_info.js +7 -4
  11. package/dest/block/l2_block_source.d.ts +44 -27
  12. package/dest/block/l2_block_source.d.ts.map +1 -1
  13. package/dest/block/l2_block_source.js +15 -1
  14. package/dest/block/l2_block_stream/event_driven_l2_block_stream.d.ts +39 -0
  15. package/dest/block/l2_block_stream/event_driven_l2_block_stream.d.ts.map +1 -0
  16. package/dest/block/l2_block_stream/event_driven_l2_block_stream.js +165 -0
  17. package/dest/block/l2_block_stream/index.d.ts +2 -1
  18. package/dest/block/l2_block_stream/index.d.ts.map +1 -1
  19. package/dest/block/l2_block_stream/index.js +1 -0
  20. package/dest/block/l2_block_stream/interfaces.d.ts +40 -6
  21. package/dest/block/l2_block_stream/interfaces.d.ts.map +1 -1
  22. package/dest/block/l2_block_stream/interfaces.js +25 -1
  23. package/dest/block/l2_block_stream/l2_block_stream.d.ts +23 -15
  24. package/dest/block/l2_block_stream/l2_block_stream.d.ts.map +1 -1
  25. package/dest/block/l2_block_stream/l2_block_stream.js +140 -152
  26. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts +10 -2
  27. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts.map +1 -1
  28. package/dest/block/l2_block_stream/l2_tips_store_base.js +33 -15
  29. package/dest/block/proposal/attestations_and_signers.d.ts +19 -1
  30. package/dest/block/proposal/attestations_and_signers.d.ts.map +1 -1
  31. package/dest/block/proposal/attestations_and_signers.js +47 -7
  32. package/dest/block/test/l2_tips_store_test_suite.d.ts +1 -1
  33. package/dest/block/test/l2_tips_store_test_suite.d.ts.map +1 -1
  34. package/dest/block/test/l2_tips_store_test_suite.js +94 -3
  35. package/dest/block/validate_block_result.d.ts +16 -1
  36. package/dest/block/validate_block_result.d.ts.map +1 -1
  37. package/dest/block/validate_block_result.js +18 -3
  38. package/dest/checkpoint/index.d.ts +2 -1
  39. package/dest/checkpoint/index.d.ts.map +1 -1
  40. package/dest/checkpoint/index.js +1 -0
  41. package/dest/checkpoint/simulation_overrides.d.ts +61 -0
  42. package/dest/checkpoint/simulation_overrides.d.ts.map +1 -0
  43. package/dest/checkpoint/simulation_overrides.js +98 -0
  44. package/dest/config/network-consensus-config.d.ts +1 -1
  45. package/dest/config/network-consensus-config.d.ts.map +1 -1
  46. package/dest/config/network-consensus-config.js +2 -10
  47. package/dest/contract/contract_address.d.ts +5 -4
  48. package/dest/contract/contract_address.d.ts.map +1 -1
  49. package/dest/contract/contract_instance.d.ts +16 -2
  50. package/dest/contract/contract_instance.d.ts.map +1 -1
  51. package/dest/contract/contract_instance.js +45 -0
  52. package/dest/contract/interfaces/contract_data_source.d.ts +3 -5
  53. package/dest/contract/interfaces/contract_data_source.d.ts.map +1 -1
  54. package/dest/contract/interfaces/contract_instance.d.ts +71 -10
  55. package/dest/contract/interfaces/contract_instance.d.ts.map +1 -1
  56. package/dest/contract/interfaces/contract_instance.js +7 -2
  57. package/dest/contract/partial_address.d.ts +9 -3
  58. package/dest/contract/partial_address.d.ts.map +1 -1
  59. package/dest/contract/partial_address.js +8 -2
  60. package/dest/database-version/version_manager.d.ts +18 -4
  61. package/dest/database-version/version_manager.d.ts.map +1 -1
  62. package/dest/database-version/version_manager.js +76 -6
  63. package/dest/file-store/factory.d.ts +1 -1
  64. package/dest/file-store/factory.d.ts.map +1 -1
  65. package/dest/file-store/factory.js +7 -0
  66. package/dest/file-store/index.d.ts +2 -1
  67. package/dest/file-store/index.d.ts.map +1 -1
  68. package/dest/file-store/index.js +1 -0
  69. package/dest/file-store/memory.d.ts +24 -0
  70. package/dest/file-store/memory.d.ts.map +1 -0
  71. package/dest/file-store/memory.js +80 -0
  72. package/dest/ha-signing/config.d.ts +19 -5
  73. package/dest/ha-signing/config.d.ts.map +1 -1
  74. package/dest/ha-signing/config.js +9 -3
  75. package/dest/ha-signing/local_config.d.ts +10 -2
  76. package/dest/ha-signing/local_config.d.ts.map +1 -1
  77. package/dest/ha-signing/local_config.js +8 -2
  78. package/dest/hash/hash.d.ts +1 -2
  79. package/dest/hash/hash.d.ts.map +1 -1
  80. package/dest/hash/hash.js +0 -7
  81. package/dest/interfaces/archiver.d.ts +8 -1
  82. package/dest/interfaces/archiver.d.ts.map +1 -1
  83. package/dest/interfaces/archiver.js +3 -2
  84. package/dest/interfaces/aztec-node-admin.d.ts +5 -2
  85. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  86. package/dest/interfaces/aztec-node-debug.d.ts +26 -1
  87. package/dest/interfaces/aztec-node-debug.d.ts.map +1 -1
  88. package/dest/interfaces/aztec-node-debug.js +20 -0
  89. package/dest/interfaces/aztec-node.d.ts +20 -20
  90. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  91. package/dest/interfaces/aztec-node.js +8 -15
  92. package/dest/interfaces/chain_tips.d.ts +8 -47
  93. package/dest/interfaces/chain_tips.d.ts.map +1 -1
  94. package/dest/interfaces/chain_tips.js +1 -6
  95. package/dest/interfaces/checkpoint_parameter.d.ts +3 -3
  96. package/dest/interfaces/checkpoint_parameter.d.ts.map +1 -1
  97. package/dest/interfaces/checkpoint_parameter.js +3 -3
  98. package/dest/interfaces/configs.d.ts +4 -1
  99. package/dest/interfaces/configs.d.ts.map +1 -1
  100. package/dest/interfaces/configs.js +1 -0
  101. package/dest/interfaces/private_kernel_prover.d.ts +9 -11
  102. package/dest/interfaces/private_kernel_prover.d.ts.map +1 -1
  103. package/dest/interfaces/prover-node.d.ts +6 -7
  104. package/dest/interfaces/prover-node.d.ts.map +1 -1
  105. package/dest/interfaces/prover-node.js +15 -10
  106. package/dest/interfaces/proving-job.d.ts +87 -74
  107. package/dest/interfaces/proving-job.d.ts.map +1 -1
  108. package/dest/interfaces/proving-job.js +13 -4
  109. package/dest/interfaces/server_circuit_prover.d.ts +3 -3
  110. package/dest/interfaces/server_circuit_prover.d.ts.map +1 -1
  111. package/dest/interfaces/validator.d.ts +7 -3
  112. package/dest/interfaces/validator.d.ts.map +1 -1
  113. package/dest/interfaces/world_state.d.ts +14 -1
  114. package/dest/interfaces/world_state.d.ts.map +1 -1
  115. package/dest/kernel/hints/find_private_kernel_reset_dimensions.d.ts +8 -2
  116. package/dest/kernel/hints/find_private_kernel_reset_dimensions.d.ts.map +1 -1
  117. package/dest/kernel/hints/find_private_kernel_reset_dimensions.js +12 -74
  118. package/dest/kernel/hints/read_request.js +1 -1
  119. package/dest/kernel/index.d.ts +2 -2
  120. package/dest/kernel/index.d.ts.map +1 -1
  121. package/dest/kernel/index.js +1 -1
  122. package/dest/kernel/log_hash.d.ts +1 -1
  123. package/dest/kernel/log_hash.d.ts.map +1 -1
  124. package/dest/kernel/log_hash.js +2 -2
  125. package/dest/kernel/note_hash.js +1 -1
  126. package/dest/kernel/nullifier.js +1 -1
  127. package/dest/kernel/private_circuit_public_inputs.d.ts +13 -3
  128. package/dest/kernel/private_circuit_public_inputs.d.ts.map +1 -1
  129. package/dest/kernel/private_circuit_public_inputs.js +14 -7
  130. package/dest/kernel/private_context_inputs.d.ts +4 -3
  131. package/dest/kernel/private_context_inputs.d.ts.map +1 -1
  132. package/dest/kernel/private_context_inputs.js +7 -3
  133. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts +7 -1
  134. package/dest/kernel/private_kernel_circuit_public_inputs.d.ts.map +1 -1
  135. package/dest/kernel/private_kernel_circuit_public_inputs.js +7 -0
  136. package/dest/kernel/private_kernel_init_2_circuit_private_inputs.d.ts +2 -3
  137. package/dest/kernel/private_kernel_init_2_circuit_private_inputs.d.ts.map +1 -1
  138. package/dest/kernel/private_kernel_init_2_circuit_private_inputs.js +3 -5
  139. package/dest/kernel/private_kernel_init_3_circuit_private_inputs.d.ts +2 -3
  140. package/dest/kernel/private_kernel_init_3_circuit_private_inputs.d.ts.map +1 -1
  141. package/dest/kernel/private_kernel_init_3_circuit_private_inputs.js +3 -5
  142. package/dest/kernel/private_kernel_init_circuit_private_inputs.d.ts +1 -9
  143. package/dest/kernel/private_kernel_init_circuit_private_inputs.d.ts.map +1 -1
  144. package/dest/kernel/private_kernel_init_circuit_private_inputs.js +2 -6
  145. package/dest/kernel/private_kernel_reset_dimensions.d.ts +7 -8
  146. package/dest/kernel/private_kernel_reset_dimensions.d.ts.map +1 -1
  147. package/dest/kernel/private_kernel_reset_tail_circuit_private_inputs.d.ts +29 -0
  148. package/dest/kernel/private_kernel_reset_tail_circuit_private_inputs.d.ts.map +1 -0
  149. package/dest/kernel/private_kernel_reset_tail_circuit_private_inputs.js +36 -0
  150. package/dest/kernel/private_log_data.d.ts +1 -1
  151. package/dest/kernel/private_log_data.d.ts.map +1 -1
  152. package/dest/kernel/private_log_data.js +1 -1
  153. package/dest/keys/derivation.d.ts +41 -6
  154. package/dest/keys/derivation.d.ts.map +1 -1
  155. package/dest/keys/derivation.js +49 -26
  156. package/dest/logs/app_tagging_secret.d.ts +30 -7
  157. package/dest/logs/app_tagging_secret.d.ts.map +1 -1
  158. package/dest/logs/app_tagging_secret.js +46 -39
  159. package/dest/logs/contract_class_log.d.ts +1 -2
  160. package/dest/logs/contract_class_log.d.ts.map +1 -1
  161. package/dest/logs/contract_class_log.js +0 -4
  162. package/dest/logs/index.d.ts +1 -3
  163. package/dest/logs/index.d.ts.map +1 -1
  164. package/dest/logs/index.js +0 -2
  165. package/dest/logs/shared_secret_derivation.d.ts +19 -6
  166. package/dest/logs/shared_secret_derivation.d.ts.map +1 -1
  167. package/dest/logs/shared_secret_derivation.js +26 -11
  168. package/dest/messaging/l1_to_l2_message.d.ts +23 -2
  169. package/dest/messaging/l1_to_l2_message.d.ts.map +1 -1
  170. package/dest/messaging/l1_to_l2_message.js +36 -11
  171. package/dest/p2p/attestation_utils.d.ts +1 -1
  172. package/dest/p2p/attestation_utils.d.ts.map +1 -1
  173. package/dest/p2p/attestation_utils.js +8 -1
  174. package/dest/p2p/checkpoint_attestation.d.ts +10 -1
  175. package/dest/p2p/checkpoint_attestation.d.ts.map +1 -1
  176. package/dest/p2p/checkpoint_attestation.js +10 -0
  177. package/dest/p2p/checkpoint_proposal.d.ts +2 -1
  178. package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
  179. package/dest/p2p/consensus_payload.d.ts +2 -1
  180. package/dest/p2p/consensus_payload.d.ts.map +1 -1
  181. package/dest/p2p/signature_utils.d.ts +10 -1
  182. package/dest/p2p/signature_utils.d.ts.map +1 -1
  183. package/dest/p2p/signature_utils.js +9 -1
  184. package/dest/rollup/avm_proof_data.d.ts +3 -3
  185. package/dest/rollup/avm_proof_data.d.ts.map +1 -1
  186. package/dest/rollup/checkpoint_header.d.ts +8 -3
  187. package/dest/rollup/checkpoint_header.d.ts.map +1 -1
  188. package/dest/rollup/checkpoint_header.js +20 -10
  189. package/dest/stats/stats.d.ts +2 -2
  190. package/dest/stats/stats.d.ts.map +1 -1
  191. package/dest/tests/factories.d.ts +1 -1
  192. package/dest/tests/factories.d.ts.map +1 -1
  193. package/dest/tests/factories.js +7 -15
  194. package/dest/trees/nullifier_membership_witness.d.ts +5 -8
  195. package/dest/trees/nullifier_membership_witness.d.ts.map +1 -1
  196. package/dest/trees/nullifier_membership_witness.js +0 -9
  197. package/dest/trees/public_data_witness.d.ts +7 -17
  198. package/dest/trees/public_data_witness.d.ts.map +1 -1
  199. package/dest/trees/public_data_witness.js +0 -27
  200. package/dest/tx/execution_payload.d.ts +1 -1
  201. package/dest/tx/execution_payload.d.ts.map +1 -1
  202. package/dest/tx/execution_payload.js +1 -1
  203. package/dest/tx/global_variable_builder.d.ts +2 -12
  204. package/dest/tx/global_variable_builder.d.ts.map +1 -1
  205. package/dest/tx/global_variables.js +2 -2
  206. package/dest/tx/private_tx_constant_data.d.ts +18 -2
  207. package/dest/tx/private_tx_constant_data.d.ts.map +1 -1
  208. package/dest/tx/private_tx_constant_data.js +13 -4
  209. package/dest/tx/simulated_tx.d.ts +10 -6
  210. package/dest/tx/simulated_tx.d.ts.map +1 -1
  211. package/dest/world-state/genesis_data.d.ts +9 -1
  212. package/dest/world-state/genesis_data.d.ts.map +1 -1
  213. package/dest/world-state/genesis_data.js +1 -0
  214. package/package.json +8 -8
  215. package/src/abi/buffer.ts +13 -1
  216. package/src/avm/avm.ts +1 -1
  217. package/src/aztec-address/index.ts +36 -6
  218. package/src/block/attestation_info.ts +7 -2
  219. package/src/block/l2_block_source.ts +64 -17
  220. package/src/block/l2_block_stream/event_driven_l2_block_stream.ts +207 -0
  221. package/src/block/l2_block_stream/index.ts +1 -0
  222. package/src/block/l2_block_stream/interfaces.ts +60 -6
  223. package/src/block/l2_block_stream/l2_block_stream.ts +201 -178
  224. package/src/block/l2_block_stream/l2_tips_store_base.ts +36 -15
  225. package/src/block/proposal/attestations_and_signers.ts +53 -7
  226. package/src/block/test/l2_tips_store_test_suite.ts +73 -4
  227. package/src/block/validate_block_result.ts +48 -2
  228. package/src/checkpoint/index.ts +1 -0
  229. package/src/checkpoint/simulation_overrides.ts +171 -0
  230. package/src/config/network-consensus-config.ts +2 -13
  231. package/src/contract/contract_address.ts +4 -3
  232. package/src/contract/contract_instance.ts +62 -1
  233. package/src/contract/interfaces/contract_data_source.ts +2 -4
  234. package/src/contract/interfaces/contract_instance.ts +26 -8
  235. package/src/contract/partial_address.ts +8 -2
  236. package/src/database-version/version_manager.ts +96 -6
  237. package/src/file-store/factory.ts +7 -0
  238. package/src/file-store/index.ts +1 -0
  239. package/src/file-store/memory.ts +94 -0
  240. package/src/ha-signing/config.ts +23 -5
  241. package/src/ha-signing/local_config.ts +20 -1
  242. package/src/hash/hash.ts +0 -8
  243. package/src/interfaces/archiver.ts +9 -1
  244. package/src/interfaces/aztec-node-debug.ts +37 -0
  245. package/src/interfaces/aztec-node.ts +30 -33
  246. package/src/interfaces/chain_tips.ts +8 -16
  247. package/src/interfaces/checkpoint_parameter.ts +3 -3
  248. package/src/interfaces/configs.ts +3 -0
  249. package/src/interfaces/private_kernel_prover.ts +10 -12
  250. package/src/interfaces/prover-node.ts +19 -11
  251. package/src/interfaces/proving-job.ts +15 -3
  252. package/src/interfaces/server_circuit_prover.ts +2 -2
  253. package/src/interfaces/world_state.ts +14 -0
  254. package/src/kernel/hints/find_private_kernel_reset_dimensions.ts +22 -112
  255. package/src/kernel/hints/read_request.ts +1 -1
  256. package/src/kernel/index.ts +1 -1
  257. package/src/kernel/log_hash.ts +5 -2
  258. package/src/kernel/note_hash.ts +1 -1
  259. package/src/kernel/nullifier.ts +1 -1
  260. package/src/kernel/private_circuit_public_inputs.ts +12 -1
  261. package/src/kernel/private_context_inputs.ts +10 -3
  262. package/src/kernel/private_kernel_circuit_public_inputs.ts +9 -0
  263. package/src/kernel/private_kernel_init_2_circuit_private_inputs.ts +0 -3
  264. package/src/kernel/private_kernel_init_3_circuit_private_inputs.ts +0 -3
  265. package/src/kernel/private_kernel_init_circuit_private_inputs.ts +0 -6
  266. package/src/kernel/private_kernel_reset_dimensions.ts +15 -5
  267. package/src/kernel/private_kernel_reset_tail_circuit_private_inputs.ts +69 -0
  268. package/src/kernel/private_log_data.ts +4 -1
  269. package/src/keys/derivation.ts +69 -24
  270. package/src/logs/app_tagging_secret.ts +62 -39
  271. package/src/logs/contract_class_log.ts +0 -9
  272. package/src/logs/index.ts +0 -2
  273. package/src/logs/shared_secret_derivation.ts +31 -15
  274. package/src/messaging/l1_to_l2_message.ts +51 -13
  275. package/src/p2p/attestation_utils.ts +8 -1
  276. package/src/p2p/checkpoint_attestation.ts +12 -0
  277. package/src/p2p/signature_utils.ts +9 -0
  278. package/src/rollup/avm_proof_data.ts +2 -2
  279. package/src/rollup/checkpoint_header.ts +16 -2
  280. package/src/stats/stats.ts +2 -2
  281. package/src/tests/factories.ts +6 -12
  282. package/src/trees/nullifier_membership_witness.ts +0 -11
  283. package/src/trees/public_data_witness.ts +0 -31
  284. package/src/tx/execution_payload.ts +2 -1
  285. package/src/tx/global_variable_builder.ts +1 -17
  286. package/src/tx/global_variables.ts +2 -2
  287. package/src/tx/private_tx_constant_data.ts +25 -2
  288. package/src/world-state/genesis_data.ts +10 -0
  289. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts +0 -47
  290. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts.map +0 -1
  291. package/dest/kernel/private_kernel_tail_circuit_private_inputs.js +0 -38
  292. package/dest/logs/message_context.d.ts +0 -27
  293. package/dest/logs/message_context.d.ts.map +0 -1
  294. package/dest/logs/message_context.js +0 -74
  295. package/dest/logs/pending_tagged_log.d.ts +0 -13
  296. package/dest/logs/pending_tagged_log.d.ts.map +0 -1
  297. package/dest/logs/pending_tagged_log.js +0 -34
  298. package/src/kernel/private_kernel_tail_circuit_private_inputs.ts +0 -58
  299. package/src/logs/message_context.ts +0 -76
  300. package/src/logs/pending_tagged_log.ts +0 -39
@@ -1,5 +1,4 @@
1
1
  import { NULLIFIER_TREE_HEIGHT } from '@aztec/constants';
2
- import { Fr } from '@aztec/foundation/curves/bn254';
3
2
  import { MembershipWitness, SiblingPath } from '@aztec/foundation/trees';
4
3
  import { z } from 'zod';
5
4
  import { NullifierLeafPreimage } from './nullifier_leaf.js';
@@ -39,15 +38,15 @@ export declare class NullifierMembershipWitness {
39
38
  index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
40
39
  leafPreimage: z.ZodPipe<z.ZodObject<{
41
40
  leaf: z.ZodPipe<z.ZodObject<{
42
- nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
41
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
43
42
  }, z.core.$strip>, z.ZodTransform<import("./nullifier_leaf.js").NullifierLeaf, {
44
- nullifier: Fr;
43
+ nullifier: import("@aztec/foundation/schemas").Fr;
45
44
  }>>;
46
- nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
45
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
47
46
  nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
48
47
  }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
49
48
  leaf: import("./nullifier_leaf.js").NullifierLeaf;
50
- nextKey: Fr;
49
+ nextKey: import("@aztec/foundation/schemas").Fr;
51
50
  nextIndex: bigint;
52
51
  }>>;
53
52
  siblingPath: z.ZodPipe<import("../schemas/index.js").ZodFor<Buffer<ArrayBufferLike>>, z.ZodTransform<SiblingPath<42>, Buffer<ArrayBufferLike>>>;
@@ -58,7 +57,5 @@ export declare class NullifierMembershipWitness {
58
57
  }>>;
59
58
  static random(): NullifierMembershipWitness;
60
59
  withoutPreimage(): MembershipWitness<typeof NULLIFIER_TREE_HEIGHT>;
61
- /** Serializes as `(NullifierLeafPreimage, MembershipWitness)` to match the Noir oracle return type. */
62
- toNoirRepresentation(): (string | string[])[];
63
60
  }
64
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibnVsbGlmaWVyX21lbWJlcnNoaXBfd2l0bmVzcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3RyZWVzL251bGxpZmllcl9tZW1iZXJzaGlwX3dpdG5lc3MudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLHFCQUFxQixFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFDekQsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxXQUFXLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUV6RSxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBR3hCLE9BQU8sRUFBRSxxQkFBcUIsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBRTVEOzs7OztHQUtHO0FBQ0gscUJBQWEsMEJBQTBCO0lBRW5DOztPQUVHO2FBQ2EsS0FBSyxFQUFFLE1BQU07SUFDN0I7O09BRUc7YUFDYSxZQUFZLEVBQUUscUJBQXFCO0lBQ25EOztPQUVHO2FBQ2EsV0FBVyxFQUFFLFdBQVcsQ0FBQyxPQUFPLHFCQUFxQixDQUFDO0lBWnhFO0lBQ0U7O09BRUc7SUFDYSxLQUFLLEVBQUUsTUFBTTtJQUM3Qjs7T0FFRztJQUNhLFlBQVksRUFBRSxxQkFBcUI7SUFDbkQ7O09BRUc7SUFDYSxXQUFXLEVBQUUsV0FBVyxDQUFDLE9BQU8scUJBQXFCLENBQUMsRUFDcEU7SUFFSixNQUFNLEtBQUssTUFBTTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7UUFVaEI7SUFFRCxNQUFNLENBQUMsTUFBTSwrQkFNWjtJQUVNLGVBQWUsSUFBSSxpQkFBaUIsQ0FBQyxPQUFPLHFCQUFxQixDQUFDLENBRXhFO0lBRUQsdUdBQXVHO0lBQ2hHLG9CQUFvQixJQUFJLENBQUMsTUFBTSxHQUFHLE1BQU0sRUFBRSxDQUFDLEVBQUUsQ0FPbkQ7Q0FDRiJ9
61
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibnVsbGlmaWVyX21lbWJlcnNoaXBfd2l0bmVzcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3RyZWVzL251bGxpZmllcl9tZW1iZXJzaGlwX3dpdG5lc3MudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLHFCQUFxQixFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFDekQsT0FBTyxFQUFFLGlCQUFpQixFQUFFLFdBQVcsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXpFLE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFHeEIsT0FBTyxFQUFFLHFCQUFxQixFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFFNUQ7Ozs7O0dBS0c7QUFDSCxxQkFBYSwwQkFBMEI7SUFFbkM7O09BRUc7YUFDYSxLQUFLLEVBQUUsTUFBTTtJQUM3Qjs7T0FFRzthQUNhLFlBQVksRUFBRSxxQkFBcUI7SUFDbkQ7O09BRUc7YUFDYSxXQUFXLEVBQUUsV0FBVyxDQUFDLE9BQU8scUJBQXFCLENBQUM7SUFaeEU7SUFDRTs7T0FFRztJQUNhLEtBQUssRUFBRSxNQUFNO0lBQzdCOztPQUVHO0lBQ2EsWUFBWSxFQUFFLHFCQUFxQjtJQUNuRDs7T0FFRztJQUNhLFdBQVcsRUFBRSxXQUFXLENBQUMsT0FBTyxxQkFBcUIsQ0FBQyxFQUNwRTtJQUVKLE1BQU0sS0FBSyxNQUFNOzs7Ozs7Ozs7Ozs7Ozs7Ozs7OztRQVVoQjtJQUVELE1BQU0sQ0FBQyxNQUFNLCtCQU1aO0lBRU0sZUFBZSxJQUFJLGlCQUFpQixDQUFDLE9BQU8scUJBQXFCLENBQUMsQ0FFeEU7Q0FDRiJ9
@@ -1 +1 @@
1
- {"version":3,"file":"nullifier_membership_witness.d.ts","sourceRoot":"","sources":["../../src/trees/nullifier_membership_witness.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEzE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAE5D;;;;;GAKG;AACH,qBAAa,0BAA0B;IAEnC;;OAEG;aACa,KAAK,EAAE,MAAM;IAC7B;;OAEG;aACa,YAAY,EAAE,qBAAqB;IACnD;;OAEG;aACa,WAAW,EAAE,WAAW,CAAC,OAAO,qBAAqB,CAAC;IAZxE;IACE;;OAEG;IACa,KAAK,EAAE,MAAM;IAC7B;;OAEG;IACa,YAAY,EAAE,qBAAqB;IACnD;;OAEG;IACa,WAAW,EAAE,WAAW,CAAC,OAAO,qBAAqB,CAAC,EACpE;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;QAUhB;IAED,MAAM,CAAC,MAAM,+BAMZ;IAEM,eAAe,IAAI,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,CAExE;IAED,uGAAuG;IAChG,oBAAoB,IAAI,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC,EAAE,CAOnD;CACF"}
1
+ {"version":3,"file":"nullifier_membership_witness.d.ts","sourceRoot":"","sources":["../../src/trees/nullifier_membership_witness.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEzE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAE5D;;;;;GAKG;AACH,qBAAa,0BAA0B;IAEnC;;OAEG;aACa,KAAK,EAAE,MAAM;IAC7B;;OAEG;aACa,YAAY,EAAE,qBAAqB;IACnD;;OAEG;aACa,WAAW,EAAE,WAAW,CAAC,OAAO,qBAAqB,CAAC;IAZxE;IACE;;OAEG;IACa,KAAK,EAAE,MAAM;IAC7B;;OAEG;IACa,YAAY,EAAE,qBAAqB;IACnD;;OAEG;IACa,WAAW,EAAE,WAAW,CAAC,OAAO,qBAAqB,CAAC,EACpE;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;QAUhB;IAED,MAAM,CAAC,MAAM,+BAMZ;IAEM,eAAe,IAAI,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,CAExE;CACF"}
@@ -1,5 +1,4 @@
1
1
  import { NULLIFIER_TREE_HEIGHT } from '@aztec/constants';
2
- import { Fr } from '@aztec/foundation/curves/bn254';
3
2
  import { MembershipWitness, SiblingPath } from '@aztec/foundation/trees';
4
3
  import { z } from 'zod';
5
4
  import { schemas } from '../schemas/index.js';
@@ -37,12 +36,4 @@ import { NullifierLeafPreimage } from './nullifier_leaf.js';
37
36
  withoutPreimage() {
38
37
  return new MembershipWitness(NULLIFIER_TREE_HEIGHT, this.index, this.siblingPath.toTuple());
39
38
  }
40
- /** Serializes as `(NullifierLeafPreimage, MembershipWitness)` to match the Noir oracle return type. */ toNoirRepresentation() {
41
- // TODO(#12874): remove the stupid as string conversion by modifying ForeignCallOutput type in acvm.js
42
- return [
43
- ...this.leafPreimage.toFields().map((fr)=>fr.toString()),
44
- new Fr(this.index).toString(),
45
- this.siblingPath.toFields().map((fr)=>fr.toString())
46
- ];
47
- }
48
39
  }
@@ -1,5 +1,4 @@
1
1
  import { PUBLIC_DATA_TREE_HEIGHT } from '@aztec/constants';
2
- import { Fr } from '@aztec/foundation/curves/bn254';
3
2
  import { BufferReader } from '@aztec/foundation/serialize';
4
3
  import { MembershipWitness, SiblingPath } from '@aztec/foundation/trees';
5
4
  import { z } from 'zod';
@@ -42,17 +41,17 @@ export declare class PublicDataWitness {
42
41
  index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
43
42
  leafPreimage: z.ZodPipe<z.ZodObject<{
44
43
  leaf: z.ZodPipe<z.ZodObject<{
45
- slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
46
- value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
44
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
45
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
47
46
  }, z.core.$strip>, z.ZodTransform<import("./public_data_leaf.js").PublicDataTreeLeaf, {
48
- slot: Fr;
49
- value: Fr;
47
+ slot: import("@aztec/foundation/schemas").Fr;
48
+ value: import("@aztec/foundation/schemas").Fr;
50
49
  }>>;
51
- nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
50
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
52
51
  nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
53
52
  }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
54
53
  leaf: import("./public_data_leaf.js").PublicDataTreeLeaf;
55
- nextKey: Fr;
54
+ nextKey: import("@aztec/foundation/schemas").Fr;
56
55
  nextIndex: bigint;
57
56
  }>>;
58
57
  siblingPath: z.ZodPipe<import("../schemas/schemas.js").ZodFor<Buffer<ArrayBufferLike>>, z.ZodTransform<SiblingPath<40>, Buffer<ArrayBufferLike>>>;
@@ -61,15 +60,6 @@ export declare class PublicDataWitness {
61
60
  leafPreimage: PublicDataTreeLeafPreimage;
62
61
  siblingPath: SiblingPath<40>;
63
62
  }>>;
64
- /**
65
- * Returns a field array representation of a public data witness.
66
- * @returns A field array representation of a public data witness.
67
- */
68
- toFields(): Fr[];
69
- /**
70
- * Returns a representation of the public data witness as expected by intrinsic Noir deserialization.
71
- */
72
- toNoirRepresentation(): (string | string[])[];
73
63
  toBuffer(): Buffer;
74
64
  /**
75
65
  * Returns a string representation of the TxEffect object.
@@ -90,4 +80,4 @@ export declare class PublicDataWitness {
90
80
  */
91
81
  static fromString(str: string): PublicDataWitness;
92
82
  }
93
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGljX2RhdGFfd2l0bmVzcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3RyZWVzL3B1YmxpY19kYXRhX3dpdG5lc3MudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLHVCQUF1QixFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFFM0QsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFFOUUsT0FBTyxFQUFFLGlCQUFpQixFQUFFLFdBQVcsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXpFLE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFHeEIsT0FBTyxFQUFFLDBCQUEwQixFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFbkU7Ozs7O0dBS0c7QUFDSCxxQkFBYSxpQkFBaUI7SUFFMUI7O09BRUc7YUFDYSxLQUFLLEVBQUUsTUFBTTtJQUM3Qjs7O09BR0c7YUFDYSxZQUFZLEVBQUUsMEJBQTBCO0lBQ3hEOztPQUVHO2FBQ2EsV0FBVyxFQUFFLFdBQVcsQ0FBQyxPQUFPLHVCQUF1QixDQUFDO0lBYjFFO0lBQ0U7O09BRUc7SUFDYSxLQUFLLEVBQUUsTUFBTTtJQUM3Qjs7O09BR0c7SUFDYSxZQUFZLEVBQUUsMEJBQTBCO0lBQ3hEOztPQUVHO0lBQ2EsV0FBVyxFQUFFLFdBQVcsQ0FBQyxPQUFPLHVCQUF1QixDQUFDLEVBQ3RFO0lBRUosTUFBTSxLQUFLLE1BQU07Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7UUFRaEI7SUFFRDs7O09BR0c7SUFDSSxRQUFRLElBQUksRUFBRSxFQUFFLENBU3RCO0lBRUQ7O09BRUc7SUFDSSxvQkFBb0IsSUFBSSxDQUFDLE1BQU0sR0FBRyxNQUFNLEVBQUUsQ0FBQyxFQUFFLENBVW5EO0lBRUQsUUFBUSxJQUFJLE1BQU0sQ0FFakI7SUFFRDs7T0FFRztJQUNILFFBQVEsSUFBSSxNQUFNLENBRWpCO0lBRUQsTUFBTSxDQUFDLE1BQU0sc0JBTVo7SUFFTSxlQUFlLElBQUksaUJBQWlCLENBQUMsT0FBTyx1QkFBdUIsQ0FBQyxDQUUxRTtJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLGlCQUFpQixDQVFsRTtJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLHFCQUU1QjtDQUNGIn0=
83
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGljX2RhdGFfd2l0bmVzcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3RyZWVzL3B1YmxpY19kYXRhX3dpdG5lc3MudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLHVCQUF1QixFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFFM0QsT0FBTyxFQUFFLFlBQVksRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUU5RSxPQUFPLEVBQUUsaUJBQWlCLEVBQUUsV0FBVyxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFFekUsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUd4QixPQUFPLEVBQUUsMEJBQTBCLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUVuRTs7Ozs7R0FLRztBQUNILHFCQUFhLGlCQUFpQjtJQUUxQjs7T0FFRzthQUNhLEtBQUssRUFBRSxNQUFNO0lBQzdCOzs7T0FHRzthQUNhLFlBQVksRUFBRSwwQkFBMEI7SUFDeEQ7O09BRUc7YUFDYSxXQUFXLEVBQUUsV0FBVyxDQUFDLE9BQU8sdUJBQXVCLENBQUM7SUFiMUU7SUFDRTs7T0FFRztJQUNhLEtBQUssRUFBRSxNQUFNO0lBQzdCOzs7T0FHRztJQUNhLFlBQVksRUFBRSwwQkFBMEI7SUFDeEQ7O09BRUc7SUFDYSxXQUFXLEVBQUUsV0FBVyxDQUFDLE9BQU8sdUJBQXVCLENBQUMsRUFDdEU7SUFFSixNQUFNLEtBQUssTUFBTTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztRQVFoQjtJQUVELFFBQVEsSUFBSSxNQUFNLENBRWpCO0lBRUQ7O09BRUc7SUFDSCxRQUFRLElBQUksTUFBTSxDQUVqQjtJQUVELE1BQU0sQ0FBQyxNQUFNLHNCQU1aO0lBRU0sZUFBZSxJQUFJLGlCQUFpQixDQUFDLE9BQU8sdUJBQXVCLENBQUMsQ0FFMUU7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxpQkFBaUIsQ0FRbEU7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxxQkFFNUI7Q0FDRiJ9
@@ -1 +1 @@
1
- {"version":3,"file":"public_data_witness.d.ts","sourceRoot":"","sources":["../../src/trees/public_data_witness.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAE3D,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEzE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AAEnE;;;;;GAKG;AACH,qBAAa,iBAAiB;IAE1B;;OAEG;aACa,KAAK,EAAE,MAAM;IAC7B;;;OAGG;aACa,YAAY,EAAE,0BAA0B;IACxD;;OAEG;aACa,WAAW,EAAE,WAAW,CAAC,OAAO,uBAAuB,CAAC;IAb1E;IACE;;OAEG;IACa,KAAK,EAAE,MAAM;IAC7B;;;OAGG;IACa,YAAY,EAAE,0BAA0B;IACxD;;OAEG;IACa,WAAW,EAAE,WAAW,CAAC,OAAO,uBAAuB,CAAC,EACtE;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;QAQhB;IAED;;;OAGG;IACI,QAAQ,IAAI,EAAE,EAAE,CAStB;IAED;;OAEG;IACI,oBAAoB,IAAI,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC,EAAE,CAUnD;IAED,QAAQ,IAAI,MAAM,CAEjB;IAED;;OAEG;IACH,QAAQ,IAAI,MAAM,CAEjB;IAED,MAAM,CAAC,MAAM,sBAMZ;IAEM,eAAe,IAAI,iBAAiB,CAAC,OAAO,uBAAuB,CAAC,CAE1E;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,iBAAiB,CAQlE;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,qBAE5B;CACF"}
1
+ {"version":3,"file":"public_data_witness.d.ts","sourceRoot":"","sources":["../../src/trees/public_data_witness.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAE3D,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEzE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AAEnE;;;;;GAKG;AACH,qBAAa,iBAAiB;IAE1B;;OAEG;aACa,KAAK,EAAE,MAAM;IAC7B;;;OAGG;aACa,YAAY,EAAE,0BAA0B;IACxD;;OAEG;aACa,WAAW,EAAE,WAAW,CAAC,OAAO,uBAAuB,CAAC;IAb1E;IACE;;OAEG;IACa,KAAK,EAAE,MAAM;IAC7B;;;OAGG;IACa,YAAY,EAAE,0BAA0B;IACxD;;OAEG;IACa,WAAW,EAAE,WAAW,CAAC,OAAO,uBAAuB,CAAC,EACtE;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;QAQhB;IAED,QAAQ,IAAI,MAAM,CAEjB;IAED;;OAEG;IACH,QAAQ,IAAI,MAAM,CAEjB;IAED,MAAM,CAAC,MAAM,sBAMZ;IAEM,eAAe,IAAI,iBAAiB,CAAC,OAAO,uBAAuB,CAAC,CAE1E;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,iBAAiB,CAQlE;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,qBAE5B;CACF"}
@@ -1,6 +1,5 @@
1
1
  import { PUBLIC_DATA_TREE_HEIGHT } from '@aztec/constants';
2
2
  import { toBigIntBE } from '@aztec/foundation/bigint-buffer';
3
- import { Fr } from '@aztec/foundation/curves/bn254';
4
3
  import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
5
4
  import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
6
5
  import { MembershipWitness, SiblingPath } from '@aztec/foundation/trees';
@@ -35,32 +34,6 @@ import { PublicDataTreeLeafPreimage } from './public_data_leaf.js';
35
34
  siblingPath: SiblingPath.schemaFor(PUBLIC_DATA_TREE_HEIGHT)
36
35
  }).transform(({ index, leafPreimage, siblingPath })=>new PublicDataWitness(index, leafPreimage, siblingPath));
37
36
  }
38
- /**
39
- * Returns a field array representation of a public data witness.
40
- * @returns A field array representation of a public data witness.
41
- */ toFields() {
42
- return [
43
- new Fr(this.index),
44
- new Fr(this.leafPreimage.leaf.slot),
45
- new Fr(this.leafPreimage.leaf.value),
46
- new Fr(this.leafPreimage.nextIndex),
47
- new Fr(this.leafPreimage.nextKey),
48
- ...this.siblingPath.toFields()
49
- ];
50
- }
51
- /**
52
- * Returns a representation of the public data witness as expected by intrinsic Noir deserialization.
53
- */ toNoirRepresentation() {
54
- // TODO(#12874): remove the stupid as string conversion by modifying ForeignCallOutput type in acvm.js
55
- return [
56
- new Fr(this.index).toString(),
57
- new Fr(this.leafPreimage.leaf.slot).toString(),
58
- new Fr(this.leafPreimage.leaf.value).toString(),
59
- new Fr(this.leafPreimage.nextKey).toString(),
60
- new Fr(this.leafPreimage.nextIndex).toString(),
61
- this.siblingPath.toFields().map((fr)=>fr.toString())
62
- ];
63
- }
64
37
  toBuffer() {
65
38
  return serializeToBuffer([
66
39
  this.index,
@@ -42,4 +42,4 @@ export declare class ExecutionPayload {
42
42
  * @throws Error if multiple payloads have different fee payers set
43
43
  */
44
44
  export declare function mergeExecutionPayloads(requests: ExecutionPayload[]): ExecutionPayload;
45
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXhlY3V0aW9uX3BheWxvYWQuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90eC9leGVjdXRpb25fcGF5bG9hZC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUM1RCxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUNuRSxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDekQsT0FBTyxLQUFLLEVBQUUsT0FBTyxFQUFFLE1BQU0sY0FBYyxDQUFDO0FBQzVDLE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBRXZEOzs7S0FHSztBQUNMLHFCQUFhLGdCQUFnQjtJQUV6Qix5Q0FBeUM7SUFDbEMsS0FBSyxFQUFFLFlBQVksRUFBRTtJQUM1Qiw2REFBNkQ7SUFDdEQsYUFBYSxFQUFFLFdBQVcsRUFBRTtJQUNuQyx3REFBd0Q7SUFDakQsUUFBUSxFQUFFLE9BQU8sRUFBRTtJQUMxQixnRUFBZ0U7SUFDekQsZUFBZSxFQUFFLFlBQVksRUFBRTtJQUN0Qzs7O09BR0c7SUFDSSxRQUFRLENBQUM7SUFibEI7SUFDRSx5Q0FBeUM7SUFDbEMsS0FBSyxFQUFFLFlBQVksRUFBRTtJQUM1Qiw2REFBNkQ7SUFDdEQsYUFBYSxFQUFFLFdBQVcsRUFBRTtJQUNuQyx3REFBd0Q7SUFDakQsUUFBUSxFQUFFLE9BQU8sRUFBRTtJQUMxQixnRUFBZ0U7SUFDekQsZUFBZSxHQUFFLFlBQVksRUFBTztJQUMzQzs7O09BR0c7SUFDSSxRQUFRLENBQUMsMEJBQWMsRUFDNUI7SUFFSixNQUFNLENBQUMsS0FBSyxxQkFFWDtDQUNGO0FBRUQ7OztHQUdHO0FBQ0gsd0JBQWdCLHNCQUFzQixDQUFDLFFBQVEsRUFBRSxnQkFBZ0IsRUFBRSxHQUFHLGdCQUFnQixDQXVCckYifQ==
45
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXhlY3V0aW9uX3BheWxvYWQuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90eC9leGVjdXRpb25fcGF5bG9hZC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUM1RCxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUNuRSxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDekQsT0FBTyxLQUFLLEVBQUUsT0FBTyxFQUFFLE1BQU0sY0FBYyxDQUFDO0FBQzVDLE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBRXZEOzs7S0FHSztBQUNMLHFCQUFhLGdCQUFnQjtJQUV6Qix5Q0FBeUM7SUFDbEMsS0FBSyxFQUFFLFlBQVksRUFBRTtJQUM1Qiw2REFBNkQ7SUFDdEQsYUFBYSxFQUFFLFdBQVcsRUFBRTtJQUNuQyx3REFBd0Q7SUFDakQsUUFBUSxFQUFFLE9BQU8sRUFBRTtJQUMxQixnRUFBZ0U7SUFDekQsZUFBZSxFQUFFLFlBQVksRUFBRTtJQUN0Qzs7O09BR0c7SUFDSSxRQUFRLENBQUM7SUFibEI7SUFDRSx5Q0FBeUM7SUFDbEMsS0FBSyxFQUFFLFlBQVksRUFBRTtJQUM1Qiw2REFBNkQ7SUFDdEQsYUFBYSxFQUFFLFdBQVcsRUFBRTtJQUNuQyx3REFBd0Q7SUFDakQsUUFBUSxFQUFFLE9BQU8sRUFBRTtJQUMxQixnRUFBZ0U7SUFDekQsZUFBZSxHQUFFLFlBQVksRUFBTztJQUMzQzs7O09BR0c7SUFDSSxRQUFRLENBQUMsMEJBQWMsRUFDNUI7SUFFSixNQUFNLENBQUMsS0FBSyxxQkFFWDtDQUNGO0FBRUQ7OztHQUdHO0FBQ0gsd0JBQWdCLHNCQUFzQixDQUFDLFFBQVEsRUFBRSxnQkFBZ0IsRUFBRSxHQUFHLGdCQUFnQixDQXdCckYifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"execution_payload.d.ts","sourceRoot":"","sources":["../../src/tx/execution_payload.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD;;;KAGK;AACL,qBAAa,gBAAgB;IAEzB,yCAAyC;IAClC,KAAK,EAAE,YAAY,EAAE;IAC5B,6DAA6D;IACtD,aAAa,EAAE,WAAW,EAAE;IACnC,wDAAwD;IACjD,QAAQ,EAAE,OAAO,EAAE;IAC1B,gEAAgE;IACzD,eAAe,EAAE,YAAY,EAAE;IACtC;;;OAGG;IACI,QAAQ,CAAC;IAblB;IACE,yCAAyC;IAClC,KAAK,EAAE,YAAY,EAAE;IAC5B,6DAA6D;IACtD,aAAa,EAAE,WAAW,EAAE;IACnC,wDAAwD;IACjD,QAAQ,EAAE,OAAO,EAAE;IAC1B,gEAAgE;IACzD,eAAe,GAAE,YAAY,EAAO;IAC3C;;;OAGG;IACI,QAAQ,CAAC,0BAAc,EAC5B;IAEJ,MAAM,CAAC,KAAK,qBAEX;CACF;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,gBAAgB,EAAE,GAAG,gBAAgB,CAuBrF"}
1
+ {"version":3,"file":"execution_payload.d.ts","sourceRoot":"","sources":["../../src/tx/execution_payload.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD;;;KAGK;AACL,qBAAa,gBAAgB;IAEzB,yCAAyC;IAClC,KAAK,EAAE,YAAY,EAAE;IAC5B,6DAA6D;IACtD,aAAa,EAAE,WAAW,EAAE;IACnC,wDAAwD;IACjD,QAAQ,EAAE,OAAO,EAAE;IAC1B,gEAAgE;IACzD,eAAe,EAAE,YAAY,EAAE;IACtC;;;OAGG;IACI,QAAQ,CAAC;IAblB;IACE,yCAAyC;IAClC,KAAK,EAAE,YAAY,EAAE;IAC5B,6DAA6D;IACtD,aAAa,EAAE,WAAW,EAAE;IACnC,wDAAwD;IACjD,QAAQ,EAAE,OAAO,EAAE;IAC1B,gEAAgE;IACzD,eAAe,GAAE,YAAY,EAAO;IAC3C;;;OAGG;IACI,QAAQ,CAAC,0BAAc,EAC5B;IAEJ,MAAM,CAAC,KAAK,qBAEX;CACF;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,gBAAgB,EAAE,GAAG,gBAAgB,CAwBrF"}
@@ -35,6 +35,6 @@ import { AztecAddress } from '../aztec-address/index.js';
35
35
  if (uniqueFeePayers.size > 1) {
36
36
  throw new Error(`Cannot merge execution payloads with different fee payers. Found: ${Array.from(uniqueFeePayers).join(', ')}`);
37
37
  }
38
- const feePayer = uniqueFeePayers.size === 1 ? AztecAddress.fromString(Array.from(uniqueFeePayers)[0]) : undefined;
38
+ const feePayer = uniqueFeePayers.size === 1 ? AztecAddress.fromStringUnsafe(Array.from(uniqueFeePayers)[0]) : undefined;
39
39
  return new ExecutionPayload(calls, combinedAuthWitnesses, combinedCapsules, combinedExtraHashedArgs, feePayer);
40
40
  }
@@ -2,22 +2,12 @@ import type { SimulationOverridesPlan } from '@aztec/ethereum/contracts';
2
2
  import type { EthAddress } from '@aztec/foundation/eth-address';
3
3
  import type { SlotNumber } from '@aztec/foundation/schemas';
4
4
  import type { AztecAddress } from '../aztec-address/index.js';
5
- import type { UInt32 } from '../types/index.js';
6
- import type { CheckpointGlobalVariables, GlobalVariables } from './global_variables.js';
5
+ import type { CheckpointGlobalVariables } from './global_variables.js';
7
6
  /**
8
7
  * Interface for building global variables for Aztec blocks.
9
8
  */
10
9
  export interface GlobalVariableBuilder {
11
- /**
12
- * Builds global variables for a given block.
13
- * @param blockNumber - The block number to build global variables for.
14
- * @param coinbase - The address to receive block reward.
15
- * @param feeRecipient - The address to receive fees.
16
- * @param slotNumber - Optional. The slot number to use for the global variables. If undefined, it will be calculated.
17
- * @returns A promise that resolves to the GlobalVariables for the given block number.
18
- */
19
- buildGlobalVariables(blockNumber: UInt32, coinbase: EthAddress, feeRecipient: AztecAddress, slotNumber?: SlotNumber): Promise<GlobalVariables>;
20
10
  /** Builds global variables that are constant throughout a checkpoint. */
21
11
  buildCheckpointGlobalVariables(coinbase: EthAddress, feeRecipient: AztecAddress, slotNumber: SlotNumber, simulationOverridesPlan?: SimulationOverridesPlan): Promise<CheckpointGlobalVariables>;
22
12
  }
23
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZ2xvYmFsX3ZhcmlhYmxlX2J1aWxkZXIuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90eC9nbG9iYWxfdmFyaWFibGVfYnVpbGRlci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSx1QkFBdUIsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQ3pFLE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBQ2hFLE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBRTVELE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQzlELE9BQU8sS0FBSyxFQUFFLE1BQU0sRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQ2hELE9BQU8sS0FBSyxFQUFFLHlCQUF5QixFQUFFLGVBQWUsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBRXhGOztHQUVHO0FBQ0gsTUFBTSxXQUFXLHFCQUFxQjtJQUNwQzs7Ozs7OztPQU9HO0lBQ0gsb0JBQW9CLENBQ2xCLFdBQVcsRUFBRSxNQUFNLEVBQ25CLFFBQVEsRUFBRSxVQUFVLEVBQ3BCLFlBQVksRUFBRSxZQUFZLEVBQzFCLFVBQVUsQ0FBQyxFQUFFLFVBQVUsR0FDdEIsT0FBTyxDQUFDLGVBQWUsQ0FBQyxDQUFDO0lBRTVCLHlFQUF5RTtJQUN6RSw4QkFBOEIsQ0FDNUIsUUFBUSxFQUFFLFVBQVUsRUFDcEIsWUFBWSxFQUFFLFlBQVksRUFDMUIsVUFBVSxFQUFFLFVBQVUsRUFDdEIsdUJBQXVCLENBQUMsRUFBRSx1QkFBdUIsR0FDaEQsT0FBTyxDQUFDLHlCQUF5QixDQUFDLENBQUM7Q0FDdkMifQ==
13
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZ2xvYmFsX3ZhcmlhYmxlX2J1aWxkZXIuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90eC9nbG9iYWxfdmFyaWFibGVfYnVpbGRlci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSx1QkFBdUIsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQ3pFLE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBQ2hFLE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBRTVELE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQzlELE9BQU8sS0FBSyxFQUFFLHlCQUF5QixFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFdkU7O0dBRUc7QUFDSCxNQUFNLFdBQVcscUJBQXFCO0lBQ3BDLHlFQUF5RTtJQUN6RSw4QkFBOEIsQ0FDNUIsUUFBUSxFQUFFLFVBQVUsRUFDcEIsWUFBWSxFQUFFLFlBQVksRUFDMUIsVUFBVSxFQUFFLFVBQVUsRUFDdEIsdUJBQXVCLENBQUMsRUFBRSx1QkFBdUIsR0FDaEQsT0FBTyxDQUFDLHlCQUF5QixDQUFDLENBQUM7Q0FDdkMifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"global_variable_builder.d.ts","sourceRoot":"","sources":["../../src/tx/global_variable_builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AACzE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAE5D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,KAAK,EAAE,yBAAyB,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExF;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC;;;;;;;OAOG;IACH,oBAAoB,CAClB,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,UAAU,EACpB,YAAY,EAAE,YAAY,EAC1B,UAAU,CAAC,EAAE,UAAU,GACtB,OAAO,CAAC,eAAe,CAAC,CAAC;IAE5B,yEAAyE;IACzE,8BAA8B,CAC5B,QAAQ,EAAE,UAAU,EACpB,YAAY,EAAE,YAAY,EAC1B,UAAU,EAAE,UAAU,EACtB,uBAAuB,CAAC,EAAE,uBAAuB,GAChD,OAAO,CAAC,yBAAyB,CAAC,CAAC;CACvC"}
1
+ {"version":3,"file":"global_variable_builder.d.ts","sourceRoot":"","sources":["../../src/tx/global_variable_builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AACzE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAE5D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AAEvE;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,yEAAyE;IACzE,8BAA8B,CAC5B,QAAQ,EAAE,UAAU,EACpB,YAAY,EAAE,YAAY,EAC1B,UAAU,EAAE,UAAU,EACtB,uBAAuB,CAAC,EAAE,uBAAuB,GAChD,OAAO,CAAC,yBAAyB,CAAC,CAAC;CACvC"}
@@ -79,7 +79,7 @@ _computedKey = inspect.custom;
79
79
  }
80
80
  static fromFields(fields) {
81
81
  const reader = FieldReader.asReader(fields);
82
- return new GlobalVariables(reader.readField(), reader.readField(), BlockNumber(reader.readU32()), SlotNumber(reader.readU32()), reader.readField().toBigInt(), EthAddress.fromField(reader.readField()), AztecAddress.fromField(reader.readField()), GasFees.fromFields(reader));
82
+ return new GlobalVariables(reader.readField(), reader.readField(), BlockNumber(reader.readU32()), SlotNumber(reader.readU32()), reader.readField().toBigInt(), EthAddress.fromField(reader.readField()), AztecAddress.fromFieldUnsafe(reader.readField()), GasFees.fromFields(reader));
83
83
  }
84
84
  static getFields(fields) {
85
85
  return [
@@ -149,7 +149,7 @@ _computedKey = inspect.custom;
149
149
  blockNumber: BlockNumber(randomInt(100_000)),
150
150
  slotNumber: SlotNumber(randomInt(100_000)),
151
151
  coinbase: EthAddress.random(),
152
- feeRecipient: AztecAddress.fromField(Fr.random()),
152
+ feeRecipient: AztecAddress.fromFieldUnsafe(Fr.random()),
153
153
  gasFees: GasFees.random(),
154
154
  timestamp: BigInt(randomInt(100_000_000)),
155
155
  ...overrides
@@ -19,6 +19,14 @@ export declare class PrivateTxConstantData {
19
19
  * protocol to execute and prove the transaction.
20
20
  */
21
21
  txContext: TxContext;
22
+ /**
23
+ * Salt of the transaction request (`TxRequest.salt`).
24
+ *
25
+ * Bound to the user's `tx_request` by the Init circuit and kept constant by every subsequent kernel so that each
26
+ * app circuit's `txRequestSalt` public input can be checked against it. It is intentionally not carried into
27
+ * `TxConstantData`: it is dropped by the Tail circuits rather than being exposed by the final (hiding) kernel.
28
+ */
29
+ txRequestSalt: Fr;
22
30
  /**
23
31
  * Root of the vk tree for the protocol circuits.
24
32
  */
@@ -39,6 +47,14 @@ export declare class PrivateTxConstantData {
39
47
  * protocol to execute and prove the transaction.
40
48
  */
41
49
  txContext: TxContext,
50
+ /**
51
+ * Salt of the transaction request (`TxRequest.salt`).
52
+ *
53
+ * Bound to the user's `tx_request` by the Init circuit and kept constant by every subsequent kernel so that each
54
+ * app circuit's `txRequestSalt` public input can be checked against it. It is intentionally not carried into
55
+ * `TxConstantData`: it is dropped by the Tail circuits rather than being exposed by the final (hiding) kernel.
56
+ */
57
+ txRequestSalt: Fr,
42
58
  /**
43
59
  * Root of the vk tree for the protocol circuits.
44
60
  */
@@ -48,7 +64,7 @@ export declare class PrivateTxConstantData {
48
64
  */
49
65
  protocolContracts: ProtocolContracts);
50
66
  static from(fields: FieldsOf<PrivateTxConstantData>): PrivateTxConstantData;
51
- static getFields(fields: FieldsOf<PrivateTxConstantData>): readonly [BlockHeader, TxContext, Fr, ProtocolContracts];
67
+ static getFields(fields: FieldsOf<PrivateTxConstantData>): readonly [BlockHeader, TxContext, Fr, Fr, ProtocolContracts];
52
68
  static fromFields(fields: Fr[] | FieldReader): PrivateTxConstantData;
53
69
  toFields(): Fr[];
54
70
  static fromBuffer(buffer: Buffer | BufferReader): PrivateTxConstantData;
@@ -57,4 +73,4 @@ export declare class PrivateTxConstantData {
57
73
  getSize(): number;
58
74
  clone(): PrivateTxConstantData;
59
75
  }
60
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV90eF9jb25zdGFudF9kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdHgvcHJpdmF0ZV90eF9jb25zdGFudF9kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsWUFBWSxFQUFFLFdBQVcsRUFBd0MsTUFBTSw2QkFBNkIsQ0FBQztBQUM5RyxPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUV4RCxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFDaEQsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDNUQsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBRTVDOztHQUVHO0FBQ0gscUJBQWEscUJBQXFCO0lBRTlCLDZHQUE2RztJQUN0RyxpQkFBaUIsRUFBRSxXQUFXO0lBQ3JDOzs7Ozs7O09BT0c7SUFDSSxTQUFTLEVBQUUsU0FBUztJQUMzQjs7T0FFRztJQUNJLFVBQVUsRUFBRSxFQUFFO0lBQ3JCOztPQUVHO0lBQ0ksaUJBQWlCLEVBQUUsaUJBQWlCO0lBbkI3QztJQUNFLDZHQUE2RztJQUN0RyxpQkFBaUIsRUFBRSxXQUFXO0lBQ3JDOzs7Ozs7O09BT0c7SUFDSSxTQUFTLEVBQUUsU0FBUztJQUMzQjs7T0FFRztJQUNJLFVBQVUsRUFBRSxFQUFFO0lBQ3JCOztPQUVHO0lBQ0ksaUJBQWlCLEVBQUUsaUJBQWlCLEVBQ3pDO0lBRUosTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLHFCQUFxQixDQUFDLHlCQUVsRDtJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxxQkFBcUIsQ0FBQyw0REFFdkQ7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxFQUFFLEVBQUUsR0FBRyxXQUFXLEdBQUcscUJBQXFCLENBUW5FO0lBRUQsUUFBUSxJQUFJLEVBQUUsRUFBRSxDQVFmO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxxQkFBcUIsQ0FRdEU7SUFFRCxRQUFRLDRCQUVQO0lBRUQsTUFBTSxDQUFDLEtBQUssMEJBRVg7SUFFRCxPQUFPLFdBT047SUFFRCxLQUFLLElBQUkscUJBQXFCLENBRTdCO0NBQ0YifQ==
76
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV90eF9jb25zdGFudF9kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdHgvcHJpdmF0ZV90eF9jb25zdGFudF9kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsWUFBWSxFQUFFLFdBQVcsRUFBd0MsTUFBTSw2QkFBNkIsQ0FBQztBQUM5RyxPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUV4RCxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFDaEQsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDNUQsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBRTVDOztHQUVHO0FBQ0gscUJBQWEscUJBQXFCO0lBRTlCLDZHQUE2RztJQUN0RyxpQkFBaUIsRUFBRSxXQUFXO0lBQ3JDOzs7Ozs7O09BT0c7SUFDSSxTQUFTLEVBQUUsU0FBUztJQUMzQjs7Ozs7O09BTUc7SUFDSSxhQUFhLEVBQUUsRUFBRTtJQUN4Qjs7T0FFRztJQUNJLFVBQVUsRUFBRSxFQUFFO0lBQ3JCOztPQUVHO0lBQ0ksaUJBQWlCLEVBQUUsaUJBQWlCO0lBM0I3QztJQUNFLDZHQUE2RztJQUN0RyxpQkFBaUIsRUFBRSxXQUFXO0lBQ3JDOzs7Ozs7O09BT0c7SUFDSSxTQUFTLEVBQUUsU0FBUztJQUMzQjs7Ozs7O09BTUc7SUFDSSxhQUFhLEVBQUUsRUFBRTtJQUN4Qjs7T0FFRztJQUNJLFVBQVUsRUFBRSxFQUFFO0lBQ3JCOztPQUVHO0lBQ0ksaUJBQWlCLEVBQUUsaUJBQWlCLEVBQ3pDO0lBRUosTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLHFCQUFxQixDQUFDLHlCQUVsRDtJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxxQkFBcUIsQ0FBQyxnRUFRdkQ7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxFQUFFLEVBQUUsR0FBRyxXQUFXLEdBQUcscUJBQXFCLENBU25FO0lBRUQsUUFBUSxJQUFJLEVBQUUsRUFBRSxDQVFmO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxxQkFBcUIsQ0FTdEU7SUFFRCxRQUFRLDRCQUVQO0lBRUQsTUFBTSxDQUFDLEtBQUssMEJBUVg7SUFFRCxPQUFPLFdBUU47SUFFRCxLQUFLLElBQUkscUJBQXFCLENBRTdCO0NBQ0YifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"private_tx_constant_data.d.ts","sourceRoot":"","sources":["../../src/tx/private_tx_constant_data.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAwC,MAAM,6BAA6B,CAAC;AAC9G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C;;GAEG;AACH,qBAAa,qBAAqB;IAE9B,6GAA6G;IACtG,iBAAiB,EAAE,WAAW;IACrC;;;;;;;OAOG;IACI,SAAS,EAAE,SAAS;IAC3B;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,iBAAiB,EAAE,iBAAiB;IAnB7C;IACE,6GAA6G;IACtG,iBAAiB,EAAE,WAAW;IACrC;;;;;;;OAOG;IACI,SAAS,EAAE,SAAS;IAC3B;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,iBAAiB,EAAE,iBAAiB,EACzC;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC,yBAElD;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC,4DAEvD;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,qBAAqB,CAQnE;IAED,QAAQ,IAAI,EAAE,EAAE,CAQf;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qBAAqB,CAQtE;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,KAAK,0BAEX;IAED,OAAO,WAON;IAED,KAAK,IAAI,qBAAqB,CAE7B;CACF"}
1
+ {"version":3,"file":"private_tx_constant_data.d.ts","sourceRoot":"","sources":["../../src/tx/private_tx_constant_data.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAwC,MAAM,6BAA6B,CAAC;AAC9G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C;;GAEG;AACH,qBAAa,qBAAqB;IAE9B,6GAA6G;IACtG,iBAAiB,EAAE,WAAW;IACrC;;;;;;;OAOG;IACI,SAAS,EAAE,SAAS;IAC3B;;;;;;OAMG;IACI,aAAa,EAAE,EAAE;IACxB;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,iBAAiB,EAAE,iBAAiB;IA3B7C;IACE,6GAA6G;IACtG,iBAAiB,EAAE,WAAW;IACrC;;;;;;;OAOG;IACI,SAAS,EAAE,SAAS;IAC3B;;;;;;OAMG;IACI,aAAa,EAAE,EAAE;IACxB;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,iBAAiB,EAAE,iBAAiB,EACzC;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC,yBAElD;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC,gEAQvD;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,qBAAqB,CASnE;IAED,QAAQ,IAAI,EAAE,EAAE,CAQf;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qBAAqB,CAStE;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,KAAK,0BAQX;IAED,OAAO,WAQN;IAED,KAAK,IAAI,qBAAqB,CAE7B;CACF"}
@@ -9,6 +9,7 @@ import { TxContext } from './tx_context.js';
9
9
  */ export class PrivateTxConstantData {
10
10
  anchorBlockHeader;
11
11
  txContext;
12
+ txRequestSalt;
12
13
  vkTreeRoot;
13
14
  protocolContracts;
14
15
  constructor(/** Header of a block whose state is used during execution (not the block the transaction is included in). */ anchorBlockHeader, /**
@@ -19,12 +20,19 @@ import { TxContext } from './tx_context.js';
19
20
  * a situation we could be using header from a block before the upgrade took place but be using the updated
20
21
  * protocol to execute and prove the transaction.
21
22
  */ txContext, /**
23
+ * Salt of the transaction request (`TxRequest.salt`).
24
+ *
25
+ * Bound to the user's `tx_request` by the Init circuit and kept constant by every subsequent kernel so that each
26
+ * app circuit's `txRequestSalt` public input can be checked against it. It is intentionally not carried into
27
+ * `TxConstantData`: it is dropped by the Tail circuits rather than being exposed by the final (hiding) kernel.
28
+ */ txRequestSalt, /**
22
29
  * Root of the vk tree for the protocol circuits.
23
30
  */ vkTreeRoot, /**
24
31
  * List of protocol contracts.
25
32
  */ protocolContracts){
26
33
  this.anchorBlockHeader = anchorBlockHeader;
27
34
  this.txContext = txContext;
35
+ this.txRequestSalt = txRequestSalt;
28
36
  this.vkTreeRoot = vkTreeRoot;
29
37
  this.protocolContracts = protocolContracts;
30
38
  }
@@ -35,13 +43,14 @@ import { TxContext } from './tx_context.js';
35
43
  return [
36
44
  fields.anchorBlockHeader,
37
45
  fields.txContext,
46
+ fields.txRequestSalt,
38
47
  fields.vkTreeRoot,
39
48
  fields.protocolContracts
40
49
  ];
41
50
  }
42
51
  static fromFields(fields) {
43
52
  const reader = FieldReader.asReader(fields);
44
- return new PrivateTxConstantData(reader.readObject(BlockHeader), reader.readObject(TxContext), reader.readField(), reader.readObject(ProtocolContracts));
53
+ return new PrivateTxConstantData(reader.readObject(BlockHeader), reader.readObject(TxContext), reader.readField(), reader.readField(), reader.readObject(ProtocolContracts));
45
54
  }
46
55
  toFields() {
47
56
  const fields = serializeToFields(...PrivateTxConstantData.getFields(this));
@@ -52,16 +61,16 @@ import { TxContext } from './tx_context.js';
52
61
  }
53
62
  static fromBuffer(buffer) {
54
63
  const reader = BufferReader.asReader(buffer);
55
- return new PrivateTxConstantData(reader.readObject(BlockHeader), reader.readObject(TxContext), Fr.fromBuffer(reader), reader.readObject(ProtocolContracts));
64
+ return new PrivateTxConstantData(reader.readObject(BlockHeader), reader.readObject(TxContext), Fr.fromBuffer(reader), Fr.fromBuffer(reader), reader.readObject(ProtocolContracts));
56
65
  }
57
66
  toBuffer() {
58
67
  return serializeToBuffer(...PrivateTxConstantData.getFields(this));
59
68
  }
60
69
  static empty() {
61
- return new PrivateTxConstantData(BlockHeader.empty(), TxContext.empty(), Fr.ZERO, ProtocolContracts.empty());
70
+ return new PrivateTxConstantData(BlockHeader.empty(), TxContext.empty(), Fr.ZERO, Fr.ZERO, ProtocolContracts.empty());
62
71
  }
63
72
  getSize() {
64
- return this.anchorBlockHeader.getSize() + this.txContext.getSize() + this.vkTreeRoot.size + this.protocolContracts.getSize();
73
+ return this.anchorBlockHeader.getSize() + this.txContext.getSize() + this.txRequestSalt.size + this.vkTreeRoot.size + this.protocolContracts.getSize();
65
74
  }
66
75
  clone() {
67
76
  return PrivateTxConstantData.fromBuffer(this.toBuffer());
@@ -35,11 +35,10 @@ export declare class SimulationOverrides {
35
35
  value: import("@aztec/foundation/schemas").Fr;
36
36
  }[] | null | undefined>>;
37
37
  contracts: z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodObject<{
38
- instance: z.ZodIntersection<z.ZodObject<{
38
+ instance: z.ZodIntersection<z.ZodIntersection<z.ZodObject<{
39
39
  version: z.ZodLiteral<2>;
40
40
  salt: ZodFor<import("@aztec/foundation/schemas").Fr>;
41
41
  deployer: ZodFor<import("../aztec-address/index.js").AztecAddress>;
42
- currentContractClassId: ZodFor<import("@aztec/foundation/schemas").Fr>;
43
42
  originalContractClassId: ZodFor<import("@aztec/foundation/schemas").Fr>;
44
43
  initializationHash: ZodFor<import("@aztec/foundation/schemas").Fr>;
45
44
  immutablesHash: ZodFor<import("@aztec/foundation/schemas").Fr>;
@@ -59,6 +58,8 @@ export declare class SimulationOverrides {
59
58
  fbpkMHash: import("@aztec/foundation/schemas").Fr;
60
59
  }>>;
61
60
  }, z.core.$strip>, z.ZodObject<{
61
+ currentContractClassId: ZodFor<import("@aztec/foundation/schemas").Fr>;
62
+ }, z.core.$strip>>, z.ZodObject<{
62
63
  address: ZodFor<import("../aztec-address/index.js").AztecAddress>;
63
64
  }, z.core.$strip>>;
64
65
  }, z.core.$strip>>>>, z.ZodTransform<Record<string, {
@@ -66,11 +67,12 @@ export declare class SimulationOverrides {
66
67
  version: 2;
67
68
  salt: import("@aztec/foundation/schemas").Fr;
68
69
  deployer: import("../aztec-address/index.js").AztecAddress;
69
- currentContractClassId: import("@aztec/foundation/schemas").Fr;
70
70
  originalContractClassId: import("@aztec/foundation/schemas").Fr;
71
71
  initializationHash: import("@aztec/foundation/schemas").Fr;
72
72
  immutablesHash: import("@aztec/foundation/schemas").Fr;
73
73
  publicKeys: import("../keys/public_keys.js").PublicKeys;
74
+ } & {
75
+ currentContractClassId: import("@aztec/foundation/schemas").Fr;
74
76
  } & {
75
77
  address: import("../aztec-address/index.js").AztecAddress;
76
78
  };
@@ -79,11 +81,12 @@ export declare class SimulationOverrides {
79
81
  version: 2;
80
82
  salt: import("@aztec/foundation/schemas").Fr;
81
83
  deployer: import("../aztec-address/index.js").AztecAddress;
82
- currentContractClassId: import("@aztec/foundation/schemas").Fr;
83
84
  originalContractClassId: import("@aztec/foundation/schemas").Fr;
84
85
  initializationHash: import("@aztec/foundation/schemas").Fr;
85
86
  immutablesHash: import("@aztec/foundation/schemas").Fr;
86
87
  publicKeys: import("../keys/public_keys.js").PublicKeys;
88
+ } & {
89
+ currentContractClassId: import("@aztec/foundation/schemas").Fr;
87
90
  } & {
88
91
  address: import("../aztec-address/index.js").AztecAddress;
89
92
  };
@@ -99,11 +102,12 @@ export declare class SimulationOverrides {
99
102
  version: 2;
100
103
  salt: import("@aztec/foundation/schemas").Fr;
101
104
  deployer: import("../aztec-address/index.js").AztecAddress;
102
- currentContractClassId: import("@aztec/foundation/schemas").Fr;
103
105
  originalContractClassId: import("@aztec/foundation/schemas").Fr;
104
106
  initializationHash: import("@aztec/foundation/schemas").Fr;
105
107
  immutablesHash: import("@aztec/foundation/schemas").Fr;
106
108
  publicKeys: import("../keys/public_keys.js").PublicKeys;
109
+ } & {
110
+ currentContractClassId: import("@aztec/foundation/schemas").Fr;
107
111
  } & {
108
112
  address: import("../aztec-address/index.js").AztecAddress;
109
113
  };
@@ -141,4 +145,4 @@ export declare class TxSimulationResult {
141
145
  * @returns
142
146
  */
143
147
  export declare function accumulatePrivateReturnValues(executionResult: PrivateExecutionResult): NestedProcessReturnValues;
144
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2ltdWxhdGVkX3R4LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdHgvc2ltdWxhdGVkX3R4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxLQUFLLE1BQU0sRUFBWSxNQUFNLDJCQUEyQixDQUFDO0FBQ2xFLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhELE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxFQUNMLEtBQUssMkJBQTJCLEVBRWpDLE1BQU0sNkNBQTZDLENBQUM7QUFFckQsT0FBTyxLQUFLLEVBQUUsT0FBTyxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDbEQsT0FBTyxFQUFFLEtBQUsscUJBQXFCLEVBQStCLE1BQU0sMENBQTBDLENBQUM7QUFDbkgsT0FBTyxFQUFFLG9DQUFvQyxFQUFFLE1BQU0sd0RBQXdELENBQUM7QUFFOUcsT0FBTyxLQUFLLEVBQUUsY0FBYyxFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFDM0QsT0FBTyxFQUVMLHNCQUFzQixFQUd2QixNQUFNLCtCQUErQixDQUFDO0FBQ3ZDLE9BQU8sRUFBRSxLQUFLLGVBQWUsRUFBeUIsTUFBTSxnQkFBZ0IsQ0FBQztBQUM3RSxPQUFPLEVBQUUseUJBQXlCLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUNsRyxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sU0FBUyxDQUFDO0FBUzdCLE1BQU0sTUFBTSxpQkFBaUIsR0FBRyxNQUFNLENBQUMsTUFBTSxFQUErQjtJQUFFLFFBQVEsRUFBRSwyQkFBMkIsQ0FBQTtDQUFFLENBQUMsQ0FBQztBQVF2SCxxQkFBYSxtQkFBbUI7SUFDdkIsYUFBYSxDQUFDLEVBQUUscUJBQXFCLEVBQUUsQ0FBQztJQUN4QyxTQUFTLENBQUMsRUFBRSxpQkFBaUIsQ0FBQztJQUVyQyxZQUFZLElBQUksR0FBRTtRQUFFLGFBQWEsQ0FBQyxFQUFFLHFCQUFxQixFQUFFLENBQUM7UUFBQyxTQUFTLENBQUMsRUFBRSxpQkFBaUIsQ0FBQTtLQUFPLEVBR2hHO0lBRUQsTUFBTSxLQUFLLE1BQU07Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7UUFPaEI7Q0FDRjtBQUVELHFCQUFhLHVCQUF1QjtJQUV6QixzQkFBc0IsRUFBRSxzQkFBc0I7SUFDOUMsWUFBWSxFQUFFLG9DQUFvQztJQUYzRCxZQUNTLHNCQUFzQixFQUFFLHNCQUFzQixFQUM5QyxZQUFZLEVBQUUsb0NBQW9DLEVBQ3ZEO0lBRUosc0JBQXNCLDhCQUVyQjtJQUVLLGFBQWEsSUFBSSxPQUFPLENBQUMsRUFBRSxDQUFDLENBU2pDO0NBQ0Y7QUFFRCxxQkFBYSxrQkFBa0I7SUFFcEIsc0JBQXNCLEVBQUUsc0JBQXNCO0lBQzlDLFlBQVksRUFBRSxvQ0FBb0M7SUFDbEQsWUFBWSxDQUFDO0lBQ2IsS0FBSyxDQUFDO0lBSmYsWUFDUyxzQkFBc0IsRUFBRSxzQkFBc0IsRUFDOUMsWUFBWSxFQUFFLG9DQUFvQyxFQUNsRCxZQUFZLENBQUMsb0NBQXdCLEVBQ3JDLEtBQUssQ0FBQyw2QkFBaUIsRUFDNUI7SUFFSixpRUFBaUU7SUFDakUsSUFBSSxlQUFlLElBQUksY0FBYyxFQUFFLENBRXRDO0lBRUQsSUFBSSxPQUFPLElBQUksT0FBTyxDQVNyQjtJQUVELE1BQU0sS0FBSyxNQUFNLElBQUksTUFBTSxDQUFDLGtCQUFrQixDQUFDLENBUzlDO0lBRUQsTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsSUFBSSxDQUFDLFFBQVEsQ0FBQyxrQkFBa0IsQ0FBQyxFQUFFLFNBQVMsR0FBRyxpQkFBaUIsQ0FBQyxzQkFPcEY7SUFFRCxNQUFNLENBQUMsMENBQTBDLENBQy9DLHVCQUF1QixFQUFFLHVCQUF1QixFQUNoRCxZQUFZLENBQUMsRUFBRSxzQkFBc0IsRUFDckMsS0FBSyxDQUFDLEVBQUUsZUFBZSxzQkFReEI7SUFFRCxPQUFhLE1BQU0sZ0NBTWxCO0lBRUQsc0JBQXNCLDhCQUVyQjtJQUVELGFBQWEsSUFBSSxPQUFPLENBQUMsRUFBRSxDQUFDLENBRTNCO0lBRUQscUJBQXFCLGdDQUVwQjtDQUNGO0FBRUQ7Ozs7O0dBS0c7QUFDSCx3QkFBZ0IsNkJBQTZCLENBQUMsZUFBZSxFQUFFLHNCQUFzQixHQUFHLHlCQUF5QixDQVdoSCJ9
148
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2ltdWxhdGVkX3R4LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdHgvc2ltdWxhdGVkX3R4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxLQUFLLE1BQU0sRUFBWSxNQUFNLDJCQUEyQixDQUFDO0FBQ2xFLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhELE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxFQUNMLEtBQUssMkJBQTJCLEVBRWpDLE1BQU0sNkNBQTZDLENBQUM7QUFFckQsT0FBTyxLQUFLLEVBQUUsT0FBTyxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDbEQsT0FBTyxFQUFFLEtBQUsscUJBQXFCLEVBQStCLE1BQU0sMENBQTBDLENBQUM7QUFDbkgsT0FBTyxFQUFFLG9DQUFvQyxFQUFFLE1BQU0sd0RBQXdELENBQUM7QUFFOUcsT0FBTyxLQUFLLEVBQUUsY0FBYyxFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFDM0QsT0FBTyxFQUVMLHNCQUFzQixFQUd2QixNQUFNLCtCQUErQixDQUFDO0FBQ3ZDLE9BQU8sRUFBRSxLQUFLLGVBQWUsRUFBeUIsTUFBTSxnQkFBZ0IsQ0FBQztBQUM3RSxPQUFPLEVBQUUseUJBQXlCLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUNsRyxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sU0FBUyxDQUFDO0FBUzdCLE1BQU0sTUFBTSxpQkFBaUIsR0FBRyxNQUFNLENBQUMsTUFBTSxFQUErQjtJQUFFLFFBQVEsRUFBRSwyQkFBMkIsQ0FBQTtDQUFFLENBQUMsQ0FBQztBQVF2SCxxQkFBYSxtQkFBbUI7SUFDdkIsYUFBYSxDQUFDLEVBQUUscUJBQXFCLEVBQUUsQ0FBQztJQUN4QyxTQUFTLENBQUMsRUFBRSxpQkFBaUIsQ0FBQztJQUVyQyxZQUFZLElBQUksR0FBRTtRQUFFLGFBQWEsQ0FBQyxFQUFFLHFCQUFxQixFQUFFLENBQUM7UUFBQyxTQUFTLENBQUMsRUFBRSxpQkFBaUIsQ0FBQTtLQUFPLEVBR2hHO0lBRUQsTUFBTSxLQUFLLE1BQU07Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O1FBT2hCO0NBQ0Y7QUFFRCxxQkFBYSx1QkFBdUI7SUFFekIsc0JBQXNCLEVBQUUsc0JBQXNCO0lBQzlDLFlBQVksRUFBRSxvQ0FBb0M7SUFGM0QsWUFDUyxzQkFBc0IsRUFBRSxzQkFBc0IsRUFDOUMsWUFBWSxFQUFFLG9DQUFvQyxFQUN2RDtJQUVKLHNCQUFzQiw4QkFFckI7SUFFSyxhQUFhLElBQUksT0FBTyxDQUFDLEVBQUUsQ0FBQyxDQVNqQztDQUNGO0FBRUQscUJBQWEsa0JBQWtCO0lBRXBCLHNCQUFzQixFQUFFLHNCQUFzQjtJQUM5QyxZQUFZLEVBQUUsb0NBQW9DO0lBQ2xELFlBQVksQ0FBQztJQUNiLEtBQUssQ0FBQztJQUpmLFlBQ1Msc0JBQXNCLEVBQUUsc0JBQXNCLEVBQzlDLFlBQVksRUFBRSxvQ0FBb0MsRUFDbEQsWUFBWSxDQUFDLG9DQUF3QixFQUNyQyxLQUFLLENBQUMsNkJBQWlCLEVBQzVCO0lBRUosaUVBQWlFO0lBQ2pFLElBQUksZUFBZSxJQUFJLGNBQWMsRUFBRSxDQUV0QztJQUVELElBQUksT0FBTyxJQUFJLE9BQU8sQ0FTckI7SUFFRCxNQUFNLEtBQUssTUFBTSxJQUFJLE1BQU0sQ0FBQyxrQkFBa0IsQ0FBQyxDQVM5QztJQUVELE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLElBQUksQ0FBQyxRQUFRLENBQUMsa0JBQWtCLENBQUMsRUFBRSxTQUFTLEdBQUcsaUJBQWlCLENBQUMsc0JBT3BGO0lBRUQsTUFBTSxDQUFDLDBDQUEwQyxDQUMvQyx1QkFBdUIsRUFBRSx1QkFBdUIsRUFDaEQsWUFBWSxDQUFDLEVBQUUsc0JBQXNCLEVBQ3JDLEtBQUssQ0FBQyxFQUFFLGVBQWUsc0JBUXhCO0lBRUQsT0FBYSxNQUFNLGdDQU1sQjtJQUVELHNCQUFzQiw4QkFFckI7SUFFRCxhQUFhLElBQUksT0FBTyxDQUFDLEVBQUUsQ0FBQyxDQUUzQjtJQUVELHFCQUFxQixnQ0FFcEI7Q0FDRjtBQUVEOzs7OztHQUtHO0FBQ0gsd0JBQWdCLDZCQUE2QixDQUFDLGVBQWUsRUFBRSxzQkFBc0IsR0FBRyx5QkFBeUIsQ0FXaEgifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"simulated_tx.d.ts","sourceRoot":"","sources":["../../src/tx/simulated_tx.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAY,MAAM,2BAA2B,CAAC;AAClE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EACL,KAAK,2BAA2B,EAEjC,MAAM,6CAA6C,CAAC;AAErD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,KAAK,qBAAqB,EAA+B,MAAM,0CAA0C,CAAC;AACnH,OAAO,EAAE,oCAAoC,EAAE,MAAM,wDAAwD,CAAC;AAE9G,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAEL,sBAAsB,EAGvB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,KAAK,eAAe,EAAyB,MAAM,gBAAgB,CAAC;AAC7E,OAAO,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAClG,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAS7B,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,EAA+B;IAAE,QAAQ,EAAE,2BAA2B,CAAA;CAAE,CAAC,CAAC;AAQvH,qBAAa,mBAAmB;IACvB,aAAa,CAAC,EAAE,qBAAqB,EAAE,CAAC;IACxC,SAAS,CAAC,EAAE,iBAAiB,CAAC;IAErC,YAAY,IAAI,GAAE;QAAE,aAAa,CAAC,EAAE,qBAAqB,EAAE,CAAC;QAAC,SAAS,CAAC,EAAE,iBAAiB,CAAA;KAAO,EAGhG;IAED,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAOhB;CACF;AAED,qBAAa,uBAAuB;IAEzB,sBAAsB,EAAE,sBAAsB;IAC9C,YAAY,EAAE,oCAAoC;IAF3D,YACS,sBAAsB,EAAE,sBAAsB,EAC9C,YAAY,EAAE,oCAAoC,EACvD;IAEJ,sBAAsB,8BAErB;IAEK,aAAa,IAAI,OAAO,CAAC,EAAE,CAAC,CASjC;CACF;AAED,qBAAa,kBAAkB;IAEpB,sBAAsB,EAAE,sBAAsB;IAC9C,YAAY,EAAE,oCAAoC;IAClD,YAAY,CAAC;IACb,KAAK,CAAC;IAJf,YACS,sBAAsB,EAAE,sBAAsB,EAC9C,YAAY,EAAE,oCAAoC,EAClD,YAAY,CAAC,oCAAwB,EACrC,KAAK,CAAC,6BAAiB,EAC5B;IAEJ,iEAAiE;IACjE,IAAI,eAAe,IAAI,cAAc,EAAE,CAEtC;IAED,IAAI,OAAO,IAAI,OAAO,CASrB;IAED,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,kBAAkB,CAAC,CAS9C;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,GAAG,iBAAiB,CAAC,sBAOpF;IAED,MAAM,CAAC,0CAA0C,CAC/C,uBAAuB,EAAE,uBAAuB,EAChD,YAAY,CAAC,EAAE,sBAAsB,EACrC,KAAK,CAAC,EAAE,eAAe,sBAQxB;IAED,OAAa,MAAM,gCAMlB;IAED,sBAAsB,8BAErB;IAED,aAAa,IAAI,OAAO,CAAC,EAAE,CAAC,CAE3B;IAED,qBAAqB,gCAEpB;CACF;AAED;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAAC,eAAe,EAAE,sBAAsB,GAAG,yBAAyB,CAWhH"}
1
+ {"version":3,"file":"simulated_tx.d.ts","sourceRoot":"","sources":["../../src/tx/simulated_tx.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAY,MAAM,2BAA2B,CAAC;AAClE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EACL,KAAK,2BAA2B,EAEjC,MAAM,6CAA6C,CAAC;AAErD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,KAAK,qBAAqB,EAA+B,MAAM,0CAA0C,CAAC;AACnH,OAAO,EAAE,oCAAoC,EAAE,MAAM,wDAAwD,CAAC;AAE9G,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAEL,sBAAsB,EAGvB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,KAAK,eAAe,EAAyB,MAAM,gBAAgB,CAAC;AAC7E,OAAO,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAClG,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAS7B,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,EAA+B;IAAE,QAAQ,EAAE,2BAA2B,CAAA;CAAE,CAAC,CAAC;AAQvH,qBAAa,mBAAmB;IACvB,aAAa,CAAC,EAAE,qBAAqB,EAAE,CAAC;IACxC,SAAS,CAAC,EAAE,iBAAiB,CAAC;IAErC,YAAY,IAAI,GAAE;QAAE,aAAa,CAAC,EAAE,qBAAqB,EAAE,CAAC;QAAC,SAAS,CAAC,EAAE,iBAAiB,CAAA;KAAO,EAGhG;IAED,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAOhB;CACF;AAED,qBAAa,uBAAuB;IAEzB,sBAAsB,EAAE,sBAAsB;IAC9C,YAAY,EAAE,oCAAoC;IAF3D,YACS,sBAAsB,EAAE,sBAAsB,EAC9C,YAAY,EAAE,oCAAoC,EACvD;IAEJ,sBAAsB,8BAErB;IAEK,aAAa,IAAI,OAAO,CAAC,EAAE,CAAC,CASjC;CACF;AAED,qBAAa,kBAAkB;IAEpB,sBAAsB,EAAE,sBAAsB;IAC9C,YAAY,EAAE,oCAAoC;IAClD,YAAY,CAAC;IACb,KAAK,CAAC;IAJf,YACS,sBAAsB,EAAE,sBAAsB,EAC9C,YAAY,EAAE,oCAAoC,EAClD,YAAY,CAAC,oCAAwB,EACrC,KAAK,CAAC,6BAAiB,EAC5B;IAEJ,iEAAiE;IACjE,IAAI,eAAe,IAAI,cAAc,EAAE,CAEtC;IAED,IAAI,OAAO,IAAI,OAAO,CASrB;IAED,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,kBAAkB,CAAC,CAS9C;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,GAAG,iBAAiB,CAAC,sBAOpF;IAED,MAAM,CAAC,0CAA0C,CAC/C,uBAAuB,EAAE,uBAAuB,EAChD,YAAY,CAAC,EAAE,sBAAsB,EACrC,KAAK,CAAC,EAAE,eAAe,sBAQxB;IAED,OAAa,MAAM,gCAMlB;IAED,sBAAsB,8BAErB;IAED,aAAa,IAAI,OAAO,CAAC,EAAE,CAAC,CAE3B;IAED,qBAAqB,gCAEpB;CACF;AAED;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAAC,eAAe,EAAE,sBAAsB,GAAG,yBAAyB,CAWhH"}
@@ -1,8 +1,16 @@
1
+ import type { Fr } from '@aztec/foundation/curves/bn254';
1
2
  import type { PublicDataTreeLeaf } from '../trees/index.js';
2
3
  /** Data used to initialize the genesis block, including prefilled public state and an optional timestamp. */
3
4
  export type GenesisData = {
4
5
  /** Public data tree leaves to pre-populate in the genesis state (e.g. fee juice balances). */
5
6
  prefilledPublicData: PublicDataTreeLeaf[];
7
+ /**
8
+ * Nullifiers to pre-insert into the genesis nullifier tree. Optional; defaults to an empty list, which leaves the
9
+ * nullifier tree at its canonical empty-genesis state so that production genesis roots are unchanged. When non-empty,
10
+ * the leaves must be unique and strictly increasing in field value (the native world state enforces this before
11
+ * construction). Test networks pass a non-empty list to seed e.g. standard-contract registration nullifiers.
12
+ */
13
+ prefilledNullifiers?: Fr[];
6
14
  /** Timestamp for the genesis block header. Defaults to 0 (canonical empty genesis) in production. */
7
15
  genesisTimestamp: bigint;
8
16
  };
@@ -10,4 +18,4 @@ export type GenesisData = {
10
18
  export declare const EMPTY_GENESIS_DATA: GenesisData;
11
19
  /** Returns if an object looks like genesis data */
12
20
  export declare function isGenesisData(obj: any): obj is GenesisData;
13
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZ2VuZXNpc19kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvd29ybGQtc3RhdGUvZ2VuZXNpc19kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLGtCQUFrQixFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFFNUQsNkdBQTZHO0FBQzdHLE1BQU0sTUFBTSxXQUFXLEdBQUc7SUFDeEIsOEZBQThGO0lBQzlGLG1CQUFtQixFQUFFLGtCQUFrQixFQUFFLENBQUM7SUFDMUMscUdBQXFHO0lBQ3JHLGdCQUFnQixFQUFFLE1BQU0sQ0FBQztDQUMxQixDQUFDO0FBRUYsMEVBQTBFO0FBQzFFLGVBQU8sTUFBTSxrQkFBa0IsRUFBRSxXQUdoQyxDQUFDO0FBRUYsbURBQW1EO0FBQ25ELHdCQUFnQixhQUFhLENBQUMsR0FBRyxFQUFFLEdBQUcsR0FBRyxHQUFHLElBQUksV0FBVyxDQVMxRCJ9
21
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZ2VuZXNpc19kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvd29ybGQtc3RhdGUvZ2VuZXNpc19kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBRXpELE9BQU8sS0FBSyxFQUFFLGtCQUFrQixFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFFNUQsNkdBQTZHO0FBQzdHLE1BQU0sTUFBTSxXQUFXLEdBQUc7SUFDeEIsOEZBQThGO0lBQzlGLG1CQUFtQixFQUFFLGtCQUFrQixFQUFFLENBQUM7SUFDMUM7Ozs7O09BS0c7SUFDSCxtQkFBbUIsQ0FBQyxFQUFFLEVBQUUsRUFBRSxDQUFDO0lBQzNCLHFHQUFxRztJQUNyRyxnQkFBZ0IsRUFBRSxNQUFNLENBQUM7Q0FDMUIsQ0FBQztBQUVGLDBFQUEwRTtBQUMxRSxlQUFPLE1BQU0sa0JBQWtCLEVBQUUsV0FJaEMsQ0FBQztBQUVGLG1EQUFtRDtBQUNuRCx3QkFBZ0IsYUFBYSxDQUFDLEdBQUcsRUFBRSxHQUFHLEdBQUcsR0FBRyxJQUFJLFdBQVcsQ0FTMUQifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"genesis_data.d.ts","sourceRoot":"","sources":["../../src/world-state/genesis_data.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAE5D,6GAA6G;AAC7G,MAAM,MAAM,WAAW,GAAG;IACxB,8FAA8F;IAC9F,mBAAmB,EAAE,kBAAkB,EAAE,CAAC;IAC1C,qGAAqG;IACrG,gBAAgB,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,0EAA0E;AAC1E,eAAO,MAAM,kBAAkB,EAAE,WAGhC,CAAC;AAEF,mDAAmD;AACnD,wBAAgB,aAAa,CAAC,GAAG,EAAE,GAAG,GAAG,GAAG,IAAI,WAAW,CAS1D"}
1
+ {"version":3,"file":"genesis_data.d.ts","sourceRoot":"","sources":["../../src/world-state/genesis_data.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAE5D,6GAA6G;AAC7G,MAAM,MAAM,WAAW,GAAG;IACxB,8FAA8F;IAC9F,mBAAmB,EAAE,kBAAkB,EAAE,CAAC;IAC1C;;;;;OAKG;IACH,mBAAmB,CAAC,EAAE,EAAE,EAAE,CAAC;IAC3B,qGAAqG;IACrG,gBAAgB,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,0EAA0E;AAC1E,eAAO,MAAM,kBAAkB,EAAE,WAIhC,CAAC;AAEF,mDAAmD;AACnD,wBAAgB,aAAa,CAAC,GAAG,EAAE,GAAG,GAAG,GAAG,IAAI,WAAW,CAS1D"}
@@ -1,5 +1,6 @@
1
1
  /** An empty genesis data with no prefilled state and a zero timestamp. */ export const EMPTY_GENESIS_DATA = {
2
2
  prefilledPublicData: [],
3
+ prefilledNullifiers: [],
3
4
  genesisTimestamp: 0n
4
5
  };
5
6
  /** Returns if an object looks like genesis data */ export function isGenesisData(obj) {
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@aztec/stdlib",
3
- "version": "5.0.0-rc.1",
3
+ "version": "5.0.0",
4
4
  "type": "module",
5
5
  "inherits": [
6
6
  "../package.common.json",
@@ -92,13 +92,13 @@
92
92
  },
93
93
  "dependencies": {
94
94
  "@aws-sdk/client-s3": "^3.892.0",
95
- "@aztec/bb.js": "5.0.0-rc.1",
96
- "@aztec/blob-lib": "5.0.0-rc.1",
97
- "@aztec/constants": "5.0.0-rc.1",
98
- "@aztec/ethereum": "5.0.0-rc.1",
99
- "@aztec/foundation": "5.0.0-rc.1",
100
- "@aztec/l1-artifacts": "5.0.0-rc.1",
101
- "@aztec/noir-noirc_abi": "5.0.0-rc.1",
95
+ "@aztec/bb.js": "5.0.0",
96
+ "@aztec/blob-lib": "5.0.0",
97
+ "@aztec/constants": "5.0.0",
98
+ "@aztec/ethereum": "5.0.0",
99
+ "@aztec/foundation": "5.0.0",
100
+ "@aztec/l1-artifacts": "5.0.0",
101
+ "@aztec/noir-noirc_abi": "5.0.0",
102
102
  "@google-cloud/storage": "^7.15.0",
103
103
  "axios": "^1.15.1",
104
104
  "json-stringify-deterministic": "1.0.12",
package/src/abi/buffer.ts CHANGED
@@ -38,11 +38,23 @@ export function bufferAsFields(input: Buffer, targetLength: number): Fr[] {
38
38
  * bytecode commitment computations to diverge from what the circuit produced.
39
39
  *
40
40
  * @param fields - An output from bufferAsFields: [byteLength, ...payloadFields].
41
+ * @param maxByteLength - Optional upper bound on the declared byte length. When the field array comes
42
+ * from untrusted input (e.g. a gossiped contract-class log), pass the payload capacity so an
43
+ * attacker-declared length cannot force a large `Buffer.alloc` before the value is otherwise
44
+ * rejected. Throws if the declared length exceeds it, before allocating.
41
45
  * @returns A buffer of exactly `byteLength` bytes.
42
46
  */
43
- export function bufferFromFields(fields: Fr[]): Buffer {
47
+ export function bufferFromFields(fields: Fr[], maxByteLength?: number): Buffer {
48
+ // A valid bufferAsFields output always has at least the leading byte-length field, so an empty
49
+ // input encodes no data. Guard so `length` (the destructured head) is never undefined.
50
+ if (fields.length === 0) {
51
+ return Buffer.alloc(0);
52
+ }
44
53
  const [length, ...payload] = fields;
45
54
  const byteLength = length.toNumber();
55
+ if (maxByteLength !== undefined && byteLength > maxByteLength) {
56
+ throw new Error(`Declared byte length ${byteLength} exceeds maximum ${maxByteLength}`);
57
+ }
46
58
  const raw = Buffer.concat(payload.map(f => f.toBuffer().subarray(1)));
47
59
  if (raw.length >= byteLength) {
48
60
  return raw.subarray(0, byteLength);
package/src/avm/avm.ts CHANGED
@@ -1152,7 +1152,7 @@ export class CallStackMetadata {
1152
1152
 
1153
1153
  const { stack, leaf } = failingCall;
1154
1154
  const aztecCallStack = stack.map(call => ({
1155
- contractAddress: AztecAddress.fromField(call.contractAddress),
1155
+ contractAddress: AztecAddress.fromFieldUnsafe(call.contractAddress),
1156
1156
  functionSelector: call.calldata.length > 0 ? FunctionSelector.fromFieldOrUndefined(call.calldata[0]) : undefined,
1157
1157
  }));
1158
1158