@aztec/pxe 0.0.1-commit.fcb71a6 → 0.0.1-commit.fffb133c

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 (218) hide show
  1. package/dest/bin/check_oracle_version.js +1 -1
  2. package/dest/block_synchronizer/block_synchronizer.d.ts +10 -4
  3. package/dest/block_synchronizer/block_synchronizer.d.ts.map +1 -1
  4. package/dest/block_synchronizer/block_synchronizer.js +66 -18
  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/config/package_info.js +1 -1
  9. package/dest/contract_function_simulator/benchmarked_node.d.ts +9 -0
  10. package/dest/contract_function_simulator/benchmarked_node.d.ts.map +1 -0
  11. package/dest/contract_function_simulator/benchmarked_node.js +77 -0
  12. package/dest/contract_function_simulator/contract_function_simulator.d.ts +8 -9
  13. package/dest/contract_function_simulator/contract_function_simulator.d.ts.map +1 -1
  14. package/dest/contract_function_simulator/contract_function_simulator.js +32 -21
  15. package/dest/contract_function_simulator/execution_note_cache.d.ts +18 -9
  16. package/dest/contract_function_simulator/execution_note_cache.d.ts.map +1 -1
  17. package/dest/contract_function_simulator/execution_note_cache.js +45 -28
  18. package/dest/contract_function_simulator/index.d.ts +2 -2
  19. package/dest/contract_function_simulator/index.d.ts.map +1 -1
  20. package/dest/contract_function_simulator/index.js +1 -1
  21. package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts +4 -3
  22. package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts.map +1 -1
  23. package/dest/contract_function_simulator/noir-structs/event_validation_request.js +6 -3
  24. package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts +1 -1
  25. package/dest/contract_function_simulator/noir-structs/note_validation_request.js +1 -1
  26. package/dest/contract_function_simulator/noir-structs/utility_context.d.ts +4 -10
  27. package/dest/contract_function_simulator/noir-structs/utility_context.d.ts.map +1 -1
  28. package/dest/contract_function_simulator/noir-structs/utility_context.js +7 -18
  29. package/dest/contract_function_simulator/oracle/interfaces.d.ts +15 -11
  30. package/dest/contract_function_simulator/oracle/interfaces.d.ts.map +1 -1
  31. package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts +3 -1
  32. package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts.map +1 -1
  33. package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts +6 -6
  34. package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts.map +1 -1
  35. package/dest/contract_function_simulator/oracle/note_packing_utils.js +8 -8
  36. package/dest/contract_function_simulator/oracle/oracle.d.ts +10 -8
  37. package/dest/contract_function_simulator/oracle/oracle.d.ts.map +1 -1
  38. package/dest/contract_function_simulator/oracle/oracle.js +43 -32
  39. package/dest/contract_function_simulator/oracle/private_execution.d.ts +2 -26
  40. package/dest/contract_function_simulator/oracle/private_execution.d.ts.map +1 -1
  41. package/dest/contract_function_simulator/oracle/private_execution.js +1 -37
  42. package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts +11 -17
  43. package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts.map +1 -1
  44. package/dest/contract_function_simulator/oracle/private_execution_oracle.js +23 -39
  45. package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts +27 -17
  46. package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts.map +1 -1
  47. package/dest/contract_function_simulator/oracle/utility_execution_oracle.js +72 -72
  48. package/dest/contract_sync/index.d.ts +23 -0
  49. package/dest/contract_sync/index.d.ts.map +1 -0
  50. package/dest/contract_sync/index.js +54 -0
  51. package/dest/debug/pxe_debug_utils.d.ts +1 -1
  52. package/dest/debug/pxe_debug_utils.d.ts.map +1 -1
  53. package/dest/debug/pxe_debug_utils.js +3 -2
  54. package/dest/entrypoints/client/bundle/utils.d.ts +1 -1
  55. package/dest/entrypoints/client/bundle/utils.d.ts.map +1 -1
  56. package/dest/entrypoints/client/bundle/utils.js +10 -1
  57. package/dest/entrypoints/client/lazy/utils.d.ts +1 -1
  58. package/dest/entrypoints/client/lazy/utils.d.ts.map +1 -1
  59. package/dest/entrypoints/client/lazy/utils.js +10 -1
  60. package/dest/entrypoints/pxe_creation_options.d.ts +3 -2
  61. package/dest/entrypoints/pxe_creation_options.d.ts.map +1 -1
  62. package/dest/entrypoints/server/index.d.ts +3 -1
  63. package/dest/entrypoints/server/index.d.ts.map +1 -1
  64. package/dest/entrypoints/server/index.js +2 -0
  65. package/dest/entrypoints/server/utils.d.ts +1 -1
  66. package/dest/entrypoints/server/utils.d.ts.map +1 -1
  67. package/dest/entrypoints/server/utils.js +11 -7
  68. package/dest/events/event_service.d.ts +4 -3
  69. package/dest/events/event_service.d.ts.map +1 -1
  70. package/dest/events/event_service.js +17 -19
  71. package/dest/events/private_event_filter_validator.d.ts +5 -5
  72. package/dest/events/private_event_filter_validator.d.ts.map +1 -1
  73. package/dest/events/private_event_filter_validator.js +5 -6
  74. package/dest/job_coordinator/job_coordinator.d.ts +74 -0
  75. package/dest/job_coordinator/job_coordinator.d.ts.map +1 -0
  76. package/dest/job_coordinator/job_coordinator.js +93 -0
  77. package/dest/logs/log_service.d.ts +3 -2
  78. package/dest/logs/log_service.d.ts.map +1 -1
  79. package/dest/logs/log_service.js +21 -13
  80. package/dest/notes/note_service.d.ts +5 -4
  81. package/dest/notes/note_service.d.ts.map +1 -1
  82. package/dest/notes/note_service.js +30 -34
  83. package/dest/oracle_version.d.ts +3 -3
  84. package/dest/oracle_version.d.ts.map +1 -1
  85. package/dest/oracle_version.js +4 -3
  86. package/dest/private_kernel/hints/index.d.ts +2 -2
  87. package/dest/private_kernel/hints/index.d.ts.map +1 -1
  88. package/dest/private_kernel/hints/index.js +1 -1
  89. package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts +28 -0
  90. package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts.map +1 -0
  91. package/dest/private_kernel/hints/{build_private_kernel_reset_private_inputs.js → private_kernel_reset_private_inputs_builder.js} +13 -7
  92. package/dest/private_kernel/private_kernel_execution_prover.d.ts +1 -1
  93. package/dest/private_kernel/private_kernel_execution_prover.d.ts.map +1 -1
  94. package/dest/private_kernel/private_kernel_execution_prover.js +4 -5
  95. package/dest/private_kernel/private_kernel_oracle.d.ts +24 -28
  96. package/dest/private_kernel/private_kernel_oracle.d.ts.map +1 -1
  97. package/dest/private_kernel/private_kernel_oracle.js +90 -2
  98. package/dest/pxe.d.ts +8 -36
  99. package/dest/pxe.d.ts.map +1 -1
  100. package/dest/pxe.js +70 -93
  101. package/dest/storage/capsule_store/capsule_store.d.ts +24 -9
  102. package/dest/storage/capsule_store/capsule_store.d.ts.map +1 -1
  103. package/dest/storage/capsule_store/capsule_store.js +132 -23
  104. package/dest/storage/contract_store/contract_store.d.ts +1 -2
  105. package/dest/storage/contract_store/contract_store.d.ts.map +1 -1
  106. package/dest/storage/contract_store/contract_store.js +0 -12
  107. package/dest/storage/note_store/note_store.d.ts +45 -56
  108. package/dest/storage/note_store/note_store.d.ts.map +1 -1
  109. package/dest/storage/note_store/note_store.js +244 -263
  110. package/dest/storage/note_store/stored_note.d.ts +16 -0
  111. package/dest/storage/note_store/stored_note.d.ts.map +1 -0
  112. package/dest/storage/note_store/stored_note.js +43 -0
  113. package/dest/storage/private_event_store/private_event_store.d.ts +47 -7
  114. package/dest/storage/private_event_store/private_event_store.d.ts.map +1 -1
  115. package/dest/storage/private_event_store/private_event_store.js +203 -68
  116. package/dest/storage/private_event_store/stored_private_event.d.ts +23 -0
  117. package/dest/storage/private_event_store/stored_private_event.d.ts.map +1 -0
  118. package/dest/storage/private_event_store/stored_private_event.js +56 -0
  119. package/dest/storage/tagging_store/recipient_tagging_store.d.ts +15 -8
  120. package/dest/storage/tagging_store/recipient_tagging_store.d.ts.map +1 -1
  121. package/dest/storage/tagging_store/recipient_tagging_store.js +69 -12
  122. package/dest/storage/tagging_store/sender_tagging_store.d.ts +19 -9
  123. package/dest/storage/tagging_store/sender_tagging_store.d.ts.map +1 -1
  124. package/dest/storage/tagging_store/sender_tagging_store.js +110 -28
  125. package/dest/tagging/constants.d.ts +2 -0
  126. package/dest/tagging/constants.d.ts.map +1 -0
  127. package/dest/tagging/constants.js +10 -0
  128. package/dest/tagging/get_all_logs_by_tags.d.ts +24 -0
  129. package/dest/tagging/get_all_logs_by_tags.d.ts.map +1 -0
  130. package/dest/tagging/get_all_logs_by_tags.js +46 -0
  131. package/dest/tagging/index.d.ts +3 -2
  132. package/dest/tagging/index.d.ts.map +1 -1
  133. package/dest/tagging/index.js +2 -10
  134. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts +3 -2
  135. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts.map +1 -1
  136. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.js +8 -8
  137. package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts +3 -2
  138. package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts.map +1 -1
  139. package/dest/tagging/recipient_sync/utils/load_logs_for_range.js +5 -2
  140. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts +3 -2
  141. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts.map +1 -1
  142. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.js +8 -8
  143. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts +1 -1
  144. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts.map +1 -1
  145. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.js +5 -8
  146. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts +5 -2
  147. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts.map +1 -1
  148. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.js +10 -5
  149. package/package.json +18 -18
  150. package/src/bin/check_oracle_version.ts +1 -0
  151. package/src/block_synchronizer/block_synchronizer.ts +77 -20
  152. package/src/config/index.ts +14 -0
  153. package/src/config/package_info.ts +1 -1
  154. package/src/contract_function_simulator/benchmarked_node.ts +103 -0
  155. package/src/contract_function_simulator/contract_function_simulator.ts +37 -26
  156. package/src/contract_function_simulator/execution_note_cache.ts +44 -25
  157. package/src/contract_function_simulator/index.ts +1 -1
  158. package/src/contract_function_simulator/noir-structs/event_validation_request.ts +5 -1
  159. package/src/contract_function_simulator/noir-structs/note_validation_request.ts +1 -1
  160. package/src/contract_function_simulator/noir-structs/utility_context.ts +6 -25
  161. package/src/contract_function_simulator/oracle/interfaces.ts +20 -10
  162. package/src/contract_function_simulator/oracle/note_packing_utils.ts +10 -10
  163. package/src/contract_function_simulator/oracle/oracle.ts +56 -41
  164. package/src/contract_function_simulator/oracle/private_execution.ts +1 -69
  165. package/src/contract_function_simulator/oracle/private_execution_oracle.ts +39 -44
  166. package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +90 -76
  167. package/src/contract_sync/index.ts +98 -0
  168. package/src/debug/pxe_debug_utils.ts +3 -2
  169. package/src/entrypoints/client/bundle/utils.ts +7 -1
  170. package/src/entrypoints/client/lazy/utils.ts +7 -2
  171. package/src/entrypoints/pxe_creation_options.ts +2 -1
  172. package/src/entrypoints/server/index.ts +2 -0
  173. package/src/entrypoints/server/utils.ts +11 -15
  174. package/src/events/event_service.ts +17 -21
  175. package/src/events/private_event_filter_validator.ts +3 -5
  176. package/src/job_coordinator/job_coordinator.ts +149 -0
  177. package/src/logs/log_service.ts +27 -9
  178. package/src/notes/note_service.ts +37 -40
  179. package/src/oracle_version.ts +4 -3
  180. package/src/private_kernel/hints/index.ts +1 -1
  181. package/src/private_kernel/hints/{build_private_kernel_reset_private_inputs.ts → private_kernel_reset_private_inputs_builder.ts} +33 -22
  182. package/src/private_kernel/private_kernel_execution_prover.ts +3 -5
  183. package/src/private_kernel/private_kernel_oracle.ts +116 -36
  184. package/src/pxe.ts +123 -127
  185. package/src/storage/capsule_store/capsule_store.ts +159 -23
  186. package/src/storage/contract_store/contract_store.ts +0 -20
  187. package/src/storage/note_store/note_store.ts +286 -317
  188. package/src/storage/note_store/stored_note.ts +48 -0
  189. package/src/storage/private_event_store/private_event_store.ts +277 -76
  190. package/src/storage/private_event_store/stored_private_event.ts +73 -0
  191. package/src/storage/tagging_store/recipient_tagging_store.ts +89 -13
  192. package/src/storage/tagging_store/sender_tagging_store.ts +129 -28
  193. package/src/tagging/constants.ts +10 -0
  194. package/src/tagging/get_all_logs_by_tags.ts +68 -0
  195. package/src/tagging/index.ts +2 -11
  196. package/src/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.ts +21 -7
  197. package/src/tagging/recipient_sync/utils/load_logs_for_range.ts +7 -1
  198. package/src/tagging/sender_sync/sync_sender_tagging_indexes.ts +10 -7
  199. package/src/tagging/sender_sync/utils/get_status_change_of_pending.ts +5 -13
  200. package/src/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.ts +16 -4
  201. package/dest/contract_function_simulator/proxied_node.d.ts +0 -9
  202. package/dest/contract_function_simulator/proxied_node.d.ts.map +0 -1
  203. package/dest/contract_function_simulator/proxied_node.js +0 -27
  204. package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts +0 -28
  205. package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts.map +0 -1
  206. package/dest/private_kernel/private_kernel_oracle_impl.d.ts +0 -46
  207. package/dest/private_kernel/private_kernel_oracle_impl.d.ts.map +0 -1
  208. package/dest/private_kernel/private_kernel_oracle_impl.js +0 -86
  209. package/dest/public_storage/public_storage_service.d.ts +0 -24
  210. package/dest/public_storage/public_storage_service.d.ts.map +0 -1
  211. package/dest/public_storage/public_storage_service.js +0 -26
  212. package/dest/tree_membership/tree_membership_service.d.ts +0 -52
  213. package/dest/tree_membership/tree_membership_service.d.ts.map +0 -1
  214. package/dest/tree_membership/tree_membership_service.js +0 -84
  215. package/src/contract_function_simulator/proxied_node.ts +0 -33
  216. package/src/private_kernel/private_kernel_oracle_impl.ts +0 -133
  217. package/src/public_storage/public_storage_service.ts +0 -33
  218. package/src/tree_membership/tree_membership_service.ts +0 -112
