@aztec/pxe 0.0.0-test.1 → 0.0.1-commit.017a351
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/README.md +5 -5
- package/dest/bin/check_oracle_version.d.ts +2 -0
- package/dest/bin/check_oracle_version.d.ts.map +1 -0
- package/dest/bin/check_oracle_version.js +73 -0
- package/dest/bin/index.d.ts +2 -3
- package/dest/bin/index.d.ts.map +1 -1
- package/dest/bin/index.js +1 -28
- package/dest/bin/oracle_version_helpers.d.ts +26 -0
- package/dest/bin/oracle_version_helpers.d.ts.map +1 -0
- package/dest/bin/oracle_version_helpers.js +93 -0
- package/dest/block_synchronizer/block_stream_source.d.ts +10 -0
- package/dest/block_synchronizer/block_stream_source.d.ts.map +1 -0
- package/dest/block_synchronizer/block_stream_source.js +62 -0
- package/dest/block_synchronizer/block_synchronizer.d.ts +49 -0
- package/dest/block_synchronizer/block_synchronizer.d.ts.map +1 -0
- package/dest/block_synchronizer/block_synchronizer.js +173 -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 +20 -25
- package/dest/config/index.d.ts.map +1 -1
- package/dest/config/index.js +35 -35
- package/dest/config/package_info.d.ts +1 -1
- package/dest/config/package_info.js +1 -1
- package/dest/contract_function_simulator/benchmarked_node.d.ts +9 -0
- package/dest/contract_function_simulator/benchmarked_node.d.ts.map +1 -0
- package/dest/contract_function_simulator/benchmarked_node.js +77 -0
- package/dest/contract_function_simulator/contract_function_simulator.d.ts +119 -0
- package/dest/contract_function_simulator/contract_function_simulator.d.ts.map +1 -0
- package/dest/contract_function_simulator/contract_function_simulator.js +480 -0
- package/dest/contract_function_simulator/ephemeral_array_service.d.ts +28 -0
- package/dest/contract_function_simulator/ephemeral_array_service.d.ts.map +1 -0
- package/dest/contract_function_simulator/ephemeral_array_service.js +78 -0
- package/dest/contract_function_simulator/execution_note_cache.d.ts +104 -0
- package/dest/contract_function_simulator/execution_note_cache.d.ts.map +1 -0
- package/dest/contract_function_simulator/execution_note_cache.js +208 -0
- package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts +12 -0
- package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts.map +1 -0
- package/dest/contract_function_simulator/execution_tagging_index_cache.js +30 -0
- package/dest/contract_function_simulator/hashed_values_cache.d.ts +28 -0
- package/dest/contract_function_simulator/hashed_values_cache.d.ts.map +1 -0
- package/dest/contract_function_simulator/hashed_values_cache.js +36 -0
- package/dest/contract_function_simulator/index.d.ts +26 -0
- package/dest/contract_function_simulator/index.d.ts.map +1 -0
- package/dest/contract_function_simulator/index.js +23 -0
- package/dest/contract_function_simulator/noir-structs/bounded_vec.d.ts +48 -0
- package/dest/contract_function_simulator/noir-structs/bounded_vec.d.ts.map +1 -0
- package/dest/contract_function_simulator/noir-structs/bounded_vec.js +45 -0
- package/dest/contract_function_simulator/noir-structs/ephemeral_array.d.ts +37 -0
- package/dest/contract_function_simulator/noir-structs/ephemeral_array.d.ts.map +1 -0
- package/dest/contract_function_simulator/noir-structs/ephemeral_array.js +59 -0
- package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts +20 -0
- package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts.map +1 -0
- package/dest/contract_function_simulator/noir-structs/event_validation_request.js +39 -0
- package/dest/contract_function_simulator/noir-structs/log_retrieval_request.d.ts +26 -0
- package/dest/contract_function_simulator/noir-structs/log_retrieval_request.d.ts.map +1 -0
- package/dest/contract_function_simulator/noir-structs/log_retrieval_request.js +57 -0
- package/dest/contract_function_simulator/noir-structs/log_retrieval_response.d.ts +17 -0
- package/dest/contract_function_simulator/noir-structs/log_retrieval_response.d.ts.map +1 -0
- package/dest/contract_function_simulator/noir-structs/log_retrieval_response.js +63 -0
- package/dest/contract_function_simulator/noir-structs/note_data.d.ts +27 -0
- package/dest/contract_function_simulator/noir-structs/note_data.d.ts.map +1 -0
- package/dest/contract_function_simulator/noir-structs/note_data.js +3 -0
- package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts +22 -0
- package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts.map +1 -0
- package/dest/contract_function_simulator/noir-structs/note_validation_request.js +47 -0
- package/dest/contract_function_simulator/noir-structs/option.d.ts +61 -0
- package/dest/contract_function_simulator/noir-structs/option.d.ts.map +1 -0
- package/dest/contract_function_simulator/noir-structs/option.js +62 -0
- package/dest/contract_function_simulator/noir-structs/provided_secret.d.ts +11 -0
- package/dest/contract_function_simulator/noir-structs/provided_secret.d.ts.map +1 -0
- package/dest/contract_function_simulator/noir-structs/provided_secret.js +24 -0
- package/dest/contract_function_simulator/noir-structs/utility_context.d.ts +16 -0
- package/dest/contract_function_simulator/noir-structs/utility_context.d.ts.map +1 -0
- package/dest/contract_function_simulator/noir-structs/utility_context.js +22 -0
- package/dest/contract_function_simulator/oracle/index.d.ts +14 -0
- package/dest/contract_function_simulator/oracle/index.d.ts.map +1 -0
- package/dest/contract_function_simulator/oracle/index.js +2 -0
- package/dest/contract_function_simulator/oracle/interfaces.d.ts +25 -0
- package/dest/contract_function_simulator/oracle/interfaces.d.ts.map +1 -0
- package/dest/contract_function_simulator/oracle/interfaces.js +4 -0
- package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts +19 -0
- package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts.map +1 -0
- package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.js +24 -0
- package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts +28 -0
- package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts.map +1 -0
- package/dest/contract_function_simulator/oracle/note_packing_utils.js +54 -0
- package/dest/contract_function_simulator/oracle/oracle.d.ts +89 -0
- package/dest/contract_function_simulator/oracle/oracle.d.ts.map +1 -0
- package/dest/contract_function_simulator/oracle/oracle.js +552 -0
- package/dest/contract_function_simulator/oracle/oracle_registry.d.ts +127 -0
- package/dest/contract_function_simulator/oracle/oracle_registry.d.ts.map +1 -0
- package/dest/contract_function_simulator/oracle/oracle_registry.js +786 -0
- package/dest/contract_function_simulator/oracle/oracle_type_mappings.d.ts +139 -0
- package/dest/contract_function_simulator/oracle/oracle_type_mappings.d.ts.map +1 -0
- package/dest/contract_function_simulator/oracle/oracle_type_mappings.js +560 -0
- package/dest/contract_function_simulator/oracle/private_execution.d.ts +23 -0
- package/dest/contract_function_simulator/oracle/private_execution.d.ts.map +1 -0
- package/dest/contract_function_simulator/oracle/private_execution.js +89 -0
- package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts +212 -0
- package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts.map +1 -0
- package/dest/contract_function_simulator/oracle/private_execution_oracle.js +457 -0
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts +283 -0
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts.map +1 -0
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.js +654 -0
- package/dest/contract_function_simulator/pick_notes.d.ts +85 -0
- package/dest/contract_function_simulator/pick_notes.d.ts.map +1 -0
- package/dest/contract_function_simulator/pick_notes.js +68 -0
- package/dest/contract_function_simulator/proxied_contract_data_source.d.ts +6 -0
- package/dest/contract_function_simulator/proxied_contract_data_source.d.ts.map +1 -0
- package/dest/contract_function_simulator/proxied_contract_data_source.js +51 -0
- package/dest/contract_logging.d.ts +27 -0
- package/dest/contract_logging.d.ts.map +1 -0
- package/dest/contract_logging.js +38 -0
- package/dest/contract_sync/contract_sync_service.d.ts +42 -0
- package/dest/contract_sync/contract_sync_service.d.ts.map +1 -0
- package/dest/contract_sync/contract_sync_service.js +135 -0
- package/dest/contract_sync/helpers.d.ts +27 -0
- package/dest/contract_sync/helpers.d.ts.map +1 -0
- package/dest/contract_sync/helpers.js +53 -0
- package/dest/debug/pxe_debug_utils.d.ts +40 -0
- package/dest/debug/pxe_debug_utils.d.ts.map +1 -0
- package/dest/debug/pxe_debug_utils.js +42 -0
- package/dest/entrypoints/client/bundle/index.d.ts +6 -3
- package/dest/entrypoints/client/bundle/index.d.ts.map +1 -1
- package/dest/entrypoints/client/bundle/index.js +4 -2
- package/dest/entrypoints/client/bundle/utils.d.ts +10 -10
- package/dest/entrypoints/client/bundle/utils.d.ts.map +1 -1
- package/dest/entrypoints/client/bundle/utils.js +51 -14
- package/dest/entrypoints/client/lazy/index.d.ts +6 -3
- package/dest/entrypoints/client/lazy/index.d.ts.map +1 -1
- package/dest/entrypoints/client/lazy/index.js +4 -2
- package/dest/entrypoints/client/lazy/utils.d.ts +10 -10
- package/dest/entrypoints/client/lazy/utils.d.ts.map +1 -1
- package/dest/entrypoints/client/lazy/utils.js +51 -14
- package/dest/entrypoints/pxe_creation_options.d.ts +26 -0
- package/dest/entrypoints/pxe_creation_options.d.ts.map +1 -0
- package/dest/entrypoints/pxe_creation_options.js +3 -0
- package/dest/entrypoints/server/index.d.ts +10 -4
- package/dest/entrypoints/server/index.d.ts.map +1 -1
- package/dest/entrypoints/server/index.js +8 -3
- package/dest/entrypoints/server/utils.d.ts +9 -16
- package/dest/entrypoints/server/utils.d.ts.map +1 -1
- package/dest/entrypoints/server/utils.js +62 -36
- package/dest/error_enriching.d.ts +11 -0
- package/dest/error_enriching.d.ts.map +1 -0
- package/dest/{pxe_service/error_enriching.js → error_enriching.js} +30 -22
- package/dest/events/event_service.d.ts +24 -0
- package/dest/events/event_service.d.ts.map +1 -0
- package/dest/events/event_service.js +77 -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 +10 -0
- package/dest/events/private_event_filter_validator.d.ts.map +1 -0
- package/dest/events/private_event_filter_validator.js +53 -0
- package/dest/hooks/authorize_utility_call.d.ts +41 -0
- package/dest/hooks/authorize_utility_call.d.ts.map +1 -0
- package/dest/hooks/authorize_utility_call.js +4 -0
- package/dest/hooks/execution_hooks.d.ts +42 -0
- package/dest/hooks/execution_hooks.d.ts.map +1 -0
- package/dest/hooks/execution_hooks.js +9 -0
- package/dest/hooks/index.d.ts +4 -0
- package/dest/hooks/index.d.ts.map +1 -0
- package/dest/hooks/index.js +1 -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 +172 -0
- package/dest/messages/message_context_service.d.ts +17 -0
- package/dest/messages/message_context_service.d.ts.map +1 -0
- package/dest/messages/message_context_service.js +55 -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 +70 -0
- package/dest/notes/note_service.d.ts.map +1 -0
- package/dest/notes/note_service.js +172 -0
- package/dest/notes_filter.d.ts +24 -0
- package/dest/notes_filter.d.ts.map +1 -0
- package/dest/notes_filter.js +4 -0
- package/dest/oracle_version.d.ts +4 -0
- package/dest/oracle_version.d.ts.map +1 -0
- package/dest/oracle_version.js +21 -0
- package/dest/private_kernel/batch_planner.d.ts +47 -0
- package/dest/private_kernel/batch_planner.d.ts.map +1 -0
- package/dest/private_kernel/batch_planner.js +104 -0
- 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_expiration_timestamp.js +41 -0
- package/dest/private_kernel/hints/index.d.ts +3 -0
- package/dest/private_kernel/hints/index.d.ts.map +1 -0
- package/dest/private_kernel/hints/index.js +2 -0
- package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts +29 -0
- package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts.map +1 -0
- package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.js +338 -0
- package/dest/private_kernel/hints/test_utils.d.ts +122 -0
- package/dest/private_kernel/hints/test_utils.d.ts.map +1 -0
- package/dest/private_kernel/hints/test_utils.js +202 -0
- package/dest/private_kernel/index.d.ts +3 -0
- package/dest/private_kernel/index.d.ts.map +1 -0
- package/dest/private_kernel/index.js +2 -0
- package/dest/private_kernel/private_kernel_execution_prover.d.ts +49 -0
- package/dest/private_kernel/private_kernel_execution_prover.d.ts.map +1 -0
- package/dest/private_kernel/private_kernel_execution_prover.js +386 -0
- package/dest/private_kernel/private_kernel_oracle.d.ts +63 -0
- package/dest/private_kernel/private_kernel_oracle.d.ts.map +1 -0
- package/dest/private_kernel/private_kernel_oracle.js +98 -0
- package/dest/pxe.d.ts +300 -0
- package/dest/pxe.d.ts.map +1 -0
- package/dest/pxe.js +839 -0
- 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 -15
- 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/anchor_block_store/anchor_block_store.js +26 -0
- package/dest/storage/anchor_block_store/index.d.ts +2 -0
- package/dest/storage/anchor_block_store/index.d.ts.map +1 -0
- package/dest/storage/anchor_block_store/index.js +1 -0
- package/dest/storage/backwards_compatibility_tests/kv_store_snapshot.d.ts +42 -0
- package/dest/storage/backwards_compatibility_tests/kv_store_snapshot.d.ts.map +1 -0
- package/dest/storage/backwards_compatibility_tests/kv_store_snapshot.js +93 -0
- package/dest/storage/backwards_compatibility_tests/schema_tests.d.ts +15 -0
- package/dest/storage/backwards_compatibility_tests/schema_tests.d.ts.map +1 -0
- package/dest/storage/backwards_compatibility_tests/schema_tests.js +591 -0
- package/dest/storage/backwards_compatibility_tests/store_spy.d.ts +19 -0
- package/dest/storage/backwards_compatibility_tests/store_spy.d.ts.map +1 -0
- package/dest/storage/backwards_compatibility_tests/store_spy.js +63 -0
- package/dest/storage/capsule_store/capsule_service.d.ts +21 -0
- package/dest/storage/capsule_store/capsule_service.d.ts.map +1 -0
- package/dest/storage/capsule_store/capsule_service.js +50 -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 +261 -0
- package/dest/storage/capsule_store/index.d.ts +3 -0
- package/dest/storage/capsule_store/index.d.ts.map +1 -0
- package/dest/storage/capsule_store/index.js +2 -0
- package/dest/storage/contract_store/contract_store.d.ts +93 -0
- package/dest/storage/contract_store/contract_store.d.ts.map +1 -0
- package/dest/storage/contract_store/contract_store.js +292 -0
- package/dest/storage/contract_store/index.d.ts +2 -0
- package/dest/storage/contract_store/index.d.ts.map +1 -0
- package/dest/storage/contract_store/index.js +1 -0
- package/dest/storage/contract_store/private_functions_tree.d.ts +27 -0
- package/dest/storage/contract_store/private_functions_tree.d.ts.map +1 -0
- package/dest/storage/contract_store/private_functions_tree.js +47 -0
- package/dest/storage/index.d.ts +9 -10
- package/dest/storage/index.d.ts.map +1 -1
- package/dest/storage/index.js +8 -9
- package/dest/storage/metadata.d.ts +2 -0
- package/dest/storage/metadata.d.ts.map +1 -0
- package/dest/storage/metadata.js +1 -0
- 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/open_pxe_stores.d.ts +33 -0
- package/dest/storage/open_pxe_stores.d.ts.map +1 -0
- package/dest/storage/open_pxe_stores.js +27 -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 +276 -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 +78 -0
- package/dest/storage/tagging_store/sender_tagging_store.d.ts.map +1 -0
- package/dest/storage/tagging_store/sender_tagging_store.js +374 -0
- package/dest/tagging/constants.d.ts +2 -0
- package/dest/tagging/constants.d.ts.map +1 -0
- package/dest/tagging/constants.js +10 -0
- package/dest/tagging/get_all_logs_by_tags.d.ts +48 -0
- package/dest/tagging/get_all_logs_by_tags.d.ts.map +1 -0
- package/dest/tagging/get_all_logs_by_tags.js +59 -0
- package/dest/tagging/index.d.ts +18 -0
- package/dest/tagging/index.d.ts.map +1 -0
- package/dest/tagging/index.js +16 -0
- package/dest/tagging/persist_sender_tagging_index_ranges.d.ts +29 -0
- package/dest/tagging/persist_sender_tagging_index_ranges.d.ts.map +1 -0
- package/dest/tagging/persist_sender_tagging_index_ranges.js +42 -0
- package/dest/tagging/recipient_sync/sync_tagged_private_logs.d.ts +56 -0
- package/dest/tagging/recipient_sync/sync_tagged_private_logs.d.ts.map +1 -0
- package/dest/tagging/recipient_sync/sync_tagged_private_logs.js +163 -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/reconcile_tagging_index_ranges.d.ts +36 -0
- package/dest/tagging/reconcile_tagging_index_ranges.d.ts.map +1 -0
- package/dest/tagging/reconcile_tagging_index_ranges.js +74 -0
- package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts +16 -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 +92 -0
- package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts +17 -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 +60 -0
- package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts +19 -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 +72 -0
- package/package.json +48 -33
- package/src/bin/check_oracle_version.ts +88 -0
- package/src/bin/index.ts +1 -38
- package/src/bin/oracle_version_helpers.ts +121 -0
- package/src/block_synchronizer/block_stream_source.ts +81 -0
- package/src/block_synchronizer/block_synchronizer.ts +200 -0
- package/src/block_synchronizer/index.ts +1 -0
- package/src/config/index.ts +48 -56
- 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 +888 -0
- package/src/contract_function_simulator/ephemeral_array_service.ts +110 -0
- package/src/contract_function_simulator/execution_note_cache.ts +252 -0
- package/src/contract_function_simulator/execution_tagging_index_cache.ts +33 -0
- package/src/contract_function_simulator/hashed_values_cache.ts +47 -0
- package/src/contract_function_simulator/index.ts +63 -0
- package/src/contract_function_simulator/noir-structs/bounded_vec.ts +55 -0
- package/src/contract_function_simulator/noir-structs/ephemeral_array.ts +66 -0
- package/src/contract_function_simulator/noir-structs/event_validation_request.ts +52 -0
- package/src/contract_function_simulator/noir-structs/log_retrieval_request.ts +61 -0
- package/src/contract_function_simulator/noir-structs/log_retrieval_response.ts +66 -0
- package/src/contract_function_simulator/noir-structs/note_data.ts +27 -0
- package/src/contract_function_simulator/noir-structs/note_validation_request.ts +59 -0
- package/src/contract_function_simulator/noir-structs/option.ts +69 -0
- package/src/contract_function_simulator/noir-structs/provided_secret.ts +27 -0
- package/src/contract_function_simulator/noir-structs/utility_context.ts +23 -0
- package/src/contract_function_simulator/oracle/index.ts +16 -0
- package/src/contract_function_simulator/oracle/interfaces.ts +21 -0
- package/src/contract_function_simulator/oracle/message_load_oracle_inputs.ts +23 -0
- package/src/contract_function_simulator/oracle/note_packing_utils.ts +68 -0
- package/src/contract_function_simulator/oracle/oracle.ts +711 -0
- package/src/contract_function_simulator/oracle/oracle_registry.ts +585 -0
- package/src/contract_function_simulator/oracle/oracle_type_mappings.ts +553 -0
- package/src/contract_function_simulator/oracle/private_execution.ts +141 -0
- package/src/contract_function_simulator/oracle/private_execution_oracle.ts +667 -0
- package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +967 -0
- package/src/contract_function_simulator/pick_notes.ts +160 -0
- package/src/contract_function_simulator/proxied_contract_data_source.ts +60 -0
- package/src/contract_logging.ts +52 -0
- package/src/contract_sync/contract_sync_service.ts +189 -0
- package/src/contract_sync/helpers.ts +86 -0
- package/src/debug/pxe_debug_utils.ts +85 -0
- package/src/entrypoints/client/bundle/index.ts +5 -2
- package/src/entrypoints/client/bundle/utils.ts +47 -35
- package/src/entrypoints/client/lazy/index.ts +5 -2
- package/src/entrypoints/client/lazy/utils.ts +48 -31
- package/src/entrypoints/pxe_creation_options.ts +28 -0
- package/src/entrypoints/server/index.ts +9 -3
- package/src/entrypoints/server/utils.ts +65 -56
- package/src/{pxe_service/error_enriching.ts → error_enriching.ts} +40 -39
- package/src/events/event_service.ts +119 -0
- package/src/events/index.ts +1 -0
- package/src/events/private_event_filter_validator.ts +66 -0
- package/src/hooks/authorize_utility_call.ts +44 -0
- package/src/hooks/execution_hooks.ts +48 -0
- package/src/hooks/index.ts +7 -0
- package/src/job_coordinator/job_coordinator.ts +150 -0
- package/src/logs/log_service.ts +237 -0
- package/src/messages/message_context_service.ts +62 -0
- package/src/notes/index.ts +1 -0
- package/src/notes/note_service.ts +230 -0
- package/src/notes_filter.ts +24 -0
- package/src/oracle_version.ts +22 -0
- package/src/private_kernel/batch_planner.ts +169 -0
- package/src/private_kernel/hints/compute_tx_expiration_timestamp.ts +58 -0
- package/src/private_kernel/hints/index.ts +2 -0
- package/src/private_kernel/hints/private_kernel_reset_private_inputs_builder.ts +542 -0
- package/src/private_kernel/hints/test_utils.ts +318 -0
- package/src/private_kernel/index.ts +2 -0
- package/src/private_kernel/private_kernel_execution_prover.ts +598 -0
- package/src/private_kernel/private_kernel_oracle.ts +162 -0
- package/src/pxe.ts +1305 -0
- package/src/storage/{address_data_provider/address_data_provider.ts → address_store/address_store.ts} +15 -21
- package/src/storage/address_store/index.ts +1 -0
- package/src/storage/anchor_block_store/anchor_block_store.ts +33 -0
- package/src/storage/anchor_block_store/index.ts +1 -0
- package/src/storage/backwards_compatibility_tests/__snapshots__/AddressStore.json +22 -0
- package/src/storage/backwards_compatibility_tests/__snapshots__/AnchorBlockStore.json +3 -0
- package/src/storage/backwards_compatibility_tests/__snapshots__/CapsuleStore.json +16 -0
- package/src/storage/backwards_compatibility_tests/__snapshots__/ContractStore.json +28 -0
- package/src/storage/backwards_compatibility_tests/__snapshots__/KeyStore.json +52 -0
- package/src/storage/backwards_compatibility_tests/__snapshots__/L2TipsKVStore.json +46 -0
- package/src/storage/backwards_compatibility_tests/__snapshots__/NoteStore.json +36 -0
- package/src/storage/backwards_compatibility_tests/__snapshots__/PrivateEventStore.json +44 -0
- package/src/storage/backwards_compatibility_tests/__snapshots__/RecipientTaggingStore.json +18 -0
- package/src/storage/backwards_compatibility_tests/__snapshots__/SenderAddressBookStore.json +16 -0
- package/src/storage/backwards_compatibility_tests/__snapshots__/SenderTaggingStore.json +22 -0
- package/src/storage/backwards_compatibility_tests/__snapshots__/opened_stores.json +97 -0
- package/src/storage/backwards_compatibility_tests/kv_store_snapshot.ts +122 -0
- package/src/storage/backwards_compatibility_tests/schema_tests.ts +712 -0
- package/src/storage/backwards_compatibility_tests/store_spy.ts +73 -0
- package/src/storage/capsule_store/capsule_service.ts +90 -0
- package/src/storage/capsule_store/capsule_store.ts +333 -0
- package/src/storage/capsule_store/index.ts +2 -0
- package/src/storage/contract_store/contract_store.ts +408 -0
- package/src/storage/contract_store/index.ts +1 -0
- package/src/storage/contract_store/private_functions_tree.ts +67 -0
- package/src/storage/index.ts +8 -10
- package/src/storage/metadata.ts +1 -0
- package/src/storage/note_store/index.ts +2 -0
- package/src/storage/note_store/note_store.ts +415 -0
- package/src/storage/note_store/stored_note.ts +48 -0
- package/src/storage/open_pxe_stores.ts +49 -0
- package/src/storage/private_event_store/private_event_store.ts +388 -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 +476 -0
- package/src/tagging/constants.ts +10 -0
- package/src/tagging/get_all_logs_by_tags.ts +120 -0
- package/src/tagging/index.ts +20 -0
- package/src/tagging/persist_sender_tagging_index_ranges.ts +57 -0
- package/src/tagging/recipient_sync/sync_tagged_private_logs.ts +240 -0
- package/src/tagging/recipient_sync/utils/find_highest_indexes.ts +34 -0
- package/src/tagging/reconcile_tagging_index_ranges.ts +102 -0
- package/src/tagging/sender_sync/sync_sender_tagging_indexes.ts +134 -0
- package/src/tagging/sender_sync/utils/get_status_change_of_pending.ts +66 -0
- package/src/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.ts +84 -0
- package/dest/entrypoints/client/pxe_creation_options.d.ts +0 -11
- package/dest/entrypoints/client/pxe_creation_options.d.ts.map +0 -1
- package/dest/entrypoints/client/pxe_creation_options.js +0 -1
- package/dest/kernel_oracle/index.d.ts +0 -45
- package/dest/kernel_oracle/index.d.ts.map +0 -1
- package/dest/kernel_oracle/index.js +0 -76
- package/dest/kernel_prover/hints/build_private_kernel_reset_private_inputs.d.ts +0 -28
- package/dest/kernel_prover/hints/build_private_kernel_reset_private_inputs.d.ts.map +0 -1
- package/dest/kernel_prover/hints/build_private_kernel_reset_private_inputs.js +0 -270
- package/dest/kernel_prover/hints/index.d.ts +0 -2
- package/dest/kernel_prover/hints/index.d.ts.map +0 -1
- package/dest/kernel_prover/hints/index.js +0 -1
- package/dest/kernel_prover/index.d.ts +0 -3
- package/dest/kernel_prover/index.d.ts.map +0 -1
- package/dest/kernel_prover/index.js +0 -2
- package/dest/kernel_prover/kernel_prover.d.ts +0 -38
- package/dest/kernel_prover/kernel_prover.d.ts.map +0 -1
- package/dest/kernel_prover/kernel_prover.js +0 -217
- package/dest/kernel_prover/proving_data_oracle.d.ts +0 -73
- package/dest/kernel_prover/proving_data_oracle.d.ts.map +0 -1
- package/dest/kernel_prover/proving_data_oracle.js +0 -4
- package/dest/note_decryption_utils/add_public_values_to_payload.d.ts +0 -11
- package/dest/note_decryption_utils/add_public_values_to_payload.d.ts.map +0 -1
- package/dest/note_decryption_utils/add_public_values_to_payload.js +0 -47
- package/dest/pxe_http/index.d.ts +0 -2
- package/dest/pxe_http/index.d.ts.map +0 -1
- package/dest/pxe_http/index.js +0 -1
- package/dest/pxe_http/pxe_http_server.d.ts +0 -16
- package/dest/pxe_http/pxe_http_server.d.ts.map +0 -1
- package/dest/pxe_http/pxe_http_server.js +0 -27
- package/dest/pxe_oracle_interface/index.d.ts +0 -159
- package/dest/pxe_oracle_interface/index.d.ts.map +0 -1
- package/dest/pxe_oracle_interface/index.js +0 -692
- package/dest/pxe_oracle_interface/tagging_utils.d.ts +0 -17
- package/dest/pxe_oracle_interface/tagging_utils.d.ts.map +0 -1
- package/dest/pxe_oracle_interface/tagging_utils.js +0 -23
- package/dest/pxe_service/error_enriching.d.ts +0 -11
- package/dest/pxe_service/error_enriching.d.ts.map +0 -1
- package/dest/pxe_service/index.d.ts +0 -3
- package/dest/pxe_service/index.d.ts.map +0 -1
- package/dest/pxe_service/index.js +0 -2
- package/dest/pxe_service/pxe_service.d.ts +0 -111
- package/dest/pxe_service/pxe_service.d.ts.map +0 -1
- package/dest/pxe_service/pxe_service.js +0 -664
- package/dest/storage/address_data_provider/address_data_provider.d.ts +0 -13
- 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/auth_witness_data_provider/auth_witness_data_provider.d.ts +0 -11
- package/dest/storage/auth_witness_data_provider/auth_witness_data_provider.d.ts.map +0 -1
- package/dest/storage/auth_witness_data_provider/auth_witness_data_provider.js +0 -20
- package/dest/storage/auth_witness_data_provider/index.d.ts +0 -2
- package/dest/storage/auth_witness_data_provider/index.d.ts.map +0 -1
- package/dest/storage/auth_witness_data_provider/index.js +0 -1
- package/dest/storage/capsule_data_provider/capsule_data_provider.d.ts +0 -16
- 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 -57
- package/dest/storage/capsule_data_provider/index.d.ts +0 -2
- package/dest/storage/capsule_data_provider/index.d.ts.map +0 -1
- package/dest/storage/capsule_data_provider/index.js +0 -1
- package/dest/storage/contract_data_provider/contract_data_provider.d.ts +0 -109
- package/dest/storage/contract_data_provider/contract_data_provider.d.ts.map +0 -1
- package/dest/storage/contract_data_provider/contract_data_provider.js +0 -183
- package/dest/storage/contract_data_provider/index.d.ts +0 -3
- package/dest/storage/contract_data_provider/index.d.ts.map +0 -1
- package/dest/storage/contract_data_provider/index.js +0 -2
- package/dest/storage/contract_data_provider/private_functions_tree.d.ts +0 -66
- package/dest/storage/contract_data_provider/private_functions_tree.d.ts.map +0 -1
- package/dest/storage/contract_data_provider/private_functions_tree.js +0 -99
- package/dest/storage/data_provider.d.ts +0 -4
- package/dest/storage/data_provider.d.ts.map +0 -1
- package/dest/storage/data_provider.js +0 -1
- package/dest/storage/note_data_provider/index.d.ts +0 -3
- package/dest/storage/note_data_provider/index.d.ts.map +0 -1
- package/dest/storage/note_data_provider/index.js +0 -2
- package/dest/storage/note_data_provider/note_dao.d.ts +0 -106
- package/dest/storage/note_data_provider/note_dao.d.ts.map +0 -1
- package/dest/storage/note_data_provider/note_dao.js +0 -106
- package/dest/storage/note_data_provider/note_data_provider.d.ts +0 -20
- 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 -249
- package/dest/storage/sync_data_provider/index.d.ts +0 -2
- package/dest/storage/sync_data_provider/index.d.ts.map +0 -1
- package/dest/storage/sync_data_provider/index.js +0 -1
- package/dest/storage/sync_data_provider/sync_data_provider.d.ts +0 -12
- package/dest/storage/sync_data_provider/sync_data_provider.d.ts.map +0 -1
- package/dest/storage/sync_data_provider/sync_data_provider.js +0 -29
- 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 -18
- 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 -65
- 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 -37
- package/dest/synchronizer/synchronizer.d.ts.map +0 -1
- package/dest/synchronizer/synchronizer.js +0 -103
- package/dest/test/pxe_test_suite.d.ts +0 -3
- package/dest/test/pxe_test_suite.d.ts.map +0 -1
- package/dest/test/pxe_test_suite.js +0 -97
- package/src/entrypoints/client/pxe_creation_options.ts +0 -7
- package/src/kernel_oracle/index.ts +0 -117
- package/src/kernel_prover/hints/build_private_kernel_reset_private_inputs.ts +0 -472
- package/src/kernel_prover/hints/index.ts +0 -1
- package/src/kernel_prover/index.ts +0 -2
- package/src/kernel_prover/kernel_prover.ts +0 -351
- package/src/kernel_prover/proving_data_oracle.ts +0 -83
- package/src/note_decryption_utils/add_public_values_to_payload.ts +0 -64
- package/src/pxe_http/index.ts +0 -1
- package/src/pxe_http/pxe_http_server.ts +0 -29
- package/src/pxe_oracle_interface/index.ts +0 -925
- package/src/pxe_oracle_interface/tagging_utils.ts +0 -32
- package/src/pxe_service/index.ts +0 -2
- package/src/pxe_service/pxe_service.ts +0 -949
- package/src/storage/address_data_provider/index.ts +0 -1
- package/src/storage/auth_witness_data_provider/auth_witness_data_provider.ts +0 -34
- package/src/storage/auth_witness_data_provider/index.ts +0 -1
- package/src/storage/capsule_data_provider/capsule_data_provider.ts +0 -80
- package/src/storage/capsule_data_provider/index.ts +0 -1
- package/src/storage/contract_data_provider/contract_data_provider.ts +0 -261
- package/src/storage/contract_data_provider/index.ts +0 -2
- package/src/storage/contract_data_provider/private_functions_tree.ts +0 -131
- package/src/storage/data_provider.ts +0 -3
- package/src/storage/note_data_provider/index.ts +0 -2
- package/src/storage/note_data_provider/note_dao.ts +0 -162
- package/src/storage/note_data_provider/note_data_provider.ts +0 -345
- package/src/storage/sync_data_provider/index.ts +0 -1
- package/src/storage/sync_data_provider/sync_data_provider.ts +0 -40
- package/src/storage/tagging_data_provider/index.ts +0 -1
- package/src/storage/tagging_data_provider/tagging_data_provider.ts +0 -92
- package/src/synchronizer/index.ts +0 -1
- package/src/synchronizer/synchronizer.ts +0 -121
- package/src/test/pxe_test_suite.ts +0 -111
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"log_service.d.ts","sourceRoot":"","sources":["../../src/logs/log_service.ts"],"names":[],"mappings":"AACA,OAAO,EAAe,KAAK,cAAc,EAAgB,MAAM,uBAAuB,CAAC;AACvF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAa,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAkB,gBAAgB,EAAa,MAAM,oBAAoB,CAAC;AACnG,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAEpD,OAAO,EACL,KAAK,mBAAmB,EAEzB,MAAM,sEAAsE,CAAC;AAC9E,OAAO,EAAE,oBAAoB,EAAE,MAAM,uEAAuE,CAAC;AAC7G,OAAO,EAAE,YAAY,EAAE,MAAM,2CAA2C,CAAC;AACzE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qDAAqD,CAAC;AACjG,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uDAAuD,CAAC;AAWpG,qBAAa,UAAU;;IAInB,OAAO,CAAC,QAAQ,CAAC,SAAS;IAC1B,OAAO,CAAC,QAAQ,CAAC,iBAAiB;IAClC,OAAO,CAAC,QAAQ,CAAC,WAAW;IAC5B,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,qBAAqB;IACtC,OAAO,CAAC,QAAQ,CAAC,sBAAsB;IACvC,OAAO,CAAC,QAAQ,CAAC,YAAY;IAC7B,OAAO,CAAC,QAAQ,CAAC,KAAK;IAVxB,OAAO,CAAC,GAAG,CAAS;IAEpB,YACmB,SAAS,EAAE,SAAS,EACpB,iBAAiB,EAAE,WAAW,EAC9B,WAAW,EAAE,cAAc,EAC3B,QAAQ,EAAE,QAAQ,EAClB,qBAAqB,EAAE,qBAAqB,EAC5C,sBAAsB,EAAE,sBAAsB,EAC9C,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,MAAM,EAC9B,QAAQ,CAAC,EAAE,cAAc,EAG1B;IAED,wGAAwG;IAC3F,cAAc,CACzB,eAAe,EAAE,YAAY,EAC7B,oBAAoB,EAAE,mBAAmB,EAAE,GAC1C,OAAO,CAAC,oBAAoB,EAAE,EAAE,CAAC,CAsBnC;IAkGY,eAAe,CAC1B,eAAe,EAAE,YAAY,EAC7B,SAAS,EAAE,YAAY,EACvB,eAAe,EAAE,gBAAgB,EAAE,GAClC,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAyB7B;CAuCF"}
|
|
@@ -0,0 +1,172 @@
|
|
|
1
|
+
import { createLogger } from '@aztec/foundation/log';
|
|
2
|
+
import { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
3
|
+
import { AppTaggingSecret, PendingTaggedLog, SiloedTag } from '@aztec/stdlib/logs';
|
|
4
|
+
import { LogSource } from '../contract_function_simulator/noir-structs/log_retrieval_request.js';
|
|
5
|
+
import { LogRetrievalResponse } from '../contract_function_simulator/noir-structs/log_retrieval_response.js';
|
|
6
|
+
import { getAllPrivateLogsByTags, getAllPublicLogsByTagsFromContract, syncTaggedPrivateLogs } from '../tagging/index.js';
|
|
7
|
+
const rangeKey = (fromBlock, toBlock)=>`${fromBlock ?? ''}-${toBlock ?? ''}`;
|
|
8
|
+
export class LogService {
|
|
9
|
+
aztecNode;
|
|
10
|
+
anchorBlockHeader;
|
|
11
|
+
l2TipsStore;
|
|
12
|
+
keyStore;
|
|
13
|
+
recipientTaggingStore;
|
|
14
|
+
senderAddressBookStore;
|
|
15
|
+
addressStore;
|
|
16
|
+
jobId;
|
|
17
|
+
log;
|
|
18
|
+
constructor(aztecNode, anchorBlockHeader, l2TipsStore, keyStore, recipientTaggingStore, senderAddressBookStore, addressStore, jobId, bindings){
|
|
19
|
+
this.aztecNode = aztecNode;
|
|
20
|
+
this.anchorBlockHeader = anchorBlockHeader;
|
|
21
|
+
this.l2TipsStore = l2TipsStore;
|
|
22
|
+
this.keyStore = keyStore;
|
|
23
|
+
this.recipientTaggingStore = recipientTaggingStore;
|
|
24
|
+
this.senderAddressBookStore = senderAddressBookStore;
|
|
25
|
+
this.addressStore = addressStore;
|
|
26
|
+
this.jobId = jobId;
|
|
27
|
+
this.log = createLogger('pxe:log_service', bindings);
|
|
28
|
+
}
|
|
29
|
+
/** Fetches all logs matching each request's tag, returning an array of log arrays (one per request). */ async fetchLogsByTag(contractAddress, logRetrievalRequests) {
|
|
30
|
+
for (const request of logRetrievalRequests){
|
|
31
|
+
if (!contractAddress.equals(request.contractAddress)) {
|
|
32
|
+
throw new Error(`Got a log retrieval request from ${request.contractAddress}, expected ${contractAddress}`);
|
|
33
|
+
}
|
|
34
|
+
}
|
|
35
|
+
if (logRetrievalRequests.length === 0) {
|
|
36
|
+
return [];
|
|
37
|
+
}
|
|
38
|
+
const anchorBlockHash = await this.anchorBlockHeader.hash();
|
|
39
|
+
const [publicLogsPerRequest, privateLogsPerRequest] = await Promise.all([
|
|
40
|
+
this.#fetchPublicLogs(contractAddress, logRetrievalRequests, anchorBlockHash),
|
|
41
|
+
this.#fetchPrivateLogs(logRetrievalRequests, anchorBlockHash)
|
|
42
|
+
]);
|
|
43
|
+
return logRetrievalRequests.map((_request, i)=>[
|
|
44
|
+
...publicLogsPerRequest[i].map(LogService.#toLogRetrievalResponse),
|
|
45
|
+
...privateLogsPerRequest[i].map(LogService.#toLogRetrievalResponse)
|
|
46
|
+
]);
|
|
47
|
+
}
|
|
48
|
+
async #fetchPublicLogs(contractAddress, requests, anchorBlockHash) {
|
|
49
|
+
const indices = requests.flatMap((r, i)=>r.source !== LogSource.PRIVATE ? [
|
|
50
|
+
i
|
|
51
|
+
] : []);
|
|
52
|
+
if (indices.length === 0) {
|
|
53
|
+
return requests.map(()=>[]);
|
|
54
|
+
}
|
|
55
|
+
const resultsPerRequest = requests.map(()=>[]);
|
|
56
|
+
const groups = LogService.#groupByRange(indices.map((i)=>({
|
|
57
|
+
index: i,
|
|
58
|
+
request: requests[i]
|
|
59
|
+
})));
|
|
60
|
+
await Promise.all(Array.from(groups.values()).map(async (group)=>{
|
|
61
|
+
const tags = group.entries.map((e)=>e.request.tag);
|
|
62
|
+
const results = await getAllPublicLogsByTagsFromContract(this.aztecNode, contractAddress, tags, anchorBlockHash, {
|
|
63
|
+
fromBlock: group.fromBlock,
|
|
64
|
+
toBlock: group.toBlock,
|
|
65
|
+
includeEffects: true
|
|
66
|
+
});
|
|
67
|
+
group.entries.forEach((entry, i)=>{
|
|
68
|
+
resultsPerRequest[entry.index] = results[i];
|
|
69
|
+
});
|
|
70
|
+
}));
|
|
71
|
+
return resultsPerRequest;
|
|
72
|
+
}
|
|
73
|
+
async #fetchPrivateLogs(requests, anchorBlockHash) {
|
|
74
|
+
const indices = requests.flatMap((r, i)=>r.source !== LogSource.PUBLIC ? [
|
|
75
|
+
i
|
|
76
|
+
] : []);
|
|
77
|
+
if (indices.length === 0) {
|
|
78
|
+
return requests.map(()=>[]);
|
|
79
|
+
}
|
|
80
|
+
const resultsPerRequest = requests.map(()=>[]);
|
|
81
|
+
const groups = LogService.#groupByRange(indices.map((i)=>({
|
|
82
|
+
index: i,
|
|
83
|
+
request: requests[i]
|
|
84
|
+
})));
|
|
85
|
+
await Promise.all(Array.from(groups.values()).map(async (group)=>{
|
|
86
|
+
const siloedTags = await Promise.all(group.entries.map((e)=>SiloedTag.computeFromTagAndApp(e.request.tag, e.request.contractAddress)));
|
|
87
|
+
const results = await getAllPrivateLogsByTags(this.aztecNode, siloedTags, anchorBlockHash, {
|
|
88
|
+
fromBlock: group.fromBlock,
|
|
89
|
+
toBlock: group.toBlock,
|
|
90
|
+
includeEffects: true
|
|
91
|
+
});
|
|
92
|
+
group.entries.forEach((entry, i)=>{
|
|
93
|
+
resultsPerRequest[entry.index] = results[i];
|
|
94
|
+
});
|
|
95
|
+
}));
|
|
96
|
+
return resultsPerRequest;
|
|
97
|
+
}
|
|
98
|
+
/**
|
|
99
|
+
* Groups requests by their (fromBlock, toBlock) range so each distinct range becomes a single node call with
|
|
100
|
+
* the range pushed down into the query (no in-memory filter).
|
|
101
|
+
*/ static #groupByRange(entries) {
|
|
102
|
+
const groups = new Map();
|
|
103
|
+
for (const entry of entries){
|
|
104
|
+
const key = rangeKey(entry.request.fromBlock, entry.request.toBlock);
|
|
105
|
+
const existing = groups.get(key);
|
|
106
|
+
if (existing) {
|
|
107
|
+
existing.entries.push(entry);
|
|
108
|
+
} else {
|
|
109
|
+
groups.set(key, {
|
|
110
|
+
fromBlock: entry.request.fromBlock,
|
|
111
|
+
toBlock: entry.request.toBlock,
|
|
112
|
+
entries: [
|
|
113
|
+
entry
|
|
114
|
+
]
|
|
115
|
+
});
|
|
116
|
+
}
|
|
117
|
+
}
|
|
118
|
+
return groups;
|
|
119
|
+
}
|
|
120
|
+
static #toLogRetrievalResponse(log) {
|
|
121
|
+
// includeEffects: true was used, so noteHashes and nullifiers are populated. Every tx has at least one nullifier
|
|
122
|
+
// (the first nullifier derived from the tx hash); empty here would indicate a buggy node.
|
|
123
|
+
const noteHashes = log.noteHashes;
|
|
124
|
+
const nullifiers = log.nullifiers;
|
|
125
|
+
if (nullifiers.length === 0) {
|
|
126
|
+
throw new Error(`Log for tx ${log.txHash} returned no nullifiers from the node`);
|
|
127
|
+
}
|
|
128
|
+
return new LogRetrievalResponse(log.logData.slice(1), log.txHash, noteHashes, nullifiers[0]);
|
|
129
|
+
}
|
|
130
|
+
async fetchTaggedLogs(contractAddress, recipient, providedSecrets) {
|
|
131
|
+
this.log.verbose(`Fetching tagged logs for ${contractAddress.toString()}`);
|
|
132
|
+
const l2Tips = await this.l2TipsStore.getL2Tips();
|
|
133
|
+
// The secrets PXE derives or stores internally, plus any the app supplies explicitly for secrets PXE cannot
|
|
134
|
+
// enumerate itself (e.g. handshake-derived ones).
|
|
135
|
+
const secrets = [
|
|
136
|
+
...await this.#getSecretsForSenders(contractAddress, recipient),
|
|
137
|
+
...providedSecrets
|
|
138
|
+
];
|
|
139
|
+
const logs = await syncTaggedPrivateLogs(secrets, this.aztecNode, this.recipientTaggingStore, this.anchorBlockHeader, l2Tips.finalized.block.number, this.jobId);
|
|
140
|
+
return logs.map((log)=>{
|
|
141
|
+
const noteHashes = log.noteHashes;
|
|
142
|
+
const nullifiers = log.nullifiers;
|
|
143
|
+
if (nullifiers.length === 0) {
|
|
144
|
+
throw new Error(`Log for tx ${log.txHash} returned no nullifiers from the node`);
|
|
145
|
+
}
|
|
146
|
+
return new PendingTaggedLog(log.logData, log.txHash, noteHashes, nullifiers[0]);
|
|
147
|
+
});
|
|
148
|
+
}
|
|
149
|
+
async #getSecretsForSenders(contractAddress, recipient) {
|
|
150
|
+
const recipientCompleteAddress = await this.addressStore.getCompleteAddress(recipient);
|
|
151
|
+
if (!recipientCompleteAddress) {
|
|
152
|
+
return [];
|
|
153
|
+
}
|
|
154
|
+
const recipientIvsk = await this.keyStore.getMasterIncomingViewingSecretKey(recipient);
|
|
155
|
+
// We implicitly add all PXE accounts as senders, this helps us find tagged logs with messages that are sent to a
|
|
156
|
+
// local account (recipient = us, sender = us)
|
|
157
|
+
const allSenders = [
|
|
158
|
+
...await this.senderAddressBookStore.getSenders(),
|
|
159
|
+
...await this.keyStore.getAccounts()
|
|
160
|
+
];
|
|
161
|
+
// We deduplicate the senders by adding them to a set and then converting the set back to an array
|
|
162
|
+
const deduplicatedSenders = Array.from(new Set(allSenders.map((sender)=>sender.toString()))).map((sender)=>AztecAddress.fromString(sender));
|
|
163
|
+
return Promise.all(deduplicatedSenders.map(async (sender)=>{
|
|
164
|
+
const secret = await AppTaggingSecret.computeUnconstrained(recipientCompleteAddress, recipientIvsk, sender, contractAddress, recipient);
|
|
165
|
+
if (!secret) {
|
|
166
|
+
// Note that all senders originate from either the SenderAddressBookStore or the KeyStore.
|
|
167
|
+
throw new Error(`Failed to compute a tagging secret for sender ${sender} - this implies this is an invalid address, which should not happen as they have been previously registered in PXE.`);
|
|
168
|
+
}
|
|
169
|
+
return secret;
|
|
170
|
+
}));
|
|
171
|
+
}
|
|
172
|
+
}
|
|
@@ -0,0 +1,17 @@
|
|
|
1
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
2
|
+
import type { AztecNode } from '@aztec/stdlib/interfaces/server';
|
|
3
|
+
import { MessageContext } from '@aztec/stdlib/logs';
|
|
4
|
+
/** Resolves transaction hashes into the context needed to process messages. */
|
|
5
|
+
export declare class MessageContextService {
|
|
6
|
+
private readonly aztecNode;
|
|
7
|
+
constructor(aztecNode: AztecNode);
|
|
8
|
+
/**
|
|
9
|
+
* Resolves a list of tx hashes into their message contexts.
|
|
10
|
+
*
|
|
11
|
+
* For each tx hash, looks up the corresponding tx effect and extracts the note hashes and first nullifier needed to
|
|
12
|
+
* process messages that originated from that transaction. Returns `null` for tx hashes that are zero, not yet
|
|
13
|
+
* available, or in blocks beyond the anchor block.
|
|
14
|
+
*/
|
|
15
|
+
getMessageContextsByTxHash(txHashes: Fr[], anchorBlockNumber: number): Promise<(MessageContext | null)[]>;
|
|
16
|
+
}
|
|
17
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibWVzc2FnZV9jb250ZXh0X3NlcnZpY2UuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9tZXNzYWdlcy9tZXNzYWdlX2NvbnRleHRfc2VydmljZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxLQUFLLEVBQUUsU0FBUyxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDakUsT0FBTyxFQUFFLGNBQWMsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBR3BELCtFQUErRTtBQUMvRSxxQkFBYSxxQkFBcUI7SUFDcEIsT0FBTyxDQUFDLFFBQVEsQ0FBQyxTQUFTO0lBQXRDLFlBQTZCLFNBQVMsRUFBRSxTQUFTLEVBQUk7SUFFckQ7Ozs7OztPQU1HO0lBQ0csMEJBQTBCLENBQUMsUUFBUSxFQUFFLEVBQUUsRUFBRSxFQUFFLGlCQUFpQixFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsQ0FBQyxjQUFjLEdBQUcsSUFBSSxDQUFDLEVBQUUsQ0FBQyxDQTJDOUc7Q0FDRiJ9
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"message_context_service.d.ts","sourceRoot":"","sources":["../../src/messages/message_context_service.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAGpD,+EAA+E;AAC/E,qBAAa,qBAAqB;IACpB,OAAO,CAAC,QAAQ,CAAC,SAAS;IAAtC,YAA6B,SAAS,EAAE,SAAS,EAAI;IAErD;;;;;;OAMG;IACG,0BAA0B,CAAC,QAAQ,EAAE,EAAE,EAAE,EAAE,iBAAiB,EAAE,MAAM,GAAG,OAAO,CAAC,CAAC,cAAc,GAAG,IAAI,CAAC,EAAE,CAAC,CA2C9G;CACF"}
|
|
@@ -0,0 +1,55 @@
|
|
|
1
|
+
import { uniqueBy } from '@aztec/foundation/collection';
|
|
2
|
+
import { MessageContext } from '@aztec/stdlib/logs';
|
|
3
|
+
import { TxHash } from '@aztec/stdlib/tx';
|
|
4
|
+
/** Resolves transaction hashes into the context needed to process messages. */ export class MessageContextService {
|
|
5
|
+
aztecNode;
|
|
6
|
+
constructor(aztecNode){
|
|
7
|
+
this.aztecNode = aztecNode;
|
|
8
|
+
}
|
|
9
|
+
/**
|
|
10
|
+
* Resolves a list of tx hashes into their message contexts.
|
|
11
|
+
*
|
|
12
|
+
* For each tx hash, looks up the corresponding tx effect and extracts the note hashes and first nullifier needed to
|
|
13
|
+
* process messages that originated from that transaction. Returns `null` for tx hashes that are zero, not yet
|
|
14
|
+
* available, or in blocks beyond the anchor block.
|
|
15
|
+
*/ async getMessageContextsByTxHash(txHashes, anchorBlockNumber) {
|
|
16
|
+
const nonZeroTxHashes = txHashes.filter((h)=>!h.isZero()).map((h)=>TxHash.fromField(h));
|
|
17
|
+
const uniqueTxHashes = uniqueBy(nonZeroTxHashes, (h)=>h.toString());
|
|
18
|
+
const fetched = await Promise.all(uniqueTxHashes.map((h)=>this.aztecNode.getTxReceipt(h, {
|
|
19
|
+
includeTxEffect: true
|
|
20
|
+
})));
|
|
21
|
+
const txEffects = new Map(uniqueTxHashes.map((h, i)=>{
|
|
22
|
+
const receipt = fetched[i];
|
|
23
|
+
if (!receipt.isMined() || !receipt.txEffect) {
|
|
24
|
+
return [
|
|
25
|
+
h.toString(),
|
|
26
|
+
undefined
|
|
27
|
+
];
|
|
28
|
+
}
|
|
29
|
+
return [
|
|
30
|
+
h.toString(),
|
|
31
|
+
{
|
|
32
|
+
data: receipt.txEffect,
|
|
33
|
+
l2BlockNumber: receipt.blockNumber,
|
|
34
|
+
l2BlockHash: receipt.blockHash,
|
|
35
|
+
txIndexInBlock: receipt.txIndexInBlock,
|
|
36
|
+
slotNumber: receipt.slotNumber
|
|
37
|
+
}
|
|
38
|
+
];
|
|
39
|
+
}).filter((entry)=>entry[1] !== undefined));
|
|
40
|
+
return txHashes.map((txHashField)=>{
|
|
41
|
+
const txHash = TxHash.fromField(txHashField);
|
|
42
|
+
const txEffect = txEffects.get(txHash.toString());
|
|
43
|
+
if (!txEffect || txEffect.l2BlockNumber > anchorBlockNumber) {
|
|
44
|
+
return null;
|
|
45
|
+
}
|
|
46
|
+
// Every tx has at least one nullifier (the first nullifier derived from the tx hash). Hitting this condition
|
|
47
|
+
// would mean a buggy node, but since we need to access data.nullifiers[0], the defensive check does no harm.
|
|
48
|
+
const data = txEffect.data;
|
|
49
|
+
if (data.nullifiers.length === 0) {
|
|
50
|
+
throw new Error(`Tx effect for ${txHash} has no nullifiers`);
|
|
51
|
+
}
|
|
52
|
+
return new MessageContext(data.txHash, data.noteHashes, data.nullifiers[0]);
|
|
53
|
+
});
|
|
54
|
+
}
|
|
55
|
+
}
|
|
@@ -0,0 +1,2 @@
|
|
|
1
|
+
export { NoteService } from './note_service.js';
|
|
2
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub3Rlcy9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sbUJBQW1CLENBQUMifQ==
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/notes/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
export { NoteService } from './note_service.js';
|
|
@@ -0,0 +1,70 @@
|
|
|
1
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
2
|
+
import type { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
3
|
+
import { type AztecNode } from '@aztec/stdlib/interfaces/client';
|
|
4
|
+
import { Note, NoteStatus } from '@aztec/stdlib/note';
|
|
5
|
+
import type { BlockHeader, IndexedTxEffect } from '@aztec/stdlib/tx';
|
|
6
|
+
import type { NoteValidationRequest } from '../contract_function_simulator/noir-structs/note_validation_request.js';
|
|
7
|
+
import type { NoteStore } from '../storage/note_store/note_store.js';
|
|
8
|
+
export declare class NoteService {
|
|
9
|
+
#private;
|
|
10
|
+
private readonly noteStore;
|
|
11
|
+
private readonly aztecNode;
|
|
12
|
+
private readonly anchorBlockHeader;
|
|
13
|
+
private readonly jobId;
|
|
14
|
+
constructor(noteStore: NoteStore, aztecNode: AztecNode, anchorBlockHeader: BlockHeader, jobId: string);
|
|
15
|
+
/**
|
|
16
|
+
* Retrieves a set of notes stored in the database for a given contract address and storage slot.
|
|
17
|
+
* The query result is paginated using 'limit' and 'offset' values.
|
|
18
|
+
* Returns an object containing an array of note data.
|
|
19
|
+
*
|
|
20
|
+
* @param owner - The owner of the notes. If undefined, returns notes for all known owners.
|
|
21
|
+
* @param status - The status of notes to fetch.
|
|
22
|
+
* @param scopes - The accounts whose notes we can access in this call. Currently optional and will default to all.
|
|
23
|
+
*/
|
|
24
|
+
getNotes(contractAddress: AztecAddress, owner: AztecAddress | undefined, storageSlot: Fr, status: NoteStatus, scopes: AztecAddress[]): Promise<{
|
|
25
|
+
contractAddress: AztecAddress;
|
|
26
|
+
owner: AztecAddress;
|
|
27
|
+
storageSlot: Fr;
|
|
28
|
+
randomness: Fr;
|
|
29
|
+
noteNonce: Fr;
|
|
30
|
+
note: Note;
|
|
31
|
+
noteHash: Fr;
|
|
32
|
+
isPending: boolean;
|
|
33
|
+
siloedNullifier: Fr;
|
|
34
|
+
}[]>;
|
|
35
|
+
/**
|
|
36
|
+
* Looks for nullifiers of active contract notes and marks them as nullified if a nullifier is found.
|
|
37
|
+
*
|
|
38
|
+
* Fetches notes from the NoteStore and checks which nullifiers are present in the
|
|
39
|
+
* onchain nullifier Merkle tree - up to the latest locally synced block. We use the
|
|
40
|
+
* locally synced block instead of querying the chain's 'latest' block to ensure correctness:
|
|
41
|
+
* notes are only marked nullified once their corresponding nullifier has been included in a
|
|
42
|
+
* block up to which the PXE has synced.
|
|
43
|
+
* This allows recent nullifications to be processed even if the node is not an archive node.
|
|
44
|
+
*
|
|
45
|
+
* @param contractAddress - The contract whose notes should be checked and nullified.
|
|
46
|
+
*/
|
|
47
|
+
syncNoteNullifiers(contractAddress: AztecAddress, scopes: AztecAddress[]): Promise<void>;
|
|
48
|
+
/**
|
|
49
|
+
* Validates and stores a batch of notes against pre-fetched tx effects.
|
|
50
|
+
*
|
|
51
|
+
* For each request we must verify that:
|
|
52
|
+
* - the note actually exists in the corresponding tx effect (and thus in the note hash tree), and
|
|
53
|
+
* - the note has not already been nullified.
|
|
54
|
+
*
|
|
55
|
+
* Failing to do either would result in circuits getting either non-existent notes and failing to produce inclusion
|
|
56
|
+
* proofs for them, or getting nullified notes and producing duplicate nullifiers, both of which are catastrophic
|
|
57
|
+
* failure modes.
|
|
58
|
+
*
|
|
59
|
+
* Note that adding a note and removing it is *not* equivalent to never adding it in the first place. A nullifier
|
|
60
|
+
* emitted in a block that comes after note creation might result in the note being de-nullified by a chain reorg,
|
|
61
|
+
* so we must store both the note hash and nullifier block information.
|
|
62
|
+
*
|
|
63
|
+
* @param requests - The notes to validate and store.
|
|
64
|
+
* @param scope - The scope under which the notes are being stored.
|
|
65
|
+
* @param txEffects - Pre-fetched tx effects keyed by `TxHash.toString()`. Must contain entries for every request's
|
|
66
|
+
* txHash; missing entries are treated as a node bug and cause an error.
|
|
67
|
+
*/
|
|
68
|
+
validateAndStoreNotes(requests: NoteValidationRequest[], scope: AztecAddress, txEffects: Map<string, IndexedTxEffect>): Promise<void>;
|
|
69
|
+
}
|
|
70
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibm90ZV9zZXJ2aWNlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvbm90ZXMvbm90ZV9zZXJ2aWNlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUdoRSxPQUFPLEVBQUUsS0FBSyxTQUFTLEVBQWUsTUFBTSxpQ0FBaUMsQ0FBQztBQUM5RSxPQUFPLEVBQUUsSUFBSSxFQUFXLFVBQVUsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBRS9ELE9BQU8sS0FBSyxFQUFFLFdBQVcsRUFBRSxlQUFlLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUVyRSxPQUFPLEtBQUssRUFBRSxxQkFBcUIsRUFBRSxNQUFNLHdFQUF3RSxDQUFDO0FBQ3BILE9BQU8sS0FBSyxFQUFFLFNBQVMsRUFBRSxNQUFNLHFDQUFxQyxDQUFDO0FBRXJFLHFCQUFhLFdBQVc7O0lBRXBCLE9BQU8sQ0FBQyxRQUFRLENBQUMsU0FBUztJQUMxQixPQUFPLENBQUMsUUFBUSxDQUFDLFNBQVM7SUFDMUIsT0FBTyxDQUFDLFFBQVEsQ0FBQyxpQkFBaUI7SUFDbEMsT0FBTyxDQUFDLFFBQVEsQ0FBQyxLQUFLO0lBSnhCLFlBQ21CLFNBQVMsRUFBRSxTQUFTLEVBQ3BCLFNBQVMsRUFBRSxTQUFTLEVBQ3BCLGlCQUFpQixFQUFFLFdBQVcsRUFDOUIsS0FBSyxFQUFFLE1BQU0sRUFDNUI7SUFFSjs7Ozs7Ozs7T0FRRztJQUNVLFFBQVEsQ0FDbkIsZUFBZSxFQUFFLFlBQVksRUFDN0IsS0FBSyxFQUFFLFlBQVksR0FBRyxTQUFTLEVBQy9CLFdBQVcsRUFBRSxFQUFFLEVBQ2YsTUFBTSxFQUFFLFVBQVUsRUFDbEIsTUFBTSxFQUFFLFlBQVksRUFBRTs7Ozs7Ozs7OztTQXlCdkI7SUFFRDs7Ozs7Ozs7Ozs7T0FXRztJQUNVLGtCQUFrQixDQUFDLGVBQWUsRUFBRSxZQUFZLEVBQUUsTUFBTSxFQUFFLFlBQVksRUFBRSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FxQnBHO0lBRUQ7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7T0FtQkc7SUFDVSxxQkFBcUIsQ0FDaEMsUUFBUSxFQUFFLHFCQUFxQixFQUFFLEVBQ2pDLEtBQUssRUFBRSxZQUFZLEVBQ25CLFNBQVMsRUFBRSxHQUFHLENBQUMsTUFBTSxFQUFFLGVBQWUsQ0FBQyxHQUN0QyxPQUFPLENBQUMsSUFBSSxDQUFDLENBa0dmO0NBVUYifQ==
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"note_service.d.ts","sourceRoot":"","sources":["../../src/notes/note_service.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAGhE,OAAO,EAAE,KAAK,SAAS,EAAe,MAAM,iCAAiC,CAAC;AAC9E,OAAO,EAAE,IAAI,EAAW,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAE/D,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAErE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,wEAAwE,CAAC;AACpH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAErE,qBAAa,WAAW;;IAEpB,OAAO,CAAC,QAAQ,CAAC,SAAS;IAC1B,OAAO,CAAC,QAAQ,CAAC,SAAS;IAC1B,OAAO,CAAC,QAAQ,CAAC,iBAAiB;IAClC,OAAO,CAAC,QAAQ,CAAC,KAAK;IAJxB,YACmB,SAAS,EAAE,SAAS,EACpB,SAAS,EAAE,SAAS,EACpB,iBAAiB,EAAE,WAAW,EAC9B,KAAK,EAAE,MAAM,EAC5B;IAEJ;;;;;;;;OAQG;IACU,QAAQ,CACnB,eAAe,EAAE,YAAY,EAC7B,KAAK,EAAE,YAAY,GAAG,SAAS,EAC/B,WAAW,EAAE,EAAE,EACf,MAAM,EAAE,UAAU,EAClB,MAAM,EAAE,YAAY,EAAE;;;;;;;;;;SAyBvB;IAED;;;;;;;;;;;OAWG;IACU,kBAAkB,CAAC,eAAe,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAqBpG;IAED;;;;;;;;;;;;;;;;;;;OAmBG;IACU,qBAAqB,CAChC,QAAQ,EAAE,qBAAqB,EAAE,EACjC,KAAK,EAAE,YAAY,EACnB,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,GACtC,OAAO,CAAC,IAAI,CAAC,CAkGf;CAUF"}
|
|
@@ -0,0 +1,172 @@
|
|
|
1
|
+
import { chunk } from '@aztec/foundation/collection';
|
|
2
|
+
import { computeUniqueNoteHash, siloNoteHash, siloNullifier } from '@aztec/stdlib/hash';
|
|
3
|
+
import { MAX_RPC_LEN } from '@aztec/stdlib/interfaces/client';
|
|
4
|
+
import { Note, NoteDao } from '@aztec/stdlib/note';
|
|
5
|
+
import { MerkleTreeId } from '@aztec/stdlib/trees';
|
|
6
|
+
export class NoteService {
|
|
7
|
+
noteStore;
|
|
8
|
+
aztecNode;
|
|
9
|
+
anchorBlockHeader;
|
|
10
|
+
jobId;
|
|
11
|
+
constructor(noteStore, aztecNode, anchorBlockHeader, jobId){
|
|
12
|
+
this.noteStore = noteStore;
|
|
13
|
+
this.aztecNode = aztecNode;
|
|
14
|
+
this.anchorBlockHeader = anchorBlockHeader;
|
|
15
|
+
this.jobId = jobId;
|
|
16
|
+
}
|
|
17
|
+
/**
|
|
18
|
+
* Retrieves a set of notes stored in the database for a given contract address and storage slot.
|
|
19
|
+
* The query result is paginated using 'limit' and 'offset' values.
|
|
20
|
+
* Returns an object containing an array of note data.
|
|
21
|
+
*
|
|
22
|
+
* @param owner - The owner of the notes. If undefined, returns notes for all known owners.
|
|
23
|
+
* @param status - The status of notes to fetch.
|
|
24
|
+
* @param scopes - The accounts whose notes we can access in this call. Currently optional and will default to all.
|
|
25
|
+
*/ async getNotes(contractAddress, owner, storageSlot, status, scopes) {
|
|
26
|
+
const noteDaos = await this.noteStore.getNotes({
|
|
27
|
+
contractAddress,
|
|
28
|
+
owner,
|
|
29
|
+
storageSlot,
|
|
30
|
+
status,
|
|
31
|
+
scopes
|
|
32
|
+
}, this.jobId);
|
|
33
|
+
return noteDaos.map(({ contractAddress, owner, storageSlot, randomness, noteNonce, note, noteHash, siloedNullifier })=>({
|
|
34
|
+
contractAddress,
|
|
35
|
+
owner,
|
|
36
|
+
storageSlot,
|
|
37
|
+
randomness,
|
|
38
|
+
noteNonce,
|
|
39
|
+
note,
|
|
40
|
+
noteHash,
|
|
41
|
+
isPending: false,
|
|
42
|
+
siloedNullifier
|
|
43
|
+
}));
|
|
44
|
+
}
|
|
45
|
+
/**
|
|
46
|
+
* Looks for nullifiers of active contract notes and marks them as nullified if a nullifier is found.
|
|
47
|
+
*
|
|
48
|
+
* Fetches notes from the NoteStore and checks which nullifiers are present in the
|
|
49
|
+
* onchain nullifier Merkle tree - up to the latest locally synced block. We use the
|
|
50
|
+
* locally synced block instead of querying the chain's 'latest' block to ensure correctness:
|
|
51
|
+
* notes are only marked nullified once their corresponding nullifier has been included in a
|
|
52
|
+
* block up to which the PXE has synced.
|
|
53
|
+
* This allows recent nullifications to be processed even if the node is not an archive node.
|
|
54
|
+
*
|
|
55
|
+
* @param contractAddress - The contract whose notes should be checked and nullified.
|
|
56
|
+
*/ async syncNoteNullifiers(contractAddress, scopes) {
|
|
57
|
+
const anchorBlockHash = await this.anchorBlockHeader.hash();
|
|
58
|
+
const contractNotes = await this.noteStore.getNotes({
|
|
59
|
+
contractAddress,
|
|
60
|
+
scopes
|
|
61
|
+
}, this.jobId);
|
|
62
|
+
if (contractNotes.length === 0) {
|
|
63
|
+
return;
|
|
64
|
+
}
|
|
65
|
+
const nullifiersToCheck = contractNotes.map((note)=>note.siloedNullifier);
|
|
66
|
+
const nullifierIndexes = await this.#findNullifierIndexes(anchorBlockHash, nullifiersToCheck);
|
|
67
|
+
const foundNullifiers = nullifiersToCheck.map((nullifier, i)=>{
|
|
68
|
+
if (nullifierIndexes[i] !== undefined) {
|
|
69
|
+
return {
|
|
70
|
+
...nullifierIndexes[i],
|
|
71
|
+
...{
|
|
72
|
+
data: nullifier
|
|
73
|
+
}
|
|
74
|
+
};
|
|
75
|
+
}
|
|
76
|
+
}).filter((nullifier)=>nullifier !== undefined);
|
|
77
|
+
await this.noteStore.applyNullifiers(foundNullifiers, this.jobId);
|
|
78
|
+
}
|
|
79
|
+
/**
|
|
80
|
+
* Validates and stores a batch of notes against pre-fetched tx effects.
|
|
81
|
+
*
|
|
82
|
+
* For each request we must verify that:
|
|
83
|
+
* - the note actually exists in the corresponding tx effect (and thus in the note hash tree), and
|
|
84
|
+
* - the note has not already been nullified.
|
|
85
|
+
*
|
|
86
|
+
* Failing to do either would result in circuits getting either non-existent notes and failing to produce inclusion
|
|
87
|
+
* proofs for them, or getting nullified notes and producing duplicate nullifiers, both of which are catastrophic
|
|
88
|
+
* failure modes.
|
|
89
|
+
*
|
|
90
|
+
* Note that adding a note and removing it is *not* equivalent to never adding it in the first place. A nullifier
|
|
91
|
+
* emitted in a block that comes after note creation might result in the note being de-nullified by a chain reorg,
|
|
92
|
+
* so we must store both the note hash and nullifier block information.
|
|
93
|
+
*
|
|
94
|
+
* @param requests - The notes to validate and store.
|
|
95
|
+
* @param scope - The scope under which the notes are being stored.
|
|
96
|
+
* @param txEffects - Pre-fetched tx effects keyed by `TxHash.toString()`. Must contain entries for every request's
|
|
97
|
+
* txHash; missing entries are treated as a node bug and cause an error.
|
|
98
|
+
*/ async validateAndStoreNotes(requests, scope, txEffects) {
|
|
99
|
+
if (requests.length === 0) {
|
|
100
|
+
return;
|
|
101
|
+
}
|
|
102
|
+
// We avoid making node queries at 'latest' since we don't want to process notes or nullifiers that only exist ahead
|
|
103
|
+
// in time of the locally synced state.
|
|
104
|
+
// Note that while this technically results in historical queries, we perform it at the latest locally synced block
|
|
105
|
+
// number which *should* be recent enough to be available, even for non-archive nodes.
|
|
106
|
+
// Also note that the note should never be ahead of the synced block here since `fetchTaggedLogs` only processes
|
|
107
|
+
// logs up to the synced block making this only an additional safety check.
|
|
108
|
+
const anchorBlockNumber = this.anchorBlockHeader.getBlockNumber();
|
|
109
|
+
const anchorBlockHash = await this.anchorBlockHeader.hash();
|
|
110
|
+
// By computing siloed and unique note hashes ourselves we prevent contracts from interfering with the note storage
|
|
111
|
+
// of other contracts, which would constitute a security breach.
|
|
112
|
+
const computed = await Promise.all(requests.map(async ({ contractAddress, noteHash, nullifier, noteNonce })=>{
|
|
113
|
+
const [siloedNoteHash, siloedNullifier] = await Promise.all([
|
|
114
|
+
siloNoteHash(contractAddress, noteHash),
|
|
115
|
+
siloNullifier(contractAddress, nullifier)
|
|
116
|
+
]);
|
|
117
|
+
const uniqueNoteHash = await computeUniqueNoteHash(noteNonce, siloedNoteHash);
|
|
118
|
+
return {
|
|
119
|
+
uniqueNoteHash,
|
|
120
|
+
siloedNullifier
|
|
121
|
+
};
|
|
122
|
+
}));
|
|
123
|
+
const nullifierIndexes = await this.#findNullifierIndexes(anchorBlockHash, computed.map((c)=>c.siloedNullifier));
|
|
124
|
+
const noteDaos = [];
|
|
125
|
+
const foundNullifiers = [];
|
|
126
|
+
for(let i = 0; i < requests.length; i++){
|
|
127
|
+
const { contractAddress, owner, storageSlot, randomness, noteNonce, content, noteHash, txHash } = requests[i];
|
|
128
|
+
const { uniqueNoteHash, siloedNullifier } = computed[i];
|
|
129
|
+
const nullifierIndex = nullifierIndexes[i];
|
|
130
|
+
const txEffect = txEffects.get(txHash.toString());
|
|
131
|
+
if (!txEffect) {
|
|
132
|
+
// We error out instead of just logging a warning and skipping the note because this would indicate a bug. This
|
|
133
|
+
// is because the node has already served info about this tx either when obtaining the log (LogResult carries
|
|
134
|
+
// the tx info) or when getting metadata for the offchain message (before the message got passed to
|
|
135
|
+
// `process_log`).
|
|
136
|
+
throw new Error(`Could not find tx effect for tx hash ${txHash} when processing a note.`);
|
|
137
|
+
}
|
|
138
|
+
if (txEffect.l2BlockNumber > anchorBlockNumber) {
|
|
139
|
+
// If the message was delivered onchain, this would indicate a bug: log sync should never load logs from blocks
|
|
140
|
+
// newer than the anchor block. If the note came via an offchain message, it would likely also be a bug, since
|
|
141
|
+
// we sync a new anchor block before calling `process_message`. For this not to be a bug, the message would
|
|
142
|
+
// need to come from a newer block than the anchor served by the node, implying the node isn't properly synced.
|
|
143
|
+
// We therefore error out here rather than assuming the offchain message was constructed by a malicious
|
|
144
|
+
// sender with the intention of bricking recipient's PXE (if we assumed that we would just ignore the message).
|
|
145
|
+
throw new Error(`Obtained a newer tx effect for ${txHash} for a note validation request than the anchor block ${anchorBlockNumber}. This is a bug as we should not ever be processing a note from a newer block than the anchor block.`);
|
|
146
|
+
}
|
|
147
|
+
// Find the index of the note hash in the noteHashes array to determine note ordering within the tx
|
|
148
|
+
const noteIndexInTx = txEffect.data.noteHashes.findIndex((nh)=>nh.equals(uniqueNoteHash));
|
|
149
|
+
if (noteIndexInTx === -1) {
|
|
150
|
+
// Similar to the comment above - we error out as this would indicate a bug in nonce discovery.
|
|
151
|
+
throw new Error(`Note hash ${noteHash} (uniqued as ${uniqueNoteHash}) is not present in tx ${txHash}`);
|
|
152
|
+
}
|
|
153
|
+
noteDaos.push(new NoteDao(new Note(content), contractAddress, owner, storageSlot, randomness, noteNonce, noteHash, siloedNullifier, txHash, txEffect.l2BlockNumber, txEffect.l2BlockHash.toString(), txEffect.txIndexInBlock, noteIndexInTx));
|
|
154
|
+
if (nullifierIndex !== undefined) {
|
|
155
|
+
// We found a nullifier index which implies that the note has already been nullified.
|
|
156
|
+
const { data: _, ...blockHashAndNum } = nullifierIndex;
|
|
157
|
+
foundNullifiers.push({
|
|
158
|
+
data: siloedNullifier,
|
|
159
|
+
...blockHashAndNum
|
|
160
|
+
});
|
|
161
|
+
}
|
|
162
|
+
}
|
|
163
|
+
await this.noteStore.addNotes(noteDaos, scope, this.jobId);
|
|
164
|
+
if (foundNullifiers.length > 0) {
|
|
165
|
+
await this.noteStore.applyNullifiers(foundNullifiers, this.jobId);
|
|
166
|
+
}
|
|
167
|
+
}
|
|
168
|
+
async #findNullifierIndexes(anchorBlockHash, siloedNullifiers) {
|
|
169
|
+
const batches = chunk(siloedNullifiers, MAX_RPC_LEN);
|
|
170
|
+
return (await Promise.all(batches.map((batch)=>this.aztecNode.findLeavesIndexes(anchorBlockHash, MerkleTreeId.NULLIFIER_TREE, batch)))).flat();
|
|
171
|
+
}
|
|
172
|
+
}
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
import type { Fr } from '@aztec/foundation/curves/bn254';
|
|
2
|
+
import type { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
3
|
+
import type { NoteStatus } from '@aztec/stdlib/note';
|
|
4
|
+
/**
|
|
5
|
+
* A filter used to fetch notes.
|
|
6
|
+
* @remarks This filter is applied as an intersection of all its params.
|
|
7
|
+
*/
|
|
8
|
+
export type NotesFilter = {
|
|
9
|
+
/**
|
|
10
|
+
* The contract address the note belongs to.
|
|
11
|
+
* @remarks Providing a contract address is required as we need that information to trigger private state sync.
|
|
12
|
+
*/
|
|
13
|
+
contractAddress: AztecAddress;
|
|
14
|
+
/** The owner of the note. */
|
|
15
|
+
owner?: AztecAddress;
|
|
16
|
+
/** The specific storage location of the note on the contract. */
|
|
17
|
+
storageSlot?: Fr;
|
|
18
|
+
/** The status of the note. Defaults to 'ACTIVE'. */
|
|
19
|
+
status?: NoteStatus;
|
|
20
|
+
/** The siloed nullifier for the note. */
|
|
21
|
+
siloedNullifier?: Fr;
|
|
22
|
+
scopes: AztecAddress[];
|
|
23
|
+
};
|
|
24
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibm90ZXNfZmlsdGVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvbm90ZXNfZmlsdGVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3pELE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQ2hFLE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBRXJEOzs7R0FHRztBQUNILE1BQU0sTUFBTSxXQUFXLEdBQUc7SUFDeEI7OztPQUdHO0lBQ0gsZUFBZSxFQUFFLFlBQVksQ0FBQztJQUM5Qiw2QkFBNkI7SUFDN0IsS0FBSyxDQUFDLEVBQUUsWUFBWSxDQUFDO0lBQ3JCLGlFQUFpRTtJQUNqRSxXQUFXLENBQUMsRUFBRSxFQUFFLENBQUM7SUFDakIsb0RBQW9EO0lBQ3BELE1BQU0sQ0FBQyxFQUFFLFVBQVUsQ0FBQztJQUNwQix5Q0FBeUM7SUFDekMsZUFBZSxDQUFDLEVBQUUsRUFBRSxDQUFDO0lBQ3JCLE1BQU0sRUFBRSxZQUFZLEVBQUUsQ0FBQztDQUN4QixDQUFDIn0=
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"notes_filter.d.ts","sourceRoot":"","sources":["../src/notes_filter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD;;;GAGG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB;;;OAGG;IACH,eAAe,EAAE,YAAY,CAAC;IAC9B,6BAA6B;IAC7B,KAAK,CAAC,EAAE,YAAY,CAAC;IACrB,iEAAiE;IACjE,WAAW,CAAC,EAAE,EAAE,CAAC;IACjB,oDAAoD;IACpD,MAAM,CAAC,EAAE,UAAU,CAAC;IACpB,yCAAyC;IACzC,eAAe,CAAC,EAAE,EAAE,CAAC;IACrB,MAAM,EAAE,YAAY,EAAE,CAAC;CACxB,CAAC"}
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
export declare const ORACLE_VERSION_MAJOR = 29;
|
|
2
|
+
export declare const ORACLE_VERSION_MINOR = 0;
|
|
3
|
+
export declare const ORACLE_INTERFACE_HASH = "157fe8fa79f0e5a25db3d61341f9bcf5b43cb68367bea497204006daa48751b6";
|
|
4
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoib3JhY2xlX3ZlcnNpb24uZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9vcmFjbGVfdmVyc2lvbi50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFZQSxlQUFPLE1BQU0sb0JBQW9CLEtBQUssQ0FBQztBQUN2QyxlQUFPLE1BQU0sb0JBQW9CLElBQUksQ0FBQztBQVF0QyxlQUFPLE1BQU0scUJBQXFCLHFFQUFxRSxDQUFDIn0=
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"oracle_version.d.ts","sourceRoot":"","sources":["../src/oracle_version.ts"],"names":[],"mappings":"AAYA,eAAO,MAAM,oBAAoB,KAAK,CAAC;AACvC,eAAO,MAAM,oBAAoB,IAAI,CAAC;AAQtC,eAAO,MAAM,qBAAqB,qEAAqE,CAAC"}
|
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
/// The oracle version constants are used to check that the oracle interface is in sync between PXE and Aztec.nr.
|
|
2
|
+
/// We version the oracle interface as `major.minor` where:
|
|
3
|
+
/// - `major` = backward-breaking changes (must match exactly between PXE and Aztec.nr)
|
|
4
|
+
/// - `minor` = oracle additions (non-breaking; PXE minor >= contract minor)
|
|
5
|
+
///
|
|
6
|
+
/// The Noir counterparts are in `noir-projects/aztec-nr/aztec/src/oracle/version.nr`.
|
|
7
|
+
///
|
|
8
|
+
/// @dev Whenever a contract function or Noir test is run, the `aztec_misc_assertCompatibleOracleVersion` oracle is called.
|
|
9
|
+
/// If the major version is incompatible, an error is thrown immediately. The minor version is recorded by the PXE and
|
|
10
|
+
/// used to provide helpful error messages if a contract calls an oracle that doesn't exist. We don't throw immediately
|
|
11
|
+
/// if AZTEC_NR_MINOR > PXE_MINOR because if a contract is updated to use a newer Aztec.nr dependency without actually
|
|
12
|
+
/// using any of the new oracles then there is no reason to throw.
|
|
13
|
+
export const ORACLE_VERSION_MAJOR = 29;
|
|
14
|
+
export const ORACLE_VERSION_MINOR = 0;
|
|
15
|
+
/// This hash is computed from the Oracle interface and is used to detect when that interface changes. When it does,
|
|
16
|
+
/// you need to either:
|
|
17
|
+
/// - increment `ORACLE_VERSION_MAJOR` and reset `ORACLE_VERSION_MINOR` to zero if the change is breaking, or
|
|
18
|
+
/// - increment only `ORACLE_VERSION_MINOR` if the change is additive (a new oracle was added).
|
|
19
|
+
///
|
|
20
|
+
/// These constants must be kept in sync between this file and `noir-projects/aztec-nr/aztec/src/oracle/version.nr`.
|
|
21
|
+
export const ORACLE_INTERFACE_HASH = '157fe8fa79f0e5a25db3d61341f9bcf5b43cb68367bea497204006daa48751b6';
|
|
@@ -0,0 +1,47 @@
|
|
|
1
|
+
import { PrivateKernelCircuitPublicInputs } from '@aztec/stdlib/kernel';
|
|
2
|
+
import type { PrivateCallExecutionResult } from '@aztec/stdlib/tx';
|
|
3
|
+
/**
|
|
4
|
+
* Decides how many apps from the top of the execution stack the next kernel iteration should
|
|
5
|
+
* absorb. The decision is made by keeping track of an app-by-app accumulator calling
|
|
6
|
+
* `PrivateKernelResetPrivateInputsBuilder.needsReset()` whether a reset would be required before
|
|
7
|
+
* taking each candidate.
|
|
8
|
+
*
|
|
9
|
+
* The K-batched kernels are mathematically equivalent to running K sequential `init`/`inner`
|
|
10
|
+
* iterations so a multi-app fit-check reduces to a sequence of single-app fit-checks against a rolling
|
|
11
|
+
* accumulator.
|
|
12
|
+
*/
|
|
13
|
+
export declare class BatchPlanner {
|
|
14
|
+
private noteHashNullifierCounterMap;
|
|
15
|
+
private splitCounter;
|
|
16
|
+
private maxBatchSize;
|
|
17
|
+
constructor(noteHashNullifierCounterMap: Map<number, number>, splitCounter: number, maxBatchSize: number);
|
|
18
|
+
/**
|
|
19
|
+
* Returns the number of apps from the top of `stack` that the next kernel iteration should
|
|
20
|
+
* batch. Always at least 1 — the caller is expected to have run any pending resets first, so
|
|
21
|
+
* the next single app must always fit.
|
|
22
|
+
*
|
|
23
|
+
* The walk mirrors `consumeNextApp`'s stack manipulation (pop top, push reversed nested
|
|
24
|
+
* children, then DFS into them) on a copy of the stack, so the planner can look ahead past
|
|
25
|
+
* the parent's children without mutating the real prover stack.
|
|
26
|
+
*/
|
|
27
|
+
decideBatchSize(currentAccumulator: PrivateKernelCircuitPublicInputs, stack: PrivateCallExecutionResult[]): number;
|
|
28
|
+
}
|
|
29
|
+
/**
|
|
30
|
+
* Returns a new `PrivateKernelCircuitPublicInputs` representing the accumulator after one kernel
|
|
31
|
+
* iteration has absorbed `app`. Mirrors the kernel composer's accumulator-update step
|
|
32
|
+
* (`PrivateKernelCircuitOutputComposer::scope_and_propagate_from_private_call`) for the six
|
|
33
|
+
* fields that `PrivateKernelResetPrivateInputsBuilder.needsReset()` inspects:
|
|
34
|
+
*
|
|
35
|
+
* - `validationRequests.noteHashReadRequests` (already scoped per app; appended as-is)
|
|
36
|
+
* - `validationRequests.nullifierReadRequests` (already scoped per app; appended as-is)
|
|
37
|
+
* - `validationRequests.scopedKeyValidationRequestsAndSeparators` (scope with call's contract address)
|
|
38
|
+
* - `end.noteHashes` (scope)
|
|
39
|
+
* - `end.nullifiers` (scope)
|
|
40
|
+
* - `end.privateLogs` (scope)
|
|
41
|
+
*
|
|
42
|
+
* Other fields on `PrivateKernelCircuitPublicInputs` (constants, fee_payer, expiration_timestamp,
|
|
43
|
+
* public_call_requests, l2_to_l1_msgs, contract_class_logs_hashes, etc.) are not read by
|
|
44
|
+
* `needsReset()` and are carried over unchanged from `acc`.
|
|
45
|
+
*/
|
|
46
|
+
export declare function appendApp(acc: PrivateKernelCircuitPublicInputs, app: PrivateCallExecutionResult): PrivateKernelCircuitPublicInputs;
|
|
47
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmF0Y2hfcGxhbm5lci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3ByaXZhdGVfa2VybmVsL2JhdGNoX3BsYW5uZXIudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUdMLGdDQUFnQyxFQUlqQyxNQUFNLHNCQUFzQixDQUFDO0FBQzlCLE9BQU8sS0FBSyxFQUFFLDBCQUEwQixFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFLbkU7Ozs7Ozs7OztHQVNHO0FBQ0gscUJBQWEsWUFBWTtJQUVyQixPQUFPLENBQUMsMkJBQTJCO0lBQ25DLE9BQU8sQ0FBQyxZQUFZO0lBQ3BCLE9BQU8sQ0FBQyxZQUFZO0lBSHRCLFlBQ1UsMkJBQTJCLEVBQUUsR0FBRyxDQUFDLE1BQU0sRUFBRSxNQUFNLENBQUMsRUFDaEQsWUFBWSxFQUFFLE1BQU0sRUFDcEIsWUFBWSxFQUFFLE1BQU0sRUFDMUI7SUFFSjs7Ozs7Ozs7T0FRRztJQUNILGVBQWUsQ0FBQyxrQkFBa0IsRUFBRSxnQ0FBZ0MsRUFBRSxLQUFLLEVBQUUsMEJBQTBCLEVBQUUsR0FBRyxNQUFNLENBNEJqSDtDQUNGO0FBRUQ7Ozs7Ozs7Ozs7Ozs7Ozs7R0FnQkc7QUFDSCx3QkFBZ0IsU0FBUyxDQUN2QixHQUFHLEVBQUUsZ0NBQWdDLEVBQ3JDLEdBQUcsRUFBRSwwQkFBMEIsR0FDOUIsZ0NBQWdDLENBZ0VsQyJ9
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"batch_planner.d.ts","sourceRoot":"","sources":["../../src/private_kernel/batch_planner.ts"],"names":[],"mappings":"AACA,OAAO,EAGL,gCAAgC,EAIjC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,kBAAkB,CAAC;AAKnE;;;;;;;;;GASG;AACH,qBAAa,YAAY;IAErB,OAAO,CAAC,2BAA2B;IACnC,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,YAAY;IAHtB,YACU,2BAA2B,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAChD,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,MAAM,EAC1B;IAEJ;;;;;;;;OAQG;IACH,eAAe,CAAC,kBAAkB,EAAE,gCAAgC,EAAE,KAAK,EAAE,0BAA0B,EAAE,GAAG,MAAM,CA4BjH;CACF;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,SAAS,CACvB,GAAG,EAAE,gCAAgC,EACrC,GAAG,EAAE,0BAA0B,GAC9B,gCAAgC,CAgElC"}
|