@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.
- package/dest/bin/check_oracle_version.js +1 -1
- package/dest/block_synchronizer/block_synchronizer.d.ts +10 -4
- package/dest/block_synchronizer/block_synchronizer.d.ts.map +1 -1
- package/dest/block_synchronizer/block_synchronizer.js +66 -18
- package/dest/config/index.d.ts +3 -1
- package/dest/config/index.d.ts.map +1 -1
- package/dest/config/index.js +17 -0
- package/dest/config/package_info.js +1 -1
- package/dest/contract_function_simulator/benchmarked_node.d.ts +9 -0
- package/dest/contract_function_simulator/benchmarked_node.d.ts.map +1 -0
- package/dest/contract_function_simulator/benchmarked_node.js +77 -0
- package/dest/contract_function_simulator/contract_function_simulator.d.ts +8 -9
- package/dest/contract_function_simulator/contract_function_simulator.d.ts.map +1 -1
- package/dest/contract_function_simulator/contract_function_simulator.js +32 -21
- package/dest/contract_function_simulator/execution_note_cache.d.ts +18 -9
- package/dest/contract_function_simulator/execution_note_cache.d.ts.map +1 -1
- package/dest/contract_function_simulator/execution_note_cache.js +45 -28
- package/dest/contract_function_simulator/index.d.ts +2 -2
- package/dest/contract_function_simulator/index.d.ts.map +1 -1
- package/dest/contract_function_simulator/index.js +1 -1
- package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts +4 -3
- package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts.map +1 -1
- package/dest/contract_function_simulator/noir-structs/event_validation_request.js +6 -3
- package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts +1 -1
- package/dest/contract_function_simulator/noir-structs/note_validation_request.js +1 -1
- package/dest/contract_function_simulator/noir-structs/utility_context.d.ts +4 -10
- package/dest/contract_function_simulator/noir-structs/utility_context.d.ts.map +1 -1
- package/dest/contract_function_simulator/noir-structs/utility_context.js +7 -18
- package/dest/contract_function_simulator/oracle/interfaces.d.ts +15 -11
- package/dest/contract_function_simulator/oracle/interfaces.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts +3 -1
- package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts +6 -6
- package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/note_packing_utils.js +8 -8
- package/dest/contract_function_simulator/oracle/oracle.d.ts +10 -8
- package/dest/contract_function_simulator/oracle/oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/oracle.js +43 -32
- package/dest/contract_function_simulator/oracle/private_execution.d.ts +2 -26
- package/dest/contract_function_simulator/oracle/private_execution.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/private_execution.js +1 -37
- package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts +11 -17
- package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/private_execution_oracle.js +23 -39
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts +27 -17
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.js +72 -72
- package/dest/contract_sync/index.d.ts +23 -0
- package/dest/contract_sync/index.d.ts.map +1 -0
- package/dest/contract_sync/index.js +54 -0
- package/dest/debug/pxe_debug_utils.d.ts +1 -1
- package/dest/debug/pxe_debug_utils.d.ts.map +1 -1
- package/dest/debug/pxe_debug_utils.js +3 -2
- package/dest/entrypoints/client/bundle/utils.d.ts +1 -1
- package/dest/entrypoints/client/bundle/utils.d.ts.map +1 -1
- package/dest/entrypoints/client/bundle/utils.js +10 -1
- package/dest/entrypoints/client/lazy/utils.d.ts +1 -1
- package/dest/entrypoints/client/lazy/utils.d.ts.map +1 -1
- package/dest/entrypoints/client/lazy/utils.js +10 -1
- package/dest/entrypoints/pxe_creation_options.d.ts +3 -2
- package/dest/entrypoints/pxe_creation_options.d.ts.map +1 -1
- package/dest/entrypoints/server/index.d.ts +3 -1
- package/dest/entrypoints/server/index.d.ts.map +1 -1
- package/dest/entrypoints/server/index.js +2 -0
- package/dest/entrypoints/server/utils.d.ts +1 -1
- package/dest/entrypoints/server/utils.d.ts.map +1 -1
- package/dest/entrypoints/server/utils.js +11 -7
- package/dest/events/event_service.d.ts +4 -3
- package/dest/events/event_service.d.ts.map +1 -1
- package/dest/events/event_service.js +17 -19
- package/dest/events/private_event_filter_validator.d.ts +5 -5
- package/dest/events/private_event_filter_validator.d.ts.map +1 -1
- package/dest/events/private_event_filter_validator.js +5 -6
- package/dest/job_coordinator/job_coordinator.d.ts +74 -0
- package/dest/job_coordinator/job_coordinator.d.ts.map +1 -0
- package/dest/job_coordinator/job_coordinator.js +93 -0
- package/dest/logs/log_service.d.ts +3 -2
- package/dest/logs/log_service.d.ts.map +1 -1
- package/dest/logs/log_service.js +21 -13
- package/dest/notes/note_service.d.ts +5 -4
- package/dest/notes/note_service.d.ts.map +1 -1
- package/dest/notes/note_service.js +30 -34
- package/dest/oracle_version.d.ts +3 -3
- package/dest/oracle_version.d.ts.map +1 -1
- package/dest/oracle_version.js +4 -3
- package/dest/private_kernel/hints/index.d.ts +2 -2
- package/dest/private_kernel/hints/index.d.ts.map +1 -1
- package/dest/private_kernel/hints/index.js +1 -1
- package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts +28 -0
- package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts.map +1 -0
- package/dest/private_kernel/hints/{build_private_kernel_reset_private_inputs.js → private_kernel_reset_private_inputs_builder.js} +13 -7
- package/dest/private_kernel/private_kernel_execution_prover.d.ts +1 -1
- package/dest/private_kernel/private_kernel_execution_prover.d.ts.map +1 -1
- package/dest/private_kernel/private_kernel_execution_prover.js +4 -5
- package/dest/private_kernel/private_kernel_oracle.d.ts +24 -28
- package/dest/private_kernel/private_kernel_oracle.d.ts.map +1 -1
- package/dest/private_kernel/private_kernel_oracle.js +90 -2
- package/dest/pxe.d.ts +8 -36
- package/dest/pxe.d.ts.map +1 -1
- package/dest/pxe.js +70 -93
- package/dest/storage/capsule_store/capsule_store.d.ts +24 -9
- package/dest/storage/capsule_store/capsule_store.d.ts.map +1 -1
- package/dest/storage/capsule_store/capsule_store.js +132 -23
- package/dest/storage/contract_store/contract_store.d.ts +1 -2
- package/dest/storage/contract_store/contract_store.d.ts.map +1 -1
- package/dest/storage/contract_store/contract_store.js +0 -12
- package/dest/storage/note_store/note_store.d.ts +45 -56
- package/dest/storage/note_store/note_store.d.ts.map +1 -1
- package/dest/storage/note_store/note_store.js +244 -263
- package/dest/storage/note_store/stored_note.d.ts +16 -0
- package/dest/storage/note_store/stored_note.d.ts.map +1 -0
- package/dest/storage/note_store/stored_note.js +43 -0
- package/dest/storage/private_event_store/private_event_store.d.ts +47 -7
- package/dest/storage/private_event_store/private_event_store.d.ts.map +1 -1
- package/dest/storage/private_event_store/private_event_store.js +203 -68
- package/dest/storage/private_event_store/stored_private_event.d.ts +23 -0
- package/dest/storage/private_event_store/stored_private_event.d.ts.map +1 -0
- package/dest/storage/private_event_store/stored_private_event.js +56 -0
- package/dest/storage/tagging_store/recipient_tagging_store.d.ts +15 -8
- package/dest/storage/tagging_store/recipient_tagging_store.d.ts.map +1 -1
- package/dest/storage/tagging_store/recipient_tagging_store.js +69 -12
- package/dest/storage/tagging_store/sender_tagging_store.d.ts +19 -9
- package/dest/storage/tagging_store/sender_tagging_store.d.ts.map +1 -1
- package/dest/storage/tagging_store/sender_tagging_store.js +110 -28
- package/dest/tagging/constants.d.ts +2 -0
- package/dest/tagging/constants.d.ts.map +1 -0
- package/dest/tagging/constants.js +10 -0
- package/dest/tagging/get_all_logs_by_tags.d.ts +24 -0
- package/dest/tagging/get_all_logs_by_tags.d.ts.map +1 -0
- package/dest/tagging/get_all_logs_by_tags.js +46 -0
- package/dest/tagging/index.d.ts +3 -2
- package/dest/tagging/index.d.ts.map +1 -1
- package/dest/tagging/index.js +2 -10
- package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts +3 -2
- package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts.map +1 -1
- package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.js +8 -8
- package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts +3 -2
- package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts.map +1 -1
- package/dest/tagging/recipient_sync/utils/load_logs_for_range.js +5 -2
- package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts +3 -2
- package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts.map +1 -1
- package/dest/tagging/sender_sync/sync_sender_tagging_indexes.js +8 -8
- package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts +1 -1
- package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts.map +1 -1
- package/dest/tagging/sender_sync/utils/get_status_change_of_pending.js +5 -8
- package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts +5 -2
- package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts.map +1 -1
- package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.js +10 -5
- package/package.json +18 -18
- package/src/bin/check_oracle_version.ts +1 -0
- package/src/block_synchronizer/block_synchronizer.ts +77 -20
- package/src/config/index.ts +14 -0
- package/src/config/package_info.ts +1 -1
- package/src/contract_function_simulator/benchmarked_node.ts +103 -0
- package/src/contract_function_simulator/contract_function_simulator.ts +37 -26
- package/src/contract_function_simulator/execution_note_cache.ts +44 -25
- package/src/contract_function_simulator/index.ts +1 -1
- package/src/contract_function_simulator/noir-structs/event_validation_request.ts +5 -1
- package/src/contract_function_simulator/noir-structs/note_validation_request.ts +1 -1
- package/src/contract_function_simulator/noir-structs/utility_context.ts +6 -25
- package/src/contract_function_simulator/oracle/interfaces.ts +20 -10
- package/src/contract_function_simulator/oracle/note_packing_utils.ts +10 -10
- package/src/contract_function_simulator/oracle/oracle.ts +56 -41
- package/src/contract_function_simulator/oracle/private_execution.ts +1 -69
- package/src/contract_function_simulator/oracle/private_execution_oracle.ts +39 -44
- package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +90 -76
- package/src/contract_sync/index.ts +98 -0
- package/src/debug/pxe_debug_utils.ts +3 -2
- package/src/entrypoints/client/bundle/utils.ts +7 -1
- package/src/entrypoints/client/lazy/utils.ts +7 -2
- package/src/entrypoints/pxe_creation_options.ts +2 -1
- package/src/entrypoints/server/index.ts +2 -0
- package/src/entrypoints/server/utils.ts +11 -15
- package/src/events/event_service.ts +17 -21
- package/src/events/private_event_filter_validator.ts +3 -5
- package/src/job_coordinator/job_coordinator.ts +149 -0
- package/src/logs/log_service.ts +27 -9
- package/src/notes/note_service.ts +37 -40
- package/src/oracle_version.ts +4 -3
- package/src/private_kernel/hints/index.ts +1 -1
- package/src/private_kernel/hints/{build_private_kernel_reset_private_inputs.ts → private_kernel_reset_private_inputs_builder.ts} +33 -22
- package/src/private_kernel/private_kernel_execution_prover.ts +3 -5
- package/src/private_kernel/private_kernel_oracle.ts +116 -36
- package/src/pxe.ts +123 -127
- package/src/storage/capsule_store/capsule_store.ts +159 -23
- package/src/storage/contract_store/contract_store.ts +0 -20
- package/src/storage/note_store/note_store.ts +286 -317
- package/src/storage/note_store/stored_note.ts +48 -0
- package/src/storage/private_event_store/private_event_store.ts +277 -76
- package/src/storage/private_event_store/stored_private_event.ts +73 -0
- package/src/storage/tagging_store/recipient_tagging_store.ts +89 -13
- package/src/storage/tagging_store/sender_tagging_store.ts +129 -28
- package/src/tagging/constants.ts +10 -0
- package/src/tagging/get_all_logs_by_tags.ts +68 -0
- package/src/tagging/index.ts +2 -11
- package/src/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.ts +21 -7
- package/src/tagging/recipient_sync/utils/load_logs_for_range.ts +7 -1
- package/src/tagging/sender_sync/sync_sender_tagging_indexes.ts +10 -7
- package/src/tagging/sender_sync/utils/get_status_change_of_pending.ts +5 -13
- package/src/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.ts +16 -4
- package/dest/contract_function_simulator/proxied_node.d.ts +0 -9
- package/dest/contract_function_simulator/proxied_node.d.ts.map +0 -1
- package/dest/contract_function_simulator/proxied_node.js +0 -27
- package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts +0 -28
- package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts.map +0 -1
- package/dest/private_kernel/private_kernel_oracle_impl.d.ts +0 -46
- package/dest/private_kernel/private_kernel_oracle_impl.d.ts.map +0 -1
- package/dest/private_kernel/private_kernel_oracle_impl.js +0 -86
- package/dest/public_storage/public_storage_service.d.ts +0 -24
- package/dest/public_storage/public_storage_service.d.ts.map +0 -1
- package/dest/public_storage/public_storage_service.js +0 -26
- package/dest/tree_membership/tree_membership_service.d.ts +0 -52
- package/dest/tree_membership/tree_membership_service.d.ts.map +0 -1
- package/dest/tree_membership/tree_membership_service.js +0 -84
- package/src/contract_function_simulator/proxied_node.ts +0 -33
- package/src/private_kernel/private_kernel_oracle_impl.ts +0 -133
- package/src/public_storage/public_storage_service.ts +0 -33
- 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 {
|
|
5
|
-
import type {
|
|
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 {
|
|
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
|
-
/**
|
|
40
|
-
#
|
|
41
|
-
/**
|
|
42
|
-
#
|
|
43
|
-
/**
|
|
44
|
-
#
|
|
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.#
|
|
51
|
-
this.#
|
|
52
|
-
this.#
|
|
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
|
-
|
|
56
|
-
|
|
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
|
|
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
|
-
|
|
80
|
+
siloedEventCommitment: Fr,
|
|
74
81
|
metadata: PrivateEventMetadata,
|
|
75
|
-
|
|
76
|
-
|
|
77
|
-
|
|
78
|
-
|
|
79
|
-
const
|
|
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
|
-
|
|
91
|
-
|
|
92
|
-
|
|
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
|
|
100
|
-
await this.#eventLogIndex.set(key, [...existingIndices, index]);
|
|
96
|
+
const existing = await this.#readEvent(eventId, jobId);
|
|
101
97
|
|
|
102
|
-
|
|
103
|
-
|
|
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
|
-
*
|
|
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
|
|
134
|
+
public getPrivateEvents(
|
|
119
135
|
eventSelector: EventSelector,
|
|
120
136
|
filter: PrivateEventStoreFilter,
|
|
121
137
|
): Promise<PackedPrivateEvent[]> {
|
|
122
|
-
|
|
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
|
-
|
|
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
|
-
|
|
129
|
-
|
|
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
|
-
//
|
|
135
|
-
|
|
136
|
-
|
|
137
|
-
|
|
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
|
-
|
|
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
|
-
|
|
180
|
+
l2BlockNumber: storedPrivateEvent.l2BlockNumber,
|
|
181
|
+
txIndexInBlock: storedPrivateEvent.txIndexInBlock,
|
|
182
|
+
eventIndexInTx: storedPrivateEvent.eventIndexInTx,
|
|
147
183
|
event: {
|
|
148
|
-
packedEvent: msgContent,
|
|
149
|
-
l2BlockNumber: BlockNumber(
|
|
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
|
-
|
|
159
|
-
|
|
160
|
-
|
|
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
|
+
}
|