@@ -0,0 +1,48 @@
1
+ import { BlockNumber } from '@aztec/foundation/branded-types';
2
+ import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
3
+ import { NoteDao } from '@aztec/stdlib/note';
4
+
5
+ export class StoredNote {
6
+ constructor(
7
+ readonly noteDao: NoteDao,
8
+ readonly scopes: Set<string>,
9
+ private _nullifiedAt: BlockNumber | undefined = undefined,
10
+ ) {}
11
+
12
+ static fromBuffer(buffer: Buffer) {
13
+ const reader = BufferReader.asReader(buffer);
14
+
15
+ const noteDao = NoteDao.fromBuffer(reader);
16
+ const scopes = reader.readVector({ fromBuffer: (r: BufferReader) => r.readString() });
17
+
18
+ const nullifiedAtRaw = reader.readNumber();
19
+ const nullifiedAt = nullifiedAtRaw === 0 ? undefined : (nullifiedAtRaw as BlockNumber);
20
+
21
+ return new StoredNote(noteDao, new Set(scopes), nullifiedAt);
22
+ }
23
+
24
+ toBuffer(): Buffer {
25
+ const scopesArray = [...this.scopes];
26
+ return serializeToBuffer(this.noteDao, scopesArray.length, ...scopesArray, this._nullifiedAt ?? 0);
27
+ }
28
+
29
+ addScope(scope: string) {
30
+ this.scopes.add(scope);
31
+ }
32
+
33
+ markAsNullified(blockNumber: BlockNumber) {
34
+ this._nullifiedAt = blockNumber;
35
+ }
36
+
37
+ markAsActive() {
38
+ this._nullifiedAt = undefined;
39
+ }
40
+
41
+ isNullified() {
42
+ return this._nullifiedAt !== undefined;
43
+ }
44
+
45
+ get nullifiedAt() {
46
+ return this._nullifiedAt;
47
+ }
48
+ }
@@ -1,14 +1,16 @@
1
1
  import { BlockNumber } from '@aztec/foundation/branded-types';
