@aztec/pxe 0.0.1-commit.1142ef1 → 0.0.1-commit.1bea0213

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 (190) hide show
  1. package/dest/bin/check_oracle_version.js +1 -1
  2. package/dest/block_synchronizer/block_synchronizer.d.ts +8 -4
  3. package/dest/block_synchronizer/block_synchronizer.d.ts.map +1 -1
  4. package/dest/block_synchronizer/block_synchronizer.js +64 -19
  5. package/dest/config/index.d.ts +3 -1
  6. package/dest/config/index.d.ts.map +1 -1
  7. package/dest/config/index.js +17 -0
  8. package/dest/contract_function_simulator/benchmarked_node.d.ts +9 -0
  9. package/dest/contract_function_simulator/benchmarked_node.d.ts.map +1 -0
  10. package/dest/contract_function_simulator/benchmarked_node.js +77 -0
  11. package/dest/contract_function_simulator/contract_function_simulator.d.ts +5 -7
  12. package/dest/contract_function_simulator/contract_function_simulator.d.ts.map +1 -1
  13. package/dest/contract_function_simulator/contract_function_simulator.js +26 -16
  14. package/dest/contract_function_simulator/execution_note_cache.d.ts +18 -9
  15. package/dest/contract_function_simulator/execution_note_cache.d.ts.map +1 -1
  16. package/dest/contract_function_simulator/execution_note_cache.js +45 -28
  17. package/dest/contract_function_simulator/index.d.ts +2 -2
  18. package/dest/contract_function_simulator/index.d.ts.map +1 -1
  19. package/dest/contract_function_simulator/index.js +1 -1
  20. package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts +1 -1
  21. package/dest/contract_function_simulator/noir-structs/event_validation_request.js +1 -1
  22. package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts +1 -1
  23. package/dest/contract_function_simulator/noir-structs/note_validation_request.js +1 -1
  24. package/dest/contract_function_simulator/noir-structs/utility_context.d.ts +4 -10
  25. package/dest/contract_function_simulator/noir-structs/utility_context.d.ts.map +1 -1
  26. package/dest/contract_function_simulator/noir-structs/utility_context.js +7 -18
  27. package/dest/contract_function_simulator/oracle/interfaces.d.ts +15 -11
  28. package/dest/contract_function_simulator/oracle/interfaces.d.ts.map +1 -1
  29. package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts +3 -1
  30. package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts.map +1 -1
  31. package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts +6 -6
  32. package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts.map +1 -1
  33. package/dest/contract_function_simulator/oracle/note_packing_utils.js +8 -8
  34. package/dest/contract_function_simulator/oracle/oracle.d.ts +10 -8
  35. package/dest/contract_function_simulator/oracle/oracle.d.ts.map +1 -1
  36. package/dest/contract_function_simulator/oracle/oracle.js +43 -32
  37. package/dest/contract_function_simulator/oracle/private_execution.d.ts +2 -26
  38. package/dest/contract_function_simulator/oracle/private_execution.d.ts.map +1 -1
  39. package/dest/contract_function_simulator/oracle/private_execution.js +0 -35
  40. package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts +10 -1
  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 +19 -7
  43. package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts +25 -16
  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 +69 -71
  46. package/dest/contract_sync/index.d.ts +23 -0
  47. package/dest/contract_sync/index.d.ts.map +1 -0
  48. package/dest/contract_sync/index.js +54 -0
  49. package/dest/debug/pxe_debug_utils.d.ts +1 -1
  50. package/dest/debug/pxe_debug_utils.d.ts.map +1 -1
  51. package/dest/debug/pxe_debug_utils.js +3 -2
  52. package/dest/entrypoints/server/index.d.ts +3 -1
  53. package/dest/entrypoints/server/index.d.ts.map +1 -1
  54. package/dest/entrypoints/server/index.js +2 -0
  55. package/dest/events/event_service.d.ts +4 -3
  56. package/dest/events/event_service.d.ts.map +1 -1
  57. package/dest/events/event_service.js +17 -19
  58. package/dest/events/private_event_filter_validator.d.ts +5 -5
  59. package/dest/events/private_event_filter_validator.d.ts.map +1 -1
  60. package/dest/events/private_event_filter_validator.js +5 -6
  61. package/dest/logs/log_service.d.ts +3 -2
  62. package/dest/logs/log_service.d.ts.map +1 -1
  63. package/dest/logs/log_service.js +21 -13
  64. package/dest/notes/note_service.d.ts +5 -4
  65. package/dest/notes/note_service.d.ts.map +1 -1
  66. package/dest/notes/note_service.js +30 -34
  67. package/dest/oracle_version.d.ts +3 -3
  68. package/dest/oracle_version.d.ts.map +1 -1
  69. package/dest/oracle_version.js +4 -3
  70. package/dest/private_kernel/hints/index.d.ts +2 -2
  71. package/dest/private_kernel/hints/index.d.ts.map +1 -1
  72. package/dest/private_kernel/hints/index.js +1 -1
  73. package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts +28 -0
  74. package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts.map +1 -0
  75. package/dest/private_kernel/hints/{build_private_kernel_reset_private_inputs.js → private_kernel_reset_private_inputs_builder.js} +12 -6
  76. package/dest/private_kernel/private_kernel_execution_prover.js +1 -1
  77. package/dest/private_kernel/private_kernel_oracle.d.ts +23 -28
  78. package/dest/private_kernel/private_kernel_oracle.d.ts.map +1 -1
  79. package/dest/private_kernel/private_kernel_oracle.js +90 -2
  80. package/dest/pxe.d.ts +7 -36
  81. package/dest/pxe.d.ts.map +1 -1
  82. package/dest/pxe.js +37 -79
  83. package/dest/storage/capsule_store/capsule_store.d.ts +24 -9
  84. package/dest/storage/capsule_store/capsule_store.d.ts.map +1 -1
  85. package/dest/storage/capsule_store/capsule_store.js +132 -23
  86. package/dest/storage/contract_store/contract_store.d.ts +1 -2
  87. package/dest/storage/contract_store/contract_store.d.ts.map +1 -1
  88. package/dest/storage/contract_store/contract_store.js +0 -12
  89. package/dest/storage/note_store/note_store.d.ts +45 -56
  90. package/dest/storage/note_store/note_store.d.ts.map +1 -1
  91. package/dest/storage/note_store/note_store.js +244 -263
  92. package/dest/storage/note_store/stored_note.d.ts +16 -0
  93. package/dest/storage/note_store/stored_note.d.ts.map +1 -0
  94. package/dest/storage/note_store/stored_note.js +43 -0
  95. package/dest/storage/private_event_store/private_event_store.d.ts +43 -8
  96. package/dest/storage/private_event_store/private_event_store.d.ts.map +1 -1
  97. package/dest/storage/private_event_store/private_event_store.js +196 -104
  98. package/dest/storage/private_event_store/stored_private_event.d.ts +23 -0
  99. package/dest/storage/private_event_store/stored_private_event.d.ts.map +1 -0
  100. package/dest/storage/private_event_store/stored_private_event.js +56 -0
  101. package/dest/storage/tagging_store/recipient_tagging_store.d.ts +15 -8
  102. package/dest/storage/tagging_store/recipient_tagging_store.d.ts.map +1 -1
  103. package/dest/storage/tagging_store/recipient_tagging_store.js +69 -12
  104. package/dest/storage/tagging_store/sender_tagging_store.d.ts +19 -9
  105. package/dest/storage/tagging_store/sender_tagging_store.d.ts.map +1 -1
  106. package/dest/storage/tagging_store/sender_tagging_store.js +109 -27
  107. package/dest/tagging/get_all_logs_by_tags.d.ts +24 -0
  108. package/dest/tagging/get_all_logs_by_tags.d.ts.map +1 -0
  109. package/dest/tagging/get_all_logs_by_tags.js +46 -0
  110. package/dest/tagging/index.d.ts +2 -1
  111. package/dest/tagging/index.d.ts.map +1 -1
  112. package/dest/tagging/index.js +1 -0
  113. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts +3 -2
  114. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts.map +1 -1
  115. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.js +6 -6
  116. package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts +3 -2
  117. package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts.map +1 -1
  118. package/dest/tagging/recipient_sync/utils/load_logs_for_range.js +5 -2
  119. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts +3 -2
  120. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts.map +1 -1
  121. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.js +7 -7
  122. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts +1 -1
  123. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts.map +1 -1
  124. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.js +5 -8
  125. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts +5 -2
  126. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts.map +1 -1
  127. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.js +10 -5
  128. package/package.json +18 -18
  129. package/src/bin/check_oracle_version.ts +1 -0
  130. package/src/block_synchronizer/block_synchronizer.ts +70 -21
  131. package/src/config/index.ts +14 -0
  132. package/src/contract_function_simulator/benchmarked_node.ts +103 -0
  133. package/src/contract_function_simulator/contract_function_simulator.ts +28 -22
  134. package/src/contract_function_simulator/execution_note_cache.ts +44 -25
  135. package/src/contract_function_simulator/index.ts +1 -1
  136. package/src/contract_function_simulator/noir-structs/event_validation_request.ts +1 -1
  137. package/src/contract_function_simulator/noir-structs/note_validation_request.ts +1 -1
  138. package/src/contract_function_simulator/noir-structs/utility_context.ts +6 -25
  139. package/src/contract_function_simulator/oracle/interfaces.ts +20 -10
  140. package/src/contract_function_simulator/oracle/note_packing_utils.ts +10 -10
  141. package/src/contract_function_simulator/oracle/oracle.ts +56 -41
  142. package/src/contract_function_simulator/oracle/private_execution.ts +1 -67
  143. package/src/contract_function_simulator/oracle/private_execution_oracle.ts +35 -8
  144. package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +88 -76
  145. package/src/contract_sync/index.ts +98 -0
  146. package/src/debug/pxe_debug_utils.ts +3 -2
  147. package/src/entrypoints/server/index.ts +2 -0
  148. package/src/events/event_service.ts +15 -21
  149. package/src/events/private_event_filter_validator.ts +3 -5
  150. package/src/logs/log_service.ts +27 -9
  151. package/src/notes/note_service.ts +37 -40
  152. package/src/oracle_version.ts +4 -3
  153. package/src/private_kernel/hints/index.ts +1 -1
  154. package/src/private_kernel/hints/{build_private_kernel_reset_private_inputs.ts → private_kernel_reset_private_inputs_builder.ts} +32 -20
  155. package/src/private_kernel/private_kernel_execution_prover.ts +1 -1
  156. package/src/private_kernel/private_kernel_oracle.ts +116 -37
  157. package/src/pxe.ts +63 -112
  158. package/src/storage/capsule_store/capsule_store.ts +159 -23
  159. package/src/storage/contract_store/contract_store.ts +0 -20
  160. package/src/storage/note_store/note_store.ts +286 -317
  161. package/src/storage/note_store/stored_note.ts +48 -0
  162. package/src/storage/private_event_store/private_event_store.ts +266 -119
  163. package/src/storage/private_event_store/stored_private_event.ts +73 -0
  164. package/src/storage/tagging_store/recipient_tagging_store.ts +89 -13
  165. package/src/storage/tagging_store/sender_tagging_store.ts +128 -27
  166. package/src/tagging/get_all_logs_by_tags.ts +68 -0
  167. package/src/tagging/index.ts +1 -0
  168. package/src/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.ts +16 -5
  169. package/src/tagging/recipient_sync/utils/load_logs_for_range.ts +7 -1
  170. package/src/tagging/sender_sync/sync_sender_tagging_indexes.ts +9 -6
  171. package/src/tagging/sender_sync/utils/get_status_change_of_pending.ts +5 -17
  172. package/src/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.ts +16 -4
  173. package/dest/contract_function_simulator/proxied_node.d.ts +0 -9
  174. package/dest/contract_function_simulator/proxied_node.d.ts.map +0 -1
  175. package/dest/contract_function_simulator/proxied_node.js +0 -27
  176. package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts +0 -28
  177. package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts.map +0 -1
  178. package/dest/private_kernel/private_kernel_oracle_impl.d.ts +0 -46
  179. package/dest/private_kernel/private_kernel_oracle_impl.d.ts.map +0 -1
  180. package/dest/private_kernel/private_kernel_oracle_impl.js +0 -85
  181. package/dest/public_storage/public_storage_service.d.ts +0 -24
  182. package/dest/public_storage/public_storage_service.d.ts.map +0 -1
  183. package/dest/public_storage/public_storage_service.js +0 -26
  184. package/dest/tree_membership/tree_membership_service.d.ts +0 -52
  185. package/dest/tree_membership/tree_membership_service.d.ts.map +0 -1
  186. package/dest/tree_membership/tree_membership_service.js +0 -84
  187. package/src/contract_function_simulator/proxied_node.ts +0 -33
  188. package/src/private_kernel/private_kernel_oracle_impl.ts +0 -127
  189. package/src/public_storage/public_storage_service.ts +0 -33
  190. 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 { 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,55 +20,53 @@ export type PrivateEventStoreFilter = {
18
20
  txHash?: TxHash;
19
21
  };
20
22
 
21
- type PrivateEventEntry = {
22
- randomness: Fr; // Note that this value is currently not being returned on queries and is therefore temporarily unused
23
- msgContent: Buffer;
24
- eventCommitmentIndex: number;
25
- l2BlockNumber: number;
26
- l2BlockHash: Buffer;
27
- txHash: Buffer;
28
- /** The lookup key for #eventsByContractScopeSelector, used for cleanup during rollback */
29
- lookupKey: string;
30
- };
31
-
32
23
  type PrivateEventMetadata = InTx & {
33
24
  contractAddress: AztecAddress;
34
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;
35
30
  };
36
31
 
37
32
  /**
38
33
  * Stores decrypted private event logs.
39
34
  */
40
- export class PrivateEventStore {
35
+ export class PrivateEventStore implements StagedStore {
36
+ readonly storeName: string = 'private_event';
37
+
41
38
  #store: AztecAsyncKVStore;
42
- /** Map storing the actual private event log entries, keyed by eventCommitmentIndex */
43
- #eventLogs: AztecAsyncMap<number, PrivateEventEntry>;
44
- /** Map from contractAddress_scope_eventSelector to eventCommitmentIndex[] for efficient lookup */
45
- #eventsByContractScopeSelector: AztecAsyncMap<string, number[]>;
46
- /** Map from block number to eventCommitmentIndex[] for rollback support */
47
- #eventsByBlockNumber: AztecAsyncMap<number, number[]>;
48
- /** Map from eventCommitmentIndex to boolean indicating if log has been seen. */
49
- #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>;
50
51
 
51
52
  logger = createLogger('private_event_store');
52
53
 
53
54
  constructor(store: AztecAsyncKVStore) {
54
55
  this.#store = store;
55
- this.#eventLogs = this.#store.openMap('private_event_logs');
56
- this.#eventsByContractScopeSelector = this.#store.openMap('events_by_contract_scope_selector');
57
- this.#seenLogs = this.#store.openMap('seen_logs');
58
- this.#eventsByBlockNumber = this.#store.openMap('events_by_block_number');
59
- }
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');
60
59
 
61
- #keyFor(contractAddress: AztecAddress, scope: AztecAddress, eventSelector: EventSelector): string {
62
- return `${contractAddress.toString()}_${scope.toString()}_${eventSelector.toString()}`;
60
+ this.#eventsForJob = new Map();
61
+ this.#jobLocks = new Map();
63
62
  }
64
63
 
65
64
  /**
66
65
  * Store a private event log.
67
66
  * @param eventSelector - The event selector of the event.
67
+ * @param randomness - The randomness used for the event commitment.
68
68
  * @param msgContent - The content of the event.
69
- * @param eventCommitmentIndex - The index of the event commitment in the nullifier tree.
69
+ * @param siloedEventCommitment - The siloed event commitment (used as unique identifier).
70
70
  * @param metadata
71
71
  * contractAddress - The address of the contract that emitted the event.
72
72
  * scope - The address to which the event is scoped.
@@ -77,41 +77,46 @@ export class PrivateEventStore {
77
77
  eventSelector: EventSelector,
78
78
  randomness: Fr,
79
79
  msgContent: Fr[],
80
- eventCommitmentIndex: number,
80
+ siloedEventCommitment: Fr,
81
81
  metadata: PrivateEventMetadata,
82
- ): Promise<void> {
83
- const { contractAddress, scope, txHash, l2BlockNumber, l2BlockHash } = metadata;
84
-
85
- return this.#store.transactionAsync(async () => {
86
- const key = this.#keyFor(contractAddress, scope, eventSelector);
87
-
88
- // Check if this exact log has already been stored using eventCommitmentIndex as unique identifier
89
- const hasBeenSeen = await this.#seenLogs.getAsync(eventCommitmentIndex);
90
- if (hasBeenSeen) {
91
- this.logger.verbose('Ignoring duplicate event log', { txHash: txHash.toString(), eventCommitmentIndex });
92
- return;
93
- }
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();
94
87
 
95
- this.logger.verbose('storing private event log', { contractAddress, scope, msgContent, l2BlockNumber });
96
-
97
- await this.#eventLogs.set(eventCommitmentIndex, {
98
- randomness,
99
- msgContent: serializeToBuffer(msgContent),
88
+ this.logger.verbose('storing private event log (job stage)', {
89
+ eventId,
90
+ contractAddress,
91
+ scope,
92
+ msgContent,
100
93
  l2BlockNumber,
101
- l2BlockHash: l2BlockHash.toBuffer(),
102
- eventCommitmentIndex,
103
- txHash: txHash.toBuffer(),
104
- lookupKey: key,
105
94
  });
106
95
 
107
- const existingIndices = (await this.#eventsByContractScopeSelector.getAsync(key)) || [];
108
- await this.#eventsByContractScopeSelector.set(key, [...existingIndices, eventCommitmentIndex]);
109
-
110
- const existingBlockIndices = (await this.#eventsByBlockNumber.getAsync(l2BlockNumber)) || [];
111
- await this.#eventsByBlockNumber.set(l2BlockNumber, [...existingBlockIndices, eventCommitmentIndex]);
96
+ const existing = await this.#readEvent(eventId, jobId);
112
97
 
113
- // Mark this log as seen using eventCommitmentIndex
114
- 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
+ }
115
120
  });
116
121
  }
117
122
 
@@ -123,94 +128,236 @@ export class PrivateEventStore {
123
128
  * fromBlock: The block number to search from (inclusive).
124
129
  * toBlock: The block number to search upto (exclusive).
125
130
  * scope: - The addresses that decrypted the logs.
126
- * @returns - The event log contents, augmented with metadata about
127
- * 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.
128
133
  */
129
- public async getPrivateEvents(
134
+ public getPrivateEvents(
130
135
  eventSelector: EventSelector,
131
136
  filter: PrivateEventStoreFilter,
132
137
  ): Promise<PackedPrivateEvent[]> {
133
- 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);
134
153
 
135
- for (const scope of filter.scopes) {
136
- const key = this.#keyFor(filter.contractAddress, scope, eventSelector);
137
- const eventCommitmentIndices = (await this.#eventsByContractScopeSelector.getAsync(key)) || [];
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
+ }
161
+
162
+ const storedPrivateEvent = StoredPrivateEvent.fromBuffer(eventBuffer);
138
163
 
139
- for (const eventCommitmentIndex of eventCommitmentIndices) {
140
- const entry = await this.#eventLogs.getAsync(eventCommitmentIndex);
141
- 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) {
142
166
  continue;
143
167
  }
144
168
 
145
- // Convert buffer back to Fr array
146
- const reader = BufferReader.asReader(entry.msgContent);
147
- const numFields = entry.msgContent.length / Fr.SIZE_IN_BYTES;
148
- const msgContent = reader.readArray(numFields, Fr);
149
- const txHash = TxHash.fromBuffer(entry.txHash);
150
- const l2BlockHash = L2BlockHash.fromBuffer(entry.l2BlockHash);
169
+ // Filter by scopes
170
+ if (storedPrivateEvent.scopes.intersection(targetScopes).size === 0) {
171
+ continue;
172
+ }
151
173
 
152
- if (filter.txHash && !txHash.equals(filter.txHash)) {
174
+ // Filter by txHash
175
+ if (filter.txHash && !storedPrivateEvent.txHash.equals(filter.txHash)) {
153
176
  continue;
154
177
  }
155
178
 
156
179
  events.push({
157
- eventCommitmentIndex: entry.eventCommitmentIndex,
180
+ l2BlockNumber: storedPrivateEvent.l2BlockNumber,
181
+ txIndexInBlock: storedPrivateEvent.txIndexInBlock,
182
+ eventIndexInTx: storedPrivateEvent.eventIndexInTx,
158
183
  event: {
159
- packedEvent: msgContent,
160
- l2BlockNumber: BlockNumber(entry.l2BlockNumber),
161
- txHash,
162
- l2BlockHash,
184
+ packedEvent: storedPrivateEvent.msgContent,
185
+ l2BlockNumber: BlockNumber(storedPrivateEvent.l2BlockNumber),
186
+ txHash: storedPrivateEvent.txHash,
187
+ l2BlockHash: storedPrivateEvent.l2BlockHash,
163
188
  eventSelector,
164
189
  },
165
190
  });
166
191
  }
167
- }
168
192
 
169
- // Sort by eventCommitmentIndex only
170
- events.sort((a, b) => a.eventCommitmentIndex - b.eventCommitmentIndex);
171
- return events.map(ev => ev.event);
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
+ });
172
206
  }
