@aztec/pxe 0.0.1-commit.6d3c34e → 0.0.1-commit.7cf39cb55

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 (230) hide show
  1. package/dest/bin/check_oracle_version.js +1 -1
  2. package/dest/block_synchronizer/block_synchronizer.d.ts +11 -5
  3. package/dest/block_synchronizer/block_synchronizer.d.ts.map +1 -1
  4. package/dest/block_synchronizer/block_synchronizer.js +72 -21
  5. package/dest/config/index.d.ts +3 -1
  6. package/dest/config/index.d.ts.map +1 -1
  7. package/dest/config/index.js +17 -0
  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 +55 -34
  12. package/dest/contract_function_simulator/contract_function_simulator.d.ts.map +1 -1
  13. package/dest/contract_function_simulator/contract_function_simulator.js +193 -79
  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 +1 -1
  21. package/dest/contract_function_simulator/noir-structs/event_validation_request.js +1 -1
  22. package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts +1 -1
  23. package/dest/contract_function_simulator/noir-structs/note_validation_request.js +1 -1
  24. package/dest/contract_function_simulator/noir-structs/utility_context.d.ts +4 -10
  25. package/dest/contract_function_simulator/noir-structs/utility_context.d.ts.map +1 -1
  26. package/dest/contract_function_simulator/noir-structs/utility_context.js +7 -18
  27. package/dest/contract_function_simulator/oracle/interfaces.d.ts +17 -13
  28. package/dest/contract_function_simulator/oracle/interfaces.d.ts.map +1 -1
  29. package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts +3 -1
  30. package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts.map +1 -1
  31. package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts +6 -6
  32. package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts.map +1 -1
  33. package/dest/contract_function_simulator/oracle/note_packing_utils.js +8 -8
  34. package/dest/contract_function_simulator/oracle/oracle.d.ts +12 -10
  35. package/dest/contract_function_simulator/oracle/oracle.d.ts.map +1 -1
  36. package/dest/contract_function_simulator/oracle/oracle.js +67 -44
  37. package/dest/contract_function_simulator/oracle/private_execution.d.ts +2 -26
  38. package/dest/contract_function_simulator/oracle/private_execution.d.ts.map +1 -1
  39. package/dest/contract_function_simulator/oracle/private_execution.js +0 -35
  40. package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts +43 -35
  41. package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts.map +1 -1
  42. package/dest/contract_function_simulator/oracle/private_execution_oracle.js +90 -25
  43. package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts +65 -33
  44. package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts.map +1 -1
  45. package/dest/contract_function_simulator/oracle/utility_execution_oracle.js +131 -109
  46. package/dest/contract_sync/contract_sync_service.d.ts +42 -0
  47. package/dest/contract_sync/contract_sync_service.d.ts.map +1 -0
  48. package/dest/contract_sync/contract_sync_service.js +97 -0
  49. package/dest/contract_sync/helpers.d.ts +28 -0
  50. package/dest/contract_sync/helpers.d.ts.map +1 -0
  51. package/dest/contract_sync/helpers.js +55 -0
  52. package/dest/debug/pxe_debug_utils.d.ts +22 -9
  53. package/dest/debug/pxe_debug_utils.d.ts.map +1 -1
  54. package/dest/debug/pxe_debug_utils.js +28 -17
  55. package/dest/entrypoints/client/bundle/utils.d.ts +1 -1
  56. package/dest/entrypoints/client/bundle/utils.d.ts.map +1 -1
  57. package/dest/entrypoints/client/bundle/utils.js +21 -7
  58. package/dest/entrypoints/client/lazy/utils.d.ts +2 -2
  59. package/dest/entrypoints/client/lazy/utils.d.ts.map +1 -1
  60. package/dest/entrypoints/client/lazy/utils.js +22 -8
  61. package/dest/entrypoints/pxe_creation_options.d.ts +3 -2
  62. package/dest/entrypoints/pxe_creation_options.d.ts.map +1 -1
  63. package/dest/entrypoints/server/index.d.ts +3 -1
  64. package/dest/entrypoints/server/index.d.ts.map +1 -1
  65. package/dest/entrypoints/server/index.js +2 -0
  66. package/dest/entrypoints/server/utils.d.ts +1 -1
  67. package/dest/entrypoints/server/utils.d.ts.map +1 -1
  68. package/dest/entrypoints/server/utils.js +28 -9
  69. package/dest/events/event_service.d.ts +6 -6
  70. package/dest/events/event_service.d.ts.map +1 -1
  71. package/dest/events/event_service.js +19 -22
  72. package/dest/events/private_event_filter_validator.d.ts +5 -5
  73. package/dest/events/private_event_filter_validator.d.ts.map +1 -1
  74. package/dest/events/private_event_filter_validator.js +5 -6
  75. package/dest/job_coordinator/job_coordinator.d.ts +3 -2
  76. package/dest/job_coordinator/job_coordinator.d.ts.map +1 -1
  77. package/dest/job_coordinator/job_coordinator.js +3 -2
  78. package/dest/logs/log_service.d.ts +7 -5
  79. package/dest/logs/log_service.d.ts.map +1 -1
  80. package/dest/logs/log_service.js +27 -29
  81. package/dest/notes/note_service.d.ts +7 -7
  82. package/dest/notes/note_service.d.ts.map +1 -1
  83. package/dest/notes/note_service.js +31 -36
  84. package/dest/oracle_version.d.ts +3 -3
  85. package/dest/oracle_version.d.ts.map +1 -1
  86. package/dest/oracle_version.js +4 -3
  87. package/dest/private_kernel/hints/index.d.ts +2 -2
  88. package/dest/private_kernel/hints/index.d.ts.map +1 -1
  89. package/dest/private_kernel/hints/index.js +1 -1
  90. package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts +28 -0
  91. package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts.map +1 -0
  92. package/dest/private_kernel/hints/{build_private_kernel_reset_private_inputs.js → private_kernel_reset_private_inputs_builder.js} +12 -6
  93. package/dest/private_kernel/private_kernel_execution_prover.d.ts +3 -2
  94. package/dest/private_kernel/private_kernel_execution_prover.d.ts.map +1 -1
  95. package/dest/private_kernel/private_kernel_execution_prover.js +3 -3
  96. package/dest/private_kernel/private_kernel_oracle.d.ts +23 -28
  97. package/dest/private_kernel/private_kernel_oracle.d.ts.map +1 -1
  98. package/dest/private_kernel/private_kernel_oracle.js +90 -2
  99. package/dest/pxe.d.ts +74 -58
  100. package/dest/pxe.d.ts.map +1 -1
  101. package/dest/pxe.js +100 -114
  102. package/dest/storage/address_store/address_store.d.ts +1 -1
  103. package/dest/storage/address_store/address_store.d.ts.map +1 -1
  104. package/dest/storage/address_store/address_store.js +12 -11
  105. package/dest/storage/anchor_block_store/anchor_block_store.d.ts +9 -1
  106. package/dest/storage/anchor_block_store/anchor_block_store.d.ts.map +1 -1
  107. package/dest/storage/anchor_block_store/anchor_block_store.js +8 -1
  108. package/dest/storage/capsule_store/capsule_store.d.ts +24 -9
  109. package/dest/storage/capsule_store/capsule_store.d.ts.map +1 -1
  110. package/dest/storage/capsule_store/capsule_store.js +130 -23
  111. package/dest/storage/contract_store/contract_store.d.ts +1 -2
  112. package/dest/storage/contract_store/contract_store.d.ts.map +1 -1
  113. package/dest/storage/contract_store/contract_store.js +27 -30
  114. package/dest/storage/metadata.d.ts +1 -1
  115. package/dest/storage/metadata.js +1 -1
  116. package/dest/storage/note_store/note_store.d.ts +50 -52
  117. package/dest/storage/note_store/note_store.d.ts.map +1 -1
  118. package/dest/storage/note_store/note_store.js +284 -263
  119. package/dest/storage/note_store/stored_note.d.ts +16 -0
  120. package/dest/storage/note_store/stored_note.d.ts.map +1 -0
  121. package/dest/storage/note_store/stored_note.js +43 -0
  122. package/dest/storage/private_event_store/private_event_store.d.ts +43 -8
  123. package/dest/storage/private_event_store/private_event_store.d.ts.map +1 -1
  124. package/dest/storage/private_event_store/private_event_store.js +226 -111
  125. package/dest/storage/private_event_store/stored_private_event.d.ts +23 -0
  126. package/dest/storage/private_event_store/stored_private_event.d.ts.map +1 -0
  127. package/dest/storage/private_event_store/stored_private_event.js +56 -0
  128. package/dest/storage/tagging_store/recipient_tagging_store.d.ts +15 -8
  129. package/dest/storage/tagging_store/recipient_tagging_store.d.ts.map +1 -1
  130. package/dest/storage/tagging_store/recipient_tagging_store.js +88 -19
  131. package/dest/storage/tagging_store/sender_address_book_store.d.ts +1 -1
  132. package/dest/storage/tagging_store/sender_address_book_store.d.ts.map +1 -1
  133. package/dest/storage/tagging_store/sender_address_book_store.js +20 -14
  134. package/dest/storage/tagging_store/sender_tagging_store.d.ts +19 -9
  135. package/dest/storage/tagging_store/sender_tagging_store.d.ts.map +1 -1
  136. package/dest/storage/tagging_store/sender_tagging_store.js +252 -100
  137. package/dest/tagging/get_all_logs_by_tags.d.ts +24 -0
  138. package/dest/tagging/get_all_logs_by_tags.d.ts.map +1 -0
  139. package/dest/tagging/get_all_logs_by_tags.js +46 -0
  140. package/dest/tagging/index.d.ts +2 -1
  141. package/dest/tagging/index.d.ts.map +1 -1
  142. package/dest/tagging/index.js +1 -0
  143. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts +3 -2
  144. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts.map +1 -1
  145. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.js +6 -6
  146. package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts +3 -2
  147. package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts.map +1 -1
  148. package/dest/tagging/recipient_sync/utils/load_logs_for_range.js +5 -2
  149. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts +3 -2
  150. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts.map +1 -1
  151. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.js +7 -7
  152. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts +1 -1
  153. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts.map +1 -1
  154. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.js +5 -8
  155. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts +5 -2
  156. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts.map +1 -1
  157. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.js +10 -5
  158. package/package.json +27 -18
  159. package/src/bin/check_oracle_version.ts +1 -0
  160. package/src/block_synchronizer/block_synchronizer.ts +91 -33
  161. package/src/config/index.ts +14 -0
  162. package/src/contract_function_simulator/benchmarked_node.ts +103 -0
  163. package/src/contract_function_simulator/contract_function_simulator.ts +341 -139
  164. package/src/contract_function_simulator/execution_note_cache.ts +44 -25
  165. package/src/contract_function_simulator/index.ts +1 -1
  166. package/src/contract_function_simulator/noir-structs/event_validation_request.ts +1 -1
  167. package/src/contract_function_simulator/noir-structs/note_validation_request.ts +1 -1
  168. package/src/contract_function_simulator/noir-structs/utility_context.ts +6 -25
  169. package/src/contract_function_simulator/oracle/interfaces.ts +22 -12
  170. package/src/contract_function_simulator/oracle/note_packing_utils.ts +10 -10
  171. package/src/contract_function_simulator/oracle/oracle.ts +79 -47
  172. package/src/contract_function_simulator/oracle/private_execution.ts +1 -67
  173. package/src/contract_function_simulator/oracle/private_execution_oracle.ts +125 -103
  174. package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +195 -116
  175. package/src/contract_sync/contract_sync_service.ts +145 -0
  176. package/src/contract_sync/helpers.ts +93 -0
  177. package/src/debug/pxe_debug_utils.ts +61 -17
  178. package/src/entrypoints/client/bundle/utils.ts +16 -15
  179. package/src/entrypoints/client/lazy/utils.ts +17 -15
  180. package/src/entrypoints/pxe_creation_options.ts +2 -1
  181. package/src/entrypoints/server/index.ts +2 -0
  182. package/src/entrypoints/server/utils.ts +22 -26
  183. package/src/events/event_service.ts +17 -25
  184. package/src/events/private_event_filter_validator.ts +3 -5
  185. package/src/job_coordinator/job_coordinator.ts +4 -3
  186. package/src/logs/log_service.ts +38 -29
  187. package/src/notes/note_service.ts +38 -43
  188. package/src/oracle_version.ts +4 -3
  189. package/src/private_kernel/hints/index.ts +1 -1
  190. package/src/private_kernel/hints/{build_private_kernel_reset_private_inputs.ts → private_kernel_reset_private_inputs_builder.ts} +32 -20
  191. package/src/private_kernel/private_kernel_execution_prover.ts +7 -4
  192. package/src/private_kernel/private_kernel_oracle.ts +116 -37
  193. package/src/pxe.ts +205 -183
  194. package/src/storage/address_store/address_store.ts +15 -15
  195. package/src/storage/anchor_block_store/anchor_block_store.ts +8 -0
  196. package/src/storage/capsule_store/capsule_store.ts +159 -23
  197. package/src/storage/contract_store/contract_store.ts +26 -35
  198. package/src/storage/metadata.ts +1 -1
  199. package/src/storage/note_store/note_store.ts +321 -319
  200. package/src/storage/note_store/stored_note.ts +48 -0
  201. package/src/storage/private_event_store/private_event_store.ts +292 -124
  202. package/src/storage/private_event_store/stored_private_event.ts +73 -0
  203. package/src/storage/tagging_store/recipient_tagging_store.ts +106 -20
  204. package/src/storage/tagging_store/sender_address_book_store.ts +20 -14
  205. package/src/storage/tagging_store/sender_tagging_store.ts +293 -108
  206. package/src/tagging/get_all_logs_by_tags.ts +68 -0
  207. package/src/tagging/index.ts +1 -0
  208. package/src/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.ts +16 -5
  209. package/src/tagging/recipient_sync/utils/load_logs_for_range.ts +7 -1
  210. package/src/tagging/sender_sync/sync_sender_tagging_indexes.ts +9 -6
  211. package/src/tagging/sender_sync/utils/get_status_change_of_pending.ts +5 -17
  212. package/src/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.ts +16 -4
  213. package/dest/contract_function_simulator/proxied_node.d.ts +0 -9
  214. package/dest/contract_function_simulator/proxied_node.d.ts.map +0 -1
  215. package/dest/contract_function_simulator/proxied_node.js +0 -27
  216. package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts +0 -28
  217. package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts.map +0 -1
  218. package/dest/private_kernel/private_kernel_oracle_impl.d.ts +0 -46
  219. package/dest/private_kernel/private_kernel_oracle_impl.d.ts.map +0 -1
  220. package/dest/private_kernel/private_kernel_oracle_impl.js +0 -85
  221. package/dest/public_storage/public_storage_service.d.ts +0 -24
  222. package/dest/public_storage/public_storage_service.d.ts.map +0 -1
  223. package/dest/public_storage/public_storage_service.js +0 -26
  224. package/dest/tree_membership/tree_membership_service.d.ts +0 -52
  225. package/dest/tree_membership/tree_membership_service.d.ts.map +0 -1
  226. package/dest/tree_membership/tree_membership_service.js +0 -84
  227. package/src/contract_function_simulator/proxied_node.ts +0 -33
  228. package/src/private_kernel/private_kernel_oracle_impl.ts +0 -127
  229. package/src/public_storage/public_storage_service.ts +0 -33
  230. package/src/tree_membership/tree_membership_service.ts +0 -112
