@aztec/pxe 0.0.1-commit.dbf9cec → 0.0.1-commit.ddcf04837

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 (197) hide show
  1. package/dest/bin/check_oracle_version.js +4 -4
  2. package/dest/block_synchronizer/block_synchronizer.d.ts +1 -1
  3. package/dest/block_synchronizer/block_synchronizer.d.ts.map +1 -1
  4. package/dest/block_synchronizer/block_synchronizer.js +6 -0
  5. package/dest/config/index.d.ts +2 -2
  6. package/dest/config/index.d.ts.map +1 -1
  7. package/dest/config/index.js +8 -15
  8. package/dest/contract_function_simulator/contract_function_simulator.d.ts +13 -5
  9. package/dest/contract_function_simulator/contract_function_simulator.d.ts.map +1 -1
  10. package/dest/contract_function_simulator/contract_function_simulator.js +36 -9
  11. package/dest/contract_function_simulator/ephemeral_array_service.d.ts +28 -0
  12. package/dest/contract_function_simulator/ephemeral_array_service.d.ts.map +1 -0
  13. package/dest/contract_function_simulator/ephemeral_array_service.js +78 -0
  14. package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts +5 -5
  15. package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts.map +1 -1
  16. package/dest/contract_function_simulator/execution_tagging_index_cache.js +17 -9
  17. package/dest/contract_function_simulator/index.d.ts +2 -1
  18. package/dest/contract_function_simulator/index.d.ts.map +1 -1
  19. package/dest/contract_function_simulator/index.js +1 -0
  20. package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts +4 -6
  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 +8 -10
  23. package/dest/contract_function_simulator/noir-structs/log_retrieval_request.d.ts +1 -1
  24. package/dest/contract_function_simulator/noir-structs/log_retrieval_request.js +1 -1
  25. package/dest/contract_function_simulator/noir-structs/log_retrieval_response.d.ts +2 -2
  26. package/dest/contract_function_simulator/noir-structs/log_retrieval_response.d.ts.map +1 -1
  27. package/dest/contract_function_simulator/noir-structs/log_retrieval_response.js +2 -4
  28. package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts +4 -7
  29. package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts.map +1 -1
  30. package/dest/contract_function_simulator/noir-structs/note_validation_request.js +6 -11
  31. package/dest/contract_function_simulator/oracle/interfaces.d.ts +61 -45
  32. package/dest/contract_function_simulator/oracle/interfaces.d.ts.map +1 -1
  33. package/dest/contract_function_simulator/oracle/legacy_oracle_mappings.d.ts +9 -0
  34. package/dest/contract_function_simulator/oracle/legacy_oracle_mappings.d.ts.map +1 -0
  35. package/dest/contract_function_simulator/oracle/legacy_oracle_mappings.js +47 -0
  36. package/dest/contract_function_simulator/oracle/oracle.d.ts +75 -44
  37. package/dest/contract_function_simulator/oracle/oracle.d.ts.map +1 -1
  38. package/dest/contract_function_simulator/oracle/oracle.js +281 -96
  39. package/dest/contract_function_simulator/oracle/private_execution.js +5 -3
  40. package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts +23 -49
  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 +42 -64
  43. package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts +92 -57
  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 +274 -107
  46. package/dest/contract_function_simulator/pick_notes.d.ts +1 -1
  47. package/dest/contract_function_simulator/pick_notes.d.ts.map +1 -1
  48. package/dest/contract_function_simulator/pick_notes.js +9 -2
  49. package/dest/contract_function_simulator/proxied_contract_data_source.d.ts +1 -1
  50. package/dest/contract_function_simulator/proxied_contract_data_source.d.ts.map +1 -1
  51. package/dest/contract_function_simulator/proxied_contract_data_source.js +3 -0
  52. package/dest/contract_logging.d.ts +9 -4
  53. package/dest/contract_logging.d.ts.map +1 -1
  54. package/dest/contract_logging.js +21 -6
  55. package/dest/contract_sync/contract_sync_service.d.ts +6 -5
  56. package/dest/contract_sync/contract_sync_service.d.ts.map +1 -1
  57. package/dest/contract_sync/contract_sync_service.js +62 -43
  58. package/dest/contract_sync/helpers.d.ts +2 -3
  59. package/dest/contract_sync/helpers.d.ts.map +1 -1
  60. package/dest/contract_sync/helpers.js +7 -2
  61. package/dest/debug/pxe_debug_utils.d.ts +3 -3
  62. package/dest/debug/pxe_debug_utils.d.ts.map +1 -1
  63. package/dest/entrypoints/client/bundle/index.d.ts +1 -2
  64. package/dest/entrypoints/client/bundle/index.d.ts.map +1 -1
  65. package/dest/entrypoints/client/bundle/index.js +0 -1
  66. package/dest/entrypoints/client/bundle/utils.d.ts +2 -2
  67. package/dest/entrypoints/client/bundle/utils.d.ts.map +1 -1
  68. package/dest/entrypoints/client/bundle/utils.js +2 -2
  69. package/dest/entrypoints/client/lazy/index.d.ts +1 -2
  70. package/dest/entrypoints/client/lazy/index.d.ts.map +1 -1
  71. package/dest/entrypoints/client/lazy/index.js +0 -1
  72. package/dest/entrypoints/client/lazy/utils.d.ts +2 -2
  73. package/dest/entrypoints/client/lazy/utils.d.ts.map +1 -1
  74. package/dest/entrypoints/client/lazy/utils.js +2 -2
  75. package/dest/entrypoints/pxe_creation_options.d.ts +3 -1
  76. package/dest/entrypoints/pxe_creation_options.d.ts.map +1 -1
  77. package/dest/entrypoints/pxe_creation_options.js +3 -1
  78. package/dest/entrypoints/server/index.d.ts +2 -3
  79. package/dest/entrypoints/server/index.d.ts.map +1 -1
  80. package/dest/entrypoints/server/index.js +1 -2
  81. package/dest/entrypoints/server/utils.d.ts +2 -2
  82. package/dest/entrypoints/server/utils.d.ts.map +1 -1
  83. package/dest/entrypoints/server/utils.js +2 -2
  84. package/dest/events/event_service.d.ts +3 -2
  85. package/dest/events/event_service.d.ts.map +1 -1
  86. package/dest/events/event_service.js +16 -4
  87. package/dest/events/private_event_filter_validator.d.ts +3 -2
  88. package/dest/events/private_event_filter_validator.d.ts.map +1 -1
  89. package/dest/events/private_event_filter_validator.js +15 -0
  90. package/dest/logs/log_service.d.ts +7 -8
  91. package/dest/logs/log_service.d.ts.map +1 -1
  92. package/dest/logs/log_service.js +27 -37
  93. package/dest/messages/message_context_service.d.ts +17 -0
  94. package/dest/messages/message_context_service.d.ts.map +1 -0
  95. package/dest/messages/message_context_service.js +36 -0
  96. package/dest/notes/note_service.d.ts +4 -5
  97. package/dest/notes/note_service.d.ts.map +1 -1
  98. package/dest/notes/note_service.js +14 -5
  99. package/dest/notes_filter.d.ts +2 -3
  100. package/dest/notes_filter.d.ts.map +1 -1
  101. package/dest/oracle_version.d.ts +4 -3
  102. package/dest/oracle_version.d.ts.map +1 -1
  103. package/dest/oracle_version.js +20 -10
  104. package/dest/private_kernel/private_kernel_execution_prover.d.ts +1 -1
  105. package/dest/private_kernel/private_kernel_execution_prover.d.ts.map +1 -1
  106. package/dest/private_kernel/private_kernel_execution_prover.js +4 -7
  107. package/dest/pxe.d.ts +12 -8
  108. package/dest/pxe.d.ts.map +1 -1
  109. package/dest/pxe.js +51 -26
  110. package/dest/storage/capsule_store/capsule_service.d.ts +21 -0
  111. package/dest/storage/capsule_store/capsule_service.d.ts.map +1 -0
  112. package/dest/storage/capsule_store/capsule_service.js +50 -0
  113. package/dest/storage/capsule_store/capsule_store.d.ts +9 -9
  114. package/dest/storage/capsule_store/capsule_store.d.ts.map +1 -1
  115. package/dest/storage/capsule_store/capsule_store.js +33 -28
  116. package/dest/storage/capsule_store/index.d.ts +2 -1
  117. package/dest/storage/capsule_store/index.d.ts.map +1 -1
  118. package/dest/storage/capsule_store/index.js +1 -0
  119. package/dest/storage/metadata.d.ts +1 -1
  120. package/dest/storage/metadata.js +1 -1
  121. package/dest/storage/note_store/note_store.d.ts +1 -1
  122. package/dest/storage/note_store/note_store.d.ts.map +1 -1
  123. package/dest/storage/note_store/note_store.js +2 -2
  124. package/dest/storage/private_event_store/stored_private_event.js +1 -1
  125. package/dest/storage/tagging_store/sender_tagging_store.d.ts +26 -25
  126. package/dest/storage/tagging_store/sender_tagging_store.d.ts.map +1 -1
  127. package/dest/storage/tagging_store/sender_tagging_store.js +141 -115
  128. package/dest/tagging/index.d.ts +2 -2
  129. package/dest/tagging/index.d.ts.map +1 -1
  130. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts +2 -2
  131. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts.map +1 -1
  132. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.js +1 -15
  133. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts +1 -1
  134. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts.map +1 -1
  135. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.js +10 -1
  136. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts +4 -3
  137. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts.map +1 -1
  138. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.js +20 -10
  139. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts +2 -1
  140. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts.map +1 -1
  141. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.js +24 -11
  142. package/package.json +16 -16
  143. package/src/bin/check_oracle_version.ts +4 -4
  144. package/src/block_synchronizer/block_synchronizer.ts +6 -0
  145. package/src/config/index.ts +3 -9
  146. package/src/contract_function_simulator/contract_function_simulator.ts +50 -13
  147. package/src/contract_function_simulator/ephemeral_array_service.ts +110 -0
  148. package/src/contract_function_simulator/execution_tagging_index_cache.ts +16 -11
  149. package/src/contract_function_simulator/index.ts +1 -0
  150. package/src/contract_function_simulator/noir-structs/event_validation_request.ts +9 -9
  151. package/src/contract_function_simulator/noir-structs/log_retrieval_request.ts +1 -1
  152. package/src/contract_function_simulator/noir-structs/log_retrieval_response.ts +2 -5
  153. package/src/contract_function_simulator/noir-structs/note_validation_request.ts +4 -10
  154. package/src/contract_function_simulator/oracle/interfaces.ts +82 -54
  155. package/src/contract_function_simulator/oracle/legacy_oracle_mappings.ts +104 -0
  156. package/src/contract_function_simulator/oracle/oracle.ts +363 -139
  157. package/src/contract_function_simulator/oracle/private_execution.ts +4 -4
  158. package/src/contract_function_simulator/oracle/private_execution_oracle.ts +46 -84
  159. package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +449 -144
  160. package/src/contract_function_simulator/pick_notes.ts +9 -2
  161. package/src/contract_function_simulator/proxied_contract_data_source.ts +8 -1
  162. package/src/contract_logging.ts +18 -5
  163. package/src/contract_sync/contract_sync_service.ts +99 -75
  164. package/src/contract_sync/helpers.ts +4 -4
  165. package/src/debug/pxe_debug_utils.ts +3 -3
  166. package/src/entrypoints/client/bundle/index.ts +0 -1
  167. package/src/entrypoints/client/bundle/utils.ts +2 -3
  168. package/src/entrypoints/client/lazy/index.ts +0 -1
  169. package/src/entrypoints/client/lazy/utils.ts +2 -3
  170. package/src/entrypoints/pxe_creation_options.ts +7 -0
  171. package/src/entrypoints/server/index.ts +1 -2
  172. package/src/entrypoints/server/utils.ts +2 -3
  173. package/src/events/event_service.ts +17 -4
  174. package/src/events/private_event_filter_validator.ts +21 -1
  175. package/src/logs/log_service.ts +57 -78
  176. package/src/messages/message_context_service.ts +44 -0
  177. package/src/notes/note_service.ts +18 -8
  178. package/src/notes_filter.ts +1 -3
  179. package/src/oracle_version.ts +20 -10
  180. package/src/private_kernel/private_kernel_execution_prover.ts +4 -9
  181. package/src/pxe.ts +78 -31
  182. package/src/storage/capsule_store/capsule_service.ts +90 -0
  183. package/src/storage/capsule_store/capsule_store.ts +34 -26
  184. package/src/storage/capsule_store/index.ts +1 -0
  185. package/src/storage/metadata.ts +1 -1
  186. package/src/storage/note_store/note_store.ts +2 -5
  187. package/src/storage/private_event_store/stored_private_event.ts +1 -1
  188. package/src/storage/tagging_store/sender_tagging_store.ts +182 -135
  189. package/src/tagging/index.ts +1 -1
  190. package/src/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.ts +2 -14
  191. package/src/tagging/sender_sync/sync_sender_tagging_indexes.ts +19 -1
  192. package/src/tagging/sender_sync/utils/get_status_change_of_pending.ts +26 -11
  193. package/src/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.ts +19 -9
  194. package/dest/access_scopes.d.ts +0 -9
  195. package/dest/access_scopes.d.ts.map +0 -1
  196. package/dest/access_scopes.js +0 -6
  197. package/src/access_scopes.ts +0 -9
