@aztec/pxe 0.0.1-commit.9b94fc1 → 0.0.1-commit.9badcec54
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 +107 -17
- package/dest/block_synchronizer/block_synchronizer.d.ts +49 -0
- package/dest/block_synchronizer/block_synchronizer.d.ts.map +1 -0
- package/dest/block_synchronizer/block_synchronizer.js +171 -0
- package/dest/block_synchronizer/index.d.ts +2 -0
- package/dest/block_synchronizer/index.d.ts.map +1 -0
- package/dest/block_synchronizer/index.js +1 -0
- package/dest/config/index.d.ts +7 -5
- package/dest/config/index.d.ts.map +1 -1
- package/dest/config/index.js +12 -2
- 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 +84 -24
- package/dest/contract_function_simulator/contract_function_simulator.d.ts.map +1 -1
- package/dest/contract_function_simulator/contract_function_simulator.js +252 -82
- package/dest/contract_function_simulator/ephemeral_array_service.d.ts +28 -0
- package/dest/contract_function_simulator/ephemeral_array_service.d.ts.map +1 -0
- package/dest/contract_function_simulator/ephemeral_array_service.js +78 -0
- package/dest/contract_function_simulator/execution_note_cache.d.ts +21 -11
- package/dest/contract_function_simulator/execution_note_cache.d.ts.map +1 -1
- package/dest/contract_function_simulator/execution_note_cache.js +49 -31
- package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts +7 -7
- package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts.map +1 -1
- package/dest/contract_function_simulator/execution_tagging_index_cache.js +19 -11
- package/dest/contract_function_simulator/hashed_values_cache.d.ts +2 -2
- package/dest/contract_function_simulator/hashed_values_cache.d.ts.map +1 -1
- package/dest/contract_function_simulator/index.d.ts +3 -2
- package/dest/contract_function_simulator/index.d.ts.map +1 -1
- package/dest/contract_function_simulator/index.js +2 -1
- package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts +7 -8
- 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 +12 -11
- package/dest/contract_function_simulator/noir-structs/log_retrieval_request.d.ts +6 -5
- package/dest/contract_function_simulator/noir-structs/log_retrieval_request.d.ts.map +1 -1
- package/dest/contract_function_simulator/noir-structs/log_retrieval_request.js +8 -7
- package/dest/contract_function_simulator/noir-structs/log_retrieval_response.d.ts +3 -3
- package/dest/contract_function_simulator/noir-structs/log_retrieval_response.d.ts.map +1 -1
- package/dest/contract_function_simulator/noir-structs/log_retrieval_response.js +3 -5
- package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts +7 -9
- 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 +10 -12
- 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 +73 -50
- package/dest/contract_function_simulator/oracle/interfaces.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/legacy_oracle_mappings.d.ts +9 -0
- package/dest/contract_function_simulator/oracle/legacy_oracle_mappings.d.ts.map +1 -0
- package/dest/contract_function_simulator/oracle/legacy_oracle_mappings.js +47 -0
- package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts +4 -2
- package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.js +1 -1
- package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts +11 -7
- package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/note_packing_utils.js +14 -10
- package/dest/contract_function_simulator/oracle/oracle.d.ts +75 -42
- package/dest/contract_function_simulator/oracle/oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/oracle.js +340 -120
- package/dest/contract_function_simulator/oracle/private_execution.d.ts +2 -27
- package/dest/contract_function_simulator/oracle/private_execution.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/private_execution.js +6 -40
- package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts +66 -82
- package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/private_execution_oracle.js +145 -119
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts +168 -58
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.js +402 -108
- package/dest/contract_function_simulator/pick_notes.d.ts +2 -2
- package/dest/contract_function_simulator/pick_notes.d.ts.map +1 -1
- package/dest/contract_function_simulator/pick_notes.js +21 -4
- package/dest/contract_function_simulator/proxied_contract_data_source.d.ts +4 -4
- package/dest/contract_function_simulator/proxied_contract_data_source.d.ts.map +1 -1
- package/dest/contract_function_simulator/proxied_contract_data_source.js +26 -5
- package/dest/contract_logging.d.ts +27 -0
- package/dest/contract_logging.d.ts.map +1 -0
- package/dest/contract_logging.js +38 -0
- package/dest/contract_sync/contract_sync_service.d.ts +44 -0
- package/dest/contract_sync/contract_sync_service.d.ts.map +1 -0
- package/dest/contract_sync/contract_sync_service.js +116 -0
- package/dest/contract_sync/helpers.d.ts +28 -0
- package/dest/contract_sync/helpers.d.ts.map +1 -0
- package/dest/contract_sync/helpers.js +60 -0
- package/dest/debug/pxe_debug_utils.d.ts +45 -0
- package/dest/debug/pxe_debug_utils.d.ts.map +1 -0
- package/dest/debug/pxe_debug_utils.js +48 -0
- package/dest/entrypoints/client/bundle/index.d.ts +3 -2
- package/dest/entrypoints/client/bundle/index.d.ts.map +1 -1
- package/dest/entrypoints/client/bundle/index.js +2 -1
- package/dest/entrypoints/client/bundle/utils.d.ts +2 -2
- package/dest/entrypoints/client/bundle/utils.d.ts.map +1 -1
- package/dest/entrypoints/client/bundle/utils.js +32 -9
- package/dest/entrypoints/client/lazy/index.d.ts +3 -2
- package/dest/entrypoints/client/lazy/index.d.ts.map +1 -1
- package/dest/entrypoints/client/lazy/index.js +2 -1
- package/dest/entrypoints/client/lazy/utils.d.ts +3 -3
- package/dest/entrypoints/client/lazy/utils.d.ts.map +1 -1
- package/dest/entrypoints/client/lazy/utils.js +33 -10
- package/dest/entrypoints/pxe_creation_options.d.ts +9 -3
- package/dest/entrypoints/pxe_creation_options.d.ts.map +1 -1
- package/dest/entrypoints/pxe_creation_options.js +3 -1
- package/dest/entrypoints/server/index.d.ts +6 -3
- package/dest/entrypoints/server/index.d.ts.map +1 -1
- package/dest/entrypoints/server/index.js +5 -2
- package/dest/entrypoints/server/utils.d.ts +2 -2
- package/dest/entrypoints/server/utils.d.ts.map +1 -1
- package/dest/entrypoints/server/utils.js +39 -16
- package/dest/error_enriching.d.ts +4 -4
- package/dest/error_enriching.d.ts.map +1 -1
- package/dest/error_enriching.js +6 -6
- package/dest/events/event_service.d.ts +16 -0
- package/dest/events/event_service.d.ts.map +1 -0
- package/dest/events/event_service.js +65 -0
- package/dest/events/index.d.ts +2 -0
- package/dest/events/index.d.ts.map +1 -0
- package/dest/events/index.js +1 -0
- package/dest/events/private_event_filter_validator.d.ts +10 -0
- package/dest/events/private_event_filter_validator.d.ts.map +1 -0
- package/dest/events/private_event_filter_validator.js +53 -0
- 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 +28 -0
- package/dest/logs/log_service.d.ts.map +1 -0
- package/dest/logs/log_service.js +108 -0
- package/dest/messages/message_context_service.d.ts +17 -0
- package/dest/messages/message_context_service.d.ts.map +1 -0
- package/dest/messages/message_context_service.js +36 -0
- package/dest/notes/index.d.ts +2 -0
- package/dest/notes/index.d.ts.map +1 -0
- package/dest/notes/index.js +1 -0
- package/dest/notes/note_service.d.ts +48 -0
- package/dest/notes/note_service.d.ts.map +1 -0
- package/dest/notes/note_service.js +157 -0
- package/dest/notes_filter.d.ts +24 -0
- package/dest/notes_filter.d.ts.map +1 -0
- package/dest/notes_filter.js +4 -0
- package/dest/oracle_version.d.ts +4 -3
- package/dest/oracle_version.d.ts.map +1 -1
- package/dest/oracle_version.js +20 -9
- 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 +27 -23
- package/dest/private_kernel/private_kernel_oracle.d.ts +27 -26
- package/dest/private_kernel/private_kernel_oracle.d.ts.map +1 -1
- package/dest/private_kernel/private_kernel_oracle.js +91 -2
- package/dest/pxe.d.ts +117 -103
- package/dest/pxe.d.ts.map +1 -1
- package/dest/pxe.js +291 -262
- package/dest/storage/address_store/address_store.d.ts +11 -0
- package/dest/storage/address_store/address_store.d.ts.map +1 -0
- package/dest/storage/{address_data_provider/address_data_provider.js → address_store/address_store.js} +13 -12
- package/dest/storage/address_store/index.d.ts +2 -0
- package/dest/storage/address_store/index.d.ts.map +1 -0
- package/dest/storage/address_store/index.js +1 -0
- package/dest/storage/anchor_block_store/anchor_block_store.d.ts +17 -0
- package/dest/storage/anchor_block_store/anchor_block_store.d.ts.map +1 -0
- package/dest/storage/anchor_block_store/anchor_block_store.js +26 -0
- package/dest/storage/{sync_data_provider → anchor_block_store}/index.d.ts +2 -2
- package/dest/storage/anchor_block_store/index.d.ts.map +1 -0
- package/dest/storage/anchor_block_store/index.js +1 -0
- package/dest/storage/capsule_store/capsule_service.d.ts +21 -0
- package/dest/storage/capsule_store/capsule_service.d.ts.map +1 -0
- package/dest/storage/capsule_store/capsule_service.js +50 -0
- package/dest/storage/capsule_store/capsule_store.d.ts +72 -0
- package/dest/storage/capsule_store/capsule_store.d.ts.map +1 -0
- package/dest/storage/capsule_store/capsule_store.js +261 -0
- package/dest/storage/capsule_store/index.d.ts +3 -0
- package/dest/storage/capsule_store/index.d.ts.map +1 -0
- package/dest/storage/capsule_store/index.js +2 -0
- package/dest/storage/contract_store/contract_store.d.ts +93 -0
- package/dest/storage/contract_store/contract_store.d.ts.map +1 -0
- package/dest/storage/contract_store/contract_store.js +311 -0
- package/dest/storage/contract_store/index.d.ts +2 -0
- package/dest/storage/contract_store/index.d.ts.map +1 -0
- package/dest/storage/contract_store/index.js +1 -0
- package/dest/storage/{contract_data_provider → contract_store}/private_functions_tree.d.ts +1 -1
- package/dest/storage/contract_store/private_functions_tree.d.ts.map +1 -0
- package/dest/storage/{contract_data_provider → contract_store}/private_functions_tree.js +1 -1
- package/dest/storage/index.d.ts +8 -8
- package/dest/storage/index.d.ts.map +1 -1
- package/dest/storage/index.js +7 -7
- package/dest/storage/metadata.d.ts +1 -1
- package/dest/storage/metadata.js +1 -1
- package/dest/storage/note_store/index.d.ts +3 -0
- package/dest/storage/note_store/index.d.ts.map +1 -0
- package/dest/storage/note_store/index.js +2 -0
- package/dest/storage/note_store/note_store.d.ts +83 -0
- package/dest/storage/note_store/note_store.d.ts.map +1 -0
- package/dest/storage/note_store/note_store.js +343 -0
- 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 +91 -0
- package/dest/storage/private_event_store/private_event_store.d.ts.map +1 -0
- package/dest/storage/private_event_store/private_event_store.js +276 -0
- 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/index.d.ts +4 -0
- package/dest/storage/tagging_store/index.d.ts.map +1 -0
- package/dest/storage/tagging_store/index.js +3 -0
- package/dest/storage/tagging_store/recipient_tagging_store.d.ts +28 -0
- package/dest/storage/tagging_store/recipient_tagging_store.d.ts.map +1 -0
- package/dest/storage/tagging_store/recipient_tagging_store.js +111 -0
- package/dest/storage/tagging_store/sender_address_book_store.d.ts +14 -0
- package/dest/storage/tagging_store/sender_address_book_store.d.ts.map +1 -0
- package/dest/storage/tagging_store/sender_address_book_store.js +36 -0
- package/dest/storage/tagging_store/sender_tagging_store.d.ts +78 -0
- package/dest/storage/tagging_store/sender_tagging_store.d.ts.map +1 -0
- package/dest/storage/tagging_store/sender_tagging_store.js +374 -0
- package/dest/tagging/constants.d.ts +2 -2
- package/dest/tagging/constants.d.ts.map +1 -1
- package/dest/tagging/constants.js +10 -2
- 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 +17 -7
- package/dest/tagging/index.d.ts.map +1 -1
- package/dest/tagging/index.js +15 -5
- package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts +14 -0
- package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts.map +1 -0
- package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.js +85 -0
- package/dest/tagging/recipient_sync/utils/find_highest_indexes.d.ts +12 -0
- package/dest/tagging/recipient_sync/utils/find_highest_indexes.d.ts.map +1 -0
- package/dest/tagging/recipient_sync/utils/find_highest_indexes.js +20 -0
- package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts +14 -0
- package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts.map +1 -0
- package/dest/tagging/recipient_sync/utils/load_logs_for_range.js +33 -0
- package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts +17 -0
- package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts.map +1 -0
- package/dest/tagging/sender_sync/sync_sender_tagging_indexes.js +80 -0
- package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts +12 -0
- package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts.map +1 -0
- package/dest/tagging/sender_sync/utils/get_status_change_of_pending.js +39 -0
- package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts +19 -0
- package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts.map +1 -0
- package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.js +72 -0
- package/package.json +28 -19
- package/src/bin/check_oracle_version.ts +133 -22
- package/src/block_synchronizer/block_synchronizer.ts +198 -0
- package/src/block_synchronizer/index.ts +1 -0
- package/src/config/index.ts +12 -4
- 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 +424 -114
- package/src/contract_function_simulator/ephemeral_array_service.ts +110 -0
- package/src/contract_function_simulator/execution_note_cache.ts +51 -28
- package/src/contract_function_simulator/execution_tagging_index_cache.ts +19 -14
- package/src/contract_function_simulator/hashed_values_cache.ts +1 -1
- package/src/contract_function_simulator/index.ts +2 -1
- package/src/contract_function_simulator/noir-structs/event_validation_request.ts +15 -11
- package/src/contract_function_simulator/noir-structs/log_retrieval_request.ts +7 -6
- package/src/contract_function_simulator/noir-structs/log_retrieval_response.ts +3 -6
- package/src/contract_function_simulator/noir-structs/note_validation_request.ts +9 -12
- package/src/contract_function_simulator/noir-structs/utility_context.ts +6 -25
- package/src/contract_function_simulator/oracle/interfaces.ts +105 -62
- package/src/contract_function_simulator/oracle/legacy_oracle_mappings.ts +104 -0
- package/src/contract_function_simulator/oracle/message_load_oracle_inputs.ts +1 -1
- package/src/contract_function_simulator/oracle/note_packing_utils.ts +27 -13
- package/src/contract_function_simulator/oracle/oracle.ts +441 -163
- package/src/contract_function_simulator/oracle/private_execution.ts +6 -72
- package/src/contract_function_simulator/oracle/private_execution_oracle.ts +201 -167
- package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +676 -113
- package/src/contract_function_simulator/pick_notes.ts +23 -4
- package/src/contract_function_simulator/proxied_contract_data_source.ts +32 -8
- package/src/contract_logging.ts +52 -0
- package/src/contract_sync/contract_sync_service.ts +176 -0
- package/src/contract_sync/helpers.ts +98 -0
- package/src/debug/pxe_debug_utils.ts +93 -0
- package/src/entrypoints/client/bundle/index.ts +2 -1
- package/src/entrypoints/client/bundle/utils.ts +24 -18
- package/src/entrypoints/client/lazy/index.ts +2 -1
- package/src/entrypoints/client/lazy/utils.ts +25 -19
- package/src/entrypoints/pxe_creation_options.ts +13 -2
- package/src/entrypoints/server/index.ts +5 -2
- package/src/entrypoints/server/utils.ts +33 -42
- package/src/error_enriching.ts +7 -15
- package/src/events/event_service.ts +96 -0
- package/src/events/index.ts +1 -0
- package/src/events/private_event_filter_validator.ts +66 -0
- package/src/job_coordinator/job_coordinator.ts +150 -0
- package/src/logs/log_service.ts +192 -0
- package/src/messages/message_context_service.ts +44 -0
- package/src/notes/index.ts +1 -0
- package/src/notes/note_service.ts +206 -0
- package/src/notes_filter.ts +24 -0
- package/src/oracle_version.ts +20 -9
- 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} +197 -139
- package/src/private_kernel/hints/test_utils.ts +325 -0
- package/src/private_kernel/private_kernel_execution_prover.ts +31 -27
- package/src/private_kernel/private_kernel_oracle.ts +118 -37
- package/src/pxe.ts +454 -354
- package/src/storage/{address_data_provider/address_data_provider.ts → address_store/address_store.ts} +16 -16
- package/src/storage/address_store/index.ts +1 -0
- package/src/storage/{sync_data_provider/sync_data_provider.ts → anchor_block_store/anchor_block_store.ts} +11 -12
- package/src/storage/anchor_block_store/index.ts +1 -0
- package/src/storage/capsule_store/capsule_service.ts +90 -0
- package/src/storage/capsule_store/capsule_store.ts +333 -0
- package/src/storage/capsule_store/index.ts +2 -0
- package/src/storage/contract_store/contract_store.ts +431 -0
- package/src/storage/contract_store/index.ts +1 -0
- package/src/storage/{contract_data_provider → contract_store}/private_functions_tree.ts +1 -1
- package/src/storage/index.ts +7 -7
- package/src/storage/metadata.ts +1 -1
- package/src/storage/note_store/index.ts +2 -0
- package/src/storage/note_store/note_store.ts +415 -0
- package/src/storage/note_store/stored_note.ts +48 -0
- package/src/storage/private_event_store/private_event_store.ts +388 -0
- package/src/storage/private_event_store/stored_private_event.ts +73 -0
- package/src/storage/tagging_store/index.ts +3 -0
- package/src/storage/tagging_store/recipient_tagging_store.ts +143 -0
- package/src/storage/tagging_store/sender_address_book_store.ts +48 -0
- package/src/storage/tagging_store/sender_tagging_store.ts +476 -0
- package/src/tagging/constants.ts +10 -2
- package/src/tagging/get_all_logs_by_tags.ts +92 -0
- package/src/tagging/index.ts +19 -6
- package/src/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.ts +130 -0
- package/src/tagging/recipient_sync/utils/find_highest_indexes.ts +34 -0
- package/src/tagging/recipient_sync/utils/load_logs_for_range.ts +44 -0
- package/src/tagging/sender_sync/sync_sender_tagging_indexes.ts +112 -0
- package/src/tagging/sender_sync/utils/get_status_change_of_pending.ts +51 -0
- package/src/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.ts +85 -0
- package/dest/contract_function_simulator/execution_data_provider.d.ts +0 -265
- package/dest/contract_function_simulator/execution_data_provider.d.ts.map +0 -1
- package/dest/contract_function_simulator/execution_data_provider.js +0 -14
- 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/contract_function_simulator/pxe_oracle_interface.d.ts +0 -122
- package/dest/contract_function_simulator/pxe_oracle_interface.d.ts.map +0 -1
- package/dest/contract_function_simulator/pxe_oracle_interface.js +0 -694
- 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 -45
- 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/storage/address_data_provider/address_data_provider.d.ts +0 -11
- package/dest/storage/address_data_provider/address_data_provider.d.ts.map +0 -1
- package/dest/storage/address_data_provider/index.d.ts +0 -2
- package/dest/storage/address_data_provider/index.d.ts.map +0 -1
- package/dest/storage/address_data_provider/index.js +0 -1
- package/dest/storage/capsule_data_provider/capsule_data_provider.d.ts +0 -25
- package/dest/storage/capsule_data_provider/capsule_data_provider.d.ts.map +0 -1
- package/dest/storage/capsule_data_provider/capsule_data_provider.js +0 -118
- package/dest/storage/capsule_data_provider/index.d.ts +0 -2
- package/dest/storage/capsule_data_provider/index.d.ts.map +0 -1
- package/dest/storage/capsule_data_provider/index.js +0 -1
- package/dest/storage/contract_data_provider/contract_data_provider.d.ts +0 -64
- package/dest/storage/contract_data_provider/contract_data_provider.d.ts.map +0 -1
- package/dest/storage/contract_data_provider/contract_data_provider.js +0 -193
- package/dest/storage/contract_data_provider/index.d.ts +0 -2
- package/dest/storage/contract_data_provider/index.d.ts.map +0 -1
- package/dest/storage/contract_data_provider/index.js +0 -1
- package/dest/storage/contract_data_provider/private_functions_tree.d.ts.map +0 -1
- package/dest/storage/note_data_provider/index.d.ts +0 -3
- package/dest/storage/note_data_provider/index.d.ts.map +0 -1
- package/dest/storage/note_data_provider/index.js +0 -2
- package/dest/storage/note_data_provider/note_data_provider.d.ts +0 -83
- package/dest/storage/note_data_provider/note_data_provider.d.ts.map +0 -1
- package/dest/storage/note_data_provider/note_data_provider.js +0 -311
- package/dest/storage/private_event_data_provider/private_event_data_provider.d.ts +0 -37
- package/dest/storage/private_event_data_provider/private_event_data_provider.d.ts.map +0 -1
- package/dest/storage/private_event_data_provider/private_event_data_provider.js +0 -105
- package/dest/storage/sync_data_provider/index.d.ts.map +0 -1
- package/dest/storage/sync_data_provider/index.js +0 -1
- package/dest/storage/sync_data_provider/sync_data_provider.d.ts +0 -10
- package/dest/storage/sync_data_provider/sync_data_provider.d.ts.map +0 -1
- package/dest/storage/sync_data_provider/sync_data_provider.js +0 -26
- package/dest/storage/tagging_data_provider/index.d.ts +0 -2
- package/dest/storage/tagging_data_provider/index.d.ts.map +0 -1
- package/dest/storage/tagging_data_provider/index.js +0 -1
- package/dest/storage/tagging_data_provider/tagging_data_provider.d.ts +0 -40
- package/dest/storage/tagging_data_provider/tagging_data_provider.d.ts.map +0 -1
- package/dest/storage/tagging_data_provider/tagging_data_provider.js +0 -89
- package/dest/synchronizer/index.d.ts +0 -2
- package/dest/synchronizer/index.d.ts.map +0 -1
- package/dest/synchronizer/index.js +0 -1
- package/dest/synchronizer/synchronizer.d.ts +0 -35
- package/dest/synchronizer/synchronizer.d.ts.map +0 -1
- package/dest/synchronizer/synchronizer.js +0 -101
- package/dest/tagging/siloed_tag.d.ts +0 -14
- package/dest/tagging/siloed_tag.d.ts.map +0 -1
- package/dest/tagging/siloed_tag.js +0 -20
- package/dest/tagging/tag.d.ts +0 -12
- package/dest/tagging/tag.d.ts.map +0 -1
- package/dest/tagging/tag.js +0 -17
- package/dest/tagging/utils.d.ts +0 -18
- package/dest/tagging/utils.d.ts.map +0 -1
- package/dest/tagging/utils.js +0 -24
- package/src/contract_function_simulator/execution_data_provider.ts +0 -333
- package/src/contract_function_simulator/proxied_node.ts +0 -33
- package/src/contract_function_simulator/pxe_oracle_interface.ts +0 -1008
- package/src/private_kernel/private_kernel_oracle_impl.ts +0 -132
- package/src/storage/address_data_provider/index.ts +0 -1
- package/src/storage/capsule_data_provider/capsule_data_provider.ts +0 -147
- package/src/storage/capsule_data_provider/index.ts +0 -1
- package/src/storage/contract_data_provider/contract_data_provider.ts +0 -277
- package/src/storage/contract_data_provider/index.ts +0 -1
- package/src/storage/note_data_provider/index.ts +0 -2
- package/src/storage/note_data_provider/note_data_provider.ts +0 -399
- package/src/storage/private_event_data_provider/private_event_data_provider.ts +0 -143
- package/src/storage/sync_data_provider/index.ts +0 -1
- package/src/storage/tagging_data_provider/index.ts +0 -1
- package/src/storage/tagging_data_provider/tagging_data_provider.ts +0 -120
- package/src/synchronizer/index.ts +0 -1
- package/src/synchronizer/synchronizer.ts +0 -120
- package/src/tagging/siloed_tag.ts +0 -22
- package/src/tagging/tag.ts +0 -16
- package/src/tagging/utils.ts +0 -31
package/dest/pxe.js
CHANGED
|
@@ -1,69 +1,90 @@
|
|
|
1
|
-
import { Fr } from '@aztec/foundation/fields';
|
|
2
1
|
import { createLogger } from '@aztec/foundation/log';
|
|
3
2
|
import { SerialQueue } from '@aztec/foundation/queue';
|
|
4
3
|
import { Timer } from '@aztec/foundation/timer';
|
|
5
4
|
import { KeyStore } from '@aztec/key-store';
|
|
6
5
|
import { L2TipsKVStore } from '@aztec/kv-store/stores';
|
|
7
6
|
import { protocolContractNames } from '@aztec/protocol-contracts';
|
|
8
|
-
import {
|
|
7
|
+
import { FunctionType, decodeFunctionSignature } from '@aztec/stdlib/abi';
|
|
9
8
|
import { computeContractAddressFromInstance, getContractClassFromArtifact } from '@aztec/stdlib/contract';
|
|
10
9
|
import { SimulationError } from '@aztec/stdlib/errors';
|
|
11
|
-
import { computeProtocolNullifier, siloNullifier } from '@aztec/stdlib/hash';
|
|
12
10
|
import { PrivateSimulationResult, TxProfileResult, TxProvingResult, TxSimulationResult } from '@aztec/stdlib/tx';
|
|
13
11
|
import { inspect } from 'util';
|
|
12
|
+
import { BlockSynchronizer } from './block_synchronizer/index.js';
|
|
13
|
+
import { BenchmarkedNodeFactory } from './contract_function_simulator/benchmarked_node.js';
|
|
14
14
|
import { ContractFunctionSimulator, generateSimulatedProvingResult } from './contract_function_simulator/contract_function_simulator.js';
|
|
15
|
-
import {
|
|
16
|
-
import {
|
|
17
|
-
import {
|
|
18
|
-
import {
|
|
15
|
+
import { ProxiedContractStoreFactory } from './contract_function_simulator/proxied_contract_data_source.js';
|
|
16
|
+
import { displayDebugLogs } from './contract_logging.js';
|
|
17
|
+
import { ContractSyncService } from './contract_sync/contract_sync_service.js';
|
|
18
|
+
import { readCurrentClassId } from './contract_sync/helpers.js';
|
|
19
|
+
import { PXEDebugUtils } from './debug/pxe_debug_utils.js';
|
|
19
20
|
import { enrichPublicSimulationError, enrichSimulationError } from './error_enriching.js';
|
|
21
|
+
import { PrivateEventFilterValidator } from './events/private_event_filter_validator.js';
|
|
22
|
+
import { JobCoordinator } from './job_coordinator/job_coordinator.js';
|
|
23
|
+
import { MessageContextService } from './messages/message_context_service.js';
|
|
20
24
|
import { PrivateKernelExecutionProver } from './private_kernel/private_kernel_execution_prover.js';
|
|
21
|
-
import {
|
|
22
|
-
import {
|
|
23
|
-
import {
|
|
24
|
-
import {
|
|
25
|
-
import {
|
|
26
|
-
import {
|
|
27
|
-
import {
|
|
28
|
-
import {
|
|
29
|
-
import {
|
|
25
|
+
import { PrivateKernelOracle } from './private_kernel/private_kernel_oracle.js';
|
|
26
|
+
import { AddressStore } from './storage/address_store/address_store.js';
|
|
27
|
+
import { AnchorBlockStore } from './storage/anchor_block_store/anchor_block_store.js';
|
|
28
|
+
import { CapsuleStore } from './storage/capsule_store/capsule_store.js';
|
|
29
|
+
import { ContractStore } from './storage/contract_store/contract_store.js';
|
|
30
|
+
import { NoteStore } from './storage/note_store/note_store.js';
|
|
31
|
+
import { PrivateEventStore } from './storage/private_event_store/private_event_store.js';
|
|
32
|
+
import { RecipientTaggingStore } from './storage/tagging_store/recipient_tagging_store.js';
|
|
33
|
+
import { SenderAddressBookStore } from './storage/tagging_store/sender_address_book_store.js';
|
|
34
|
+
import { SenderTaggingStore } from './storage/tagging_store/sender_tagging_store.js';
|
|
30
35
|
/**
|
|
31
36
|
* Private eXecution Environment (PXE) is a library used by wallets to simulate private phase of transactions and to
|
|
32
37
|
* manage private state of users.
|
|
33
38
|
*/ export class PXE {
|
|
34
39
|
node;
|
|
35
|
-
|
|
40
|
+
db;
|
|
41
|
+
blockStateSynchronizer;
|
|
36
42
|
keyStore;
|
|
37
|
-
|
|
38
|
-
|
|
39
|
-
|
|
40
|
-
|
|
41
|
-
|
|
42
|
-
|
|
43
|
-
|
|
43
|
+
contractStore;
|
|
44
|
+
noteStore;
|
|
45
|
+
capsuleStore;
|
|
46
|
+
anchorBlockStore;
|
|
47
|
+
senderTaggingStore;
|
|
48
|
+
senderAddressBookStore;
|
|
49
|
+
recipientTaggingStore;
|
|
50
|
+
addressStore;
|
|
51
|
+
privateEventStore;
|
|
52
|
+
contractSyncService;
|
|
53
|
+
messageContextService;
|
|
54
|
+
l2TipsStore;
|
|
44
55
|
simulator;
|
|
45
56
|
proverEnabled;
|
|
46
57
|
proofCreator;
|
|
47
58
|
protocolContractsProvider;
|
|
48
59
|
log;
|
|
49
60
|
jobQueue;
|
|
50
|
-
|
|
61
|
+
jobCoordinator;
|
|
62
|
+
debug;
|
|
63
|
+
constructor(node, db, blockStateSynchronizer, keyStore, contractStore, noteStore, capsuleStore, anchorBlockStore, senderTaggingStore, senderAddressBookStore, recipientTaggingStore, addressStore, privateEventStore, contractSyncService, messageContextService, l2TipsStore, simulator, proverEnabled, proofCreator, protocolContractsProvider, log, jobQueue, jobCoordinator, debug){
|
|
51
64
|
this.node = node;
|
|
52
|
-
this.
|
|
65
|
+
this.db = db;
|
|
66
|
+
this.blockStateSynchronizer = blockStateSynchronizer;
|
|
53
67
|
this.keyStore = keyStore;
|
|
54
|
-
this.
|
|
55
|
-
this.
|
|
56
|
-
this.
|
|
57
|
-
this.
|
|
58
|
-
this.
|
|
59
|
-
this.
|
|
60
|
-
this.
|
|
68
|
+
this.contractStore = contractStore;
|
|
69
|
+
this.noteStore = noteStore;
|
|
70
|
+
this.capsuleStore = capsuleStore;
|
|
71
|
+
this.anchorBlockStore = anchorBlockStore;
|
|
72
|
+
this.senderTaggingStore = senderTaggingStore;
|
|
73
|
+
this.senderAddressBookStore = senderAddressBookStore;
|
|
74
|
+
this.recipientTaggingStore = recipientTaggingStore;
|
|
75
|
+
this.addressStore = addressStore;
|
|
76
|
+
this.privateEventStore = privateEventStore;
|
|
77
|
+
this.contractSyncService = contractSyncService;
|
|
78
|
+
this.messageContextService = messageContextService;
|
|
79
|
+
this.l2TipsStore = l2TipsStore;
|
|
61
80
|
this.simulator = simulator;
|
|
62
81
|
this.proverEnabled = proverEnabled;
|
|
63
82
|
this.proofCreator = proofCreator;
|
|
64
83
|
this.protocolContractsProvider = protocolContractsProvider;
|
|
65
84
|
this.log = log;
|
|
66
85
|
this.jobQueue = jobQueue;
|
|
86
|
+
this.jobCoordinator = jobCoordinator;
|
|
87
|
+
this.debug = debug;
|
|
67
88
|
}
|
|
68
89
|
/**
|
|
69
90
|
* Creates an instance of a PXE by instantiating all the necessary data providers and services.
|
|
@@ -71,31 +92,63 @@ import { Synchronizer } from './synchronizer/index.js';
|
|
|
71
92
|
* can be contacted.
|
|
72
93
|
*
|
|
73
94
|
* @returns A promise that resolves PXE is ready to be used.
|
|
74
|
-
*/ static async create(node, store, proofCreator, simulator, protocolContractsProvider, config, loggerOrSuffix) {
|
|
95
|
+
*/ static async create({ node, store, proofCreator, simulator, protocolContractsProvider, config, loggerOrSuffix }) {
|
|
96
|
+
// Extract bindings from the logger, or use empty bindings if a string suffix is provided.
|
|
97
|
+
const bindings = loggerOrSuffix && typeof loggerOrSuffix !== 'string' ? loggerOrSuffix.getBindings() : undefined;
|
|
75
98
|
const log = !loggerOrSuffix || typeof loggerOrSuffix === 'string' ? createLogger(loggerOrSuffix ? `pxe:service:${loggerOrSuffix}` : `pxe:service`) : loggerOrSuffix;
|
|
76
|
-
const
|
|
77
|
-
const
|
|
78
|
-
const
|
|
79
|
-
const
|
|
80
|
-
const
|
|
81
|
-
const
|
|
82
|
-
const
|
|
83
|
-
const
|
|
99
|
+
const info = await node.getNodeInfo();
|
|
100
|
+
const proverEnabled = config.proverEnabled !== undefined ? config.proverEnabled : info.realProofs;
|
|
101
|
+
const addressStore = new AddressStore(store);
|
|
102
|
+
const privateEventStore = new PrivateEventStore(store);
|
|
103
|
+
const contractStore = new ContractStore(store);
|
|
104
|
+
const noteStore = new NoteStore(store);
|
|
105
|
+
const anchorBlockStore = new AnchorBlockStore(store);
|
|
106
|
+
const senderTaggingStore = new SenderTaggingStore(store);
|
|
107
|
+
const senderAddressBookStore = new SenderAddressBookStore(store);
|
|
108
|
+
const recipientTaggingStore = new RecipientTaggingStore(store);
|
|
109
|
+
const capsuleStore = new CapsuleStore(store);
|
|
84
110
|
const keyStore = new KeyStore(store);
|
|
85
111
|
const tipsStore = new L2TipsKVStore(store, 'pxe');
|
|
86
|
-
const
|
|
112
|
+
const contractSyncService = new ContractSyncService(node, contractStore, noteStore, createLogger('pxe:contract_sync', bindings));
|
|
113
|
+
const messageContextService = new MessageContextService(node);
|
|
114
|
+
const synchronizer = new BlockSynchronizer(node, store, anchorBlockStore, noteStore, privateEventStore, tipsStore, contractSyncService, config, bindings);
|
|
115
|
+
const jobCoordinator = new JobCoordinator(store, bindings);
|
|
116
|
+
jobCoordinator.registerStores([
|
|
117
|
+
capsuleStore,
|
|
118
|
+
senderTaggingStore,
|
|
119
|
+
recipientTaggingStore,
|
|
120
|
+
privateEventStore,
|
|
121
|
+
noteStore,
|
|
122
|
+
contractSyncService
|
|
123
|
+
]);
|
|
124
|
+
const debugUtils = new PXEDebugUtils(contractSyncService, noteStore, synchronizer, anchorBlockStore);
|
|
87
125
|
const jobQueue = new SerialQueue();
|
|
88
|
-
const pxe = new PXE(node, synchronizer, keyStore,
|
|
126
|
+
const pxe = new PXE(node, store, synchronizer, keyStore, contractStore, noteStore, capsuleStore, anchorBlockStore, senderTaggingStore, senderAddressBookStore, recipientTaggingStore, addressStore, privateEventStore, contractSyncService, messageContextService, tipsStore, simulator, proverEnabled, proofCreator, protocolContractsProvider, log, jobQueue, jobCoordinator, debugUtils);
|
|
127
|
+
debugUtils.setPXEHelpers(pxe.#putInJobQueue.bind(pxe), pxe.#getSimulatorForTx.bind(pxe), pxe.#executeUtility.bind(pxe));
|
|
89
128
|
pxe.jobQueue.start();
|
|
90
129
|
await pxe.#registerProtocolContracts();
|
|
91
|
-
const info = await node.getNodeInfo();
|
|
92
130
|
log.info(`Started PXE connected to chain ${info.l1ChainId} version ${info.rollupVersion}`);
|
|
93
131
|
return pxe;
|
|
94
132
|
}
|
|
95
133
|
// Internal methods
|
|
96
134
|
#getSimulatorForTx(overrides) {
|
|
97
|
-
const
|
|
98
|
-
return new ContractFunctionSimulator(
|
|
135
|
+
const proxyContractStore = ProxiedContractStoreFactory.create(this.contractStore, overrides?.contracts);
|
|
136
|
+
return new ContractFunctionSimulator({
|
|
137
|
+
contractStore: proxyContractStore,
|
|
138
|
+
noteStore: this.noteStore,
|
|
139
|
+
keyStore: this.keyStore,
|
|
140
|
+
addressStore: this.addressStore,
|
|
141
|
+
aztecNode: BenchmarkedNodeFactory.create(this.node),
|
|
142
|
+
l2TipsStore: this.l2TipsStore,
|
|
143
|
+
senderTaggingStore: this.senderTaggingStore,
|
|
144
|
+
recipientTaggingStore: this.recipientTaggingStore,
|
|
145
|
+
senderAddressBookStore: this.senderAddressBookStore,
|
|
146
|
+
capsuleStore: this.capsuleStore,
|
|
147
|
+
privateEventStore: this.privateEventStore,
|
|
148
|
+
simulator: this.simulator,
|
|
149
|
+
contractSyncService: this.contractSyncService,
|
|
150
|
+
messageContextService: this.messageContextService
|
|
151
|
+
});
|
|
99
152
|
}
|
|
100
153
|
#contextualizeError(err, ...context) {
|
|
101
154
|
let contextStr = '';
|
|
@@ -120,79 +173,74 @@ import { Synchronizer } from './synchronizer/index.js';
|
|
|
120
173
|
if (this.jobQueue.length() != 0) {
|
|
121
174
|
this.log.warn(`PXE is already processing ${this.jobQueue.length()} jobs, concurrent execution is not supported. Will run once those are complete.`);
|
|
122
175
|
}
|
|
123
|
-
return this.jobQueue.put(
|
|
176
|
+
return this.jobQueue.put(async ()=>{
|
|
177
|
+
const jobId = this.jobCoordinator.beginJob();
|
|
178
|
+
this.log.verbose(`Beginning job ${jobId}`);
|
|
179
|
+
try {
|
|
180
|
+
const result = await fn(jobId);
|
|
181
|
+
this.log.verbose(`Committing job ${jobId}`);
|
|
182
|
+
await this.jobCoordinator.commitJob(jobId);
|
|
183
|
+
return result;
|
|
184
|
+
} catch (err) {
|
|
185
|
+
this.log.verbose(`Aborting job ${jobId}`);
|
|
186
|
+
await this.jobCoordinator.abortJob(jobId);
|
|
187
|
+
throw err;
|
|
188
|
+
}
|
|
189
|
+
});
|
|
124
190
|
}
|
|
125
191
|
async #registerProtocolContracts() {
|
|
126
192
|
const registered = {};
|
|
127
193
|
for (const name of protocolContractNames){
|
|
128
|
-
const { address,
|
|
129
|
-
await this.
|
|
130
|
-
await this.
|
|
194
|
+
const { address, instance, artifact } = await this.protocolContractsProvider.getProtocolContractArtifact(name);
|
|
195
|
+
await this.contractStore.addContractArtifact(artifact);
|
|
196
|
+
await this.contractStore.addContractInstance(instance);
|
|
131
197
|
registered[name] = address.toString();
|
|
132
198
|
}
|
|
133
199
|
this.log.verbose(`Registered protocol contracts in pxe`, registered);
|
|
134
200
|
}
|
|
135
|
-
async #isContractClassPubliclyRegistered(id) {
|
|
136
|
-
return !!await this.node.getContractClass(id);
|
|
137
|
-
}
|
|
138
|
-
async #isContractPublished(address) {
|
|
139
|
-
return !!await this.node.getContract(address);
|
|
140
|
-
}
|
|
141
|
-
async #isContractInitialized(address) {
|
|
142
|
-
const initNullifier = await siloNullifier(address, address.toField());
|
|
143
|
-
return !!await this.node.getNullifierMembershipWitness('latest', initNullifier);
|
|
144
|
-
}
|
|
145
|
-
async #getFunctionCall(functionName, args, to) {
|
|
146
|
-
const contract = await this.contractDataProvider.getContract(to);
|
|
147
|
-
if (!contract) {
|
|
148
|
-
throw new Error(`Unknown contract ${to}: add it to PXE by calling server.addContracts(...).\nSee docs for context: https://docs.aztec.network/developers/resources/debugging/aztecnr-errors#unknown-contract-0x0-add-it-to-pxe-by-calling-serveraddcontracts`);
|
|
149
|
-
}
|
|
150
|
-
const functionDao = contract.functions.find((f)=>f.name === functionName);
|
|
151
|
-
if (!functionDao) {
|
|
152
|
-
throw new Error(`Unknown function ${functionName} in contract ${contract.name}.`);
|
|
153
|
-
}
|
|
154
|
-
return {
|
|
155
|
-
name: functionDao.name,
|
|
156
|
-
args: encodeArguments(functionDao, args),
|
|
157
|
-
selector: await FunctionSelector.fromNameAndParameters(functionDao.name, functionDao.parameters),
|
|
158
|
-
type: functionDao.functionType,
|
|
159
|
-
to,
|
|
160
|
-
hideMsgSender: false,
|
|
161
|
-
isStatic: functionDao.isStatic,
|
|
162
|
-
returnTypes: functionDao.returnTypes
|
|
163
|
-
};
|
|
164
|
-
}
|
|
165
201
|
// Executes the entrypoint private function, as well as all nested private
|
|
166
202
|
// functions that might arise.
|
|
167
|
-
async #executePrivate(contractFunctionSimulator, txRequest, scopes) {
|
|
203
|
+
async #executePrivate(contractFunctionSimulator, txRequest, scopes, jobId) {
|
|
168
204
|
const { origin: contractAddress, functionSelector } = txRequest;
|
|
169
205
|
try {
|
|
170
|
-
const
|
|
171
|
-
|
|
172
|
-
|
|
206
|
+
const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
|
|
207
|
+
await this.contractSyncService.ensureContractSynced(contractAddress, functionSelector, (privateSyncCall, execScopes)=>this.#executeUtility(contractFunctionSimulator, privateSyncCall, [], execScopes, jobId), anchorBlockHeader, jobId, scopes);
|
|
208
|
+
const result = await contractFunctionSimulator.run(txRequest, {
|
|
209
|
+
contractAddress,
|
|
210
|
+
selector: functionSelector,
|
|
211
|
+
anchorBlockHeader,
|
|
212
|
+
scopes,
|
|
213
|
+
jobId
|
|
214
|
+
});
|
|
173
215
|
this.log.debug(`Private simulation completed for ${contractAddress.toString()}:${functionSelector}`);
|
|
174
216
|
return result;
|
|
175
217
|
} catch (err) {
|
|
176
218
|
if (err instanceof SimulationError) {
|
|
177
|
-
await enrichSimulationError(err, this.
|
|
219
|
+
await enrichSimulationError(err, this.contractStore, this.log);
|
|
178
220
|
}
|
|
179
221
|
throw err;
|
|
180
222
|
}
|
|
181
223
|
}
|
|
182
224
|
/**
|
|
183
|
-
*
|
|
225
|
+
* Execute a utility function call on the given contract.
|
|
184
226
|
* @param contractFunctionSimulator - The simulator to use for the function call.
|
|
185
227
|
* @param call - The function call to execute.
|
|
186
228
|
* @param authWitnesses - Authentication witnesses required for the function call.
|
|
187
229
|
* @param scopes - Optional array of account addresses whose notes can be accessed in this call. Defaults to all
|
|
188
230
|
* accounts if not specified.
|
|
189
|
-
* @
|
|
190
|
-
|
|
231
|
+
* @param jobId - The job ID for staged writes.
|
|
232
|
+
* @returns The execution result containing the outputs of the utility function.
|
|
233
|
+
*/ async #executeUtility(contractFunctionSimulator, call, authWitnesses, scopes, jobId) {
|
|
191
234
|
try {
|
|
192
|
-
|
|
235
|
+
const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
|
|
236
|
+
const { result, offchainEffects } = await contractFunctionSimulator.runUtility(call, authWitnesses ?? [], anchorBlockHeader, scopes, jobId);
|
|
237
|
+
return {
|
|
238
|
+
result,
|
|
239
|
+
offchainEffects
|
|
240
|
+
};
|
|
193
241
|
} catch (err) {
|
|
194
242
|
if (err instanceof SimulationError) {
|
|
195
|
-
await enrichSimulationError(err, this.
|
|
243
|
+
await enrichSimulationError(err, this.contractStore, this.log);
|
|
196
244
|
}
|
|
197
245
|
throw err;
|
|
198
246
|
}
|
|
@@ -214,7 +262,7 @@ import { Synchronizer } from './synchronizer/index.js';
|
|
|
214
262
|
} catch (err) {
|
|
215
263
|
if (err instanceof SimulationError) {
|
|
216
264
|
try {
|
|
217
|
-
await enrichPublicSimulationError(err, this.
|
|
265
|
+
await enrichPublicSimulationError(err, this.contractStore, this.log);
|
|
218
266
|
} catch (enrichErr) {
|
|
219
267
|
this.log.error(`Failed to enrich public simulation error: ${enrichErr}`);
|
|
220
268
|
}
|
|
@@ -233,62 +281,34 @@ import { Synchronizer } from './synchronizer/index.js';
|
|
|
233
281
|
* @param config - The configuration for the kernel execution prover.
|
|
234
282
|
* @returns An object that contains the output of the kernel execution, including the ChonkProof if proving is enabled.
|
|
235
283
|
*/ async #prove(txExecutionRequest, proofCreator, privateExecutionResult, config) {
|
|
236
|
-
const
|
|
237
|
-
const kernelOracle = new
|
|
238
|
-
const kernelTraceProver = new PrivateKernelExecutionProver(kernelOracle, proofCreator, !this.proverEnabled);
|
|
284
|
+
const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
|
|
285
|
+
const kernelOracle = new PrivateKernelOracle(this.contractStore, this.keyStore, this.node, anchorBlockHeader);
|
|
286
|
+
const kernelTraceProver = new PrivateKernelExecutionProver(kernelOracle, proofCreator, !this.proverEnabled, this.log.getBindings());
|
|
239
287
|
this.log.debug(`Executing kernel trace prover (${JSON.stringify(config)})...`);
|
|
240
288
|
return await kernelTraceProver.proveWithKernels(txExecutionRequest.toTxRequest(), privateExecutionResult, config);
|
|
241
289
|
}
|
|
242
290
|
// Public API
|
|
243
|
-
|
|
244
|
-
|
|
291
|
+
/**
|
|
292
|
+
* Returns the block header up to which the PXE has synced.
|
|
293
|
+
* @returns The synced block header
|
|
294
|
+
*/ getSyncedBlockHeader() {
|
|
295
|
+
return this.#putInJobQueue(()=>{
|
|
296
|
+
return this.anchorBlockStore.getBlockHeader();
|
|
297
|
+
});
|
|
245
298
|
}
|
|
246
299
|
/**
|
|
247
|
-
* Returns the contract
|
|
248
|
-
*
|
|
249
|
-
* @
|
|
250
|
-
|
|
251
|
-
|
|
252
|
-
* @returns - It returns the contract class metadata, with the artifact field being optional, and will only be returned if true is passed in
|
|
253
|
-
* for `includeArtifact`
|
|
254
|
-
* TODO(@spalladino): The PXE actually holds artifacts and not classes, what should we return? Also,
|
|
255
|
-
* should the pxe query the node for contract public info, and merge it with its own definitions?
|
|
256
|
-
* TODO(@spalladino): This method is strictly needed to decide whether to publicly register a class or not
|
|
257
|
-
* during a public deployment. We probably want a nicer and more general API for this, but it'll have to
|
|
258
|
-
* do for the time being.
|
|
259
|
-
*/ async getContractClassMetadata(id, includeArtifact = false) {
|
|
260
|
-
const artifact = await this.contractDataProvider.getContractArtifact(id);
|
|
261
|
-
if (!artifact) {
|
|
262
|
-
this.log.warn(`No artifact found for contract class ${id.toString()} when looking for its metadata`);
|
|
263
|
-
}
|
|
264
|
-
return {
|
|
265
|
-
contractClass: artifact && await getContractClassFromArtifact(artifact),
|
|
266
|
-
isContractClassPubliclyRegistered: await this.#isContractClassPubliclyRegistered(id),
|
|
267
|
-
artifact: includeArtifact ? artifact : undefined
|
|
268
|
-
};
|
|
300
|
+
* Returns the contract instance for a given address, if it's registered in the PXE.
|
|
301
|
+
* @param address - The contract address.
|
|
302
|
+
* @returns The contract instance if found, undefined otherwise.
|
|
303
|
+
*/ getContractInstance(address) {
|
|
304
|
+
return this.contractStore.getContractInstance(address);
|
|
269
305
|
}
|
|
270
306
|
/**
|
|
271
|
-
* Returns the contract
|
|
272
|
-
*
|
|
273
|
-
*
|
|
274
|
-
|
|
275
|
-
|
|
276
|
-
* This query is not dependent on the PXE.
|
|
277
|
-
* @param address - The address that the contract instance resides at.
|
|
278
|
-
* @returns - It returns the contract metadata
|
|
279
|
-
* TODO(@spalladino): Should we return the public keys in plain as well here?
|
|
280
|
-
*/ async getContractMetadata(address) {
|
|
281
|
-
let instance;
|
|
282
|
-
try {
|
|
283
|
-
instance = await this.contractDataProvider.getContractInstance(address);
|
|
284
|
-
} catch {
|
|
285
|
-
this.log.warn(`No instance found for contract ${address.toString()} when looking for its metadata`);
|
|
286
|
-
}
|
|
287
|
-
return {
|
|
288
|
-
contractInstance: instance,
|
|
289
|
-
isContractInitialized: await this.#isContractInitialized(address),
|
|
290
|
-
isContractPublished: await this.#isContractPublished(address)
|
|
291
|
-
};
|
|
307
|
+
* Returns the contract artifact for a given contract class id, if it's registered in the PXE.
|
|
308
|
+
* @param id - Identifier of the contract class.
|
|
309
|
+
* @returns The contract artifact if found, undefined otherwise.
|
|
310
|
+
*/ async getContractArtifact(id) {
|
|
311
|
+
return await this.contractStore.getContractArtifact(id);
|
|
292
312
|
}
|
|
293
313
|
/**
|
|
294
314
|
* Registers a user account in PXE given its master encryption private key.
|
|
@@ -309,46 +329,53 @@ import { Synchronizer } from './synchronizer/index.js';
|
|
|
309
329
|
this.log.info(`Registered account ${accountCompleteAddress.address.toString()}`);
|
|
310
330
|
this.log.debug(`Registered account\n ${accountCompleteAddress.toReadableString()}`);
|
|
311
331
|
}
|
|
312
|
-
await this.
|
|
313
|
-
await this.noteDataProvider.addScope(accountCompleteAddress.address);
|
|
332
|
+
await this.addressStore.addCompleteAddress(accountCompleteAddress);
|
|
314
333
|
return accountCompleteAddress;
|
|
315
334
|
}
|
|
316
335
|
/**
|
|
317
|
-
* Registers a
|
|
336
|
+
* Registers a sender in this PXE.
|
|
318
337
|
*
|
|
319
|
-
*
|
|
320
|
-
* Will do nothing if the
|
|
338
|
+
* After registering a new sender, the PXE will sync private logs that are tagged with this sender's address.
|
|
339
|
+
* Will do nothing if the address is already registered.
|
|
321
340
|
*
|
|
322
|
-
* @param
|
|
323
|
-
* @returns The address
|
|
324
|
-
|
|
341
|
+
* @param sender - Address of the sender to register.
|
|
342
|
+
* @returns The address of the sender.
|
|
343
|
+
* TODO: It's strange that we return the address here and I (benesjan) think we should drop the return value.
|
|
344
|
+
*/ async registerSender(sender) {
|
|
345
|
+
if (!await sender.isValid()) {
|
|
346
|
+
throw new Error(`Address ${sender} is not valid: it does not correspond to a point on the Grumpkin curve. Cannot register it as a sender.`);
|
|
347
|
+
}
|
|
325
348
|
const accounts = await this.keyStore.getAccounts();
|
|
326
|
-
if (accounts.includes(
|
|
327
|
-
this.log.info(`Sender:\n "${
|
|
328
|
-
return
|
|
349
|
+
if (accounts.includes(sender)) {
|
|
350
|
+
this.log.info(`Sender:\n "${sender.toString()}"\n already registered.`);
|
|
351
|
+
return sender;
|
|
329
352
|
}
|
|
330
|
-
const wasAdded = await this.
|
|
353
|
+
const wasAdded = await this.senderAddressBookStore.addSender(sender);
|
|
331
354
|
if (wasAdded) {
|
|
332
|
-
this.log.info(`Added sender:\n ${
|
|
355
|
+
this.log.info(`Added sender:\n ${sender.toString()}`);
|
|
356
|
+
// Wipe the entire sync cache: the new sender's tagged logs could contain notes/events for any contract, so
|
|
357
|
+
// all contracts must re-sync to discover them. Queued to avoid wiping while a job is in flight.
|
|
358
|
+
await this.#putInJobQueue(()=>Promise.resolve(this.contractSyncService.wipe()));
|
|
333
359
|
} else {
|
|
334
|
-
this.log.info(`Sender:\n "${
|
|
360
|
+
this.log.info(`Sender:\n "${sender.toString()}"\n already registered.`);
|
|
335
361
|
}
|
|
336
|
-
return
|
|
362
|
+
return sender;
|
|
337
363
|
}
|
|
338
364
|
/**
|
|
339
|
-
* Retrieves
|
|
340
|
-
* @returns
|
|
365
|
+
* Retrieves senders registered in this PXE.
|
|
366
|
+
* @returns Senders registered in this PXE.
|
|
341
367
|
*/ getSenders() {
|
|
342
|
-
return this.
|
|
368
|
+
return this.senderAddressBookStore.getSenders();
|
|
343
369
|
}
|
|
344
370
|
/**
|
|
345
|
-
* Removes a sender in
|
|
346
|
-
|
|
347
|
-
|
|
371
|
+
* Removes a sender registered in this PXE.
|
|
372
|
+
* @param sender - The address of the sender to remove.
|
|
373
|
+
*/ async removeSender(sender) {
|
|
374
|
+
const wasRemoved = await this.senderAddressBookStore.removeSender(sender);
|
|
348
375
|
if (wasRemoved) {
|
|
349
|
-
this.log.info(`Removed sender:\n ${
|
|
376
|
+
this.log.info(`Removed sender:\n ${sender.toString()}`);
|
|
350
377
|
} else {
|
|
351
|
-
this.log.info(`Sender:\n "${
|
|
378
|
+
this.log.info(`Sender:\n "${sender.toString()}"\n not registered in PXE.`);
|
|
352
379
|
}
|
|
353
380
|
}
|
|
354
381
|
/**
|
|
@@ -356,7 +383,7 @@ import { Synchronizer } from './synchronizer/index.js';
|
|
|
356
383
|
* @returns An array of the accounts registered on this PXE.
|
|
357
384
|
*/ async getRegisteredAccounts() {
|
|
358
385
|
// Get complete addresses of both the recipients and the accounts
|
|
359
|
-
const completeAddresses = await this.
|
|
386
|
+
const completeAddresses = await this.addressStore.getCompleteAddresses();
|
|
360
387
|
// Filter out the addresses not corresponding to accounts
|
|
361
388
|
const accounts = await this.keyStore.getAccounts();
|
|
362
389
|
return completeAddresses.filter((completeAddress)=>accounts.find((address)=>address.equals(completeAddress.address)));
|
|
@@ -366,8 +393,7 @@ import { Synchronizer } from './synchronizer/index.js';
|
|
|
366
393
|
*
|
|
367
394
|
* @param artifact - The build artifact for the contract class.
|
|
368
395
|
*/ async registerContractClass(artifact) {
|
|
369
|
-
const
|
|
370
|
-
await this.contractDataProvider.addContractArtifact(contractClassId, artifact);
|
|
396
|
+
const contractClassId = await this.contractStore.addContractArtifact(artifact);
|
|
371
397
|
this.log.info(`Added contract class ${artifact.name} with id ${contractClassId}`);
|
|
372
398
|
}
|
|
373
399
|
/**
|
|
@@ -383,25 +409,24 @@ import { Synchronizer } from './synchronizer/index.js';
|
|
|
383
409
|
if (artifact) {
|
|
384
410
|
// If the user provides an artifact, validate it against the expected class id and register it
|
|
385
411
|
const contractClass = await getContractClassFromArtifact(artifact);
|
|
386
|
-
|
|
387
|
-
|
|
388
|
-
throw new Error(`Artifact does not match expected class id (computed ${contractClassId} but instance refers to ${instance.currentContractClassId})`);
|
|
412
|
+
if (!contractClass.id.equals(instance.currentContractClassId)) {
|
|
413
|
+
throw new Error(`Artifact does not match expected class id (computed ${contractClass.id} but instance refers to ${instance.currentContractClassId})`);
|
|
389
414
|
}
|
|
390
415
|
const computedAddress = await computeContractAddressFromInstance(instance);
|
|
391
416
|
if (!computedAddress.equals(instance.address)) {
|
|
392
417
|
throw new Error('Added a contract in which the address does not match the contract instance.');
|
|
393
418
|
}
|
|
394
|
-
await this.
|
|
419
|
+
await this.contractStore.addContractArtifact(artifact, contractClass);
|
|
395
420
|
const publicFunctionSignatures = artifact.functions.filter((fn)=>fn.functionType === FunctionType.PUBLIC).map((fn)=>decodeFunctionSignature(fn.name, fn.parameters));
|
|
396
421
|
await this.node.registerContractFunctionSignatures(publicFunctionSignatures);
|
|
397
422
|
} else {
|
|
398
423
|
// Otherwise, make sure there is an artifact already registered for that class id
|
|
399
|
-
artifact = await this.
|
|
424
|
+
artifact = await this.contractStore.getContractArtifact(instance.currentContractClassId);
|
|
400
425
|
if (!artifact) {
|
|
401
426
|
throw new Error(`Artifact not found when registering an instance. Contract class: ${instance.currentContractClassId}.`);
|
|
402
427
|
}
|
|
403
428
|
}
|
|
404
|
-
await this.
|
|
429
|
+
await this.contractStore.addContractInstance(instance);
|
|
405
430
|
this.log.info(`Added contract ${artifact.name} at ${instance.address.toString()} with class ${instance.currentContractClassId}`);
|
|
406
431
|
}
|
|
407
432
|
/**
|
|
@@ -416,22 +441,24 @@ import { Synchronizer } from './synchronizer/index.js';
|
|
|
416
441
|
// We disable concurrently updating contracts to avoid concurrently syncing with the node, or changing a contract's
|
|
417
442
|
// class while we're simulating it.
|
|
418
443
|
return this.#putInJobQueue(async ()=>{
|
|
419
|
-
const currentInstance = await this.
|
|
444
|
+
const currentInstance = await this.contractStore.getContractInstance(contractAddress);
|
|
420
445
|
if (!currentInstance) {
|
|
421
446
|
throw new Error(`Instance not found when updating a contract. Contract address: ${contractAddress}.`);
|
|
422
447
|
}
|
|
423
448
|
const contractClass = await getContractClassFromArtifact(artifact);
|
|
424
|
-
await this.
|
|
425
|
-
const header = await this.
|
|
426
|
-
const currentClassId = await readCurrentClassId(contractAddress, currentInstance, this.node, header
|
|
449
|
+
await this.blockStateSynchronizer.sync();
|
|
450
|
+
const header = await this.anchorBlockStore.getBlockHeader();
|
|
451
|
+
const currentClassId = await readCurrentClassId(contractAddress, currentInstance, this.node, header);
|
|
427
452
|
if (!contractClass.id.equals(currentClassId)) {
|
|
428
453
|
throw new Error('Could not update contract to a class different from the current one.');
|
|
429
454
|
}
|
|
430
|
-
await this.contractDataProvider.addContractArtifact(contractClass.id, artifact);
|
|
431
455
|
const publicFunctionSignatures = artifact.functions.filter((fn)=>fn.functionType === FunctionType.PUBLIC).map((fn)=>decodeFunctionSignature(fn.name, fn.parameters));
|
|
432
456
|
await this.node.registerContractFunctionSignatures(publicFunctionSignatures);
|
|
433
457
|
currentInstance.currentContractClassId = contractClass.id;
|
|
434
|
-
await
|
|
458
|
+
await Promise.all([
|
|
459
|
+
this.contractStore.addContractArtifact(artifact, contractClass),
|
|
460
|
+
this.contractStore.addContractInstance(currentInstance)
|
|
461
|
+
]);
|
|
435
462
|
this.log.info(`Updated contract ${artifact.name} at ${contractAddress.toString()} to class ${contractClass.id}`);
|
|
436
463
|
});
|
|
437
464
|
}
|
|
@@ -439,44 +466,29 @@ import { Synchronizer } from './synchronizer/index.js';
|
|
|
439
466
|
* Retrieves the addresses of contracts added to this PXE.
|
|
440
467
|
* @returns An array of contracts addresses registered on this PXE.
|
|
441
468
|
*/ getContracts() {
|
|
442
|
-
return this.
|
|
443
|
-
}
|
|
444
|
-
/**
|
|
445
|
-
* A debugging utility to get notes based on the provided filter.
|
|
446
|
-
*
|
|
447
|
-
* Note that this should not be used in production code because the structure of notes is considered to be
|
|
448
|
-
* an implementation detail of contracts. This is only meant to be used for debugging purposes. If you need to obtain
|
|
449
|
-
* note-related information in production code, please implement a custom utility function on your contract and call
|
|
450
|
-
* that function instead (e.g. `get_balance(owner: AztecAddress) -> u128` utility function on a Token contract).
|
|
451
|
-
*
|
|
452
|
-
* @param filter - The filter to apply to the notes.
|
|
453
|
-
* @returns The requested notes.
|
|
454
|
-
*/ async getNotes(filter) {
|
|
455
|
-
// We need to manually trigger private state sync to have a guarantee that all the notes are available.
|
|
456
|
-
const call = await this.#getFunctionCall('sync_private_state', [], filter.contractAddress);
|
|
457
|
-
await this.simulateUtility(call);
|
|
458
|
-
return this.noteDataProvider.getNotes(filter);
|
|
469
|
+
return this.contractStore.getContractsAddresses();
|
|
459
470
|
}
|
|
460
471
|
/**
|
|
461
472
|
* Proves the private portion of a simulated transaction, ready to send to the network
|
|
462
473
|
* (where validators prove the public portion).
|
|
463
474
|
*
|
|
464
475
|
* @param txRequest - An authenticated tx request ready for proving
|
|
476
|
+
* @param scopes - Addresses whose private state and keys are accessible during private execution.
|
|
465
477
|
* @returns A result containing the proof and public inputs of the tail circuit.
|
|
466
478
|
* @throws If contract code not found, or public simulation reverts.
|
|
467
479
|
* Also throws if simulatePublic is true and public simulation reverts.
|
|
468
|
-
*/ proveTx(txRequest) {
|
|
480
|
+
*/ proveTx(txRequest, scopes) {
|
|
469
481
|
let privateExecutionResult;
|
|
470
482
|
// We disable proving concurrently mostly out of caution, since it accesses some of our stores. Proving is so
|
|
471
483
|
// computationally demanding that it'd be rare for someone to try to do it concurrently regardless.
|
|
472
|
-
return this.#putInJobQueue(async ()=>{
|
|
484
|
+
return this.#putInJobQueue(async (jobId)=>{
|
|
473
485
|
const totalTimer = new Timer();
|
|
474
486
|
try {
|
|
475
487
|
const syncTimer = new Timer();
|
|
476
|
-
await this.
|
|
488
|
+
await this.blockStateSynchronizer.sync();
|
|
477
489
|
const syncTime = syncTimer.ms();
|
|
478
490
|
const contractFunctionSimulator = this.#getSimulatorForTx();
|
|
479
|
-
privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest);
|
|
491
|
+
privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest, scopes, jobId);
|
|
480
492
|
const { publicInputs, chonkProof, executionSteps, timings: { proving } = {} } = await this.#prove(txRequest, this.proofCreator, privateExecutionResult, {
|
|
481
493
|
simulate: false,
|
|
482
494
|
skipFeeEnforcement: false,
|
|
@@ -502,14 +514,21 @@ import { Synchronizer } from './synchronizer/index.js';
|
|
|
502
514
|
timings,
|
|
503
515
|
nodeRPCCalls: contractFunctionSimulator?.getStats().nodeRPCCalls
|
|
504
516
|
});
|
|
505
|
-
|
|
506
|
-
|
|
507
|
-
|
|
508
|
-
|
|
509
|
-
|
|
517
|
+
// While not strictly necessary to store tagging cache contents in the DB since we sync tagging indexes from
|
|
518
|
+
// chain before sending new logs, the sync can only see logs already included in blocks. If we send another
|
|
519
|
+
// transaction before this one is included in a block from this PXE, and that transaction contains a log with
|
|
520
|
+
// a tag derived from the same secret, we would reuse the tag and the transactions would be linked. Hence
|
|
521
|
+
// storing the tags here prevents linkage of txs sent from the same PXE.
|
|
522
|
+
const taggingIndexRangesUsedInTheTx = privateExecutionResult.entrypoint.taggingIndexRanges;
|
|
523
|
+
if (taggingIndexRangesUsedInTheTx.length > 0) {
|
|
524
|
+
// TODO(benesjan): The following is an expensive operation. Figure out a way to avoid it.
|
|
525
|
+
const txHash = (await txProvingResult.toTx()).txHash;
|
|
526
|
+
await this.senderTaggingStore.storePendingIndexes(taggingIndexRangesUsedInTheTx, txHash, jobId);
|
|
527
|
+
this.log.debug(`Stored used tagging index ranges as sender for the tx`, {
|
|
528
|
+
taggingIndexRangesUsedInTheTx
|
|
510
529
|
});
|
|
511
530
|
} else {
|
|
512
|
-
this.log.debug(`No
|
|
531
|
+
this.log.debug(`No tagging index ranges used in the tx`);
|
|
513
532
|
}
|
|
514
533
|
return txProvingResult;
|
|
515
534
|
} catch (err) {
|
|
@@ -519,15 +538,12 @@ import { Synchronizer } from './synchronizer/index.js';
|
|
|
519
538
|
}
|
|
520
539
|
/**
|
|
521
540
|
* Profiles a transaction, reporting gate counts (unless disabled) and returns an execution trace.
|
|
522
|
-
*
|
|
523
|
-
* @param txRequest - An authenticated tx request ready for simulation
|
|
524
|
-
* @param msgSender - (Optional) The message sender to use for the simulation.
|
|
525
|
-
* @param skipTxValidation - (Optional) If false, this function throws if the transaction is unable to be included in a block at the current state.
|
|
541
|
+
* @param txRequest - An authenticated tx request ready for simulation.
|
|
526
542
|
* @returns A trace of the program execution with gate counts.
|
|
527
543
|
* @throws If the code for the functions executed in this transaction have not been made available via `addContracts`.
|
|
528
|
-
*/ profileTx(txRequest, profileMode, skipProofGeneration = true) {
|
|
544
|
+
*/ profileTx(txRequest, { profileMode, skipProofGeneration = true, scopes }) {
|
|
529
545
|
// We disable concurrent profiles for consistency with simulateTx.
|
|
530
|
-
return this.#putInJobQueue(async ()=>{
|
|
546
|
+
return this.#putInJobQueue(async (jobId)=>{
|
|
531
547
|
const totalTimer = new Timer();
|
|
532
548
|
try {
|
|
533
549
|
const txInfo = {
|
|
@@ -540,10 +556,10 @@ import { Synchronizer } from './synchronizer/index.js';
|
|
|
540
556
|
};
|
|
541
557
|
this.log.info(`Profiling transaction execution request to ${txRequest.functionSelector} at ${txRequest.origin}`, txInfo);
|
|
542
558
|
const syncTimer = new Timer();
|
|
543
|
-
await this.
|
|
559
|
+
await this.blockStateSynchronizer.sync();
|
|
544
560
|
const syncTime = syncTimer.ms();
|
|
545
561
|
const contractFunctionSimulator = this.#getSimulatorForTx();
|
|
546
|
-
const privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest);
|
|
562
|
+
const privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest, scopes, jobId);
|
|
547
563
|
const { executionSteps, timings: { proving } = {} } = await this.#prove(txRequest, this.proofCreator, privateExecutionResult, {
|
|
548
564
|
simulate: skipProofGeneration,
|
|
549
565
|
skipFeeEnforcement: false,
|
|
@@ -588,22 +604,17 @@ import { Synchronizer } from './synchronizer/index.js';
|
|
|
588
604
|
* In that case, the transaction returned is only potentially ready to be sent to the network for execution.
|
|
589
605
|
*
|
|
590
606
|
*
|
|
591
|
-
* @param txRequest - An authenticated tx request ready for simulation
|
|
592
|
-
* @param simulatePublic - Whether to simulate the public part of the transaction.
|
|
593
|
-
* @param skipTxValidation - (Optional) If false, this function throws if the transaction is unable to be included in a block at the current state.
|
|
594
|
-
* @param skipFeeEnforcement - (Optional) If false, fees are enforced.
|
|
595
|
-
* @param overrides - (Optional) State overrides for the simulation, such as msgSender, contract instances and artifacts.
|
|
596
|
-
* @param scopes - (Optional) The accounts whose notes we can access in this call. Currently optional and will default to all.
|
|
607
|
+
* @param txRequest - An authenticated tx request ready for simulation.
|
|
597
608
|
* @returns A simulated transaction result object that includes public and private return values.
|
|
598
609
|
* @throws If the code for the functions executed in this transaction have not been made available via `addContracts`.
|
|
599
610
|
* Also throws if simulatePublic is true and public simulation reverts.
|
|
600
611
|
*
|
|
601
612
|
* TODO(#7456) Prevent msgSender being defined here for the first call
|
|
602
|
-
*/ simulateTx(txRequest, simulatePublic, skipTxValidation = false, skipFeeEnforcement = false, overrides, scopes) {
|
|
613
|
+
*/ simulateTx(txRequest, { simulatePublic, skipTxValidation = false, skipFeeEnforcement = false, skipKernels = true, overrides, scopes }) {
|
|
603
614
|
// We disable concurrent simulations since those might execute oracles which read and write to the PXE stores (e.g.
|
|
604
615
|
// to the capsules), and we need to prevent concurrent runs from interfering with one another (e.g. attempting to
|
|
605
616
|
// delete the same read value, or reading values that another simulation is currently modifying).
|
|
606
|
-
return this.#putInJobQueue(async ()=>{
|
|
617
|
+
return this.#putInJobQueue(async (jobId)=>{
|
|
607
618
|
try {
|
|
608
619
|
const totalTimer = new Timer();
|
|
609
620
|
const txInfo = {
|
|
@@ -616,22 +627,25 @@ import { Synchronizer } from './synchronizer/index.js';
|
|
|
616
627
|
};
|
|
617
628
|
this.log.info(`Simulating transaction execution request to ${txRequest.functionSelector} at ${txRequest.origin}`, txInfo);
|
|
618
629
|
const syncTimer = new Timer();
|
|
619
|
-
await this.
|
|
630
|
+
await this.blockStateSynchronizer.sync();
|
|
620
631
|
const syncTime = syncTimer.ms();
|
|
632
|
+
const overriddenContracts = overrides?.contracts ? new Set(Object.keys(overrides.contracts)) : undefined;
|
|
633
|
+
const hasOverriddenContracts = overriddenContracts !== undefined && overriddenContracts.size > 0;
|
|
634
|
+
if (hasOverriddenContracts && !skipKernels) {
|
|
635
|
+
throw new Error('Simulating with overridden contracts is not compatible with kernel execution. Please set skipKernels to true when simulating with overridden contracts.');
|
|
636
|
+
}
|
|
621
637
|
const contractFunctionSimulator = this.#getSimulatorForTx(overrides);
|
|
622
|
-
|
|
623
|
-
|
|
624
|
-
|
|
625
|
-
|
|
638
|
+
if (hasOverriddenContracts) {
|
|
639
|
+
// Overridden contracts don't have a sync function, so calling sync on them would fail.
|
|
640
|
+
// We exclude them so the sync service skips them entirely.
|
|
641
|
+
this.contractSyncService.setExcludedFromSync(jobId, overriddenContracts);
|
|
642
|
+
}
|
|
626
643
|
// Execution of private functions only; no proving, and no kernel logic.
|
|
627
|
-
const privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest, scopes);
|
|
644
|
+
const privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest, scopes, jobId);
|
|
628
645
|
let publicInputs;
|
|
629
646
|
let executionSteps = [];
|
|
630
647
|
if (skipKernels) {
|
|
631
|
-
|
|
632
|
-
// can either be the first nullifier in the tx or the protocol nullifier if there are none.
|
|
633
|
-
const nonceGenerator = privateExecutionResult.firstNullifier.equals(Fr.ZERO) ? await computeProtocolNullifier(await txRequest.toTxRequest().hash()) : privateExecutionResult.firstNullifier;
|
|
634
|
-
({ publicInputs, executionSteps } = await generateSimulatedProvingResult(privateExecutionResult, nonceGenerator, this.contractDataProvider));
|
|
648
|
+
({ publicInputs, executionSteps } = await generateSimulatedProvingResult(privateExecutionResult, (addr, sel)=>this.contractStore.getDebugFunctionName(addr, sel), this.node));
|
|
635
649
|
} else {
|
|
636
650
|
// Kernel logic, plus proving of all private functions and kernels.
|
|
637
651
|
({ publicInputs, executionSteps } = await this.#prove(txRequest, this.proofCreator, privateExecutionResult, {
|
|
@@ -648,6 +662,9 @@ import { Synchronizer } from './synchronizer/index.js';
|
|
|
648
662
|
const publicSimulationTimer = new Timer();
|
|
649
663
|
publicOutput = await this.#simulatePublicCalls(simulatedTx, skipFeeEnforcement);
|
|
650
664
|
publicSimulationTime = publicSimulationTimer.ms();
|
|
665
|
+
if (publicOutput?.debugLogs?.length) {
|
|
666
|
+
await displayDebugLogs(publicOutput.debugLogs, (addr)=>this.contractStore.getDebugContractName(addr));
|
|
667
|
+
}
|
|
651
668
|
}
|
|
652
669
|
let validationTime;
|
|
653
670
|
if (!skipTxValidation) {
|
|
@@ -658,7 +675,8 @@ import { Synchronizer } from './synchronizer/index.js';
|
|
|
658
675
|
});
|
|
659
676
|
validationTime = validationTimer.ms();
|
|
660
677
|
if (validationResult.result === 'invalid') {
|
|
661
|
-
|
|
678
|
+
const reason = validationResult.reason.length > 0 ? ` Reason: ${validationResult.reason.join(', ')}` : '';
|
|
679
|
+
throw new Error(`The simulated transaction is unable to be added to state and is invalid.${reason}`);
|
|
662
680
|
}
|
|
663
681
|
}
|
|
664
682
|
const txHash = simulatedTx.getTxHash();
|
|
@@ -691,31 +709,30 @@ import { Synchronizer } from './synchronizer/index.js';
|
|
|
691
709
|
nodeRPCCalls: simulatorStats.nodeRPCCalls
|
|
692
710
|
});
|
|
693
711
|
} catch (err) {
|
|
694
|
-
throw this.#contextualizeError(err, inspect(txRequest), `simulatePublic=${simulatePublic}`, `skipTxValidation=${skipTxValidation}`, `scopes=${scopes
|
|
712
|
+
throw this.#contextualizeError(err, inspect(txRequest), `simulatePublic=${simulatePublic}`, `skipTxValidation=${skipTxValidation}`, `scopes=${scopes.map((s)=>s.toString()).join(', ')}`);
|
|
695
713
|
}
|
|
696
714
|
});
|
|
697
715
|
}
|
|
698
716
|
/**
|
|
699
|
-
*
|
|
700
|
-
*
|
|
717
|
+
* Executes a contract utility function.
|
|
701
718
|
* @param call - The function call containing the function details, arguments, and target contract address.
|
|
702
|
-
|
|
703
|
-
|
|
704
|
-
|
|
705
|
-
|
|
706
|
-
*/ simulateUtility(call, authwits, scopes) {
|
|
707
|
-
// We disable concurrent simulations since those might execute oracles which read and write to the PXE stores (e.g.
|
|
719
|
+
*/ executeUtility(call, { authwits, scopes } = {
|
|
720
|
+
scopes: []
|
|
721
|
+
}) {
|
|
722
|
+
// We disable concurrent executions since those might execute oracles which read and write to the PXE stores (e.g.
|
|
708
723
|
// to the capsules), and we need to prevent concurrent runs from interfering with one another (e.g. attempting to
|
|
709
|
-
// delete the same read value, or reading values that another
|
|
710
|
-
return this.#putInJobQueue(async ()=>{
|
|
724
|
+
// delete the same read value, or reading values that another execution is currently modifying).
|
|
725
|
+
return this.#putInJobQueue(async (jobId)=>{
|
|
711
726
|
try {
|
|
712
727
|
const totalTimer = new Timer();
|
|
713
728
|
const syncTimer = new Timer();
|
|
714
|
-
await this.
|
|
729
|
+
await this.blockStateSynchronizer.sync();
|
|
715
730
|
const syncTime = syncTimer.ms();
|
|
716
731
|
const functionTimer = new Timer();
|
|
717
732
|
const contractFunctionSimulator = this.#getSimulatorForTx();
|
|
718
|
-
const
|
|
733
|
+
const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
|
|
734
|
+
await this.contractSyncService.ensureContractSynced(call.to, call.selector, (privateSyncCall, execScopes)=>this.#executeUtility(contractFunctionSimulator, privateSyncCall, [], execScopes, jobId), anchorBlockHeader, jobId, scopes);
|
|
735
|
+
const { result: executionResult, offchainEffects } = await this.#executeUtility(contractFunctionSimulator, call, authwits ?? [], scopes, jobId);
|
|
719
736
|
const functionTime = functionTimer.ms();
|
|
720
737
|
const totalTime = totalTimer.ms();
|
|
721
738
|
const perFunction = [
|
|
@@ -733,6 +750,8 @@ import { Synchronizer } from './synchronizer/index.js';
|
|
|
733
750
|
const simulationStats = contractFunctionSimulator.getStats();
|
|
734
751
|
return {
|
|
735
752
|
result: executionResult,
|
|
753
|
+
offchainEffects,
|
|
754
|
+
anchorBlockTimestamp: anchorBlockHeader.globalVariables.timestamp,
|
|
736
755
|
stats: {
|
|
737
756
|
timings,
|
|
738
757
|
nodeRPCCalls: simulationStats.nodeRPCCalls
|
|
@@ -741,31 +760,41 @@ import { Synchronizer } from './synchronizer/index.js';
|
|
|
741
760
|
} catch (err) {
|
|
742
761
|
const { to, name, args } = call;
|
|
743
762
|
const stringifiedArgs = args.map((arg)=>arg.toString()).join(', ');
|
|
744
|
-
throw this.#contextualizeError(err, `
|
|
763
|
+
throw this.#contextualizeError(err, `executeUtility ${to}:${name}(${stringifiedArgs})`, `scopes=${scopes.map((s)=>s.toString()).join(', ')}`);
|
|
745
764
|
}
|
|
746
765
|
});
|
|
747
766
|
}
|
|
748
767
|
/**
|
|
749
768
|
* Returns the private events given search parameters.
|
|
750
|
-
* @param contractAddress - The address of the contract to get events from.
|
|
751
769
|
* @param eventSelector - Event selector to search for.
|
|
752
|
-
* @param
|
|
753
|
-
*
|
|
754
|
-
*
|
|
770
|
+
* @param filter
|
|
771
|
+
* contractAddress - The address of the contract to get events from. Required.
|
|
772
|
+
* scopes - One or more event scope addresses to filter by. Required.
|
|
773
|
+
* fromBlock - The block number to search from (inclusive). Optional. If provided, it must be >= 0.
|
|
774
|
+
* Defaults to 0.
|
|
775
|
+
* If toBlock is defined but fromBlock is not, fromBlock defaults to toBlock - 1.
|
|
776
|
+
* toBlock - The block number to search up to (exclusive). Optional. If provided, it must be > 0.
|
|
777
|
+
* Defaults to the latest known block to PXE + 1.
|
|
755
778
|
* @returns - The packed events with block and tx metadata.
|
|
756
|
-
*/ async getPrivateEvents(
|
|
757
|
-
|
|
758
|
-
|
|
759
|
-
|
|
760
|
-
|
|
761
|
-
|
|
762
|
-
|
|
763
|
-
|
|
764
|
-
|
|
779
|
+
*/ async getPrivateEvents(eventSelector, filter) {
|
|
780
|
+
let anchorBlockNumber;
|
|
781
|
+
await this.#putInJobQueue(async (jobId)=>{
|
|
782
|
+
await this.blockStateSynchronizer.sync();
|
|
783
|
+
const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
|
|
784
|
+
anchorBlockNumber = anchorBlockHeader.getBlockNumber();
|
|
785
|
+
const contractFunctionSimulator = this.#getSimulatorForTx();
|
|
786
|
+
await this.contractSyncService.ensureContractSynced(filter.contractAddress, null, async (privateSyncCall, execScopes)=>await this.#executeUtility(contractFunctionSimulator, privateSyncCall, [], execScopes, jobId), anchorBlockHeader, jobId, filter.scopes);
|
|
787
|
+
});
|
|
788
|
+
// anchorBlockNumber is set during the job and fixed to whatever it is after a block sync
|
|
789
|
+
const sanitizedFilter = new PrivateEventFilterValidator(anchorBlockNumber).validate(filter);
|
|
790
|
+
this.log.debug(`Getting private events for ${sanitizedFilter.contractAddress.toString()} from ${sanitizedFilter.fromBlock} to ${sanitizedFilter.toBlock}`);
|
|
791
|
+
return this.privateEventStore.getPrivateEvents(eventSelector, sanitizedFilter);
|
|
765
792
|
}
|
|
766
793
|
/**
|
|
767
|
-
* Stops the PXE's job queue.
|
|
768
|
-
*/ stop() {
|
|
769
|
-
|
|
794
|
+
* Stops the PXE's job queue and closes the backing store.
|
|
795
|
+
*/ async stop() {
|
|
796
|
+
await this.jobQueue.end();
|
|
797
|
+
await this.blockStateSynchronizer.stop();
|
|
798
|
+
await this.db.close();
|
|
770
799
|
}
|
|
771
800
|
}
|