173
207
 
174
208
  /**
175
209
  * Rolls back private events that were stored after a given `blockNumber` and up to `synchedBlockNumber` (the block
176
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.
177
224
  */
178
- public async rollbackEventsAfterBlock(blockNumber: number, synchedBlockNumber: number): Promise<void> {
179
- await this.#store.transactionAsync(async () => {
180
- let removedCount = 0;
181
-
182
- for (let block = blockNumber + 1; block <= synchedBlockNumber; block++) {
183
- const indices = await this.#eventsByBlockNumber.getAsync(block);
184
- if (indices) {
185
- await this.#eventsByBlockNumber.delete(block);
186
-
187
- for (const eventCommitmentIndex of indices) {
188
- const entry = await this.#eventLogs.getAsync(eventCommitmentIndex);
189
- if (!entry) {
190
- throw new Error(`Event log not found for eventCommitmentIndex ${eventCommitmentIndex}`);
191
- }
192
-
193
- await this.#eventLogs.delete(eventCommitmentIndex);
194
- await this.#seenLogs.delete(eventCommitmentIndex);
195
-
196
- // Update #eventsByContractScopeSelector using the stored lookupKey
197
- const existingIndices = await this.#eventsByContractScopeSelector.getAsync(entry.lookupKey);
198
- if (!existingIndices || existingIndices.length === 0) {
199
- throw new Error(`No indices found in #eventsByContractScopeSelector for key ${entry.lookupKey}`);
200
- }
201
- const filteredIndices = existingIndices.filter(idx => idx !== eventCommitmentIndex);
202
- if (filteredIndices.length === 0) {
203
- await this.#eventsByContractScopeSelector.delete(entry.lookupKey);
204
- } else {
205
- await this.#eventsByContractScopeSelector.set(entry.lookupKey, filteredIndices);
206
- }
207
-
208
- removedCount++;
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}`);
209
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++;
210
248
  }
211
249
  }
250
+ }
212
251
 
213
- this.logger.verbose(`Rolled back ${removedCount} private events after block ${blockNumber}`);
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);
214
279
  });
215
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);
322
+ }
323
+ return eventsForJob;
324
+ }
325
+
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()}`;
362
+ }
216
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 { BlockHash } 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: BlockHash,
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 = BlockHash.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
+ }