@aztec/pxe 0.0.1-commit.c7c42ec → 0.0.1-commit.d1f2d6c

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 (209) hide show
  1. package/dest/block_synchronizer/block_synchronizer.d.ts +10 -4
  2. package/dest/block_synchronizer/block_synchronizer.d.ts.map +1 -1
  3. package/dest/block_synchronizer/block_synchronizer.js +66 -18
  4. package/dest/config/index.d.ts +3 -1
  5. package/dest/config/index.d.ts.map +1 -1
  6. package/dest/config/index.js +17 -0
  7. package/dest/config/package_info.js +1 -1
  8. package/dest/contract_function_simulator/benchmarked_node.d.ts +9 -0
  9. package/dest/contract_function_simulator/benchmarked_node.d.ts.map +1 -0
  10. package/dest/contract_function_simulator/benchmarked_node.js +77 -0
  11. package/dest/contract_function_simulator/contract_function_simulator.d.ts +8 -9
  12. package/dest/contract_function_simulator/contract_function_simulator.d.ts.map +1 -1
  13. package/dest/contract_function_simulator/contract_function_simulator.js +33 -19
  14. package/dest/contract_function_simulator/execution_note_cache.d.ts +18 -9
  15. package/dest/contract_function_simulator/execution_note_cache.d.ts.map +1 -1
  16. package/dest/contract_function_simulator/execution_note_cache.js +45 -28
  17. package/dest/contract_function_simulator/index.d.ts +2 -2
  18. package/dest/contract_function_simulator/index.d.ts.map +1 -1
  19. package/dest/contract_function_simulator/index.js +1 -1
  20. package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts +3 -2
  21. package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts.map +1 -1
  22. package/dest/contract_function_simulator/noir-structs/event_validation_request.js +5 -2
  23. package/dest/contract_function_simulator/noir-structs/utility_context.d.ts +4 -10
  24. package/dest/contract_function_simulator/noir-structs/utility_context.d.ts.map +1 -1
  25. package/dest/contract_function_simulator/noir-structs/utility_context.js +7 -18
  26. package/dest/contract_function_simulator/oracle/interfaces.d.ts +14 -10
  27. package/dest/contract_function_simulator/oracle/interfaces.d.ts.map +1 -1
  28. package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts +3 -1
  29. package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts.map +1 -1
  30. package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts +6 -6
  31. package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts.map +1 -1
  32. package/dest/contract_function_simulator/oracle/note_packing_utils.js +8 -8
  33. package/dest/contract_function_simulator/oracle/oracle.d.ts +9 -7
  34. package/dest/contract_function_simulator/oracle/oracle.d.ts.map +1 -1
  35. package/dest/contract_function_simulator/oracle/oracle.js +41 -30
  36. package/dest/contract_function_simulator/oracle/private_execution.d.ts +8 -13
  37. package/dest/contract_function_simulator/oracle/private_execution.d.ts.map +1 -1
  38. package/dest/contract_function_simulator/oracle/private_execution.js +21 -11
  39. package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts +16 -18
  40. package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts.map +1 -1
  41. package/dest/contract_function_simulator/oracle/private_execution_oracle.js +25 -38
  42. package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts +26 -16
  43. package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts.map +1 -1
  44. package/dest/contract_function_simulator/oracle/utility_execution_oracle.js +71 -71
  45. package/dest/debug/pxe_debug_utils.d.ts +1 -1
  46. package/dest/debug/pxe_debug_utils.d.ts.map +1 -1
  47. package/dest/debug/pxe_debug_utils.js +2 -1
  48. package/dest/entrypoints/client/bundle/utils.d.ts +1 -1
  49. package/dest/entrypoints/client/bundle/utils.d.ts.map +1 -1
  50. package/dest/entrypoints/client/bundle/utils.js +10 -1
  51. package/dest/entrypoints/client/lazy/utils.d.ts +1 -1
  52. package/dest/entrypoints/client/lazy/utils.d.ts.map +1 -1
  53. package/dest/entrypoints/client/lazy/utils.js +10 -1
  54. package/dest/entrypoints/pxe_creation_options.d.ts +3 -2
  55. package/dest/entrypoints/pxe_creation_options.d.ts.map +1 -1
  56. package/dest/entrypoints/server/index.d.ts +2 -1
  57. package/dest/entrypoints/server/index.d.ts.map +1 -1
  58. package/dest/entrypoints/server/index.js +1 -0
  59. package/dest/entrypoints/server/utils.d.ts +1 -1
  60. package/dest/entrypoints/server/utils.d.ts.map +1 -1
  61. package/dest/entrypoints/server/utils.js +11 -7
  62. package/dest/events/event_service.d.ts +4 -3
  63. package/dest/events/event_service.d.ts.map +1 -1
  64. package/dest/events/event_service.js +17 -19
  65. package/dest/events/private_event_filter_validator.d.ts +5 -5
  66. package/dest/events/private_event_filter_validator.d.ts.map +1 -1
  67. package/dest/events/private_event_filter_validator.js +5 -6
  68. package/dest/job_coordinator/job_coordinator.d.ts +74 -0
  69. package/dest/job_coordinator/job_coordinator.d.ts.map +1 -0
  70. package/dest/job_coordinator/job_coordinator.js +93 -0
  71. package/dest/logs/log_service.d.ts +3 -2
  72. package/dest/logs/log_service.d.ts.map +1 -1
  73. package/dest/logs/log_service.js +22 -13
  74. package/dest/notes/note_service.d.ts +5 -4
  75. package/dest/notes/note_service.d.ts.map +1 -1
  76. package/dest/notes/note_service.js +31 -34
  77. package/dest/oracle_version.d.ts +3 -3
  78. package/dest/oracle_version.d.ts.map +1 -1
  79. package/dest/oracle_version.js +4 -3
  80. package/dest/private_kernel/hints/index.d.ts +2 -2
  81. package/dest/private_kernel/hints/index.d.ts.map +1 -1
  82. package/dest/private_kernel/hints/index.js +1 -1
  83. package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts +28 -0
  84. package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts.map +1 -0
  85. package/dest/private_kernel/hints/{build_private_kernel_reset_private_inputs.js → private_kernel_reset_private_inputs_builder.js} +13 -7
  86. package/dest/private_kernel/private_kernel_execution_prover.d.ts +1 -1
  87. package/dest/private_kernel/private_kernel_execution_prover.d.ts.map +1 -1
  88. package/dest/private_kernel/private_kernel_execution_prover.js +4 -5
  89. package/dest/private_kernel/private_kernel_oracle.d.ts +24 -28
  90. package/dest/private_kernel/private_kernel_oracle.d.ts.map +1 -1
  91. package/dest/private_kernel/private_kernel_oracle.js +90 -2
  92. package/dest/pxe.d.ts +8 -36
  93. package/dest/pxe.d.ts.map +1 -1
  94. package/dest/pxe.js +71 -90
  95. package/dest/storage/capsule_store/capsule_store.d.ts +24 -9
  96. package/dest/storage/capsule_store/capsule_store.d.ts.map +1 -1
  97. package/dest/storage/capsule_store/capsule_store.js +132 -23
  98. package/dest/storage/contract_store/contract_store.d.ts +2 -1
  99. package/dest/storage/contract_store/contract_store.d.ts.map +1 -1
  100. package/dest/storage/contract_store/contract_store.js +12 -0
  101. package/dest/storage/note_store/note_store.d.ts +45 -56
  102. package/dest/storage/note_store/note_store.d.ts.map +1 -1
  103. package/dest/storage/note_store/note_store.js +244 -263
  104. package/dest/storage/note_store/stored_note.d.ts +16 -0
  105. package/dest/storage/note_store/stored_note.d.ts.map +1 -0
  106. package/dest/storage/note_store/stored_note.js +43 -0
  107. package/dest/storage/private_event_store/private_event_store.d.ts +47 -7
  108. package/dest/storage/private_event_store/private_event_store.d.ts.map +1 -1
  109. package/dest/storage/private_event_store/private_event_store.js +203 -68
  110. package/dest/storage/private_event_store/stored_private_event.d.ts +23 -0
  111. package/dest/storage/private_event_store/stored_private_event.d.ts.map +1 -0
  112. package/dest/storage/private_event_store/stored_private_event.js +56 -0
  113. package/dest/storage/tagging_store/recipient_tagging_store.d.ts +15 -8
  114. package/dest/storage/tagging_store/recipient_tagging_store.d.ts.map +1 -1
  115. package/dest/storage/tagging_store/recipient_tagging_store.js +69 -12
  116. package/dest/storage/tagging_store/sender_tagging_store.d.ts +19 -9
  117. package/dest/storage/tagging_store/sender_tagging_store.d.ts.map +1 -1
  118. package/dest/storage/tagging_store/sender_tagging_store.js +110 -28
  119. package/dest/tagging/constants.d.ts +2 -0
  120. package/dest/tagging/constants.d.ts.map +1 -0
  121. package/dest/tagging/constants.js +10 -0
  122. package/dest/tagging/get_all_logs_by_tags.d.ts +24 -0
  123. package/dest/tagging/get_all_logs_by_tags.d.ts.map +1 -0
  124. package/dest/tagging/get_all_logs_by_tags.js +46 -0
  125. package/dest/tagging/index.d.ts +3 -2
  126. package/dest/tagging/index.d.ts.map +1 -1
  127. package/dest/tagging/index.js +2 -10
  128. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts +3 -2
  129. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts.map +1 -1
  130. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.js +8 -8
  131. package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts +3 -2
  132. package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts.map +1 -1
  133. package/dest/tagging/recipient_sync/utils/load_logs_for_range.js +5 -2
  134. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts +3 -2
  135. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts.map +1 -1
  136. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.js +8 -8
  137. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts +1 -1
  138. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts.map +1 -1
  139. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.js +5 -8
  140. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts +5 -2
  141. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts.map +1 -1
  142. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.js +10 -5
  143. package/package.json +18 -18
  144. package/src/block_synchronizer/block_synchronizer.ts +77 -20
  145. package/src/config/index.ts +14 -0
  146. package/src/config/package_info.ts +1 -1
  147. package/src/contract_function_simulator/benchmarked_node.ts +103 -0
  148. package/src/contract_function_simulator/contract_function_simulator.ts +39 -21
  149. package/src/contract_function_simulator/execution_note_cache.ts +44 -25
  150. package/src/contract_function_simulator/index.ts +1 -1
  151. package/src/contract_function_simulator/noir-structs/event_validation_request.ts +4 -0
  152. package/src/contract_function_simulator/noir-structs/utility_context.ts +6 -25
  153. package/src/contract_function_simulator/oracle/interfaces.ts +19 -9
  154. package/src/contract_function_simulator/oracle/note_packing_utils.ts +10 -10
  155. package/src/contract_function_simulator/oracle/oracle.ts +54 -39
  156. package/src/contract_function_simulator/oracle/private_execution.ts +30 -20
  157. package/src/contract_function_simulator/oracle/private_execution_oracle.ts +44 -42
  158. package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +89 -75
  159. package/src/debug/pxe_debug_utils.ts +2 -1
  160. package/src/entrypoints/client/bundle/utils.ts +7 -1
  161. package/src/entrypoints/client/lazy/utils.ts +7 -2
  162. package/src/entrypoints/pxe_creation_options.ts +2 -1
  163. package/src/entrypoints/server/index.ts +1 -0
  164. package/src/entrypoints/server/utils.ts +11 -15
  165. package/src/events/event_service.ts +17 -21
  166. package/src/events/private_event_filter_validator.ts +3 -5
  167. package/src/job_coordinator/job_coordinator.ts +149 -0
  168. package/src/logs/log_service.ts +28 -9
  169. package/src/notes/note_service.ts +38 -40
  170. package/src/oracle_version.ts +4 -3
  171. package/src/private_kernel/hints/index.ts +1 -1
  172. package/src/private_kernel/hints/{build_private_kernel_reset_private_inputs.ts → private_kernel_reset_private_inputs_builder.ts} +33 -22
  173. package/src/private_kernel/private_kernel_execution_prover.ts +3 -5
  174. package/src/private_kernel/private_kernel_oracle.ts +116 -36
  175. package/src/pxe.ts +125 -119
  176. package/src/storage/capsule_store/capsule_store.ts +159 -23
  177. package/src/storage/contract_store/contract_store.ts +20 -0
  178. package/src/storage/note_store/note_store.ts +286 -317
  179. package/src/storage/note_store/stored_note.ts +48 -0
  180. package/src/storage/private_event_store/private_event_store.ts +277 -76
  181. package/src/storage/private_event_store/stored_private_event.ts +73 -0
  182. package/src/storage/tagging_store/recipient_tagging_store.ts +89 -13
  183. package/src/storage/tagging_store/sender_tagging_store.ts +129 -28
  184. package/src/tagging/constants.ts +10 -0
  185. package/src/tagging/get_all_logs_by_tags.ts +68 -0
  186. package/src/tagging/index.ts +2 -11
  187. package/src/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.ts +21 -7
  188. package/src/tagging/recipient_sync/utils/load_logs_for_range.ts +7 -1
  189. package/src/tagging/sender_sync/sync_sender_tagging_indexes.ts +10 -7
  190. package/src/tagging/sender_sync/utils/get_status_change_of_pending.ts +5 -13
  191. package/src/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.ts +16 -4
  192. package/dest/contract_function_simulator/proxied_node.d.ts +0 -9
  193. package/dest/contract_function_simulator/proxied_node.d.ts.map +0 -1
  194. package/dest/contract_function_simulator/proxied_node.js +0 -27
  195. package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts +0 -28
  196. package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts.map +0 -1
  197. package/dest/private_kernel/private_kernel_oracle_impl.d.ts +0 -46
  198. package/dest/private_kernel/private_kernel_oracle_impl.d.ts.map +0 -1
  199. package/dest/private_kernel/private_kernel_oracle_impl.js +0 -86
  200. package/dest/public_storage/public_storage_service.d.ts +0 -24
  201. package/dest/public_storage/public_storage_service.d.ts.map +0 -1
  202. package/dest/public_storage/public_storage_service.js +0 -26
  203. package/dest/tree_membership/tree_membership_service.d.ts +0 -52
  204. package/dest/tree_membership/tree_membership_service.d.ts.map +0 -1
  205. package/dest/tree_membership/tree_membership_service.js +0 -84
  206. package/src/contract_function_simulator/proxied_node.ts +0 -33
  207. package/src/private_kernel/private_kernel_oracle_impl.ts +0 -133
  208. package/src/public_storage/public_storage_service.ts +0 -33
  209. package/src/tree_membership/tree_membership_service.ts +0 -112
