[async exp] rename usage of AsyncHostFuture to FutureMaybeSend

crates/miden-objects/src/lib.rs

@@ -87,5 +87,5 @@ pub mod utils {
 pub mod vm {
     pub use miden_verifier::ExecutionProof;
     pub use vm_core::{AdviceMap, Program, ProgramInfo, sys_events::SystemEvent};
-    pub use vm_processor::{AdviceInputs, RowIndex, StackInputs, StackOutputs};
+    pub use vm_processor::{AdviceInputs, FutureMaybeSend, RowIndex, StackInputs, StackOutputs};
 }

crates/miden-testing/src/tx_context/context.rs

@@ -20,7 +20,7 @@ use miden_tx::{
 };
 use rand_chacha::ChaCha20Rng;
 use vm_processor::{
-    AdviceInputs, AsyncHostFuture, ExecutionError, MastForest, MastForestStore, Process, Word,
+    AdviceInputs, ExecutionError, FutureMaybeSend, MastForest, MastForestStore, Process, Word,
 };
 
 use crate::{MockHost, executor::CodeExecutor, tx_context::builder::MockAuthenticator};
@@ -190,7 +190,7 @@ impl DataStore for TransactionContext {
         &self,
         account_id: AccountId,
         _ref_blocks: BTreeSet<BlockNumber>,
-    ) -> impl AsyncHostFuture<
+    ) -> impl FutureMaybeSend<
         Result<(Account, Option<Word>, BlockHeader, PartialBlockchain), DataStoreError>,
     > {
         assert_eq!(account_id, self.account().id());

crates/miden-tx/src/auth/tx_authenticator.rs

@@ -6,7 +6,7 @@ use miden_objects::{
 };
 use rand::Rng;
 use tokio::sync::RwLock;
-use vm_processor::AsyncHostFuture;
+use vm_processor::FutureMaybeSend;
 
 use super::signatures::get_falcon_signature;
 use crate::errors::AuthenticationError;
@@ -91,7 +91,7 @@ pub trait TransactionAuthenticator {
         &self,
         pub_key: Word,
         signing_inputs: &SigningInputs,
-    ) -> impl AsyncHostFuture<Result<Vec<Felt>, AuthenticationError>>;
+    ) -> impl FutureMaybeSend<Result<Vec<Felt>, AuthenticationError>>;
 }
 
 /// A placeholder type for the generic trait bound of `TransactionAuthenticator<'_,'_,_,T>`
@@ -110,7 +110,7 @@ impl TransactionAuthenticator for UnreachableAuth {
         &self,
         _pub_key: Word,
         _signing_inputs: &SigningInputs,
-    ) -> impl AsyncHostFuture<Result<Vec<Felt>, AuthenticationError>> {
+    ) -> impl FutureMaybeSend<Result<Vec<Felt>, AuthenticationError>> {
         async { unreachable!("Type `UnreachableAuth` must not be instantiated") }
     }
 }
@@ -168,7 +168,7 @@ impl<R: Rng + Send + Sync> TransactionAuthenticator for BasicAuthenticator<R> {
         &self,
         pub_key: Word,
         signing_inputs: &SigningInputs,
-    ) -> impl AsyncHostFuture<Result<Vec<Felt>, AuthenticationError>> {
+    ) -> impl FutureMaybeSend<Result<Vec<Felt>, AuthenticationError>> {
         let message = signing_inputs.to_commitment();
 
         async move {
@@ -196,7 +196,7 @@ impl TransactionAuthenticator for () {
         &self,
         _pub_key: Word,
         _signing_inputs: &SigningInputs,
-    ) -> impl AsyncHostFuture<Result<Vec<Felt>, AuthenticationError>> {
+    ) -> impl FutureMaybeSend<Result<Vec<Felt>, AuthenticationError>> {
         async {
             Err(AuthenticationError::RejectedSignature(
                 "default authenticator cannot provide signatures".to_string(),

crates/miden-tx/src/executor/data_store.rs

@@ -5,7 +5,7 @@ use miden_objects::{
     block::{BlockHeader, BlockNumber},
     transaction::PartialBlockchain,
 };
-use vm_processor::{AsyncHostFuture, MastForestStore, Word};
+use vm_processor::{FutureMaybeSend, MastForestStore, Word};
 
 use crate::DataStoreError;
 
@@ -32,7 +32,7 @@ pub trait DataStore: MastForestStore {
         &self,
         account_id: AccountId,
         ref_blocks: BTreeSet<BlockNumber>,
-    ) -> impl AsyncHostFuture<
+    ) -> impl FutureMaybeSend<
         Result<(Account, Option<Word>, BlockHeader, PartialBlockchain), DataStoreError>,
     >;
 }

crates/miden-tx/src/executor/exec_host.rs

@@ -14,7 +14,7 @@ use miden_objects::{
     transaction::{InputNote, InputNotes, OutputNote},
 };
 use vm_processor::{
-    AdviceMutation, AsyncHost, AsyncHostFuture, BaseHost, EventError, MastForest, MastForestStore,
+    AdviceMutation, AsyncHost, BaseHost, EventError, FutureMaybeSend, MastForest, MastForestStore,
     ProcessState,
 };
 
@@ -25,9 +25,9 @@ use crate::{
     host::{ScriptMastForestStore, TransactionBaseHost, TransactionProgress},
 };
 
-/// The transaction executor host is responsible for handling [`AsyncHost`] requests made by the
-/// transaction kernel during execution. In particular, it responds to signature generation requests
-/// by forwarding the request to the contained [`TransactionAuthenticator`].
+/// The transaction executor host is responsible for handling [`FutureMaybeSend`] requests made by
+/// the transaction kernel during execution. In particular, it responds to signature generation
+/// requests by forwarding the request to the contained [`TransactionAuthenticator`].
 ///
 /// Transaction hosts are created on a per-transaction basis. That is, a transaction host is meant
 /// to support execution of a single transaction and is discarded after the transaction finishes
@@ -217,7 +217,7 @@ where
         &mut self,
         process: &ProcessState,
         event_id: u32,
-    ) -> impl AsyncHostFuture<Result<Vec<AdviceMutation>, EventError>> {
+    ) -> impl FutureMaybeSend<Result<Vec<AdviceMutation>, EventError>> {
         // TODO: Eventually, refactor this to let TransactionEvent contain the data directly, which
         // should be cleaner.
         let event_handling_result = TransactionEvent::try_from(event_id)