@aztec/pxe 0.0.1-commit.c7c42ec → 0.0.1-commit.c949de6bc
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/access_scopes.d.ts +9 -0
- package/dest/access_scopes.d.ts.map +1 -0
- package/dest/access_scopes.js +6 -0
- package/dest/bin/check_oracle_version.js +1 -1
- package/dest/block_synchronizer/block_synchronizer.d.ts +13 -5
- package/dest/block_synchronizer/block_synchronizer.d.ts.map +1 -1
- package/dest/block_synchronizer/block_synchronizer.js +74 -20
- 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 +57 -34
- package/dest/contract_function_simulator/contract_function_simulator.d.ts.map +1 -1
- package/dest/contract_function_simulator/contract_function_simulator.js +199 -81
- 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/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/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 +7 -4
- package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts +3 -3
- package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts.map +1 -1
- package/dest/contract_function_simulator/noir-structs/note_validation_request.js +2 -2
- 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 +17 -13
- 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 +12 -10
- package/dest/contract_function_simulator/oracle/oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/oracle.js +67 -44
- 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 +45 -47
- package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/private_execution_oracle.js +91 -60
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts +67 -33
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.js +131 -110
- 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/contract_sync/contract_sync_service.d.ts +43 -0
- package/dest/contract_sync/contract_sync_service.d.ts.map +1 -0
- package/dest/contract_sync/contract_sync_service.js +97 -0
- package/dest/contract_sync/helpers.d.ts +29 -0
- package/dest/contract_sync/helpers.d.ts.map +1 -0
- package/dest/contract_sync/helpers.js +55 -0
- package/dest/debug/pxe_debug_utils.d.ts +24 -10
- package/dest/debug/pxe_debug_utils.d.ts.map +1 -1
- package/dest/debug/pxe_debug_utils.js +28 -17
- package/dest/entrypoints/client/bundle/index.d.ts +4 -1
- package/dest/entrypoints/client/bundle/index.d.ts.map +1 -1
- package/dest/entrypoints/client/bundle/index.js +3 -0
- 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 +31 -8
- package/dest/entrypoints/client/lazy/index.d.ts +4 -1
- package/dest/entrypoints/client/lazy/index.d.ts.map +1 -1
- package/dest/entrypoints/client/lazy/index.js +3 -0
- package/dest/entrypoints/client/lazy/utils.d.ts +2 -2
- package/dest/entrypoints/client/lazy/utils.d.ts.map +1 -1
- package/dest/entrypoints/client/lazy/utils.js +32 -9
- package/dest/entrypoints/pxe_creation_options.d.ts +5 -3
- package/dest/entrypoints/pxe_creation_options.d.ts.map +1 -1
- package/dest/entrypoints/server/index.d.ts +5 -1
- package/dest/entrypoints/server/index.d.ts.map +1 -1
- package/dest/entrypoints/server/index.js +4 -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 +39 -16
- package/dest/events/event_service.d.ts +6 -6
- package/dest/events/event_service.d.ts.map +1 -1
- package/dest/events/event_service.js +19 -22
- 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 +75 -0
- package/dest/job_coordinator/job_coordinator.d.ts.map +1 -0
- package/dest/job_coordinator/job_coordinator.js +94 -0
- package/dest/logs/log_service.d.ts +8 -5
- package/dest/logs/log_service.d.ts.map +1 -1
- package/dest/logs/log_service.js +31 -33
- package/dest/notes/note_service.d.ts +10 -9
- package/dest/notes/note_service.d.ts.map +1 -1
- package/dest/notes/note_service.js +34 -38
- package/dest/notes_filter.d.ts +25 -0
- package/dest/notes_filter.d.ts.map +1 -0
- package/dest/notes_filter.js +4 -0
- 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/compute_tx_expiration_timestamp.d.ts +4 -0
- package/dest/private_kernel/hints/compute_tx_expiration_timestamp.d.ts.map +1 -0
- package/dest/private_kernel/hints/{compute_tx_include_by_timestamp.js → compute_tx_expiration_timestamp.js} +12 -12
- package/dest/private_kernel/hints/index.d.ts +3 -3
- package/dest/private_kernel/hints/index.d.ts.map +1 -1
- package/dest/private_kernel/hints/index.js +2 -2
- package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts +29 -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} +141 -74
- package/dest/private_kernel/hints/test_utils.d.ts +122 -0
- package/dest/private_kernel/hints/test_utils.d.ts.map +1 -0
- package/dest/private_kernel/hints/test_utils.js +203 -0
- package/dest/private_kernel/private_kernel_execution_prover.d.ts +3 -2
- package/dest/private_kernel/private_kernel_execution_prover.d.ts.map +1 -1
- package/dest/private_kernel/private_kernel_execution_prover.js +24 -17
- package/dest/private_kernel/private_kernel_oracle.d.ts +24 -24
- package/dest/private_kernel/private_kernel_oracle.d.ts.map +1 -1
- package/dest/private_kernel/private_kernel_oracle.js +94 -2
- package/dest/pxe.d.ts +76 -58
- package/dest/pxe.d.ts.map +1 -1
- package/dest/pxe.js +151 -136
- package/dest/storage/address_store/address_store.d.ts +1 -1
- package/dest/storage/address_store/address_store.d.ts.map +1 -1
- package/dest/storage/address_store/address_store.js +12 -11
- package/dest/storage/anchor_block_store/anchor_block_store.d.ts +9 -1
- package/dest/storage/anchor_block_store/anchor_block_store.d.ts.map +1 -1
- package/dest/storage/anchor_block_store/anchor_block_store.js +8 -1
- 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 +130 -23
- package/dest/storage/contract_store/contract_store.d.ts +42 -15
- package/dest/storage/contract_store/contract_store.d.ts.map +1 -1
- package/dest/storage/contract_store/contract_store.js +157 -72
- package/dest/storage/metadata.d.ts +1 -1
- package/dest/storage/metadata.js +1 -1
- package/dest/storage/note_store/note_store.d.ts +50 -51
- package/dest/storage/note_store/note_store.d.ts.map +1 -1
- package/dest/storage/note_store/note_store.js +284 -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 +231 -73
- 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 +16 -9
- package/dest/storage/tagging_store/recipient_tagging_store.d.ts.map +1 -1
- package/dest/storage/tagging_store/recipient_tagging_store.js +88 -19
- package/dest/storage/tagging_store/sender_address_book_store.d.ts +1 -1
- package/dest/storage/tagging_store/sender_address_book_store.d.ts.map +1 -1
- package/dest/storage/tagging_store/sender_address_book_store.js +20 -14
- package/dest/storage/tagging_store/sender_tagging_store.d.ts +20 -10
- package/dest/storage/tagging_store/sender_tagging_store.d.ts.map +1 -1
- package/dest/storage/tagging_store/sender_tagging_store.js +254 -102
- 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 +60 -0
- package/dest/tagging/index.d.ts +4 -3
- package/dest/tagging/index.d.ts.map +1 -1
- package/dest/tagging/index.js +3 -11
- package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts +5 -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 +13 -13
- package/dest/tagging/recipient_sync/utils/find_highest_indexes.js +2 -2
- package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts +7 -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 +16 -12
- package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts +5 -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 +9 -12
- 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 +7 -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 +23 -19
- package/package.json +27 -18
- package/src/access_scopes.ts +9 -0
- package/src/bin/check_oracle_version.ts +1 -0
- package/src/block_synchronizer/block_synchronizer.ts +93 -32
- 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 +353 -140
- package/src/contract_function_simulator/execution_note_cache.ts +44 -25
- package/src/contract_function_simulator/execution_tagging_index_cache.ts +5 -5
- package/src/contract_function_simulator/index.ts +1 -1
- package/src/contract_function_simulator/noir-structs/event_validation_request.ts +6 -2
- package/src/contract_function_simulator/noir-structs/note_validation_request.ts +2 -2
- package/src/contract_function_simulator/noir-structs/utility_context.ts +6 -25
- package/src/contract_function_simulator/oracle/interfaces.ts +22 -12
- package/src/contract_function_simulator/oracle/note_packing_utils.ts +10 -10
- package/src/contract_function_simulator/oracle/oracle.ts +79 -47
- package/src/contract_function_simulator/oracle/private_execution.ts +1 -69
- package/src/contract_function_simulator/oracle/private_execution_oracle.ts +131 -140
- package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +198 -115
- package/src/contract_logging.ts +39 -0
- package/src/contract_sync/contract_sync_service.ts +152 -0
- package/src/contract_sync/helpers.ts +98 -0
- package/src/debug/pxe_debug_utils.ts +63 -18
- package/src/entrypoints/client/bundle/index.ts +3 -0
- package/src/entrypoints/client/bundle/utils.ts +23 -16
- package/src/entrypoints/client/lazy/index.ts +3 -0
- package/src/entrypoints/client/lazy/utils.ts +24 -17
- package/src/entrypoints/pxe_creation_options.ts +4 -2
- package/src/entrypoints/server/index.ts +4 -0
- package/src/entrypoints/server/utils.ts +33 -41
- package/src/events/event_service.ts +19 -25
- package/src/events/private_event_filter_validator.ts +3 -5
- package/src/job_coordinator/job_coordinator.ts +150 -0
- package/src/logs/log_service.ts +51 -40
- package/src/notes/note_service.ts +41 -45
- package/src/notes_filter.ts +26 -0
- package/src/oracle_version.ts +4 -3
- package/src/private_kernel/hints/{compute_tx_include_by_timestamp.ts → compute_tx_expiration_timestamp.ts} +13 -13
- package/src/private_kernel/hints/index.ts +2 -2
- package/src/private_kernel/hints/{build_private_kernel_reset_private_inputs.ts → private_kernel_reset_private_inputs_builder.ts} +196 -138
- package/src/private_kernel/hints/test_utils.ts +325 -0
- package/src/private_kernel/private_kernel_execution_prover.ts +27 -19
- package/src/private_kernel/private_kernel_oracle.ts +116 -36
- package/src/pxe.ts +283 -202
- package/src/storage/address_store/address_store.ts +15 -15
- package/src/storage/anchor_block_store/anchor_block_store.ts +8 -0
- package/src/storage/capsule_store/capsule_store.ts +159 -23
- package/src/storage/contract_store/contract_store.ts +186 -76
- package/src/storage/metadata.ts +1 -1
- package/src/storage/note_store/note_store.ts +326 -320
- package/src/storage/note_store/stored_note.ts +48 -0
- package/src/storage/private_event_store/private_event_store.ts +301 -79
- package/src/storage/private_event_store/stored_private_event.ts +73 -0
- package/src/storage/tagging_store/recipient_tagging_store.ts +111 -21
- package/src/storage/tagging_store/sender_address_book_store.ts +20 -14
- package/src/storage/tagging_store/sender_tagging_store.ts +297 -112
- package/src/tagging/constants.ts +10 -0
- package/src/tagging/get_all_logs_by_tags.ts +92 -0
- package/src/tagging/index.ts +3 -12
- package/src/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.ts +27 -16
- package/src/tagging/recipient_sync/utils/find_highest_indexes.ts +2 -2
- package/src/tagging/recipient_sync/utils/load_logs_for_range.ts +17 -16
- package/src/tagging/sender_sync/sync_sender_tagging_indexes.ts +13 -15
- 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 +26 -23
- 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/hints/compute_tx_include_by_timestamp.d.ts +0 -4
- package/dest/private_kernel/hints/compute_tx_include_by_timestamp.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
|
@@ -1,33 +1,34 @@
|
|
|
1
1
|
import type { BlockNumber } from '@aztec/foundation/branded-types';
|
|
2
|
-
import type {
|
|
2
|
+
import type { BlockHash } from '@aztec/stdlib/block';
|
|
3
3
|
import type { AztecNode } from '@aztec/stdlib/interfaces/client';
|
|
4
|
-
import type {
|
|
4
|
+
import type { ExtendedDirectionalAppTaggingSecret, TxScopedL2Log } from '@aztec/stdlib/logs';
|
|
5
5
|
|
|
6
6
|
import type { RecipientTaggingStore } from '../../storage/tagging_store/recipient_tagging_store.js';
|
|
7
|
-
import { UNFINALIZED_TAGGING_INDEXES_WINDOW_LEN } from '../
|
|
7
|
+
import { UNFINALIZED_TAGGING_INDEXES_WINDOW_LEN } from '../constants.js';
|
|
8
8
|
import { findHighestIndexes } from './utils/find_highest_indexes.js';
|
|
9
9
|
import { loadLogsForRange } from './utils/load_logs_for_range.js';
|
|
10
10
|
|
|
11
11
|
/**
|
|
12
|
-
* Loads private logs for
|
|
12
|
+
* Loads private logs for the app-sender-recipient triplet defined by `secret` and updates the highest aged and
|
|
13
13
|
* finalized indexes in the db. At most load logs from blocks up to and including `anchorBlockNumber`.
|
|
14
14
|
*
|
|
15
15
|
* @dev This function can be safely executed "in parallel" for other sender-recipient pairs because the data in
|
|
16
16
|
* in the tagging data provider is indexed by the secret and hence completely disjoint.
|
|
17
17
|
*/
|
|
18
18
|
export async function loadPrivateLogsForSenderRecipientPair(
|
|
19
|
-
secret:
|
|
20
|
-
app: AztecAddress,
|
|
19
|
+
secret: ExtendedDirectionalAppTaggingSecret,
|
|
21
20
|
aztecNode: AztecNode,
|
|
22
21
|
taggingStore: RecipientTaggingStore,
|
|
23
22
|
anchorBlockNumber: BlockNumber,
|
|
23
|
+
anchorBlockHash: BlockHash,
|
|
24
|
+
jobId: string,
|
|
24
25
|
): Promise<TxScopedL2Log[]> {
|
|
25
26
|
// # Explanation of how the algorithm works
|
|
26
27
|
// When we perform the sync we will look at logs that correspond to the tagging index range
|
|
27
28
|
// (highestAgedIndex, highestFinalizedIndex + WINDOW_LEN]
|
|
28
29
|
//
|
|
29
30
|
// highestAgedIndex is the highest index that was used in a tx that is included in a block at least
|
|
30
|
-
// `
|
|
31
|
+
// `MAX_TX_LIFETIME` seconds ago.
|
|
31
32
|
// highestFinalizedIndex is the highest index that was used in a tx that is included in a finalized block.
|
|
32
33
|
//
|
|
33
34
|
// "(" denotes an open end of the range - the index is not included in the range.
|
|
@@ -39,19 +40,19 @@ export async function loadPrivateLogsForSenderRecipientPair(
|
|
|
39
40
|
// ever appear.
|
|
40
41
|
//
|
|
41
42
|
// This relies on the "maximum inclusion timestamp" rule enforced by the kernel and rollup circuits:
|
|
42
|
-
// - a transaction's maximum inclusion timestamp is at most `
|
|
43
|
+
// - a transaction's maximum inclusion timestamp is at most `MAX_TX_LIFETIME` seconds after
|
|
43
44
|
// the timestamp of its anchor block; and
|
|
44
45
|
// - a rollup only includes transactions whose inclusion timestamp is >= the L2 block's timestamp.
|
|
45
46
|
//
|
|
46
47
|
// Suppose some device used index `I` in a transaction anchored to block `B_N` at time `N`, and that block is now at
|
|
47
|
-
// least `
|
|
48
|
+
// least `MAX_TX_LIFETIME` seconds in the past. Then there is no possibility of any *other* device
|
|
48
49
|
// trying to use an index <= `I` while anchoring to a *newer* block than `B_N` because if we were anchoring to
|
|
49
50
|
// a newer block than `B_N` then we would already have seen the log with index `I` and hence the device would have
|
|
50
51
|
// chosen a larger index.
|
|
51
52
|
// If that *other* device would anchor to a block older than `B_N` then that tx could never be included in a block
|
|
52
53
|
// because it would already have been expired.
|
|
53
54
|
//
|
|
54
|
-
// Therefore, once we see that index `I` has been used in a block that is at least `
|
|
55
|
+
// Therefore, once we see that index `I` has been used in a block that is at least `MAX_TX_LIFETIME`
|
|
55
56
|
// seconds old, we can safely stop syncing logs for all indexes <= `I` and set highestAgedIndex = `I`.
|
|
56
57
|
//
|
|
57
58
|
// ## Explanation of the upper bound `highestFinalizedIndex + WINDOW_LEN`
|
|
@@ -68,13 +69,16 @@ export async function loadPrivateLogsForSenderRecipientPair(
|
|
|
68
69
|
throw new Error('Node failed to return latest block header when syncing logs');
|
|
69
70
|
}
|
|
70
71
|
|
|
71
|
-
[finalizedBlockNumber, currentTimestamp] = [
|
|
72
|
+
[finalizedBlockNumber, currentTimestamp] = [
|
|
73
|
+
l2Tips.finalized.block.number,
|
|
74
|
+
latestBlockHeader.globalVariables.timestamp,
|
|
75
|
+
];
|
|
72
76
|
}
|
|
73
77
|
|
|
74
78
|
let start: number, end: number;
|
|
75
79
|
{
|
|
76
|
-
const currentHighestAgedIndex = await taggingStore.getHighestAgedIndex(secret);
|
|
77
|
-
const currentHighestFinalizedIndex = await taggingStore.getHighestFinalizedIndex(secret);
|
|
80
|
+
const currentHighestAgedIndex = await taggingStore.getHighestAgedIndex(secret, jobId);
|
|
81
|
+
const currentHighestFinalizedIndex = await taggingStore.getHighestFinalizedIndex(secret, jobId);
|
|
78
82
|
|
|
79
83
|
// We don't want to include the highest aged index so we start from `currentHighestAgedIndex + 1` (or 0 if not set)
|
|
80
84
|
start = currentHighestAgedIndex === undefined ? 0 : currentHighestAgedIndex + 1;
|
|
@@ -88,7 +92,14 @@ export async function loadPrivateLogsForSenderRecipientPair(
|
|
|
88
92
|
|
|
89
93
|
while (true) {
|
|
90
94
|
// Get private logs with their block timestamps and corresponding tagging indexes
|
|
91
|
-
const privateLogsWithIndexes = await loadLogsForRange(
|
|
95
|
+
const privateLogsWithIndexes = await loadLogsForRange(
|
|
96
|
+
secret,
|
|
97
|
+
aztecNode,
|
|
98
|
+
start,
|
|
99
|
+
end,
|
|
100
|
+
anchorBlockNumber,
|
|
101
|
+
anchorBlockHash,
|
|
102
|
+
);
|
|
92
103
|
|
|
93
104
|
if (privateLogsWithIndexes.length === 0) {
|
|
94
105
|
break;
|
|
@@ -104,7 +115,7 @@ export async function loadPrivateLogsForSenderRecipientPair(
|
|
|
104
115
|
|
|
105
116
|
// Store updates in data provider and update local variables
|
|
106
117
|
if (highestAgedIndex !== undefined) {
|
|
107
|
-
await taggingStore.updateHighestAgedIndex(secret, highestAgedIndex);
|
|
118
|
+
await taggingStore.updateHighestAgedIndex(secret, highestAgedIndex, jobId);
|
|
108
119
|
}
|
|
109
120
|
|
|
110
121
|
if (highestFinalizedIndex === undefined) {
|
|
@@ -117,7 +128,7 @@ export async function loadPrivateLogsForSenderRecipientPair(
|
|
|
117
128
|
throw new Error('Highest aged index lower than highest finalized index invariant violated');
|
|
118
129
|
}
|
|
119
130
|
|
|
120
|
-
await taggingStore.updateHighestFinalizedIndex(secret, highestFinalizedIndex);
|
|
131
|
+
await taggingStore.updateHighestFinalizedIndex(secret, highestFinalizedIndex, jobId);
|
|
121
132
|
|
|
122
133
|
// For the next iteration we want to look only at indexes for which we have not attempted to load logs yet while
|
|
123
134
|
// ensuring that we do not look further than WINDOW_LEN ahead of the highest finalized index.
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { MAX_TX_LIFETIME } from '@aztec/constants';
|
|
2
2
|
import type { TxScopedL2Log } from '@aztec/stdlib/logs';
|
|
3
3
|
|
|
4
4
|
/**
|
|
@@ -16,7 +16,7 @@ export function findHighestIndexes(
|
|
|
16
16
|
const ageInSeconds = currentTimestamp - log.blockTimestamp;
|
|
17
17
|
|
|
18
18
|
if (
|
|
19
|
-
ageInSeconds >= BigInt(
|
|
19
|
+
ageInSeconds >= BigInt(MAX_TX_LIFETIME) &&
|
|
20
20
|
(highestAgedIndex === undefined || taggingIndex > highestAgedIndex)
|
|
21
21
|
) {
|
|
22
22
|
highestAgedIndex = taggingIndex;
|
|
@@ -1,37 +1,38 @@
|
|
|
1
1
|
import type { BlockNumber } from '@aztec/foundation/branded-types';
|
|
2
|
-
import type {
|
|
2
|
+
import type { BlockHash } from '@aztec/stdlib/block';
|
|
3
3
|
import type { AztecNode } from '@aztec/stdlib/interfaces/client';
|
|
4
|
-
import type {
|
|
5
|
-
import { SiloedTag
|
|
4
|
+
import type { ExtendedDirectionalAppTaggingSecret, TxScopedL2Log } from '@aztec/stdlib/logs';
|
|
5
|
+
import { SiloedTag } from '@aztec/stdlib/logs';
|
|
6
|
+
|
|
7
|
+
import { getAllPrivateLogsByTags } from '../../get_all_logs_by_tags.js';
|
|
6
8
|
|
|
7
9
|
/**
|
|
8
|
-
* Gets private logs with their corresponding block timestamps and tagging indexes for the given index range
|
|
9
|
-
* `
|
|
10
|
-
* 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.
|
|
11
13
|
*/
|
|
12
14
|
export async function loadLogsForRange(
|
|
13
|
-
|
|
14
|
-
app: AztecAddress,
|
|
15
|
+
extendedSecret: ExtendedDirectionalAppTaggingSecret,
|
|
15
16
|
aztecNode: AztecNode,
|
|
16
17
|
start: number,
|
|
17
18
|
end: number,
|
|
18
19
|
anchorBlockNumber: BlockNumber,
|
|
20
|
+
anchorBlockHash: BlockHash,
|
|
19
21
|
): Promise<Array<{ log: TxScopedL2Log; taggingIndex: number }>> {
|
|
20
|
-
// Derive tags for the window
|
|
21
|
-
const
|
|
22
|
-
.
|
|
23
|
-
.map((_, i) => ({ secret, index: start + i }));
|
|
24
|
-
const siloedTags = await Promise.all(preTags.map(preTag => Tag.compute(preTag))).then(tags =>
|
|
25
|
-
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 })),
|
|
26
25
|
);
|
|
27
26
|
|
|
28
|
-
|
|
27
|
+
// We use the utility function below to retrieve all logs for the tags across all pages, so we don't need to handle
|
|
28
|
+
// pagination here.
|
|
29
|
+
const logs = await getAllPrivateLogsByTags(aztecNode, siloedTags, anchorBlockHash);
|
|
29
30
|
|
|
30
31
|
// Pair logs with their corresponding tagging indexes
|
|
31
32
|
const logsWithIndexes: Array<{ log: TxScopedL2Log; taggingIndex: number }> = [];
|
|
32
33
|
for (let i = 0; i < logs.length; i++) {
|
|
33
34
|
const logsForTag = logs[i];
|
|
34
|
-
const taggingIndex =
|
|
35
|
+
const taggingIndex = start + i;
|
|
35
36
|
for (const log of logsForTag) {
|
|
36
37
|
if (log.blockNumber <= anchorBlockNumber) {
|
|
37
38
|
logsWithIndexes.push({ log, taggingIndex });
|
|
@@ -1,20 +1,17 @@
|
|
|
1
|
-
import type {
|
|
1
|
+
import type { BlockHash } from '@aztec/stdlib/block';
|
|
2
2
|
import type { AztecNode } from '@aztec/stdlib/interfaces/server';
|
|
3
|
-
import type {
|
|
3
|
+
import type { ExtendedDirectionalAppTaggingSecret } from '@aztec/stdlib/logs';
|
|
4
4
|
|
|
5
5
|
import type { SenderTaggingStore } from '../../storage/tagging_store/sender_tagging_store.js';
|
|
6
|
-
import { UNFINALIZED_TAGGING_INDEXES_WINDOW_LEN } from '../
|
|
6
|
+
import { UNFINALIZED_TAGGING_INDEXES_WINDOW_LEN } from '../constants.js';
|
|
7
7
|
import { getStatusChangeOfPending } from './utils/get_status_change_of_pending.js';
|
|
8
8
|
import { loadAndStoreNewTaggingIndexes } from './utils/load_and_store_new_tagging_indexes.js';
|
|
9
9
|
|
|
10
10
|
/**
|
|
11
11
|
* Syncs tagging indexes. This function needs to be called whenever a private log is being sent.
|
|
12
12
|
*
|
|
13
|
-
* @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
|
|
14
14
|
* sender -> recipient matters.
|
|
15
|
-
* @param app - The address of the contract that the logs are tagged for. Needs to be provided because we perform
|
|
16
|
-
* second round of siloing in this function which is necessary because kernels do it as well (they silo first field
|
|
17
|
-
* of the private log which corresponds to the tag).
|
|
18
15
|
* @remarks When syncing the indexes as sender we don't care about the log contents - we only care about the highest
|
|
19
16
|
* pending and highest finalized indexes as that guides the next index choice when sending a log. The next index choice
|
|
20
17
|
* is simply the highest pending index plus one (or finalized if pending is undefined).
|
|
@@ -22,10 +19,11 @@ import { loadAndStoreNewTaggingIndexes } from './utils/load_and_store_new_taggin
|
|
|
22
19
|
* updates its status accordingly.
|
|
23
20
|
*/
|
|
24
21
|
export async function syncSenderTaggingIndexes(
|
|
25
|
-
secret:
|
|
26
|
-
app: AztecAddress,
|
|
22
|
+
secret: ExtendedDirectionalAppTaggingSecret,
|
|
27
23
|
aztecNode: AztecNode,
|
|
28
24
|
taggingStore: SenderTaggingStore,
|
|
25
|
+
anchorBlockHash: BlockHash,
|
|
26
|
+
jobId: string,
|
|
29
27
|
): Promise<void> {
|
|
30
28
|
// # Explanation of how syncing works
|
|
31
29
|
//
|
|
@@ -45,7 +43,7 @@ export async function syncSenderTaggingIndexes(
|
|
|
45
43
|
// Each window advance requires two queries (logs + tx status). For example, syncing indexes 0–500 with a window of
|
|
46
44
|
// 100 takes at least 10 round trips (5 windows × 2 queries).
|
|
47
45
|
|
|
48
|
-
const finalizedIndex = await taggingStore.getLastFinalizedIndex(secret);
|
|
46
|
+
const finalizedIndex = await taggingStore.getLastFinalizedIndex(secret, jobId);
|
|
49
47
|
|
|
50
48
|
let start = finalizedIndex === undefined ? 0 : finalizedIndex + 1;
|
|
51
49
|
let end = start + UNFINALIZED_TAGGING_INDEXES_WINDOW_LEN;
|
|
@@ -56,21 +54,21 @@ export async function syncSenderTaggingIndexes(
|
|
|
56
54
|
while (true) {
|
|
57
55
|
// Load and store indexes for the current window. These indexes may already exist in the database if txs using
|
|
58
56
|
// them were previously sent from this PXE. Any duplicates are handled by the tagging data provider.
|
|
59
|
-
await loadAndStoreNewTaggingIndexes(secret,
|
|
57
|
+
await loadAndStoreNewTaggingIndexes(secret, start, end, aztecNode, taggingStore, anchorBlockHash, jobId);
|
|
60
58
|
|
|
61
59
|
// Retrieve all indexes within the current window from storage and update their status accordingly.
|
|
62
|
-
const pendingTxHashes = await taggingStore.getTxHashesOfPendingIndexes(secret, start, end);
|
|
60
|
+
const pendingTxHashes = await taggingStore.getTxHashesOfPendingIndexes(secret, start, end, jobId);
|
|
63
61
|
if (pendingTxHashes.length === 0) {
|
|
64
62
|
break;
|
|
65
63
|
}
|
|
66
64
|
|
|
67
65
|
const { txHashesToFinalize, txHashesToDrop } = await getStatusChangeOfPending(pendingTxHashes, aztecNode);
|
|
68
66
|
|
|
69
|
-
await taggingStore.dropPendingIndexes(txHashesToDrop);
|
|
70
|
-
await taggingStore.finalizePendingIndexes(txHashesToFinalize);
|
|
67
|
+
await taggingStore.dropPendingIndexes(txHashesToDrop, jobId);
|
|
68
|
+
await taggingStore.finalizePendingIndexes(txHashesToFinalize, jobId);
|
|
71
69
|
|
|
72
70
|
// We check if the finalized index has been updated.
|
|
73
|
-
newFinalizedIndex = await taggingStore.getLastFinalizedIndex(secret);
|
|
71
|
+
newFinalizedIndex = await taggingStore.getLastFinalizedIndex(secret, jobId);
|
|
74
72
|
if (previousFinalizedIndex !== newFinalizedIndex) {
|
|
75
73
|
// A new finalized index was found, so we'll run the loop again. For example:
|
|
76
74
|
// - Previous finalized index: 10
|
|
@@ -9,11 +9,8 @@ export async function getStatusChangeOfPending(
|
|
|
9
9
|
pending: TxHash[],
|
|
10
10
|
aztecNode: AztecNode,
|
|
11
11
|
): Promise<{ txHashesToFinalize: TxHash[]; txHashesToDrop: TxHash[] }> {
|
|
12
|
-
// Get receipts for all pending tx hashes
|
|
13
|
-
const
|
|
14
|
-
Promise.all(pending.map(pendingTxHash => aztecNode.getTxReceipt(pendingTxHash))),
|
|
15
|
-
aztecNode.getL2Tips(),
|
|
16
|
-
]);
|
|
12
|
+
// Get receipts for all pending tx hashes.
|
|
13
|
+
const receipts = await Promise.all(pending.map(pendingTxHash => aztecNode.getTxReceipt(pendingTxHash)));
|
|
17
14
|
|
|
18
15
|
const txHashesToFinalize: TxHash[] = [];
|
|
19
16
|
const txHashesToDrop: TxHash[] = [];
|
|
@@ -22,21 +19,16 @@ export async function getStatusChangeOfPending(
|
|
|
22
19
|
const receipt = receipts[i];
|
|
23
20
|
const txHash = pending[i];
|
|
24
21
|
|
|
25
|
-
if (receipt.status === TxStatus.
|
|
22
|
+
if (receipt.status === TxStatus.FINALIZED && receipt.hasExecutionSucceeded()) {
|
|
26
23
|
// Tx has been included in a block and the corresponding block is finalized --> we mark the indexes as
|
|
27
24
|
// finalized.
|
|
28
25
|
txHashesToFinalize.push(txHash);
|
|
29
|
-
} else if (
|
|
30
|
-
receipt.status === TxStatus.DROPPED ||
|
|
31
|
-
receipt.status === TxStatus.APP_LOGIC_REVERTED ||
|
|
32
|
-
receipt.status === TxStatus.TEARDOWN_REVERTED ||
|
|
33
|
-
receipt.status === TxStatus.BOTH_REVERTED
|
|
34
|
-
) {
|
|
26
|
+
} else if (receipt.isDropped() || receipt.hasExecutionReverted()) {
|
|
35
27
|
// Tx was dropped or reverted --> we drop the corresponding pending indexes.
|
|
36
28
|
// TODO(#17615): Don't drop pending indexes corresponding to non-revertible phases.
|
|
37
29
|
txHashesToDrop.push(txHash);
|
|
38
30
|
} else {
|
|
39
|
-
// Tx is still pending or
|
|
31
|
+
// Tx is still pending, not yet finalized, or was mined successfully but not yet finalized --> we don't do anything.
|
|
40
32
|
}
|
|
41
33
|
}
|
|
42
34
|
|
|
@@ -1,67 +1,70 @@
|
|
|
1
|
-
import type {
|
|
1
|
+
import type { BlockHash } from '@aztec/stdlib/block';
|
|
2
2
|
import type { AztecNode } from '@aztec/stdlib/interfaces/server';
|
|
3
|
-
import type {
|
|
4
|
-
import { SiloedTag
|
|
3
|
+
import type { ExtendedDirectionalAppTaggingSecret } from '@aztec/stdlib/logs';
|
|
4
|
+
import { SiloedTag } from '@aztec/stdlib/logs';
|
|
5
5
|
import { TxHash } from '@aztec/stdlib/tx';
|
|
6
6
|
|
|
7
7
|
import type { SenderTaggingStore } from '../../../storage/tagging_store/sender_tagging_store.js';
|
|
8
|
+
import { getAllPrivateLogsByTags } from '../../get_all_logs_by_tags.js';
|
|
8
9
|
|
|
9
10
|
/**
|
|
10
11
|
* Loads tagging indexes from the Aztec node and stores them in the tagging data provider.
|
|
11
12
|
* @remarks This function is one of two places by which a pending index can get to the tagging data provider. The other
|
|
12
13
|
* place is when a tx is being sent from this PXE.
|
|
13
|
-
* @param
|
|
14
|
-
* @param app - The address of the contract that the logs are tagged for. Used for siloing tags to match
|
|
15
|
-
* kernel circuit behavior.
|
|
14
|
+
* @param extendedSecret - The extended directional app tagging secret that's unique for (sender, recipient, app) tuple.
|
|
16
15
|
* @param start - The starting index (inclusive) of the window to process.
|
|
17
16
|
* @param end - The ending index (exclusive) of the window to process.
|
|
18
17
|
* @param aztecNode - The Aztec node instance to query for logs.
|
|
19
18
|
* @param taggingStore - The data provider to store pending indexes.
|
|
19
|
+
* @param jobId - Job identifier, used to keep writes in-memory until they can be persisted in a data integrity
|
|
20
|
+
* preserving way.
|
|
20
21
|
*/
|
|
21
22
|
export async function loadAndStoreNewTaggingIndexes(
|
|
22
|
-
|
|
23
|
-
app: AztecAddress,
|
|
23
|
+
extendedSecret: ExtendedDirectionalAppTaggingSecret,
|
|
24
24
|
start: number,
|
|
25
25
|
end: number,
|
|
26
26
|
aztecNode: AztecNode,
|
|
27
27
|
taggingStore: SenderTaggingStore,
|
|
28
|
+
anchorBlockHash: BlockHash,
|
|
29
|
+
jobId: string,
|
|
28
30
|
) {
|
|
29
31
|
// We compute the tags for the current window of indexes
|
|
30
|
-
const preTagsForWindow: PreTag[] = Array(end - start)
|
|
31
|
-
.fill(0)
|
|
32
|
-
.map((_, i) => ({ secret, index: start + i }));
|
|
33
32
|
const siloedTagsForWindow = await Promise.all(
|
|
34
|
-
|
|
33
|
+
Array.from({ length: end - start }, (_, i) => SiloedTag.compute({ extendedSecret, index: start + i })),
|
|
35
34
|
);
|
|
36
35
|
|
|
37
|
-
const txsForTags = await getTxsContainingTags(siloedTagsForWindow, aztecNode);
|
|
38
|
-
const highestIndexMap = getTxHighestIndexMap(txsForTags,
|
|
36
|
+
const txsForTags = await getTxsContainingTags(siloedTagsForWindow, aztecNode, anchorBlockHash);
|
|
37
|
+
const highestIndexMap = getTxHighestIndexMap(txsForTags, start, siloedTagsForWindow.length);
|
|
39
38
|
|
|
40
39
|
// Now we iterate over the map, reconstruct the preTags and tx hash and store them in the db.
|
|
41
40
|
for (const [txHashStr, highestIndex] of highestIndexMap.entries()) {
|
|
42
41
|
const txHash = TxHash.fromString(txHashStr);
|
|
43
|
-
await taggingStore.storePendingIndexes([{
|
|
42
|
+
await taggingStore.storePendingIndexes([{ extendedSecret, index: highestIndex }], txHash, jobId);
|
|
44
43
|
}
|
|
45
44
|
}
|
|
46
45
|
|
|
47
46
|
// Returns txs that used the given tags. A tag might have been used in multiple txs and for this reason we return
|
|
48
47
|
// an array for each tag.
|
|
49
|
-
async function getTxsContainingTags(
|
|
50
|
-
|
|
48
|
+
async function getTxsContainingTags(
|
|
49
|
+
tags: SiloedTag[],
|
|
50
|
+
aztecNode: AztecNode,
|
|
51
|
+
anchorBlockHash: BlockHash,
|
|
52
|
+
): Promise<TxHash[][]> {
|
|
53
|
+
// We use the utility function below to retrieve all logs for the tags across all pages, so we don't need to handle
|
|
54
|
+
// pagination here.
|
|
55
|
+
const allLogs = await getAllPrivateLogsByTags(aztecNode, tags, anchorBlockHash);
|
|
51
56
|
return allLogs.map(logs => logs.map(log => log.txHash));
|
|
52
57
|
}
|
|
53
58
|
|
|
54
59
|
// Returns a map of txHash to the highest index for that txHash.
|
|
55
|
-
function getTxHighestIndexMap(txHashesForTags: TxHash[][],
|
|
56
|
-
if (txHashesForTags.length !==
|
|
57
|
-
throw new Error(
|
|
58
|
-
`Number of tx hashes arrays does not match number of pre-tags. ${txHashesForTags.length} !== ${preTagsForWindow.length}`,
|
|
59
|
-
);
|
|
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}`);
|
|
60
63
|
}
|
|
61
64
|
|
|
62
65
|
const highestIndexMap = new Map<string, number>();
|
|
63
66
|
for (let i = 0; i < txHashesForTags.length; i++) {
|
|
64
|
-
const taggingIndex =
|
|
67
|
+
const taggingIndex = start + i;
|
|
65
68
|
const txHashesForTag = txHashesForTags[i];
|
|
66
69
|
for (const txHash of txHashesForTag) {
|
|
67
70
|
const key = txHash.toString();
|
|
@@ -1,9 +0,0 @@
|
|
|
1
|
-
import type { AztecNode } from '@aztec/stdlib/interfaces/client';
|
|
2
|
-
import type { NodeStats } from '@aztec/stdlib/tx';
|
|
3
|
-
export type ProxiedNode = AztecNode & {
|
|
4
|
-
getStats(): NodeStats;
|
|
5
|
-
};
|
|
6
|
-
export declare class ProxiedNodeFactory {
|
|
7
|
-
static create(node: AztecNode): ProxiedNode;
|
|
8
|
-
}
|
|
9
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJveGllZF9ub2RlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvY29udHJhY3RfZnVuY3Rpb25fc2ltdWxhdG9yL3Byb3hpZWRfbm9kZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEtBQUssRUFBRSxTQUFTLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUNqRSxPQUFPLEtBQUssRUFBRSxTQUFTLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUtsRCxNQUFNLE1BQU0sV0FBVyxHQUFHLFNBQVMsR0FBRztJQUFFLFFBQVEsSUFBSSxTQUFTLENBQUE7Q0FBRSxDQUFDO0FBRWhFLHFCQUFhLGtCQUFrQjtJQUM3QixNQUFNLENBQUMsTUFBTSxDQUFDLElBQUksRUFBRSxTQUFTLGVBcUI1QjtDQUNGIn0=
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"proxied_node.d.ts","sourceRoot":"","sources":["../../src/contract_function_simulator/proxied_node.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AACjE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAKlD,MAAM,MAAM,WAAW,GAAG,SAAS,GAAG;IAAE,QAAQ,IAAI,SAAS,CAAA;CAAE,CAAC;AAEhE,qBAAa,kBAAkB;IAC7B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,eAqB5B;CACF"}
|
|
@@ -1,27 +0,0 @@
|
|
|
1
|
-
import { Timer } from '@aztec/foundation/timer';
|
|
2
|
-
export class ProxiedNodeFactory {
|
|
3
|
-
static create(node) {
|
|
4
|
-
const stats = {};
|
|
5
|
-
return new Proxy(node, {
|
|
6
|
-
get (target, prop) {
|
|
7
|
-
if (prop === 'getStats') {
|
|
8
|
-
return ()=>{
|
|
9
|
-
return stats;
|
|
10
|
-
};
|
|
11
|
-
} else {
|
|
12
|
-
return async function(...args) {
|
|
13
|
-
if (!stats[prop]) {
|
|
14
|
-
stats[prop] = {
|
|
15
|
-
times: []
|
|
16
|
-
};
|
|
17
|
-
}
|
|
18
|
-
const timer = new Timer();
|
|
19
|
-
const result = await target[prop].apply(target, args);
|
|
20
|
-
stats[prop].times.push(timer.ms());
|
|
21
|
-
return result;
|
|
22
|
-
};
|
|
23
|
-
}
|
|
24
|
-
}
|
|
25
|
-
});
|
|
26
|
-
}
|
|
27
|
-
}
|
|
@@ -1,28 +0,0 @@
|
|
|
1
|
-
import { type PrivateKernelCircuitPublicInputs, PrivateKernelResetCircuitPrivateInputs, type PrivateKernelSimulateOutput } from '@aztec/stdlib/kernel';
|
|
2
|
-
import { type PrivateCallExecutionResult } from '@aztec/stdlib/tx';
|
|
3
|
-
import type { PrivateKernelOracle } from '../private_kernel_oracle.js';
|
|
4
|
-
export declare class PrivateKernelResetPrivateInputsBuilder {
|
|
5
|
-
private previousKernelOutput;
|
|
6
|
-
private executionStack;
|
|
7
|
-
private noteHashNullifierCounterMap;
|
|
8
|
-
private splitCounter;
|
|
9
|
-
private previousKernel;
|
|
10
|
-
private nextIteration?;
|
|
11
|
-
private noteHashResetActions;
|
|
12
|
-
private nullifierResetActions;
|
|
13
|
-
private numTransientData?;
|
|
14
|
-
private transientDataSquashingHints;
|
|
15
|
-
private requestedDimensions;
|
|
16
|
-
constructor(previousKernelOutput: PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs>, executionStack: PrivateCallExecutionResult[], noteHashNullifierCounterMap: Map<number, number>, splitCounter: number);
|
|
17
|
-
needsReset(): boolean;
|
|
18
|
-
build(oracle: PrivateKernelOracle, noteHashLeafIndexMap: Map<bigint, bigint>): Promise<PrivateKernelResetCircuitPrivateInputs>;
|
|
19
|
-
private reduceReadRequestActions;
|
|
20
|
-
private needsResetNoteHashReadRequests;
|
|
21
|
-
private needsResetNullifierReadRequests;
|
|
22
|
-
private needsResetNullifierKeys;
|
|
23
|
-
private needsResetTransientData;
|
|
24
|
-
private needsSiloNoteHashes;
|
|
25
|
-
private needsSiloNullifiers;
|
|
26
|
-
private needsSiloPrivateLogs;
|
|
27
|
-
}
|
|
28
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYnVpbGRfcHJpdmF0ZV9rZXJuZWxfcmVzZXRfcHJpdmF0ZV9pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9wcml2YXRlX2tlcm5lbC9oaW50cy9idWlsZF9wcml2YXRlX2tlcm5lbF9yZXNldF9wcml2YXRlX2lucHV0cy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFlQSxPQUFPLEVBS0wsS0FBSyxnQ0FBZ0MsRUFFckMsc0NBQXNDLEVBR3RDLEtBQUssMkJBQTJCLEVBZWpDLE1BQU0sc0JBQXNCLENBQUM7QUFDOUIsT0FBTyxFQUFFLEtBQUssMEJBQTBCLEVBQWlCLE1BQU0sa0JBQWtCLENBQUM7QUFHbEYsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQTRDdkUscUJBQWEsc0NBQXNDO0lBWS9DLE9BQU8sQ0FBQyxvQkFBb0I7SUFDNUIsT0FBTyxDQUFDLGNBQWM7SUFDdEIsT0FBTyxDQUFDLDJCQUEyQjtJQUNuQyxPQUFPLENBQUMsWUFBWTtJQWR0QixPQUFPLENBQUMsY0FBYyxDQUFtQztJQUV6RCxPQUFPLENBQUMsYUFBYSxDQUFDLENBQTZCO0lBRW5ELE9BQU8sQ0FBQyxvQkFBb0IsQ0FBcUU7SUFDakcsT0FBTyxDQUFDLHFCQUFxQixDQUFxRTtJQUNsRyxPQUFPLENBQUMsZ0JBQWdCLENBQUMsQ0FBUztJQUNsQyxPQUFPLENBQUMsMkJBQTJCLENBQWtFO0lBQ3JHLE9BQU8sQ0FBQyxtQkFBbUIsQ0FBK0I7SUFFMUQsWUFDVSxvQkFBb0IsRUFBRSwyQkFBMkIsQ0FBQyxnQ0FBZ0MsQ0FBQyxFQUNuRixjQUFjLEVBQUUsMEJBQTBCLEVBQUUsRUFDNUMsMkJBQTJCLEVBQUUsR0FBRyxDQUFDLE1BQU0sRUFBRSxNQUFNLENBQUMsRUFDaEQsWUFBWSxFQUFFLE1BQU0sRUFXN0I7SUFFRCxVQUFVLElBQUksT0FBTyxDQXNCcEI7SUFFSyxLQUFLLENBQUMsTUFBTSxFQUFFLG1CQUFtQixFQUFFLG9CQUFvQixFQUFFLEdBQUcsQ0FBQyxNQUFNLEVBQUUsTUFBTSxDQUFDLG1EQW9FakY7SUFFRCxPQUFPLENBQUMsd0JBQXdCO0lBMkJoQyxPQUFPLENBQUMsOEJBQThCO0lBdUR0QyxPQUFPLENBQUMsK0JBQStCO0lBdUR2QyxPQUFPLENBQUMsdUJBQXVCO0lBYS9CLE9BQU8sQ0FBQyx1QkFBdUI7SUFzRS9CLE9BQU8sQ0FBQyxtQkFBbUI7SUFjM0IsT0FBTyxDQUFDLG1CQUFtQjtJQWtCM0IsT0FBTyxDQUFDLG9CQUFvQjtDQXFCN0IifQ==
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"build_private_kernel_reset_private_inputs.d.ts","sourceRoot":"","sources":["../../../src/private_kernel/hints/build_private_kernel_reset_private_inputs.ts"],"names":[],"mappings":"AAeA,OAAO,EAKL,KAAK,gCAAgC,EAErC,sCAAsC,EAGtC,KAAK,2BAA2B,EAejC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,KAAK,0BAA0B,EAAiB,MAAM,kBAAkB,CAAC;AAGlF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AA4CvE,qBAAa,sCAAsC;IAY/C,OAAO,CAAC,oBAAoB;IAC5B,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,2BAA2B;IACnC,OAAO,CAAC,YAAY;IAdtB,OAAO,CAAC,cAAc,CAAmC;IAEzD,OAAO,CAAC,aAAa,CAAC,CAA6B;IAEnD,OAAO,CAAC,oBAAoB,CAAqE;IACjG,OAAO,CAAC,qBAAqB,CAAqE;IAClG,OAAO,CAAC,gBAAgB,CAAC,CAAS;IAClC,OAAO,CAAC,2BAA2B,CAAkE;IACrG,OAAO,CAAC,mBAAmB,CAA+B;IAE1D,YACU,oBAAoB,EAAE,2BAA2B,CAAC,gCAAgC,CAAC,EACnF,cAAc,EAAE,0BAA0B,EAAE,EAC5C,2BAA2B,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAChD,YAAY,EAAE,MAAM,EAW7B;IAED,UAAU,IAAI,OAAO,CAsBpB;IAEK,KAAK,CAAC,MAAM,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,mDAoEjF;IAED,OAAO,CAAC,wBAAwB;IA2BhC,OAAO,CAAC,8BAA8B;IAuDtC,OAAO,CAAC,+BAA+B;IAuDvC,OAAO,CAAC,uBAAuB;IAa/B,OAAO,CAAC,uBAAuB;IAsE/B,OAAO,CAAC,mBAAmB;IAc3B,OAAO,CAAC,mBAAmB;IAkB3B,OAAO,CAAC,oBAAoB;CAqB7B"}
|
|
@@ -1,4 +0,0 @@
|
|
|
1
|
-
import type { PrivateKernelCircuitPublicInputs } from '@aztec/stdlib/kernel';
|
|
2
|
-
import type { UInt64 } from '@aztec/stdlib/types';
|
|
3
|
-
export declare function computeTxIncludeByTimestamp(previousKernel: PrivateKernelCircuitPublicInputs, maxDuration?: number): UInt64;
|
|
4
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29tcHV0ZV90eF9pbmNsdWRlX2J5X3RpbWVzdGFtcC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3ByaXZhdGVfa2VybmVsL2hpbnRzL2NvbXB1dGVfdHhfaW5jbHVkZV9ieV90aW1lc3RhbXAudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxLQUFLLEVBQUUsZ0NBQWdDLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUM3RSxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQXFCbEQsd0JBQWdCLDJCQUEyQixDQUN6QyxjQUFjLEVBQUUsZ0NBQWdDLEVBQ2hELFdBQVcsU0FBb0MsR0FDOUMsTUFBTSxDQStCUiJ9
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"compute_tx_include_by_timestamp.d.ts","sourceRoot":"","sources":["../../../src/private_kernel/hints/compute_tx_include_by_timestamp.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,sBAAsB,CAAC;AAC7E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAqBlD,wBAAgB,2BAA2B,CACzC,cAAc,EAAE,gCAAgC,EAChD,WAAW,SAAoC,GAC9C,MAAM,CA+BR"}
|
|
@@ -1,46 +0,0 @@
|
|
|
1
|
-
import { NOTE_HASH_TREE_HEIGHT } from '@aztec/constants';
|
|
2
|
-
import type { Fr } from '@aztec/foundation/curves/bn254';
|
|
3
|
-
import type { GrumpkinScalar, Point } from '@aztec/foundation/curves/grumpkin';
|
|
4
|
-
import { MembershipWitness } from '@aztec/foundation/trees';
|
|
5
|
-
import type { KeyStore } from '@aztec/key-store';
|
|
6
|
-
import type { FunctionSelector } from '@aztec/stdlib/abi';
|
|
7
|
-
import type { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
8
|
-
import type { BlockParameter } from '@aztec/stdlib/block';
|
|
9
|
-
import type { AztecNode } from '@aztec/stdlib/interfaces/client';
|
|
10
|
-
import { UpdatedClassIdHints } from '@aztec/stdlib/kernel';
|
|
11
|
-
import type { NullifierMembershipWitness } from '@aztec/stdlib/trees';
|
|
12
|
-
import type { VerificationKeyAsFields } from '@aztec/stdlib/vks';
|
|
13
|
-
import type { ContractStore } from '../storage/contract_store/contract_store.js';
|
|
14
|
-
import type { PrivateKernelOracle } from './private_kernel_oracle.js';
|
|
15
|
-
/**
|
|
16
|
-
* A data oracle that provides information needed for simulating a transaction.
|
|
17
|
-
*/
|
|
18
|
-
export declare class PrivateKernelOracleImpl implements PrivateKernelOracle {
|
|
19
|
-
private contractStore;
|
|
20
|
-
private keyStore;
|
|
21
|
-
private node;
|
|
22
|
-
private blockNumber;
|
|
23
|
-
private log;
|
|
24
|
-
constructor(contractStore: ContractStore, keyStore: KeyStore, node: AztecNode, blockNumber?: BlockParameter, log?: import("@aztec/foundation/log").Logger);
|
|
25
|
-
getContractAddressPreimage(address: AztecAddress): Promise<{
|
|
26
|
-
version: 1;
|
|
27
|
-
salt: Fr;
|
|
28
|
-
deployer: AztecAddress;
|
|
29
|
-
currentContractClassId: Fr;
|
|
30
|
-
originalContractClassId: Fr;
|
|
31
|
-
initializationHash: Fr;
|
|
32
|
-
publicKeys: import("../../../stdlib/dest/keys/public_keys.js").PublicKeys;
|
|
33
|
-
address: AztecAddress;
|
|
34
|
-
saltedInitializationHash: Fr;
|
|
35
|
-
}>;
|
|
36
|
-
getContractClassIdPreimage(contractClassId: Fr): Promise<import("@aztec/stdlib/contract").ContractClassIdPreimage>;
|
|
37
|
-
getFunctionMembershipWitness(contractClassId: Fr, selector: FunctionSelector): Promise<MembershipWitness<7>>;
|
|
38
|
-
getVkMembershipWitness(vk: VerificationKeyAsFields): Promise<MembershipWitness<7>>;
|
|
39
|
-
getNoteHashMembershipWitness(leafIndex: bigint): Promise<MembershipWitness<typeof NOTE_HASH_TREE_HEIGHT>>;
|
|
40
|
-
getNullifierMembershipWitness(nullifier: Fr): Promise<NullifierMembershipWitness | undefined>;
|
|
41
|
-
getNoteHashTreeRoot(): Promise<Fr>;
|
|
42
|
-
getMasterSecretKey(masterPublicKey: Point): Promise<GrumpkinScalar>;
|
|
43
|
-
getDebugFunctionName(contractAddress: AztecAddress, selector: FunctionSelector): Promise<string>;
|
|
44
|
-
getUpdatedClassIdHints(contractAddress: AztecAddress): Promise<UpdatedClassIdHints>;
|
|
45
|
-
}
|
|
46
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9rZXJuZWxfb3JhY2xlX2ltcGwuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wcml2YXRlX2tlcm5lbC9wcml2YXRlX2tlcm5lbF9vcmFjbGVfaW1wbC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUscUJBQXFCLEVBQTJDLE1BQU0sa0JBQWtCLENBQUM7QUFDbEcsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDekQsT0FBTyxLQUFLLEVBQUUsY0FBYyxFQUFFLEtBQUssRUFBRSxNQUFNLG1DQUFtQyxDQUFDO0FBRy9FLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzVELE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBR2pELE9BQU8sS0FBSyxFQUFFLGdCQUFnQixFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFDMUQsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDaEUsT0FBTyxLQUFLLEVBQUUsY0FBYyxFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFJMUQsT0FBTyxLQUFLLEVBQUUsU0FBUyxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDakUsT0FBTyxFQUFFLG1CQUFtQixFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFDM0QsT0FBTyxLQUFLLEVBQUUsMEJBQTBCLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUN0RSxPQUFPLEtBQUssRUFBRSx1QkFBdUIsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBRWpFLE9BQU8sS0FBSyxFQUFFLGFBQWEsRUFBRSxNQUFNLDZDQUE2QyxDQUFDO0FBQ2pGLE9BQU8sS0FBSyxFQUFFLG1CQUFtQixFQUFFLE1BQU0sNEJBQTRCLENBQUM7QUFLdEU7O0dBRUc7QUFDSCxxQkFBYSx1QkFBd0IsWUFBVyxtQkFBbUI7SUFFL0QsT0FBTyxDQUFDLGFBQWE7SUFDckIsT0FBTyxDQUFDLFFBQVE7SUFDaEIsT0FBTyxDQUFDLElBQUk7SUFDWixPQUFPLENBQUMsV0FBVztJQUNuQixPQUFPLENBQUMsR0FBRztJQUxiLFlBQ1UsYUFBYSxFQUFFLGFBQWEsRUFDNUIsUUFBUSxFQUFFLFFBQVEsRUFDbEIsSUFBSSxFQUFFLFNBQVMsRUFDZixXQUFXLEdBQUUsY0FBeUIsRUFDdEMsR0FBRyx5Q0FBb0MsRUFDN0M7SUFFUywwQkFBMEIsQ0FBQyxPQUFPLEVBQUUsWUFBWTs7Ozs7Ozs7OztPQVM1RDtJQUVZLDBCQUEwQixDQUFDLGVBQWUsRUFBRSxFQUFFLHFFQU0xRDtJQUVZLDRCQUE0QixDQUFDLGVBQWUsRUFBRSxFQUFFLEVBQUUsUUFBUSxFQUFFLGdCQUFnQixpQ0FReEY7SUFFTSxzQkFBc0IsQ0FBQyxFQUFFLEVBQUUsdUJBQXVCLGlDQUd4RDtJQUVLLDRCQUE0QixDQUFDLFNBQVMsRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLGlCQUFpQixDQUFDLE9BQU8scUJBQXFCLENBQUMsQ0FBQyxDQU85RztJQUVELDZCQUE2QixDQUFDLFNBQVMsRUFBRSxFQUFFLEdBQUcsT0FBTyxDQUFDLDBCQUEwQixHQUFHLFNBQVMsQ0FBQyxDQUU1RjtJQUVLLG1CQUFtQixJQUFJLE9BQU8sQ0FBQyxFQUFFLENBQUMsQ0FNdkM7SUFFTSxrQkFBa0IsQ0FBQyxlQUFlLEVBQUUsS0FBSyxHQUFHLE9BQU8sQ0FBQyxjQUFjLENBQUMsQ0FFekU7SUFFTSxvQkFBb0IsQ0FBQyxlQUFlLEVBQUUsWUFBWSxFQUFFLFFBQVEsRUFBRSxnQkFBZ0IsR0FBRyxPQUFPLENBQUMsTUFBTSxDQUFDLENBRXRHO0lBRVksc0JBQXNCLENBQUMsZUFBZSxFQUFFLFlBQVksR0FBRyxPQUFPLENBQUMsbUJBQW1CLENBQUMsQ0E4Qi9GO0NBQ0YifQ==
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"private_kernel_oracle_impl.d.ts","sourceRoot":"","sources":["../../src/private_kernel/private_kernel_oracle_impl.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAA2C,MAAM,kBAAkB,CAAC;AAClG,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAC;AAG/E,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAGjD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAI1D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AACjE,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAEjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6CAA6C,CAAC;AACjF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAKtE;;GAEG;AACH,qBAAa,uBAAwB,YAAW,mBAAmB;IAE/D,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,IAAI;IACZ,OAAO,CAAC,WAAW;IACnB,OAAO,CAAC,GAAG;IALb,YACU,aAAa,EAAE,aAAa,EAC5B,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,SAAS,EACf,WAAW,GAAE,cAAyB,EACtC,GAAG,yCAAoC,EAC7C;IAES,0BAA0B,CAAC,OAAO,EAAE,YAAY;;;;;;;;;;OAS5D;IAEY,0BAA0B,CAAC,eAAe,EAAE,EAAE,qEAM1D;IAEY,4BAA4B,CAAC,eAAe,EAAE,EAAE,EAAE,QAAQ,EAAE,gBAAgB,iCAQxF;IAEM,sBAAsB,CAAC,EAAE,EAAE,uBAAuB,iCAGxD;IAEK,4BAA4B,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,CAAC,CAO9G;IAED,6BAA6B,CAAC,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC,CAE5F;IAEK,mBAAmB,IAAI,OAAO,CAAC,EAAE,CAAC,CAMvC;IAEM,kBAAkB,CAAC,eAAe,EAAE,KAAK,GAAG,OAAO,CAAC,cAAc,CAAC,CAEzE;IAEM,oBAAoB,CAAC,eAAe,EAAE,YAAY,EAAE,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAAC,MAAM,CAAC,CAEtG;IAEY,sBAAsB,CAAC,eAAe,EAAE,YAAY,GAAG,OAAO,CAAC,mBAAmB,CAAC,CA8B/F;CACF"}
|
|
@@ -1,86 +0,0 @@
|
|
|
1
|
-
import { PUBLIC_DATA_TREE_HEIGHT, VK_TREE_HEIGHT } from '@aztec/constants';
|
|
2
|
-
import { createLogger } from '@aztec/foundation/log';
|
|
3
|
-
import { MembershipWitness } from '@aztec/foundation/trees';
|
|
4
|
-
import { getVKIndex, getVKSiblingPath } from '@aztec/noir-protocol-circuits-types/vk-tree';
|
|
5
|
-
import { ProtocolContractAddress } from '@aztec/protocol-contracts';
|
|
6
|
-
import { computeContractClassIdPreimage, computeSaltedInitializationHash } from '@aztec/stdlib/contract';
|
|
7
|
-
import { DelayedPublicMutableValues, DelayedPublicMutableValuesWithHash } from '@aztec/stdlib/delayed-public-mutable';
|
|
8
|
-
import { computePublicDataTreeLeafSlot } from '@aztec/stdlib/hash';
|
|
9
|
-
import { UpdatedClassIdHints } from '@aztec/stdlib/kernel';
|
|
10
|
-
// TODO: Block number should not be "latest".
|
|
11
|
-
// It should be fixed at the time the proof is being simulated. I.e., it should be the same as the value defined in the constant data.
|
|
12
|
-
/**
|
|
13
|
-
* A data oracle that provides information needed for simulating a transaction.
|
|
14
|
-
*/ export class PrivateKernelOracleImpl {
|
|
15
|
-
contractStore;
|
|
16
|
-
keyStore;
|
|
17
|
-
node;
|
|
18
|
-
blockNumber;
|
|
19
|
-
log;
|
|
20
|
-
constructor(contractStore, keyStore, node, blockNumber = 'latest', log = createLogger('pxe:kernel_oracle')){
|
|
21
|
-
this.contractStore = contractStore;
|
|
22
|
-
this.keyStore = keyStore;
|
|
23
|
-
this.node = node;
|
|
24
|
-
this.blockNumber = blockNumber;
|
|
25
|
-
this.log = log;
|
|
26
|
-
}
|
|
27
|
-
async getContractAddressPreimage(address) {
|
|
28
|
-
const instance = await this.contractStore.getContractInstance(address);
|
|
29
|
-
if (!instance) {
|
|
30
|
-
throw new Error(`Contract instance not found when getting address preimage. Contract address: ${address}.`);
|
|
31
|
-
}
|
|
32
|
-
return {
|
|
33
|
-
saltedInitializationHash: await computeSaltedInitializationHash(instance),
|
|
34
|
-
...instance
|
|
35
|
-
};
|
|
36
|
-
}
|
|
37
|
-
async getContractClassIdPreimage(contractClassId) {
|
|
38
|
-
const contractClass = await this.contractStore.getContractClass(contractClassId);
|
|
39
|
-
if (!contractClass) {
|
|
40
|
-
throw new Error(`Contract class not found when getting class id preimage. Class id: ${contractClassId}.`);
|
|
41
|
-
}
|
|
42
|
-
return computeContractClassIdPreimage(contractClass);
|
|
43
|
-
}
|
|
44
|
-
async getFunctionMembershipWitness(contractClassId, selector) {
|
|
45
|
-
const membershipWitness = await this.contractStore.getFunctionMembershipWitness(contractClassId, selector);
|
|
46
|
-
if (!membershipWitness) {
|
|
47
|
-
throw new Error(`Membership witness not found for contract class id ${contractClassId} and selector ${selector}.`);
|
|
48
|
-
}
|
|
49
|
-
return membershipWitness;
|
|
50
|
-
}
|
|
51
|
-
getVkMembershipWitness(vk) {
|
|
52
|
-
const leafIndex = getVKIndex(vk);
|
|
53
|
-
return Promise.resolve(new MembershipWitness(VK_TREE_HEIGHT, BigInt(leafIndex), getVKSiblingPath(leafIndex)));
|
|
54
|
-
}
|
|
55
|
-
async getNoteHashMembershipWitness(leafIndex) {
|
|
56
|
-
const path = await this.node.getNoteHashSiblingPath(this.blockNumber, leafIndex);
|
|
57
|
-
return new MembershipWitness(path.pathSize, leafIndex, path.toFields());
|
|
58
|
-
}
|
|
59
|
-
getNullifierMembershipWitness(nullifier) {
|
|
60
|
-
return this.node.getNullifierMembershipWitness(this.blockNumber, nullifier);
|
|
61
|
-
}
|
|
62
|
-
async getNoteHashTreeRoot() {
|
|
63
|
-
const header = await this.node.getBlockHeader(this.blockNumber);
|
|
64
|
-
if (!header) {
|
|
65
|
-
throw new Error(`No block header found for block number ${this.blockNumber}`);
|
|
66
|
-
}
|
|
67
|
-
return header.state.partial.noteHashTree.root;
|
|
68
|
-
}
|
|
69
|
-
getMasterSecretKey(masterPublicKey) {
|
|
70
|
-
return this.keyStore.getMasterSecretKey(masterPublicKey);
|
|
71
|
-
}
|
|
72
|
-
getDebugFunctionName(contractAddress, selector) {
|
|
73
|
-
return this.contractStore.getDebugFunctionName(contractAddress, selector);
|
|
74
|
-
}
|
|
75
|
-
async getUpdatedClassIdHints(contractAddress) {
|
|
76
|
-
const { delayedPublicMutableSlot, delayedPublicMutableHashSlot } = await DelayedPublicMutableValuesWithHash.getContractUpdateSlots(contractAddress);
|
|
77
|
-
const hashLeafSlot = await computePublicDataTreeLeafSlot(ProtocolContractAddress.ContractInstanceRegistry, delayedPublicMutableHashSlot);
|
|
78
|
-
const updatedClassIdWitness = await this.node.getPublicDataWitness(this.blockNumber, hashLeafSlot);
|
|
79
|
-
if (!updatedClassIdWitness) {
|
|
80
|
-
throw new Error(`No public data tree witness found for ${hashLeafSlot}`);
|
|
81
|
-
}
|
|
82
|
-
const readStorage = (storageSlot)=>this.node.getPublicStorageAt(this.blockNumber, ProtocolContractAddress.ContractInstanceRegistry, storageSlot);
|
|
83
|
-
const delayedPublicMutableValues = await DelayedPublicMutableValues.readFromTree(delayedPublicMutableSlot, readStorage);
|
|
84
|
-
return new UpdatedClassIdHints(new MembershipWitness(PUBLIC_DATA_TREE_HEIGHT, updatedClassIdWitness.index, updatedClassIdWitness.siblingPath.toTuple()), updatedClassIdWitness.leafPreimage, delayedPublicMutableValues);
|
|
85
|
-
}
|
|
86
|
-
}
|