@@ -12,11 +12,11 @@ import {
12
12
  } from '@aztec/simulator/client';
13
13
  import { FunctionSelector, NoteSelector } from '@aztec/stdlib/abi';
14
14
  import { AztecAddress } from '@aztec/stdlib/aztec-address';
15
+ import { L2BlockHash } from '@aztec/stdlib/block';
15
16
  import { ContractClassLog, ContractClassLogFields } from '@aztec/stdlib/logs';
16
- import { MerkleTreeId } from '@aztec/stdlib/trees';
17
17
 
18
18
  import type { IMiscOracle, IPrivateExecutionOracle, IUtilityExecutionOracle } from './interfaces.js';
19
- import { packAsRetrievedNote } from './note_packing_utils.js';
19
+ import { packAsHintedNote } from './note_packing_utils.js';
20
20
 
21
21
  export class UnavailableOracleError extends Error {
22
22
  constructor(oracleName: string) {
@@ -137,77 +137,84 @@ export class Oracle {
137
137
  ].map(toACVMField);
138
138
  }
139
139
 
140
- async utilityGetMembershipWitness(
141
- [blockNumber]: ACVMField[],
142
- [treeId]: ACVMField[],
140
+ async utilityGetNoteHashMembershipWitness(
141
+ [blockHash]: ACVMField[],
143
142
  [leafValue]: ACVMField[],
144
143
  ): Promise<(ACVMField | ACVMField[])[]> {
145
- const parsedBlockNumber = Fr.fromString(blockNumber).toNumber();
146
- const parsedTreeId = Fr.fromString(treeId).toNumber();
144
+ const parsedBlockHash = L2BlockHash.fromString(blockHash);
147
145
  const parsedLeafValue = Fr.fromString(leafValue);
148
146
 
149
- const witness = await this.handlerAsUtility().utilityGetMembershipWitness(
150
- BlockNumber(parsedBlockNumber),
151
- parsedTreeId,
152
- parsedLeafValue,
153
- );
147
+ const witness = await this.handlerAsUtility().utilityGetNoteHashMembershipWitness(parsedBlockHash, parsedLeafValue);
154
148
  if (!witness) {
155
- throw new Error(
156
- `Leaf ${leafValue} not found in the tree ${MerkleTreeId[parsedTreeId]} at block ${parsedBlockNumber}.`,
157
- );
149
+ throw new Error(`Leaf ${leafValue} not found in the note hash tree at block hash ${parsedBlockHash.toString()}.`);
150
+ }
151
+ return witness.toNoirRepresentation();
152
+ }
153
+
154
+ async utilityGetArchiveMembershipWitness(
155
+ [blockHash]: ACVMField[],
156
+ [leafValue]: ACVMField[],
157
+ ): Promise<(ACVMField | ACVMField[])[]> {
158
+ const parsedBlockHash = L2BlockHash.fromString(blockHash);
159
+ const parsedLeafValue = Fr.fromString(leafValue);
160
+
161
+ const witness = await this.handlerAsUtility().utilityGetArchiveMembershipWitness(parsedBlockHash, parsedLeafValue);
162
+ if (!witness) {
163
+ throw new Error(`Leaf ${leafValue} not found in the archive tree at block hash ${parsedBlockHash.toString()}.`);
158
164
  }
159
- return [toACVMField(witness[0]), witness.slice(1).map(toACVMField)];
165
+ return witness.toNoirRepresentation();
160
166
  }
161
167
 
162
168
  async utilityGetNullifierMembershipWitness(
163
- [blockNumber]: ACVMField[],
169
+ [blockHash]: ACVMField[],
164
170
  [nullifier]: ACVMField[], // nullifier, we try to find the witness for (to prove inclusion)
165
171
  ): Promise<(ACVMField | ACVMField[])[]> {
166
- const parsedBlockNumber = Fr.fromString(blockNumber).toNumber();
172
+ const parsedBlockHash = L2BlockHash.fromString(blockHash);
167
173
  const parsedNullifier = Fr.fromString(nullifier);
168
174
 
169
175
  const witness = await this.handlerAsUtility().utilityGetNullifierMembershipWitness(
170
- BlockNumber(parsedBlockNumber),
176
+ parsedBlockHash,
171
177
  parsedNullifier,
172
178
  );
173
179
  if (!witness) {
174
- throw new Error(`Nullifier witness not found for nullifier ${parsedNullifier} at block ${parsedBlockNumber}.`);
180
+ throw new Error(
181
+ `Nullifier witness not found for nullifier ${parsedNullifier} at block hash ${parsedBlockHash.toString()}.`,
182
+ );
175
183
  }
176
184
  return witness.toNoirRepresentation();
177
185
  }
178
186
 
179
187
  async utilityGetLowNullifierMembershipWitness(
180
- [blockNumber]: ACVMField[],
188
+ [blockHash]: ACVMField[],
181
189
  [nullifier]: ACVMField[], // nullifier, we try to find the low nullifier witness for (to prove non-inclusion)
182
190
  ): Promise<(ACVMField | ACVMField[])[]> {
183
- const parsedBlockNumber = Fr.fromString(blockNumber).toNumber();
191
+ const parsedBlockHash = L2BlockHash.fromString(blockHash);
184
192
  const parsedNullifier = Fr.fromString(nullifier);
185
193
 
186
194
  const witness = await this.handlerAsUtility().utilityGetLowNullifierMembershipWitness(
187
- BlockNumber(parsedBlockNumber),
195
+ parsedBlockHash,
188
196
  parsedNullifier,
189
197
  );
190
198
  if (!witness) {
191
199
  throw new Error(
192
- `Low nullifier witness not found for nullifier ${parsedNullifier} at block ${parsedBlockNumber}.`,
200
+ `Low nullifier witness not found for nullifier ${parsedNullifier} at block hash ${parsedBlockHash.toString()}.`,
193
201
  );
194
202
  }
195
203
  return witness.toNoirRepresentation();
196
204
  }
197
205
 
198
206
  async utilityGetPublicDataWitness(
199
- [blockNumber]: ACVMField[],
207
+ [blockHash]: ACVMField[],
200
208
  [leafSlot]: ACVMField[],
201
209
  ): Promise<(ACVMField | ACVMField[])[]> {
202
- const parsedBlockNumber = Fr.fromString(blockNumber).toNumber();
210
+ const parsedBlockHash = L2BlockHash.fromString(blockHash);
203
211
  const parsedLeafSlot = Fr.fromString(leafSlot);
204
212
 
205
- const witness = await this.handlerAsUtility().utilityGetPublicDataWitness(
206
- BlockNumber(parsedBlockNumber),
207
- parsedLeafSlot,
208
- );
213
+ const witness = await this.handlerAsUtility().utilityGetPublicDataWitness(parsedBlockHash, parsedLeafSlot);
209
214
  if (!witness) {
210
- throw new Error(`Public data witness not found for slot ${parsedLeafSlot} at block ${parsedBlockNumber}.`);
215
+ throw new Error(
216
+ `Public data witness not found for slot ${parsedLeafSlot} at block hash ${parsedBlockHash.toString()}.`,
217
+ );
211
218
  }
212
219
  return witness.toNoirRepresentation();
213
220
  }
@@ -257,7 +264,7 @@ export class Oracle {
257
264
  [offset]: ACVMField[],
258
265
  [status]: ACVMField[],
259
266
  [maxNotes]: ACVMField[],
260
- [packedRetrievedNoteLength]: ACVMField[],
267
+ [packedHintedNoteLength]: ACVMField[],
261
268
  ): Promise<(ACVMField | ACVMField[])[]> {
262
269
  // Parse Option<AztecAddress>: ownerSome is 0 for None, 1 for Some
263
270
  const owner = Fr.fromString(ownerSome).toNumber() === 1 ? AztecAddress.fromString(ownerValue) : undefined;
@@ -279,25 +286,25 @@ export class Oracle {
279
286
  +status,
280
287
  );
281
288
 
282
- const returnDataAsArrayOfPackedRetrievedNotes = noteDatas.map(noteData =>
283
- packAsRetrievedNote({
289
+ const returnDataAsArrayOfPackedHintedNotes = noteDatas.map(noteData =>
290
+ packAsHintedNote({
284
291
  contractAddress: noteData.contractAddress,
285
292
  owner: noteData.owner,
286
293
  randomness: noteData.randomness,
287
294
  storageSlot: noteData.storageSlot,
288
295
  noteNonce: noteData.noteNonce,
289
- index: noteData.index,
296
+ isPending: noteData.isPending,
290
297
  note: noteData.note,
291
298
  }),
292
299
  );
293
300
 
294
301
  // Now we convert each sub-array to an array of ACVMField
295
- const returnDataAsArrayOfACVMFieldArrays = returnDataAsArrayOfPackedRetrievedNotes.map(subArray =>
302
+ const returnDataAsArrayOfACVMFieldArrays = returnDataAsArrayOfPackedHintedNotes.map(subArray =>
296
303
  subArray.map(toACVMField),
297
304
  );
298
305
 
299
306
  // At last we convert the array of arrays to a bounded vec of arrays
300
- return arrayOfArraysToBoundedVecOfArrays(returnDataAsArrayOfACVMFieldArrays, +maxNotes, +packedRetrievedNoteLength);
307
+ return arrayOfArraysToBoundedVecOfArrays(returnDataAsArrayOfACVMFieldArrays, +maxNotes, +packedHintedNoteLength);
301
308
  }
302
309
 
303
310
  privateNotifyCreatedNote(
@@ -339,6 +346,14 @@ export class Oracle {
339
346
  return [];
340
347
  }
341
348
 
349
+ async privateIsNullifierPending([innerNullifier]: ACVMField[], [contractAddress]: ACVMField[]): Promise<ACVMField[]> {
350
+ const isPending = await this.handlerAsPrivate().privateIsNullifierPending(
351
+ Fr.fromString(innerNullifier),
352
+ AztecAddress.fromString(contractAddress),
353
+ );
354
+ return [toACVMField(isPending)];
355
+ }
356
+
342
357
  async utilityCheckNullifierExists([innerNullifier]: ACVMField[]): Promise<ACVMField[]> {
343
358
  const exists = await this.handlerAsUtility().utilityCheckNullifierExists(Fr.fromString(innerNullifier));
344
359
  return [toACVMField(exists)];
@@ -358,15 +373,15 @@ export class Oracle {
358
373
  }
359
374
 
360
375
  async utilityStorageRead(
376
+ [blockHash]: ACVMField[],
361
377
  [contractAddress]: ACVMField[],
362
378
  [startStorageSlot]: ACVMField[],
363
- [blockNumber]: ACVMField[],
364
379
  [numberOfElements]: ACVMField[],
365
380
  ): Promise<ACVMField[][]> {
366
381
  const values = await this.handlerAsUtility().utilityStorageRead(
382
+ L2BlockHash.fromString(blockHash),
367
383
  new AztecAddress(Fr.fromString(contractAddress)),
368
384
  Fr.fromString(startStorageSlot),
369
- BlockNumber(+blockNumber),
370
385
  +numberOfElements,
371
386
  );
372
387
  return [values.map(toACVMField)];
@@ -1,5 +1,4 @@
1
1
  import { PRIVATE_CIRCUIT_PUBLIC_INPUTS_LENGTH, PRIVATE_CONTEXT_INPUTS_LENGTH } from '@aztec/constants';
2
- import { BlockNumber } from '@aztec/foundation/branded-types';
3
2
  import { Fr } from '@aztec/foundation/curves/bn254';
4
3
  import { createLogger } from '@aztec/foundation/log';
5
4
  import { Timer } from '@aztec/foundation/timer';
@@ -15,17 +14,18 @@ import {
15
14
  import {
16
15
  type FunctionArtifact,
17
16
  type FunctionArtifactWithContractName,
17
+ type FunctionCall,
18
18
  type FunctionSelector,
19
19
  countArgumentsSize,
20
20
  } from '@aztec/stdlib/abi';
21
21
  import type { AztecAddress } from '@aztec/stdlib/aztec-address';
22
+ import { L2BlockHash } from '@aztec/stdlib/block';
22
23
  import type { ContractInstance } from '@aztec/stdlib/contract';
23
24
  import { DelayedPublicMutableValues, DelayedPublicMutableValuesWithHash } from '@aztec/stdlib/delayed-public-mutable';
24
25
  import type { AztecNode } from '@aztec/stdlib/interfaces/client';
25
26
  import { PrivateCircuitPublicInputs } from '@aztec/stdlib/kernel';
26
27
  import type { CircuitWitnessGenerationStats } from '@aztec/stdlib/stats';
27
28
  import { BlockHeader, PrivateCallExecutionResult } from '@aztec/stdlib/tx';
28
- import type { UInt64 } from '@aztec/stdlib/types';
29
29
 
30
30
  import { ContractStore } from '../../storage/contract_store/index.js';
31
31
  import { Oracle } from './oracle.js';
@@ -85,7 +85,6 @@ export async function executePrivateFunction(
85
85
 
86
86
  const rawReturnValues = await privateExecutionOracle.privateLoadFromExecutionCache(publicInputs.returnsHash);
87
87
 
88
- const noteHashLeafIndexMap = privateExecutionOracle.getNoteHashLeafIndexMap();
89
88
  const newNotes = privateExecutionOracle.getNewNotes();
90
89
  const noteHashNullifierCounterMap = privateExecutionOracle.getNoteHashNullifierCounterMap();
91
90
  const offchainEffects = privateExecutionOracle.getOffchainEffects();
@@ -108,7 +107,6 @@ export async function executePrivateFunction(
108
107
  Buffer.from(artifact.verificationKey!, 'base64'),
109
108
  partialWitness,
110
109
  publicInputs,
111
- noteHashLeafIndexMap,
112
110
  newNotes,
113
111
  noteHashNullifierCounterMap,
114
112
  rawReturnValues,
@@ -154,21 +152,22 @@ export function extractPrivateCircuitPublicInputs(
154
152
  * from the instance is used.
155
153
  * @param contractAddress - The address of the contract to read the class id for.
156
154
  * @param instance - The instance of the contract.
157
- * @param executionStore - The execution data provider.
158
- * @param blockNumber - The block number at which to load the DelayedPublicMutable storing the class id.
159
- * @param timestamp - The timestamp at which to obtain the class id from the DelayedPublicMutable.
155
+ * @param aztecNode - The Aztec node to query for storage.
156
+ * @param header - The header of the block at which to load the DelayedPublicMutable storing the class id.
160
157
  * @returns The current class id.
161
158
  */
162
159
  export async function readCurrentClassId(
163
160
  contractAddress: AztecAddress,
164
161
  instance: ContractInstance,
165
162
  aztecNode: AztecNode,
166
- blockNumber: BlockNumber,
167
- timestamp: UInt64,
163
+ header: BlockHeader,
168
164
  ) {
165
+ const blockHashFr = await header.hash();
166
+ const blockHash = L2BlockHash.fromField(blockHashFr);
167
+ const timestamp = header.globalVariables.timestamp;
169
168
  const { delayedPublicMutableSlot } = await DelayedPublicMutableValuesWithHash.getContractUpdateSlots(contractAddress);
170
169
  const delayedPublicMutableValues = await DelayedPublicMutableValues.readFromTree(delayedPublicMutableSlot, slot =>
171
- aztecNode.getPublicStorageAt(blockNumber, ProtocolContractAddress.ContractInstanceRegistry, slot),
170
+ aztecNode.getPublicStorageAt(blockHash, ProtocolContractAddress.ContractInstanceRegistry, slot),
172
171
  );
173
172
  let currentClassId = delayedPublicMutableValues.svc.getCurrentAt(timestamp)[0];
174
173
  if (currentClassId.isZero()) {
@@ -180,10 +179,9 @@ export async function readCurrentClassId(
180
179
  /**
181
180
  * Verify that the current class id of a contract obtained from AztecNode is the same as the one in contract data
182
181
  * provider (i.e. PXE's own storage).
183
- * @param header - The header of the block at which to verify the current class id. If not provided, the anchor block
184
- * header of the execution data provider is used.
182
+ * @param header - The header of the block at which to verify the current class id.
185
183
  */
186
- export async function verifyCurrentClassId(
184
+ async function verifyCurrentClassId(
187
185
  contractAddress: AztecAddress,
188
186
  aztecNode: AztecNode,
189
187
  contractStore: ContractStore,
@@ -194,16 +192,28 @@ export async function verifyCurrentClassId(
194
192
  throw new Error(`No contract instance found for address ${contractAddress.toString()}`);
195
193
  }
196
194
 
197
- const currentClassId = await readCurrentClassId(
198
- contractAddress,
199
- instance,
200
- aztecNode,
201
- header.globalVariables.blockNumber,
202
- header.globalVariables.timestamp,
203
- );
195
+ const currentClassId = await readCurrentClassId(contractAddress, instance, aztecNode, header);
204
196
  if (!instance.currentContractClassId.equals(currentClassId)) {
205
197
  throw new Error(
206
198
  `Contract ${contractAddress} is outdated, current class id is ${currentClassId}, local class id is ${instance.currentContractClassId}`,
207
199
  );
208
200
  }
209
201
  }
202
+
203
+ /**
204
+ * Ensures the contract's private state is synchronized and that the PXE holds the current class artifact for
205
+ * the contract.
206
+ */
207
+ export async function ensureContractSynced(
208
+ contractAddress: AztecAddress,
209
+ functionToInvokeAfterSync: FunctionSelector | null,
210
+ utilityExecutor: (call: FunctionCall) => Promise<any>,
211
+ aztecNode: AztecNode,
212
+ contractStore: ContractStore,
213
+ header: BlockHeader,
214
+ ): Promise<void> {
215
+ await Promise.all([
216
+ contractStore.syncPrivateState(contractAddress, functionToInvokeAfterSync, utilityExecutor),
217
+ verifyCurrentClassId(contractAddress, aztecNode, contractStore, header),
218
+ ]);
219
+ }
@@ -7,13 +7,15 @@ import { type CircuitSimulator, toACVMWitness } from '@aztec/simulator/client';
7
7
  import {
8
8
  type FunctionAbi,
9
9
  type FunctionArtifact,
10
+ type FunctionCall,
10
11
  FunctionSelector,
11
12
  type NoteSelector,
12
13
  countArgumentsSize,
13
14
  } from '@aztec/stdlib/abi';
14
15
  import type { AuthWitness } from '@aztec/stdlib/auth-witness';
15
16
  import { AztecAddress } from '@aztec/stdlib/aztec-address';
16
- import { computeUniqueNoteHash, siloNoteHash, siloNullifier } from '@aztec/stdlib/hash';
17
+ import { L2BlockHash } from '@aztec/stdlib/block';
18
+ import { siloNullifier } from '@aztec/stdlib/hash';
17
19
  import type { AztecNode } from '@aztec/stdlib/interfaces/client';
18
20
  import { PrivateContextInputs } from '@aztec/stdlib/kernel';
19
21
  import { type ContractClassLog, DirectionalAppTaggingSecret, type PreTag } from '@aztec/stdlib/logs';
@@ -45,7 +47,7 @@ import { ExecutionTaggingIndexCache } from '../execution_tagging_index_cache.js'
45
47
  import type { HashedValuesCache } from '../hashed_values_cache.js';
46
48
  import { pickNotes } from '../pick_notes.js';
47
49
  import type { IPrivateExecutionOracle, NoteData } from './interfaces.js';
48
- import { executePrivateFunction, verifyCurrentClassId } from './private_execution.js';
50
+ import { ensureContractSynced, executePrivateFunction } from './private_execution.js';
49
51
  import { UtilityExecutionOracle } from './utility_execution_oracle.js';
50
52
 
51
53
  /**
@@ -63,16 +65,6 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
63
65
  * Users can also use this to get a clearer idea of what's happened during a simulation.
64
66
  */
65
67
  private newNotes: NoteAndSlot[] = [];
66
- /**
67
- * Notes from previous transactions that are returned to the oracle call `getNotes` during this execution.
68
- * The mapping maps from the unique siloed note hash to the index for notes created in private executions.
69
- * It maps from siloed note hash to the index for notes created by public functions.
70
- *
71
- * They are not part of the ExecutionNoteCache and being forwarded to nested contexts via `extend()`
72
- * because these notes are meant to be maintained on a per-call basis
73
- * They should act as references for the read requests output by an app circuit via public inputs.
74
- */
75
- private noteHashLeafIndexMap: Map<bigint, bigint> = new Map();
76
68
  private noteHashNullifierCounterMap: Map<number, number> = new Map();
77
69
  private contractClassLogs: CountedContractClassLog[] = [];
78
70
  private offchainEffects: { data: Fr[] }[] = [];
@@ -84,6 +76,8 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
84
76
  private readonly callContext: CallContext,
85
77
  /** Header of a block whose state is used during private execution (not the block the transaction is included in). */
86
78
  protected override readonly anchorBlockHeader: BlockHeader,
79
+ /** Needed to trigger contract synchronization before nested calls */
80
+ private readonly utilityExecutor: (call: FunctionCall) => Promise<void>,
87
81
  /** List of transient auth witnesses to be used during this simulation */
88
82
  authWitnesses: AuthWitness[],
89
83
  capsules: Capsule[],
@@ -101,6 +95,7 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
101
95
  senderAddressBookStore: SenderAddressBookStore,
102
96
  capsuleStore: CapsuleStore,
103
97
  privateEventStore: PrivateEventStore,
98
+ jobId: string,
104
99
  private totalPublicCalldataCount: number = 0,
105
100
  protected sideEffectCounter: number = 0,
106
101
  log = createLogger('simulator:client_execution_context'),
@@ -123,6 +118,7 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
123
118
  senderAddressBookStore,
124
119
  capsuleStore,
125
120
  privateEventStore,
121
+ jobId,
126
122
  log,
127
123
  scopes,
128
124
  );
@@ -157,14 +153,6 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
157
153
  return toACVMWitness(0, fields);
158
154
  }
159
155
 
160
- /**
161
- * The KernelProver will use this to fully populate witnesses and provide hints to the kernel circuit
162
- * regarding which note hash each settled read request corresponds to.
163
- */
164
- public getNoteHashLeafIndexMap() {
165
- return this.noteHashLeafIndexMap;
166
- }
167
-
168
156
  /**
169
157
  * Get the data for the newly created notes.
170
158
  */
@@ -278,9 +266,17 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
278
266
  // This is a tagging secret we've not yet used in this tx, so first sync our store to make sure its indices
279
267
  // are up to date. We do this here because this store is not synced as part of the global sync because
280
268
  // that'd be wasteful as most tagging secrets are not used in each tx.
281
- await syncSenderTaggingIndexes(secret, this.contractAddress, this.aztecNode, this.senderTaggingStore);
282
-
283
- const lastUsedIndex = await this.senderTaggingStore.getLastUsedIndex(secret);
269
+ const anchorBlockHash = L2BlockHash.fromField(await this.anchorBlockHeader.hash());
270
+ await syncSenderTaggingIndexes(
271
+ secret,
272
+ this.contractAddress,
273
+ this.aztecNode,
274
+ this.senderTaggingStore,
275
+ anchorBlockHash,
276
+ this.jobId,
277
+ );
278
+
279
+ const lastUsedIndex = await this.senderTaggingStore.getLastUsedIndex(secret, this.jobId);
284
280
  // If lastUsedIndex is undefined, we've never used this secret, so start from 0
285
281
  // Otherwise, the next index to use is one past the last used index
286
282
  return lastUsedIndex === undefined ? 0 : lastUsedIndex + 1;
@@ -369,7 +365,7 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
369
365
 
370
366
  const pendingNullifiers = this.noteCache.getNullifiers(this.callContext.contractAddress);
371
367
 
372
- const noteService = new NoteService(this.noteStore, this.aztecNode, this.anchorBlockStore);
368
+ const noteService = new NoteService(this.noteStore, this.aztecNode, this.anchorBlockStore, this.jobId);
373
369
  const dbNotes = await noteService.getNotes(
374
370
  this.callContext.contractAddress,
375
371
  owner,
@@ -399,23 +395,6 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
399
395
  .join(', ')}`,
400
396
  );
401
397
 
402
- const noteHashesAndIndexes = await Promise.all(
403
- notes.map(async n => {
404
- if (n.index !== undefined) {
405
- const siloedNoteHash = await siloNoteHash(n.contractAddress, n.noteHash);
406
- const uniqueNoteHash = await computeUniqueNoteHash(n.noteNonce, siloedNoteHash);
407
-
408
- return { hash: uniqueNoteHash, index: n.index };
409
- }
410
- }),
411
- );
412
-
413
- noteHashesAndIndexes
414
- .filter(n => n !== undefined)
415
- .forEach(n => {
416
- this.noteHashLeafIndexMap.set(n!.hash.toBigInt(), n!.index);
417
- });
418
-
419
398
  return notes;
420
399
  }
421
400
 
@@ -458,6 +437,7 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
458
437
  note,
459
438
  siloedNullifier: undefined, // Siloed nullifier cannot be known for newly created note.
460
439
  noteHash,
440
+ isPending: true, // This note has just been created and hence is not settled yet.
461
441
  },
462
442
  counter,
463
443
  );
@@ -492,6 +472,19 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
492
472
  return this.noteCache.nullifierCreated(this.callContext.contractAddress, innerNullifier);
493
473
  }
494
474
 
475
+ /**
476
+ * Check if a nullifier has been emitted in the same transaction, i.e. if privateNotifyCreatedNullifier has been
477
+ * called for this inner nullifier from the contract with the specified address.
478
+ * @param innerNullifier - The inner nullifier to check.
479
+ * @param contractAddress - Address of the contract that emitted the nullifier.
480
+ * @returns A boolean indicating whether the nullifier is pending or not.
481
+ */
482
+ public async privateIsNullifierPending(innerNullifier: Fr, contractAddress: AztecAddress): Promise<boolean> {
483
+ const siloedNullifier = await siloNullifier(contractAddress, innerNullifier);
484
+ const isNullifierPending = this.noteCache.getNullifiers(contractAddress).has(siloedNullifier.toBigInt());
485
+ return Promise.resolve(isNullifierPending);
486
+ }
487
+
495
488
  /**
496
489
  * Emit a contract class log.
497
490
  * This fn exists because we only carry a poseidon hash through the kernels, and need to
@@ -548,7 +541,14 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
548
541
 
549
542
  isStaticCall = isStaticCall || this.callContext.isStaticCall;
550
543
 
551
- await verifyCurrentClassId(targetContractAddress, this.aztecNode, this.contractStore, this.anchorBlockHeader);
544
+ await ensureContractSynced(
545
+ targetContractAddress,
546
+ functionSelector,
547
+ this.utilityExecutor,
548
+ this.aztecNode,
549
+ this.contractStore,
550
+ this.anchorBlockHeader,
551
+ );
552
552
 
553
553
  const targetArtifact = await this.contractStore.getFunctionArtifactWithDebugMetadata(
554
554
  targetContractAddress,
@@ -564,6 +564,7 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
564
564
  derivedTxContext,
565
565
  derivedCallContext,
566
566
  this.anchorBlockHeader,
567
+ this.utilityExecutor,
567
568
  this.authWitnesses,
568
569
  this.capsules,
569
570
  this.executionCache,
@@ -580,6 +581,7 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
580
581
  this.senderAddressBookStore,
581
582
  this.capsuleStore,
582
583
  this.privateEventStore,
584
+ this.jobId,
583
585
  this.totalPublicCalldataCount,
584
586
  sideEffectCounter,
585
587
  this.log,