2
2
  import { Fr } from '@aztec/foundation/curves/bn254';
3
+ import { toArray } from '@aztec/foundation/iterable';
3
4
  import { createLogger } from '@aztec/foundation/log';
4
- import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
5
- import type { AztecAsyncArray, AztecAsyncKVStore, AztecAsyncMap } from '@aztec/kv-store';
5
+ import { Semaphore } from '@aztec/foundation/queue';
6
+ import type { AztecAsyncKVStore, AztecAsyncMap, AztecAsyncMultiMap } from '@aztec/kv-store';
6
7
  import type { EventSelector } from '@aztec/stdlib/abi';
7
8
  import type { AztecAddress } from '@aztec/stdlib/aztec-address';
8
- import { L2BlockHash } from '@aztec/stdlib/block';
9
- import { type InTx, TxHash } from '@aztec/stdlib/tx';
9
+ import type { InTx, TxHash } from '@aztec/stdlib/tx';
10
10
 
11
+ import type { StagedStore } from '../../job_coordinator/job_coordinator.js';
11
12
  import type { PackedPrivateEvent } from '../../pxe.js';
13
+ import { StoredPrivateEvent } from './stored_private_event.js';
12
14
 
13
15
  export type PrivateEventStoreFilter = {
14
16
  contractAddress: AztecAddress;
@@ -18,49 +20,53 @@ export type PrivateEventStoreFilter = {
18
20
  txHash?: TxHash;
19
21
  };
20
22
 
21
- type PrivateEventEntry = {
22
- msgContent: Buffer;
23
- eventCommitmentIndex: number;
24
- l2BlockNumber: number;
25
- l2BlockHash: Buffer;
26
- txHash: Buffer;
27
- };
28
-
29
23
  type PrivateEventMetadata = InTx & {
30
24
  contractAddress: AztecAddress;
31
25
  scope: AztecAddress;
26
+ /** The index of the tx within the block */
27
+ txIndexInBlock: number;
28
+ /** The index of the event within the tx (based on nullifier position) */
29
+ eventIndexInTx: number;
32
30
  };
33
31
 
34
32
  /**
35
33
  * Stores decrypted private event logs.
36
34
  */
37
- export class PrivateEventStore {
35
+ export class PrivateEventStore implements StagedStore {
36
+ readonly storeName: string = 'private_event';
37
+
38
38
  #store: AztecAsyncKVStore;
39
- /** Array storing the actual private event log entries containing the log content and block number */
40
- #eventLogs: AztecAsyncArray<PrivateEventEntry>;
41
- /** Map from contract_address_scope_eventSelector to array of indices into #eventLogs for efficient lookup */
42
- #eventLogIndex: AztecAsyncMap<string, number[]>;
43
- /** Map from eventCommitmentIndex to boolean indicating if log has been seen. */
44
- #seenLogs: AztecAsyncMap<number, boolean>;
39
+ /** Actual private event log entries, keyed by siloedEventCommitment */
40
+ #events: AztecAsyncMap<string, Buffer>;
41
+ /** Multi-map from contractAddress_eventSelector to siloedEventCommitment for efficient lookup */
42
+ #eventsByContractAndEventSelector: AztecAsyncMultiMap<string, string>;
43
+ /** Multi-map from block number to siloedEventCommitment for rollback support */
44
+ #eventsByBlockNumber: AztecAsyncMultiMap<number, string>;
45
+
46
+ /** jobId => eventId (event siloed nullifier) => StoredPrivateEvent */
47
+ #eventsForJob: Map<string, Map<string, StoredPrivateEvent>>;
48
+
49
+ /** Per-job locks to prevent concurrent writes from affecting each other. */
50
+ #jobLocks: Map<string, Semaphore>;
45
51
 
46
52
  logger = createLogger('private_event_store');
47
53
 
48
54
  constructor(store: AztecAsyncKVStore) {
49
55
  this.#store = store;
50
- this.#eventLogs = this.#store.openArray('private_event_logs');
51
- this.#eventLogIndex = this.#store.openMap('private_event_log_index');
52
- this.#seenLogs = this.#store.openMap('seen_logs');
53
- }
56
+ this.#events = this.#store.openMap('private_event_logs');
57
+ this.#eventsByContractAndEventSelector = this.#store.openMultiMap('events_by_contract_selector');
58
+ this.#eventsByBlockNumber = this.#store.openMultiMap('events_by_block_number');
54
59
 
55
- #keyFor(contractAddress: AztecAddress, scope: AztecAddress, eventSelector: EventSelector): string {
56
- return `${contractAddress.toString()}_${scope.toString()}_${eventSelector.toString()}`;
60
+ this.#eventsForJob = new Map();
61
+ this.#jobLocks = new Map();
57
62
  }
58
63
 
59
64
  /**
60
65
  * Store a private event log.
61
66
  * @param eventSelector - The event selector of the event.
67
+ * @param randomness - The randomness used for the event commitment.
62
68
  * @param msgContent - The content of the event.
63
- * @param eventCommitmentIndex - The index of the event commitment in the nullifier tree.
69
+ * @param siloedEventCommitment - The siloed event commitment (used as unique identifier).
64
70
  * @param metadata
65
71
  * contractAddress - The address of the contract that emitted the event.
66
72
  * scope - The address to which the event is scoped.
@@ -69,38 +75,48 @@ export class PrivateEventStore {
69
75
  */
70
76
  storePrivateEventLog(
71
77
  eventSelector: EventSelector,
78
+ randomness: Fr,
72
79
  msgContent: Fr[],
73
- eventCommitmentIndex: number,
80
+ siloedEventCommitment: Fr,
74
81
  metadata: PrivateEventMetadata,
75
- ): Promise<void> {
76
- const { contractAddress, scope, txHash, l2BlockNumber, l2BlockHash } = metadata;
77
-
78
- return this.#store.transactionAsync(async () => {
79
- const key = this.#keyFor(contractAddress, scope, eventSelector);
80
-
81
- // Check if this exact log has already been stored using eventCommitmentIndex as unique identifier
82
- const hasBeenSeen = await this.#seenLogs.getAsync(eventCommitmentIndex);
83
- if (hasBeenSeen) {
84
- this.logger.verbose('Ignoring duplicate event log', { txHash: txHash.toString(), eventCommitmentIndex });
85
- return;
86
- }
87
-
88
- this.logger.verbose('storing private event log', { contractAddress, scope, msgContent, l2BlockNumber });
82
+ jobId: string,
83
+ ) {
84
+ return this.#withJobLock(jobId, async () => {
85
+ const { contractAddress, scope, txHash, l2BlockNumber, l2BlockHash, txIndexInBlock, eventIndexInTx } = metadata;
86
+ const eventId = siloedEventCommitment.toString();
89
87
 
90
- const index = await this.#eventLogs.lengthAsync();
91
- await this.#eventLogs.push({
92
- msgContent: serializeToBuffer(msgContent),
88
+ this.logger.verbose('storing private event log (job stage)', {
89
+ eventId,
90
+ contractAddress,
91
+ scope,
92
+ msgContent,
93
93
  l2BlockNumber,
94
- l2BlockHash: l2BlockHash.toBuffer(),
95
- eventCommitmentIndex,
96
- txHash: txHash.toBuffer(),
97
94
  });
98
95
 
99
- const existingIndices = (await this.#eventLogIndex.getAsync(key)) || [];
100
- await this.#eventLogIndex.set(key, [...existingIndices, index]);
96
+ const existing = await this.#readEvent(eventId, jobId);
101
97
 
102
- // Mark this log as seen using eventCommitmentIndex
103
- await this.#seenLogs.set(eventCommitmentIndex, true);
98
+ if (existing) {
99
+ // If we already stored this event, we still want to make sure to track it for the given scope
100
+ existing.addScope(scope.toString());
101
+ this.#writeEvent(eventId, existing, jobId);
102
+ } else {
103
+ this.#writeEvent(
104
+ eventId,
105
+ new StoredPrivateEvent(
106
+ randomness,
107
+ msgContent,
108
+ l2BlockNumber,
109
+ l2BlockHash,
110
+ txHash,
111
+ txIndexInBlock,
112
+ eventIndexInTx,
113
+ contractAddress,
114
+ eventSelector,
115
+ new Set([scope.toString()]),
116
+ ),
117
+ jobId,
118
+ );
119
+ }
104
120
  });
105
121
  }