@@ -1,16 +1,18 @@
1
1
  import { Aes128 } from '@aztec/foundation/crypto/aes128';
2
2
  import { Fr } from '@aztec/foundation/curves/bn254';
3
3
  import { LogLevels, createLogger } from '@aztec/foundation/log';
4
+ import { isProtocolContract } from '@aztec/protocol-contracts';
4
5
  import { siloNullifier } from '@aztec/stdlib/hash';
5
6
  import { computeAddressSecret } from '@aztec/stdlib/keys';
6
- import { deriveEcdhSharedSecret } from '@aztec/stdlib/logs';
7
+ import { MessageContext, deriveAppSiloedSharedSecret } from '@aztec/stdlib/logs';
7
8
  import { getNonNullifiedL1ToL2MessageWitness } from '@aztec/stdlib/messaging';
8
9
  import { MerkleTreeId } from '@aztec/stdlib/trees';
9
- import { createContractLogger, logContractMessage } from '../../contract_logging.js';
10
+ import { createContractLogger, logContractMessage, stripAztecnrLogPrefix } from '../../contract_logging.js';
10
11
  import { EventService } from '../../events/event_service.js';
11
12
  import { LogService } from '../../logs/log_service.js';
12
13
  import { NoteService } from '../../notes/note_service.js';
13
- import { ORACLE_VERSION } from '../../oracle_version.js';
14
+ import { ORACLE_VERSION_MAJOR } from '../../oracle_version.js';
15
+ import { EphemeralArrayService } from '../ephemeral_array_service.js';
14
16
  import { EventValidationRequest } from '../noir-structs/event_validation_request.js';
15
17
  import { LogRetrievalRequest } from '../noir-structs/log_retrieval_request.js';
16
18
  import { LogRetrievalResponse } from '../noir-structs/log_retrieval_response.js';
@@ -24,6 +26,11 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
24
26
  isMisc = true;
25
27
  isUtility = true;
26
28
  contractLogger;
29
+ aztecnrLogger;
30
+ offchainEffects = [];
31
+ ephemeralArrayService = new EphemeralArrayService();
32
+ // We store oracle version to be able to show a nice error message when an oracle handler is missing.
33
+ contractOracleVersion;
27
34
  contractAddress;
28
35
  authWitnesses;
29
36
  capsules;
@@ -35,10 +42,13 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
35
42
  aztecNode;
36
43
  recipientTaggingStore;
37
44
  senderAddressBookStore;
38
- capsuleStore;
45
+ capsuleService;
39
46
  privateEventStore;
47
+ messageContextService;
48
+ contractSyncService;
49
+ l2TipsStore;
40
50
  jobId;
41
- log;
51
+ logger;
42
52
  scopes;
