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