@aztec/pxe 0.0.1-commit.b9865e97 → 0.0.1-commit.be03c316
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dest/bin/check_oracle_version.js +8 -23
- package/dest/bin/index.d.ts +2 -2
- package/dest/bin/index.d.ts.map +1 -1
- package/dest/bin/index.js +1 -1
- package/dest/bin/oracle_version_helpers.d.ts +16 -8
- package/dest/bin/oracle_version_helpers.d.ts.map +1 -1
- package/dest/bin/oracle_version_helpers.js +22 -69
- package/dest/block_synchronizer/block_stream_source.d.ts +5 -5
- package/dest/block_synchronizer/block_stream_source.d.ts.map +1 -1
- package/dest/block_synchronizer/block_stream_source.js +4 -29
- package/dest/block_synchronizer/block_synchronizer.d.ts +18 -14
- package/dest/block_synchronizer/block_synchronizer.d.ts.map +1 -1
- package/dest/block_synchronizer/block_synchronizer.js +54 -18
- package/dest/config/index.d.ts +2 -1
- package/dest/config/index.d.ts.map +1 -1
- package/dest/config/index.js +1 -0
- package/dest/contract/contract_class_service.d.ts +31 -0
- package/dest/contract/contract_class_service.d.ts.map +1 -0
- package/dest/contract/contract_class_service.js +68 -0
- package/dest/contract/contract_sync_service.d.ts +48 -0
- package/dest/contract/contract_sync_service.d.ts.map +1 -0
- package/dest/{contract_sync → contract}/contract_sync_service.js +26 -45
- package/dest/contract/helpers.d.ts +7 -0
- package/dest/contract/helpers.d.ts.map +1 -0
- package/dest/contract/helpers.js +20 -0
- package/dest/contract/skip_sync_contracts.d.ts +11 -0
- package/dest/contract/skip_sync_contracts.d.ts.map +1 -0
- package/dest/contract/skip_sync_contracts.js +18 -0
- package/dest/contract_function_simulator/anchored_contract_data.d.ts +36 -0
- package/dest/contract_function_simulator/anchored_contract_data.d.ts.map +1 -0
- package/dest/contract_function_simulator/anchored_contract_data.js +54 -0
- package/dest/contract_function_simulator/aztec_node_read_cache.d.ts +39 -0
- package/dest/contract_function_simulator/aztec_node_read_cache.d.ts.map +1 -0
- package/dest/contract_function_simulator/aztec_node_read_cache.js +60 -0
- package/dest/contract_function_simulator/contract_function_simulator.d.ts +19 -18
- package/dest/contract_function_simulator/contract_function_simulator.d.ts.map +1 -1
- package/dest/contract_function_simulator/contract_function_simulator.js +63 -32
- package/dest/contract_function_simulator/execution_note_cache.d.ts +3 -9
- package/dest/contract_function_simulator/execution_note_cache.d.ts.map +1 -1
- package/dest/contract_function_simulator/execution_note_cache.js +8 -28
- package/dest/contract_function_simulator/index.d.ts +19 -10
- package/dest/contract_function_simulator/index.d.ts.map +1 -1
- package/dest/contract_function_simulator/index.js +6 -9
- package/dest/contract_function_simulator/noir-structs/bounded_vec.d.ts +8 -27
- package/dest/contract_function_simulator/noir-structs/bounded_vec.d.ts.map +1 -1
- package/dest/contract_function_simulator/noir-structs/bounded_vec.js +8 -23
- package/dest/contract_function_simulator/noir-structs/contract_class_log_data.d.ts +9 -0
- package/dest/contract_function_simulator/noir-structs/contract_class_log_data.d.ts.map +1 -0
- package/dest/contract_function_simulator/noir-structs/contract_class_log_data.js +1 -0
- package/dest/contract_function_simulator/noir-structs/embedded_curve_point.d.ts +7 -0
- package/dest/contract_function_simulator/noir-structs/embedded_curve_point.d.ts.map +1 -0
- package/dest/contract_function_simulator/noir-structs/embedded_curve_point.js +1 -0
- package/dest/contract_function_simulator/noir-structs/event_validation_request.js +1 -1
- package/dest/contract_function_simulator/noir-structs/fact.d.ts +16 -0
- package/dest/contract_function_simulator/noir-structs/fact.d.ts.map +1 -0
- package/dest/contract_function_simulator/noir-structs/fact.js +6 -0
- package/dest/contract_function_simulator/noir-structs/fact_collection.d.ts +27 -0
- package/dest/contract_function_simulator/noir-structs/fact_collection.d.ts.map +1 -0
- package/dest/contract_function_simulator/noir-structs/fact_collection.js +31 -0
- package/dest/contract_function_simulator/noir-structs/log_retrieval_request.d.ts +11 -12
- 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 +6 -49
- package/dest/contract_function_simulator/noir-structs/log_retrieval_response.d.ts +10 -8
- 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 -60
- package/dest/contract_function_simulator/noir-structs/note_validation_request.js +2 -2
- package/dest/contract_function_simulator/noir-structs/option.d.ts +9 -11
- package/dest/contract_function_simulator/noir-structs/option.d.ts.map +1 -1
- package/dest/contract_function_simulator/noir-structs/option.js +18 -13
- package/dest/contract_function_simulator/noir-structs/origin_block.d.ts +11 -0
- package/dest/contract_function_simulator/noir-structs/origin_block.d.ts.map +1 -0
- package/dest/contract_function_simulator/noir-structs/origin_block.js +5 -0
- package/dest/contract_function_simulator/noir-structs/pending_tagged_log.d.ts +11 -0
- package/dest/contract_function_simulator/noir-structs/pending_tagged_log.d.ts.map +1 -0
- package/dest/contract_function_simulator/noir-structs/pending_tagged_log.js +4 -0
- package/dest/contract_function_simulator/noir-structs/provided_secret.d.ts +6 -9
- package/dest/contract_function_simulator/noir-structs/provided_secret.d.ts.map +1 -1
- package/dest/contract_function_simulator/noir-structs/provided_secret.js +1 -24
- package/dest/contract_function_simulator/noir-structs/resolved_tagging_strategy.d.ts +28 -0
- package/dest/contract_function_simulator/noir-structs/resolved_tagging_strategy.d.ts.map +1 -0
- package/dest/contract_function_simulator/noir-structs/resolved_tagging_strategy.js +50 -0
- package/dest/contract_function_simulator/noir-structs/resolved_tx.d.ts +19 -0
- package/dest/contract_function_simulator/noir-structs/resolved_tx.d.ts.map +1 -0
- package/dest/contract_function_simulator/noir-structs/resolved_tx.js +9 -0
- package/dest/contract_function_simulator/noir-structs/tx_effect_data.d.ts +15 -0
- package/dest/contract_function_simulator/noir-structs/tx_effect_data.d.ts.map +1 -0
- package/dest/contract_function_simulator/noir-structs/tx_effect_data.js +5 -0
- package/dest/contract_function_simulator/noir-structs/utility_context.d.ts +6 -11
- package/dest/contract_function_simulator/noir-structs/utility_context.d.ts.map +1 -1
- package/dest/contract_function_simulator/noir-structs/utility_context.js +1 -20
- package/dest/contract_function_simulator/oracle/acir_callback.d.ts +21 -0
- package/dest/contract_function_simulator/oracle/acir_callback.d.ts.map +1 -0
- package/dest/contract_function_simulator/oracle/acir_callback.js +115 -0
- package/dest/contract_function_simulator/oracle/index.d.ts +2 -13
- package/dest/contract_function_simulator/oracle/index.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/index.js +1 -1
- package/dest/contract_function_simulator/oracle/interfaces.d.ts +2 -3
- package/dest/contract_function_simulator/oracle/interfaces.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/legacy_oracle_registry.d.ts +39 -0
- package/dest/contract_function_simulator/oracle/legacy_oracle_registry.d.ts.map +1 -0
- package/dest/contract_function_simulator/oracle/legacy_oracle_registry.js +107 -0
- package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts +3 -14
- 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 -24
- package/dest/contract_function_simulator/oracle/oracle_registry.d.ts +43 -31
- package/dest/contract_function_simulator/oracle/oracle_registry.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/oracle_registry.js +259 -29
- package/dest/contract_function_simulator/oracle/oracle_type_mappings.d.ts +180 -45
- package/dest/contract_function_simulator/oracle/oracle_type_mappings.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/oracle_type_mappings.js +1024 -341
- package/dest/contract_function_simulator/oracle/private_execution.d.ts +1 -1
- package/dest/contract_function_simulator/oracle/private_execution.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/private_execution.js +2 -3
- package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts +21 -8
- package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/private_execution_oracle.js +132 -22
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts +77 -34
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.js +247 -106
- package/dest/contract_function_simulator/transient_array_service.d.ts +31 -0
- package/dest/contract_function_simulator/transient_array_service.d.ts.map +1 -0
- package/dest/contract_function_simulator/transient_array_service.js +62 -0
- package/dest/debug/pxe_debug_utils.d.ts +2 -2
- package/dest/debug/pxe_debug_utils.d.ts.map +1 -1
- package/dest/entrypoints/client/bundle/index.d.ts +2 -1
- package/dest/entrypoints/client/bundle/index.d.ts.map +1 -1
- package/dest/entrypoints/client/bundle/index.js +1 -0
- 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 +17 -6
- package/dest/entrypoints/client/lazy/index.d.ts +2 -1
- package/dest/entrypoints/client/lazy/index.d.ts.map +1 -1
- package/dest/entrypoints/client/lazy/index.js +1 -0
- package/dest/entrypoints/client/lazy/utils.d.ts +1 -1
- package/dest/entrypoints/client/lazy/utils.d.ts.map +1 -1
- package/dest/entrypoints/client/lazy/utils.js +17 -6
- package/dest/entrypoints/client/store.d.ts +14 -0
- package/dest/entrypoints/client/store.d.ts.map +1 -0
- package/dest/entrypoints/client/store.js +42 -0
- package/dest/entrypoints/pxe_creation_options.d.ts +9 -3
- package/dest/entrypoints/pxe_creation_options.d.ts.map +1 -1
- package/dest/entrypoints/server/index.d.ts +6 -3
- package/dest/entrypoints/server/index.d.ts.map +1 -1
- package/dest/entrypoints/server/index.js +4 -2
- package/dest/entrypoints/server/store.d.ts +18 -0
- package/dest/entrypoints/server/store.d.ts.map +1 -0
- package/dest/entrypoints/server/store.js +28 -0
- 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 +16 -4
- package/dest/error_enriching.d.ts +5 -3
- package/dest/error_enriching.d.ts.map +1 -1
- package/dest/error_enriching.js +13 -11
- package/dest/hooks/execution_hooks.d.ts +31 -11
- package/dest/hooks/execution_hooks.d.ts.map +1 -1
- package/dest/hooks/execution_hooks.js +3 -3
- package/dest/hooks/index.d.ts +4 -3
- package/dest/hooks/index.d.ts.map +1 -1
- package/dest/hooks/index.js +1 -0
- package/dest/hooks/resolve_custom_request.d.ts +23 -0
- package/dest/hooks/resolve_custom_request.d.ts.map +1 -0
- package/dest/hooks/resolve_custom_request.js +3 -0
- package/dest/hooks/resolve_tagging_secret_strategy.d.ts +50 -0
- package/dest/hooks/resolve_tagging_secret_strategy.d.ts.map +1 -0
- package/dest/hooks/resolve_tagging_secret_strategy.js +3 -0
- package/dest/logs/log_service.d.ts +8 -6
- package/dest/logs/log_service.d.ts.map +1 -1
- package/dest/logs/log_service.js +88 -28
- package/dest/messages/tx_resolver_service.d.ts +17 -0
- package/dest/messages/tx_resolver_service.d.ts.map +1 -0
- package/dest/messages/{message_context_service.js → tx_resolver_service.js} +13 -8
- package/dest/notes/note_service.d.ts +1 -1
- package/dest/notes/note_service.js +1 -1
- package/dest/oracle_version.d.ts +3 -3
- package/dest/oracle_version.js +5 -5
- package/dest/private_kernel/batch_planner.d.ts +1 -1
- package/dest/private_kernel/batch_planner.d.ts.map +1 -1
- package/dest/private_kernel/batch_planner.js +1 -1
- package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts +1 -1
- package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts.map +1 -1
- package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.js +6 -2
- package/dest/private_kernel/hints/test_utils.js +1 -1
- package/dest/private_kernel/private_kernel_execution_prover.d.ts +1 -1
- package/dest/private_kernel/private_kernel_execution_prover.d.ts.map +1 -1
- package/dest/private_kernel/private_kernel_execution_prover.js +61 -40
- package/dest/private_kernel/private_kernel_oracle.d.ts +4 -2
- package/dest/private_kernel/private_kernel_oracle.d.ts.map +1 -1
- package/dest/private_kernel/private_kernel_oracle.js +17 -5
- package/dest/pxe.d.ts +114 -48
- package/dest/pxe.d.ts.map +1 -1
- package/dest/pxe.js +225 -139
- package/dest/storage/allowed_scopes.d.ts +6 -0
- package/dest/storage/allowed_scopes.d.ts.map +1 -0
- package/dest/storage/allowed_scopes.js +7 -0
- package/dest/storage/anchor_block_store/anchor_block_store.d.ts +9 -6
- package/dest/storage/anchor_block_store/anchor_block_store.d.ts.map +1 -1
- package/dest/storage/anchor_block_store/anchor_block_store.js +8 -6
- package/dest/storage/backwards_compatibility_tests/schema_tests.d.ts +1 -1
- package/dest/storage/backwards_compatibility_tests/schema_tests.d.ts.map +1 -1
- package/dest/storage/backwards_compatibility_tests/schema_tests.js +129 -49
- package/dest/storage/capsule_store/capsule_service.d.ts +1 -1
- package/dest/storage/capsule_store/capsule_service.d.ts.map +1 -1
- package/dest/storage/capsule_store/capsule_service.js +6 -9
- package/dest/storage/contract_store/contract_store.d.ts +27 -24
- package/dest/storage/contract_store/contract_store.d.ts.map +1 -1
- package/dest/storage/contract_store/contract_store.js +64 -75
- package/dest/storage/fact_store/fact_service.d.ts +22 -0
- package/dest/storage/fact_store/fact_service.d.ts.map +1 -0
- package/dest/storage/fact_store/fact_service.js +45 -0
- package/dest/storage/fact_store/fact_store.d.ts +95 -0
- package/dest/storage/fact_store/fact_store.d.ts.map +1 -0
- package/dest/storage/fact_store/fact_store.js +408 -0
- package/dest/storage/fact_store/fact_store_keys.d.ts +34 -0
- package/dest/storage/fact_store/fact_store_keys.d.ts.map +1 -0
- package/dest/storage/fact_store/fact_store_keys.js +50 -0
- package/dest/storage/fact_store/index.d.ts +6 -0
- package/dest/storage/fact_store/index.d.ts.map +1 -0
- package/dest/storage/fact_store/index.js +4 -0
- package/dest/storage/fact_store/origin_state.d.ts +59 -0
- package/dest/storage/fact_store/origin_state.d.ts.map +1 -0
- package/dest/storage/fact_store/origin_state.js +60 -0
- package/dest/storage/fact_store/stored_fact.d.ts +32 -0
- package/dest/storage/fact_store/stored_fact.d.ts.map +1 -0
- package/dest/storage/fact_store/stored_fact.js +64 -0
- package/dest/storage/index.d.ts +3 -2
- package/dest/storage/index.d.ts.map +1 -1
- package/dest/storage/index.js +2 -1
- package/dest/storage/metadata.d.ts +2 -2
- package/dest/storage/metadata.d.ts.map +1 -1
- package/dest/storage/metadata.js +1 -1
- package/dest/storage/note_store/note_store.d.ts +42 -33
- package/dest/storage/note_store/note_store.d.ts.map +1 -1
- package/dest/storage/note_store/note_store.js +197 -168
- package/dest/storage/note_store/stored_note.d.ts +3 -8
- package/dest/storage/note_store/stored_note.d.ts.map +1 -1
- package/dest/storage/note_store/stored_note.js +4 -20
- package/dest/storage/open_pxe_stores.d.ts +5 -3
- package/dest/storage/open_pxe_stores.d.ts.map +1 -1
- package/dest/storage/open_pxe_stores.js +5 -3
- package/dest/storage/private_event_store/private_event_store.d.ts +13 -16
- package/dest/storage/private_event_store/private_event_store.d.ts.map +1 -1
- package/dest/storage/private_event_store/private_event_store.js +40 -43
- package/dest/storage/store_identity.d.ts +35 -0
- package/dest/storage/store_identity.d.ts.map +1 -0
- package/dest/storage/store_identity.js +44 -0
- package/dest/storage/tagging_store/index.d.ts +2 -2
- package/dest/storage/tagging_store/index.d.ts.map +1 -1
- package/dest/storage/tagging_store/index.js +1 -1
- package/dest/storage/tagging_store/sender_tagging_store.d.ts +19 -3
- package/dest/storage/tagging_store/sender_tagging_store.d.ts.map +1 -1
- package/dest/storage/tagging_store/sender_tagging_store.js +48 -11
- package/dest/storage/tagging_store/tagging_secret_sources_store.d.ts +51 -0
- package/dest/storage/tagging_store/tagging_secret_sources_store.d.ts.map +1 -0
- package/dest/storage/tagging_store/tagging_secret_sources_store.js +105 -0
- package/dest/tagging/constants.d.ts +3 -2
- package/dest/tagging/constants.d.ts.map +1 -1
- package/dest/tagging/constants.js +28 -10
- package/dest/tagging/index.d.ts +2 -2
- package/dest/tagging/index.d.ts.map +1 -1
- package/dest/tagging/index.js +1 -1
- package/dest/tagging/recipient_sync/sync_tagged_private_logs.d.ts +26 -8
- package/dest/tagging/recipient_sync/sync_tagged_private_logs.d.ts.map +1 -1
- package/dest/tagging/recipient_sync/sync_tagged_private_logs.js +95 -20
- package/dest/tagging/sender_sync/sync_sender_tagging_indexes.js +1 -1
- package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts +1 -1
- package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts.map +1 -1
- package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.js +6 -2
- package/dest/tagging/testing/tag_query_test_utils.d.ts +6 -0
- package/dest/tagging/testing/tag_query_test_utils.d.ts.map +1 -0
- package/dest/tagging/testing/tag_query_test_utils.js +10 -0
- package/package.json +17 -17
- package/src/bin/check_oracle_version.ts +8 -24
- package/src/bin/index.ts +1 -1
- package/src/bin/oracle_version_helpers.ts +23 -90
- package/src/block_synchronizer/block_stream_source.ts +6 -45
- package/src/block_synchronizer/block_synchronizer.ts +70 -29
- package/src/config/index.ts +1 -0
- package/src/contract/contract_class_service.ts +83 -0
- package/src/{contract_sync → contract}/contract_sync_service.ts +37 -50
- package/src/contract/helpers.ts +35 -0
- package/src/contract/skip_sync_contracts.ts +23 -0
- package/src/contract_function_simulator/anchored_contract_data.ts +74 -0
- package/src/contract_function_simulator/aztec_node_read_cache.ts +89 -0
- package/src/contract_function_simulator/contract_function_simulator.ts +96 -42
- package/src/contract_function_simulator/execution_note_cache.ts +7 -28
- package/src/contract_function_simulator/index.ts +48 -13
- package/src/contract_function_simulator/noir-structs/bounded_vec.ts +12 -24
- package/src/contract_function_simulator/noir-structs/contract_class_log_data.ts +9 -0
- package/src/contract_function_simulator/noir-structs/embedded_curve_point.ts +4 -0
- package/src/contract_function_simulator/noir-structs/event_validation_request.ts +1 -1
- package/src/contract_function_simulator/noir-structs/fact.ts +13 -0
- package/src/contract_function_simulator/noir-structs/fact_collection.ts +64 -0
- package/src/contract_function_simulator/noir-structs/log_retrieval_request.ts +20 -46
- package/src/contract_function_simulator/noir-structs/log_retrieval_response.ts +13 -60
- package/src/contract_function_simulator/noir-structs/note_validation_request.ts +2 -2
- package/src/contract_function_simulator/noir-structs/option.ts +17 -11
- package/src/contract_function_simulator/noir-structs/origin_block.ts +8 -0
- package/src/contract_function_simulator/noir-structs/pending_tagged_log.ts +12 -0
- package/src/contract_function_simulator/noir-structs/provided_secret.ts +4 -26
- package/src/contract_function_simulator/noir-structs/resolved_tagging_strategy.ts +66 -0
- package/src/contract_function_simulator/noir-structs/resolved_tx.ts +19 -0
- package/src/contract_function_simulator/noir-structs/tx_effect_data.ts +16 -0
- package/src/contract_function_simulator/noir-structs/utility_context.ts +5 -17
- package/src/contract_function_simulator/oracle/acir_callback.ts +154 -0
- package/src/contract_function_simulator/oracle/index.ts +1 -15
- package/src/contract_function_simulator/oracle/interfaces.ts +1 -2
- package/src/contract_function_simulator/oracle/legacy_oracle_registry.ts +147 -0
- package/src/contract_function_simulator/oracle/message_load_oracle_inputs.ts +6 -21
- package/src/contract_function_simulator/oracle/oracle_registry.ts +172 -47
- package/src/contract_function_simulator/oracle/oracle_type_mappings.ts +814 -315
- package/src/contract_function_simulator/oracle/private_execution.ts +2 -3
- package/src/contract_function_simulator/oracle/private_execution_oracle.ts +167 -30
- package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +399 -135
- package/src/contract_function_simulator/transient_array_service.ts +91 -0
- package/src/debug/pxe_debug_utils.ts +1 -1
- package/src/entrypoints/client/bundle/index.ts +1 -0
- package/src/entrypoints/client/bundle/utils.ts +24 -5
- package/src/entrypoints/client/lazy/index.ts +1 -0
- package/src/entrypoints/client/lazy/utils.ts +24 -5
- package/src/entrypoints/client/store.ts +54 -0
- package/src/entrypoints/pxe_creation_options.ts +8 -2
- package/src/entrypoints/server/index.ts +6 -2
- package/src/entrypoints/server/store.ts +47 -0
- package/src/entrypoints/server/utils.ts +31 -9
- package/src/error_enriching.ts +27 -11
- package/src/hooks/execution_hooks.ts +32 -12
- package/src/hooks/index.ts +8 -2
- package/src/hooks/resolve_custom_request.ts +24 -0
- package/src/hooks/resolve_tagging_secret_strategy.ts +60 -0
- package/src/logs/log_service.ts +100 -37
- package/src/messages/{message_context_service.ts → tx_resolver_service.ts} +16 -9
- package/src/notes/note_service.ts +1 -1
- package/src/oracle_version.ts +5 -5
- package/src/private_kernel/batch_planner.ts +0 -1
- package/src/private_kernel/hints/private_kernel_reset_private_inputs_builder.ts +11 -1
- package/src/private_kernel/hints/test_utils.ts +1 -1
- package/src/private_kernel/private_kernel_execution_prover.ts +112 -56
- package/src/private_kernel/private_kernel_oracle.ts +23 -4
- package/src/pxe.ts +328 -159
- package/src/storage/allowed_scopes.ts +14 -0
- package/src/storage/anchor_block_store/anchor_block_store.ts +8 -6
- package/src/storage/backwards_compatibility_tests/__snapshots__/AddressStore.json +6 -6
- package/src/storage/backwards_compatibility_tests/__snapshots__/ContractStore.json +1 -1
- package/src/storage/backwards_compatibility_tests/__snapshots__/FactStore.json +40 -0
- package/src/storage/backwards_compatibility_tests/__snapshots__/KeyStore.json +12 -12
- package/src/storage/backwards_compatibility_tests/__snapshots__/L2TipsKVStore.json +9 -15
- package/src/storage/backwards_compatibility_tests/__snapshots__/NoteStore.json +24 -4
- package/src/storage/backwards_compatibility_tests/__snapshots__/RecipientTaggingStore.json +11 -3
- package/src/storage/backwards_compatibility_tests/__snapshots__/SenderTaggingStore.json +12 -4
- package/src/storage/backwards_compatibility_tests/__snapshots__/TaggingSecretSourcesStore.json +30 -0
- package/src/storage/backwards_compatibility_tests/__snapshots__/opened_stores.json +29 -9
- package/src/storage/backwards_compatibility_tests/schema_tests.ts +141 -50
- package/src/storage/capsule_store/capsule_service.ts +8 -13
- package/src/storage/contract_store/contract_store.ts +86 -93
- package/src/storage/fact_store/fact_service.ts +69 -0
- package/src/storage/fact_store/fact_store.ts +487 -0
- package/src/storage/fact_store/fact_store_keys.ts +75 -0
- package/src/storage/fact_store/index.ts +15 -0
- package/src/storage/fact_store/origin_state.ts +84 -0
- package/src/storage/fact_store/stored_fact.ts +80 -0
- package/src/storage/index.ts +2 -1
- package/src/storage/metadata.ts +1 -1
- package/src/storage/note_store/note_store.ts +226 -187
- package/src/storage/note_store/stored_note.ts +5 -27
- package/src/storage/open_pxe_stores.ts +6 -3
- package/src/storage/private_event_store/private_event_store.ts +49 -55
- package/src/storage/store_identity.ts +72 -0
- package/src/storage/tagging_store/index.ts +1 -1
- package/src/storage/tagging_store/sender_tagging_store.ts +62 -15
- package/src/storage/tagging_store/tagging_secret_sources_store.ts +138 -0
- package/src/tagging/constants.ts +30 -10
- package/src/tagging/index.ts +1 -1
- package/src/tagging/recipient_sync/sync_tagged_private_logs.ts +148 -30
- package/src/tagging/sender_sync/sync_sender_tagging_indexes.ts +1 -1
- package/src/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.ts +6 -2
- package/src/tagging/testing/tag_query_test_utils.ts +11 -0
- package/dest/contract_function_simulator/oracle/oracle.d.ts +0 -89
- package/dest/contract_function_simulator/oracle/oracle.d.ts.map +0 -1
- package/dest/contract_function_simulator/oracle/oracle.js +0 -552
- package/dest/contract_function_simulator/proxied_contract_data_source.d.ts +0 -6
- package/dest/contract_function_simulator/proxied_contract_data_source.d.ts.map +0 -1
- package/dest/contract_function_simulator/proxied_contract_data_source.js +0 -51
- package/dest/contract_sync/contract_sync_service.d.ts +0 -42
- package/dest/contract_sync/contract_sync_service.d.ts.map +0 -1
- package/dest/contract_sync/helpers.d.ts +0 -27
- package/dest/contract_sync/helpers.d.ts.map +0 -1
- package/dest/contract_sync/helpers.js +0 -53
- package/dest/messages/message_context_service.d.ts +0 -17
- package/dest/messages/message_context_service.d.ts.map +0 -1
- package/dest/storage/tagging_store/sender_address_book_store.d.ts +0 -14
- package/dest/storage/tagging_store/sender_address_book_store.d.ts.map +0 -1
- package/dest/storage/tagging_store/sender_address_book_store.js +0 -36
- package/src/contract_function_simulator/oracle/oracle.ts +0 -711
- package/src/contract_function_simulator/proxied_contract_data_source.ts +0 -60
- package/src/contract_sync/helpers.ts +0 -86
- package/src/storage/backwards_compatibility_tests/__snapshots__/SenderAddressBookStore.json +0 -16
- package/src/storage/tagging_store/sender_address_book_store.ts +0 -48
|
@@ -3,7 +3,7 @@ import { toArray } from '@aztec/foundation/iterable';
|
|
|
3
3
|
import { BufferReader, numToUInt8, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
4
4
|
import { FunctionCall, FunctionSelector, FunctionType, contractArtifactFromBuffer, contractArtifactToBuffer, encodeArguments, findFunctionAbiBySelector, findFunctionArtifactBySelector, getFunctionDebugMetadata } from '@aztec/stdlib/abi';
|
|
5
5
|
import { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
6
|
-
import {
|
|
6
|
+
import { SerializableContractInstancePreimage, getContractClassFromArtifact } from '@aztec/stdlib/contract';
|
|
7
7
|
import { PrivateFunctionsTree } from './private_functions_tree.js';
|
|
8
8
|
const VERSION = 1;
|
|
9
9
|
/**
|
|
@@ -63,7 +63,6 @@ const VERSION = 1;
|
|
|
63
63
|
* Artifacts are large but immutable after registration — safe to cache for the lifetime of the store.
|
|
64
64
|
*/ // TODO: Update it to be LRU cache so that it doesn't keep all the data all the time.
|
|
65
65
|
#contractArtifactCache = new Map();
|
|
66
|
-
/** Map from contract address to contract class id (avoids KV round-trip on hot path). */ #contractClassIdMap = new Map();
|
|
67
66
|
#store;
|
|
68
67
|
#contractArtifacts;
|
|
69
68
|
#contractClassData;
|
|
@@ -77,9 +76,10 @@ const VERSION = 1;
|
|
|
77
76
|
// Setters
|
|
78
77
|
/**
|
|
79
78
|
* Registers a new contract artifact and its corresponding class data.
|
|
80
|
-
*
|
|
81
|
-
*
|
|
82
|
-
*
|
|
79
|
+
*
|
|
80
|
+
* IMPORTANT: This method does not verify that the provided artifact matches the class data or that the class id
|
|
81
|
+
* matches the artifact. It is the caller's responsibility to ensure the consistency and correctness of the provided
|
|
82
|
+
* data. This is done to avoid redundant, expensive contract class computations.
|
|
83
83
|
*/ async addContractArtifact(contract, contractClassWithIdAndPreimage) {
|
|
84
84
|
const contractClass = contractClassWithIdAndPreimage ?? await getContractClassFromArtifact(contract);
|
|
85
85
|
const key = contractClass.id.toString();
|
|
@@ -100,22 +100,10 @@ const VERSION = 1;
|
|
|
100
100
|
}
|
|
101
101
|
async addContractInstance(contract) {
|
|
102
102
|
await this.#store.transactionAsync(async ()=>{
|
|
103
|
-
await this.#contractInstances.set(contract.address.toString(), new
|
|
103
|
+
await this.#contractInstances.set(contract.address.toString(), new SerializableContractInstancePreimage(contract).toBuffer());
|
|
104
104
|
});
|
|
105
|
-
this.#contractClassIdMap.set(contract.address.toString(), contract.currentContractClassId);
|
|
106
105
|
}
|
|
107
106
|
// Private getters
|
|
108
|
-
async #getContractClassId(contractAddress) {
|
|
109
|
-
const key = contractAddress.toString();
|
|
110
|
-
if (!this.#contractClassIdMap.has(key)) {
|
|
111
|
-
const instance = await this.getContractInstance(contractAddress);
|
|
112
|
-
if (!instance) {
|
|
113
|
-
return;
|
|
114
|
-
}
|
|
115
|
-
this.#contractClassIdMap.set(key, instance.currentContractClassId);
|
|
116
|
-
}
|
|
117
|
-
return this.#contractClassIdMap.get(key);
|
|
118
|
-
}
|
|
119
107
|
async #getPrivateFunctionTreeForClassId(classId) {
|
|
120
108
|
if (!this.#privateFunctionTrees.has(classId.toString())) {
|
|
121
109
|
const artifact = await this.getContractArtifact(classId);
|
|
@@ -127,21 +115,17 @@ const VERSION = 1;
|
|
|
127
115
|
}
|
|
128
116
|
return this.#privateFunctionTrees.get(classId.toString());
|
|
129
117
|
}
|
|
130
|
-
async #getArtifactByAddress(contractAddress) {
|
|
131
|
-
const classId = await this.#getContractClassId(contractAddress);
|
|
132
|
-
return classId && this.getContractArtifact(classId);
|
|
133
|
-
}
|
|
134
118
|
// Public getters
|
|
135
119
|
getContractsAddresses() {
|
|
136
120
|
return this.#store.transactionAsync(async ()=>{
|
|
137
121
|
const keys = await toArray(this.#contractInstances.keysAsync());
|
|
138
|
-
return keys.map(AztecAddress.
|
|
122
|
+
return keys.map(AztecAddress.fromStringUnsafe);
|
|
139
123
|
});
|
|
140
124
|
}
|
|
141
|
-
/** Returns
|
|
125
|
+
/** Returns the address preimage of a given address. */ getContractInstance(contractAddress) {
|
|
142
126
|
return this.#store.transactionAsync(async ()=>{
|
|
143
127
|
const contract = await this.#contractInstances.getAsync(contractAddress.toString());
|
|
144
|
-
return contract &&
|
|
128
|
+
return contract && SerializableContractInstancePreimage.fromBuffer(contract).withAddress(contractAddress);
|
|
145
129
|
});
|
|
146
130
|
}
|
|
147
131
|
/** Returns the raw contract artifact for a given class id. */ async getContractArtifact(contractClassId) {
|
|
@@ -176,76 +160,68 @@ const VERSION = 1;
|
|
|
176
160
|
packedBytecode
|
|
177
161
|
};
|
|
178
162
|
}
|
|
179
|
-
async getContract(address) {
|
|
180
|
-
const instance = await this.getContractInstance(address);
|
|
181
|
-
if (!instance) {
|
|
182
|
-
return;
|
|
183
|
-
}
|
|
184
|
-
const artifact = await this.getContractArtifact(instance.currentContractClassId);
|
|
185
|
-
if (!artifact) {
|
|
186
|
-
return;
|
|
187
|
-
}
|
|
188
|
-
return {
|
|
189
|
-
...instance,
|
|
190
|
-
...artifact
|
|
191
|
-
};
|
|
192
|
-
}
|
|
193
163
|
/**
|
|
194
|
-
* Retrieves the artifact of a specified function within a given contract.
|
|
164
|
+
* Retrieves the artifact of a specified function within a given contract class.
|
|
195
165
|
*
|
|
196
|
-
* @param
|
|
166
|
+
* @param contractClassId - The id of the contract class containing the function.
|
|
197
167
|
* @param selector - The function selector.
|
|
198
|
-
* @returns The corresponding function's artifact as an object.
|
|
199
|
-
*/ async getFunctionArtifact(
|
|
200
|
-
const artifact = await this
|
|
168
|
+
* @returns The corresponding function's artifact as an object, or `undefined` if the class is not registered.
|
|
169
|
+
*/ async getFunctionArtifact(contractClassId, selector) {
|
|
170
|
+
const artifact = await this.getContractArtifact(contractClassId);
|
|
201
171
|
if (!artifact) {
|
|
202
172
|
return undefined;
|
|
203
173
|
}
|
|
204
|
-
const fn = await findFunctionArtifactBySelector(artifact, selector)
|
|
205
|
-
|
|
174
|
+
const fn = assertSelectorInArtifact(artifact, await findFunctionArtifactBySelector(artifact, selector), {
|
|
175
|
+
contractClassId,
|
|
176
|
+
selector
|
|
177
|
+
});
|
|
178
|
+
return {
|
|
206
179
|
...fn,
|
|
207
180
|
contractName: artifact.name
|
|
208
181
|
};
|
|
209
182
|
}
|
|
210
|
-
|
|
211
|
-
|
|
183
|
+
/**
|
|
184
|
+
* Same as {@link getFunctionArtifact} but with debug metadata attached. Returns `undefined` when the class artifact
|
|
185
|
+
* is not registered.
|
|
186
|
+
*/ async getFunctionArtifactWithDebugMetadata(contractClassId, selector) {
|
|
187
|
+
const artifact = await this.getContractArtifact(contractClassId);
|
|
212
188
|
if (!artifact) {
|
|
213
|
-
|
|
189
|
+
return undefined;
|
|
214
190
|
}
|
|
215
|
-
const
|
|
191
|
+
const fn = assertSelectorInArtifact(artifact, await findFunctionArtifactBySelector(artifact, selector), {
|
|
192
|
+
contractClassId,
|
|
193
|
+
selector
|
|
194
|
+
});
|
|
216
195
|
return {
|
|
217
|
-
...
|
|
218
|
-
|
|
196
|
+
...fn,
|
|
197
|
+
contractName: artifact.name,
|
|
198
|
+
debug: getFunctionDebugMetadata(artifact, fn)
|
|
219
199
|
};
|
|
220
200
|
}
|
|
221
|
-
async getPublicFunctionArtifact(
|
|
222
|
-
const artifact = await this
|
|
201
|
+
async getPublicFunctionArtifact(contractClassId) {
|
|
202
|
+
const artifact = await this.getContractArtifact(contractClassId);
|
|
223
203
|
const fn = artifact && artifact.functions.find((f)=>f.functionType === FunctionType.PUBLIC);
|
|
224
204
|
return fn && {
|
|
225
205
|
...fn,
|
|
226
206
|
contractName: artifact.name
|
|
227
207
|
};
|
|
228
208
|
}
|
|
229
|
-
async getFunctionAbi(contractAddress, selector) {
|
|
230
|
-
const artifact = await this.#getArtifactByAddress(contractAddress);
|
|
231
|
-
return artifact && await findFunctionAbiBySelector(artifact, selector);
|
|
232
|
-
}
|
|
233
209
|
/**
|
|
234
|
-
* Retrieves the debug metadata of a specified function within a given contract.
|
|
210
|
+
* Retrieves the debug metadata of a specified function within a given contract class.
|
|
235
211
|
*
|
|
236
|
-
* @param
|
|
212
|
+
* @param contractClassId - The id of the contract class containing the function.
|
|
237
213
|
* @param selector - The function selector.
|
|
238
214
|
* @returns The corresponding function's debug metadata, or undefined.
|
|
239
|
-
*/ async getFunctionDebugMetadata(
|
|
240
|
-
const artifact = await this
|
|
215
|
+
*/ async getFunctionDebugMetadata(contractClassId, selector) {
|
|
216
|
+
const artifact = await this.getContractArtifact(contractClassId);
|
|
241
217
|
if (!artifact) {
|
|
242
218
|
return undefined;
|
|
243
219
|
}
|
|
244
220
|
const fn = await findFunctionArtifactBySelector(artifact, selector);
|
|
245
221
|
return fn && getFunctionDebugMetadata(artifact, fn);
|
|
246
222
|
}
|
|
247
|
-
async getPublicFunctionDebugMetadata(
|
|
248
|
-
const artifact = await this
|
|
223
|
+
async getPublicFunctionDebugMetadata(contractClassId) {
|
|
224
|
+
const artifact = await this.getContractArtifact(contractClassId);
|
|
249
225
|
const fn = artifact && artifact.functions.find((f)=>f.functionType === FunctionType.PUBLIC);
|
|
250
226
|
return fn && getFunctionDebugMetadata(artifact, fn);
|
|
251
227
|
}
|
|
@@ -259,23 +235,23 @@ const VERSION = 1;
|
|
|
259
235
|
const tree = await this.#getPrivateFunctionTreeForClassId(contractClassId);
|
|
260
236
|
return tree?.getFunctionMembershipWitness(selector);
|
|
261
237
|
}
|
|
262
|
-
async getDebugContractName(
|
|
263
|
-
const artifact = await this
|
|
238
|
+
async getDebugContractName(contractClassId) {
|
|
239
|
+
const artifact = await this.getContractArtifact(contractClassId);
|
|
264
240
|
return artifact?.name;
|
|
265
241
|
}
|
|
266
|
-
async getDebugFunctionName(
|
|
267
|
-
const artifact = await this
|
|
242
|
+
async getDebugFunctionName(contractClassId, selector) {
|
|
243
|
+
const artifact = await this.getContractArtifact(contractClassId);
|
|
268
244
|
const fn = artifact && await findFunctionAbiBySelector(artifact, selector);
|
|
269
|
-
return `${artifact?.name ??
|
|
245
|
+
return `${artifact?.name ?? contractClassId}:${fn?.name ?? selector}`;
|
|
270
246
|
}
|
|
271
|
-
async getFunctionCall(functionName, args, to) {
|
|
272
|
-
const
|
|
273
|
-
if (!
|
|
274
|
-
throw new Error(`
|
|
247
|
+
async getFunctionCall(functionName, args, to, contractClassId) {
|
|
248
|
+
const artifact = await this.getContractArtifact(contractClassId);
|
|
249
|
+
if (!artifact) {
|
|
250
|
+
throw new Error(`No artifact registered for contract class ${contractClassId} (contract ${to}): register it by calling ` + `wallet.registerContract(...).\nSee docs for context: https://docs.aztec.network/errors/14`);
|
|
275
251
|
}
|
|
276
|
-
const functionDao =
|
|
252
|
+
const functionDao = artifact.functions.find((f)=>f.name === functionName);
|
|
277
253
|
if (!functionDao) {
|
|
278
|
-
throw new Error(`Unknown function ${functionName} in contract ${
|
|
254
|
+
throw new Error(`Unknown function ${functionName} in contract ${artifact.name}.`);
|
|
279
255
|
}
|
|
280
256
|
const selector = await FunctionSelector.fromNameAndParameters(functionDao.name, functionDao.parameters);
|
|
281
257
|
return FunctionCall.from({
|
|
@@ -290,3 +266,16 @@ const VERSION = 1;
|
|
|
290
266
|
});
|
|
291
267
|
}
|
|
292
268
|
}
|
|
269
|
+
/**
|
|
270
|
+
* Narrows the result of a selector lookup against a registered artifact. A missing class artifact is reported as
|
|
271
|
+
* `undefined` by the callers (an absence they can handle), but a selector that is absent from an artifact we *do* have
|
|
272
|
+
* is exceptional and throws rather than returning undefined. We cannot tell from here why the selector is missing: it
|
|
273
|
+
* may be that no such function exists in the contract (a wrong selector), or that the registered artifact does not
|
|
274
|
+
* correspond to the resolved class id (registration performs no validation, so a mismatched artifact is possible). The
|
|
275
|
+
* error names both possibilities.
|
|
276
|
+
*/ function assertSelectorInArtifact(artifact, fn, context) {
|
|
277
|
+
if (!fn) {
|
|
278
|
+
throw new Error(`Function with selector ${context.selector} not found in the registered artifact for contract class ` + `${context.contractClassId} (${artifact.name}). Either no function with this selector exists in the ` + `contract, or the registered artifact does not match the class id (re-register it via ` + `wallet.registerContract(...)).`);
|
|
279
|
+
}
|
|
280
|
+
return fn;
|
|
281
|
+
}
|
|
@@ -0,0 +1,22 @@
|
|
|
1
|
+
import type { Fr } from '@aztec/foundation/curves/bn254';
|
|
2
|
+
import type { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
3
|
+
import type { FactStore } from './fact_store.js';
|
|
4
|
+
import type { FactCollectionKey, FactCollectionTypeKey, OriginBlock } from './fact_store_keys.js';
|
|
5
|
+
import { type FactCollectionWithOriginState, type TipBlockNumbers } from './origin_state.js';
|
|
6
|
+
/**
|
|
7
|
+
* Wraps a {@link FactStore} with scope-based access control.
|
|
8
|
+
*
|
|
9
|
+
* Each method asserts scope validity before delegating to FactStore, gating which accounts a contract may record facts
|
|
10
|
+
* under or read facts from.
|
|
11
|
+
*/
|
|
12
|
+
export declare class FactService {
|
|
13
|
+
#private;
|
|
14
|
+
private readonly factStore;
|
|
15
|
+
private readonly allowedScopes;
|
|
16
|
+
constructor(factStore: FactStore, allowedScopes: AztecAddress[]);
|
|
17
|
+
recordFact(factCollectionKey: FactCollectionKey, factTypeId: Fr, payload: Fr[], originBlock: OriginBlock | undefined, jobId: string): Promise<void>;
|
|
18
|
+
deleteFactCollection(factCollectionKey: FactCollectionKey, jobId: string): Promise<void>;
|
|
19
|
+
getFactCollection(factCollectionKey: FactCollectionKey, tips: TipBlockNumbers, jobId: string): Promise<FactCollectionWithOriginState | undefined>;
|
|
20
|
+
getFactCollectionsByType(factCollectionTypeKey: FactCollectionTypeKey, tips: TipBlockNumbers, jobId: string): Promise<FactCollectionWithOriginState[]>;
|
|
21
|
+
}
|
|
22
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZmFjdF9zZXJ2aWNlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvc3RvcmFnZS9mYWN0X3N0b3JlL2ZhY3Rfc2VydmljZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUN6RCxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUdoRSxPQUFPLEtBQUssRUFBRSxTQUFTLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUNqRCxPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBRSxxQkFBcUIsRUFBRSxXQUFXLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUNsRyxPQUFPLEVBQ0wsS0FBSyw2QkFBNkIsRUFFbEMsS0FBSyxlQUFlLEVBRXJCLE1BQU0sbUJBQW1CLENBQUM7QUFHM0I7Ozs7O0dBS0c7QUFDSCxxQkFBYSxXQUFXOztJQUVwQixPQUFPLENBQUMsUUFBUSxDQUFDLFNBQVM7SUFDMUIsT0FBTyxDQUFDLFFBQVEsQ0FBQyxhQUFhO0lBRmhDLFlBQ21CLFNBQVMsRUFBRSxTQUFTLEVBQ3BCLGFBQWEsRUFBRSxZQUFZLEVBQUUsRUFDNUM7SUFFSixVQUFVLENBQ1IsaUJBQWlCLEVBQUUsaUJBQWlCLEVBQ3BDLFVBQVUsRUFBRSxFQUFFLEVBQ2QsT0FBTyxFQUFFLEVBQUUsRUFBRSxFQUNiLFdBQVcsRUFBRSxXQUFXLEdBQUcsU0FBUyxFQUNwQyxLQUFLLEVBQUUsTUFBTSxHQUNaLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FHZjtJQUVELG9CQUFvQixDQUFDLGlCQUFpQixFQUFFLGlCQUFpQixFQUFFLEtBQUssRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUd2RjtJQUVLLGlCQUFpQixDQUNyQixpQkFBaUIsRUFBRSxpQkFBaUIsRUFDcEMsSUFBSSxFQUFFLGVBQWUsRUFDckIsS0FBSyxFQUFFLE1BQU0sR0FDWixPQUFPLENBQUMsNkJBQTZCLEdBQUcsU0FBUyxDQUFDLENBT3BEO0lBRUssd0JBQXdCLENBQzVCLHFCQUFxQixFQUFFLHFCQUFxQixFQUM1QyxJQUFJLEVBQUUsZUFBZSxFQUNyQixLQUFLLEVBQUUsTUFBTSxHQUNaLE9BQU8sQ0FBQyw2QkFBNkIsRUFBRSxDQUFDLENBSTFDO0NBS0YifQ==
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"fact_service.d.ts","sourceRoot":"","sources":["../../../src/storage/fact_store/fact_service.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAGhE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAClG,OAAO,EACL,KAAK,6BAA6B,EAElC,KAAK,eAAe,EAErB,MAAM,mBAAmB,CAAC;AAG3B;;;;;GAKG;AACH,qBAAa,WAAW;;IAEpB,OAAO,CAAC,QAAQ,CAAC,SAAS;IAC1B,OAAO,CAAC,QAAQ,CAAC,aAAa;IAFhC,YACmB,SAAS,EAAE,SAAS,EACpB,aAAa,EAAE,YAAY,EAAE,EAC5C;IAEJ,UAAU,CACR,iBAAiB,EAAE,iBAAiB,EACpC,UAAU,EAAE,EAAE,EACd,OAAO,EAAE,EAAE,EAAE,EACb,WAAW,EAAE,WAAW,GAAG,SAAS,EACpC,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC,IAAI,CAAC,CAGf;IAED,oBAAoB,CAAC,iBAAiB,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAGvF;IAEK,iBAAiB,CACrB,iBAAiB,EAAE,iBAAiB,EACpC,IAAI,EAAE,eAAe,EACrB,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC,6BAA6B,GAAG,SAAS,CAAC,CAOpD;IAEK,wBAAwB,CAC5B,qBAAqB,EAAE,qBAAqB,EAC5C,IAAI,EAAE,eAAe,EACrB,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC,6BAA6B,EAAE,CAAC,CAI1C;CAKF"}
|
|
@@ -0,0 +1,45 @@
|
|
|
1
|
+
import { assertAllowedScope } from '../allowed_scopes.js';
|
|
2
|
+
import { toFactWithOriginState } from './origin_state.js';
|
|
3
|
+
/**
|
|
4
|
+
* Wraps a {@link FactStore} with scope-based access control.
|
|
5
|
+
*
|
|
6
|
+
* Each method asserts scope validity before delegating to FactStore, gating which accounts a contract may record facts
|
|
7
|
+
* under or read facts from.
|
|
8
|
+
*/ export class FactService {
|
|
9
|
+
factStore;
|
|
10
|
+
allowedScopes;
|
|
11
|
+
constructor(factStore, allowedScopes){
|
|
12
|
+
this.factStore = factStore;
|
|
13
|
+
this.allowedScopes = allowedScopes;
|
|
14
|
+
}
|
|
15
|
+
recordFact(factCollectionKey, factTypeId, payload, originBlock, jobId) {
|
|
16
|
+
assertAllowedScope(factCollectionKey.scope, this.allowedScopes);
|
|
17
|
+
return this.factStore.recordFact(factCollectionKey, factTypeId, payload, originBlock, jobId);
|
|
18
|
+
}
|
|
19
|
+
deleteFactCollection(factCollectionKey, jobId) {
|
|
20
|
+
assertAllowedScope(factCollectionKey.scope, this.allowedScopes);
|
|
21
|
+
return this.factStore.deleteFactCollection(factCollectionKey, jobId);
|
|
22
|
+
}
|
|
23
|
+
async getFactCollection(factCollectionKey, tips, jobId) {
|
|
24
|
+
assertAllowedScope(factCollectionKey.scope, this.allowedScopes);
|
|
25
|
+
const collection = await this.factStore.getFactCollection(factCollectionKey, jobId);
|
|
26
|
+
if (!collection) {
|
|
27
|
+
return undefined;
|
|
28
|
+
}
|
|
29
|
+
return {
|
|
30
|
+
key: collection.key,
|
|
31
|
+
facts: this.#annotate(collection.facts, tips)
|
|
32
|
+
};
|
|
33
|
+
}
|
|
34
|
+
async getFactCollectionsByType(factCollectionTypeKey, tips, jobId) {
|
|
35
|
+
assertAllowedScope(factCollectionTypeKey.scope, this.allowedScopes);
|
|
36
|
+
const collections = await this.factStore.getFactCollectionsByType(factCollectionTypeKey, jobId);
|
|
37
|
+
return collections.map((collection)=>({
|
|
38
|
+
key: collection.key,
|
|
39
|
+
facts: this.#annotate(collection.facts, tips)
|
|
40
|
+
}));
|
|
41
|
+
}
|
|
42
|
+
#annotate(facts, tips) {
|
|
43
|
+
return facts.map((fact)=>toFactWithOriginState(fact, tips));
|
|
44
|
+
}
|
|
45
|
+
}
|
|
@@ -0,0 +1,95 @@
|
|
|
1
|
+
import type { Fr } from '@aztec/foundation/curves/bn254';
|
|
2
|
+
import type { AztecAsyncKVStore } from '@aztec/kv-store';
|
|
3
|
+
import type { StagedStore } from '../../job_coordinator/job_coordinator.js';
|
|
4
|
+
import { FactCollectionKey, type FactCollectionTypeKey, type OriginBlock } from './fact_store_keys.js';
|
|
5
|
+
import { type Fact } from './stored_fact.js';
|
|
6
|
+
type BlockNum = number;
|
|
7
|
+
/** A fact collection as returned by the store. */
|
|
8
|
+
export type FactCollection = {
|
|
9
|
+
key: FactCollectionKey;
|
|
10
|
+
facts: Fact[];
|
|
11
|
+
};
|
|
12
|
+
/**
|
|
13
|
+
* Stores immutable facts grouped into collections, isolated by contract and scope.
|
|
14
|
+
*
|
|
15
|
+
* A fact collection is a contract-defined bag of facts identified by a {@link FactCollectionKey} (contract, scope,
|
|
16
|
+
* collection type, and id). A fact is a contract-defined immutable, typed datum in a collection. Collections are
|
|
17
|
+
* implicit: one comes into being when its first fact is recorded and ceases to exist once it has no facts left.
|
|
18
|
+
*
|
|
19
|
+
* What makes this store different to, for example, the `CapsuleStore`, is that it is designed to support use cases
|
|
20
|
+
* where resilience to reorgs is needed, via what we call _retractability_.
|
|
21
|
+
*
|
|
22
|
+
* Facts can be retractable or non-retractable. They are retractable if they are associated to an origin block.
|
|
23
|
+
* Retractable facts are removed from the store when their origin block is pruned (typically due to a reorg).
|
|
24
|
+
* Non-retractable facts survive reorgs: they must then be explicitly deleted, so as not to keep consuming resources
|
|
25
|
+
* (storage and compute) indefinitely.
|
|
26
|
+
*
|
|
27
|
+
* Fact collections are isolated by scope.
|
|
28
|
+
*
|
|
29
|
+
* This store is designed to enable Aztec.nr to implement complex workflows such as offchain reception or partial note
|
|
30
|
+
* processing by storing structured data that is guaranteed to exist conditionally to specific blocks being included in
|
|
31
|
+
* the chain, while leaving the complexity of ensuring said guarantees to PXE.
|
|
32
|
+
*
|
|
33
|
+
* A key design driver is that PXE knows nothing about the actual fact contents: it just manages enough metadata to
|
|
34
|
+
* provide the guarantees mentioned above. That way, concepts such as offchain delivery or partial notes are completely
|
|
35
|
+
* defined by Aztec.nr, opening the door to further extension without the need for ad-hoc PXE support.
|
|
36
|
+
*
|
|
37
|
+
* As with most other PXE stores, writes are staged per-job and flushed atomically on commit.
|
|
38
|
+
*/
|
|
39
|
+
export declare class FactStore implements StagedStore {
|
|
40
|
+
#private;
|
|
41
|
+
readonly storeName: string;
|
|
42
|
+
logger: import("@aztec/foundation/log").Logger;
|
|
43
|
+
constructor(store: AztecAsyncKVStore);
|
|
44
|
+
/**
|
|
45
|
+
* Records a fact in a collection.
|
|
46
|
+
*
|
|
47
|
+
* The collection is created implicitly on the first fact recorded for its key: recording into an existing collection
|
|
48
|
+
* just adds to it.
|
|
49
|
+
*
|
|
50
|
+
* If `originBlock === undefined`, the fact is non-retractable: it survives reorgs. A defined origin block makes the
|
|
51
|
+
* fact retractable: on a prune below its block, it will be deleted.
|
|
52
|
+
*
|
|
53
|
+
* Idempotent: re-recording an identical fact (same collection, fact type, payload, and origin block) is a no-op.
|
|
54
|
+
* The same payload tied to a different origin block is a distinct fact.
|
|
55
|
+
*/
|
|
56
|
+
recordFact(factCollectionKey: FactCollectionKey, factTypeId: Fr, payload: Fr[], originBlock: OriginBlock | undefined, jobId: string): Promise<void>;
|
|
57
|
+
/**
|
|
58
|
+
* Deletes a fact collection: removes every fact under the (scope-qualified) collection key.
|
|
59
|
+
*
|
|
60
|
+
* Idempotent: deleting a collection that does not exist is a no-op.
|
|
61
|
+
*/
|
|
62
|
+
deleteFactCollection(factCollectionKey: FactCollectionKey, jobId: string): Promise<void>;
|
|
63
|
+
/**
|
|
64
|
+
* Returns the fact collection for the (scope-qualified) key, or undefined if it has no facts.
|
|
65
|
+
*/
|
|
66
|
+
getFactCollection(factCollectionKey: FactCollectionKey, jobId: string): Promise<FactCollection | undefined>;
|
|
67
|
+
/**
|
|
68
|
+
* Returns every fact collection of the given type for the queried scope, each holding its facts.
|
|
69
|
+
*/
|
|
70
|
+
getFactCollectionsByType(factCollectionTypeKey: FactCollectionTypeKey, jobId: string): Promise<FactCollection[]>;
|
|
71
|
+
/**
|
|
72
|
+
* Commits all staged operations for the given job to persistent storage.
|
|
73
|
+
*
|
|
74
|
+
* Must be called inside a transaction owned by the caller (JobCoordinator wraps all commits in a single
|
|
75
|
+
* transactionAsync, and IndexedDB does not support nested transactions).
|
|
76
|
+
*
|
|
77
|
+
* DO NOT call `#withJobLock` here: awaiting the lock creates a microtask boundary that causes IndexedDB to
|
|
78
|
+
* auto-commit the outer transaction.
|
|
79
|
+
*/
|
|
80
|
+
commit(jobId: string): Promise<void>;
|
|
81
|
+
/** Discards all staged operations for the given job without persisting them. */
|
|
82
|
+
discardStaged(jobId: string): Promise<void>;
|
|
83
|
+
/**
|
|
84
|
+
* Removes every retractable fact originating from blocks over height `toBlock`, across all scopes.
|
|
85
|
+
*
|
|
86
|
+
* Non-retractable facts are untouched. Must run inside a caller-owned transaction (because it needs to share the
|
|
87
|
+
* transaction with other stores and IndexedDB has no nested transactions).
|
|
88
|
+
*
|
|
89
|
+
* Throws if any job is in flight (has accessed the store and not yet committed or discarded), since rolling back
|
|
90
|
+
* mid-job could re-introduce records originating from deleted blocks or change state underneath a job's view.
|
|
91
|
+
*/
|
|
92
|
+
rollback(toBlock: BlockNum): Promise<void>;
|
|
93
|
+
}
|
|
94
|
+
export {};
|
|
95
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZmFjdF9zdG9yZS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3N0b3JhZ2UvZmFjdF9zdG9yZS9mYWN0X3N0b3JlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBR3pELE9BQU8sS0FBSyxFQUFFLGlCQUFpQixFQUFxQyxNQUFNLGlCQUFpQixDQUFDO0FBRTVGLE9BQU8sS0FBSyxFQUFFLFdBQVcsRUFBRSxNQUFNLDBDQUEwQyxDQUFDO0FBQzVFLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxLQUFLLHFCQUFxQixFQUFFLEtBQUssV0FBVyxFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFDdkcsT0FBTyxFQUFFLEtBQUssSUFBSSxFQUE0QixNQUFNLGtCQUFrQixDQUFDO0FBR3ZFLEtBQUssUUFBUSxHQUFHLE1BQU0sQ0FBQztBQU12QixrREFBa0Q7QUFDbEQsTUFBTSxNQUFNLGNBQWMsR0FBRztJQUFFLEdBQUcsRUFBRSxpQkFBaUIsQ0FBQztJQUFDLEtBQUssRUFBRSxJQUFJLEVBQUUsQ0FBQTtDQUFFLENBQUM7QUFRdkU7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0dBMEJHO0FBQ0gscUJBQWEsU0FBVSxZQUFXLFdBQVc7O0lBQzNDLFFBQVEsQ0FBQyxTQUFTLEVBQUUsTUFBTSxDQUFVO0lBbUJwQyxNQUFNLHlDQUE4QjtJQUVwQyxZQUFZLEtBQUssRUFBRSxpQkFBaUIsRUFPbkM7SUFFRDs7Ozs7Ozs7Ozs7T0FXRztJQUNILFVBQVUsQ0FDUixpQkFBaUIsRUFBRSxpQkFBaUIsRUFDcEMsVUFBVSxFQUFFLEVBQUUsRUFDZCxPQUFPLEVBQUUsRUFBRSxFQUFFLEVBQ2IsV0FBVyxFQUFFLFdBQVcsR0FBRyxTQUFTLEVBQ3BDLEtBQUssRUFBRSxNQUFNLEdBQ1osT0FBTyxDQUFDLElBQUksQ0FBQyxDQVFmO0lBRUQ7Ozs7T0FJRztJQUNILG9CQUFvQixDQUFDLGlCQUFpQixFQUFFLGlCQUFpQixFQUFFLEtBQUssRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUt2RjtJQUVEOztPQUVHO0lBQ0csaUJBQWlCLENBQUMsaUJBQWlCLEVBQUUsaUJBQWlCLEVBQUUsS0FBSyxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsY0FBYyxHQUFHLFNBQVMsQ0FBQyxDQVVoSDtJQUVEOztPQUVHO0lBQ0csd0JBQXdCLENBQzVCLHFCQUFxQixFQUFFLHFCQUFxQixFQUM1QyxLQUFLLEVBQUUsTUFBTSxHQUNaLE9BQU8sQ0FBQyxjQUFjLEVBQUUsQ0FBQyxDQU8zQjtJQUVEOzs7Ozs7OztPQVFHO0lBQ0csTUFBTSxDQUFDLEtBQUssRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQWdCekM7SUFFRCxnRkFBZ0Y7SUFDaEYsYUFBYSxDQUFDLEtBQUssRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUcxQztJQUVEOzs7Ozs7OztPQVFHO0lBQ0csUUFBUSxDQUFDLE9BQU8sRUFBRSxRQUFRLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQVEvQztDQTJSRiJ9
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"fact_store.d.ts","sourceRoot":"","sources":["../../../src/storage/fact_store/fact_store.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAGzD,OAAO,KAAK,EAAE,iBAAiB,EAAqC,MAAM,iBAAiB,CAAC;AAE5F,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0CAA0C,CAAC;AAC5E,OAAO,EAAE,iBAAiB,EAAE,KAAK,qBAAqB,EAAE,KAAK,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACvG,OAAO,EAAE,KAAK,IAAI,EAA4B,MAAM,kBAAkB,CAAC;AAGvE,KAAK,QAAQ,GAAG,MAAM,CAAC;AAMvB,kDAAkD;AAClD,MAAM,MAAM,cAAc,GAAG;IAAE,GAAG,EAAE,iBAAiB,CAAC;IAAC,KAAK,EAAE,IAAI,EAAE,CAAA;CAAE,CAAC;AAQvE;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,qBAAa,SAAU,YAAW,WAAW;;IAC3C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAU;IAmBpC,MAAM,yCAA8B;IAEpC,YAAY,KAAK,EAAE,iBAAiB,EAOnC;IAED;;;;;;;;;;;OAWG;IACH,UAAU,CACR,iBAAiB,EAAE,iBAAiB,EACpC,UAAU,EAAE,EAAE,EACd,OAAO,EAAE,EAAE,EAAE,EACb,WAAW,EAAE,WAAW,GAAG,SAAS,EACpC,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC,IAAI,CAAC,CAQf;IAED;;;;OAIG;IACH,oBAAoB,CAAC,iBAAiB,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAKvF;IAED;;OAEG;IACG,iBAAiB,CAAC,iBAAiB,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,cAAc,GAAG,SAAS,CAAC,CAUhH;IAED;;OAEG;IACG,wBAAwB,CAC5B,qBAAqB,EAAE,qBAAqB,EAC5C,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC,cAAc,EAAE,CAAC,CAO3B;IAED;;;;;;;;OAQG;IACG,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAgBzC;IAED,gFAAgF;IAChF,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAG1C;IAED;;;;;;;;OAQG;IACG,QAAQ,CAAC,OAAO,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAQ/C;CA2RF"}
|