@aztec/pxe 3.0.3 → 3.9.9-nightly.20260312
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dest/access_scopes.d.ts +9 -0
- package/dest/access_scopes.d.ts.map +1 -0
- package/dest/access_scopes.js +6 -0
- package/dest/bin/check_oracle_version.js +1 -1
- package/dest/block_synchronizer/block_synchronizer.d.ts +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 -4
- package/dest/config/index.d.ts.map +1 -1
- package/dest/config/index.js +17 -0
- package/dest/config/package_info.js +1 -1
- package/dest/contract_function_simulator/benchmarked_node.d.ts +9 -0
- package/dest/contract_function_simulator/benchmarked_node.d.ts.map +1 -0
- package/dest/contract_function_simulator/benchmarked_node.js +77 -0
- package/dest/contract_function_simulator/contract_function_simulator.d.ts +75 -23
- package/dest/contract_function_simulator/contract_function_simulator.d.ts.map +1 -1
- package/dest/contract_function_simulator/contract_function_simulator.js +219 -74
- package/dest/contract_function_simulator/execution_note_cache.d.ts +18 -9
- package/dest/contract_function_simulator/execution_note_cache.d.ts.map +1 -1
- package/dest/contract_function_simulator/execution_note_cache.js +45 -28
- package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts +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/index.d.ts +2 -2
- package/dest/contract_function_simulator/index.d.ts.map +1 -1
- package/dest/contract_function_simulator/index.js +1 -1
- package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts +4 -3
- package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts.map +1 -1
- package/dest/contract_function_simulator/noir-structs/event_validation_request.js +7 -4
- package/dest/contract_function_simulator/noir-structs/log_retrieval_request.d.ts +4 -3
- 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/note_validation_request.d.ts +3 -3
- package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts.map +1 -1
- package/dest/contract_function_simulator/noir-structs/note_validation_request.js +2 -2
- package/dest/contract_function_simulator/noir-structs/utility_context.d.ts +4 -10
- package/dest/contract_function_simulator/noir-structs/utility_context.d.ts.map +1 -1
- package/dest/contract_function_simulator/noir-structs/utility_context.js +7 -18
- package/dest/contract_function_simulator/oracle/interfaces.d.ts +24 -17
- package/dest/contract_function_simulator/oracle/interfaces.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts +3 -1
- package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts +6 -6
- package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/note_packing_utils.js +8 -8
- package/dest/contract_function_simulator/oracle/oracle.d.ts +12 -10
- package/dest/contract_function_simulator/oracle/oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/oracle.js +70 -47
- package/dest/contract_function_simulator/oracle/private_execution.d.ts +2 -28
- package/dest/contract_function_simulator/oracle/private_execution.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/private_execution.js +1 -37
- package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts +49 -41
- package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/private_execution_oracle.js +109 -60
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts +114 -37
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.js +218 -84
- 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 +31 -8
- 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 +32 -9
- package/dest/entrypoints/pxe_creation_options.d.ts +5 -3
- package/dest/entrypoints/pxe_creation_options.d.ts.map +1 -1
- package/dest/entrypoints/server/index.d.ts +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 +39 -16
- package/dest/error_enriching.d.ts +4 -4
- package/dest/error_enriching.d.ts.map +1 -1
- package/dest/error_enriching.js +6 -6
- package/dest/events/event_service.d.ts +15 -0
- package/dest/events/event_service.d.ts.map +1 -0
- package/dest/events/event_service.js +44 -0
- package/dest/events/private_event_filter_validator.d.ts +6 -5
- package/dest/events/private_event_filter_validator.d.ts.map +1 -1
- package/dest/events/private_event_filter_validator.js +5 -6
- package/dest/job_coordinator/job_coordinator.d.ts +75 -0
- package/dest/job_coordinator/job_coordinator.d.ts.map +1 -0
- package/dest/job_coordinator/job_coordinator.js +94 -0
- package/dest/logs/log_service.d.ts +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} +141 -74
- package/dest/private_kernel/hints/test_utils.d.ts +122 -0
- package/dest/private_kernel/hints/test_utils.d.ts.map +1 -0
- package/dest/private_kernel/hints/test_utils.js +203 -0
- package/dest/private_kernel/private_kernel_execution_prover.d.ts +3 -2
- package/dest/private_kernel/private_kernel_execution_prover.d.ts.map +1 -1
- package/dest/private_kernel/private_kernel_execution_prover.js +24 -17
- package/dest/private_kernel/private_kernel_oracle.d.ts +24 -24
- package/dest/private_kernel/private_kernel_oracle.d.ts.map +1 -1
- package/dest/private_kernel/private_kernel_oracle.js +94 -2
- package/dest/pxe.d.ts +100 -90
- package/dest/pxe.d.ts.map +1 -1
- package/dest/pxe.js +245 -245
- 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/{sync_data_provider → anchor_block_store}/index.d.ts +2 -2
- package/dest/storage/anchor_block_store/index.d.ts.map +1 -0
- package/dest/storage/anchor_block_store/index.js +1 -0
- package/dest/storage/capsule_store/capsule_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/index.d.ts +8 -8
- package/dest/storage/index.d.ts.map +1 -1
- package/dest/storage/index.js +7 -7
- package/dest/storage/metadata.d.ts +1 -1
- package/dest/storage/metadata.js +1 -1
- package/dest/storage/note_store/index.d.ts +3 -0
- package/dest/storage/note_store/index.d.ts.map +1 -0
- package/dest/storage/note_store/index.js +2 -0
- package/dest/storage/note_store/note_store.d.ts +83 -0
- package/dest/storage/note_store/note_store.d.ts.map +1 -0
- package/dest/storage/note_store/note_store.js +343 -0
- package/dest/storage/note_store/stored_note.d.ts +16 -0
- package/dest/storage/note_store/stored_note.d.ts.map +1 -0
- package/dest/storage/note_store/stored_note.js +43 -0
- package/dest/storage/private_event_store/private_event_store.d.ts +91 -0
- package/dest/storage/private_event_store/private_event_store.d.ts.map +1 -0
- package/dest/storage/private_event_store/private_event_store.js +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 +27 -18
- package/src/access_scopes.ts +9 -0
- package/src/bin/check_oracle_version.ts +1 -0
- package/src/block_synchronizer/block_synchronizer.ts +178 -0
- package/src/block_synchronizer/index.ts +1 -0
- package/src/config/index.ts +17 -3
- 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 +381 -106
- package/src/contract_function_simulator/execution_note_cache.ts +44 -25
- package/src/contract_function_simulator/execution_tagging_index_cache.ts +6 -6
- package/src/contract_function_simulator/index.ts +1 -1
- package/src/contract_function_simulator/noir-structs/event_validation_request.ts +6 -2
- package/src/contract_function_simulator/noir-structs/log_retrieval_request.ts +5 -4
- package/src/contract_function_simulator/noir-structs/note_validation_request.ts +2 -2
- package/src/contract_function_simulator/noir-structs/utility_context.ts +6 -25
- package/src/contract_function_simulator/oracle/interfaces.ts +28 -16
- package/src/contract_function_simulator/oracle/note_packing_utils.ts +10 -10
- package/src/contract_function_simulator/oracle/oracle.ts +82 -50
- package/src/contract_function_simulator/oracle/private_execution.ts +1 -68
- package/src/contract_function_simulator/oracle/private_execution_oracle.ts +158 -94
- package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +351 -99
- 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 +23 -16
- package/src/entrypoints/client/lazy/index.ts +3 -1
- package/src/entrypoints/client/lazy/utils.ts +24 -17
- package/src/entrypoints/pxe_creation_options.ts +4 -2
- package/src/entrypoints/server/index.ts +5 -1
- package/src/entrypoints/server/utils.ts +33 -41
- package/src/error_enriching.ts +7 -15
- package/src/events/event_service.ts +71 -0
- package/src/events/private_event_filter_validator.ts +4 -5
- 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} +196 -138
- package/src/private_kernel/hints/test_utils.ts +325 -0
- package/src/private_kernel/private_kernel_execution_prover.ts +27 -19
- package/src/private_kernel/private_kernel_oracle.ts +116 -36
- package/src/pxe.ts +377 -323
- 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 -12
- 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/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 -268
- 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 -124
- package/dest/contract_function_simulator/pxe_oracle_interface.d.ts.map +0 -1
- package/dest/contract_function_simulator/pxe_oracle_interface.js +0 -727
- package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts +0 -28
- package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts.map +0 -1
- package/dest/private_kernel/hints/compute_tx_include_by_timestamp.d.ts +0 -4
- package/dest/private_kernel/hints/compute_tx_include_by_timestamp.d.ts.map +0 -1
- package/dest/private_kernel/private_kernel_oracle_impl.d.ts +0 -46
- package/dest/private_kernel/private_kernel_oracle_impl.d.ts.map +0 -1
- package/dest/private_kernel/private_kernel_oracle_impl.js +0 -86
- package/dest/storage/address_data_provider/address_data_provider.d.ts +0 -11
- package/dest/storage/address_data_provider/address_data_provider.d.ts.map +0 -1
- package/dest/storage/address_data_provider/index.d.ts +0 -2
- package/dest/storage/address_data_provider/index.d.ts.map +0 -1
- package/dest/storage/address_data_provider/index.js +0 -1
- package/dest/storage/capsule_data_provider/capsule_data_provider.d.ts +0 -25
- package/dest/storage/capsule_data_provider/capsule_data_provider.d.ts.map +0 -1
- package/dest/storage/capsule_data_provider/capsule_data_provider.js +0 -118
- package/dest/storage/capsule_data_provider/index.d.ts +0 -2
- package/dest/storage/capsule_data_provider/index.d.ts.map +0 -1
- package/dest/storage/capsule_data_provider/index.js +0 -1
- package/dest/storage/contract_data_provider/contract_data_provider.d.ts +0 -64
- package/dest/storage/contract_data_provider/contract_data_provider.d.ts.map +0 -1
- package/dest/storage/contract_data_provider/contract_data_provider.js +0 -193
- package/dest/storage/contract_data_provider/index.d.ts +0 -2
- package/dest/storage/contract_data_provider/index.d.ts.map +0 -1
- package/dest/storage/contract_data_provider/index.js +0 -1
- package/dest/storage/contract_data_provider/private_functions_tree.d.ts.map +0 -1
- package/dest/storage/note_data_provider/index.d.ts +0 -3
- package/dest/storage/note_data_provider/index.d.ts.map +0 -1
- package/dest/storage/note_data_provider/index.js +0 -2
- package/dest/storage/note_data_provider/note_data_provider.d.ts +0 -84
- 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 -322
- package/dest/storage/private_event_data_provider/private_event_data_provider.d.ts +0 -51
- 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 -115
- 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 -11
- 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 -36
- package/dest/synchronizer/synchronizer.d.ts.map +0 -1
- package/dest/synchronizer/synchronizer.js +0 -102
- 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 -1055
- package/src/private_kernel/private_kernel_oracle_impl.ts +0 -133
- package/src/storage/address_data_provider/index.ts +0 -1
- package/src/storage/capsule_data_provider/capsule_data_provider.ts +0 -147
- package/src/storage/capsule_data_provider/index.ts +0 -1
- package/src/storage/contract_data_provider/contract_data_provider.ts +0 -277
- package/src/storage/contract_data_provider/index.ts +0 -1
- package/src/storage/note_data_provider/index.ts +0 -2
- package/src/storage/note_data_provider/note_data_provider.ts +0 -412
- package/src/storage/private_event_data_provider/private_event_data_provider.ts +0 -162
- 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 -121
- package/src/tagging/siloed_tag.ts +0 -22
- package/src/tagging/tag.ts +0 -16
- package/src/tagging/utils.ts +0 -31
- /package/dest/storage/{contract_data_provider → contract_store}/private_functions_tree.js +0 -0
- /package/src/storage/{contract_data_provider → contract_store}/private_functions_tree.ts +0 -0
package/src/pxe.ts
CHANGED
|
@@ -1,6 +1,7 @@
|
|
|
1
1
|
import type { PrivateEventFilter } from '@aztec/aztec.js/wallet';
|
|
2
|
+
import { BlockNumber } from '@aztec/foundation/branded-types';
|
|
2
3
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
3
|
-
import { type Logger, createLogger } from '@aztec/foundation/log';
|
|
4
|
+
import { type Logger, type LoggerBindings, createLogger } from '@aztec/foundation/log';
|
|
4
5
|
import { SerialQueue } from '@aztec/foundation/queue';
|
|
5
6
|
import { Timer } from '@aztec/foundation/timer';
|
|
6
7
|
import { KeyStore } from '@aztec/key-store';
|
|
@@ -12,32 +13,27 @@ import {
|
|
|
12
13
|
type ContractArtifact,
|
|
13
14
|
EventSelector,
|
|
14
15
|
FunctionCall,
|
|
15
|
-
FunctionSelector,
|
|
16
16
|
FunctionType,
|
|
17
17
|
decodeFunctionSignature,
|
|
18
|
-
encodeArguments,
|
|
19
18
|
} from '@aztec/stdlib/abi';
|
|
20
19
|
import type { AuthWitness } from '@aztec/stdlib/auth-witness';
|
|
21
20
|
import type { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
22
21
|
import {
|
|
23
22
|
CompleteAddress,
|
|
24
|
-
type ContractClassWithId,
|
|
25
23
|
type ContractInstanceWithAddress,
|
|
26
24
|
type PartialAddress,
|
|
27
25
|
computeContractAddressFromInstance,
|
|
28
26
|
getContractClassFromArtifact,
|
|
29
27
|
} from '@aztec/stdlib/contract';
|
|
30
28
|
import { SimulationError } from '@aztec/stdlib/errors';
|
|
31
|
-
import { computeProtocolNullifier, siloNullifier } from '@aztec/stdlib/hash';
|
|
32
29
|
import type { AztecNode, PrivateKernelProver } from '@aztec/stdlib/interfaces/client';
|
|
33
30
|
import type {
|
|
34
31
|
PrivateExecutionStep,
|
|
35
32
|
PrivateKernelExecutionProofOutput,
|
|
36
33
|
PrivateKernelTailCircuitPublicInputs,
|
|
37
34
|
} from '@aztec/stdlib/kernel';
|
|
38
|
-
import type { NotesFilter } from '@aztec/stdlib/note';
|
|
39
|
-
import { NoteDao } from '@aztec/stdlib/note';
|
|
40
35
|
import {
|
|
36
|
+
BlockHeader,
|
|
41
37
|
type ContractOverrides,
|
|
42
38
|
type InTx,
|
|
43
39
|
PrivateExecutionResult,
|
|
@@ -51,41 +47,97 @@ import {
|
|
|
51
47
|
TxProfileResult,
|
|
52
48
|
TxProvingResult,
|
|
53
49
|
TxSimulationResult,
|
|
54
|
-
|
|
50
|
+
UtilityExecutionResult,
|
|
55
51
|
} from '@aztec/stdlib/tx';
|
|
56
52
|
|
|
57
53
|
import { inspect } from 'util';
|
|
58
54
|
|
|
55
|
+
import type { AccessScopes } from './access_scopes.js';
|
|
56
|
+
import { BlockSynchronizer } from './block_synchronizer/index.js';
|
|
59
57
|
import type { PXEConfig } from './config/index.js';
|
|
58
|
+
import { BenchmarkedNodeFactory } from './contract_function_simulator/benchmarked_node.js';
|
|
60
59
|
import {
|
|
61
60
|
ContractFunctionSimulator,
|
|
62
61
|
generateSimulatedProvingResult,
|
|
63
62
|
} from './contract_function_simulator/contract_function_simulator.js';
|
|
64
|
-
import {
|
|
65
|
-
import {
|
|
66
|
-
import {
|
|
67
|
-
import {
|
|
63
|
+
import { ProxiedContractStoreFactory } from './contract_function_simulator/proxied_contract_data_source.js';
|
|
64
|
+
import { displayDebugLogs } from './contract_logging.js';
|
|
65
|
+
import { ContractSyncService } from './contract_sync/contract_sync_service.js';
|
|
66
|
+
import { readCurrentClassId } from './contract_sync/helpers.js';
|
|
67
|
+
import { PXEDebugUtils } from './debug/pxe_debug_utils.js';
|
|
68
68
|
import { enrichPublicSimulationError, enrichSimulationError } from './error_enriching.js';
|
|
69
69
|
import { PrivateEventFilterValidator } from './events/private_event_filter_validator.js';
|
|
70
|
+
import { JobCoordinator } from './job_coordinator/job_coordinator.js';
|
|
70
71
|
import {
|
|
71
72
|
PrivateKernelExecutionProver,
|
|
72
73
|
type PrivateKernelExecutionProverConfig,
|
|
73
74
|
} from './private_kernel/private_kernel_execution_prover.js';
|
|
74
|
-
import {
|
|
75
|
-
import {
|
|
76
|
-
import {
|
|
77
|
-
import {
|
|
78
|
-
import {
|
|
79
|
-
import {
|
|
80
|
-
import {
|
|
81
|
-
import {
|
|
82
|
-
import {
|
|
75
|
+
import { PrivateKernelOracle } from './private_kernel/private_kernel_oracle.js';
|
|
76
|
+
import { AddressStore } from './storage/address_store/address_store.js';
|
|
77
|
+
import { AnchorBlockStore } from './storage/anchor_block_store/anchor_block_store.js';
|
|
78
|
+
import { CapsuleStore } from './storage/capsule_store/capsule_store.js';
|
|
79
|
+
import { ContractStore } from './storage/contract_store/contract_store.js';
|
|
80
|
+
import { NoteStore } from './storage/note_store/note_store.js';
|
|
81
|
+
import { PrivateEventStore } from './storage/private_event_store/private_event_store.js';
|
|
82
|
+
import { RecipientTaggingStore } from './storage/tagging_store/recipient_tagging_store.js';
|
|
83
|
+
import { SenderAddressBookStore } from './storage/tagging_store/sender_address_book_store.js';
|
|
84
|
+
import { SenderTaggingStore } from './storage/tagging_store/sender_tagging_store.js';
|
|
83
85
|
|
|
84
86
|
export type PackedPrivateEvent = InTx & {
|
|
85
87
|
packedEvent: Fr[];
|
|
86
88
|
eventSelector: EventSelector;
|
|
87
89
|
};
|
|
88
90
|
|
|
91
|
+
/** Options for PXE.profileTx. */
|
|
92
|
+
export type ProfileTxOpts = {
|
|
93
|
+
/** The profiling mode to use. */
|
|
94
|
+
profileMode: 'full' | 'execution-steps' | 'gates';
|
|
95
|
+
/** If true, proof generation is skipped during profiling. Defaults to true. */
|
|
96
|
+
skipProofGeneration?: boolean;
|
|
97
|
+
/** Addresses whose private state and keys are accessible during private execution. */
|
|
98
|
+
scopes: AccessScopes;
|
|
99
|
+
};
|
|
100
|
+
|
|
101
|
+
/** Options for PXE.simulateTx. */
|
|
102
|
+
export type SimulateTxOpts = {
|
|
103
|
+
/** Whether to simulate the public part of the transaction. */
|
|
104
|
+
simulatePublic: boolean;
|
|
105
|
+
/** If false, this function throws if the transaction is unable to be included in a block at the current state. */
|
|
106
|
+
skipTxValidation?: boolean;
|
|
107
|
+
/** If false, fees are enforced. */
|
|
108
|
+
skipFeeEnforcement?: boolean;
|
|
109
|
+
/** State overrides for the simulation, such as contract instances and artifacts. */
|
|
110
|
+
overrides?: SimulationOverrides;
|
|
111
|
+
/** Addresses whose private state and keys are accessible during private execution */
|
|
112
|
+
scopes: AccessScopes;
|
|
113
|
+
};
|
|
114
|
+
|
|
115
|
+
/** Options for PXE.executeUtility. */
|
|
116
|
+
export type ExecuteUtilityOpts = {
|
|
117
|
+
/** The authentication witnesses required for the function call. */
|
|
118
|
+
authwits?: AuthWitness[];
|
|
119
|
+
/** The accounts whose notes we can access in this call */
|
|
120
|
+
scopes: AccessScopes;
|
|
121
|
+
};
|
|
122
|
+
|
|
123
|
+
/** Args for PXE.create. */
|
|
124
|
+
export type PXECreateArgs = {
|
|
125
|
+
/** The Aztec node to connect to. */
|
|
126
|
+
node: AztecNode;
|
|
127
|
+
/** The key-value store for persisting PXE state. */
|
|
128
|
+
store: AztecAsyncKVStore;
|
|
129
|
+
/** The prover for generating private kernel proofs. */
|
|
130
|
+
proofCreator: PrivateKernelProver;
|
|
131
|
+
/** The circuit simulator for executing ACIR circuits. */
|
|
132
|
+
simulator: CircuitSimulator;
|
|
133
|
+
/** Provider for protocol contract artifacts and instances. */
|
|
134
|
+
protocolContractsProvider: ProtocolContractsProvider;
|
|
135
|
+
/** PXE configuration options. */
|
|
136
|
+
config: PXEConfig;
|
|
137
|
+
/** Optional logger instance or string suffix for the logger name. */
|
|
138
|
+
loggerOrSuffix?: string | Logger;
|
|
139
|
+
};
|
|
140
|
+
|
|
89
141
|
/**
|
|
90
142
|
* Private eXecution Environment (PXE) is a library used by wallets to simulate private phase of transactions and to
|
|
91
143
|
* manage private state of users.
|
|
@@ -93,21 +145,26 @@ export type PackedPrivateEvent = InTx & {
|
|
|
93
145
|
export class PXE {
|
|
94
146
|
private constructor(
|
|
95
147
|
private node: AztecNode,
|
|
96
|
-
private
|
|
148
|
+
private blockStateSynchronizer: BlockSynchronizer,
|
|
97
149
|
private keyStore: KeyStore,
|
|
98
|
-
private
|
|
99
|
-
private
|
|
100
|
-
private
|
|
101
|
-
private
|
|
102
|
-
private
|
|
103
|
-
private
|
|
104
|
-
private
|
|
150
|
+
private contractStore: ContractStore,
|
|
151
|
+
private noteStore: NoteStore,
|
|
152
|
+
private capsuleStore: CapsuleStore,
|
|
153
|
+
private anchorBlockStore: AnchorBlockStore,
|
|
154
|
+
private senderTaggingStore: SenderTaggingStore,
|
|
155
|
+
private senderAddressBookStore: SenderAddressBookStore,
|
|
156
|
+
private recipientTaggingStore: RecipientTaggingStore,
|
|
157
|
+
private addressStore: AddressStore,
|
|
158
|
+
private privateEventStore: PrivateEventStore,
|
|
159
|
+
private contractSyncService: ContractSyncService,
|
|
105
160
|
private simulator: CircuitSimulator,
|
|
106
161
|
private proverEnabled: boolean,
|
|
107
162
|
private proofCreator: PrivateKernelProver,
|
|
108
163
|
private protocolContractsProvider: ProtocolContractsProvider,
|
|
109
164
|
private log: Logger,
|
|
110
165
|
private jobQueue: SerialQueue,
|
|
166
|
+
private jobCoordinator: JobCoordinator,
|
|
167
|
+
public debug: PXEDebugUtils,
|
|
111
168
|
) {}
|
|
112
169
|
|
|
113
170
|
/**
|
|
@@ -117,65 +174,103 @@ export class PXE {
|
|
|
117
174
|
*
|
|
118
175
|
* @returns A promise that resolves PXE is ready to be used.
|
|
119
176
|
*/
|
|
120
|
-
public static async create(
|
|
121
|
-
node
|
|
122
|
-
store
|
|
123
|
-
proofCreator
|
|
124
|
-
simulator
|
|
125
|
-
protocolContractsProvider
|
|
126
|
-
config
|
|
127
|
-
loggerOrSuffix
|
|
128
|
-
) {
|
|
177
|
+
public static async create({
|
|
178
|
+
node,
|
|
179
|
+
store,
|
|
180
|
+
proofCreator,
|
|
181
|
+
simulator,
|
|
182
|
+
protocolContractsProvider,
|
|
183
|
+
config,
|
|
184
|
+
loggerOrSuffix,
|
|
185
|
+
}: PXECreateArgs) {
|
|
186
|
+
// Extract bindings from the logger, or use empty bindings if a string suffix is provided.
|
|
187
|
+
const bindings: LoggerBindings | undefined =
|
|
188
|
+
loggerOrSuffix && typeof loggerOrSuffix !== 'string' ? loggerOrSuffix.getBindings() : undefined;
|
|
189
|
+
|
|
129
190
|
const log =
|
|
130
191
|
!loggerOrSuffix || typeof loggerOrSuffix === 'string'
|
|
131
192
|
? createLogger(loggerOrSuffix ? `pxe:service:${loggerOrSuffix}` : `pxe:service`)
|
|
132
193
|
: loggerOrSuffix;
|
|
133
194
|
|
|
134
|
-
const
|
|
135
|
-
|
|
136
|
-
const
|
|
137
|
-
const
|
|
138
|
-
const
|
|
139
|
-
const
|
|
140
|
-
const
|
|
141
|
-
const
|
|
195
|
+
const info = await node.getNodeInfo();
|
|
196
|
+
|
|
197
|
+
const proverEnabled = config.proverEnabled !== undefined ? config.proverEnabled : info.realProofs;
|
|
198
|
+
const addressStore = new AddressStore(store);
|
|
199
|
+
const privateEventStore = new PrivateEventStore(store);
|
|
200
|
+
const contractStore = new ContractStore(store);
|
|
201
|
+
const noteStore = new NoteStore(store);
|
|
202
|
+
const anchorBlockStore = new AnchorBlockStore(store);
|
|
203
|
+
const senderTaggingStore = new SenderTaggingStore(store);
|
|
204
|
+
const senderAddressBookStore = new SenderAddressBookStore(store);
|
|
205
|
+
const recipientTaggingStore = new RecipientTaggingStore(store);
|
|
206
|
+
const capsuleStore = new CapsuleStore(store);
|
|
142
207
|
const keyStore = new KeyStore(store);
|
|
143
208
|
const tipsStore = new L2TipsKVStore(store, 'pxe');
|
|
144
|
-
const
|
|
209
|
+
const contractSyncService = new ContractSyncService(
|
|
210
|
+
node,
|
|
211
|
+
contractStore,
|
|
212
|
+
noteStore,
|
|
213
|
+
createLogger('pxe:contract_sync', bindings),
|
|
214
|
+
);
|
|
215
|
+
const synchronizer = new BlockSynchronizer(
|
|
145
216
|
node,
|
|
146
|
-
|
|
147
|
-
|
|
148
|
-
|
|
217
|
+
store,
|
|
218
|
+
anchorBlockStore,
|
|
219
|
+
noteStore,
|
|
220
|
+
privateEventStore,
|
|
149
221
|
tipsStore,
|
|
222
|
+
contractSyncService,
|
|
150
223
|
config,
|
|
151
|
-
|
|
224
|
+
bindings,
|
|
152
225
|
);
|
|
153
226
|
|
|
227
|
+
const jobCoordinator = new JobCoordinator(store, bindings);
|
|
228
|
+
jobCoordinator.registerStores([
|
|
229
|
+
capsuleStore,
|
|
230
|
+
senderTaggingStore,
|
|
231
|
+
recipientTaggingStore,
|
|
232
|
+
privateEventStore,
|
|
233
|
+
noteStore,
|
|
234
|
+
contractSyncService,
|
|
235
|
+
]);
|
|
236
|
+
|
|
237
|
+
const debugUtils = new PXEDebugUtils(contractSyncService, noteStore, synchronizer, anchorBlockStore);
|
|
238
|
+
|
|
154
239
|
const jobQueue = new SerialQueue();
|
|
155
240
|
|
|
156
241
|
const pxe = new PXE(
|
|
157
242
|
node,
|
|
158
243
|
synchronizer,
|
|
159
244
|
keyStore,
|
|
160
|
-
|
|
161
|
-
|
|
162
|
-
|
|
163
|
-
|
|
164
|
-
|
|
165
|
-
|
|
166
|
-
|
|
245
|
+
contractStore,
|
|
246
|
+
noteStore,
|
|
247
|
+
capsuleStore,
|
|
248
|
+
anchorBlockStore,
|
|
249
|
+
senderTaggingStore,
|
|
250
|
+
senderAddressBookStore,
|
|
251
|
+
recipientTaggingStore,
|
|
252
|
+
addressStore,
|
|
253
|
+
privateEventStore,
|
|
254
|
+
contractSyncService,
|
|
167
255
|
simulator,
|
|
168
256
|
proverEnabled,
|
|
169
257
|
proofCreator,
|
|
170
258
|
protocolContractsProvider,
|
|
171
259
|
log,
|
|
172
260
|
jobQueue,
|
|
261
|
+
jobCoordinator,
|
|
262
|
+
debugUtils,
|
|
263
|
+
);
|
|
264
|
+
|
|
265
|
+
debugUtils.setPXEHelpers(
|
|
266
|
+
pxe.#putInJobQueue.bind(pxe),
|
|
267
|
+
pxe.#getSimulatorForTx.bind(pxe),
|
|
268
|
+
pxe.#executeUtility.bind(pxe),
|
|
173
269
|
);
|
|
174
270
|
|
|
175
271
|
pxe.jobQueue.start();
|
|
176
272
|
|
|
177
273
|
await pxe.#registerProtocolContracts();
|
|
178
|
-
const info = await node.getNodeInfo();
|
|
179
274
|
log.info(`Started PXE connected to chain ${info.l1ChainId} version ${info.rollupVersion}`);
|
|
180
275
|
return pxe;
|
|
181
276
|
}
|
|
@@ -183,19 +278,22 @@ export class PXE {
|
|
|
183
278
|
// Internal methods
|
|
184
279
|
|
|
185
280
|
#getSimulatorForTx(overrides?: { contracts?: ContractOverrides }) {
|
|
186
|
-
const
|
|
187
|
-
|
|
188
|
-
|
|
189
|
-
|
|
190
|
-
this.
|
|
191
|
-
this.
|
|
192
|
-
this.
|
|
193
|
-
this.
|
|
194
|
-
this.
|
|
195
|
-
this.
|
|
196
|
-
this.
|
|
197
|
-
|
|
198
|
-
|
|
281
|
+
const proxyContractStore = ProxiedContractStoreFactory.create(this.contractStore, overrides?.contracts);
|
|
282
|
+
|
|
283
|
+
return new ContractFunctionSimulator({
|
|
284
|
+
contractStore: proxyContractStore,
|
|
285
|
+
noteStore: this.noteStore,
|
|
286
|
+
keyStore: this.keyStore,
|
|
287
|
+
addressStore: this.addressStore,
|
|
288
|
+
aztecNode: BenchmarkedNodeFactory.create(this.node),
|
|
289
|
+
senderTaggingStore: this.senderTaggingStore,
|
|
290
|
+
recipientTaggingStore: this.recipientTaggingStore,
|
|
291
|
+
senderAddressBookStore: this.senderAddressBookStore,
|
|
292
|
+
capsuleStore: this.capsuleStore,
|
|
293
|
+
privateEventStore: this.privateEventStore,
|
|
294
|
+
simulator: this.simulator,
|
|
295
|
+
contractSyncService: this.contractSyncService,
|
|
296
|
+
});
|
|
199
297
|
}
|
|
200
298
|
|
|
201
299
|
#contextualizeError(err: Error, ...context: string[]): Error {
|
|
@@ -218,7 +316,7 @@ export class PXE {
|
|
|
218
316
|
*
|
|
219
317
|
* Useful for tasks that cannot run concurrently, such as contract function simulation.
|
|
220
318
|
*/
|
|
221
|
-
#putInJobQueue<T>(fn: () => Promise<T>): Promise<T> {
|
|
319
|
+
#putInJobQueue<T>(fn: (jobId: string) => Promise<T>): Promise<T> {
|
|
222
320
|
// TODO(#12636): relax the conditions under which we forbid concurrency.
|
|
223
321
|
if (this.jobQueue.length() != 0) {
|
|
224
322
|
this.log.warn(
|
|
@@ -226,109 +324,98 @@ export class PXE {
|
|
|
226
324
|
);
|
|
227
325
|
}
|
|
228
326
|
|
|
229
|
-
return this.jobQueue.put(
|
|
327
|
+
return this.jobQueue.put(async () => {
|
|
328
|
+
const jobId = this.jobCoordinator.beginJob();
|
|
329
|
+
this.log.verbose(`Beginning job ${jobId}`);
|
|
330
|
+
|
|
331
|
+
try {
|
|
332
|
+
const result = await fn(jobId);
|
|
333
|
+
this.log.verbose(`Committing job ${jobId}`);
|
|
334
|
+
|
|
335
|
+
await this.jobCoordinator.commitJob(jobId);
|
|
336
|
+
return result;
|
|
337
|
+
} catch (err) {
|
|
338
|
+
this.log.verbose(`Aborting job ${jobId}`);
|
|
339
|
+
await this.jobCoordinator.abortJob(jobId);
|
|
340
|
+
throw err;
|
|
341
|
+
}
|
|
342
|
+
});
|
|
230
343
|
}
|
|
231
344
|
|
|
232
345
|
async #registerProtocolContracts() {
|
|
233
346
|
const registered: Record<string, string> = {};
|
|
234
347
|
for (const name of protocolContractNames) {
|
|
235
|
-
const { address,
|
|
236
|
-
|
|
237
|
-
await this.
|
|
238
|
-
await this.contractDataProvider.addContractInstance(instance);
|
|
348
|
+
const { address, instance, artifact } = await this.protocolContractsProvider.getProtocolContractArtifact(name);
|
|
349
|
+
await this.contractStore.addContractArtifact(artifact);
|
|
350
|
+
await this.contractStore.addContractInstance(instance);
|
|
239
351
|
registered[name] = address.toString();
|
|
240
352
|
}
|
|
241
353
|
this.log.verbose(`Registered protocol contracts in pxe`, registered);
|
|
242
354
|
}
|
|
243
355
|
|
|
244
|
-
async #isContractClassPubliclyRegistered(id: Fr): Promise<boolean> {
|
|
245
|
-
return !!(await this.node.getContractClass(id));
|
|
246
|
-
}
|
|
247
|
-
|
|
248
|
-
async #isContractPublished(address: AztecAddress): Promise<boolean> {
|
|
249
|
-
return !!(await this.node.getContract(address));
|
|
250
|
-
}
|
|
251
|
-
|
|
252
|
-
async #isContractInitialized(address: AztecAddress): Promise<boolean> {
|
|
253
|
-
const initNullifier = await siloNullifier(address, address.toField());
|
|
254
|
-
return !!(await this.node.getNullifierMembershipWitness('latest', initNullifier));
|
|
255
|
-
}
|
|
256
|
-
|
|
257
|
-
async #getFunctionCall(functionName: string, args: any[], to: AztecAddress): Promise<FunctionCall> {
|
|
258
|
-
const contract = await this.contractDataProvider.getContract(to);
|
|
259
|
-
if (!contract) {
|
|
260
|
-
throw new Error(
|
|
261
|
-
`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`,
|
|
262
|
-
);
|
|
263
|
-
}
|
|
264
|
-
|
|
265
|
-
const functionDao = contract.functions.find(f => f.name === functionName);
|
|
266
|
-
if (!functionDao) {
|
|
267
|
-
throw new Error(`Unknown function ${functionName} in contract ${contract.name}.`);
|
|
268
|
-
}
|
|
269
|
-
|
|
270
|
-
return {
|
|
271
|
-
name: functionDao.name,
|
|
272
|
-
args: encodeArguments(functionDao, args),
|
|
273
|
-
selector: await FunctionSelector.fromNameAndParameters(functionDao.name, functionDao.parameters),
|
|
274
|
-
type: functionDao.functionType,
|
|
275
|
-
to,
|
|
276
|
-
hideMsgSender: false,
|
|
277
|
-
isStatic: functionDao.isStatic,
|
|
278
|
-
returnTypes: functionDao.returnTypes,
|
|
279
|
-
};
|
|
280
|
-
}
|
|
281
|
-
|
|
282
356
|
// Executes the entrypoint private function, as well as all nested private
|
|
283
357
|
// functions that might arise.
|
|
284
358
|
async #executePrivate(
|
|
285
359
|
contractFunctionSimulator: ContractFunctionSimulator,
|
|
286
360
|
txRequest: TxExecutionRequest,
|
|
287
|
-
scopes
|
|
361
|
+
scopes: AccessScopes,
|
|
362
|
+
jobId: string,
|
|
288
363
|
): Promise<PrivateExecutionResult> {
|
|
289
364
|
const { origin: contractAddress, functionSelector } = txRequest;
|
|
290
365
|
|
|
291
366
|
try {
|
|
292
|
-
const
|
|
293
|
-
|
|
367
|
+
const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
|
|
368
|
+
|
|
369
|
+
await this.contractSyncService.ensureContractSynced(
|
|
294
370
|
contractAddress,
|
|
295
371
|
functionSelector,
|
|
296
|
-
|
|
297
|
-
|
|
298
|
-
|
|
299
|
-
|
|
372
|
+
(privateSyncCall, execScopes) =>
|
|
373
|
+
this.#executeUtility(contractFunctionSimulator, privateSyncCall, [], execScopes, jobId),
|
|
374
|
+
anchorBlockHeader,
|
|
375
|
+
jobId,
|
|
300
376
|
scopes,
|
|
301
377
|
);
|
|
378
|
+
|
|
379
|
+
const result = await contractFunctionSimulator.run(txRequest, {
|
|
380
|
+
contractAddress,
|
|
381
|
+
selector: functionSelector,
|
|
382
|
+
anchorBlockHeader,
|
|
383
|
+
scopes,
|
|
384
|
+
jobId,
|
|
385
|
+
});
|
|
302
386
|
this.log.debug(`Private simulation completed for ${contractAddress.toString()}:${functionSelector}`);
|
|
303
387
|
return result;
|
|
304
388
|
} catch (err) {
|
|
305
389
|
if (err instanceof SimulationError) {
|
|
306
|
-
await enrichSimulationError(err, this.
|
|
390
|
+
await enrichSimulationError(err, this.contractStore, this.log);
|
|
307
391
|
}
|
|
308
392
|
throw err;
|
|
309
393
|
}
|
|
310
394
|
}
|
|
311
395
|
|
|
312
396
|
/**
|
|
313
|
-
*
|
|
397
|
+
* Execute a utility function call on the given contract.
|
|
314
398
|
* @param contractFunctionSimulator - The simulator to use for the function call.
|
|
315
399
|
* @param call - The function call to execute.
|
|
316
400
|
* @param authWitnesses - Authentication witnesses required for the function call.
|
|
317
401
|
* @param scopes - Optional array of account addresses whose notes can be accessed in this call. Defaults to all
|
|
318
402
|
* accounts if not specified.
|
|
319
|
-
* @
|
|
403
|
+
* @param jobId - The job ID for staged writes.
|
|
404
|
+
* @returns The execution result containing the outputs of the utility function.
|
|
320
405
|
*/
|
|
321
|
-
async #
|
|
406
|
+
async #executeUtility(
|
|
322
407
|
contractFunctionSimulator: ContractFunctionSimulator,
|
|
323
408
|
call: FunctionCall,
|
|
324
|
-
authWitnesses
|
|
325
|
-
scopes
|
|
409
|
+
authWitnesses: AuthWitness[] | undefined,
|
|
410
|
+
scopes: AccessScopes,
|
|
411
|
+
jobId: string,
|
|
326
412
|
) {
|
|
327
413
|
try {
|
|
328
|
-
|
|
414
|
+
const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
|
|
415
|
+
return contractFunctionSimulator.runUtility(call, authWitnesses ?? [], anchorBlockHeader, scopes, jobId);
|
|
329
416
|
} catch (err) {
|
|
330
417
|
if (err instanceof SimulationError) {
|
|
331
|
-
await enrichSimulationError(err, this.
|
|
418
|
+
await enrichSimulationError(err, this.contractStore, this.log);
|
|
332
419
|
}
|
|
333
420
|
throw err;
|
|
334
421
|
}
|
|
@@ -352,7 +439,7 @@ export class PXE {
|
|
|
352
439
|
} catch (err) {
|
|
353
440
|
if (err instanceof SimulationError) {
|
|
354
441
|
try {
|
|
355
|
-
await enrichPublicSimulationError(err, this.
|
|
442
|
+
await enrichPublicSimulationError(err, this.contractStore, this.log);
|
|
356
443
|
} catch (enrichErr) {
|
|
357
444
|
this.log.error(`Failed to enrich public simulation error: ${enrichErr}`);
|
|
358
445
|
}
|
|
@@ -378,85 +465,45 @@ export class PXE {
|
|
|
378
465
|
privateExecutionResult: PrivateExecutionResult,
|
|
379
466
|
config: PrivateKernelExecutionProverConfig,
|
|
380
467
|
): Promise<PrivateKernelExecutionProofOutput<PrivateKernelTailCircuitPublicInputs>> {
|
|
381
|
-
const
|
|
382
|
-
const
|
|
383
|
-
|
|
384
|
-
|
|
385
|
-
|
|
386
|
-
|
|
468
|
+
const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
|
|
469
|
+
const anchorBlockHash = await anchorBlockHeader.hash();
|
|
470
|
+
const kernelOracle = new PrivateKernelOracle(this.contractStore, this.keyStore, this.node, anchorBlockHash);
|
|
471
|
+
const kernelTraceProver = new PrivateKernelExecutionProver(
|
|
472
|
+
kernelOracle,
|
|
473
|
+
proofCreator,
|
|
474
|
+
!this.proverEnabled,
|
|
475
|
+
this.log.getBindings(),
|
|
387
476
|
);
|
|
388
|
-
const kernelTraceProver = new PrivateKernelExecutionProver(kernelOracle, proofCreator, !this.proverEnabled);
|
|
389
477
|
this.log.debug(`Executing kernel trace prover (${JSON.stringify(config)})...`);
|
|
390
478
|
return await kernelTraceProver.proveWithKernels(txExecutionRequest.toTxRequest(), privateExecutionResult, config);
|
|
391
479
|
}
|
|
392
480
|
|
|
393
481
|
// Public API
|
|
394
482
|
|
|
395
|
-
|
|
396
|
-
|
|
483
|
+
/**
|
|
484
|
+
* Returns the block header up to which the PXE has synced.
|
|
485
|
+
* @returns The synced block header
|
|
486
|
+
*/
|
|
487
|
+
public getSyncedBlockHeader(): Promise<BlockHeader> {
|
|
488
|
+
return this.anchorBlockStore.getBlockHeader();
|
|
397
489
|
}
|
|
398
490
|
|
|
399
491
|
/**
|
|
400
|
-
* Returns the contract
|
|
401
|
-
*
|
|
402
|
-
* @
|
|
403
|
-
* @param id - Identifier of the class.
|
|
404
|
-
* @param includeArtifact - Identifier of the class.
|
|
405
|
-
* @returns - It returns the contract class metadata, with the artifact field being optional, and will only be returned if true is passed in
|
|
406
|
-
* for `includeArtifact`
|
|
407
|
-
* TODO(@spalladino): The PXE actually holds artifacts and not classes, what should we return? Also,
|
|
408
|
-
* should the pxe query the node for contract public info, and merge it with its own definitions?
|
|
409
|
-
* TODO(@spalladino): This method is strictly needed to decide whether to publicly register a class or not
|
|
410
|
-
* during a public deployment. We probably want a nicer and more general API for this, but it'll have to
|
|
411
|
-
* do for the time being.
|
|
492
|
+
* Returns the contract instance for a given address, if it's registered in the PXE.
|
|
493
|
+
* @param address - The contract address.
|
|
494
|
+
* @returns The contract instance if found, undefined otherwise.
|
|
412
495
|
*/
|
|
413
|
-
public
|
|
414
|
-
|
|
415
|
-
includeArtifact: boolean = false,
|
|
416
|
-
): Promise<{
|
|
417
|
-
contractClass: ContractClassWithId | undefined;
|
|
418
|
-
isContractClassPubliclyRegistered: boolean;
|
|
419
|
-
artifact: ContractArtifact | undefined;
|
|
420
|
-
}> {
|
|
421
|
-
const artifact = await this.contractDataProvider.getContractArtifact(id);
|
|
422
|
-
if (!artifact) {
|
|
423
|
-
this.log.warn(`No artifact found for contract class ${id.toString()} when looking for its metadata`);
|
|
424
|
-
}
|
|
425
|
-
|
|
426
|
-
return {
|
|
427
|
-
contractClass: artifact && (await getContractClassFromArtifact(artifact)),
|
|
428
|
-
isContractClassPubliclyRegistered: await this.#isContractClassPubliclyRegistered(id),
|
|
429
|
-
artifact: includeArtifact ? artifact : undefined,
|
|
430
|
-
};
|
|
496
|
+
public getContractInstance(address: AztecAddress): Promise<ContractInstanceWithAddress | undefined> {
|
|
497
|
+
return this.contractStore.getContractInstance(address);
|
|
431
498
|
}
|
|
432
499
|
|
|
433
500
|
/**
|
|
434
|
-
* Returns the contract
|
|
435
|
-
*
|
|
436
|
-
*
|
|
437
|
-
* and whether the contract instance with the given address has been publicly deployed.
|
|
438
|
-
* @remark - it queries the node to check whether the contract instance has been initialized / publicly deployed through a node.
|
|
439
|
-
* This query is not dependent on the PXE.
|
|
440
|
-
* @param address - The address that the contract instance resides at.
|
|
441
|
-
* @returns - It returns the contract metadata
|
|
442
|
-
* TODO(@spalladino): Should we return the public keys in plain as well here?
|
|
501
|
+
* Returns the contract artifact for a given contract class id, if it's registered in the PXE.
|
|
502
|
+
* @param id - Identifier of the contract class.
|
|
503
|
+
* @returns The contract artifact if found, undefined otherwise.
|
|
443
504
|
*/
|
|
444
|
-
public async
|
|
445
|
-
|
|
446
|
-
isContractInitialized: boolean;
|
|
447
|
-
isContractPublished: boolean;
|
|
448
|
-
}> {
|
|
449
|
-
let instance;
|
|
450
|
-
try {
|
|
451
|
-
instance = await this.contractDataProvider.getContractInstance(address);
|
|
452
|
-
} catch {
|
|
453
|
-
this.log.warn(`No instance found for contract ${address.toString()} when looking for its metadata`);
|
|
454
|
-
}
|
|
455
|
-
return {
|
|
456
|
-
contractInstance: instance,
|
|
457
|
-
isContractInitialized: await this.#isContractInitialized(address),
|
|
458
|
-
isContractPublished: await this.#isContractPublished(address),
|
|
459
|
-
};
|
|
505
|
+
public async getContractArtifact(id: Fr): Promise<ContractArtifact | undefined> {
|
|
506
|
+
return await this.contractStore.getContractArtifact(id);
|
|
460
507
|
}
|
|
461
508
|
|
|
462
509
|
/**
|
|
@@ -480,56 +527,57 @@ export class PXE {
|
|
|
480
527
|
this.log.debug(`Registered account\n ${accountCompleteAddress.toReadableString()}`);
|
|
481
528
|
}
|
|
482
529
|
|
|
483
|
-
await this.
|
|
484
|
-
await this.noteDataProvider.addScope(accountCompleteAddress.address);
|
|
530
|
+
await this.addressStore.addCompleteAddress(accountCompleteAddress);
|
|
485
531
|
return accountCompleteAddress;
|
|
486
532
|
}
|
|
487
533
|
|
|
488
534
|
/**
|
|
489
|
-
* Registers a
|
|
535
|
+
* Registers a sender in this PXE.
|
|
490
536
|
*
|
|
491
|
-
*
|
|
492
|
-
* Will do nothing if the
|
|
537
|
+
* After registering a new sender, the PXE will sync private logs that are tagged with this sender's address.
|
|
538
|
+
* Will do nothing if the address is already registered.
|
|
493
539
|
*
|
|
494
|
-
* @param
|
|
495
|
-
* @returns The address
|
|
540
|
+
* @param sender - Address of the sender to register.
|
|
541
|
+
* @returns The address of the sender.
|
|
542
|
+
* TODO: It's strange that we return the address here and I (benesjan) think we should drop the return value.
|
|
496
543
|
*/
|
|
497
|
-
public async registerSender(
|
|
544
|
+
public async registerSender(sender: AztecAddress): Promise<AztecAddress> {
|
|
498
545
|
const accounts = await this.keyStore.getAccounts();
|
|
499
|
-
if (accounts.includes(
|
|
500
|
-
this.log.info(`Sender:\n "${
|
|
501
|
-
return
|
|
546
|
+
if (accounts.includes(sender)) {
|
|
547
|
+
this.log.info(`Sender:\n "${sender.toString()}"\n already registered.`);
|
|
548
|
+
return sender;
|
|
502
549
|
}
|
|
503
550
|
|
|
504
|
-
const wasAdded = await this.
|
|
551
|
+
const wasAdded = await this.senderAddressBookStore.addSender(sender);
|
|
505
552
|
|
|
506
553
|
if (wasAdded) {
|
|
507
|
-
this.log.info(`Added sender:\n ${
|
|
554
|
+
this.log.info(`Added sender:\n ${sender.toString()}`);
|
|
508
555
|
} else {
|
|
509
|
-
this.log.info(`Sender:\n "${
|
|
556
|
+
this.log.info(`Sender:\n "${sender.toString()}"\n already registered.`);
|
|
510
557
|
}
|
|
511
558
|
|
|
512
|
-
return
|
|
559
|
+
return sender;
|
|
513
560
|
}
|
|
514
561
|
|
|
515
562
|
/**
|
|
516
|
-
* Retrieves
|
|
517
|
-
* @returns
|
|
563
|
+
* Retrieves senders registered in this PXE.
|
|
564
|
+
* @returns Senders registered in this PXE.
|
|
518
565
|
*/
|
|
519
566
|
public getSenders(): Promise<AztecAddress[]> {
|
|
520
|
-
return this.
|
|
567
|
+
return this.senderAddressBookStore.getSenders();
|
|
521
568
|
}
|
|
522
569
|
|
|
523
570
|
/**
|
|
524
|
-
* Removes a sender in
|
|
571
|
+
* Removes a sender registered in this PXE.
|
|
572
|
+
* @param sender - The address of the sender to remove.
|
|
525
573
|
*/
|
|
526
|
-
public async removeSender(
|
|
527
|
-
const wasRemoved = await this.
|
|
574
|
+
public async removeSender(sender: AztecAddress): Promise<void> {
|
|
575
|
+
const wasRemoved = await this.senderAddressBookStore.removeSender(sender);
|
|
528
576
|
|
|
529
577
|
if (wasRemoved) {
|
|
530
|
-
this.log.info(`Removed sender:\n ${
|
|
578
|
+
this.log.info(`Removed sender:\n ${sender.toString()}`);
|
|
531
579
|
} else {
|
|
532
|
-
this.log.info(`Sender:\n "${
|
|
580
|
+
this.log.info(`Sender:\n "${sender.toString()}"\n not registered in PXE.`);
|
|
533
581
|
}
|
|
534
582
|
}
|
|
535
583
|
|
|
@@ -539,7 +587,7 @@ export class PXE {
|
|
|
539
587
|
*/
|
|
540
588
|
public async getRegisteredAccounts(): Promise<CompleteAddress[]> {
|
|
541
589
|
// Get complete addresses of both the recipients and the accounts
|
|
542
|
-
const completeAddresses = await this.
|
|
590
|
+
const completeAddresses = await this.addressStore.getCompleteAddresses();
|
|
543
591
|
// Filter out the addresses not corresponding to accounts
|
|
544
592
|
const accounts = await this.keyStore.getAccounts();
|
|
545
593
|
return completeAddresses.filter(completeAddress =>
|
|
@@ -553,8 +601,7 @@ export class PXE {
|
|
|
553
601
|
* @param artifact - The build artifact for the contract class.
|
|
554
602
|
*/
|
|
555
603
|
public async registerContractClass(artifact: ContractArtifact): Promise<void> {
|
|
556
|
-
const
|
|
557
|
-
await this.contractDataProvider.addContractArtifact(contractClassId, artifact);
|
|
604
|
+
const contractClassId = await this.contractStore.addContractArtifact(artifact);
|
|
558
605
|
this.log.info(`Added contract class ${artifact.name} with id ${contractClassId}`);
|
|
559
606
|
}
|
|
560
607
|
|
|
@@ -573,17 +620,17 @@ export class PXE {
|
|
|
573
620
|
if (artifact) {
|
|
574
621
|
// If the user provides an artifact, validate it against the expected class id and register it
|
|
575
622
|
const contractClass = await getContractClassFromArtifact(artifact);
|
|
576
|
-
|
|
577
|
-
if (!contractClassId.equals(instance.currentContractClassId)) {
|
|
623
|
+
if (!contractClass.id.equals(instance.currentContractClassId)) {
|
|
578
624
|
throw new Error(
|
|
579
|
-
`Artifact does not match expected class id (computed ${
|
|
625
|
+
`Artifact does not match expected class id (computed ${contractClass.id} but instance refers to ${instance.currentContractClassId})`,
|
|
580
626
|
);
|
|
581
627
|
}
|
|
582
628
|
const computedAddress = await computeContractAddressFromInstance(instance);
|
|
583
629
|
if (!computedAddress.equals(instance.address)) {
|
|
584
630
|
throw new Error('Added a contract in which the address does not match the contract instance.');
|
|
585
631
|
}
|
|
586
|
-
|
|
632
|
+
|
|
633
|
+
await this.contractStore.addContractArtifact(artifact, contractClass);
|
|
587
634
|
|
|
588
635
|
const publicFunctionSignatures = artifact.functions
|
|
589
636
|
.filter(fn => fn.functionType === FunctionType.PUBLIC)
|
|
@@ -591,7 +638,7 @@ export class PXE {
|
|
|
591
638
|
await this.node.registerContractFunctionSignatures(publicFunctionSignatures);
|
|
592
639
|
} else {
|
|
593
640
|
// Otherwise, make sure there is an artifact already registered for that class id
|
|
594
|
-
artifact = await this.
|
|
641
|
+
artifact = await this.contractStore.getContractArtifact(instance.currentContractClassId);
|
|
595
642
|
if (!artifact) {
|
|
596
643
|
throw new Error(
|
|
597
644
|
`Artifact not found when registering an instance. Contract class: ${instance.currentContractClassId}.`,
|
|
@@ -599,7 +646,7 @@ export class PXE {
|
|
|
599
646
|
}
|
|
600
647
|
}
|
|
601
648
|
|
|
602
|
-
await this.
|
|
649
|
+
await this.contractStore.addContractInstance(instance);
|
|
603
650
|
this.log.info(
|
|
604
651
|
`Added contract ${artifact.name} at ${instance.address.toString()} with class ${instance.currentContractClassId}`,
|
|
605
652
|
);
|
|
@@ -618,35 +665,30 @@ export class PXE {
|
|
|
618
665
|
// We disable concurrently updating contracts to avoid concurrently syncing with the node, or changing a contract's
|
|
619
666
|
// class while we're simulating it.
|
|
620
667
|
return this.#putInJobQueue(async () => {
|
|
621
|
-
const currentInstance = await this.
|
|
668
|
+
const currentInstance = await this.contractStore.getContractInstance(contractAddress);
|
|
622
669
|
if (!currentInstance) {
|
|
623
670
|
throw new Error(`Instance not found when updating a contract. Contract address: ${contractAddress}.`);
|
|
624
671
|
}
|
|
625
672
|
const contractClass = await getContractClassFromArtifact(artifact);
|
|
626
|
-
await this.
|
|
673
|
+
await this.blockStateSynchronizer.sync();
|
|
627
674
|
|
|
628
|
-
const header = await this.
|
|
675
|
+
const header = await this.anchorBlockStore.getBlockHeader();
|
|
629
676
|
|
|
630
|
-
const currentClassId = await readCurrentClassId(
|
|
631
|
-
contractAddress,
|
|
632
|
-
currentInstance,
|
|
633
|
-
this.node,
|
|
634
|
-
header.globalVariables.blockNumber,
|
|
635
|
-
header.globalVariables.timestamp,
|
|
636
|
-
);
|
|
677
|
+
const currentClassId = await readCurrentClassId(contractAddress, currentInstance, this.node, header);
|
|
637
678
|
if (!contractClass.id.equals(currentClassId)) {
|
|
638
679
|
throw new Error('Could not update contract to a class different from the current one.');
|
|
639
680
|
}
|
|
640
681
|
|
|
641
|
-
await this.contractDataProvider.addContractArtifact(contractClass.id, artifact);
|
|
642
|
-
|
|
643
682
|
const publicFunctionSignatures = artifact.functions
|
|
644
683
|
.filter(fn => fn.functionType === FunctionType.PUBLIC)
|
|
645
684
|
.map(fn => decodeFunctionSignature(fn.name, fn.parameters));
|
|
646
685
|
await this.node.registerContractFunctionSignatures(publicFunctionSignatures);
|
|
647
686
|
|
|
648
687
|
currentInstance.currentContractClassId = contractClass.id;
|
|
649
|
-
await
|
|
688
|
+
await Promise.all([
|
|
689
|
+
this.contractStore.addContractArtifact(artifact, contractClass),
|
|
690
|
+
this.contractStore.addContractInstance(currentInstance),
|
|
691
|
+
]);
|
|
650
692
|
this.log.info(`Updated contract ${artifact.name} at ${contractAddress.toString()} to class ${contractClass.id}`);
|
|
651
693
|
});
|
|
652
694
|
}
|
|
@@ -656,26 +698,7 @@ export class PXE {
|
|
|
656
698
|
* @returns An array of contracts addresses registered on this PXE.
|
|
657
699
|
*/
|
|
658
700
|
public getContracts(): Promise<AztecAddress[]> {
|
|
659
|
-
return this.
|
|
660
|
-
}
|
|
661
|
-
|
|
662
|
-
/**
|
|
663
|
-
* A debugging utility to get notes based on the provided filter.
|
|
664
|
-
*
|
|
665
|
-
* Note that this should not be used in production code because the structure of notes is considered to be
|
|
666
|
-
* an implementation detail of contracts. This is only meant to be used for debugging purposes. If you need to obtain
|
|
667
|
-
* note-related information in production code, please implement a custom utility function on your contract and call
|
|
668
|
-
* that function instead (e.g. `get_balance(owner: AztecAddress) -> u128` utility function on a Token contract).
|
|
669
|
-
*
|
|
670
|
-
* @param filter - The filter to apply to the notes.
|
|
671
|
-
* @returns The requested notes.
|
|
672
|
-
*/
|
|
673
|
-
public async getNotes(filter: NotesFilter): Promise<NoteDao[]> {
|
|
674
|
-
// We need to manually trigger private state sync to have a guarantee that all the notes are available.
|
|
675
|
-
const call = await this.#getFunctionCall('sync_private_state', [], filter.contractAddress);
|
|
676
|
-
await this.simulateUtility(call);
|
|
677
|
-
|
|
678
|
-
return this.noteDataProvider.getNotes(filter);
|
|
701
|
+
return this.contractStore.getContractsAddresses();
|
|
679
702
|
}
|
|
680
703
|
|
|
681
704
|
/**
|
|
@@ -683,22 +706,23 @@ export class PXE {
|
|
|
683
706
|
* (where validators prove the public portion).
|
|
684
707
|
*
|
|
685
708
|
* @param txRequest - An authenticated tx request ready for proving
|
|
709
|
+
* @param scopes - Addresses whose private state and keys are accessible during private execution.
|
|
686
710
|
* @returns A result containing the proof and public inputs of the tail circuit.
|
|
687
711
|
* @throws If contract code not found, or public simulation reverts.
|
|
688
712
|
* Also throws if simulatePublic is true and public simulation reverts.
|
|
689
713
|
*/
|
|
690
|
-
public proveTx(txRequest: TxExecutionRequest): Promise<TxProvingResult> {
|
|
714
|
+
public proveTx(txRequest: TxExecutionRequest, scopes: AztecAddress[]): Promise<TxProvingResult> {
|
|
691
715
|
let privateExecutionResult: PrivateExecutionResult;
|
|
692
716
|
// We disable proving concurrently mostly out of caution, since it accesses some of our stores. Proving is so
|
|
693
717
|
// computationally demanding that it'd be rare for someone to try to do it concurrently regardless.
|
|
694
|
-
return this.#putInJobQueue(async
|
|
718
|
+
return this.#putInJobQueue(async jobId => {
|
|
695
719
|
const totalTimer = new Timer();
|
|
696
720
|
try {
|
|
697
721
|
const syncTimer = new Timer();
|
|
698
|
-
await this.
|
|
722
|
+
await this.blockStateSynchronizer.sync();
|
|
699
723
|
const syncTime = syncTimer.ms();
|
|
700
724
|
const contractFunctionSimulator = this.#getSimulatorForTx();
|
|
701
|
-
privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest);
|
|
725
|
+
privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest, scopes, jobId);
|
|
702
726
|
|
|
703
727
|
const {
|
|
704
728
|
publicInputs,
|
|
@@ -735,14 +759,22 @@ export class PXE {
|
|
|
735
759
|
nodeRPCCalls: contractFunctionSimulator?.getStats().nodeRPCCalls,
|
|
736
760
|
});
|
|
737
761
|
|
|
762
|
+
// While not strictly necessary to store tagging cache contents in the DB since we sync tagging indexes from
|
|
763
|
+
// chain before sending new logs, the sync can only see logs already included in blocks. If we send another
|
|
764
|
+
// transaction before this one is included in a block from this PXE, and that transaction contains a log with
|
|
765
|
+
// a tag derived from the same secret, we would reuse the tag and the transactions would be linked. Hence
|
|
766
|
+
// storing the tags here prevents linkage of txs sent from the same PXE.
|
|
738
767
|
const preTagsUsedInTheTx = privateExecutionResult.entrypoint.preTags;
|
|
739
768
|
if (preTagsUsedInTheTx.length > 0) {
|
|
740
|
-
|
|
741
|
-
|
|
769
|
+
// TODO(benesjan): The following is an expensive operation. Figure out a way to avoid it.
|
|
770
|
+
const txHash = (await txProvingResult.toTx()).txHash;
|
|
771
|
+
|
|
772
|
+
await this.senderTaggingStore.storePendingIndexes(preTagsUsedInTheTx, txHash, jobId);
|
|
773
|
+
this.log.debug(`Stored used pre-tags as sender for the tx`, {
|
|
742
774
|
preTagsUsedInTheTx,
|
|
743
775
|
});
|
|
744
776
|
} else {
|
|
745
|
-
this.log.debug(`No pre
|
|
777
|
+
this.log.debug(`No pre-tags used in the tx`);
|
|
746
778
|
}
|
|
747
779
|
|
|
748
780
|
return txProvingResult;
|
|
@@ -754,20 +786,16 @@ export class PXE {
|
|
|
754
786
|
|
|
755
787
|
/**
|
|
756
788
|
* Profiles a transaction, reporting gate counts (unless disabled) and returns an execution trace.
|
|
757
|
-
*
|
|
758
|
-
* @param txRequest - An authenticated tx request ready for simulation
|
|
759
|
-
* @param msgSender - (Optional) The message sender to use for the simulation.
|
|
760
|
-
* @param skipTxValidation - (Optional) If false, this function throws if the transaction is unable to be included in a block at the current state.
|
|
789
|
+
* @param txRequest - An authenticated tx request ready for simulation.
|
|
761
790
|
* @returns A trace of the program execution with gate counts.
|
|
762
791
|
* @throws If the code for the functions executed in this transaction have not been made available via `addContracts`.
|
|
763
792
|
*/
|
|
764
793
|
public profileTx(
|
|
765
794
|
txRequest: TxExecutionRequest,
|
|
766
|
-
profileMode
|
|
767
|
-
skipProofGeneration: boolean = true,
|
|
795
|
+
{ profileMode, skipProofGeneration = true, scopes }: ProfileTxOpts,
|
|
768
796
|
): Promise<TxProfileResult> {
|
|
769
797
|
// We disable concurrent profiles for consistency with simulateTx.
|
|
770
|
-
return this.#putInJobQueue(async
|
|
798
|
+
return this.#putInJobQueue(async jobId => {
|
|
771
799
|
const totalTimer = new Timer();
|
|
772
800
|
try {
|
|
773
801
|
const txInfo = {
|
|
@@ -783,11 +811,11 @@ export class PXE {
|
|
|
783
811
|
txInfo,
|
|
784
812
|
);
|
|
785
813
|
const syncTimer = new Timer();
|
|
786
|
-
await this.
|
|
814
|
+
await this.blockStateSynchronizer.sync();
|
|
787
815
|
const syncTime = syncTimer.ms();
|
|
788
816
|
|
|
789
817
|
const contractFunctionSimulator = this.#getSimulatorForTx();
|
|
790
|
-
const privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest);
|
|
818
|
+
const privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest, scopes, jobId);
|
|
791
819
|
|
|
792
820
|
const { executionSteps, timings: { proving } = {} } = await this.#prove(
|
|
793
821
|
txRequest,
|
|
@@ -844,12 +872,7 @@ export class PXE {
|
|
|
844
872
|
* In that case, the transaction returned is only potentially ready to be sent to the network for execution.
|
|
845
873
|
*
|
|
846
874
|
*
|
|
847
|
-
* @param txRequest - An authenticated tx request ready for simulation
|
|
848
|
-
* @param simulatePublic - Whether to simulate the public part of the transaction.
|
|
849
|
-
* @param skipTxValidation - (Optional) If false, this function throws if the transaction is unable to be included in a block at the current state.
|
|
850
|
-
* @param skipFeeEnforcement - (Optional) If false, fees are enforced.
|
|
851
|
-
* @param overrides - (Optional) State overrides for the simulation, such as msgSender, contract instances and artifacts.
|
|
852
|
-
* @param scopes - (Optional) The accounts whose notes we can access in this call. Currently optional and will default to all.
|
|
875
|
+
* @param txRequest - An authenticated tx request ready for simulation.
|
|
853
876
|
* @returns A simulated transaction result object that includes public and private return values.
|
|
854
877
|
* @throws If the code for the functions executed in this transaction have not been made available via `addContracts`.
|
|
855
878
|
* Also throws if simulatePublic is true and public simulation reverts.
|
|
@@ -858,16 +881,12 @@ export class PXE {
|
|
|
858
881
|
*/
|
|
859
882
|
public simulateTx(
|
|
860
883
|
txRequest: TxExecutionRequest,
|
|
861
|
-
simulatePublic:
|
|
862
|
-
skipTxValidation: boolean = false,
|
|
863
|
-
skipFeeEnforcement: boolean = false,
|
|
864
|
-
overrides?: SimulationOverrides,
|
|
865
|
-
scopes?: AztecAddress[],
|
|
884
|
+
{ simulatePublic, skipTxValidation = false, skipFeeEnforcement = false, overrides, scopes }: SimulateTxOpts,
|
|
866
885
|
): Promise<TxSimulationResult> {
|
|
867
886
|
// We disable concurrent simulations since those might execute oracles which read and write to the PXE stores (e.g.
|
|
868
887
|
// to the capsules), and we need to prevent concurrent runs from interfering with one another (e.g. attempting to
|
|
869
888
|
// delete the same read value, or reading values that another simulation is currently modifying).
|
|
870
|
-
return this.#putInJobQueue(async
|
|
889
|
+
return this.#putInJobQueue(async jobId => {
|
|
871
890
|
try {
|
|
872
891
|
const totalTimer = new Timer();
|
|
873
892
|
const txInfo = {
|
|
@@ -883,31 +902,33 @@ export class PXE {
|
|
|
883
902
|
txInfo,
|
|
884
903
|
);
|
|
885
904
|
const syncTimer = new Timer();
|
|
886
|
-
await this.
|
|
905
|
+
await this.blockStateSynchronizer.sync();
|
|
887
906
|
const syncTime = syncTimer.ms();
|
|
888
907
|
|
|
889
908
|
const contractFunctionSimulator = this.#getSimulatorForTx(overrides);
|
|
890
909
|
// Temporary: in case there are overrides, we have to skip the kernels or validations
|
|
891
910
|
// will fail. Consider handing control to the user/wallet on whether they want to run them
|
|
892
911
|
// or not.
|
|
893
|
-
const
|
|
912
|
+
const overriddenContracts = overrides?.contracts ? new Set(Object.keys(overrides.contracts)) : undefined;
|
|
913
|
+
const hasOverriddenContracts = overriddenContracts !== undefined && overriddenContracts.size > 0;
|
|
914
|
+
const skipKernels = hasOverriddenContracts;
|
|
915
|
+
|
|
916
|
+
// Set overridden contracts on the sync service so it knows to skip syncing them
|
|
917
|
+
if (hasOverriddenContracts) {
|
|
918
|
+
this.contractSyncService.setOverriddenContracts(jobId, overriddenContracts);
|
|
919
|
+
}
|
|
894
920
|
|
|
895
921
|
// Execution of private functions only; no proving, and no kernel logic.
|
|
896
|
-
const privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest, scopes);
|
|
922
|
+
const privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest, scopes, jobId);
|
|
897
923
|
|
|
898
924
|
let publicInputs: PrivateKernelTailCircuitPublicInputs | undefined;
|
|
899
925
|
let executionSteps: PrivateExecutionStep[] = [];
|
|
900
926
|
|
|
901
927
|
if (skipKernels) {
|
|
902
|
-
// According to the protocol rules, the nonce generator for the note hashes
|
|
903
|
-
// can either be the first nullifier in the tx or the protocol nullifier if there are none.
|
|
904
|
-
const nonceGenerator = privateExecutionResult.firstNullifier.equals(Fr.ZERO)
|
|
905
|
-
? await computeProtocolNullifier(await txRequest.toTxRequest().hash())
|
|
906
|
-
: privateExecutionResult.firstNullifier;
|
|
907
928
|
({ publicInputs, executionSteps } = await generateSimulatedProvingResult(
|
|
908
929
|
privateExecutionResult,
|
|
909
|
-
|
|
910
|
-
this.
|
|
930
|
+
(addr, sel) => this.contractStore.getDebugFunctionName(addr, sel),
|
|
931
|
+
this.node,
|
|
911
932
|
));
|
|
912
933
|
} else {
|
|
913
934
|
// Kernel logic, plus proving of all private functions and kernels.
|
|
@@ -926,6 +947,9 @@ export class PXE {
|
|
|
926
947
|
const publicSimulationTimer = new Timer();
|
|
927
948
|
publicOutput = await this.#simulatePublicCalls(simulatedTx, skipFeeEnforcement);
|
|
928
949
|
publicSimulationTime = publicSimulationTimer.ms();
|
|
950
|
+
if (publicOutput?.debugLogs?.length) {
|
|
951
|
+
await displayDebugLogs(publicOutput.debugLogs, addr => this.contractStore.getDebugContractName(addr));
|
|
952
|
+
}
|
|
929
953
|
}
|
|
930
954
|
|
|
931
955
|
let validationTime: number | undefined;
|
|
@@ -985,38 +1009,50 @@ export class PXE {
|
|
|
985
1009
|
inspect(txRequest),
|
|
986
1010
|
`simulatePublic=${simulatePublic}`,
|
|
987
1011
|
`skipTxValidation=${skipTxValidation}`,
|
|
988
|
-
`scopes=${scopes
|
|
1012
|
+
`scopes=${scopes === 'ALL_SCOPES' ? scopes : scopes.map(s => s.toString()).join(', ')}`,
|
|
989
1013
|
);
|
|
990
1014
|
}
|
|
991
1015
|
});
|
|
992
1016
|
}
|
|
993
1017
|
|
|
994
1018
|
/**
|
|
995
|
-
*
|
|
996
|
-
*
|
|
1019
|
+
* Executes a contract utility function.
|
|
997
1020
|
* @param call - The function call containing the function details, arguments, and target contract address.
|
|
998
|
-
* @param authwits - (Optional) The authentication witnesses required for the function call.
|
|
999
|
-
* @param scopes - (Optional) The accounts whose notes we can access in this call. Currently optional and will
|
|
1000
|
-
* default to all.
|
|
1001
|
-
* @returns The result of the utility function call, structured based on the function ABI.
|
|
1002
1021
|
*/
|
|
1003
|
-
public
|
|
1022
|
+
public executeUtility(
|
|
1004
1023
|
call: FunctionCall,
|
|
1005
|
-
authwits
|
|
1006
|
-
|
|
1007
|
-
|
|
1008
|
-
// We disable concurrent simulations since those might execute oracles which read and write to the PXE stores (e.g.
|
|
1024
|
+
{ authwits, scopes }: ExecuteUtilityOpts = { scopes: 'ALL_SCOPES' },
|
|
1025
|
+
): Promise<UtilityExecutionResult> {
|
|
1026
|
+
// We disable concurrent executions since those might execute oracles which read and write to the PXE stores (e.g.
|
|
1009
1027
|
// to the capsules), and we need to prevent concurrent runs from interfering with one another (e.g. attempting to
|
|
1010
|
-
// delete the same read value, or reading values that another
|
|
1011
|
-
return this.#putInJobQueue(async
|
|
1028
|
+
// delete the same read value, or reading values that another execution is currently modifying).
|
|
1029
|
+
return this.#putInJobQueue(async jobId => {
|
|
1012
1030
|
try {
|
|
1013
1031
|
const totalTimer = new Timer();
|
|
1014
1032
|
const syncTimer = new Timer();
|
|
1015
|
-
await this.
|
|
1033
|
+
await this.blockStateSynchronizer.sync();
|
|
1016
1034
|
const syncTime = syncTimer.ms();
|
|
1017
1035
|
const functionTimer = new Timer();
|
|
1018
1036
|
const contractFunctionSimulator = this.#getSimulatorForTx();
|
|
1019
|
-
|
|
1037
|
+
|
|
1038
|
+
const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
|
|
1039
|
+
await this.contractSyncService.ensureContractSynced(
|
|
1040
|
+
call.to,
|
|
1041
|
+
call.selector,
|
|
1042
|
+
(privateSyncCall, execScopes) =>
|
|
1043
|
+
this.#executeUtility(contractFunctionSimulator, privateSyncCall, [], execScopes, jobId),
|
|
1044
|
+
anchorBlockHeader,
|
|
1045
|
+
jobId,
|
|
1046
|
+
scopes,
|
|
1047
|
+
);
|
|
1048
|
+
|
|
1049
|
+
const executionResult = await this.#executeUtility(
|
|
1050
|
+
contractFunctionSimulator,
|
|
1051
|
+
call,
|
|
1052
|
+
authwits ?? [],
|
|
1053
|
+
scopes,
|
|
1054
|
+
jobId,
|
|
1055
|
+
);
|
|
1020
1056
|
const functionTime = functionTimer.ms();
|
|
1021
1057
|
|
|
1022
1058
|
const totalTime = totalTimer.ms();
|
|
@@ -1037,8 +1073,8 @@ export class PXE {
|
|
|
1037
1073
|
const stringifiedArgs = args.map(arg => arg.toString()).join(', ');
|
|
1038
1074
|
throw this.#contextualizeError(
|
|
1039
1075
|
err,
|
|
1040
|
-
`
|
|
1041
|
-
`scopes=${scopes
|
|
1076
|
+
`executeUtility ${to}:${name}(${stringifiedArgs})`,
|
|
1077
|
+
`scopes=${scopes === 'ALL_SCOPES' ? scopes : scopes.map(s => s.toString()).join(', ')}`,
|
|
1042
1078
|
);
|
|
1043
1079
|
}
|
|
1044
1080
|
});
|
|
@@ -1061,17 +1097,35 @@ export class PXE {
|
|
|
1061
1097
|
eventSelector: EventSelector,
|
|
1062
1098
|
filter: PrivateEventFilter,
|
|
1063
1099
|
): Promise<PackedPrivateEvent[]> {
|
|
1064
|
-
|
|
1065
|
-
|
|
1066
|
-
await this
|
|
1100
|
+
let anchorBlockNumber: BlockNumber;
|
|
1101
|
+
|
|
1102
|
+
await this.#putInJobQueue(async jobId => {
|
|
1103
|
+
await this.blockStateSynchronizer.sync();
|
|
1104
|
+
|
|
1105
|
+
const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
|
|
1106
|
+
anchorBlockNumber = anchorBlockHeader.getBlockNumber();
|
|
1107
|
+
|
|
1108
|
+
const contractFunctionSimulator = this.#getSimulatorForTx();
|
|
1109
|
+
|
|
1110
|
+
await this.contractSyncService.ensureContractSynced(
|
|
1111
|
+
filter.contractAddress,
|
|
1112
|
+
null,
|
|
1113
|
+
async (privateSyncCall, execScopes) =>
|
|
1114
|
+
await this.#executeUtility(contractFunctionSimulator, privateSyncCall, [], execScopes, jobId),
|
|
1115
|
+
anchorBlockHeader,
|
|
1116
|
+
jobId,
|
|
1117
|
+
filter.scopes,
|
|
1118
|
+
);
|
|
1119
|
+
});
|
|
1067
1120
|
|
|
1068
|
-
|
|
1121
|
+
// anchorBlockNumber is set during the job and fixed to whatever it is after a block sync
|
|
1122
|
+
const sanitizedFilter = new PrivateEventFilterValidator(anchorBlockNumber!).validate(filter);
|
|
1069
1123
|
|
|
1070
|
-
this.log.
|
|
1124
|
+
this.log.debug(
|
|
1071
1125
|
`Getting private events for ${sanitizedFilter.contractAddress.toString()} from ${sanitizedFilter.fromBlock} to ${sanitizedFilter.toBlock}`,
|
|
1072
1126
|
);
|
|
1073
1127
|
|
|
1074
|
-
return this.
|
|
1128
|
+
return this.privateEventStore.getPrivateEvents(eventSelector, sanitizedFilter);
|
|
1075
1129
|
}
|
|
1076
1130
|
|
|
1077
1131
|
/**
|