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