106
122
 
@@ -112,51 +128,236 @@ export class PrivateEventStore {
112
128
  * fromBlock: The block number to search from (inclusive).
113
129
  * toBlock: The block number to search upto (exclusive).
114
130
  * scope: - The addresses that decrypted the logs.
115
- * @returns - The event log contents, augmented with metadata about
116
- * the transaction and block it the event was included in .
131
+ * @returns - The event log contents, augmented with metadata about the transaction and block in which the event was
132
+ * included.
117
133
  */
118
- public async getPrivateEvents(
134
+ public getPrivateEvents(
119
135
  eventSelector: EventSelector,
120
136
  filter: PrivateEventStoreFilter,
121
137
  ): Promise<PackedPrivateEvent[]> {
122
- const events: Array<{ eventCommitmentIndex: number; event: PackedPrivateEvent }> = [];
138
+ return this.#store.transactionAsync(async () => {
139
+ const events: Array<{
140
+ l2BlockNumber: number;
141
+ txIndexInBlock: number;
142
+ eventIndexInTx: number;
143
+ event: PackedPrivateEvent;
144
+ }> = [];
145
+
146
+ const key = this.#keyFor(filter.contractAddress, eventSelector);
147
+ const targetScopes = new Set(filter.scopes.map(s => s.toString()));
148
+
149
+ const eventIds: string[] = await toArray(this.#eventsByContractAndEventSelector.getValuesAsync(key));
150
+
151
+ for (const eventId of eventIds) {
152
+ const eventBuffer = await this.#events.getAsync(eventId);
153
+
154
+ // Defensive, if it happens, there's a problem with how we're handling #eventsByContractAndEventSelector
155
+ if (!eventBuffer) {
156
+ this.logger.verbose(
157
+ `EventId ${eventId} does not exist in main index but it is referenced from contract event selector index`,
158
+ );
159
+ continue;
160
+ }
123
161
 
124
- for (const scope of filter.scopes) {
125
- const key = this.#keyFor(filter.contractAddress, scope, eventSelector);
126
- const indices = (await this.#eventLogIndex.getAsync(key)) || [];
162
+ const storedPrivateEvent = StoredPrivateEvent.fromBuffer(eventBuffer);
127
163
 
128
- for (const index of indices) {
129
- const entry = await this.#eventLogs.atAsync(index);
130
- if (!entry || entry.l2BlockNumber < filter.fromBlock || entry.l2BlockNumber >= filter.toBlock) {
164
+ // Filter by block range
165
+ if (storedPrivateEvent.l2BlockNumber < filter.fromBlock || storedPrivateEvent.l2BlockNumber >= filter.toBlock) {
131
166
  continue;
132
167
  }
133
168
 
134
- // Convert buffer back to Fr array
135
- const reader = BufferReader.asReader(entry.msgContent);
136
- const numFields = entry.msgContent.length / Fr.SIZE_IN_BYTES;
137
- const msgContent = reader.readArray(numFields, Fr);
138
- const txHash = TxHash.fromBuffer(entry.txHash);
139
- const l2BlockHash = L2BlockHash.fromBuffer(entry.l2BlockHash);
169
+ // Filter by scopes
170
+ if (storedPrivateEvent.scopes.intersection(targetScopes).size === 0) {
171
+ continue;
172
+ }
140
173
 
141
- if (filter.txHash && !txHash.equals(filter.txHash)) {
174
+ // Filter by txHash
175
+ if (filter.txHash && !storedPrivateEvent.txHash.equals(filter.txHash)) {
142
176
  continue;
143
177
  }
144
178
 
145
179
  events.push({
146
- eventCommitmentIndex: entry.eventCommitmentIndex,
180
+ l2BlockNumber: storedPrivateEvent.l2BlockNumber,
181
+ txIndexInBlock: storedPrivateEvent.txIndexInBlock,
182
+ eventIndexInTx: storedPrivateEvent.eventIndexInTx,
147
183
  event: {
148
- packedEvent: msgContent,
149
- l2BlockNumber: BlockNumber(entry.l2BlockNumber),
150
- txHash,
151
- l2BlockHash,
184
+ packedEvent: storedPrivateEvent.msgContent,
185
+ l2BlockNumber: BlockNumber(storedPrivateEvent.l2BlockNumber),
186
+ txHash: storedPrivateEvent.txHash,
187
+ l2BlockHash: storedPrivateEvent.l2BlockHash,
152
188
  eventSelector,
153
189
  },
154
190
  });
155
191
  }
192
+
193
+ // Sort by block number, then by tx index within block, then by event index within tx
194
+ events.sort((a, b) => {
195
+ if (a.l2BlockNumber !== b.l2BlockNumber) {
196
+ return a.l2BlockNumber - b.l2BlockNumber;
197
+ }
198
+ if (a.txIndexInBlock !== b.txIndexInBlock) {
199
+ return a.txIndexInBlock - b.txIndexInBlock;
200
+ }
201
+ return a.eventIndexInTx - b.eventIndexInTx;
202
+ });
203
+
204
+ return events.map(ev => ev.event);
205
+ });
206
+ }
207
+
208
+ /**
209
+ * Rolls back private events that were stored after a given `blockNumber` and up to `synchedBlockNumber` (the block
210
+ * number up to which PXE managed to sync before the reorg happened).
211
+ *
212
+ * We don't need staged writes for a rollback since it's handled in the context of a blockchain rewind.
213
+ *
214
+ * Rollbacks are handled by the BlockSynchronizer, which runs a DB transaction across stores when it detects a
215
+ * re-org, including setting the new anchor block after rolling back.
216
+ *
217
+ * So if anything fails in the process of rolling back any store, all DB changes occurring during rollbacks will be
218
+ * lost and the anchor block will not be updated; which means this code will eventually need to run again
219
+ * (i.e.: PXE will detect it's basing it work on an invalid block hash, then which re-triggers rewind).
220
+ *
221
+ * For further details, refer to `BlockSynchronizer#handleBlockStreamEvent`.
222
+ *
223
+ * IMPORTANT: This method must be called within a transaction to ensure atomicity.
224
+ */
225
+ public async rollback(blockNumber: number, synchedBlockNumber: number): Promise<void> {
226
+ let removedCount = 0;
227
+
228
+ for (let block = blockNumber + 1; block <= synchedBlockNumber; block++) {
229
+ const eventIds: string[] = await toArray(this.#eventsByBlockNumber.getValuesAsync(block));
230
+
231
+ if (eventIds.length > 0) {
232
+ await this.#eventsByBlockNumber.delete(block);
233
+
234
+ for (const eventId of eventIds) {
235
+ const buffer = await this.#events.getAsync(eventId);
236
+ if (!buffer) {
237
+ throw new Error(`Event not found for eventId ${eventId}`);
238
+ }
239
+
240
+ const entry = StoredPrivateEvent.fromBuffer(buffer);
241
+ await this.#events.delete(eventId);
242
+ await this.#eventsByContractAndEventSelector.deleteValue(
243
+ this.#keyFor(entry.contractAddress, entry.eventSelector),
244
+ eventId,
245
+ );
246
+
247
+ removedCount++;
248
+ }
249
+ }
250
+ }
251
+
252
+ this.logger.verbose(`Rolled back ${removedCount} private events after block ${blockNumber}`);
253
+ }
254
+
255
+ /**
256
+ * Commits in memory job data to persistent storage.
257
+ *
258
+ * Called by JobCoordinator when a job completes successfully.
259
+ *
260
+ * Note: JobCoordinator wraps all commits in a single transaction, so we don't need our own transactionAsync here
261
+ * (and using one would throw on IndexedDB as it does not support nested txs).
262
+ *
263
+ * @param jobId - The jobId identifying which staged data to commit
264
+ */
265
+ commit(jobId: string): Promise<void> {
266
+ return this.#withJobLock(jobId, async () => {
267
+ for (const [eventId, entry] of this.#getEventsForJob(jobId).entries()) {
268
+ const lookupKey = this.#keyFor(entry.contractAddress, entry.eventSelector);
269
+ this.logger.verbose('storing private event log', { eventId, lookupKey });
270
+
271
+ await Promise.all([
272
+ this.#events.set(eventId, entry.toBuffer()),
273
+ this.#eventsByContractAndEventSelector.set(lookupKey, eventId),
274
+ this.#eventsByBlockNumber.set(entry.l2BlockNumber, eventId),
275
+ ]);
276
+ }
277
+
278
+ this.#clearJobData(jobId);
279
+ });
280
+ }
281
+
282
+ /**
283
+ * Discards in memory job data without persisting it.
284
+ */
285
+ discardStaged(jobId: string): Promise<void> {
286
+ return this.#withJobLock(jobId, () => Promise.resolve(this.#clearJobData(jobId)));
287
+ }
288
+
289
+ /**
290
+ * Reads an event from in-memory job data first, falling back to persistent storage if not found.
291
+ *
292
+ * Returns undefined if the event does not exist in the store overall.
293
+ */
294
+ async #readEvent(eventId: string, jobId: string): Promise<StoredPrivateEvent | undefined> {
295
+ const eventForJob = this.#getEventsForJob(jobId).get(eventId);
296
+ if (eventForJob) {
297
+ return eventForJob;
298
+ }
299
+
300
+ const buffer = await this.#events.getAsync(eventId);
301
+ return buffer ? StoredPrivateEvent.fromBuffer(buffer) : undefined;
302
+ }
303
+
304
+ /**
305
+ * Writes an event to in-memory job data.
306
+ *
307
+ * Writes are only allowed in a job context. Events modified during a job will only be persisted when `commit` is
308
+ * called.
309
+ */
310
+ #writeEvent(eventId: string, entry: StoredPrivateEvent, jobId: string) {
311
+ this.#getEventsForJob(jobId).set(eventId, entry);
312
+ }
313
+
314
+ /**
315
+ * Get in-memory data only visible to @param jobId
316
+ */
317
+ #getEventsForJob(jobId: string): Map<string, StoredPrivateEvent> {
318
+ let eventsForJob = this.#eventsForJob.get(jobId);
319
+ if (eventsForJob === undefined) {
320
+ eventsForJob = new Map();
321
+ this.#eventsForJob.set(jobId, eventsForJob);
156
322
  }
323
+ return eventsForJob;
324
+ }
157
325
 
158
- // Sort by eventCommitmentIndex only
159
- events.sort((a, b) => a.eventCommitmentIndex - b.eventCommitmentIndex);
160
- return events.map(ev => ev.event);
326
+ /**
327
+ * Clear data structures supporting a specific job.
328
+ */
329
+ #clearJobData(jobId: string) {
330
+ this.#eventsForJob.delete(jobId);
331
+ this.#jobLocks.delete(jobId);
332
+ }
333
+
334
+ /**
335
+ * Ensures a function can only run once it acquires a unique per-job lock, and handles proper lock release after it
336
+ * runs.
337
+ *
338
+ * This primitive allows concurrent writes on this store without risking data corruption due to unsound write
339
+ * interleaving.
340
+ */
341
+ async #withJobLock<T>(jobId: string, fn: () => Promise<T>): Promise<T> {
342
+ let lock = this.#jobLocks.get(jobId);
343
+ if (!lock) {
344
+ lock = new Semaphore(1);
345
+ this.#jobLocks.set(jobId, lock);
346
+ }
347
+ await lock.acquire();
348
+ try {
349
+ return await fn();
350
+ } finally {
351
+ lock.release();
352
+ }
353
+ }
354
+
355
+ /**
356
+ * Returns a string key based on @param contractAddress and @param eventSelector.
357
+ *
358
+ * The returned key is meant to be used when interacting with index #eventsByContractAndEventSelector.
359
+ */
360
+ #keyFor(contractAddress: AztecAddress, eventSelector: EventSelector): string {
361
+ return `${contractAddress.toString()}_${eventSelector.toString()}`;
161
362
  }