@@ -4,12 +4,12 @@ import { LogLevels, applyStringFormatting, createLogger } from '@aztec/foundatio
4
4
  import { siloNullifier } from '@aztec/stdlib/hash';
5
5
  import { computeAddressSecret } from '@aztec/stdlib/keys';
6
6
  import { deriveEcdhSharedSecret } from '@aztec/stdlib/logs';
7
+ import { getNonNullifiedL1ToL2MessageWitness } from '@aztec/stdlib/messaging';
8
+ import { MerkleTreeId } from '@aztec/stdlib/trees';
7
9
  import { EventService } from '../../events/event_service.js';
8
10
  import { LogService } from '../../logs/log_service.js';
9
11
  import { NoteService } from '../../notes/note_service.js';
10
12
  import { ORACLE_VERSION } from '../../oracle_version.js';
11
- import { PublicStorageService } from '../../public_storage/public_storage_service.js';
12
- import { TreeMembershipService } from '../../tree_membership/tree_membership_service.js';
13
13
  import { EventValidationRequest } from '../noir-structs/event_validation_request.js';
14
14
  import { LogRetrievalRequest } from '../noir-structs/log_retrieval_request.js';
15
15
  import { LogRetrievalResponse } from '../noir-structs/log_retrieval_response.js';
@@ -20,6 +20,9 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
20
20
  /**
21
21
  * The oracle for an execution of utility contract functions.
22
22
  */ export class UtilityExecutionOracle {
23
+ isMisc = true;
24
+ isUtility = true;
25
+ contractLogger;
23
26
  contractAddress;
24
27
  authWitnesses;
25
28
  capsules;
@@ -29,7 +32,6 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
29
32
  keyStore;
30
33
  addressStore;
31
34
  aztecNode;
32
- anchorBlockStore;
33
35
  recipientTaggingStore;
34
36
  senderAddressBookStore;
35
37
  capsuleStore;
@@ -37,30 +39,23 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
37
39
  jobId;
38
40
  log;
39
41
  scopes;
40
- isMisc;
41
- isUtility;
42
- aztecNrDebugLog;
43
- constructor(contractAddress, /** List of transient auth witnesses to be used during this simulation */ authWitnesses, capsules, anchorBlockHeader, contractStore, noteStore, keyStore, addressStore, aztecNode, anchorBlockStore, recipientTaggingStore, senderAddressBookStore, capsuleStore, privateEventStore, jobId, log = createLogger('simulator:client_view_context'), scopes){
44
- this.contractAddress = contractAddress;
45
- this.authWitnesses = authWitnesses;
46
- this.capsules = capsules;
47
- this.anchorBlockHeader = anchorBlockHeader;
48
- this.contractStore = contractStore;
49
- this.noteStore = noteStore;
50
- this.keyStore = keyStore;
51
- this.addressStore = addressStore;
52
- this.aztecNode = aztecNode;
53
- this.anchorBlockStore = anchorBlockStore;
54
- this.recipientTaggingStore = recipientTaggingStore;
55
- this.senderAddressBookStore = senderAddressBookStore;
56
- this.capsuleStore = capsuleStore;
57
- this.privateEventStore = privateEventStore;
58
- this.jobId = jobId;
59
- this.log = log;
60
- this.scopes = scopes;
61
- this.isMisc = true;
62
- this.isUtility = true;
63
- this.aztecNrDebugLog = createLogger('aztec-nr:debug_log');
42
+ constructor(args){
43
+ this.contractAddress = args.contractAddress;
44
+ this.authWitnesses = args.authWitnesses;
45
+ this.capsules = args.capsules;
46
+ this.anchorBlockHeader = args.anchorBlockHeader;
47
+ this.contractStore = args.contractStore;
48
+ this.noteStore = args.noteStore;
49
+ this.keyStore = args.keyStore;
50
+ this.addressStore = args.addressStore;
51
+ this.aztecNode = args.aztecNode;
52
+ this.recipientTaggingStore = args.recipientTaggingStore;
53
+ this.senderAddressBookStore = args.senderAddressBookStore;
54
+ this.capsuleStore = args.capsuleStore;
55
+ this.privateEventStore = args.privateEventStore;
56
+ this.jobId = args.jobId;
57
+ this.log = args.log ?? createLogger('simulator:client_view_context');
58
+ this.scopes = args.scopes;
64
59
  }
65
60
  utilityAssertCompatibleOracleVersion(version) {
66
61
  if (version !== ORACLE_VERSION) {
@@ -71,82 +66,98 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
71
66
  return Fr.random();
72
67
  }
73
68
  utilityGetUtilityContext() {
74
- return UtilityContext.from({
75
- blockNumber: this.anchorBlockHeader.globalVariables.blockNumber,
76
- timestamp: this.anchorBlockHeader.globalVariables.timestamp,
77
- contractAddress: this.contractAddress,
78
- version: this.anchorBlockHeader.globalVariables.version,
79
- chainId: this.anchorBlockHeader.globalVariables.chainId
80
- });
69
+ return new UtilityContext(this.anchorBlockHeader, this.contractAddress);
81
70
  }
82
71
  /**
83
72
  * Retrieve keys associated with a specific master public key and app address.
84
73
  * @param pkMHash - The master public key hash.
85
74
  * @returns A Promise that resolves to nullifier keys.
86
75
  * @throws If the keys are not registered in the key store.
87
- */ utilityGetKeyValidationRequest(pkMHash) {
76
+ * @throws If scopes are defined and the account is not in the scopes.
77
+ */ async utilityGetKeyValidationRequest(pkMHash) {
78
+ // If scopes are defined, check that the key belongs to an account in the scopes.
79
+ if (this.scopes && this.scopes.length > 0) {
80
+ let hasAccess = false;
81
+ for(let i = 0; i < this.scopes.length && !hasAccess; i++){
82
+ if (await this.keyStore.accountHasKey(this.scopes[i], pkMHash)) {
83
+ hasAccess = true;
84
+ }
85
+ }
86
+ if (!hasAccess) {
87
+ throw new Error(`Key validation request denied: no scoped account has a key with hash ${pkMHash.toString()}.`);
88
+ }
89
+ }
88
90
  return this.keyStore.getKeyValidationRequest(pkMHash, this.contractAddress);
89
91
  }
90
92
  /**
91
- * Fetches the index and sibling path of a leaf at a given block from a given tree.
92
- * @param blockNumber - The block number at which to get the membership witness.
93
- * @param treeId - Id of the tree to get the sibling path from.
94
- * @param leafValue - The leaf value
95
- * @returns The index and sibling path concatenated [index, sibling_path]
96
- */ utilityGetMembershipWitness(blockNumber, treeId, leafValue) {
97
- const treeMembershipService = new TreeMembershipService(this.aztecNode, this.anchorBlockStore);
98
- return treeMembershipService.getMembershipWitness(blockNumber, treeId, leafValue);
93
+ * Fetches the index and sibling path of a leaf at a given block from the note hash tree.
94
+ * @param anchorBlockHash - The hash of a block that contains the note hash tree root in which to find the membership
95
+ * witness.
96
+ * @param noteHash - The note hash to find in the note hash tree.
97
+ * @returns The membership witness containing the leaf index and sibling path
98
+ */ utilityGetNoteHashMembershipWitness(anchorBlockHash, noteHash) {
99
+ return this.aztecNode.getNoteHashMembershipWitness(anchorBlockHash, noteHash);
100
+ }
101
+ /**
102
+ * Fetches the index and sibling path of a block hash in the archive tree.
103
+ *
104
+ * Block hashes are the leaves of the archive tree. Each time a new block is added to the chain,
105
+ * its block hash is appended as a new leaf to the archive tree.
106
+ *
107
+ * @param anchorBlockHash - The hash of a block that contains the archive tree root in which to find the membership
108
+ * witness.
109
+ * @param blockHash - The block hash to find in the archive tree.
110
+ * @returns The membership witness containing the leaf index and sibling path
111
+ */ utilityGetBlockHashMembershipWitness(anchorBlockHash, blockHash) {
112
+ return this.aztecNode.getBlockHashMembershipWitness(anchorBlockHash, blockHash);
99
113
  }
100
114
  /**
101
115
  * Returns a nullifier membership witness for a given nullifier at a given block.
102
- * @param blockNumber - The block number at which to get the index.
116
+ * @param blockHash - The block hash at which to get the index.
103
117
  * @param nullifier - Nullifier we try to find witness for.
104
118
  * @returns The nullifier membership witness (if found).
105
- */ async utilityGetNullifierMembershipWitness(blockNumber, nullifier) {
106
- return await this.aztecNode.getNullifierMembershipWitness(blockNumber, nullifier);
119
+ */ utilityGetNullifierMembershipWitness(blockHash, nullifier) {
120
+ return this.aztecNode.getNullifierMembershipWitness(blockHash, nullifier);
107
121
  }
108
122
  /**
109
123
  * Returns a low nullifier membership witness for a given nullifier at a given block.
110
- * @param blockNumber - The block number at which to get the index.
124
+ * @param blockHash - The block hash at which to get the index.
111
125
  * @param nullifier - Nullifier we try to find the low nullifier witness for.
112
126
  * @returns The low nullifier membership witness (if found).
113
127
  * @remarks Low nullifier witness can be used to perform a nullifier non-inclusion proof by leveraging the "linked
114
128
  * list structure" of leaves and proving that a lower nullifier is pointing to a bigger next value than the nullifier
115
129
  * we are trying to prove non-inclusion for.
116
- */ async utilityGetLowNullifierMembershipWitness(blockNumber, nullifier) {
117
- const treeMembershipService = new TreeMembershipService(this.aztecNode, this.anchorBlockStore);
118
- return await treeMembershipService.getLowNullifierMembershipWitness(blockNumber, nullifier);
130
+ */ utilityGetLowNullifierMembershipWitness(blockHash, nullifier) {
131
+ return this.aztecNode.getLowNullifierMembershipWitness(blockHash, nullifier);
119
132
  }
120
133
  /**
121
134
  * Returns a public data tree witness for a given leaf slot at a given block.
122
- * @param blockNumber - The block number at which to get the index.
135
+ * @param blockHash - The block hash at which to get the index.
123
136
  * @param leafSlot - The slot of the public data tree to get the witness for.
124
137
  * @returns - The witness
125
- */ async utilityGetPublicDataWitness(blockNumber, leafSlot) {
126
- const treeMembershipService = new TreeMembershipService(this.aztecNode, this.anchorBlockStore);
127
- return await treeMembershipService.getPublicDataWitness(blockNumber, leafSlot);
138
+ */ utilityGetPublicDataWitness(blockHash, leafSlot) {
139
+ return this.aztecNode.getPublicDataWitness(blockHash, leafSlot);
128
140
  }
129
141
  /**
130
142
  * Fetches a block header of a given block.
131
143
  * @param blockNumber - The number of a block of which to get the block header.
132
144
  * @returns Block extracted from a block with block number `blockNumber`.
133
145
  */ async utilityGetBlockHeader(blockNumber) {
134
- const anchorBlockNumber = (await this.anchorBlockStore.getBlockHeader()).getBlockNumber();
146
+ const anchorBlockNumber = this.anchorBlockHeader.getBlockNumber();
135
147
  if (blockNumber > anchorBlockNumber) {
136
148
  throw new Error(`Block number ${blockNumber} is higher than current block ${anchorBlockNumber}`);
137
149
  }
138
150
  const block = await this.aztecNode.getBlock(blockNumber);
139
- return block?.getBlockHeader() || undefined;
151
+ return block?.header;
140
152
  }
141
153
  /**
142
154
  * Retrieve the complete address associated to a given address.
143
155
  * @param account - The account address.
144
- * @returns A complete address associated with the input address.
145
- * @throws An error if the account is not registered in the database.
146
- */ utilityGetPublicKeysAndPartialAddress(account) {
147
- return this.getCompleteAddress(account);
156
+ * @returns A complete address associated with the input address, or `undefined` if not registered.
157
+ */ utilityTryGetPublicKeysAndPartialAddress(account) {
158
+ return this.addressStore.getCompleteAddress(account);
148
159
  }
149
- async getCompleteAddress(account) {
160
+ async getCompleteAddressOrFail(account) {
150
161
  const completeAddress = await this.addressStore.getCompleteAddress(account);
151
162
  if (!completeAddress) {
152
163
  throw new Error(`No public key registered for address ${account}.
@@ -198,7 +209,7 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
198
209
  * @param status - The status of notes to fetch.
199
210
  * @returns Array of note data.
200
211
  */ async utilityGetNotes(owner, storageSlot, numSelects, selectByIndexes, selectByOffsets, selectByLengths, selectValues, selectComparators, sortByIndexes, sortByOffsets, sortByLengths, sortOrder, limit, offset, status) {
201
- const noteService = new NoteService(this.noteStore, this.aztecNode, this.anchorBlockStore);
212
+ const noteService = new NoteService(this.noteStore, this.aztecNode, this.anchorBlockHeader, this.jobId);
202
213
  const dbNotes = await noteService.getNotes(this.contractAddress, owner, storageSlot, status, this.scopes);
203
214
  return pickNotes(dbNotes, {
204
215
  selects: selectByIndexes.slice(0, numSelects).map((index, i)=>({
@@ -227,10 +238,14 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
227
238
  * @param innerNullifier - The inner nullifier.
228
239
  * @returns A boolean indicating whether the nullifier exists in the tree or not.
229
240
  */ async utilityCheckNullifierExists(innerNullifier) {
230
- const nullifier = await siloNullifier(this.contractAddress, innerNullifier);
231
- const treeMembershipService = new TreeMembershipService(this.aztecNode, this.anchorBlockStore);
232
- const index = await treeMembershipService.getNullifierIndex(nullifier);
233
- return index !== undefined;
241
+ const [nullifier, anchorBlockHash] = await Promise.all([
242
+ siloNullifier(this.contractAddress, innerNullifier),
243
+ this.anchorBlockHeader.hash()
244
+ ]);
245
+ const [leafIndex] = await this.aztecNode.findLeavesIndexes(anchorBlockHash, MerkleTreeId.NULLIFIER_TREE, [
246
+ nullifier
247
+ ]);
248
+ return leafIndex?.data !== undefined;
234
249
  }
235
250
  /**
236
251
  * Fetches a message from the executionStore, given its key.
@@ -240,42 +255,47 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
240
255
  * @dev Contract address and secret are only used to compute the nullifier to get non-nullified messages
241
256
  * @returns The l1 to l2 membership witness (index of message in the tree and sibling path).
242
257
  */ async utilityGetL1ToL2MembershipWitness(contractAddress, messageHash, secret) {
243
- const treeMembershipService = new TreeMembershipService(this.aztecNode, this.anchorBlockStore);
244
- const [messageIndex, siblingPath] = await treeMembershipService.getL1ToL2MembershipWitness(contractAddress, messageHash, secret);
245
- // Assuming messageIndex is what you intended to use for the index in MessageLoadOracleInputs
258
+ const [messageIndex, siblingPath] = await getNonNullifiedL1ToL2MessageWitness(this.aztecNode, contractAddress, messageHash, secret);
246
259
  return new MessageLoadOracleInputs(messageIndex, siblingPath);
247
260
  }
248
261
  /**
249
262
  * Read the public storage data.
263
+ * @param blockHash - The block hash to read storage at.
250
264
  * @param contractAddress - The address to read storage from.
251
265
  * @param startStorageSlot - The starting storage slot.
252
- * @param blockNumber - The block number to read storage at.
253
266
  * @param numberOfElements - Number of elements to read from the starting storage slot.
254
- */ async utilityStorageRead(contractAddress, startStorageSlot, blockNumber, numberOfElements) {
255
- const values = [];
256
- const publicStorageService = new PublicStorageService(this.anchorBlockStore, this.aztecNode);
257
- // TODO: why do we serialize these requests? This should probably a single call
258
- // Privacy considerations?
259
- for(let i = 0n; i < numberOfElements; i++){
260
- const storageSlot = new Fr(startStorageSlot.value + i);
261
- const value = await publicStorageService.getPublicStorageAt(blockNumber, contractAddress, storageSlot);
262
- this.log.debug(`Oracle storage read: slot=${storageSlot.toString()} address-${contractAddress.toString()} value=${value}`);
263
- values.push(value);
264
- }
267
+ */ async utilityStorageRead(blockHash, contractAddress, startStorageSlot, numberOfElements) {
268
+ const slots = Array(numberOfElements).fill(0).map((_, i)=>new Fr(startStorageSlot.value + BigInt(i)));
269
+ const values = await Promise.all(slots.map((storageSlot)=>this.aztecNode.getPublicStorageAt(blockHash, contractAddress, storageSlot)));
270
+ this.log.debug(`Oracle storage read: slots=[${slots.map((slot)=>slot.toString()).join(', ')}] address=${contractAddress.toString()} values=[${values.join(', ')}]`);
265
271
  return values;
266
272
  }
267
- utilityDebugLog(level, message, fields) {
273
+ /**
274
+ * Returns a per-contract logger whose output is prefixed with `contract_log::<name>(<addrAbbrev>)`.
275
+ */ async #getContractLogger() {
276
+ if (!this.contractLogger) {
277
+ const addrAbbrev = this.contractAddress.toString().slice(0, 10);
278
+ const name = await this.contractStore.getDebugContractName(this.contractAddress);
279
+ const module = name ? `contract_log::${name}(${addrAbbrev})` : `contract_log::${addrAbbrev}`;
280
+ // Purpose of instanceId is to distinguish logs from different instances of the same component. It makes sense
281
+ // to re-use jobId as instanceId here as executions of different PXE jobs are isolated.
282
+ this.contractLogger = createLogger(module, {
283
+ instanceId: this.jobId
284
+ });
285
+ }
286
+ return this.contractLogger;
287
+ }
288
+ async utilityLog(level, message, fields) {
268
289
  if (!LogLevels[level]) {
269
- throw new Error(`Invalid debug log level: ${level}`);
290
+ throw new Error(`Invalid log level: ${level}`);
270
291
  }
271
292
  const levelName = LogLevels[level];
272
- this.aztecNrDebugLog[levelName](`${applyStringFormatting(message, fields)}`);
293
+ const logger = await this.#getContractLogger();
294
+ logger[levelName](`${applyStringFormatting(message, fields)}`);
273
295
  }
274
296
  async utilityFetchTaggedLogs(pendingTaggedLogArrayBaseSlot) {
275
- const logService = new LogService(this.aztecNode, this.anchorBlockStore, this.keyStore, this.capsuleStore, this.recipientTaggingStore, this.senderAddressBookStore, this.addressStore);
276
- await logService.syncTaggedLogs(this.contractAddress, pendingTaggedLogArrayBaseSlot, this.scopes);
277
- const noteService = new NoteService(this.noteStore, this.aztecNode, this.anchorBlockStore);
278
- await noteService.syncNoteNullifiers(this.contractAddress);
297
+ const logService = new LogService(this.aztecNode, this.anchorBlockHeader, this.keyStore, this.capsuleStore, this.recipientTaggingStore, this.senderAddressBookStore, this.addressStore, this.jobId, this.log.getBindings());
298
+ await logService.fetchTaggedLogs(this.contractAddress, pendingTaggedLogArrayBaseSlot, this.scopes);
279
299
  }
280
300
  /**
281
301
  * Validates all note and event validation requests enqueued via `enqueue_note_for_validation` and
@@ -286,26 +306,26 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
286
306
  * @param contractAddress - The address of the contract that the logs are tagged for.
287
307
  * @param noteValidationRequestsArrayBaseSlot - The base slot of capsule array containing note validation requests.
288
308
  * @param eventValidationRequestsArrayBaseSlot - The base slot of capsule array containing event validation requests.
289
- */ async utilityValidateEnqueuedNotesAndEvents(contractAddress, noteValidationRequestsArrayBaseSlot, eventValidationRequestsArrayBaseSlot) {
290
- // TODO(#10727): allow other contracts to deliver notes
309
+ */ async utilityValidateAndStoreEnqueuedNotesAndEvents(contractAddress, noteValidationRequestsArrayBaseSlot, eventValidationRequestsArrayBaseSlot) {
310
+ // TODO(#10727): allow other contracts to store notes
291
311
  if (!this.contractAddress.equals(contractAddress)) {
292
312
  throw new Error(`Got a note validation request from ${contractAddress}, expected ${this.contractAddress}`);
293
313
  }
294
314
  // We read all note and event validation requests and process them all concurrently. This makes the process much
295
315
  // faster as we don't need to wait for the network round-trip.
296
- const noteValidationRequests = (await this.capsuleStore.readCapsuleArray(contractAddress, noteValidationRequestsArrayBaseSlot)).map(NoteValidationRequest.fromFields);
297
- const eventValidationRequests = (await this.capsuleStore.readCapsuleArray(contractAddress, eventValidationRequestsArrayBaseSlot)).map(EventValidationRequest.fromFields);
298
- const noteService = new NoteService(this.noteStore, this.aztecNode, this.anchorBlockStore);
299
- const noteDeliveries = noteValidationRequests.map((request)=>noteService.deliverNote(request.contractAddress, request.owner, request.storageSlot, request.randomness, request.noteNonce, request.content, request.noteHash, request.nullifier, request.txHash, request.recipient));
300
- const eventService = new EventService(this.anchorBlockStore, this.aztecNode, this.privateEventStore);
301
- const eventDeliveries = eventValidationRequests.map((request)=>eventService.deliverEvent(request.contractAddress, request.eventTypeId, request.randomness, request.serializedEvent, request.eventCommitment, request.txHash, request.recipient));
316
+ const noteValidationRequests = (await this.capsuleStore.readCapsuleArray(contractAddress, noteValidationRequestsArrayBaseSlot, this.jobId)).map(NoteValidationRequest.fromFields);
317
+ const eventValidationRequests = (await this.capsuleStore.readCapsuleArray(contractAddress, eventValidationRequestsArrayBaseSlot, this.jobId)).map(EventValidationRequest.fromFields);
318
+ const noteService = new NoteService(this.noteStore, this.aztecNode, this.anchorBlockHeader, this.jobId);
319
+ const noteStorePromises = noteValidationRequests.map((request)=>noteService.validateAndStoreNote(request.contractAddress, request.owner, request.storageSlot, request.randomness, request.noteNonce, request.content, request.noteHash, request.nullifier, request.txHash, request.recipient));
320
+ const eventService = new EventService(this.anchorBlockHeader, this.aztecNode, this.privateEventStore, this.jobId);
321
+ const eventStorePromises = eventValidationRequests.map((request)=>eventService.validateAndStoreEvent(request.contractAddress, request.eventTypeId, request.randomness, request.serializedEvent, request.eventCommitment, request.txHash, request.recipient));
302
322
  await Promise.all([
303
- ...noteDeliveries,
304
- ...eventDeliveries
323
+ ...noteStorePromises,
324
+ ...eventStorePromises
305
325
  ]);
306
326
  // Requests are cleared once we're done.
307
- await this.capsuleStore.setCapsuleArray(contractAddress, noteValidationRequestsArrayBaseSlot, []);
308
- await this.capsuleStore.setCapsuleArray(contractAddress, eventValidationRequestsArrayBaseSlot, []);
327
+ await this.capsuleStore.setCapsuleArray(contractAddress, noteValidationRequestsArrayBaseSlot, [], this.jobId);
328
+ await this.capsuleStore.setCapsuleArray(contractAddress, eventValidationRequestsArrayBaseSlot, [], this.jobId);
309
329
  }
310
330
  async utilityBulkRetrieveLogs(contractAddress, logRetrievalRequestsArrayBaseSlot, logRetrievalResponsesArrayBaseSlot) {
311
331
  // TODO(#10727): allow other contracts to process partial notes
@@ -314,20 +334,21 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
314
334
  }
315
335
  // We read all log retrieval requests and process them all concurrently. This makes the process much faster as we
316
336
  // don't need to wait for the network round-trip.
317
- const logRetrievalRequests = (await this.capsuleStore.readCapsuleArray(contractAddress, logRetrievalRequestsArrayBaseSlot)).map(LogRetrievalRequest.fromFields);
318
- const logService = new LogService(this.aztecNode, this.anchorBlockStore, this.keyStore, this.capsuleStore, this.recipientTaggingStore, this.senderAddressBookStore, this.addressStore);
337
+ const logRetrievalRequests = (await this.capsuleStore.readCapsuleArray(contractAddress, logRetrievalRequestsArrayBaseSlot, this.jobId)).map(LogRetrievalRequest.fromFields);
338
+ const logService = new LogService(this.aztecNode, this.anchorBlockHeader, this.keyStore, this.capsuleStore, this.recipientTaggingStore, this.senderAddressBookStore, this.addressStore, this.jobId, this.log.getBindings());
319
339
  const maybeLogRetrievalResponses = await logService.bulkRetrieveLogs(logRetrievalRequests);
320
340
  // Requests are cleared once we're done.
321
- await this.capsuleStore.setCapsuleArray(contractAddress, logRetrievalRequestsArrayBaseSlot, []);
341
+ await this.capsuleStore.setCapsuleArray(contractAddress, logRetrievalRequestsArrayBaseSlot, [], this.jobId);
322
342
  // The responses are stored as Option<LogRetrievalResponse> in a second CapsuleArray.
323
- await this.capsuleStore.setCapsuleArray(contractAddress, logRetrievalResponsesArrayBaseSlot, maybeLogRetrievalResponses.map(LogRetrievalResponse.toSerializedOption));
343
+ await this.capsuleStore.setCapsuleArray(contractAddress, logRetrievalResponsesArrayBaseSlot, maybeLogRetrievalResponses.map(LogRetrievalResponse.toSerializedOption), this.jobId);
324
344
  }
325
345
  utilityStoreCapsule(contractAddress, slot, capsule) {
326
346
  if (!contractAddress.equals(this.contractAddress)) {
327
347
  // TODO(#10727): instead of this check that this.contractAddress is allowed to access the external DB
328
348
  throw new Error(`Contract ${contractAddress} is not allowed to access ${this.contractAddress}'s PXE DB`);
329
349
  }
330
- return this.capsuleStore.storeCapsule(this.contractAddress, slot, capsule);
350
+ this.capsuleStore.storeCapsule(this.contractAddress, slot, capsule, this.jobId);
351
+ return Promise.resolve();
331
352
  }
332
353
  async utilityLoadCapsule(contractAddress, slot) {
333
354
  if (!contractAddress.equals(this.contractAddress)) {
@@ -335,21 +356,22 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
335
356
  throw new Error(`Contract ${contractAddress} is not allowed to access ${this.contractAddress}'s PXE DB`);
336
357
  }
337
358
  return(// TODO(#12425): On the following line, the pertinent capsule gets overshadowed by the transient one. Tackle this.
338
- this.capsules.find((c)=>c.contractAddress.equals(contractAddress) && c.storageSlot.equals(slot))?.data ?? await this.capsuleStore.loadCapsule(this.contractAddress, slot));
359
+ this.capsules.find((c)=>c.contractAddress.equals(contractAddress) && c.storageSlot.equals(slot))?.data ?? await this.capsuleStore.loadCapsule(this.contractAddress, slot, this.jobId));
339
360
  }
340
361
  utilityDeleteCapsule(contractAddress, slot) {
341
362
  if (!contractAddress.equals(this.contractAddress)) {
342
363
  // TODO(#10727): instead of this check that this.contractAddress is allowed to access the external DB
343
364
  throw new Error(`Contract ${contractAddress} is not allowed to access ${this.contractAddress}'s PXE DB`);
344
365
  }
345
- return this.capsuleStore.deleteCapsule(this.contractAddress, slot);
366
+ this.capsuleStore.deleteCapsule(this.contractAddress, slot, this.jobId);
367
+ return Promise.resolve();
346
368
  }
347
369
  utilityCopyCapsule(contractAddress, srcSlot, dstSlot, numEntries) {
348
370
  if (!contractAddress.equals(this.contractAddress)) {
349
371
  // TODO(#10727): instead of this check that this.contractAddress is allowed to access the external DB
350
372
  throw new Error(`Contract ${contractAddress} is not allowed to access ${this.contractAddress}'s PXE DB`);
351
373
  }
352
- return this.capsuleStore.copyCapsule(this.contractAddress, srcSlot, dstSlot, numEntries);
374
+ return this.capsuleStore.copyCapsule(this.contractAddress, srcSlot, dstSlot, numEntries, this.jobId);
353
375
  }
354
376
  // TODO(#11849): consider replacing this oracle with a pure Noir implementation of aes decryption.
355
377
  utilityAes128Decrypt(ciphertext, iv, symKey) {
@@ -366,7 +388,7 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
366
388
  }
367
389
  async getSharedSecret(address, ephPk) {
368
390
  // TODO(#12656): return an app-siloed secret
369
- const recipientCompleteAddress = await this.getCompleteAddress(address);
391
+ const recipientCompleteAddress = await this.getCompleteAddressOrFail(address);
370
392
  const ivskM = await this.keyStore.getMasterSecretKey(recipientCompleteAddress.publicKeys.masterIncomingViewingPublicKey);
371
393
  const addressSecret = await computeAddressSecret(await recipientCompleteAddress.getPreaddress(), ivskM);
372
394
  return deriveEcdhSharedSecret(addressSecret, ephPk);
@@ -0,0 +1,42 @@
1
+ import type { Logger } from '@aztec/foundation/log';
2
+ import type { FunctionCall, FunctionSelector } from '@aztec/stdlib/abi';
3
+ import type { AztecAddress } from '@aztec/stdlib/aztec-address';
4
+ import type { AztecNode } from '@aztec/stdlib/interfaces/client';
5
+ import type { BlockHeader } from '@aztec/stdlib/tx';
6
+ import type { StagedStore } from '../job_coordinator/job_coordinator.js';
7
+ import type { ContractStore } from '../storage/contract_store/contract_store.js';
8
+ import type { NoteStore } from '../storage/note_store/note_store.js';
9
+ /**
10
+ * Service for syncing the private state of contracts and verifying that the PXE holds the current class artifact.
11
+ * It uses a cache to avoid redundant sync operations - the cache is wiped when the anchor block changes.
12
+ *
13
+ * TODO: The StagedStore naming is broken here. Figure out a better name.
14
+ */
15
+ export declare class ContractSyncService implements StagedStore {
16
+ #private;
17
+ private aztecNode;
18
+ private contractStore;
19
+ private noteStore;
20
+ private log;
21
+ readonly storeName = "contract_sync";
22
+ private syncedContracts;
23
+ private overriddenContracts;
24
+ constructor(aztecNode: AztecNode, contractStore: ContractStore, noteStore: NoteStore, log: Logger);
25
+ /** Sets contracts that should be skipped during sync for a specific job. */
26
+ setOverriddenContracts(jobId: string, addresses: Set<string>): void;
27
+ /**
28
+ * Ensures a contract's private state is synchronized and that the PXE holds the current class artifact.
29
+ * Uses a cache to avoid redundant sync operations - the cache is wiped when the anchor block changes.
30
+ * @param contractAddress - The address of the contract to sync.
31
+ * @param functionToInvokeAfterSync - The function selector that will be called after sync (used to validate it's
32
+ * not sync_state itself).
33
+ * @param utilityExecutor - Executor function for running the sync_state utility function.
34
+ * @param scopes - Scopes to pass through to the utility executor (affects which notes are discovered).
35
+ */
36
+ ensureContractSynced(contractAddress: AztecAddress, functionToInvokeAfterSync: FunctionSelector | null, utilityExecutor: (call: FunctionCall, scopes: undefined | AztecAddress[]) => Promise<any>, anchorBlockHeader: BlockHeader, jobId: string, scopes: undefined | AztecAddress[]): Promise<void>;
37
+ /** Clears sync cache. Called by BlockSynchronizer when anchor block changes. */
38
+ wipe(): void;
39
+ commit(jobId: string): Promise<void>;
40
+ discardStaged(jobId: string): Promise<void>;
41
+ }
42
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29udHJhY3Rfc3luY19zZXJ2aWNlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvY29udHJhY3Rfc3luYy9jb250cmFjdF9zeW5jX3NlcnZpY2UudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDcEQsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLGdCQUFnQixFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFDeEUsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDaEUsT0FBTyxLQUFLLEVBQUUsU0FBUyxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDakUsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFFcEQsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUFFLE1BQU0sdUNBQXVDLENBQUM7QUFDekUsT0FBTyxLQUFLLEVBQUUsYUFBYSxFQUFFLE1BQU0sNkNBQTZDLENBQUM7QUFDakYsT0FBTyxLQUFLLEVBQUUsU0FBUyxFQUFFLE1BQU0scUNBQXFDLENBQUM7QUFHckU7Ozs7O0dBS0c7QUFDSCxxQkFBYSxtQkFBb0IsWUFBVyxXQUFXOztJQVluRCxPQUFPLENBQUMsU0FBUztJQUNqQixPQUFPLENBQUMsYUFBYTtJQUNyQixPQUFPLENBQUMsU0FBUztJQUNqQixPQUFPLENBQUMsR0FBRztJQWRiLFFBQVEsQ0FBQyxTQUFTLG1CQUFtQjtJQUtyQyxPQUFPLENBQUMsZUFBZSxDQUF5QztJQUdoRSxPQUFPLENBQUMsbUJBQW1CLENBQXVDO0lBRWxFLFlBQ1UsU0FBUyxFQUFFLFNBQVMsRUFDcEIsYUFBYSxFQUFFLGFBQWEsRUFDNUIsU0FBUyxFQUFFLFNBQVMsRUFDcEIsR0FBRyxFQUFFLE1BQU0sRUFDakI7SUFFSiw0RUFBNEU7SUFDNUUsc0JBQXNCLENBQUMsS0FBSyxFQUFFLE1BQU0sRUFBRSxTQUFTLEVBQUUsR0FBRyxDQUFDLE1BQU0sQ0FBQyxHQUFHLElBQUksQ0FFbEU7SUFFRDs7Ozs7Ozs7T0FRRztJQUNHLG9CQUFvQixDQUN4QixlQUFlLEVBQUUsWUFBWSxFQUM3Qix5QkFBeUIsRUFBRSxnQkFBZ0IsR0FBRyxJQUFJLEVBQ2xELGVBQWUsRUFBRSxDQUFDLElBQUksRUFBRSxZQUFZLEVBQUUsTUFBTSxFQUFFLFNBQVMsR0FBRyxZQUFZLEVBQUUsS0FBSyxPQUFPLENBQUMsR0FBRyxDQUFDLEVBQ3pGLGlCQUFpQixFQUFFLFdBQVcsRUFDOUIsS0FBSyxFQUFFLE1BQU0sRUFDYixNQUFNLEVBQUUsU0FBUyxHQUFHLFlBQVksRUFBRSxHQUNqQyxPQUFPLENBQUMsSUFBSSxDQUFDLENBbUNmO0lBMEJELGdGQUFnRjtJQUNoRixJQUFJLElBQUksSUFBSSxDQUdYO0lBRUQsTUFBTSxDQUFDLEtBQUssRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUluQztJQUVELGFBQWEsQ0FBQyxLQUFLLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FNMUM7Q0FDRiJ9
@@ -0,0 +1 @@
1
+ {"version":3,"file":"contract_sync_service.d.ts","sourceRoot":"","sources":["../../src/contract_sync/contract_sync_service.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,KAAK,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACxE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AACjE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAEpD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uCAAuC,CAAC;AACzE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6CAA6C,CAAC;AACjF,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAGrE;;;;;GAKG;AACH,qBAAa,mBAAoB,YAAW,WAAW;;IAYnD,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,GAAG;IAdb,QAAQ,CAAC,SAAS,mBAAmB;IAKrC,OAAO,CAAC,eAAe,CAAyC;IAGhE,OAAO,CAAC,mBAAmB,CAAuC;IAElE,YACU,SAAS,EAAE,SAAS,EACpB,aAAa,EAAE,aAAa,EAC5B,SAAS,EAAE,SAAS,EACpB,GAAG,EAAE,MAAM,EACjB;IAEJ,4EAA4E;IAC5E,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,CAElE;IAED;;;;;;;;OAQG;IACG,oBAAoB,CACxB,eAAe,EAAE,YAAY,EAC7B,yBAAyB,EAAE,gBAAgB,GAAG,IAAI,EAClD,eAAe,EAAE,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,GAAG,YAAY,EAAE,KAAK,OAAO,CAAC,GAAG,CAAC,EACzF,iBAAiB,EAAE,WAAW,EAC9B,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,SAAS,GAAG,YAAY,EAAE,GACjC,OAAO,CAAC,IAAI,CAAC,CAmCf;IA0BD,gFAAgF;IAChF,IAAI,IAAI,IAAI,CAGX;IAED,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAInC;IAED,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAM1C;CACF"}
@@ -0,0 +1,97 @@
1
+ import { syncState, verifyCurrentClassId } from './helpers.js';
2
+ /**
3
+ * Service for syncing the private state of contracts and verifying that the PXE holds the current class artifact.
4
+ * It uses a cache to avoid redundant sync operations - the cache is wiped when the anchor block changes.
5
+ *
6
+ * TODO: The StagedStore naming is broken here. Figure out a better name.
7
+ */ export class ContractSyncService {
8
+ aztecNode;
9
+ contractStore;
10
+ noteStore;
11
+ log;
12
+ storeName;
13
+ // Tracks contracts synced since last wipe. The cache is keyed per individual scope address
14
+ // (`contractAddress:scopeAddress`), or `contractAddress:*` for undefined scopes (all accounts).
15
+ // The value is a promise that resolves when the contract is synced.
16
+ syncedContracts;
17
+ // Per-job overridden contract addresses - these contracts should not be synced.
18
+ overriddenContracts;
19
+ constructor(aztecNode, contractStore, noteStore, log){
20
+ this.aztecNode = aztecNode;
21
+ this.contractStore = contractStore;
22
+ this.noteStore = noteStore;
23
+ this.log = log;
24
+ this.storeName = 'contract_sync';
25
+ this.syncedContracts = new Map();
26
+ this.overriddenContracts = new Map();
27
+ }
28
+ /** Sets contracts that should be skipped during sync for a specific job. */ setOverriddenContracts(jobId, addresses) {
29
+ this.overriddenContracts.set(jobId, addresses);
30
+ }
31
+ /**
32
+ * Ensures a contract's private state is synchronized and that the PXE holds the current class artifact.
33
+ * Uses a cache to avoid redundant sync operations - the cache is wiped when the anchor block changes.
34
+ * @param contractAddress - The address of the contract to sync.
35
+ * @param functionToInvokeAfterSync - The function selector that will be called after sync (used to validate it's
36
+ * not sync_state itself).
37
+ * @param utilityExecutor - Executor function for running the sync_state utility function.
38
+ * @param scopes - Scopes to pass through to the utility executor (affects which notes are discovered).
39
+ */ async ensureContractSynced(contractAddress, functionToInvokeAfterSync, utilityExecutor, anchorBlockHeader, jobId, scopes) {
40
+ // Skip sync if this contract has an override for this job (overrides are keyed by contract address only)
41
+ const overrides = this.overriddenContracts.get(jobId);
42
+ if (overrides?.has(contractAddress.toString())) {
43
+ return;
44
+ }
45
+ // Skip sync if we already synced for "all scopes", or if we have an empty list of scopes
46
+ const allScopesKey = toKey(contractAddress, undefined);
47
+ const allScopesExisting = this.syncedContracts.get(allScopesKey);
48
+ if (allScopesExisting || scopes && scopes.length == 0) {
49
+ return;
50
+ }
51
+ const unsyncedScopes = scopes?.filter((scope)=>!this.syncedContracts.has(toKey(contractAddress, scope)));
52
+ const unsyncedScopesKeys = toKeys(contractAddress, unsyncedScopes);
53
+ if (unsyncedScopesKeys.length > 0) {
54
+ // Start sync and store the promise for all unsynced scopes
55
+ const promise = this.#doSync(contractAddress, functionToInvokeAfterSync, (call)=>utilityExecutor(call, unsyncedScopes), anchorBlockHeader, jobId).catch((err)=>{
56
+ // There was an error syncing the contract, so we remove it from the cache so that it can be retried.
57
+ unsyncedScopesKeys.forEach((key)=>this.syncedContracts.delete(key));
58
+ throw err;
59
+ });
60
+ unsyncedScopesKeys.forEach((key)=>this.syncedContracts.set(key, promise));
61
+ }
62
+ const promises = toKeys(contractAddress, scopes).map((key)=>this.syncedContracts.get(key));
63
+ await Promise.all(promises);
64
+ }
65
+ async #doSync(contractAddress, functionToInvokeAfterSync, utilityExecutor, anchorBlockHeader, jobId) {
66
+ this.log.debug(`Syncing contract ${contractAddress}`);
67
+ await Promise.all([
68
+ syncState(contractAddress, this.contractStore, functionToInvokeAfterSync, utilityExecutor, this.noteStore, this.aztecNode, anchorBlockHeader, jobId),
69
+ verifyCurrentClassId(contractAddress, this.aztecNode, this.contractStore, anchorBlockHeader)
70
+ ]);
71
+ this.log.debug(`Contract ${contractAddress} synced`);
72
+ }
73
+ /** Clears sync cache. Called by BlockSynchronizer when anchor block changes. */ wipe() {
74
+ this.log.debug(`Wiping contract sync cache (${this.syncedContracts.size} entries)`);
75
+ this.syncedContracts.clear();
76
+ }
77
+ commit(jobId) {
78
+ // Clear overridden contracts for this job
79
+ this.overriddenContracts.delete(jobId);
80
+ return Promise.resolve();
81
+ }
82
+ discardStaged(jobId) {
83
+ // We clear the synced contracts cache here because, when the job is discarded, any associated database writes from
84
+ // the sync are also undone.
85
+ this.syncedContracts.clear();
86
+ this.overriddenContracts.delete(jobId);
87
+ return Promise.resolve();
88
+ }
89
+ }
90
+ function toKeys(contract, scopes) {
91
+ return scopes === undefined ? [
92
+ toKey(contract, undefined)
93
+ ] : scopes.map((scope)=>toKey(contract, scope));
94
+ }
95
+ function toKey(contract, scope) {
96
+ return scope === undefined ? `${contract.toString()}:*` : `${contract.toString()}:${scope.toString()}`;
97
+ }
@@ -0,0 +1,28 @@
1
+ import type { FunctionCall, FunctionSelector } from '@aztec/stdlib/abi';
2
+ import type { AztecAddress } from '@aztec/stdlib/aztec-address';
3
+ import type { ContractInstance } from '@aztec/stdlib/contract';
4
+ import type { AztecNode } from '@aztec/stdlib/interfaces/client';
5
+ import type { BlockHeader } from '@aztec/stdlib/tx';
6
+ import type { ContractStore } from '../storage/contract_store/contract_store.js';
7
+ import type { NoteStore } from '../storage/note_store/note_store.js';
8
+ /**
9
+ * Read the current class id of a contract from the execution data provider or AztecNode. If not found, class id
10
+ * from the instance is used.
11
+ * @param contractAddress - The address of the contract to read the class id for.
12
+ * @param instance - The instance of the contract.
13
+ * @param aztecNode - The Aztec node to query for storage.
14
+ * @param header - The header of the block at which to load the DelayedPublicMutable storing the class id.
15
+ * @returns The current class id.
16
+ */
17
+ export declare function readCurrentClassId(contractAddress: AztecAddress, instance: ContractInstance, aztecNode: AztecNode, header: BlockHeader): Promise<import("@aztec/foundation/schemas").Fr>;
18
+ export declare function syncState(contractAddress: AztecAddress, contractStore: ContractStore, functionToInvokeAfterSync: FunctionSelector | null, utilityExecutor: (privateSyncCall: FunctionCall) => Promise<any>, noteStore: NoteStore, aztecNode: AztecNode, anchorBlockHeader: BlockHeader, jobId: string): Promise<void>;
19
+ /**
20
+ * Verify that the current class id of a contract obtained from AztecNode is the same as the one in contract data
21
+ * provider (i.e. PXE's own storage).
22
+ * @param contractAddress - The address of the contract to verify.
23
+ * @param aztecNode - The Aztec node to query for storage.
24
+ * @param contractStore - The contract store to fetch the local instance from.
25
+ * @param header - The header of the block at which to verify the current class id.
26
+ */
27
+ export declare function verifyCurrentClassId(contractAddress: AztecAddress, aztecNode: AztecNode, contractStore: ContractStore, header: BlockHeader): Promise<void>;
28
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaGVscGVycy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2NvbnRyYWN0X3N5bmMvaGVscGVycy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUN4RSxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUNoRSxPQUFPLEtBQUssRUFBRSxnQkFBZ0IsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBRS9ELE9BQU8sS0FBSyxFQUFFLFNBQVMsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQ2pFLE9BQU8sS0FBSyxFQUFFLFdBQVcsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBR3BELE9BQU8sS0FBSyxFQUFFLGFBQWEsRUFBRSxNQUFNLDZDQUE2QyxDQUFDO0FBQ2pGLE9BQU8sS0FBSyxFQUFFLFNBQVMsRUFBRSxNQUFNLHFDQUFxQyxDQUFDO0FBRXJFOzs7Ozs7OztHQVFHO0FBQ0gsd0JBQXNCLGtCQUFrQixDQUN0QyxlQUFlLEVBQUUsWUFBWSxFQUM3QixRQUFRLEVBQUUsZ0JBQWdCLEVBQzFCLFNBQVMsRUFBRSxTQUFTLEVBQ3BCLE1BQU0sRUFBRSxXQUFXLG1EQWFwQjtBQUVELHdCQUFzQixTQUFTLENBQzdCLGVBQWUsRUFBRSxZQUFZLEVBQzdCLGFBQWEsRUFBRSxhQUFhLEVBQzVCLHlCQUF5QixFQUFFLGdCQUFnQixHQUFHLElBQUksRUFDbEQsZUFBZSxFQUFFLENBQUMsZUFBZSxFQUFFLFlBQVksS0FBSyxPQUFPLENBQUMsR0FBRyxDQUFDLEVBQ2hFLFNBQVMsRUFBRSxTQUFTLEVBQ3BCLFNBQVMsRUFBRSxTQUFTLEVBQ3BCLGlCQUFpQixFQUFFLFdBQVcsRUFDOUIsS0FBSyxFQUFFLE1BQU0saUJBaUJkO0FBRUQ7Ozs7Ozs7R0FPRztBQUNILHdCQUFzQixvQkFBb0IsQ0FDeEMsZUFBZSxFQUFFLFlBQVksRUFDN0IsU0FBUyxFQUFFLFNBQVMsRUFDcEIsYUFBYSxFQUFFLGFBQWEsRUFDNUIsTUFBTSxFQUFFLFdBQVcsaUJBYXBCIn0=
@@ -0,0 +1 @@
1
+ {"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../src/contract_sync/helpers.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACxE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE/D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AACjE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAGpD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6CAA6C,CAAC;AACjF,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAErE;;;;;;;;GAQG;AACH,wBAAsB,kBAAkB,CACtC,eAAe,EAAE,YAAY,EAC7B,QAAQ,EAAE,gBAAgB,EAC1B,SAAS,EAAE,SAAS,EACpB,MAAM,EAAE,WAAW,mDAapB;AAED,wBAAsB,SAAS,CAC7B,eAAe,EAAE,YAAY,EAC7B,aAAa,EAAE,aAAa,EAC5B,yBAAyB,EAAE,gBAAgB,GAAG,IAAI,EAClD,eAAe,EAAE,CAAC,eAAe,EAAE,YAAY,KAAK,OAAO,CAAC,GAAG,CAAC,EAChE,SAAS,EAAE,SAAS,EACpB,SAAS,EAAE,SAAS,EACpB,iBAAiB,EAAE,WAAW,EAC9B,KAAK,EAAE,MAAM,iBAiBd;AAED;;;;;;;GAOG;AACH,wBAAsB,oBAAoB,CACxC,eAAe,EAAE,YAAY,EAC7B,SAAS,EAAE,SAAS,EACpB,aAAa,EAAE,aAAa,EAC5B,MAAM,EAAE,WAAW,iBAapB"}