@aztec/pxe 4.0.0-rc.6 → 4.0.0-rc.8
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/contract_function_simulator/contract_function_simulator.js +1 -1
- package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts +5 -5
- package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts.map +1 -1
- package/dest/contract_function_simulator/execution_tagging_index_cache.js +3 -3
- package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts +1 -1
- package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/private_execution_oracle.js +8 -8
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts +1 -1
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.js +4 -7
- package/dest/contract_logging.d.ts +22 -0
- package/dest/contract_logging.d.ts.map +1 -0
- package/dest/contract_logging.js +23 -0
- package/dest/debug/pxe_debug_utils.d.ts +2 -2
- package/dest/debug/pxe_debug_utils.d.ts.map +1 -1
- package/dest/debug/pxe_debug_utils.js +4 -4
- package/dest/entrypoints/client/bundle/index.d.ts +2 -1
- package/dest/entrypoints/client/bundle/index.d.ts.map +1 -1
- package/dest/entrypoints/client/bundle/index.js +1 -0
- package/dest/entrypoints/client/lazy/index.d.ts +2 -1
- package/dest/entrypoints/client/lazy/index.d.ts.map +1 -1
- package/dest/entrypoints/client/lazy/index.js +1 -0
- package/dest/logs/log_service.d.ts +1 -1
- package/dest/logs/log_service.d.ts.map +1 -1
- package/dest/logs/log_service.js +4 -4
- package/dest/pxe.d.ts +6 -6
- package/dest/pxe.d.ts.map +1 -1
- package/dest/pxe.js +17 -13
- package/dest/storage/tagging_store/recipient_tagging_store.d.ts +6 -6
- package/dest/storage/tagging_store/recipient_tagging_store.d.ts.map +1 -1
- package/dest/storage/tagging_store/sender_tagging_store.d.ts +5 -5
- package/dest/storage/tagging_store/sender_tagging_store.d.ts.map +1 -1
- package/dest/storage/tagging_store/sender_tagging_store.js +4 -4
- package/dest/tagging/index.d.ts +2 -2
- package/dest/tagging/index.d.ts.map +1 -1
- package/dest/tagging/index.js +1 -1
- package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts +4 -5
- 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 +3 -3
- package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts +6 -7
- 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 +12 -11
- package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts +4 -8
- package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts.map +1 -1
- package/dest/tagging/sender_sync/sync_sender_tagging_indexes.js +3 -6
- package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts +4 -7
- 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 +14 -15
- package/package.json +16 -16
- package/src/contract_function_simulator/contract_function_simulator.ts +1 -1
- package/src/contract_function_simulator/execution_tagging_index_cache.ts +5 -5
- package/src/contract_function_simulator/oracle/private_execution_oracle.ts +12 -9
- package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +8 -7
- package/src/contract_logging.ts +39 -0
- package/src/debug/pxe_debug_utils.ts +4 -4
- package/src/entrypoints/client/bundle/index.ts +1 -0
- package/src/entrypoints/client/lazy/index.ts +1 -0
- package/src/logs/log_service.ts +10 -5
- package/src/pxe.ts +22 -18
- package/src/storage/tagging_store/recipient_tagging_store.ts +9 -5
- package/src/storage/tagging_store/sender_tagging_store.ts +8 -8
- package/src/tagging/index.ts +1 -1
- package/src/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.ts +3 -6
- package/src/tagging/recipient_sync/utils/load_logs_for_range.ts +10 -15
- package/src/tagging/sender_sync/sync_sender_tagging_indexes.ts +4 -9
- package/src/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.ts +11 -20
|
@@ -1,32 +1,27 @@
|
|
|
1
1
|
import type { BlockNumber } from '@aztec/foundation/branded-types';
|
|
2
|
-
import type { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
3
2
|
import type { BlockHash } from '@aztec/stdlib/block';
|
|
4
3
|
import type { AztecNode } from '@aztec/stdlib/interfaces/client';
|
|
5
|
-
import type {
|
|
6
|
-
import { SiloedTag
|
|
4
|
+
import type { ExtendedDirectionalAppTaggingSecret, TxScopedL2Log } from '@aztec/stdlib/logs';
|
|
5
|
+
import { SiloedTag } from '@aztec/stdlib/logs';
|
|
7
6
|
|
|
8
7
|
import { getAllPrivateLogsByTags } from '../../get_all_logs_by_tags.js';
|
|
9
8
|
|
|
10
9
|
/**
|
|
11
|
-
* Gets private logs with their corresponding block timestamps and tagging indexes for the given index range
|
|
12
|
-
* `
|
|
13
|
-
* exclusive.
|
|
10
|
+
* Gets private logs with their corresponding block timestamps and tagging indexes for the given index range and
|
|
11
|
+
* `extendedSecret`. At most load logs from blocks up to and including `anchorBlockNumber`. `start` is inclusive and
|
|
12
|
+
* `end` is exclusive.
|
|
14
13
|
*/
|
|
15
14
|
export async function loadLogsForRange(
|
|
16
|
-
|
|
17
|
-
app: AztecAddress,
|
|
15
|
+
extendedSecret: ExtendedDirectionalAppTaggingSecret,
|
|
18
16
|
aztecNode: AztecNode,
|
|
19
17
|
start: number,
|
|
20
18
|
end: number,
|
|
21
19
|
anchorBlockNumber: BlockNumber,
|
|
22
20
|
anchorBlockHash: BlockHash,
|
|
23
21
|
): Promise<Array<{ log: TxScopedL2Log; taggingIndex: number }>> {
|
|
24
|
-
// Derive tags for the window
|
|
25
|
-
const
|
|
26
|
-
.
|
|
27
|
-
.map((_, i) => ({ secret, index: start + i }));
|
|
28
|
-
const siloedTags = await Promise.all(preTags.map(preTag => Tag.compute(preTag))).then(tags =>
|
|
29
|
-
Promise.all(tags.map(tag => SiloedTag.compute(tag, app))),
|
|
22
|
+
// Derive siloed tags for the window
|
|
23
|
+
const siloedTags = await Promise.all(
|
|
24
|
+
Array.from({ length: end - start }, (_, i) => SiloedTag.compute({ extendedSecret, index: start + i })),
|
|
30
25
|
);
|
|
31
26
|
|
|
32
27
|
// We use the utility function below to retrieve all logs for the tags across all pages, so we don't need to handle
|
|
@@ -37,7 +32,7 @@ export async function loadLogsForRange(
|
|
|
37
32
|
const logsWithIndexes: Array<{ log: TxScopedL2Log; taggingIndex: number }> = [];
|
|
38
33
|
for (let i = 0; i < logs.length; i++) {
|
|
39
34
|
const logsForTag = logs[i];
|
|
40
|
-
const taggingIndex =
|
|
35
|
+
const taggingIndex = start + i;
|
|
41
36
|
for (const log of logsForTag) {
|
|
42
37
|
if (log.blockNumber <= anchorBlockNumber) {
|
|
43
38
|
logsWithIndexes.push({ log, taggingIndex });
|
|
@@ -1,7 +1,6 @@
|
|
|
1
|
-
import type { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
2
1
|
import type { BlockHash } from '@aztec/stdlib/block';
|
|
3
2
|
import type { AztecNode } from '@aztec/stdlib/interfaces/server';
|
|
4
|
-
import type {
|
|
3
|
+
import type { ExtendedDirectionalAppTaggingSecret } from '@aztec/stdlib/logs';
|
|
5
4
|
|
|
6
5
|
import type { SenderTaggingStore } from '../../storage/tagging_store/sender_tagging_store.js';
|
|
7
6
|
import { UNFINALIZED_TAGGING_INDEXES_WINDOW_LEN } from '../constants.js';
|
|
@@ -11,11 +10,8 @@ import { loadAndStoreNewTaggingIndexes } from './utils/load_and_store_new_taggin
|
|
|
11
10
|
/**
|
|
12
11
|
* Syncs tagging indexes. This function needs to be called whenever a private log is being sent.
|
|
13
12
|
*
|
|
14
|
-
* @param secret - The secret that's unique for (sender, recipient,
|
|
13
|
+
* @param secret - The secret that's unique for (sender, recipient, app) tuple while the direction of
|
|
15
14
|
* sender -> recipient matters.
|
|
16
|
-
* @param app - The address of the contract that the logs are tagged for. Needs to be provided because we perform
|
|
17
|
-
* second round of siloing in this function which is necessary because kernels do it as well (they silo first field
|
|
18
|
-
* of the private log which corresponds to the tag).
|
|
19
15
|
* @remarks When syncing the indexes as sender we don't care about the log contents - we only care about the highest
|
|
20
16
|
* pending and highest finalized indexes as that guides the next index choice when sending a log. The next index choice
|
|
21
17
|
* is simply the highest pending index plus one (or finalized if pending is undefined).
|
|
@@ -23,8 +19,7 @@ import { loadAndStoreNewTaggingIndexes } from './utils/load_and_store_new_taggin
|
|
|
23
19
|
* updates its status accordingly.
|
|
24
20
|
*/
|
|
25
21
|
export async function syncSenderTaggingIndexes(
|
|
26
|
-
secret:
|
|
27
|
-
app: AztecAddress,
|
|
22
|
+
secret: ExtendedDirectionalAppTaggingSecret,
|
|
28
23
|
aztecNode: AztecNode,
|
|
29
24
|
taggingStore: SenderTaggingStore,
|
|
30
25
|
anchorBlockHash: BlockHash,
|
|
@@ -59,7 +54,7 @@ export async function syncSenderTaggingIndexes(
|
|
|
59
54
|
while (true) {
|
|
60
55
|
// Load and store indexes for the current window. These indexes may already exist in the database if txs using
|
|
61
56
|
// them were previously sent from this PXE. Any duplicates are handled by the tagging data provider.
|
|
62
|
-
await loadAndStoreNewTaggingIndexes(secret,
|
|
57
|
+
await loadAndStoreNewTaggingIndexes(secret, start, end, aztecNode, taggingStore, anchorBlockHash, jobId);
|
|
63
58
|
|
|
64
59
|
// Retrieve all indexes within the current window from storage and update their status accordingly.
|
|
65
60
|
const pendingTxHashes = await taggingStore.getTxHashesOfPendingIndexes(secret, start, end, jobId);
|
|
@@ -1,8 +1,7 @@
|
|
|
1
|
-
import type { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
2
1
|
import type { BlockHash } from '@aztec/stdlib/block';
|
|
3
2
|
import type { AztecNode } from '@aztec/stdlib/interfaces/server';
|
|
4
|
-
import type {
|
|
5
|
-
import { SiloedTag
|
|
3
|
+
import type { ExtendedDirectionalAppTaggingSecret } from '@aztec/stdlib/logs';
|
|
4
|
+
import { SiloedTag } from '@aztec/stdlib/logs';
|
|
6
5
|
import { TxHash } from '@aztec/stdlib/tx';
|
|
7
6
|
|
|
8
7
|
import type { SenderTaggingStore } from '../../../storage/tagging_store/sender_tagging_store.js';
|
|
@@ -12,9 +11,7 @@ import { getAllPrivateLogsByTags } from '../../get_all_logs_by_tags.js';
|
|
|
12
11
|
* Loads tagging indexes from the Aztec node and stores them in the tagging data provider.
|
|
13
12
|
* @remarks This function is one of two places by which a pending index can get to the tagging data provider. The other
|
|
14
13
|
* place is when a tx is being sent from this PXE.
|
|
15
|
-
* @param
|
|
16
|
-
* @param app - The address of the contract that the logs are tagged for. Used for siloing tags to match
|
|
17
|
-
* kernel circuit behavior.
|
|
14
|
+
* @param extendedSecret - The extended directional app tagging secret that's unique for (sender, recipient, app) tuple.
|
|
18
15
|
* @param start - The starting index (inclusive) of the window to process.
|
|
19
16
|
* @param end - The ending index (exclusive) of the window to process.
|
|
20
17
|
* @param aztecNode - The Aztec node instance to query for logs.
|
|
@@ -23,8 +20,7 @@ import { getAllPrivateLogsByTags } from '../../get_all_logs_by_tags.js';
|
|
|
23
20
|
* preserving way.
|
|
24
21
|
*/
|
|
25
22
|
export async function loadAndStoreNewTaggingIndexes(
|
|
26
|
-
|
|
27
|
-
app: AztecAddress,
|
|
23
|
+
extendedSecret: ExtendedDirectionalAppTaggingSecret,
|
|
28
24
|
start: number,
|
|
29
25
|
end: number,
|
|
30
26
|
aztecNode: AztecNode,
|
|
@@ -33,20 +29,17 @@ export async function loadAndStoreNewTaggingIndexes(
|
|
|
33
29
|
jobId: string,
|
|
34
30
|
) {
|
|
35
31
|
// We compute the tags for the current window of indexes
|
|
36
|
-
const preTagsForWindow: PreTag[] = Array(end - start)
|
|
37
|
-
.fill(0)
|
|
38
|
-
.map((_, i) => ({ secret, index: start + i }));
|
|
39
32
|
const siloedTagsForWindow = await Promise.all(
|
|
40
|
-
|
|
33
|
+
Array.from({ length: end - start }, (_, i) => SiloedTag.compute({ extendedSecret, index: start + i })),
|
|
41
34
|
);
|
|
42
35
|
|
|
43
36
|
const txsForTags = await getTxsContainingTags(siloedTagsForWindow, aztecNode, anchorBlockHash);
|
|
44
|
-
const highestIndexMap = getTxHighestIndexMap(txsForTags,
|
|
37
|
+
const highestIndexMap = getTxHighestIndexMap(txsForTags, start, siloedTagsForWindow.length);
|
|
45
38
|
|
|
46
39
|
// Now we iterate over the map, reconstruct the preTags and tx hash and store them in the db.
|
|
47
40
|
for (const [txHashStr, highestIndex] of highestIndexMap.entries()) {
|
|
48
41
|
const txHash = TxHash.fromString(txHashStr);
|
|
49
|
-
await taggingStore.storePendingIndexes([{
|
|
42
|
+
await taggingStore.storePendingIndexes([{ extendedSecret, index: highestIndex }], txHash, jobId);
|
|
50
43
|
}
|
|
51
44
|
}
|
|
52
45
|
|
|
@@ -64,16 +57,14 @@ async function getTxsContainingTags(
|
|
|
64
57
|
}
|
|
65
58
|
|
|
66
59
|
// Returns a map of txHash to the highest index for that txHash.
|
|
67
|
-
function getTxHighestIndexMap(txHashesForTags: TxHash[][],
|
|
68
|
-
if (txHashesForTags.length !==
|
|
69
|
-
throw new Error(
|
|
70
|
-
`Number of tx hashes arrays does not match number of pre-tags. ${txHashesForTags.length} !== ${preTagsForWindow.length}`,
|
|
71
|
-
);
|
|
60
|
+
function getTxHighestIndexMap(txHashesForTags: TxHash[][], start: number, count: number): Map<string, number> {
|
|
61
|
+
if (txHashesForTags.length !== count) {
|
|
62
|
+
throw new Error(`Number of tx hashes arrays does not match number of tags. ${txHashesForTags.length} !== ${count}`);
|
|
72
63
|
}
|
|
73
64
|
|
|
74
65
|
const highestIndexMap = new Map<string, number>();
|
|
75
66
|
for (let i = 0; i < txHashesForTags.length; i++) {
|
|
76
|
-
const taggingIndex =
|
|
67
|
+
const taggingIndex = start + i;
|
|
77
68
|
const txHashesForTag = txHashesForTags[i];
|
|
78
69
|
for (const txHash of txHashesForTag) {
|
|
79
70
|
const key = txHash.toString();
|