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