162
363
  }
@@ -0,0 +1,73 @@
1
+ import { Fr } from '@aztec/foundation/curves/bn254';
2
+ import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
3
+ import { EventSelector } from '@aztec/stdlib/abi';
4
+ import { AztecAddress } from '@aztec/stdlib/aztec-address';
5
+ import { L2BlockHash } from '@aztec/stdlib/block';
6
+ import { TxHash } from '@aztec/stdlib/tx';
7
+
8
+ /** Serializable private event entry with scope tracking. */
9
+ export class StoredPrivateEvent {
10
+ constructor(
11
+ readonly randomness: Fr,
12
+ readonly msgContent: Fr[],
13
+ readonly l2BlockNumber: number,
14
+ readonly l2BlockHash: L2BlockHash,
15
+ readonly txHash: TxHash,
16
+ readonly txIndexInBlock: number,
17
+ readonly eventIndexInTx: number,
18
+ readonly contractAddress: AztecAddress,
19
+ readonly eventSelector: EventSelector,
20
+ readonly scopes: Set<string>,
21
+ ) {}
22
+
23
+ addScope(scope: string) {
24
+ this.scopes.add(scope);
25
+ }
26
+
27
+ toBuffer(): Buffer {
28
+ const scopesArray = [...this.scopes];
29
+ return serializeToBuffer(
30
+ this.randomness,
31
+ this.msgContent.length,
32
+ ...this.msgContent,
33
+ this.l2BlockNumber,
34
+ this.l2BlockHash,
35
+ this.txHash,
36
+ this.txIndexInBlock,
37
+ this.eventIndexInTx,
38
+ this.contractAddress,
39
+ this.eventSelector.toBuffer(),
40
+ scopesArray.length,
41
+ ...scopesArray,
42
+ );
43
+ }
44
+
45
+ static fromBuffer(buffer: Buffer): StoredPrivateEvent {
46
+ const reader = BufferReader.asReader(buffer);
47
+
48
+ const randomness = Fr.fromBuffer(reader);
49
+ const msgContentLength = reader.readNumber();
50
+ const msgContent = reader.readArray(msgContentLength, Fr);
51
+ const l2BlockNumber = reader.readNumber();
52
+ const l2BlockHash = L2BlockHash.fromBuffer(reader);
53
+ const txHash = TxHash.fromBuffer(reader);
54
+ const txIndexInBlock = reader.readNumber();
55
+ const eventIndexInTx = reader.readNumber();
56
+ const contractAddress = AztecAddress.fromBuffer(reader);
57
+ const eventSelector = EventSelector.fromBuffer(reader);
58
+ const scopes = reader.readVector({ fromBuffer: (r: BufferReader) => r.readString() });
59
+
60
+ return new StoredPrivateEvent(
61
+ randomness,
62
+ msgContent,
63
+ l2BlockNumber,
64
+ l2BlockHash,
65
+ txHash,
66
+ txIndexInBlock,
67
+ eventIndexInTx,
68
+ contractAddress,
69
+ eventSelector,
70
+ new Set(scopes),
71
+ );
72
+ }
73
+ }