43
53
  constructor(args){
44
54
  this.contractAddress = args.contractAddress;
@@ -52,21 +62,51 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
52
62
  this.aztecNode = args.aztecNode;
53
63
  this.recipientTaggingStore = args.recipientTaggingStore;
54
64
  this.senderAddressBookStore = args.senderAddressBookStore;
55
- this.capsuleStore = args.capsuleStore;
65
+ this.capsuleService = args.capsuleService;
56
66
  this.privateEventStore = args.privateEventStore;
67
+ this.messageContextService = args.messageContextService;
68
+ this.contractSyncService = args.contractSyncService;
69
+ this.l2TipsStore = args.l2TipsStore;
57
70
  this.jobId = args.jobId;
58
- this.log = args.log ?? createLogger('simulator:client_view_context');
71
+ this.logger = args.log ?? createLogger('simulator:client_view_context');
59
72
  this.scopes = args.scopes;
60
73
  }
61
- utilityAssertCompatibleOracleVersion(version) {
62
- if (version !== ORACLE_VERSION) {
63
- throw new Error(`Incompatible oracle version. Expected version ${ORACLE_VERSION}, got ${version}.`);
74
+ assertCompatibleOracleVersion(major, minor) {
75
+ // TODO(F-416): Remove this hack on v5 when protocol contracts are redeployed.
76
+ // Protocol contracts/canonical contracts shipped with committed bytecode that cannot be changed. Assert they use
77
+ // the expected pinned version or the current one. We want to allow for both the pinned and the current versions
78
+ // because we want this code to work with both the pinned and unpinned version since some branches do not have the
79
+ // pinned contracts (like e.g. next)
80
+ const LEGACY_ORACLE_VERSION = 12;
81
+ if (isProtocolContract(this.contractAddress)) {
82
+ if (major !== LEGACY_ORACLE_VERSION && major !== ORACLE_VERSION_MAJOR) {
83
+ const hint = major > ORACLE_VERSION_MAJOR ? 'The contract was compiled with a newer version of Aztec.nr than your private environment supports. Upgrade your private environment to a compatible version.' : 'The contract was compiled with an older version of Aztec.nr than your private environment supports. Recompile the contract with a compatible version of Aztec.nr.';
84
+ throw new Error(`Incompatible private environment version: ${hint} See https://docs.aztec.network/errors/8 (expected oracle major version ${LEGACY_ORACLE_VERSION} or ${ORACLE_VERSION_MAJOR}, got ${major})`);
85
+ }
86
+ this.contractOracleVersion = {
87
+ major,
88
+ minor
89
+ };
90
+ return;
91
+ }
92
+ if (major !== ORACLE_VERSION_MAJOR) {
93
+ const hint = major > ORACLE_VERSION_MAJOR ? 'The contract was compiled with a newer version of Aztec.nr than your private environment supports. Upgrade your private environment to a compatible version.' : 'The contract was compiled with an older version of Aztec.nr than your private environment supports. Recompile the contract with a compatible version of Aztec.nr.';
94
+ throw new Error(`Incompatible private environment version: ${hint} See https://docs.aztec.network/errors/8 (expected oracle major version ${ORACLE_VERSION_MAJOR}, got ${major})`);
64
95
  }
96
+ // Major matches - store both major and minor for later diagnostics (e.g. when an oracle is not found)
97
+ this.contractOracleVersion = {
98
+ major,
99
+ minor
100
+ };
65
101
  }
66
- utilityGetRandomField() {
102
+ // Prefixed with "nonOracleFunction" as it is not used as an oracle handler.
103
+ nonOracleFunctionGetContractOracleVersion() {
104
+ return this.contractOracleVersion;
105
+ }
106
+ getRandomField() {
67
107
  return Fr.random();
68
108
  }
69
- utilityGetUtilityContext() {
109
+ getUtilityContext() {
70
110
  return new UtilityContext(this.anchorBlockHeader, this.contractAddress);
71
111
  }
72
112
  /**
@@ -75,29 +115,26 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
75
115
  * @returns A Promise that resolves to nullifier keys.
76
116
  * @throws If the keys are not registered in the key store.
77
117
  * @throws If scopes are defined and the account is not in the scopes.
78
- */ async utilityGetKeyValidationRequest(pkMHash) {
79
- // If scopes are defined, check that the key belongs to an account in the scopes.
80
- if (this.scopes !== 'ALL_SCOPES' && this.scopes.length > 0) {
81
- let hasAccess = false;
82
- for(let i = 0; i < this.scopes.length && !hasAccess; i++){
83
- if (await this.keyStore.accountHasKey(this.scopes[i], pkMHash)) {
84
- hasAccess = true;
85
- }
86
- }
87
- if (!hasAccess) {
88
- throw new Error(`Key validation request denied: no scoped account has a key with hash ${pkMHash.toString()}.`);
118
+ */ async getKeyValidationRequest(pkMHash) {
119
+ let hasAccess = false;
120
+ for(let i = 0; i < this.scopes.length && !hasAccess; i++){
121
+ if (await this.keyStore.accountHasKey(this.scopes[i], pkMHash)) {
122
+ hasAccess = true;
89
123
  }
90
124
  }
125
+ if (!hasAccess) {
126
+ throw new Error(`Key validation request denied: no scoped account has a key with hash ${pkMHash.toString()}.`);
127
+ }
91
128
  return this.keyStore.getKeyValidationRequest(pkMHash, this.contractAddress);
92
129
  }
93
130
  /**
94
131
  * Fetches the index and sibling path of a leaf at a given block from the note hash tree.
95
- * @param anchorBlockHash - The hash of a block that contains the note hash tree root in which to find the membership
96
- * witness.
132
+ * @param blockHash - The hash of a block that contains the note hash tree root in which to find the
133
+ * membership witness.
97
134
  * @param noteHash - The note hash to find in the note hash tree.
98
135
  * @returns The membership witness containing the leaf index and sibling path
99
- */ utilityGetNoteHashMembershipWitness(anchorBlockHash, noteHash) {
100
- return this.aztecNode.getNoteHashMembershipWitness(anchorBlockHash, noteHash);
136
+ */ getNoteHashMembershipWitness(blockHash, noteHash) {
137
+ return this.#queryWithBlockHashNotAfterAnchor(blockHash, ()=>this.aztecNode.getNoteHashMembershipWitness(blockHash, noteHash));
101
138
  }
102
139
  /**
103
140
  * Fetches the index and sibling path of a block hash in the archive tree.
@@ -105,20 +142,23 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
105
142
  * Block hashes are the leaves of the archive tree. Each time a new block is added to the chain,
106
143
  * its block hash is appended as a new leaf to the archive tree.
107
144
  *
108
- * @param anchorBlockHash - The hash of a block that contains the archive tree root in which to find the membership
145
+ * @param referenceBlockHash - The hash of a block that contains the archive tree root in which to find the membership
109
146
  * witness.
110
147
  * @param blockHash - The block hash to find in the archive tree.
111
148
  * @returns The membership witness containing the leaf index and sibling path
112
- */ utilityGetBlockHashMembershipWitness(anchorBlockHash, blockHash) {
113
- return this.aztecNode.getBlockHashMembershipWitness(anchorBlockHash, blockHash);
149
+ */ getBlockHashMembershipWitness(referenceBlockHash, blockHash) {
150
+ // Note that we validate that the reference block hash is at or before the anchor block - we don't test the block
151
+ // hash at all. If the block hash did not exist by the reference block hash, then the node will not return the
152
+ // membership witness as there is none.
153
+ return this.#queryWithBlockHashNotAfterAnchor(referenceBlockHash, ()=>this.aztecNode.getBlockHashMembershipWitness(referenceBlockHash, blockHash));
114
154
  }
115
155
  /**
116
156
  * Returns a nullifier membership witness for a given nullifier at a given block.
117
157
  * @param blockHash - The block hash at which to get the index.
118
158
  * @param nullifier - Nullifier we try to find witness for.
119
159
  * @returns The nullifier membership witness (if found).
120
- */ utilityGetNullifierMembershipWitness(blockHash, nullifier) {
121
- return this.aztecNode.getNullifierMembershipWitness(blockHash, nullifier);
160
+ */ getNullifierMembershipWitness(blockHash, nullifier) {
161
+ return this.#queryWithBlockHashNotAfterAnchor(blockHash, ()=>this.aztecNode.getNullifierMembershipWitness(blockHash, nullifier));
122
162
  }
123
163
  /**
124
164
  * Returns a low nullifier membership witness for a given nullifier at a given block.
@@ -128,22 +168,22 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
128
168
  * @remarks Low nullifier witness can be used to perform a nullifier non-inclusion proof by leveraging the "linked
129
169
  * list structure" of leaves and proving that a lower nullifier is pointing to a bigger next value than the nullifier
130
170
  * we are trying to prove non-inclusion for.
131
- */ utilityGetLowNullifierMembershipWitness(blockHash, nullifier) {
132
- return this.aztecNode.getLowNullifierMembershipWitness(blockHash, nullifier);
171
+ */ getLowNullifierMembershipWitness(blockHash, nullifier) {
172
+ return this.#queryWithBlockHashNotAfterAnchor(blockHash, ()=>this.aztecNode.getLowNullifierMembershipWitness(blockHash, nullifier));
133
173
  }
134
174
  /**
135
175
  * Returns a public data tree witness for a given leaf slot at a given block.
136
176
  * @param blockHash - The block hash at which to get the index.
137
177
  * @param leafSlot - The slot of the public data tree to get the witness for.
138
178
  * @returns - The witness
139
- */ utilityGetPublicDataWitness(blockHash, leafSlot) {
140
- return this.aztecNode.getPublicDataWitness(blockHash, leafSlot);
179
+ */ getPublicDataWitness(blockHash, leafSlot) {
180
+ return this.#queryWithBlockHashNotAfterAnchor(blockHash, ()=>this.aztecNode.getPublicDataWitness(blockHash, leafSlot));
141
181
  }
142
182
  /**
143
183
  * Fetches a block header of a given block.
144
184
  * @param blockNumber - The number of a block of which to get the block header.
145
185
  * @returns Block extracted from a block with block number `blockNumber`.
146
- */ async utilityGetBlockHeader(blockNumber) {
186
+ */ async getBlockHeader(blockNumber) {
147
187
  const anchorBlockNumber = this.anchorBlockHeader.getBlockNumber();
148
188
  if (blockNumber > anchorBlockNumber) {
149
189
  throw new Error(`Block number ${blockNumber} is higher than current block ${anchorBlockNumber}`);
@@ -152,11 +192,18 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
152
192
  return block?.header;
153
193
  }
154
194
  /**
155
- * Retrieve the complete address associated to a given address.
195
+ * Retrieve the public keys and partial address associated to a given address.
156
196
  * @param account - The account address.
157
- * @returns A complete address associated with the input address, or `undefined` if not registered.
158
- */ utilityTryGetPublicKeysAndPartialAddress(account) {
159
- return this.addressStore.getCompleteAddress(account);
197
+ * @returns The public keys and partial address, or `undefined` if the account is not registered.
198
+ */ async getPublicKeysAndPartialAddress(account) {
199
+ const completeAddress = await this.addressStore.getCompleteAddress(account);
200
+ if (!completeAddress) {
201
+ return undefined;
202
+ }
203
+ return {
204
+ publicKeys: completeAddress.publicKeys,
205
+ partialAddress: completeAddress.partialAddress
206
+ };
160
207
  }
161
208
  async getCompleteAddressOrFail(account) {
162
209
  const completeAddress = await this.addressStore.getCompleteAddress(account);
@@ -170,10 +217,7 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
170
217
  * Returns a contract instance associated with an address or throws if not found.
171
218
  * @param address - Address.
172
219
  * @returns A contract instance.
173
- */ utilityGetContractInstance(address) {
174
- return this.getContractInstance(address);
175
- }
176
- async getContractInstance(address) {
220
+ */ async getContractInstance(address) {
177
221
  const instance = await this.contractStore.getContractInstance(address);
178
222
  if (!instance) {
179
223
  throw new Error(`No contract instance found for address ${address.toString()}`);
@@ -185,7 +229,7 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
185
229
  * for this transaction first, and falls back to the local database if not found.
186
230
  * @param messageHash - Hash of the message to authenticate.
187
231
  * @returns Authentication witness for the requested message hash.
188
- */ utilityGetAuthWitness(messageHash) {
232
+ */ getAuthWitness(messageHash) {
189
233
  return Promise.resolve(this.authWitnesses.find((w)=>w.requestHash.equals(messageHash))?.witness);
190
234
  }
191
235
  /**
@@ -209,7 +253,7 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
209
253
  * @param offset - The starting index for pagination.
210
254
  * @param status - The status of notes to fetch.
211
255
  * @returns Array of note data.
212
- */ async utilityGetNotes(owner, storageSlot, numSelects, selectByIndexes, selectByOffsets, selectByLengths, selectValues, selectComparators, sortByIndexes, sortByOffsets, sortByLengths, sortOrder, limit, offset, status) {
256
+ */ async getNotes(owner, storageSlot, numSelects, selectByIndexes, selectByOffsets, selectByLengths, selectValues, selectComparators, sortByIndexes, sortByOffsets, sortByLengths, sortOrder, limit, offset, status) {
213
257
  const noteService = new NoteService(this.noteStore, this.aztecNode, this.anchorBlockHeader, this.jobId);
214
258
  const dbNotes = await noteService.getNotes(this.contractAddress, owner, storageSlot, status, this.scopes);
215
259
  return pickNotes(dbNotes, {
@@ -238,7 +282,7 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
238
282
  * Check if a nullifier exists in the nullifier tree.
239
283
  * @param innerNullifier - The inner nullifier.
240
284
  * @returns A boolean indicating whether the nullifier exists in the tree or not.
241
- */ async utilityCheckNullifierExists(innerNullifier) {
285
+ */ async doesNullifierExist(innerNullifier) {
242
286
  const [nullifier, anchorBlockHash] = await Promise.all([
243
287
  siloNullifier(this.contractAddress, innerNullifier),
244
288
  this.anchorBlockHeader.hash()
@@ -249,14 +293,14 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
249
293
  return leafIndex?.data !== undefined;
250
294
  }
251
295
  /**
252
- * Fetches a message from the executionStore, given its key.
296
+ * Returns the membership witness of an un-nullified L1 to L2 message.
253
297
  * @param contractAddress - Address of a contract by which the message was emitted.
254
298
  * @param messageHash - Hash of the message.
255
299
  * @param secret - Secret used to compute a nullifier.
256
300
  * @dev Contract address and secret are only used to compute the nullifier to get non-nullified messages
257
301
  * @returns The l1 to l2 membership witness (index of message in the tree and sibling path).
258
- */ async utilityGetL1ToL2MembershipWitness(contractAddress, messageHash, secret) {
259
- const [messageIndex, siblingPath] = await getNonNullifiedL1ToL2MessageWitness(this.aztecNode, contractAddress, messageHash, secret);
302
+ */ async getL1ToL2MembershipWitness(contractAddress, messageHash, secret) {
303
+ const [messageIndex, siblingPath] = await getNonNullifiedL1ToL2MessageWitness(this.aztecNode, contractAddress, messageHash, secret, await this.anchorBlockHeader.hash());
260
304
  return new MessageLoadOracleInputs(messageIndex, siblingPath);
261
305
  }
262
306
  /**
@@ -265,129 +309,252 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
265
309
  * @param contractAddress - The address to read storage from.
266
310
  * @param startStorageSlot - The starting storage slot.
267
311
  * @param numberOfElements - Number of elements to read from the starting storage slot.
268
- */ async utilityStorageRead(blockHash, contractAddress, startStorageSlot, numberOfElements) {
269
- const slots = Array(numberOfElements).fill(0).map((_, i)=>new Fr(startStorageSlot.value + BigInt(i)));
270
- const values = await Promise.all(slots.map((storageSlot)=>this.aztecNode.getPublicStorageAt(blockHash, contractAddress, storageSlot)));
271
- this.log.debug(`Oracle storage read: slots=[${slots.map((slot)=>slot.toString()).join(', ')}] address=${contractAddress.toString()} values=[${values.join(', ')}]`);
272
- return values;
312
+ */ getFromPublicStorage(blockHash, contractAddress, startStorageSlot, numberOfElements) {
313
+ return this.#queryWithBlockHashNotAfterAnchor(blockHash, async ()=>{
314
+ const slots = Array(numberOfElements).fill(0).map((_, i)=>new Fr(startStorageSlot.value + BigInt(i)));
315
+ const values = await Promise.all(slots.map((storageSlot)=>this.aztecNode.getPublicStorageAt(blockHash, contractAddress, storageSlot)));
316
+ this.logger.debug(`Oracle storage read: slots=[${slots.map((slot)=>slot.toString()).join(', ')}] address=${contractAddress.toString()} values=[${values.join(', ')}]`);
317
+ return values;
318
+ });
273
319
  }
274
320
  /**
275
- * Returns a per-contract logger whose output is prefixed with `contract_log::<name>(<addrAbbrev>)`.
321
+ * Returns a per-contract logger whose output is prefixed with `contract:<name>(<addrAbbrev>)`.
276
322
  */ async #getContractLogger() {
277
323
  if (!this.contractLogger) {
278
324
  // Purpose of instanceId is to distinguish logs from different instances of the same component. It makes sense
279
325
  // to re-use jobId as instanceId here as executions of different PXE jobs are isolated.
280
- this.contractLogger = await createContractLogger(this.contractAddress, (addr)=>this.contractStore.getDebugContractName(addr), {
326
+ this.contractLogger = await createContractLogger(this.contractAddress, (addr)=>this.contractStore.getDebugContractName(addr), 'user', {
281
327
  instanceId: this.jobId
282
328
  });
283
329
  }
284
330
  return this.contractLogger;
285
331
  }
286
- async utilityLog(level, message, fields) {
332
+ /**
333
+ * Returns a per-contract logger whose output is prefixed with `aztecnr:<name>(<addrAbbrev>)`.
334
+ */ async #getAztecnrLogger() {
335
+ if (!this.aztecnrLogger) {
336
+ // Purpose of instanceId is to distinguish logs from different instances of the same component. It makes sense
337
+ // to re-use jobId as instanceId here as executions of different PXE jobs are isolated.
338
+ this.aztecnrLogger = await createContractLogger(this.contractAddress, (addr)=>this.contractStore.getDebugContractName(addr), 'aztecnr', {
339
+ instanceId: this.jobId
340
+ });
341
+ }
342
+ return this.aztecnrLogger;
343
+ }
344
+ async log(level, message, fields) {
287
345
  if (!LogLevels[level]) {
288
346
  throw new Error(`Invalid log level: ${level}`);
289
347
  }
290
- const logger = await this.#getContractLogger();
291
- logContractMessage(logger, LogLevels[level], message, fields);
348
+ const { kind, message: strippedMessage } = stripAztecnrLogPrefix(message);
349
+ const logger = kind == 'aztecnr' ? await this.#getAztecnrLogger() : await this.#getContractLogger();
350
+ logContractMessage(logger, LogLevels[level], strippedMessage, fields);
292
351
  }
293
- async utilityFetchTaggedLogs(pendingTaggedLogArrayBaseSlot) {
294
- const logService = new LogService(this.aztecNode, this.anchorBlockHeader, this.keyStore, this.capsuleStore, this.recipientTaggingStore, this.senderAddressBookStore, this.addressStore, this.jobId, this.log.getBindings());
295
- await logService.fetchTaggedLogs(this.contractAddress, pendingTaggedLogArrayBaseSlot, this.scopes);
352
+ // Deprecated, only kept for backwards compatibility until Alpha v5 rolls out.
353
+ async getPendingTaggedLogs(pendingTaggedLogArrayBaseSlot, scope) {
354
+ const logService = this.#createLogService();
355
+ const logs = await logService.fetchTaggedLogs(this.contractAddress, scope);
356
+ await this.capsuleService.appendToCapsuleArray(this.contractAddress, pendingTaggedLogArrayBaseSlot, logs.map((log)=>log.toFields()), this.jobId, scope);
357
+ }
358
+ /** Fetches pending tagged logs into a freshly allocated ephemeral array and returns its base slot. */ async getPendingTaggedLogsV2(scope) {
359
+ const logService = this.#createLogService();
360
+ const logs = await logService.fetchTaggedLogs(this.contractAddress, scope);
361
+ return this.ephemeralArrayService.newArray(logs.map((log)=>log.toFields()));
362
+ }
363
+ #createLogService() {
364
+ return new LogService(this.aztecNode, this.anchorBlockHeader, this.l2TipsStore, this.keyStore, this.recipientTaggingStore, this.senderAddressBookStore, this.addressStore, this.jobId, this.logger.getBindings());
296
365
  }
297
366
  /**
298
- * Validates all note and event validation requests enqueued via `enqueue_note_for_validation` and
299
- * `enqueue_event_for_validation`, inserting them into the note database and event store respectively, making them
300
- * queryable via `get_notes` and `getPrivateEvents`.
367
+ * Legacy: validates note/event requests stored in capsule arrays.
301
368
  *
302
- * This automatically clears both validation request queues, so no further work needs to be done by the caller.
303
- * @param contractAddress - The address of the contract that the logs are tagged for.
304
- * @param noteValidationRequestsArrayBaseSlot - The base slot of capsule array containing note validation requests.
305
- * @param eventValidationRequestsArrayBaseSlot - The base slot of capsule array containing event validation requests.
306
- */ async utilityValidateAndStoreEnqueuedNotesAndEvents(contractAddress, noteValidationRequestsArrayBaseSlot, eventValidationRequestsArrayBaseSlot) {
369
+ * Deprecated, only kept for backwards compatibility until Alpha v5 rolls out.
370
+ */ async validateAndStoreEnqueuedNotesAndEvents(contractAddress, noteValidationRequestsArrayBaseSlot, eventValidationRequestsArrayBaseSlot, maxNotePackedLen, maxEventSerializedLen, scope) {
307
371
  // TODO(#10727): allow other contracts to store notes
308
372
  if (!this.contractAddress.equals(contractAddress)) {
309
373
  throw new Error(`Got a note validation request from ${contractAddress}, expected ${this.contractAddress}`);
310
374
  }
311
- // We read all note and event validation requests and process them all concurrently. This makes the process much
312
- // faster as we don't need to wait for the network round-trip.
313
- const noteValidationRequests = (await this.capsuleStore.readCapsuleArray(contractAddress, noteValidationRequestsArrayBaseSlot, this.jobId)).map(NoteValidationRequest.fromFields);
314
- const eventValidationRequests = (await this.capsuleStore.readCapsuleArray(contractAddress, eventValidationRequestsArrayBaseSlot, this.jobId)).map(EventValidationRequest.fromFields);
375
+ const noteValidationRequests = (await this.capsuleService.readCapsuleArray(contractAddress, noteValidationRequestsArrayBaseSlot, this.jobId, scope)).map((fields)=>NoteValidationRequest.fromFields(fields, maxNotePackedLen));
376
+ const eventValidationRequests = (await this.capsuleService.readCapsuleArray(contractAddress, eventValidationRequestsArrayBaseSlot, this.jobId, scope)).map((fields)=>EventValidationRequest.fromFields(fields, maxEventSerializedLen));
377
+ await this.#processValidationRequests(noteValidationRequests, eventValidationRequests, scope);
378
+ await this.capsuleService.setCapsuleArray(contractAddress, noteValidationRequestsArrayBaseSlot, [], this.jobId, scope);
379
+ await this.capsuleService.setCapsuleArray(contractAddress, eventValidationRequestsArrayBaseSlot, [], this.jobId, scope);
380
+ }
381
+ async validateAndStoreEnqueuedNotesAndEventsV2(noteValidationRequestsArrayBaseSlot, eventValidationRequestsArrayBaseSlot, maxNotePackedLen, maxEventSerializedLen, scope) {
382
+ const noteValidationRequests = this.ephemeralArrayService.readArrayAt(noteValidationRequestsArrayBaseSlot).map((fields)=>NoteValidationRequest.fromFields(fields, maxNotePackedLen));
383
+ const eventValidationRequests = this.ephemeralArrayService.readArrayAt(eventValidationRequestsArrayBaseSlot).map((fields)=>EventValidationRequest.fromFields(fields, maxEventSerializedLen));
384
+ await this.#processValidationRequests(noteValidationRequests, eventValidationRequests, scope);
385
+ }
386
+ /**
387
+ * Dispatches note and event validation requests to the service layer.
388
+ *
389
+ * This function is an auxiliary to support legacy (capsule backed) and new (ephemeral array backed) versions of the
390
+ * `validateAndStoreEnqueuedNotesAndEvents` oracle.
391
+ */ async #processValidationRequests(noteValidationRequests, eventValidationRequests, scope) {
315
392
  const noteService = new NoteService(this.noteStore, this.aztecNode, this.anchorBlockHeader, this.jobId);
316
- 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));
393
+ 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, scope));
317
394
  const eventService = new EventService(this.anchorBlockHeader, this.aztecNode, this.privateEventStore, this.jobId);
318
- const eventStorePromises = eventValidationRequests.map((request)=>eventService.validateAndStoreEvent(request.contractAddress, request.eventTypeId, request.randomness, request.serializedEvent, request.eventCommitment, request.txHash, request.recipient));
395
+ const eventStorePromises = eventValidationRequests.map((request)=>eventService.validateAndStoreEvent(request.contractAddress, request.eventTypeId, request.randomness, request.serializedEvent, request.eventCommitment, request.txHash, scope));
319
396
  await Promise.all([
320
397
  ...noteStorePromises,
321
398
  ...eventStorePromises
322
399
  ]);
323
- // Requests are cleared once we're done.
324
- await this.capsuleStore.setCapsuleArray(contractAddress, noteValidationRequestsArrayBaseSlot, [], this.jobId);
325
- await this.capsuleStore.setCapsuleArray(contractAddress, eventValidationRequestsArrayBaseSlot, [], this.jobId);
326
400
  }
327
- async utilityBulkRetrieveLogs(contractAddress, logRetrievalRequestsArrayBaseSlot, logRetrievalResponsesArrayBaseSlot) {
401
+ async getLogsByTag(contractAddress, logRetrievalRequestsArrayBaseSlot, logRetrievalResponsesArrayBaseSlot, scope) {
328
402
  // TODO(#10727): allow other contracts to process partial notes
329
403
  if (!this.contractAddress.equals(contractAddress)) {
330
404
  throw new Error(`Got a note validation request from ${contractAddress}, expected ${this.contractAddress}`);
331
405
  }
332
406
  // We read all log retrieval requests and process them all concurrently. This makes the process much faster as we
333
407
  // don't need to wait for the network round-trip.
334
- const logRetrievalRequests = (await this.capsuleStore.readCapsuleArray(contractAddress, logRetrievalRequestsArrayBaseSlot, this.jobId)).map(LogRetrievalRequest.fromFields);
335
- const logService = new LogService(this.aztecNode, this.anchorBlockHeader, this.keyStore, this.capsuleStore, this.recipientTaggingStore, this.senderAddressBookStore, this.addressStore, this.jobId, this.log.getBindings());
336
- const maybeLogRetrievalResponses = await logService.bulkRetrieveLogs(logRetrievalRequests);
408
+ const logRetrievalRequests = (await this.capsuleService.readCapsuleArray(contractAddress, logRetrievalRequestsArrayBaseSlot, this.jobId, scope)).map(LogRetrievalRequest.fromFields);
409
+ const logService = this.#createLogService();
410
+ const maybeLogRetrievalResponses = await logService.fetchLogsByTag(contractAddress, logRetrievalRequests);
337
411
  // Requests are cleared once we're done.
338
- await this.capsuleStore.setCapsuleArray(contractAddress, logRetrievalRequestsArrayBaseSlot, [], this.jobId);
412
+ await this.capsuleService.setCapsuleArray(contractAddress, logRetrievalRequestsArrayBaseSlot, [], this.jobId, scope);
339
413
  // The responses are stored as Option<LogRetrievalResponse> in a second CapsuleArray.
340
- await this.capsuleStore.setCapsuleArray(contractAddress, logRetrievalResponsesArrayBaseSlot, maybeLogRetrievalResponses.map(LogRetrievalResponse.toSerializedOption), this.jobId);
414
+ await this.capsuleService.setCapsuleArray(contractAddress, logRetrievalResponsesArrayBaseSlot, maybeLogRetrievalResponses.map(LogRetrievalResponse.toSerializedOption), this.jobId, scope);
415
+ }
416
+ async getLogsByTagV2(requestArrayBaseSlot) {
417
+ const logRetrievalRequests = this.ephemeralArrayService.readArrayAt(requestArrayBaseSlot).map(LogRetrievalRequest.fromFields);
418
+ const logService = this.#createLogService();
419
+ const maybeLogRetrievalResponses = await logService.fetchLogsByTag(this.contractAddress, logRetrievalRequests);
420
+ return this.ephemeralArrayService.newArray(maybeLogRetrievalResponses.map(LogRetrievalResponse.toSerializedOption));
421
+ }
422
+ // Deprecated, only kept for backwards compatibility until Alpha v5 rolls out.
423
+ async getMessageContextsByTxHash(contractAddress, messageContextRequestsArrayBaseSlot, messageContextResponsesArrayBaseSlot, scope) {
424
+ try {
425
+ if (!this.contractAddress.equals(contractAddress)) {
426
+ throw new Error(`Got a message context request from ${contractAddress}, expected ${this.contractAddress}`);
427
+ }
428
+ // TODO(@mverzilli): this is a prime example of where using an ephemeral array would make much more sense, we don't
429
+ // need scopes here, we just need a bit of shared memory to cross boundaries between Noir and TS.
430
+ // At the same time, we don't want to allow any global scope access other than where backwards compatibility
431
+ // forces us to. Hence we need the scope here to be artificial.
432
+ const requestCapsules = await this.capsuleService.readCapsuleArray(contractAddress, messageContextRequestsArrayBaseSlot, this.jobId, scope);
433
+ const txHashes = requestCapsules.map((fields, i)=>{
434
+ if (fields.length !== 1) {
435
+ throw new Error(`Malformed message context request at index ${i}: expected 1 field (tx hash), got ${fields.length}`);
436
+ }
437
+ return fields[0];
438
+ });
439
+ const maybeMessageContexts = await this.messageContextService.getMessageContextsByTxHash(txHashes, this.anchorBlockHeader.getBlockNumber());
440
+ // Leave response in response capsule array.
441
+ await this.capsuleService.setCapsuleArray(contractAddress, messageContextResponsesArrayBaseSlot, maybeMessageContexts.map(MessageContext.toSerializedOption), this.jobId, scope);
442
+ } finally{
443
+ await this.capsuleService.setCapsuleArray(contractAddress, messageContextRequestsArrayBaseSlot, [], this.jobId, scope);
444
+ }
445
+ }
446
+ /** Reads tx hash requests from an ephemeral array, resolves their contexts, and returns the response slot. */ async getMessageContextsByTxHashV2(requestArrayBaseSlot) {
447
+ const requestFields = this.ephemeralArrayService.readArrayAt(requestArrayBaseSlot);
448
+ const txHashes = requestFields.map((fields, i)=>{
449
+ if (fields.length !== 1) {
450
+ throw new Error(`Malformed message context request at index ${i}: expected 1 field (tx hash), got ${fields.length}`);
451
+ }
452
+ return fields[0];
453
+ });
454
+ const maybeMessageContexts = await this.messageContextService.getMessageContextsByTxHash(txHashes, this.anchorBlockHeader.getBlockNumber());
455
+ return this.ephemeralArrayService.newArray(maybeMessageContexts.map(MessageContext.toSerializedOption));
341
456
  }
342
- utilityStoreCapsule(contractAddress, slot, capsule) {
457
+ setCapsule(contractAddress, slot, capsule, scope) {
343
458
  if (!contractAddress.equals(this.contractAddress)) {
344
459
  // TODO(#10727): instead of this check that this.contractAddress is allowed to access the external DB
345
460
  throw new Error(`Contract ${contractAddress} is not allowed to access ${this.contractAddress}'s PXE DB`);
346
461
  }
347
- this.capsuleStore.storeCapsule(this.contractAddress, slot, capsule, this.jobId);
348
- return Promise.resolve();
462
+ this.capsuleService.setCapsule(contractAddress, slot, capsule, this.jobId, scope);
349
463
  }
350
- async utilityLoadCapsule(contractAddress, slot) {
464
+ getCapsule(contractAddress, slot, scope) {
351
465
  if (!contractAddress.equals(this.contractAddress)) {
352
466
  // TODO(#10727): instead of this check that this.contractAddress is allowed to access the external DB
353
467
  throw new Error(`Contract ${contractAddress} is not allowed to access ${this.contractAddress}'s PXE DB`);
354
468
  }
355
- return(// TODO(#12425): On the following line, the pertinent capsule gets overshadowed by the transient one. Tackle this.
356
- this.capsules.find((c)=>c.contractAddress.equals(contractAddress) && c.storageSlot.equals(slot))?.data ?? await this.capsuleStore.loadCapsule(this.contractAddress, slot, this.jobId));
469
+ return this.capsuleService.getCapsule(contractAddress, slot, this.jobId, scope, this.capsules);
357
470
  }
358
- utilityDeleteCapsule(contractAddress, slot) {
471
+ deleteCapsule(contractAddress, slot, scope) {
359
472
  if (!contractAddress.equals(this.contractAddress)) {
360
473
  // TODO(#10727): instead of this check that this.contractAddress is allowed to access the external DB
361
474
  throw new Error(`Contract ${contractAddress} is not allowed to access ${this.contractAddress}'s PXE DB`);
362
475
  }
363
- this.capsuleStore.deleteCapsule(this.contractAddress, slot, this.jobId);
364
- return Promise.resolve();
476
+ this.capsuleService.deleteCapsule(contractAddress, slot, this.jobId, scope);
365
477
  }
366
- utilityCopyCapsule(contractAddress, srcSlot, dstSlot, numEntries) {
478
+ copyCapsule(contractAddress, srcSlot, dstSlot, numEntries, scope) {
367
479
  if (!contractAddress.equals(this.contractAddress)) {
368
480
  // TODO(#10727): instead of this check that this.contractAddress is allowed to access the external DB
369
481
  throw new Error(`Contract ${contractAddress} is not allowed to access ${this.contractAddress}'s PXE DB`);
370
482
  }
371
- return this.capsuleStore.copyCapsule(this.contractAddress, srcSlot, dstSlot, numEntries, this.jobId);
483
+ return this.capsuleService.copyCapsule(contractAddress, srcSlot, dstSlot, numEntries, this.jobId, scope);
484
+ }
485
+ /**
486
+ * Clears cached sync state for a contract for a set of scopes, forcing re-sync on the next query so that newly
487
+ * stored notes or events are discovered.
488
+ */ setContractSyncCacheInvalid(contractAddress, scopes) {
489
+ if (!contractAddress.equals(this.contractAddress)) {
490
+ throw new Error(`Contract ${this.contractAddress} cannot invalidate sync cache of ${contractAddress}`);
491
+ }
492
+ this.contractSyncService.invalidateContractForScopes(contractAddress, scopes);
372
493
  }
373
494
  // TODO(#11849): consider replacing this oracle with a pure Noir implementation of aes decryption.
374
- utilityAes128Decrypt(ciphertext, iv, symKey) {
495
+ decryptAes128(ciphertext, iv, symKey) {
375
496
  const aes128 = new Aes128();
376
497
  return aes128.decryptBufferCBC(ciphertext, iv, symKey);
377
498
  }
378
499
  /**
379
- * Retrieves the shared secret for a given address and ephemeral public key.
500
+ * Retrieves the app-siloed shared secret for a given address and ephemeral public key.
380
501
  * @param address - The address to get the secret for.
381
502
  * @param ephPk - The ephemeral public key to get the secret for.
382
- * @returns The secret for the given address.
383
- */ utilityGetSharedSecret(address, ephPk) {
384
- return this.getSharedSecret(address, ephPk);
385
- }
386
- async getSharedSecret(address, ephPk) {
387
- // TODO(#12656): return an app-siloed secret
503
+ * @param contractAddress - The contract address for app-siloing (validated against execution context).
504
+ * @returns The app-siloed shared secret as a Field.
505
+ */ async getSharedSecret(address, ephPk, contractAddress) {
506
+ if (!contractAddress.equals(this.contractAddress)) {
507
+ throw new Error(`getSharedSecret called with contract address ${contractAddress}, expected ${this.contractAddress}`);
508
+ }
388
509
  const recipientCompleteAddress = await this.getCompleteAddressOrFail(address);
389
510
  const ivskM = await this.keyStore.getMasterSecretKey(recipientCompleteAddress.publicKeys.masterIncomingViewingPublicKey);
390
511
  const addressSecret = await computeAddressSecret(await recipientCompleteAddress.getPreaddress(), ivskM);
391
- return deriveEcdhSharedSecret(addressSecret, ephPk);
512
+ return deriveAppSiloedSharedSecret(addressSecret, ephPk, this.contractAddress);
513
+ }
514
+ pushEphemeral(slot, elements) {
515
+ return this.ephemeralArrayService.push(slot, elements);
516
+ }
517
+ popEphemeral(slot) {
518
+ return this.ephemeralArrayService.pop(slot);
519
+ }
520
+ getEphemeral(slot, index) {
521
+ return this.ephemeralArrayService.get(slot, index);
522
+ }
523
+ setEphemeral(slot, index, elements) {
524
+ this.ephemeralArrayService.set(slot, index, elements);
525
+ }
526
+ getEphemeralLen(slot) {
527
+ return this.ephemeralArrayService.len(slot);
528
+ }
529
+ removeEphemeral(slot, index) {
530
+ this.ephemeralArrayService.remove(slot, index);
531
+ }
532
+ clearEphemeral(slot) {
533
+ this.ephemeralArrayService.clear(slot);
534
+ }
535
+ emitOffchainEffect(data) {
536
+ this.offchainEffects.push({
537
+ data,
538
+ contractAddress: this.contractAddress
539
+ });
540
+ return Promise.resolve();
541
+ }
542
+ /** Returns offchain effects collected during execution. */ getOffchainEffects() {
543
+ return this.offchainEffects;
544
+ }
545
+ /** Runs a query concurrently with a validation that the block hash is not ahead of the anchor block. */ async #queryWithBlockHashNotAfterAnchor(blockHash, query) {
546
+ const [response] = await Promise.all([
547
+ query(),
548
+ (async ()=>{
549
+ const header = await this.aztecNode.getBlockHeader(blockHash);
550
+ if (!header) {
551
+ throw new Error(`Could not find block header for block hash ${blockHash}`);
552
+ }
553
+ if (header.getBlockNumber() > this.anchorBlockHeader.getBlockNumber()) {
554
+ throw new Error(`Made a node query with a reference block hash ${blockHash} with block number ${header.getBlockNumber()}, which is ahead of the anchor block number ${this.anchorBlockHeader.getBlockNumber()} (from anchor block hash ${await this.anchorBlockHeader.hash()}).`);
555
+ }
556
+ })()
557
+ ]);
558
+ return response;
392
559
  }
393
560
  }
@@ -82,4 +82,4 @@ interface ContainsNote {
82
82
  */
83
83
  export declare function pickNotes<T extends ContainsNote>(noteDatas: T[], { selects, sorts, limit, offset }: GetOptions): T[];
84
84
  export {};
85
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicGlja19ub3Rlcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2NvbnRyYWN0X2Z1bmN0aW9uX3NpbXVsYXRvci9waWNrX25vdGVzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsVUFBVSxFQUFFLEtBQUssSUFBSSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFFM0QsTUFBTSxXQUFXLGdCQUFnQjtJQUMvQixLQUFLLEVBQUUsTUFBTSxDQUFDO0lBQ2QsTUFBTSxFQUFFLE1BQU0sQ0FBQztJQUNmLE1BQU0sRUFBRSxNQUFNLENBQUM7Q0FDaEI7QUFFRDs7R0FFRztBQUNILE1BQU0sV0FBVyxNQUFNO0lBQ3JCOztPQUVHO0lBQ0gsUUFBUSxFQUFFLGdCQUFnQixDQUFDO0lBQzNCOztPQUVHO0lBQ0gsS0FBSyxFQUFFLEVBQUUsQ0FBQztJQUNWOztPQUVHO0lBQ0gsVUFBVSxFQUFFLFVBQVUsQ0FBQztDQUN4QjtBQUVEOztHQUVHO0FBQ0gsb0JBQVksU0FBUztJQUNuQixJQUFJLElBQUk7SUFDUixJQUFJLElBQUk7SUFDUixHQUFHLElBQUk7Q0FDUjtBQUVEOztHQUVHO0FBQ0gsTUFBTSxXQUFXLElBQUk7SUFDbkI7O09BRUc7SUFDSCxRQUFRLEVBQUUsZ0JBQWdCLENBQUM7SUFDM0I7O09BRUc7SUFDSCxLQUFLLEVBQUUsU0FBUyxDQUFDO0NBQ2xCO0FBRUQ7O0dBRUc7QUFDSCxVQUFVLFVBQVU7SUFDbEI7OztPQUdHO0lBQ0gsT0FBTyxDQUFDLEVBQUUsTUFBTSxFQUFFLENBQUM7SUFDbkI7OztPQUdHO0lBQ0gsS0FBSyxDQUFDLEVBQUUsSUFBSSxFQUFFLENBQUM7SUFDZjs7O09BR0c7SUFDSCxLQUFLLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDZjs7O09BR0c7SUFDSCxNQUFNLENBQUMsRUFBRSxNQUFNLENBQUM7Q0FDakI7QUFFRDs7R0FFRztBQUNILFVBQVUsWUFBWTtJQUNwQjs7T0FFRztJQUNILElBQUksRUFBRSxJQUFJLENBQUM7Q0FDWjtBQThDRDs7R0FFRztBQUNILHdCQUFnQixTQUFTLENBQUMsQ0FBQyxTQUFTLFlBQVksRUFDOUMsU0FBUyxFQUFFLENBQUMsRUFBRSxFQUNkLEVBQUUsT0FBWSxFQUFFLEtBQVUsRUFBRSxLQUFTLEVBQUUsTUFBVSxFQUFFLEVBQUUsVUFBVSxHQUM5RCxDQUFDLEVBQUUsQ0FJTCJ9
85
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicGlja19ub3Rlcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2NvbnRyYWN0X2Z1bmN0aW9uX3NpbXVsYXRvci9waWNrX25vdGVzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsVUFBVSxFQUFFLEtBQUssSUFBSSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFFM0QsTUFBTSxXQUFXLGdCQUFnQjtJQUMvQixLQUFLLEVBQUUsTUFBTSxDQUFDO0lBQ2QsTUFBTSxFQUFFLE1BQU0sQ0FBQztJQUNmLE1BQU0sRUFBRSxNQUFNLENBQUM7Q0FDaEI7QUFFRDs7R0FFRztBQUNILE1BQU0sV0FBVyxNQUFNO0lBQ3JCOztPQUVHO0lBQ0gsUUFBUSxFQUFFLGdCQUFnQixDQUFDO0lBQzNCOztPQUVHO0lBQ0gsS0FBSyxFQUFFLEVBQUUsQ0FBQztJQUNWOztPQUVHO0lBQ0gsVUFBVSxFQUFFLFVBQVUsQ0FBQztDQUN4QjtBQUVEOztHQUVHO0FBQ0gsb0JBQVksU0FBUztJQUNuQixJQUFJLElBQUk7SUFDUixJQUFJLElBQUk7SUFDUixHQUFHLElBQUk7Q0FDUjtBQUVEOztHQUVHO0FBQ0gsTUFBTSxXQUFXLElBQUk7SUFDbkI7O09BRUc7SUFDSCxRQUFRLEVBQUUsZ0JBQWdCLENBQUM7SUFDM0I7O09BRUc7SUFDSCxLQUFLLEVBQUUsU0FBUyxDQUFDO0NBQ2xCO0FBRUQ7O0dBRUc7QUFDSCxVQUFVLFVBQVU7SUFDbEI7OztPQUdHO0lBQ0gsT0FBTyxDQUFDLEVBQUUsTUFBTSxFQUFFLENBQUM7SUFDbkI7OztPQUdHO0lBQ0gsS0FBSyxDQUFDLEVBQUUsSUFBSSxFQUFFLENBQUM7SUFDZjs7O09BR0c7SUFDSCxLQUFLLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDZjs7O09BR0c7SUFDSCxNQUFNLENBQUMsRUFBRSxNQUFNLENBQUM7Q0FDakI7QUFFRDs7R0FFRztBQUNILFVBQVUsWUFBWTtJQUNwQjs7T0FFRztJQUNILElBQUksRUFBRSxJQUFJLENBQUM7Q0FDWjtBQXFERDs7R0FFRztBQUNILHdCQUFnQixTQUFTLENBQUMsQ0FBQyxTQUFTLFlBQVksRUFDOUMsU0FBUyxFQUFFLENBQUMsRUFBRSxFQUNkLEVBQUUsT0FBWSxFQUFFLEtBQVUsRUFBRSxLQUFTLEVBQUUsTUFBVSxFQUFFLEVBQUUsVUFBVSxHQUM5RCxDQUFDLEVBQUUsQ0FJTCJ9
@@ -1 +1 @@
1
- {"version":3,"file":"pick_notes.d.ts","sourceRoot":"","sources":["../../src/contract_function_simulator/pick_notes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,KAAK,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAE3D,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,MAAM;IACrB;;OAEG;IACH,QAAQ,EAAE,gBAAgB,CAAC;IAC3B;;OAEG;IACH,KAAK,EAAE,EAAE,CAAC;IACV;;OAEG;IACH,UAAU,EAAE,UAAU,CAAC;CACxB;AAED;;GAEG;AACH,oBAAY,SAAS;IACnB,IAAI,IAAI;IACR,IAAI,IAAI;IACR,GAAG,IAAI;CACR;AAED;;GAEG;AACH,MAAM,WAAW,IAAI;IACnB;;OAEG;IACH,QAAQ,EAAE,gBAAgB,CAAC;IAC3B;;OAEG;IACH,KAAK,EAAE,SAAS,CAAC;CAClB;AAED;;GAEG;AACH,UAAU,UAAU;IAClB;;;OAGG;IACH,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB;;;OAGG;IACH,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC;IACf;;;OAGG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;;OAGG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,UAAU,YAAY;IACpB;;OAEG;IACH,IAAI,EAAE,IAAI,CAAC;CACZ;AA8CD;;GAEG;AACH,wBAAgB,SAAS,CAAC,CAAC,SAAS,YAAY,EAC9C,SAAS,EAAE,CAAC,EAAE,EACd,EAAE,OAAY,EAAE,KAAU,EAAE,KAAS,EAAE,MAAU,EAAE,EAAE,UAAU,GAC9D,CAAC,EAAE,CAIL"}
1
+ {"version":3,"file":"pick_notes.d.ts","sourceRoot":"","sources":["../../src/contract_function_simulator/pick_notes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,KAAK,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAE3D,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,MAAM;IACrB;;OAEG;IACH,QAAQ,EAAE,gBAAgB,CAAC;IAC3B;;OAEG;IACH,KAAK,EAAE,EAAE,CAAC;IACV;;OAEG;IACH,UAAU,EAAE,UAAU,CAAC;CACxB;AAED;;GAEG;AACH,oBAAY,SAAS;IACnB,IAAI,IAAI;IACR,IAAI,IAAI;IACR,GAAG,IAAI;CACR;AAED;;GAEG;AACH,MAAM,WAAW,IAAI;IACnB;;OAEG;IACH,QAAQ,EAAE,gBAAgB,CAAC;IAC3B;;OAEG;IACH,KAAK,EAAE,SAAS,CAAC;CAClB;AAED;;GAEG;AACH,UAAU,UAAU;IAClB;;;OAGG;IACH,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB;;;OAGG;IACH,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC;IACf;;;OAGG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;;OAGG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,UAAU,YAAY;IACpB;;OAEG;IACH,IAAI,EAAE,IAAI,CAAC;CACZ;AAqDD;;GAEG;AACH,wBAAgB,SAAS,CAAC,CAAC,SAAS,YAAY,EAC9C,SAAS,EAAE,CAAC,EAAE,EACd,EAAE,OAAY,EAAE,KAAU,EAAE,KAAS,EAAE,MAAU,EAAE,EAAE,UAAU,GAC9D,CAAC,EAAE,CAIL"}