Merge branch 'main' into Pravdyvy/iss131-error-handling

common/src/rpc_primitives/mod.rs

@@ -1,5 +1,3 @@
-use std::time::Duration;
-
 use serde::{Deserialize, Serialize};
 
 pub mod errors;
@@ -7,21 +5,6 @@ pub mod message;
 pub mod parser;
 pub mod requests;
 
-#[derive(Serialize, Deserialize, Clone, Copy, Debug)]
-pub struct RpcPollingConfig {
-    pub polling_interval: Duration,
-    pub polling_timeout: Duration,
-}
-
-impl Default for RpcPollingConfig {
-    fn default() -> Self {
-        Self {
-            polling_interval: Duration::from_millis(500),
-            polling_timeout: Duration::from_secs(10),
-        }
-    }
-}
-
 #[derive(Serialize, Deserialize, Clone, Debug)]
 pub struct RpcLimitsConfig {
     /// Maximum byte size of the json payload.
@@ -40,7 +23,6 @@ impl Default for RpcLimitsConfig {
 pub struct RpcConfig {
     pub addr: String,
     pub cors_allowed_origins: Vec<String>,
-    pub polling_config: RpcPollingConfig,
     #[serde(default)]
     pub limits_config: RpcLimitsConfig,
 }
@@ -50,7 +32,6 @@ impl Default for RpcConfig {
         RpcConfig {
             addr: "0.0.0.0:3040".to_owned(),
             cors_allowed_origins: vec!["*".to_owned()],
-            polling_config: RpcPollingConfig::default(),
             limits_config: RpcLimitsConfig::default(),
         }
     }

common/src/rpc_primitives/requests.rs

@@ -14,7 +14,7 @@ pub struct HelloRequest {}
 
 #[derive(Serialize, Deserialize, Debug)]
 pub struct RegisterAccountRequest {
-    pub address: [u8; 32],
+    pub account_id: [u8; 32],
 }
 
 #[derive(Serialize, Deserialize, Debug)]
@@ -38,7 +38,7 @@ pub struct GetInitialTestnetAccountsRequest {}
 
 #[derive(Serialize, Deserialize, Debug)]
 pub struct GetAccountBalanceRequest {
-    pub address: String,
+    pub account_id: String,
 }
 
 #[derive(Serialize, Deserialize, Debug)]
@@ -48,12 +48,12 @@ pub struct GetTransactionByHashRequest {
 
 #[derive(Serialize, Deserialize, Debug)]
 pub struct GetAccountsNoncesRequest {
-    pub addresses: Vec<String>,
+    pub account_ids: Vec<String>,
 }
 
 #[derive(Serialize, Deserialize, Debug)]
 pub struct GetAccountRequest {
-    pub address: String,
+    pub account_id: String,
 }
 
 #[derive(Serialize, Deserialize, Debug)]

common/src/sequencer_client/json.rs

@@ -45,9 +45,9 @@ pub struct SequencerRpcResponse {
 }
 
 #[derive(Debug, Serialize, Deserialize, Clone)]
-///Helperstruct for account serialization
+/// Helperstruct for account serialization
 pub struct AccountInitialData {
-    ///Hex encoded `AccountAddress`
+    /// Hex encoded account id
-    pub addr: String,
+    pub account_id: String,
     pub balance: u64,
 }

common/src/sequencer_client/mod.rs

@@ -91,12 +91,12 @@ impl SequencerClient {
         Ok(resp_deser)
     }
 
-    ///Get account public balance for `address`. `address` must be a valid hex-string for 32 bytes.
+    ///Get account public balance for `account_id`. `account_id` must be a valid hex-string for 32 bytes.
     pub async fn get_account_balance(
         &self,
-        address: String,
+        account_id: String,
     ) -> Result<GetAccountBalanceResponse, SequencerClientError> {
-        let block_req = GetAccountBalanceRequest { address };
+        let block_req = GetAccountBalanceRequest { account_id };
 
         let req = serde_json::to_value(block_req)?;
 
@@ -109,12 +109,12 @@ impl SequencerClient {
         Ok(resp_deser)
     }
 
-    ///Get accounts nonces for `addresses`. `addresses` must be a list of valid hex-strings for 32 bytes.
+    ///Get accounts nonces for `account_ids`. `account_ids` must be a list of valid hex-strings for 32 bytes.
     pub async fn get_accounts_nonces(
         &self,
-        addresses: Vec<String>,
+        account_ids: Vec<String>,
     ) -> Result<GetAccountsNoncesResponse, SequencerClientError> {
-        let block_req = GetAccountsNoncesRequest { addresses };
+        let block_req = GetAccountsNoncesRequest { account_ids };
 
         let req = serde_json::to_value(block_req)?;
 
@@ -129,9 +129,9 @@ impl SequencerClient {
 
     pub async fn get_account(
         &self,
-        address: String,
+        account_id: String,
     ) -> Result<GetAccountResponse, SequencerClientError> {
-        let block_req = GetAccountRequest { address };
+        let block_req = GetAccountRequest { account_id };
 
         let req = serde_json::to_value(block_req)?;
 

common/src/test_utils.rs

@@ -35,12 +35,16 @@ pub fn produce_dummy_block(
 
 pub fn produce_dummy_empty_transaction() -> EncodedTransaction {
     let program_id = nssa::program::Program::authenticated_transfer_program().id();
-    let addresses = vec![];
+    let account_ids = vec![];
     let nonces = vec![];
     let instruction_data: u128 = 0;
-    let message =
+    let message = nssa::public_transaction::Message::try_new(
-        nssa::public_transaction::Message::try_new(program_id, addresses, nonces, instruction_data)
+        program_id,
-            .unwrap();
+        account_ids,
+        nonces,
+        instruction_data,
+    )
+    .unwrap();
     let private_key = nssa::PrivateKey::try_new([1; 32]).unwrap();
     let witness_set = nssa::public_transaction::WitnessSet::for_message(&message, &[&private_key]);
 
@@ -56,12 +60,16 @@ pub fn create_transaction_native_token_transfer(
     balance_to_move: u128,
     signing_key: nssa::PrivateKey,
 ) -> EncodedTransaction {
-    let addresses = vec![nssa::Address::new(from), nssa::Address::new(to)];
+    let account_ids = vec![nssa::AccountId::new(from), nssa::AccountId::new(to)];
     let nonces = vec![nonce];
     let program_id = nssa::program::Program::authenticated_transfer_program().id();
-    let message =
+    let message = nssa::public_transaction::Message::try_new(
-        nssa::public_transaction::Message::try_new(program_id, addresses, nonces, balance_to_move)
+        program_id,
-            .unwrap();
+        account_ids,
+        nonces,
+        balance_to_move,
+    )
+    .unwrap();
     let witness_set = nssa::public_transaction::WitnessSet::for_message(&message, &[&signing_key]);
 
     let nssa_tx = nssa::PublicTransaction::new(message, witness_set);

integration_tests/configs/debug/sequencer/sequencer_config.json

@@ -9,11 +9,11 @@
     "port": 3040,
     "initial_accounts": [
         {
-            "addr": "BLgCRDXYdQPMMWVHYRFGQZbgeHx9frkipa8GtpG2Syqy",
+            "account_id": "BLgCRDXYdQPMMWVHYRFGQZbgeHx9frkipa8GtpG2Syqy",
             "balance": 10000
         },
         {
-            "addr": "Gj1mJy5W7J5pfmLRujmQaLfLMWidNxQ6uwnhb666ZwHw",
+            "account_id": "Gj1mJy5W7J5pfmLRujmQaLfLMWidNxQ6uwnhb666ZwHw",
             "balance": 20000
         }
     ],

integration_tests/configs/debug/wallet/wallet_config.json

@@ -8,7 +8,7 @@
   "initial_accounts": [
     {
       "Public": {
-        "address": "BLgCRDXYdQPMMWVHYRFGQZbgeHx9frkipa8GtpG2Syqy",
+        "account_id": "BLgCRDXYdQPMMWVHYRFGQZbgeHx9frkipa8GtpG2Syqy",
         "pub_sign_key": [
           16,
           162,
@@ -47,7 +47,7 @@
     },
     {
       "Public": {
-        "address": "Gj1mJy5W7J5pfmLRujmQaLfLMWidNxQ6uwnhb666ZwHw",
+        "account_id": "Gj1mJy5W7J5pfmLRujmQaLfLMWidNxQ6uwnhb666ZwHw",
         "pub_sign_key": [
           113,
           121,
@@ -86,7 +86,7 @@
     },
     {
       "Private": {
-        "address": "3oCG8gqdKLMegw4rRfyaMQvuPHpcASt7xwttsmnZLSkw",
+        "account_id": "3oCG8gqdKLMegw4rRfyaMQvuPHpcASt7xwttsmnZLSkw",
         "account": {
           "program_owner": [
             0,
@@ -315,7 +315,7 @@
     },
     {
       "Private": {
-        "address": "AKTcXgJ1xoynta1Ec7y6Jso1z1JQtHqd7aPQ1h9er6xX",
+        "account_id": "AKTcXgJ1xoynta1Ec7y6Jso1z1JQtHqd7aPQ1h9er6xX",
         "account": {
           "program_owner": [
             0,

integration_tests/src/lib.rs

@@ -44,12 +44,12 @@ pub const TIME_TO_WAIT_FOR_BLOCK_SECONDS: u64 = 12;
 
 pub const NSSA_PROGRAM_FOR_TEST_DATA_CHANGER: &[u8] = include_bytes!("data_changer.bin");
 
-fn make_public_account_input_from_str(addr: &str) -> String {
+fn make_public_account_input_from_str(account_id: &str) -> String {
-    format!("Public/{addr}")
+    format!("Public/{account_id}")
 }
 
-fn make_private_account_input_from_str(addr: &str) -> String {
+fn make_private_account_input_from_str(account_id: &str) -> String {
-    format!("Private/{addr}")
+    format!("Private/{account_id}")
 }
 
 #[allow(clippy::type_complexity)]
@@ -174,14 +174,14 @@ mod tests {
     use crate::{make_private_account_input_from_str, make_public_account_input_from_str};
 
     #[test]
-    fn correct_addr_from_prefix() {
+    fn correct_account_id_from_prefix() {
-        let addr1 = "cafecafe";
+        let account_id1 = "cafecafe";
-        let addr2 = "deadbeaf";
+        let account_id2 = "deadbeaf";
 
-        let addr1_pub = make_public_account_input_from_str(addr1);
+        let account_id1_pub = make_public_account_input_from_str(account_id1);
-        let addr2_priv = make_private_account_input_from_str(addr2);
+        let account_id2_priv = make_private_account_input_from_str(account_id2);
 
-        assert_eq!(addr1_pub, "Public/cafecafe".to_string());
+        assert_eq!(account_id1_pub, "Public/cafecafe".to_string());
-        assert_eq!(addr2_priv, "Private/deadbeaf".to_string());
+        assert_eq!(account_id2_priv, "Private/deadbeaf".to_string());
     }
 }

integration_tests/src/test_suite_map.rs

@@ -9,7 +9,7 @@ use std::{
 use actix_web::dev::ServerHandle;
 use common::{PINATA_BASE58, sequencer_client::SequencerClient};
 use log::info;
-use nssa::{Address, ProgramDeploymentTransaction, program::Program};
+use nssa::{AccountId, ProgramDeploymentTransaction, program::Program};
 use nssa_core::{NullifierPublicKey, encryption::shared_key_derivation::Secp256k1Point};
 use sequencer_runner::startup_sequencer;
 use tempfile::TempDir;
@@ -96,24 +96,24 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
             last_synced_block: _,
         } = fetch_persistent_storage().await.unwrap();
 
-        let mut new_persistent_account_addr = String::new();
+        let mut new_persistent_account_id = String::new();
 
         for per_acc in persistent_accounts {
-            if (per_acc.address().to_string() != ACC_RECEIVER)
+            if (per_acc.account_id().to_string() != ACC_RECEIVER)
-                && (per_acc.address().to_string() != ACC_SENDER)
+                && (per_acc.account_id().to_string() != ACC_SENDER)
             {
-                new_persistent_account_addr = per_acc.address().to_string();
+                new_persistent_account_id = per_acc.account_id().to_string();
             }
         }
 
-        if new_persistent_account_addr == String::new() {
+        if new_persistent_account_id == String::new() {
             panic!("Failed to produce new account, not present in persistent accounts");
         }
 
         let command = Command::AuthTransfer(AuthTransferSubcommand::Send {
             from: make_public_account_input_from_str(ACC_SENDER),
             to: Some(make_public_account_input_from_str(
-                &new_persistent_account_addr,
+                &new_persistent_account_id,
             )),
             to_npk: None,
             to_ipk: None,
@@ -131,7 +131,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
             .await
             .unwrap();
         let acc_2_balance = seq_client
-            .get_account_balance(new_persistent_account_addr)
+            .get_account_balance(new_persistent_account_id)
             .await
             .unwrap();
 
@@ -307,29 +307,35 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
             last_synced_block: _,
         } = fetch_persistent_storage().await.unwrap();
 
-        let mut new_persistent_accounts_addr = Vec::new();
+        let mut new_persistent_accounts_account_id = Vec::new();
 
         for per_acc in persistent_accounts {
             match per_acc {
                 PersistentAccountData::Public(per_acc) => {
-                    if (per_acc.address.to_string() != ACC_RECEIVER)
+                    if (per_acc.account_id.to_string() != ACC_RECEIVER)
-                        && (per_acc.address.to_string() != ACC_SENDER)
+                        && (per_acc.account_id.to_string() != ACC_SENDER)
                     {
-                        new_persistent_accounts_addr.push(per_acc.address);
+                        new_persistent_accounts_account_id.push(per_acc.account_id);
                     }
                 }
                 _ => continue,
             }
         }
 
-        let [definition_addr, supply_addr, recipient_addr] = new_persistent_accounts_addr
+        let [
+            definition_account_id,
+            supply_account_id,
+            recipient_account_id,
+        ] = new_persistent_accounts_account_id
             .try_into()
             .expect("Failed to produce new account, not present in persistent accounts");
 
         // Create new token
         let subcommand = TokenProgramAgnosticSubcommand::New {
-            definition_addr: make_public_account_input_from_str(&definition_addr.to_string()),
+            definition_account_id: make_public_account_input_from_str(
-            supply_addr: make_public_account_input_from_str(&supply_addr.to_string()),
+                &definition_account_id.to_string(),
+            ),
+            supply_account_id: make_public_account_input_from_str(&supply_account_id.to_string()),
             name: "A NAME".to_string(),
             total_supply: 37,
         };
@@ -343,7 +349,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
 
         // Check the status of the token definition account is the expected after the execution
         let definition_acc = seq_client
-            .get_account(definition_addr.to_string())
+            .get_account(definition_account_id.to_string())
             .await
             .unwrap()
             .account;
@@ -360,7 +366,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
 
         // Check the status of the token holding account with the total supply is the expected after the execution
         let supply_acc = seq_client
-            .get_account(supply_addr.to_string())
+            .get_account(supply_account_id.to_string())
             .await
             .unwrap()
             .account;
@@ -373,18 +379,18 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
         assert_eq!(supply_acc.data[0], 1);
         // Bytes from 1 to 33 represent the id of the token this account is associated with.
         // In this example, this is a token account of the newly created token, so it is expected
-        // to be equal to the address of the token definition account.
+        // to be equal to the account_id of the token definition account.
-        assert_eq!(&supply_acc.data[1..33], definition_addr.to_bytes());
+        assert_eq!(&supply_acc.data[1..33], definition_account_id.to_bytes());
         assert_eq!(
             u128::from_le_bytes(supply_acc.data[33..].try_into().unwrap()),
             37
         );
 
-        // Transfer 7 tokens from `supply_acc` to the account at address `recipient_addr`
+        // Transfer 7 tokens from `supply_acc` to the account at account_id `recipient_account_id`
         let subcommand = TokenProgramAgnosticSubcommand::Send {
-            from: make_public_account_input_from_str(&supply_addr.to_string()),
+            from: make_public_account_input_from_str(&supply_account_id.to_string()),
             to: Some(make_public_account_input_from_str(
-                &recipient_addr.to_string(),
+                &recipient_account_id.to_string(),
             )),
             to_npk: None,
             to_ipk: None,
@@ -397,9 +403,9 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
         info!("Waiting for next block creation");
         tokio::time::sleep(Duration::from_secs(TIME_TO_WAIT_FOR_BLOCK_SECONDS)).await;
 
-        // Check the status of the account at `supply_addr` is the expected after the execution
+        // Check the status of the account at `supply_account_id` is the expected after the execution
         let supply_acc = seq_client
-            .get_account(supply_addr.to_string())
+            .get_account(supply_account_id.to_string())
             .await
             .unwrap()
             .account;
@@ -408,15 +414,15 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
         // First byte equal to 1 means it's a token holding account
         assert_eq!(supply_acc.data[0], 1);
         // Bytes from 1 to 33 represent the id of the token this account is associated with.
-        assert_eq!(&supply_acc.data[1..33], definition_addr.to_bytes());
+        assert_eq!(&supply_acc.data[1..33], definition_account_id.to_bytes());
         assert_eq!(
             u128::from_le_bytes(supply_acc.data[33..].try_into().unwrap()),
             30
         );
 
-        // Check the status of the account at `recipient_addr` is the expected after the execution
+        // Check the status of the account at `recipient_account_id` is the expected after the execution
         let recipient_acc = seq_client
-            .get_account(recipient_addr.to_string())
+            .get_account(recipient_account_id.to_string())
             .await
             .unwrap()
             .account;
@@ -426,7 +432,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
         // First byte equal to 1 means it's a token holding account
         assert_eq!(recipient_acc.data[0], 1);
         // Bytes from 1 to 33 represent the id of the token this account is associated with.
-        assert_eq!(&recipient_acc.data[1..33], definition_addr.to_bytes());
+        assert_eq!(&recipient_acc.data[1..33], definition_account_id.to_bytes());
         assert_eq!(
             u128::from_le_bytes(recipient_acc.data[33..].try_into().unwrap()),
             7
@@ -442,7 +448,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
 
         // Create new account for the token definition (public)
         let SubcommandReturnValue::RegisterAccount {
-            addr: definition_addr,
+            account_id: definition_account_id,
         } = wallet::execute_subcommand(Command::Account(AccountSubcommand::New(
             NewSubcommand::Public {},
         )))
@@ -452,18 +458,19 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
             panic!("invalid subcommand return value");
         };
         // Create new account for the token supply holder (private)
-        let SubcommandReturnValue::RegisterAccount { addr: supply_addr } =
+        let SubcommandReturnValue::RegisterAccount {
-            wallet::execute_subcommand(Command::Account(AccountSubcommand::New(
+            account_id: supply_account_id,
-                NewSubcommand::Private {},
+        } = wallet::execute_subcommand(Command::Account(AccountSubcommand::New(
-            )))
+            NewSubcommand::Private {},
-            .await
+        )))
-            .unwrap()
+        .await
+        .unwrap()
         else {
             panic!("invalid subcommand return value");
         };
         // Create new account for receiving a token transaction
         let SubcommandReturnValue::RegisterAccount {
-            addr: recipient_addr,
+            account_id: recipient_account_id,
         } = wallet::execute_subcommand(Command::Account(AccountSubcommand::New(
             NewSubcommand::Private {},
         )))
@@ -475,8 +482,10 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
 
         // Create new token
         let subcommand = TokenProgramAgnosticSubcommand::New {
-            definition_addr: make_public_account_input_from_str(&definition_addr.to_string()),
+            definition_account_id: make_public_account_input_from_str(
-            supply_addr: make_private_account_input_from_str(&supply_addr.to_string()),
+                &definition_account_id.to_string(),
+            ),
+            supply_account_id: make_private_account_input_from_str(&supply_account_id.to_string()),
             name: "A NAME".to_string(),
             total_supply: 37,
         };
@@ -492,7 +501,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
 
         // Check the status of the token definition account is the expected after the execution
         let definition_acc = seq_client
-            .get_account(definition_addr.to_string())
+            .get_account(definition_account_id.to_string())
             .await
             .unwrap()
             .account;
@@ -513,15 +522,15 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
             .unwrap();
 
         let new_commitment1 = wallet_storage
-            .get_private_account_commitment(&supply_addr)
+            .get_private_account_commitment(&supply_account_id)
             .unwrap();
         assert!(verify_commitment_is_in_state(new_commitment1, &seq_client).await);
 
-        // Transfer 7 tokens from `supply_acc` to the account at address `recipient_addr`
+        // Transfer 7 tokens from `supply_acc` to the account at account_id `recipient_account_id`
         let subcommand = TokenProgramAgnosticSubcommand::Send {
-            from: make_private_account_input_from_str(&supply_addr.to_string()),
+            from: make_private_account_input_from_str(&supply_account_id.to_string()),
             to: Some(make_private_account_input_from_str(
-                &recipient_addr.to_string(),
+                &recipient_account_id.to_string(),
             )),
             to_npk: None,
             to_ipk: None,
@@ -541,20 +550,20 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
             .unwrap();
 
         let new_commitment1 = wallet_storage
-            .get_private_account_commitment(&supply_addr)
+            .get_private_account_commitment(&supply_account_id)
             .unwrap();
         assert!(verify_commitment_is_in_state(new_commitment1, &seq_client).await);
 
         let new_commitment2 = wallet_storage
-            .get_private_account_commitment(&recipient_addr)
+            .get_private_account_commitment(&recipient_account_id)
             .unwrap();
         assert!(verify_commitment_is_in_state(new_commitment2, &seq_client).await);
 
-        // Transfer additional 7 tokens from `supply_acc` to the account at address `recipient_addr`
+        // Transfer additional 7 tokens from `supply_acc` to the account at account_id `recipient_account_id`
         let subcommand = TokenProgramAgnosticSubcommand::Send {
-            from: make_private_account_input_from_str(&supply_addr.to_string()),
+            from: make_private_account_input_from_str(&supply_account_id.to_string()),
             to: Some(make_private_account_input_from_str(
-                &recipient_addr.to_string(),
+                &recipient_account_id.to_string(),
             )),
             to_npk: None,
             to_ipk: None,
@@ -574,12 +583,12 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
             .unwrap();
 
         let new_commitment1 = wallet_storage
-            .get_private_account_commitment(&supply_addr)
+            .get_private_account_commitment(&supply_account_id)
             .unwrap();
         assert!(verify_commitment_is_in_state(new_commitment1, &seq_client).await);
 
         let new_commitment2 = wallet_storage
-            .get_private_account_commitment(&recipient_addr)
+            .get_private_account_commitment(&recipient_account_id)
             .unwrap();
         assert!(verify_commitment_is_in_state(new_commitment2, &seq_client).await);
     }
@@ -593,7 +602,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
 
         // Create new account for the token definition (public)
         let SubcommandReturnValue::RegisterAccount {
-            addr: definition_addr,
+            account_id: definition_account_id,
         } = wallet::execute_subcommand(Command::Account(AccountSubcommand::New(
             NewSubcommand::Public {},
         )))
@@ -603,18 +612,19 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
             panic!("invalid subcommand return value");
         };
         // Create new account for the token supply holder (private)
-        let SubcommandReturnValue::RegisterAccount { addr: supply_addr } =
+        let SubcommandReturnValue::RegisterAccount {
-            wallet::execute_subcommand(Command::Account(AccountSubcommand::New(
+            account_id: supply_account_id,
-                NewSubcommand::Private {},
+        } = wallet::execute_subcommand(Command::Account(AccountSubcommand::New(
-            )))
+            NewSubcommand::Private {},
-            .await
+        )))
-            .unwrap()
+        .await
+        .unwrap()
         else {
             panic!("invalid subcommand return value");
         };
         // Create new account for receiving a token transaction
         let SubcommandReturnValue::RegisterAccount {
-            addr: recipient_addr,
+            account_id: recipient_account_id,
         } = wallet::execute_subcommand(Command::Account(AccountSubcommand::New(
             NewSubcommand::Private {},
         )))
@@ -626,8 +636,10 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
 
         // Create new token
         let subcommand = TokenProgramAgnosticSubcommand::New {
-            definition_addr: make_public_account_input_from_str(&definition_addr.to_string()),
+            definition_account_id: make_public_account_input_from_str(
-            supply_addr: make_private_account_input_from_str(&supply_addr.to_string()),
+                &definition_account_id.to_string(),
+            ),
+            supply_account_id: make_private_account_input_from_str(&supply_account_id.to_string()),
             name: "A NAME".to_string(),
             total_supply: 37,
         };
@@ -643,7 +655,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
 
         // Check the status of the token definition account is the expected after the execution
         let definition_acc = seq_client
-            .get_account(definition_addr.to_string())
+            .get_account(definition_account_id.to_string())
             .await
             .unwrap()
             .account;
@@ -664,19 +676,19 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
             .unwrap();
 
         let new_commitment1 = wallet_storage
-            .get_private_account_commitment(&supply_addr)
+            .get_private_account_commitment(&supply_account_id)
             .unwrap();
         assert!(verify_commitment_is_in_state(new_commitment1, &seq_client).await);
 
         let (recipient_keys, _) = wallet_storage
             .storage
             .user_data
-            .get_private_account(&recipient_addr)
+            .get_private_account(&recipient_account_id)
             .unwrap();
 
-        // Transfer 7 tokens from `supply_acc` to the account at address `recipient_addr`
+        // Transfer 7 tokens from `supply_acc` to the account at account_id `recipient_account_id`
         let subcommand = TokenProgramAgnosticSubcommand::Send {
-            from: make_private_account_input_from_str(&supply_addr.to_string()),
+            from: make_private_account_input_from_str(&supply_account_id.to_string()),
             to: None,
             to_npk: Some(hex::encode(recipient_keys.nullifer_public_key.0)),
             to_ipk: Some(hex::encode(
@@ -706,12 +718,12 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
             .unwrap();
 
         let new_commitment1 = wallet_storage
-            .get_private_account_commitment(&supply_addr)
+            .get_private_account_commitment(&supply_account_id)
             .unwrap();
         assert!(verify_commitment_is_in_state(new_commitment1, &seq_client).await);
 
         let new_commitment2 = wallet_storage
-            .get_private_account_commitment(&recipient_addr)
+            .get_private_account_commitment(&recipient_account_id)
             .unwrap();
         assert!(verify_commitment_is_in_state(new_commitment2, &seq_client).await);
     }
@@ -725,7 +737,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
 
         // Create new account for the token definition (public)
         let SubcommandReturnValue::RegisterAccount {
-            addr: definition_addr,
+            account_id: definition_account_id,
         } = wallet::execute_subcommand(Command::Account(AccountSubcommand::New(
             NewSubcommand::Public {},
         )))
@@ -735,18 +747,19 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
             panic!("invalid subcommand return value");
         };
         // Create new account for the token supply holder (public)
-        let SubcommandReturnValue::RegisterAccount { addr: supply_addr } =
+        let SubcommandReturnValue::RegisterAccount {
-            wallet::execute_subcommand(Command::Account(AccountSubcommand::New(
+            account_id: supply_account_id,
-                NewSubcommand::Public {},
+        } = wallet::execute_subcommand(Command::Account(AccountSubcommand::New(
-            )))
+            NewSubcommand::Public {},
-            .await
+        )))
-            .unwrap()
+        .await
+        .unwrap()
         else {
             panic!("invalid subcommand return value");
         };
         // Create new account for receiving a token transaction
         let SubcommandReturnValue::RegisterAccount {
-            addr: recipient_addr,
+            account_id: recipient_account_id,
         } = wallet::execute_subcommand(Command::Account(AccountSubcommand::New(
             NewSubcommand::Private {},
         )))
@@ -758,8 +771,10 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
 
         // Create new token
         let subcommand = TokenProgramAgnosticSubcommand::New {
-            definition_addr: make_public_account_input_from_str(&definition_addr.to_string()),
+            definition_account_id: make_public_account_input_from_str(
-            supply_addr: make_public_account_input_from_str(&supply_addr.to_string()),
+                &definition_account_id.to_string(),
+            ),
+            supply_account_id: make_public_account_input_from_str(&supply_account_id.to_string()),
             name: "A NAME".to_string(),
             total_supply: 37,
         };
@@ -775,7 +790,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
 
         // Check the status of the token definition account is the expected after the execution
         let definition_acc = seq_client
-            .get_account(definition_addr.to_string())
+            .get_account(definition_account_id.to_string())
             .await
             .unwrap()
             .account;
@@ -790,11 +805,11 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
             ]
         );
 
-        // Transfer 7 tokens from `supply_acc` to the account at address `recipient_addr`
+        // Transfer 7 tokens from `supply_acc` to the account at account_id `recipient_account_id`
         let subcommand = TokenProgramAgnosticSubcommand::Send {
-            from: make_public_account_input_from_str(&supply_addr.to_string()),
+            from: make_public_account_input_from_str(&supply_account_id.to_string()),
             to: Some(make_private_account_input_from_str(
-                &recipient_addr.to_string(),
+                &recipient_account_id.to_string(),
             )),
             to_npk: None,
             to_ipk: None,
@@ -814,15 +829,15 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
             .unwrap();
 
         let new_commitment2 = wallet_storage
-            .get_private_account_commitment(&recipient_addr)
+            .get_private_account_commitment(&recipient_account_id)
             .unwrap();
         assert!(verify_commitment_is_in_state(new_commitment2, &seq_client).await);
 
-        // Transfer additional 7 tokens from `supply_acc` to the account at address `recipient_addr`
+        // Transfer additional 7 tokens from `supply_acc` to the account at account_id `recipient_account_id`
         let subcommand = TokenProgramAgnosticSubcommand::Send {
-            from: make_public_account_input_from_str(&supply_addr.to_string()),
+            from: make_public_account_input_from_str(&supply_account_id.to_string()),
             to: Some(make_private_account_input_from_str(
-                &recipient_addr.to_string(),
+                &recipient_account_id.to_string(),
             )),
             to_npk: None,
             to_ipk: None,
@@ -842,7 +857,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
             .unwrap();
 
         let new_commitment2 = wallet_storage
-            .get_private_account_commitment(&recipient_addr)
+            .get_private_account_commitment(&recipient_account_id)
             .unwrap();
         assert!(verify_commitment_is_in_state(new_commitment2, &seq_client).await);
     }
@@ -856,7 +871,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
 
         // Create new account for the token definition (public)
         let SubcommandReturnValue::RegisterAccount {
-            addr: definition_addr,
+            account_id: definition_account_id,
         } = wallet::execute_subcommand(Command::Account(AccountSubcommand::New(
             NewSubcommand::Public {},
         )))
@@ -866,18 +881,19 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
             panic!("invalid subcommand return value");
         };
         // Create new account for the token supply holder (private)
-        let SubcommandReturnValue::RegisterAccount { addr: supply_addr } =
+        let SubcommandReturnValue::RegisterAccount {
-            wallet::execute_subcommand(Command::Account(AccountSubcommand::New(
+            account_id: supply_account_id,
-                NewSubcommand::Private {},
+        } = wallet::execute_subcommand(Command::Account(AccountSubcommand::New(
-            )))
+            NewSubcommand::Private {},
-            .await
+        )))
-            .unwrap()
+        .await
+        .unwrap()
         else {
             panic!("invalid subcommand return value");
         };
         // Create new account for receiving a token transaction
         let SubcommandReturnValue::RegisterAccount {
-            addr: recipient_addr,
+            account_id: recipient_account_id,
         } = wallet::execute_subcommand(Command::Account(AccountSubcommand::New(
             NewSubcommand::Public {},
         )))
@@ -889,8 +905,10 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
 
         // Create new token
         let subcommand = TokenProgramAgnosticSubcommand::New {
-            definition_addr: make_public_account_input_from_str(&definition_addr.to_string()),
+            definition_account_id: make_public_account_input_from_str(
-            supply_addr: make_private_account_input_from_str(&supply_addr.to_string()),
+                &definition_account_id.to_string(),
+            ),
+            supply_account_id: make_private_account_input_from_str(&supply_account_id.to_string()),
             name: "A NAME".to_string(),
             total_supply: 37,
         };
@@ -906,7 +924,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
 
         // Check the status of the token definition account is the expected after the execution
         let definition_acc = seq_client
-            .get_account(definition_addr.to_string())
+            .get_account(definition_account_id.to_string())
             .await
             .unwrap()
             .account;
@@ -927,15 +945,15 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
             .unwrap();
 
         let new_commitment1 = wallet_storage
-            .get_private_account_commitment(&supply_addr)
+            .get_private_account_commitment(&supply_account_id)
             .unwrap();
         assert!(verify_commitment_is_in_state(new_commitment1, &seq_client).await);
 
-        // Transfer 7 tokens from `supply_acc` to the account at address `recipient_addr`
+        // Transfer 7 tokens from `supply_acc` to the account at account_id `recipient_account_id`
         let subcommand = TokenProgramAgnosticSubcommand::Send {
-            from: make_private_account_input_from_str(&supply_addr.to_string()),
+            from: make_private_account_input_from_str(&supply_account_id.to_string()),
             to: Some(make_public_account_input_from_str(
-                &recipient_addr.to_string(),
+                &recipient_account_id.to_string(),
             )),
             to_npk: None,
             to_ipk: None,
@@ -955,15 +973,15 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
             .unwrap();
 
         let new_commitment1 = wallet_storage
-            .get_private_account_commitment(&supply_addr)
+            .get_private_account_commitment(&supply_account_id)
             .unwrap();
         assert!(verify_commitment_is_in_state(new_commitment1, &seq_client).await);
 
-        // Transfer additional 7 tokens from `supply_acc` to the account at address `recipient_addr`
+        // Transfer additional 7 tokens from `supply_acc` to the account at account_id `recipient_account_id`
         let subcommand = TokenProgramAgnosticSubcommand::Send {
-            from: make_private_account_input_from_str(&supply_addr.to_string()),
+            from: make_private_account_input_from_str(&supply_account_id.to_string()),
             to: Some(make_public_account_input_from_str(
-                &recipient_addr.to_string(),
+                &recipient_account_id.to_string(),
             )),
             to_npk: None,
             to_ipk: None,
@@ -983,7 +1001,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
             .unwrap();
 
         let new_commitment1 = wallet_storage
-            .get_private_account_commitment(&supply_addr)
+            .get_private_account_commitment(&supply_account_id)
             .unwrap();
         assert!(verify_commitment_is_in_state(new_commitment1, &seq_client).await);
     }
@@ -991,8 +1009,8 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
     #[nssa_integration_test]
     pub async fn test_success_private_transfer_to_another_owned_account() {
         info!("########## test_success_private_transfer_to_another_owned_account ##########");
-        let from: Address = ACC_SENDER_PRIVATE.parse().unwrap();
+        let from: AccountId = ACC_SENDER_PRIVATE.parse().unwrap();
-        let to: Address = ACC_RECEIVER_PRIVATE.parse().unwrap();
+        let to: AccountId = ACC_RECEIVER_PRIVATE.parse().unwrap();
 
         let command = Command::AuthTransfer(AuthTransferSubcommand::Send {
             from: make_private_account_input_from_str(&from.to_string()),
@@ -1027,7 +1045,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
     #[nssa_integration_test]
     pub async fn test_success_private_transfer_to_another_foreign_account() {
         info!("########## test_success_private_transfer_to_another_foreign_account ##########");
-        let from: Address = ACC_SENDER_PRIVATE.parse().unwrap();
+        let from: AccountId = ACC_SENDER_PRIVATE.parse().unwrap();
         let to_npk = NullifierPublicKey([42; 32]);
         let to_npk_string = hex::encode(to_npk.0);
         let to_ipk = Secp256k1Point::from_scalar(to_npk.0);
@@ -1075,12 +1093,15 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
         info!(
             "########## test_success_private_transfer_to_another_owned_account_claiming_path ##########"
         );
-        let from: Address = ACC_SENDER_PRIVATE.parse().unwrap();
+        let from: AccountId = ACC_SENDER_PRIVATE.parse().unwrap();
 
         let command = Command::Account(AccountSubcommand::New(NewSubcommand::Private {}));
 
         let sub_ret = wallet::execute_subcommand(command).await.unwrap();
-        let SubcommandReturnValue::RegisterAccount { addr: to_addr } = sub_ret else {
+        let SubcommandReturnValue::RegisterAccount {
+            account_id: to_account_id,
+        } = sub_ret
+        else {
             panic!("FAILED TO REGISTER ACCOUNT");
         };
 
@@ -1094,7 +1115,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
             .storage
             .user_data
             .user_private_accounts
-            .get(&to_addr)
+            .get(&to_account_id)
             .cloned()
             .unwrap();
 
@@ -1129,95 +1150,88 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
             assert!(verify_commitment_is_in_state(commitment, &seq_client).await);
         }
 
-        let to_res_acc = wallet_storage.get_account_private(&to_addr).unwrap();
+        let to_res_acc = wallet_storage.get_account_private(&to_account_id).unwrap();
 
         assert_eq!(to_res_acc.balance, 100);
 
         info!("Success!");
     }
 
-    // #[nssa_integration_test]
+    #[nssa_integration_test]
-    // pub async fn test_success_private_transfer_to_another_owned_account_cont_run_path() {
+    pub async fn test_success_private_transfer_to_another_owned_account_cont_run_path() {
-    //     info!(
+        info!(
-    //         "########## test_success_private_transfer_to_another_owned_account_cont_run_path ##########"
+            "########## test_success_private_transfer_to_another_owned_account_cont_run_path ##########"
-    //     );
+        );
-    //     let continious_run_handle = tokio::spawn(wallet::execute_continious_run());
+        let continious_run_handle = tokio::spawn(wallet::execute_continious_run());
 
-    //     let from: Address = ACC_SENDER_PRIVATE.parse().unwrap();
+        let from: AccountId = ACC_SENDER_PRIVATE.parse().unwrap();
 
-    //     let command = Command::Account(AccountSubcommand::New(NewSubcommand::Private {}));
+        let command = Command::Account(AccountSubcommand::New(NewSubcommand::Private {}));
 
-    //     let sub_ret = wallet::execute_subcommand(command).await.unwrap();
+        let sub_ret = wallet::execute_subcommand(command).await.unwrap();
-    //     let SubcommandReturnValue::RegisterAccount { addr: to_addr } = sub_ret else {
+        let SubcommandReturnValue::RegisterAccount {
-    //         panic!("FAILED TO REGISTER ACCOUNT");
+            account_id: to_account_id,
-    //     };
+        } = sub_ret
+        else {
+            panic!("FAILED TO REGISTER ACCOUNT");
+        };
 
-    //     let wallet_config = fetch_config().await.unwrap();
+        let wallet_config = fetch_config().await.unwrap();
-    //     let seq_client = SequencerClient::new(wallet_config.sequencer_addr.clone()).unwrap();
+        let seq_client = SequencerClient::new(wallet_config.sequencer_addr.clone()).unwrap();
-    //     let wallet_storage = WalletCore::start_from_config_update_chain(wallet_config.clone())
+        let wallet_storage = WalletCore::start_from_config_update_chain(wallet_config.clone())
-    //         .await
+            .await
-    //         .unwrap();
+            .unwrap();
 
-    //     let (to_keys, _) = wallet_storage
+        let (to_keys, _) = wallet_storage
-    //         .storage
+            .storage
-    //         .user_data
+            .user_data
-    //         .user_private_accounts
+            .user_private_accounts
-    //         .get(&to_addr)
+            .get(&to_account_id)
-    //         .cloned()
+            .cloned()
-    //         .unwrap();
+            .unwrap();
 
-    //     let command = Command::AuthTransfer(AuthTransferSubcommand::Send {
+        let command = Command::AuthTransfer(AuthTransferSubcommand::Send {
-    //         from: make_private_account_input_from_str(&from.to_string()),
+            from: make_private_account_input_from_str(&from.to_string()),
-    //         to: None,
+            to: None,
-    //         to_npk: Some(hex::encode(to_keys.nullifer_public_key.0)),
+            to_npk: Some(hex::encode(to_keys.nullifer_public_key.0)),
-    //         to_ipk: Some(hex::encode(to_keys.incoming_viewing_public_key.0)),
+            to_ipk: Some(hex::encode(to_keys.incoming_viewing_public_key.0)),
-    //         amount: 100,
+            amount: 100,
-    //     });
+        });
 
-    //     let sub_ret = wallet::execute_subcommand(command).await.unwrap();
+        let sub_ret = wallet::execute_subcommand(command).await.unwrap();
-    //     let SubcommandReturnValue::PrivacyPreservingTransfer { tx_hash } = sub_ret else {
+        let SubcommandReturnValue::PrivacyPreservingTransfer { tx_hash } = sub_ret else {
-    //         panic!("FAILED TO SEND TX");
+            panic!("FAILED TO SEND TX");
-    //     };
+        };
 
-    //     let tx = fetch_privacy_preserving_tx(&seq_client, tx_hash.clone()).await;
+        let tx = fetch_privacy_preserving_tx(&seq_client, tx_hash.clone()).await;
 
-    //     println!("Waiting for next blocks to check if continoius run fetch account");
+        println!("Waiting for next blocks to check if continoius run fetch account");
-    //     tokio::time::sleep(Duration::from_secs(8 * TIME_TO_WAIT_FOR_BLOCK_SECONDS)).await;
+        tokio::time::sleep(Duration::from_secs(TIME_TO_WAIT_FOR_BLOCK_SECONDS)).await;
+        tokio::time::sleep(Duration::from_secs(TIME_TO_WAIT_FOR_BLOCK_SECONDS)).await;
 
-    //     let wallet_config = fetch_config().await.unwrap();
+        let wallet_storage = WalletCore::start_from_config_update_chain(wallet_config)
-    //     let wallet_storage = WalletCore::start_from_config_update_chain(wallet_config)
+            .await
-    //         .await
+            .unwrap();
-    //         .unwrap();
 
-    //     info!("All private accounts data");
+        assert_eq!(tx.message.new_commitments.len(), 2);
-    //     for (addr, (_, acc)) in &wallet_storage.storage.user_data.user_private_accounts {
+        for commitment in tx.message.new_commitments.into_iter() {
-    //         info!("{addr} :: {acc:#?}");
+            assert!(verify_commitment_is_in_state(commitment, &seq_client).await);
-    //     }
+        }
 
-    //     let new_commitment1 = wallet_storage
+        let to_res_acc = wallet_storage.get_account_private(&to_account_id).unwrap();
-    //         .get_private_account_commitment(&from)
-    //         .unwrap();
-    //     assert_eq!(tx.message.new_commitments[0], new_commitment1);
 
-    //     assert_eq!(tx.message.new_commitments.len(), 2);
+        assert_eq!(to_res_acc.balance, 100);
-    //     for commitment in tx.message.new_commitments.into_iter() {
-    //         assert!(verify_commitment_is_in_state(commitment, &seq_client).await);
-    //     }
 
-    //     let to_res_acc = wallet_storage.get_account_private(&to_addr).unwrap();
+        continious_run_handle.abort();
 
-    //     assert_eq!(to_res_acc.balance, 100);
+        info!("Success!");
-
+    }
-    //     continious_run_handle.abort();
-
-    //     info!("Success!");
-    // }
 
     #[nssa_integration_test]
     pub async fn test_success_deshielded_transfer_to_another_account() {
         info!("########## test_success_deshielded_transfer_to_another_account ##########");
-        let from: Address = ACC_SENDER_PRIVATE.parse().unwrap();
+        let from: AccountId = ACC_SENDER_PRIVATE.parse().unwrap();
-        let to: Address = ACC_RECEIVER.parse().unwrap();
+        let to: AccountId = ACC_RECEIVER.parse().unwrap();
 
         let command = Command::AuthTransfer(AuthTransferSubcommand::Send {
             from: make_private_account_input_from_str(&from.to_string()),
@@ -1265,8 +1279,8 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
     #[nssa_integration_test]
     pub async fn test_success_shielded_transfer_to_another_owned_account() {
         info!("########## test_success_shielded_transfer_to_another_owned_account ##########");
-        let from: Address = ACC_SENDER.parse().unwrap();
+        let from: AccountId = ACC_SENDER.parse().unwrap();
-        let to: Address = ACC_RECEIVER_PRIVATE.parse().unwrap();
+        let to: AccountId = ACC_RECEIVER_PRIVATE.parse().unwrap();
 
         let command = Command::AuthTransfer(AuthTransferSubcommand::Send {
             from: make_public_account_input_from_str(&from.to_string()),
@@ -1310,7 +1324,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
         let to_npk = NullifierPublicKey([42; 32]);
         let to_npk_string = hex::encode(to_npk.0);
         let to_ipk = Secp256k1Point::from_scalar(to_npk.0);
-        let from: Address = ACC_SENDER.parse().unwrap();
+        let from: AccountId = ACC_SENDER.parse().unwrap();
 
         let command = Command::AuthTransfer(AuthTransferSubcommand::Send {
             from: make_public_account_input_from_str(&from.to_string()),
@@ -1352,11 +1366,11 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
     #[nssa_integration_test]
     pub async fn test_pinata() {
         info!("########## test_pinata ##########");
-        let pinata_addr = PINATA_BASE58;
+        let pinata_account_id = PINATA_BASE58;
         let pinata_prize = 150;
         let solution = 989106;
         let command = Command::Pinata(PinataProgramAgnosticSubcommand::Claim {
-            to_addr: make_public_account_input_from_str(ACC_SENDER),
+            to_account_id: make_public_account_input_from_str(ACC_SENDER),
             solution,
         });
 
@@ -1365,7 +1379,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
         let seq_client = SequencerClient::new(wallet_config.sequencer_addr.clone()).unwrap();
 
         let pinata_balance_pre = seq_client
-            .get_account_balance(pinata_addr.to_string())
+            .get_account_balance(pinata_account_id.to_string())
             .await
             .unwrap()
             .balance;
@@ -1377,7 +1391,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
 
         info!("Checking correct balance move");
         let pinata_balance_post = seq_client
-            .get_account_balance(pinata_addr.to_string())
+            .get_account_balance(pinata_account_id.to_string())
             .await
             .unwrap()
             .balance;
@@ -1413,10 +1427,10 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
         // We pass an uninitialized account and we expect after execution to be owned by the data
         // changer program (NSSA account claiming mechanism) with data equal to [0] (due to program logic)
         let data_changer = Program::new(bytecode).unwrap();
-        let address: Address = "11".repeat(16).parse().unwrap();
+        let account_id: AccountId = "11".repeat(16).parse().unwrap();
         let message = nssa::public_transaction::Message::try_new(
             data_changer.id(),
-            vec![address],
+            vec![account_id],
             vec![],
             (),
         )
@@ -1429,7 +1443,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
         tokio::time::sleep(Duration::from_secs(TIME_TO_WAIT_FOR_BLOCK_SECONDS)).await;
 
         let post_state_account = seq_client
-            .get_account(address.to_string())
+            .get_account(account_id.to_string())
             .await
             .unwrap()
             .account;
@@ -1445,14 +1459,14 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
     pub async fn test_authenticated_transfer_initialize_function() {
         info!("########## test initialize account for authenticated transfer ##########");
         let command = Command::Account(AccountSubcommand::New(NewSubcommand::Public {}));
-        let SubcommandReturnValue::RegisterAccount { addr } =
+        let SubcommandReturnValue::RegisterAccount { account_id } =
             wallet::execute_subcommand(command).await.unwrap()
         else {
             panic!("Error creating account");
         };
 
         let command = Command::AuthTransfer(AuthTransferSubcommand::Init {
-            addr: make_public_account_input_from_str(&addr.to_string()),
+            account_id: make_public_account_input_from_str(&account_id.to_string()),
         });
         wallet::execute_subcommand(command).await.unwrap();
 
@@ -1460,7 +1474,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
         let wallet_config = fetch_config().await.unwrap();
         let seq_client = SequencerClient::new(wallet_config.sequencer_addr.clone()).unwrap();
         let account = seq_client
-            .get_account(addr.to_string())
+            .get_account(account_id.to_string())
             .await
             .unwrap()
             .account;
@@ -1480,12 +1494,12 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
     #[nssa_integration_test]
     pub async fn test_pinata_private_receiver() {
         info!("########## test_pinata_private_receiver ##########");
-        let pinata_addr = PINATA_BASE58;
+        let pinata_account_id = PINATA_BASE58;
         let pinata_prize = 150;
         let solution = 989106;
 
         let command = Command::Pinata(PinataProgramAgnosticSubcommand::Claim {
-            to_addr: make_private_account_input_from_str(ACC_SENDER_PRIVATE),
+            to_account_id: make_private_account_input_from_str(ACC_SENDER_PRIVATE),
             solution,
         });
 
@@ -1494,7 +1508,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
         let seq_client = SequencerClient::new(wallet_config.sequencer_addr.clone()).unwrap();
 
         let pinata_balance_pre = seq_client
-            .get_account_balance(pinata_addr.to_string())
+            .get_account_balance(pinata_account_id.to_string())
             .await
             .unwrap()
             .balance;
@@ -1510,7 +1524,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
 
         info!("Checking correct balance move");
         let pinata_balance_post = seq_client
-            .get_account_balance(pinata_addr.to_string())
+            .get_account_balance(pinata_account_id.to_string())
             .await
             .unwrap()
             .balance;
@@ -1537,23 +1551,24 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
     #[nssa_integration_test]
     pub async fn test_pinata_private_receiver_new_account() {
         info!("########## test_pinata_private_receiver ##########");
-        let pinata_addr = PINATA_BASE58;
+        let pinata_account_id = PINATA_BASE58;
         let pinata_prize = 150;
         let solution = 989106;
 
         // Create new account for the token supply holder (private)
-        let SubcommandReturnValue::RegisterAccount { addr: winner_addr } =
+        let SubcommandReturnValue::RegisterAccount {
-            wallet::execute_subcommand(Command::Account(AccountSubcommand::New(
+            account_id: winner_account_id,
-                NewSubcommand::Private {},
+        } = wallet::execute_subcommand(Command::Account(AccountSubcommand::New(
-            )))
+            NewSubcommand::Private {},
-            .await
+        )))
-            .unwrap()
+        .await
+        .unwrap()
         else {
             panic!("invalid subcommand return value");
         };
 
         let command = Command::Pinata(PinataProgramAgnosticSubcommand::Claim {
-            to_addr: make_private_account_input_from_str(&winner_addr.to_string()),
+            to_account_id: make_private_account_input_from_str(&winner_account_id.to_string()),
             solution,
         });
 
@@ -1562,7 +1577,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
         let seq_client = SequencerClient::new(wallet_config.sequencer_addr.clone()).unwrap();
 
         let pinata_balance_pre = seq_client
-            .get_account_balance(pinata_addr.to_string())
+            .get_account_balance(pinata_account_id.to_string())
             .await
             .unwrap()
             .balance;
@@ -1574,7 +1589,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
 
         info!("Checking correct balance move");
         let pinata_balance_post = seq_client
-            .get_account_balance(pinata_addr.to_string())
+            .get_account_balance(pinata_account_id.to_string())
             .await
             .unwrap()
             .balance;
@@ -1586,7 +1601,7 @@ pub fn prepare_function_map() -> HashMap<String, TestFunction> {
             .unwrap();
 
         let new_commitment1 = wallet_storage
-            .get_private_account_commitment(&winner_addr)
+            .get_private_account_commitment(&winner_account_id)
             .unwrap();
         assert!(verify_commitment_is_in_state(new_commitment1, &seq_client).await);
 
@@ -1674,7 +1689,7 @@ pub async fn tps_test() {
     for (i, tx_hash) in tx_hashes.iter().enumerate() {
         loop {
             if now.elapsed().as_millis() > target_time.as_millis() {
-                panic!("TPS test failed by timout");
+                panic!("TPS test failed by timeout");
             }
 
             let tx_obj = seq_client

integration_tests/src/tps_test_utils.rs

@@ -2,8 +2,7 @@ use std::time::Duration;
 
 use key_protocol::key_management::ephemeral_key_holder::EphemeralKeyHolder;
 use nssa::{
-    Account, AccountId, Address, PrivacyPreservingTransaction, PrivateKey, PublicKey,
+    Account, AccountId, PrivacyPreservingTransaction, PrivateKey, PublicKey, PublicTransaction,
-    PublicTransaction,
     privacy_preserving_transaction::{self as pptx, circuit},
     program::Program,
     public_transaction as putx,
@@ -15,7 +14,7 @@ use nssa_core::{
 use sequencer_core::config::{AccountInitialData, CommitmentsInitialData, SequencerConfig};
 
 pub(crate) struct TpsTestManager {
-    public_keypairs: Vec<(PrivateKey, Address)>,
+    public_keypairs: Vec<(PrivateKey, AccountId)>,
     target_tps: u64,
 }
 
@@ -29,8 +28,8 @@ impl TpsTestManager {
                 private_key_bytes[..8].copy_from_slice(&i.to_le_bytes());
                 let private_key = PrivateKey::try_new(private_key_bytes).unwrap();
                 let public_key = PublicKey::new_from_private_key(&private_key);
-                let address = Address::from(&public_key);
+                let account_id = AccountId::from(&public_key);
-                (private_key, address)
+                (private_key, account_id)
             })
             .collect::<Vec<_>>();
         Self {
@@ -78,8 +77,8 @@ impl TpsTestManager {
         let initial_public_accounts = self
             .public_keypairs
             .iter()
-            .map(|(_, addr)| AccountInitialData {
+            .map(|(_, account_id)| AccountInitialData {
-                addr: addr.to_string(),
+                account_id: account_id.to_string(),
                 balance: 10,
             })
             .collect();

key_protocol/src/key_management/mod.rs

@@ -65,15 +65,18 @@ mod tests {
     #[test]
     fn test_new_os_random() {
         // Ensure that a new KeyChain instance can be created without errors.
-        let address_key_holder = KeyChain::new_os_random();
+        let account_id_key_holder = KeyChain::new_os_random();
 
         // Check that key holder fields are initialized with expected types
-        assert_ne!(address_key_holder.nullifer_public_key.as_ref(), &[0u8; 32]);
+        assert_ne!(
+            account_id_key_holder.nullifer_public_key.as_ref(),
+            &[0u8; 32]
+        );
     }
 
     #[test]
     fn test_calculate_shared_secret_receiver() {
-        let address_key_holder = KeyChain::new_os_random();
+        let account_id_key_holder = KeyChain::new_os_random();
 
         // Generate a random ephemeral public key sender
         let mut scalar = [0; 32];
@@ -82,7 +85,7 @@ mod tests {
 
         // Calculate shared secret
         let _shared_secret =
-            address_key_holder.calculate_shared_secret_receiver(ephemeral_public_key_sender);
+            account_id_key_holder.calculate_shared_secret_receiver(ephemeral_public_key_sender);
     }
 
     #[test]
@@ -99,7 +102,7 @@ mod tests {
 
         let public_key = nssa::PublicKey::new_from_private_key(&pub_account_signing_key);
 
-        let address = nssa::Address::from(&public_key);
+        let account = nssa::AccountId::from(&public_key);
 
         println!("======Prerequisites======");
         println!();
@@ -120,7 +123,7 @@ mod tests {
 
         println!("======Public data======");
         println!();
-        println!("Address{:?}", address.value().to_base58());
+        println!("Account {:?}", account.value().to_base58());
         println!(
             "Nulifier public key {:?}",
             hex::encode(nullifer_public_key.to_byte_array())

key_protocol/src/key_management/secret_holders.rs

@@ -24,7 +24,7 @@ pub type IncomingViewingSecretKey = Scalar;
 pub type OutgoingViewingSecretKey = Scalar;
 
 #[derive(Serialize, Deserialize, Debug, Clone)]
-///Private key holder. Produces public keys. Can produce address. Can produce shared secret for recepient.
+///Private key holder. Produces public keys. Can produce account_id. Can produce shared secret for recepient.
 pub struct PrivateKeyHolder {
     pub nullifier_secret_key: NullifierSecretKey,
     pub(crate) incoming_viewing_secret_key: IncomingViewingSecretKey,

key_protocol/src/key_protocol_core/mod.rs

@@ -11,20 +11,21 @@ pub type PublicKey = AffinePoint;
 #[derive(Clone, Debug, Serialize, Deserialize)]
 pub struct NSSAUserData {
     ///Map for all user public accounts
-    pub pub_account_signing_keys: HashMap<nssa::Address, nssa::PrivateKey>,
+    pub pub_account_signing_keys: HashMap<nssa::AccountId, nssa::PrivateKey>,
     ///Map for all user private accounts
-    pub user_private_accounts: HashMap<nssa::Address, (KeyChain, nssa_core::account::Account)>,
+    pub user_private_accounts: HashMap<nssa::AccountId, (KeyChain, nssa_core::account::Account)>,
 }
 
 impl NSSAUserData {
     fn valid_public_key_transaction_pairing_check(
-        accounts_keys_map: &HashMap<nssa::Address, nssa::PrivateKey>,
+        accounts_keys_map: &HashMap<nssa::AccountId, nssa::PrivateKey>,
     ) -> bool {
         let mut check_res = true;
-        for (addr, key) in accounts_keys_map {
+        for (account_id, key) in accounts_keys_map {
-            let expected_addr = nssa::Address::from(&nssa::PublicKey::new_from_private_key(key));
+            let expected_account_id =
-            if &expected_addr != addr {
+                nssa::AccountId::from(&nssa::PublicKey::new_from_private_key(key));
-                println!("{}, {}", expected_addr, addr);
+            if &expected_account_id != account_id {
+                println!("{}, {}", expected_account_id, account_id);
                 check_res = false;
             }
         }
@@ -32,13 +33,13 @@ impl NSSAUserData {
     }
 
     fn valid_private_key_transaction_pairing_check(
-        accounts_keys_map: &HashMap<nssa::Address, (KeyChain, nssa_core::account::Account)>,
+        accounts_keys_map: &HashMap<nssa::AccountId, (KeyChain, nssa_core::account::Account)>,
     ) -> bool {
         let mut check_res = true;
-        for (addr, (key, _)) in accounts_keys_map {
+        for (account_id, (key, _)) in accounts_keys_map {
-            let expected_addr = nssa::Address::from(&key.nullifer_public_key);
+            let expected_account_id = nssa::AccountId::from(&key.nullifer_public_key);
-            if expected_addr != *addr {
+            if expected_account_id != *account_id {
-                println!("{}, {}", expected_addr, addr);
+                println!("{}, {}", expected_account_id, account_id);
                 check_res = false;
             }
         }
@@ -46,18 +47,18 @@ impl NSSAUserData {
     }
 
     pub fn new_with_accounts(
-        accounts_keys: HashMap<nssa::Address, nssa::PrivateKey>,
+        accounts_keys: HashMap<nssa::AccountId, nssa::PrivateKey>,
-        accounts_key_chains: HashMap<nssa::Address, (KeyChain, nssa_core::account::Account)>,
+        accounts_key_chains: HashMap<nssa::AccountId, (KeyChain, nssa_core::account::Account)>,
     ) -> Result<Self> {
         if !Self::valid_public_key_transaction_pairing_check(&accounts_keys) {
             anyhow::bail!(
-                "Key transaction pairing check not satisfied, there is addresses, which is not derived from keys"
+                "Key transaction pairing check not satisfied, there is account_ids, which is not derived from keys"
             );
         }
 
         if !Self::valid_private_key_transaction_pairing_check(&accounts_key_chains) {
             anyhow::bail!(
-                "Key transaction pairing check not satisfied, there is addresses, which is not derived from keys"
+                "Key transaction pairing check not satisfied, there is account_ids, which is not derived from keys"
             );
         }
 
@@ -69,51 +70,55 @@ impl NSSAUserData {
 
     /// Generated new private key for public transaction signatures
     ///
-    /// Returns the address of new account
+    /// Returns the account_id of new account
-    pub fn generate_new_public_transaction_private_key(&mut self) -> nssa::Address {
+    pub fn generate_new_public_transaction_private_key(&mut self) -> nssa::AccountId {
         let private_key = nssa::PrivateKey::new_os_random();
-        let address = nssa::Address::from(&nssa::PublicKey::new_from_private_key(&private_key));
+        let account_id =
+            nssa::AccountId::from(&nssa::PublicKey::new_from_private_key(&private_key));
 
-        self.pub_account_signing_keys.insert(address, private_key);
+        self.pub_account_signing_keys
+            .insert(account_id, private_key);
 
-        address
+        account_id
     }
 
     /// Returns the signing key for public transaction signatures
     pub fn get_pub_account_signing_key(
         &self,
-        address: &nssa::Address,
+        account_id: &nssa::AccountId,
     ) -> Option<&nssa::PrivateKey> {
-        self.pub_account_signing_keys.get(address)
+        self.pub_account_signing_keys.get(account_id)
     }
 
     /// Generated new private key for privacy preserving transactions
     ///
-    /// Returns the address of new account
+    /// Returns the account_id of new account
-    pub fn generate_new_privacy_preserving_transaction_key_chain(&mut self) -> nssa::Address {
+    pub fn generate_new_privacy_preserving_transaction_key_chain(&mut self) -> nssa::AccountId {
         let key_chain = KeyChain::new_os_random();
-        let address = nssa::Address::from(&key_chain.nullifer_public_key);
+        let account_id = nssa::AccountId::from(&key_chain.nullifer_public_key);
 
-        self.user_private_accounts
+        self.user_private_accounts.insert(
-            .insert(address, (key_chain, nssa_core::account::Account::default()));
+            account_id,
+            (key_chain, nssa_core::account::Account::default()),
+        );
 
-        address
+        account_id
     }
 
     /// Returns the signing key for public transaction signatures
     pub fn get_private_account(
         &self,
-        address: &nssa::Address,
+        account_id: &nssa::AccountId,
     ) -> Option<&(KeyChain, nssa_core::account::Account)> {
-        self.user_private_accounts.get(address)
+        self.user_private_accounts.get(account_id)
     }
 
     /// Returns the signing key for public transaction signatures
     pub fn get_private_account_mut(
         &mut self,
-        address: &nssa::Address,
+        account_id: &nssa::AccountId,
     ) -> Option<&mut (KeyChain, nssa_core::account::Account)> {
-        self.user_private_accounts.get_mut(address)
+        self.user_private_accounts.get_mut(account_id)
     }
 }
 

mempool/Cargo.toml

@@ -4,3 +4,7 @@ version = "0.1.0"
 edition = "2024"
 
 [dependencies]
+tokio = { workspace = true, features = ["sync"] }
+
+[dev-dependencies]
+tokio = { workspace = true, features = ["rt-multi-thread", "macros"] }

mempool/src/lib.rs

@@ -1,231 +1,99 @@
-use std::collections::VecDeque;
+use tokio::sync::mpsc::{Receiver, Sender};
 
-pub struct MemPool<Item> {
+pub struct MemPool<T> {
-    items: VecDeque<Item>,
+    receiver: Receiver<T>,
 }
 
-impl<Item> MemPool<Item> {
+impl<T> MemPool<T> {
-    pub fn new() -> Self {
+    pub fn new(max_size: usize) -> (Self, MemPoolHandle<T>) {
-        Self {
+        let (sender, receiver) = tokio::sync::mpsc::channel(max_size);
-            items: VecDeque::new(),
+
-        }
+        let mem_pool = Self { receiver };
+        let sender = MemPoolHandle::new(sender);
+        (mem_pool, sender)
     }
 
-    pub fn pop_last(&mut self) -> Option<Item> {
+    pub fn pop(&mut self) -> Option<T> {
-        self.items.pop_front()
+        use tokio::sync::mpsc::error::TryRecvError;
-    }
 
-    pub fn peek_last(&self) -> Option<&Item> {
+        match self.receiver.try_recv() {
-        self.items.front()
+            Ok(item) => Some(item),
-    }
+            Err(TryRecvError::Empty) => None,
-
+            Err(TryRecvError::Disconnected) => {
-    pub fn push_item(&mut self, item: Item) {
+                panic!("Mempool senders disconnected, cannot receive items, this is a bug")
-        self.items.push_back(item);
-    }
-
-    pub fn len(&self) -> usize {
-        self.items.len()
-    }
-
-    pub fn is_empty(&self) -> bool {
-        self.len() == 0
-    }
-
-    pub fn pop_size(&mut self, size: usize) -> Vec<Item> {
-        let mut ret_vec = vec![];
-
-        for _ in 0..size {
-            let item = self.pop_last();
-
-            match item {
-                Some(item) => ret_vec.push(item),
-                None => break,
             }
         }
-
-        ret_vec
-    }
-
-    pub fn drain_size(&mut self, remainder: usize) -> Vec<Item> {
-        self.pop_size(self.len().saturating_sub(remainder))
     }
 }
 
-impl<Item> Default for MemPool<Item> {
+pub struct MemPoolHandle<T> {
-    fn default() -> Self {
+    sender: Sender<T>,
-        Self::new()
+}
+
+impl<T> MemPoolHandle<T> {
+    fn new(sender: Sender<T>) -> Self {
+        Self { sender }
+    }
+
+    /// Send an item to the mempool blocking if max size is reached
+    pub async fn push(&self, item: T) -> Result<(), tokio::sync::mpsc::error::SendError<T>> {
+        self.sender.send(item).await
     }
 }
 
 #[cfg(test)]
 mod tests {
-    use std::vec;
-
     use super::*;
 
-    pub type ItemId = u64;
+    use tokio::test;
 
-    #[derive(Debug, PartialEq, Eq)]
+    #[test]
-    pub struct TestItem {
+    async fn test_mempool_new() {
-        id: ItemId,
+        let (mut pool, _handle): (MemPool<u64>, _) = MemPool::new(10);
-    }
+        assert_eq!(pool.pop(), None);
-
-    fn test_item_with_id(id: u64) -> TestItem {
-        TestItem { id }
     }
 
     #[test]
-    fn test_create_empty_mempool() {
+    async fn test_push_and_pop() {
-        let _: MemPool<TestItem> = MemPool::new();
+        let (mut pool, handle) = MemPool::new(10);
+
+        handle.push(1).await.unwrap();
+
+        let item = pool.pop();
+        assert_eq!(item, Some(1));
+        assert_eq!(pool.pop(), None);
     }
 
     #[test]
-    fn test_mempool_new() {
+    async fn test_multiple_push_pop() {
-        let pool: MemPool<TestItem> = MemPool::new();
+        let (mut pool, handle) = MemPool::new(10);
-        assert!(pool.is_empty());
+
-        assert_eq!(pool.len(), 0);
+        handle.push(1).await.unwrap();
+        handle.push(2).await.unwrap();
+        handle.push(3).await.unwrap();
+
+        assert_eq!(pool.pop(), Some(1));
+        assert_eq!(pool.pop(), Some(2));
+        assert_eq!(pool.pop(), Some(3));
+        assert_eq!(pool.pop(), None);
     }
 
     #[test]
-    fn test_push_item() {
+    async fn test_pop_empty() {
-        let mut pool = MemPool::new();
+        let (mut pool, _handle): (MemPool<u64>, _) = MemPool::new(10);
-        pool.push_item(test_item_with_id(1));
+        assert_eq!(pool.pop(), None);
-        assert!(!pool.is_empty());
-        assert_eq!(pool.len(), 1);
     }
 
     #[test]
-    fn test_pop_last() {
+    async fn test_max_size() {
-        let mut pool = MemPool::new();
+        let (mut pool, handle) = MemPool::new(2);
-        pool.push_item(test_item_with_id(1));
-        pool.push_item(test_item_with_id(2));
-        let item = pool.pop_last();
-        assert_eq!(item, Some(test_item_with_id(1)));
-        assert_eq!(pool.len(), 1);
-    }
 
-    #[test]
+        handle.push(1).await.unwrap();
-    fn test_peek_last() {
+        handle.push(2).await.unwrap();
-        let mut pool = MemPool::new();
-        pool.push_item(test_item_with_id(1));
-        pool.push_item(test_item_with_id(2));
-        let item = pool.peek_last();
-        assert_eq!(item, Some(&test_item_with_id(1)));
-    }
 
-    #[test]
+        // This should block if buffer is full, but we'll use try_send in a real scenario
-    fn test_pop_size() {
+        // For now, just verify we can pop items
-        let mut pool = MemPool::new();
+        assert_eq!(pool.pop(), Some(1));
-        pool.push_item(test_item_with_id(1));
+        assert_eq!(pool.pop(), Some(2));
-        pool.push_item(test_item_with_id(2));
-        pool.push_item(test_item_with_id(3));
-
-        let items = pool.pop_size(2);
-        assert_eq!(items, vec![test_item_with_id(1), test_item_with_id(2)]);
-        assert_eq!(pool.len(), 1);
-    }
-
-    #[test]
-    fn test_drain_size() {
-        let mut pool = MemPool::new();
-        pool.push_item(test_item_with_id(1));
-        pool.push_item(test_item_with_id(2));
-        pool.push_item(test_item_with_id(3));
-        pool.push_item(test_item_with_id(4));
-
-        let items = pool.drain_size(2);
-        assert_eq!(items, vec![test_item_with_id(1), test_item_with_id(2)]);
-        assert_eq!(pool.len(), 2);
-    }
-
-    #[test]
-    fn test_default() {
-        let pool: MemPool<TestItem> = MemPool::default();
-        assert!(pool.is_empty());
-        assert_eq!(pool.len(), 0);
-    }
-
-    #[test]
-    fn test_is_empty() {
-        let mut pool = MemPool::new();
-        assert!(pool.is_empty());
-        pool.push_item(test_item_with_id(1));
-        assert!(!pool.is_empty());
-    }
-
-    #[test]
-    fn test_push_pop() {
-        let mut mempool: MemPool<TestItem> = MemPool::new();
-
-        let items = vec![
-            test_item_with_id(1),
-            test_item_with_id(2),
-            test_item_with_id(3),
-        ];
-
-        for item in items {
-            mempool.push_item(item);
-        }
-        assert_eq!(mempool.len(), 3);
-
-        let item = mempool.pop_last();
-
-        assert_eq!(item, Some(TestItem { id: 1 }));
-        assert_eq!(mempool.len(), 2);
-
-        let item = mempool.pop_last();
-
-        assert_eq!(item, Some(TestItem { id: 2 }));
-        assert_eq!(mempool.len(), 1);
-
-        let item = mempool.pop_last();
-
-        assert_eq!(item, Some(TestItem { id: 3 }));
-        assert_eq!(mempool.len(), 0);
-
-        let item = mempool.pop_last();
-
-        assert_eq!(item, None);
-    }
-
-    #[test]
-    fn test_pop_many() {
-        let mut mempool: MemPool<TestItem> = MemPool::new();
-
-        let mut items = vec![];
-
-        for i in 1..11 {
-            items.push(test_item_with_id(i));
-        }
-
-        for item in items {
-            mempool.push_item(item);
-        }
-
-        assert_eq!(mempool.len(), 10);
-
-        let items1 = mempool.pop_size(4);
-        assert_eq!(
-            items1,
-            vec![
-                test_item_with_id(1),
-                test_item_with_id(2),
-                test_item_with_id(3),
-                test_item_with_id(4)
-            ]
-        );
-        assert_eq!(mempool.len(), 6);
-
-        let items2 = mempool.drain_size(2);
-        assert_eq!(
-            items2,
-            vec![
-                test_item_with_id(5),
-                test_item_with_id(6),
-                test_item_with_id(7),
-                test_item_with_id(8)
-            ]
-        );
-        assert_eq!(mempool.len(), 2);
     }
 }

nssa/core/src/account.rs

@@ -1,7 +1,13 @@
-use crate::{address::Address, program::ProgramId};
+use crate::program::ProgramId;
 use borsh::{BorshDeserialize, BorshSerialize};
 use serde::{Deserialize, Serialize};
 
+#[cfg(feature = "host")]
+use std::{fmt::Display, str::FromStr};
+
+#[cfg(feature = "host")]
+use base58::{FromBase58, ToBase58};
+
 pub type Nonce = u128;
 pub type Data = Vec<u8>;
 
@@ -17,8 +23,6 @@ pub struct Account {
     pub nonce: Nonce,
 }
 
-pub type AccountId = Address;
-
 #[derive(Serialize, Deserialize, Clone)]
 #[cfg_attr(any(feature = "host", test), derive(Debug, PartialEq, Eq))]
 pub struct AccountWithMetadata {
@@ -38,6 +42,64 @@ impl AccountWithMetadata {
     }
 }
 
+#[derive(Serialize, Deserialize, Clone, PartialEq, Eq, Hash, BorshSerialize, BorshDeserialize)]
+#[cfg_attr(
+    any(feature = "host", test),
+    derive(Debug, Copy, PartialOrd, Ord, Default)
+)]
+pub struct AccountId {
+    value: [u8; 32],
+}
+
+impl AccountId {
+    pub fn new(value: [u8; 32]) -> Self {
+        Self { value }
+    }
+
+    pub fn value(&self) -> &[u8; 32] {
+        &self.value
+    }
+}
+
+impl AsRef<[u8]> for AccountId {
+    fn as_ref(&self) -> &[u8] {
+        &self.value
+    }
+}
+
+#[cfg(feature = "host")]
+#[derive(Debug, thiserror::Error)]
+pub enum AccountIdError {
+    #[error("invalid base58")]
+    InvalidBase58(#[from] anyhow::Error),
+    #[error("invalid length: expected 32 bytes, got {0}")]
+    InvalidLength(usize),
+}
+
+#[cfg(feature = "host")]
+impl FromStr for AccountId {
+    type Err = AccountIdError;
+
+    fn from_str(s: &str) -> Result<Self, Self::Err> {
+        let bytes = s
+            .from_base58()
+            .map_err(|err| anyhow::anyhow!("Invalid base58 err {err:?}"))?;
+        if bytes.len() != 32 {
+            return Err(AccountIdError::InvalidLength(bytes.len()));
+        }
+        let mut value = [0u8; 32];
+        value.copy_from_slice(&bytes);
+        Ok(AccountId { value })
+    }
+}
+
+#[cfg(feature = "host")]
+impl Display for AccountId {
+    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
+        write!(f, "{}", self.value.to_base58())
+    }
+}
+
 #[cfg(test)]
 mod tests {
     use crate::program::DEFAULT_PROGRAM_ID;
@@ -87,4 +149,32 @@ mod tests {
         assert!(new_acc_with_metadata.is_authorized);
         assert_eq!(new_acc_with_metadata.account_id, fingerprint);
     }
+
+    #[test]
+    fn parse_valid_account_id() {
+        let base58_str = "11111111111111111111111111111111";
+        let account_id: AccountId = base58_str.parse().unwrap();
+        assert_eq!(account_id.value, [0u8; 32]);
+    }
+
+    #[test]
+    fn parse_invalid_base58() {
+        let base58_str = "00".repeat(32); // invalid base58 chars
+        let result = base58_str.parse::<AccountId>().unwrap_err();
+        assert!(matches!(result, AccountIdError::InvalidBase58(_)));
+    }
+
+    #[test]
+    fn parse_wrong_length_short() {
+        let base58_str = "11".repeat(31); // 62 chars = 31 bytes
+        let result = base58_str.parse::<AccountId>().unwrap_err();
+        assert!(matches!(result, AccountIdError::InvalidLength(_)));
+    }
+
+    #[test]
+    fn parse_wrong_length_long() {
+        let base58_str = "11".repeat(33); // 66 chars = 33 bytes
+        let result = base58_str.parse::<AccountId>().unwrap_err();
+        assert!(matches!(result, AccountIdError::InvalidLength(_)));
+    }
 }

nssa/core/src/address.rs

@@ -1,99 +0,0 @@
-use borsh::{BorshDeserialize, BorshSerialize};
-use serde::{Deserialize, Serialize};
-
-#[cfg(feature = "host")]
-use std::{fmt::Display, str::FromStr};
-
-#[cfg(feature = "host")]
-use base58::{FromBase58, ToBase58};
-
-#[derive(Serialize, Deserialize, Clone, PartialEq, Eq, Hash, BorshSerialize, BorshDeserialize)]
-#[cfg_attr(
-    any(feature = "host", test),
-    derive(Debug, Copy, PartialOrd, Ord, Default)
-)]
-pub struct Address {
-    value: [u8; 32],
-}
-
-impl Address {
-    pub fn new(value: [u8; 32]) -> Self {
-        Self { value }
-    }
-
-    pub fn value(&self) -> &[u8; 32] {
-        &self.value
-    }
-}
-
-impl AsRef<[u8]> for Address {
-    fn as_ref(&self) -> &[u8] {
-        &self.value
-    }
-}
-
-#[cfg(feature = "host")]
-#[derive(Debug, thiserror::Error)]
-pub enum AddressError {
-    #[error("invalid base58")]
-    InvalidBase58(#[from] anyhow::Error),
-    #[error("invalid length: expected 32 bytes, got {0}")]
-    InvalidLength(usize),
-}
-
-#[cfg(feature = "host")]
-impl FromStr for Address {
-    type Err = AddressError;
-    fn from_str(s: &str) -> Result<Self, Self::Err> {
-        let bytes = s
-            .from_base58()
-            .map_err(|err| anyhow::anyhow!("Invalid base58 err {err:?}"))?;
-        if bytes.len() != 32 {
-            return Err(AddressError::InvalidLength(bytes.len()));
-        }
-        let mut value = [0u8; 32];
-        value.copy_from_slice(&bytes);
-        Ok(Address { value })
-    }
-}
-
-#[cfg(feature = "host")]
-impl Display for Address {
-    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
-        write!(f, "{}", self.value.to_base58())
-    }
-}
-
-#[cfg(test)]
-mod tests {
-
-    use super::{Address, AddressError};
-
-    #[test]
-    fn parse_valid_address() {
-        let base58_str = "11111111111111111111111111111111";
-        let addr: Address = base58_str.parse().unwrap();
-        assert_eq!(addr.value, [0u8; 32]);
-    }
-
-    #[test]
-    fn parse_invalid_base58() {
-        let base58_str = "00".repeat(32); // invalid base58 chars
-        let result = base58_str.parse::<Address>().unwrap_err();
-        assert!(matches!(result, AddressError::InvalidBase58(_)));
-    }
-
-    #[test]
-    fn parse_wrong_length_short() {
-        let base58_str = "11".repeat(31); // 62 chars = 31 bytes
-        let result = base58_str.parse::<Address>().unwrap_err();
-        assert!(matches!(result, AddressError::InvalidLength(_)));
-    }
-
-    #[test]
-    fn parse_wrong_length_long() {
-        let base58_str = "11".repeat(33); // 66 chars = 33 bytes
-        let result = base58_str.parse::<Address>().unwrap_err();
-        assert!(matches!(result, AddressError::InvalidLength(_)));
-    }
-}

nssa/core/src/lib.rs

@@ -6,8 +6,6 @@ pub mod encryption;
 mod nullifier;
 pub mod program;
 
-pub mod address;
-
 pub use circuit_io::{PrivacyPreservingCircuitInput, PrivacyPreservingCircuitOutput};
 pub use commitment::{
     Commitment, CommitmentSetDigest, DUMMY_COMMITMENT, DUMMY_COMMITMENT_HASH, MembershipProof,

nssa/src/lib.rs

@@ -18,7 +18,6 @@ mod signature;
 mod state;
 
 pub use nssa_core::account::{Account, AccountId};
-pub use nssa_core::address::Address;
 pub use privacy_preserving_transaction::{
     PrivacyPreservingTransaction, circuit::execute_and_prove,
 };

nssa/src/privacy_preserving_transaction/message.rs

@@ -6,7 +6,7 @@ use nssa_core::{
 };
 use sha2::{Digest, Sha256};
 
-use crate::{Address, error::NssaError};
+use crate::{AccountId, error::NssaError};
 
 pub type ViewTag = u8;
 
@@ -45,7 +45,7 @@ impl EncryptedAccountData {
 
 #[derive(Debug, Clone, PartialEq, Eq, BorshSerialize, BorshDeserialize)]
 pub struct Message {
-    pub(crate) public_addresses: Vec<Address>,
+    pub(crate) public_account_ids: Vec<AccountId>,
     pub(crate) nonces: Vec<Nonce>,
     pub(crate) public_post_states: Vec<Account>,
     pub encrypted_private_post_states: Vec<EncryptedAccountData>,
@@ -55,7 +55,7 @@ pub struct Message {
 
 impl Message {
     pub fn try_from_circuit_output(
-        public_addresses: Vec<Address>,
+        public_account_ids: Vec<AccountId>,
         nonces: Vec<Nonce>,
         public_keys: Vec<(
             NullifierPublicKey,
@@ -79,7 +79,7 @@ impl Message {
             })
             .collect();
         Ok(Self {
-            public_addresses,
+            public_account_ids,
             nonces,
             public_post_states: output.public_post_states,
             encrypted_private_post_states,
@@ -99,7 +99,7 @@ pub mod tests {
     use sha2::{Digest, Sha256};
 
     use crate::{
-        Address,
+        AccountId,
         privacy_preserving_transaction::message::{EncryptedAccountData, Message},
     };
 
@@ -113,7 +113,7 @@ pub mod tests {
         let npk1 = NullifierPublicKey::from(&nsk1);
         let npk2 = NullifierPublicKey::from(&nsk2);
 
-        let public_addresses = vec![Address::new([1; 32])];
+        let public_account_ids = vec![AccountId::new([1; 32])];
 
         let nonces = vec![1, 2, 3];
 
@@ -130,7 +130,7 @@ pub mod tests {
         )];
 
         Message {
-            public_addresses: public_addresses.clone(),
+            public_account_ids: public_account_ids.clone(),
             nonces: nonces.clone(),
             public_post_states: public_post_states.clone(),
             encrypted_private_post_states: encrypted_private_post_states.clone(),

nssa/src/privacy_preserving_transaction/transaction.rs

@@ -9,7 +9,7 @@ use nssa_core::{
 use crate::error::NssaError;
 use crate::privacy_preserving_transaction::circuit::Proof;
 use crate::privacy_preserving_transaction::message::EncryptedAccountData;
-use crate::{Address, V02State};
+use crate::{AccountId, V02State};
 
 use super::message::Message;
 use super::witness_set::WitnessSet;
@@ -31,7 +31,7 @@ impl PrivacyPreservingTransaction {
     pub(crate) fn validate_and_produce_public_state_diff(
         &self,
         state: &V02State,
-    ) -> Result<HashMap<Address, Account>, NssaError> {
+    ) -> Result<HashMap<AccountId, Account>, NssaError> {
         let message = &self.message;
         let witness_set = &self.witness_set;
 
@@ -42,10 +42,10 @@ impl PrivacyPreservingTransaction {
             ));
         }
 
-        // 2. Check there are no duplicate addresses in the public_addresses list.
+        // 2. Check there are no duplicate account_ids in the public_account_ids list.
-        if n_unique(&message.public_addresses) != message.public_addresses.len() {
+        if n_unique(&message.public_account_ids) != message.public_account_ids.len() {
             return Err(NssaError::InvalidInput(
-                "Duplicate addresses found in message".into(),
+                "Duplicate account_ids found in message".into(),
             ));
         }
 
@@ -78,10 +78,10 @@ impl PrivacyPreservingTransaction {
             ));
         }
 
-        let signer_addresses = self.signer_addresses();
+        let signer_account_ids = self.signer_account_ids();
         // Check nonces corresponds to the current nonces on the public state.
-        for (address, nonce) in signer_addresses.iter().zip(&message.nonces) {
+        for (account_id, nonce) in signer_account_ids.iter().zip(&message.nonces) {
-            let current_nonce = state.get_account_by_address(address).nonce;
+            let current_nonce = state.get_account_by_id(account_id).nonce;
             if current_nonce != *nonce {
                 return Err(NssaError::InvalidInput("Nonce mismatch".into()));
             }
@@ -89,13 +89,13 @@ impl PrivacyPreservingTransaction {
 
         // Build pre_states for proof verification
         let public_pre_states: Vec<_> = message
-            .public_addresses
+            .public_account_ids
             .iter()
-            .map(|address| {
+            .map(|account_id| {
                 AccountWithMetadata::new(
-                    state.get_account_by_address(address),
+                    state.get_account_by_id(account_id),
-                    signer_addresses.contains(address),
+                    signer_account_ids.contains(account_id),
-                    *address,
+                    *account_id,
                 )
             })
             .collect();
@@ -117,7 +117,7 @@ impl PrivacyPreservingTransaction {
         state.check_nullifiers_are_valid(&message.new_nullifiers)?;
 
         Ok(message
-            .public_addresses
+            .public_account_ids
             .iter()
             .cloned()
             .zip(message.public_post_states.clone())
@@ -132,11 +132,11 @@ impl PrivacyPreservingTransaction {
         &self.witness_set
     }
 
-    pub(crate) fn signer_addresses(&self) -> Vec<Address> {
+    pub(crate) fn signer_account_ids(&self) -> Vec<AccountId> {
         self.witness_set
             .signatures_and_public_keys()
             .iter()
-            .map(|(_, public_key)| Address::from(public_key))
+            .map(|(_, public_key)| AccountId::from(public_key))
             .collect()
     }
 }
@@ -175,17 +175,17 @@ fn n_unique<T: Eq + Hash>(data: &[T]) -> usize {
 #[cfg(test)]
 mod tests {
     use crate::{
-        Address, PrivacyPreservingTransaction, PrivateKey, PublicKey,
+        AccountId, PrivacyPreservingTransaction, PrivateKey, PublicKey,
         privacy_preserving_transaction::{
             circuit::Proof, message::tests::message_for_tests, witness_set::WitnessSet,
         },
     };
 
-    fn keys_for_tests() -> (PrivateKey, PrivateKey, Address, Address) {
+    fn keys_for_tests() -> (PrivateKey, PrivateKey, AccountId, AccountId) {
         let key1 = PrivateKey::try_new([1; 32]).unwrap();
         let key2 = PrivateKey::try_new([2; 32]).unwrap();
-        let addr1 = Address::from(&PublicKey::new_from_private_key(&key1));
+        let addr1 = AccountId::from(&PublicKey::new_from_private_key(&key1));
-        let addr2 = Address::from(&PublicKey::new_from_private_key(&key2));
+        let addr2 = AccountId::from(&PublicKey::new_from_private_key(&key2));
         (key1, key2, addr1, addr2)
     }
 

nssa/src/public_transaction/message.rs

@@ -5,12 +5,12 @@ use nssa_core::{
 };
 use serde::Serialize;
 
-use crate::{Address, error::NssaError, program::Program};
+use crate::{AccountId, error::NssaError, program::Program};
 
 #[derive(Debug, Clone, PartialEq, Eq, BorshSerialize, BorshDeserialize)]
 pub struct Message {
     pub(crate) program_id: ProgramId,
-    pub(crate) addresses: Vec<Address>,
+    pub(crate) account_ids: Vec<AccountId>,
     pub(crate) nonces: Vec<Nonce>,
     pub(crate) instruction_data: InstructionData,
 }
@@ -18,14 +18,14 @@ pub struct Message {
 impl Message {
     pub fn try_new<T: Serialize>(
         program_id: ProgramId,
-        addresses: Vec<Address>,
+        account_ids: Vec<AccountId>,
         nonces: Vec<Nonce>,
         instruction: T,
     ) -> Result<Self, NssaError> {
         let instruction_data = Program::serialize_instruction(instruction)?;
         Ok(Self {
             program_id,
-            addresses,
+            account_ids,
             nonces,
             instruction_data,
         })

nssa/src/public_transaction/transaction.rs

@@ -2,8 +2,7 @@ use std::collections::{HashMap, HashSet};
 
 use borsh::{BorshDeserialize, BorshSerialize};
 use nssa_core::{
-    account::{Account, AccountWithMetadata},
+    account::{Account, AccountId, AccountWithMetadata},
-    address::Address,
     program::{DEFAULT_PROGRAM_ID, validate_execution},
 };
 use sha2::{Digest, digest::FixedOutput};
@@ -37,11 +36,11 @@ impl PublicTransaction {
         &self.witness_set
     }
 
-    pub(crate) fn signer_addresses(&self) -> Vec<Address> {
+    pub(crate) fn signer_account_ids(&self) -> Vec<AccountId> {
         self.witness_set
             .signatures_and_public_keys()
             .iter()
-            .map(|(_, public_key)| Address::from(public_key))
+            .map(|(_, public_key)| AccountId::from(public_key))
             .collect()
     }
 
@@ -55,14 +54,14 @@ impl PublicTransaction {
     pub(crate) fn validate_and_produce_public_state_diff(
         &self,
         state: &V02State,
-    ) -> Result<HashMap<Address, Account>, NssaError> {
+    ) -> Result<HashMap<AccountId, Account>, NssaError> {
         let message = self.message();
         let witness_set = self.witness_set();
 
-        // All addresses must be different
+        // All account_ids must be different
-        if message.addresses.iter().collect::<HashSet<_>>().len() != message.addresses.len() {
+        if message.account_ids.iter().collect::<HashSet<_>>().len() != message.account_ids.len() {
             return Err(NssaError::InvalidInput(
-                "Duplicate addresses found in message".into(),
+                "Duplicate account_ids found in message".into(),
             ));
         }
 
@@ -80,10 +79,10 @@ impl PublicTransaction {
             ));
         }
 
-        let signer_addresses = self.signer_addresses();
+        let signer_account_ids = self.signer_account_ids();
         // Check nonces corresponds to the current nonces on the public state.
-        for (address, nonce) in signer_addresses.iter().zip(&message.nonces) {
+        for (account_id, nonce) in signer_account_ids.iter().zip(&message.nonces) {
-            let current_nonce = state.get_account_by_address(address).nonce;
+            let current_nonce = state.get_account_by_id(account_id).nonce;
             if current_nonce != *nonce {
                 return Err(NssaError::InvalidInput("Nonce mismatch".into()));
             }
@@ -91,18 +90,18 @@ impl PublicTransaction {
 
         // Build pre_states for execution
         let mut input_pre_states: Vec<_> = message
-            .addresses
+            .account_ids
             .iter()
-            .map(|address| {
+            .map(|account_id| {
                 AccountWithMetadata::new(
-                    state.get_account_by_address(address),
+                    state.get_account_by_id(account_id),
-                    signer_addresses.contains(address),
+                    signer_account_ids.contains(account_id),
-                    *address,
+                    *account_id,
                 )
             })
             .collect();
 
-        let mut state_diff: HashMap<Address, Account> = HashMap::new();
+        let mut state_diff: HashMap<AccountId, Account> = HashMap::new();
 
         let mut program_id = message.program_id;
         let mut instruction_data = message.instruction_data.clone();
@@ -190,17 +189,17 @@ pub mod tests {
     use sha2::{Digest, digest::FixedOutput};
 
     use crate::{
-        Address, PrivateKey, PublicKey, PublicTransaction, Signature, V02State,
+        AccountId, PrivateKey, PublicKey, PublicTransaction, Signature, V02State,
         error::NssaError,
         program::Program,
         public_transaction::{Message, WitnessSet},
     };
 
-    fn keys_for_tests() -> (PrivateKey, PrivateKey, Address, Address) {
+    fn keys_for_tests() -> (PrivateKey, PrivateKey, AccountId, AccountId) {
         let key1 = PrivateKey::try_new([1; 32]).unwrap();
         let key2 = PrivateKey::try_new([2; 32]).unwrap();
-        let addr1 = Address::from(&PublicKey::new_from_private_key(&key1));
+        let addr1 = AccountId::from(&PublicKey::new_from_private_key(&key1));
-        let addr2 = Address::from(&PublicKey::new_from_private_key(&key2));
+        let addr2 = AccountId::from(&PublicKey::new_from_private_key(&key2));
         (key1, key2, addr1, addr2)
     }
 
@@ -249,20 +248,20 @@ pub mod tests {
     }
 
     #[test]
-    fn test_signer_addresses() {
+    fn test_signer_account_ids() {
         let tx = transaction_for_tests();
-        let expected_signer_addresses = vec![
+        let expected_signer_account_ids = vec![
-            Address::new([
+            AccountId::new([
                 208, 122, 210, 232, 75, 39, 250, 0, 194, 98, 240, 161, 238, 160, 255, 53, 202, 9,
                 115, 84, 126, 106, 16, 111, 114, 241, 147, 194, 220, 131, 139, 68,
             ]),
-            Address::new([
+            AccountId::new([
                 231, 174, 119, 197, 239, 26, 5, 153, 147, 68, 175, 73, 159, 199, 138, 23, 5, 57,
                 141, 98, 237, 6, 207, 46, 20, 121, 246, 222, 248, 154, 57, 188,
             ]),
         ];
-        let signer_addresses = tx.signer_addresses();
+        let signer_account_ids = tx.signer_account_ids();
-        assert_eq!(signer_addresses, expected_signer_addresses);
+        assert_eq!(signer_account_ids, expected_signer_account_ids);
     }
 
     #[test]
@@ -287,7 +286,7 @@ pub mod tests {
     }
 
     #[test]
-    fn test_address_list_cant_have_duplicates() {
+    fn test_account_id_list_cant_have_duplicates() {
         let (key1, _, addr1, _) = keys_for_tests();
         let state = state_for_tests();
         let nonces = vec![0, 0];

nssa/src/public_transaction/witness_set.rs

@@ -41,7 +41,7 @@ impl WitnessSet {
 
 #[cfg(test)]
 mod tests {
-    use crate::Address;
+    use crate::AccountId;
 
     use super::*;
 
@@ -51,8 +51,8 @@ mod tests {
         let key2 = PrivateKey::try_new([2; 32]).unwrap();
         let pubkey1 = PublicKey::new_from_private_key(&key1);
         let pubkey2 = PublicKey::new_from_private_key(&key2);
-        let addr1 = Address::from(&pubkey1);
+        let addr1 = AccountId::from(&pubkey1);
-        let addr2 = Address::from(&pubkey2);
+        let addr2 = AccountId::from(&pubkey2);
         let nonces = vec![1, 2];
         let instruction = vec![1, 2, 3, 4];
         let message = Message::try_new([0; 8], vec![addr1, addr2], nonces, instruction).unwrap();

nssa/src/signature/public_key.rs

@@ -1,5 +1,5 @@
 use borsh::{BorshDeserialize, BorshSerialize};
-use nssa_core::address::Address;
+use nssa_core::account::AccountId;
 
 use crate::{PrivateKey, error::NssaError};
 
@@ -46,7 +46,7 @@ impl PublicKey {
     }
 }
 
-impl From<&PublicKey> for Address {
+impl From<&PublicKey> for AccountId {
     fn from(key: &PublicKey) -> Self {
         const PUBLIC_ACCOUNT_ID_PREFIX: &[u8; 32] = b"/NSSA/v0.2/AccountId/Public/\x00\x00\x00\x00";
 

nssa/src/state.rs

@@ -6,7 +6,7 @@ use crate::{
 };
 use nssa_core::{
     Commitment, CommitmentSetDigest, DUMMY_COMMITMENT, MembershipProof, Nullifier,
-    account::Account, address::Address, program::ProgramId,
+    account::Account, account::AccountId, program::ProgramId,
 };
 use std::collections::{HashMap, HashSet};
 
@@ -58,27 +58,27 @@ impl CommitmentSet {
 type NullifierSet = HashSet<Nullifier>;
 
 pub struct V02State {
-    public_state: HashMap<Address, Account>,
+    public_state: HashMap<AccountId, Account>,
     private_state: (CommitmentSet, NullifierSet),
     programs: HashMap<ProgramId, Program>,
 }
 
 impl V02State {
     pub fn new_with_genesis_accounts(
-        initial_data: &[(Address, u128)],
+        initial_data: &[(AccountId, u128)],
         initial_commitments: &[nssa_core::Commitment],
     ) -> Self {
         let authenticated_transfer_program = Program::authenticated_transfer_program();
         let public_state = initial_data
             .iter()
             .copied()
-            .map(|(address, balance)| {
+            .map(|(account_id, balance)| {
                 let account = Account {
                     balance,
                     program_owner: authenticated_transfer_program.id(),
                     ..Account::default()
                 };
-                (address, account)
+                (account_id, account)
             })
             .collect();
 
@@ -108,14 +108,14 @@ impl V02State {
     ) -> Result<(), NssaError> {
         let state_diff = tx.validate_and_produce_public_state_diff(self)?;
 
-        for (address, post) in state_diff.into_iter() {
+        for (account_id, post) in state_diff.into_iter() {
-            let current_account = self.get_account_by_address_mut(address);
+            let current_account = self.get_account_by_id_mut(account_id);
 
             *current_account = post;
         }
 
-        for address in tx.signer_addresses() {
+        for account_id in tx.signer_account_ids() {
-            let current_account = self.get_account_by_address_mut(address);
+            let current_account = self.get_account_by_id_mut(account_id);
             current_account.nonce += 1;
         }
 
@@ -144,8 +144,8 @@ impl V02State {
         self.private_state.1.extend(new_nullifiers);
 
         // 4. Update public accounts
-        for (address, post) in public_state_diff.into_iter() {
+        for (account_id, post) in public_state_diff.into_iter() {
-            let current_account = self.get_account_by_address_mut(address);
+            let current_account = self.get_account_by_id_mut(account_id);
             *current_account = post;
         }
 
@@ -161,13 +161,13 @@ impl V02State {
         Ok(())
     }
 
-    fn get_account_by_address_mut(&mut self, address: Address) -> &mut Account {
+    fn get_account_by_id_mut(&mut self, account_id: AccountId) -> &mut Account {
-        self.public_state.entry(address).or_default()
+        self.public_state.entry(account_id).or_default()
     }
 
-    pub fn get_account_by_address(&self, address: &Address) -> Account {
+    pub fn get_account_by_id(&self, account_id: &AccountId) -> Account {
         self.public_state
-            .get(address)
+            .get(account_id)
             .cloned()
             .unwrap_or(Account::default())
     }
@@ -220,11 +220,11 @@ impl V02State {
 
 // TODO: Testnet only. Refactor to prevent compilation on mainnet.
 impl V02State {
-    pub fn add_pinata_program(&mut self, address: Address) {
+    pub fn add_pinata_program(&mut self, account_id: AccountId) {
         self.insert_program(Program::pinata());
 
         self.public_state.insert(
-            address,
+            account_id,
             Account {
                 program_owner: Program::pinata().id(),
                 balance: 1500,
@@ -242,7 +242,7 @@ pub mod tests {
     use std::collections::HashMap;
 
     use crate::{
-        Address, PublicKey, PublicTransaction, V02State,
+        PublicKey, PublicTransaction, V02State,
         error::NssaError,
         execute_and_prove,
         privacy_preserving_transaction::{
@@ -261,17 +261,17 @@ pub mod tests {
     };
 
     fn transfer_transaction(
-        from: Address,
+        from: AccountId,
         from_key: PrivateKey,
         nonce: u128,
-        to: Address,
+        to: AccountId,
         balance: u128,
     ) -> PublicTransaction {
-        let addresses = vec![from, to];
+        let account_ids = vec![from, to];
         let nonces = vec![nonce];
         let program_id = Program::authenticated_transfer_program().id();
         let message =
-            public_transaction::Message::try_new(program_id, addresses, nonces, balance).unwrap();
+            public_transaction::Message::try_new(program_id, account_ids, nonces, balance).unwrap();
         let witness_set = public_transaction::WitnessSet::for_message(&message, &[&from_key]);
         PublicTransaction::new(message, witness_set)
     }
@@ -280,8 +280,8 @@ pub mod tests {
     fn test_new_with_genesis() {
         let key1 = PrivateKey::try_new([1; 32]).unwrap();
         let key2 = PrivateKey::try_new([2; 32]).unwrap();
-        let addr1 = Address::from(&PublicKey::new_from_private_key(&key1));
+        let addr1 = AccountId::from(&PublicKey::new_from_private_key(&key1));
-        let addr2 = Address::from(&PublicKey::new_from_private_key(&key2));
+        let addr2 = AccountId::from(&PublicKey::new_from_private_key(&key2));
         let initial_data = [(addr1, 100u128), (addr2, 151u128)];
         let authenticated_transfers_program = Program::authenticated_transfer_program();
         let expected_public_state = {
@@ -333,25 +333,25 @@ pub mod tests {
     }
 
     #[test]
-    fn test_get_account_by_address_non_default_account() {
+    fn test_get_account_by_account_id_non_default_account() {
         let key = PrivateKey::try_new([1; 32]).unwrap();
-        let addr = Address::from(&PublicKey::new_from_private_key(&key));
+        let account_id = AccountId::from(&PublicKey::new_from_private_key(&key));
-        let initial_data = [(addr, 100u128)];
+        let initial_data = [(account_id, 100u128)];
         let state = V02State::new_with_genesis_accounts(&initial_data, &[]);
-        let expected_account = state.public_state.get(&addr).unwrap();
+        let expected_account = state.public_state.get(&account_id).unwrap();
 
-        let account = state.get_account_by_address(&addr);
+        let account = state.get_account_by_id(&account_id);
 
         assert_eq!(&account, expected_account);
     }
 
     #[test]
-    fn test_get_account_by_address_default_account() {
+    fn test_get_account_by_account_id_default_account() {
-        let addr2 = Address::new([0; 32]);
+        let addr2 = AccountId::new([0; 32]);
         let state = V02State::new_with_genesis_accounts(&[], &[]);
         let expected_account = Account::default();
 
-        let account = state.get_account_by_address(&addr2);
+        let account = state.get_account_by_id(&addr2);
 
         assert_eq!(account, expected_account);
     }
@@ -368,96 +368,96 @@ pub mod tests {
     #[test]
     fn transition_from_authenticated_transfer_program_invocation_default_account_destination() {
         let key = PrivateKey::try_new([1; 32]).unwrap();
-        let address = Address::from(&PublicKey::new_from_private_key(&key));
+        let account_id = AccountId::from(&PublicKey::new_from_private_key(&key));
-        let initial_data = [(address, 100)];
+        let initial_data = [(account_id, 100)];
         let mut state = V02State::new_with_genesis_accounts(&initial_data, &[]);
-        let from = address;
+        let from = account_id;
-        let to = Address::new([2; 32]);
+        let to = AccountId::new([2; 32]);
-        assert_eq!(state.get_account_by_address(&to), Account::default());
+        assert_eq!(state.get_account_by_id(&to), Account::default());
         let balance_to_move = 5;
 
         let tx = transfer_transaction(from, key, 0, to, balance_to_move);
         state.transition_from_public_transaction(&tx).unwrap();
 
-        assert_eq!(state.get_account_by_address(&from).balance, 95);
+        assert_eq!(state.get_account_by_id(&from).balance, 95);
-        assert_eq!(state.get_account_by_address(&to).balance, 5);
+        assert_eq!(state.get_account_by_id(&to).balance, 5);
-        assert_eq!(state.get_account_by_address(&from).nonce, 1);
+        assert_eq!(state.get_account_by_id(&from).nonce, 1);
-        assert_eq!(state.get_account_by_address(&to).nonce, 0);
+        assert_eq!(state.get_account_by_id(&to).nonce, 0);
     }
 
     #[test]
     fn transition_from_authenticated_transfer_program_invocation_insuficient_balance() {
         let key = PrivateKey::try_new([1; 32]).unwrap();
-        let address = Address::from(&PublicKey::new_from_private_key(&key));
+        let account_id = AccountId::from(&PublicKey::new_from_private_key(&key));
-        let initial_data = [(address, 100)];
+        let initial_data = [(account_id, 100)];
         let mut state = V02State::new_with_genesis_accounts(&initial_data, &[]);
-        let from = address;
+        let from = account_id;
         let from_key = key;
-        let to = Address::new([2; 32]);
+        let to = AccountId::new([2; 32]);
         let balance_to_move = 101;
-        assert!(state.get_account_by_address(&from).balance < balance_to_move);
+        assert!(state.get_account_by_id(&from).balance < balance_to_move);
 
         let tx = transfer_transaction(from, from_key, 0, to, balance_to_move);
         let result = state.transition_from_public_transaction(&tx);
 
         assert!(matches!(result, Err(NssaError::ProgramExecutionFailed(_))));
-        assert_eq!(state.get_account_by_address(&from).balance, 100);
+        assert_eq!(state.get_account_by_id(&from).balance, 100);
-        assert_eq!(state.get_account_by_address(&to).balance, 0);
+        assert_eq!(state.get_account_by_id(&to).balance, 0);
-        assert_eq!(state.get_account_by_address(&from).nonce, 0);
+        assert_eq!(state.get_account_by_id(&from).nonce, 0);
-        assert_eq!(state.get_account_by_address(&to).nonce, 0);
+        assert_eq!(state.get_account_by_id(&to).nonce, 0);
     }
 
     #[test]
     fn transition_from_authenticated_transfer_program_invocation_non_default_account_destination() {
         let key1 = PrivateKey::try_new([1; 32]).unwrap();
         let key2 = PrivateKey::try_new([2; 32]).unwrap();
-        let address1 = Address::from(&PublicKey::new_from_private_key(&key1));
+        let account_id1 = AccountId::from(&PublicKey::new_from_private_key(&key1));
-        let address2 = Address::from(&PublicKey::new_from_private_key(&key2));
+        let account_id2 = AccountId::from(&PublicKey::new_from_private_key(&key2));
-        let initial_data = [(address1, 100), (address2, 200)];
+        let initial_data = [(account_id1, 100), (account_id2, 200)];
         let mut state = V02State::new_with_genesis_accounts(&initial_data, &[]);
-        let from = address2;
+        let from = account_id2;
         let from_key = key2;
-        let to = address1;
+        let to = account_id1;
-        assert_ne!(state.get_account_by_address(&to), Account::default());
+        assert_ne!(state.get_account_by_id(&to), Account::default());
         let balance_to_move = 8;
 
         let tx = transfer_transaction(from, from_key, 0, to, balance_to_move);
         state.transition_from_public_transaction(&tx).unwrap();
 
-        assert_eq!(state.get_account_by_address(&from).balance, 192);
+        assert_eq!(state.get_account_by_id(&from).balance, 192);
-        assert_eq!(state.get_account_by_address(&to).balance, 108);
+        assert_eq!(state.get_account_by_id(&to).balance, 108);
-        assert_eq!(state.get_account_by_address(&from).nonce, 1);
+        assert_eq!(state.get_account_by_id(&from).nonce, 1);
-        assert_eq!(state.get_account_by_address(&to).nonce, 0);
+        assert_eq!(state.get_account_by_id(&to).nonce, 0);
     }
 
     #[test]
     fn transition_from_sequence_of_authenticated_transfer_program_invocations() {
         let key1 = PrivateKey::try_new([8; 32]).unwrap();
-        let address1 = Address::from(&PublicKey::new_from_private_key(&key1));
+        let account_id1 = AccountId::from(&PublicKey::new_from_private_key(&key1));
         let key2 = PrivateKey::try_new([2; 32]).unwrap();
-        let address2 = Address::from(&PublicKey::new_from_private_key(&key2));
+        let account_id2 = AccountId::from(&PublicKey::new_from_private_key(&key2));
-        let initial_data = [(address1, 100)];
+        let initial_data = [(account_id1, 100)];
         let mut state = V02State::new_with_genesis_accounts(&initial_data, &[]);
-        let address3 = Address::new([3; 32]);
+        let account_id3 = AccountId::new([3; 32]);
         let balance_to_move = 5;
 
-        let tx = transfer_transaction(address1, key1, 0, address2, balance_to_move);
+        let tx = transfer_transaction(account_id1, key1, 0, account_id2, balance_to_move);
         state.transition_from_public_transaction(&tx).unwrap();
         let balance_to_move = 3;
-        let tx = transfer_transaction(address2, key2, 0, address3, balance_to_move);
+        let tx = transfer_transaction(account_id2, key2, 0, account_id3, balance_to_move);
         state.transition_from_public_transaction(&tx).unwrap();
 
-        assert_eq!(state.get_account_by_address(&address1).balance, 95);
+        assert_eq!(state.get_account_by_id(&account_id1).balance, 95);
-        assert_eq!(state.get_account_by_address(&address2).balance, 2);
+        assert_eq!(state.get_account_by_id(&account_id2).balance, 2);
-        assert_eq!(state.get_account_by_address(&address3).balance, 3);
+        assert_eq!(state.get_account_by_id(&account_id3).balance, 3);
-        assert_eq!(state.get_account_by_address(&address1).nonce, 1);
+        assert_eq!(state.get_account_by_id(&account_id1).nonce, 1);
-        assert_eq!(state.get_account_by_address(&address2).nonce, 1);
+        assert_eq!(state.get_account_by_id(&account_id2).nonce, 1);
-        assert_eq!(state.get_account_by_address(&address3).nonce, 0);
+        assert_eq!(state.get_account_by_id(&account_id3).nonce, 0);
     }
 
     impl V02State {
-        pub fn force_insert_account(&mut self, address: Address, account: Account) {
+        pub fn force_insert_account(&mut self, account_id: AccountId, account: Account) {
-            self.public_state.insert(address, account);
+            self.public_state.insert(account_id, account);
         }
 
         /// Include test programs in the builtin programs map
@@ -488,15 +488,15 @@ pub mod tests {
                 ..Account::default()
             };
             self.force_insert_account(
-                Address::new([255; 32]),
+                AccountId::new([255; 32]),
                 account_with_default_values_except_balance,
             );
             self.force_insert_account(
-                Address::new([254; 32]),
+                AccountId::new([254; 32]),
                 account_with_default_values_except_nonce,
             );
             self.force_insert_account(
-                Address::new([253; 32]),
+                AccountId::new([253; 32]),
                 account_with_default_values_except_data,
             );
             self
@@ -508,7 +508,7 @@ pub mod tests {
                 balance: 100,
                 ..Default::default()
             };
-            self.force_insert_account(Address::new([252; 32]), account);
+            self.force_insert_account(AccountId::new([252; 32]), account);
             self
         }
 
@@ -521,13 +521,13 @@ pub mod tests {
 
     #[test]
     fn test_program_should_fail_if_modifies_nonces() {
-        let initial_data = [(Address::new([1; 32]), 100)];
+        let initial_data = [(AccountId::new([1; 32]), 100)];
         let mut state =
             V02State::new_with_genesis_accounts(&initial_data, &[]).with_test_programs();
-        let addresses = vec![Address::new([1; 32])];
+        let account_ids = vec![AccountId::new([1; 32])];
         let program_id = Program::nonce_changer_program().id();
         let message =
-            public_transaction::Message::try_new(program_id, addresses, vec![], ()).unwrap();
+            public_transaction::Message::try_new(program_id, account_ids, vec![], ()).unwrap();
         let witness_set = public_transaction::WitnessSet::for_message(&message, &[]);
         let tx = PublicTransaction::new(message, witness_set);
 
@@ -538,13 +538,13 @@ pub mod tests {
 
     #[test]
     fn test_program_should_fail_if_output_accounts_exceed_inputs() {
-        let initial_data = [(Address::new([1; 32]), 100)];
+        let initial_data = [(AccountId::new([1; 32]), 100)];
         let mut state =
             V02State::new_with_genesis_accounts(&initial_data, &[]).with_test_programs();
-        let addresses = vec![Address::new([1; 32])];
+        let account_ids = vec![AccountId::new([1; 32])];
         let program_id = Program::extra_output_program().id();
         let message =
-            public_transaction::Message::try_new(program_id, addresses, vec![], ()).unwrap();
+            public_transaction::Message::try_new(program_id, account_ids, vec![], ()).unwrap();
         let witness_set = public_transaction::WitnessSet::for_message(&message, &[]);
         let tx = PublicTransaction::new(message, witness_set);
 
@@ -555,13 +555,13 @@ pub mod tests {
 
     #[test]
     fn test_program_should_fail_with_missing_output_accounts() {
-        let initial_data = [(Address::new([1; 32]), 100)];
+        let initial_data = [(AccountId::new([1; 32]), 100)];
         let mut state =
             V02State::new_with_genesis_accounts(&initial_data, &[]).with_test_programs();
-        let addresses = vec![Address::new([1; 32]), Address::new([2; 32])];
+        let account_ids = vec![AccountId::new([1; 32]), AccountId::new([2; 32])];
         let program_id = Program::missing_output_program().id();
         let message =
-            public_transaction::Message::try_new(program_id, addresses, vec![], ()).unwrap();
+            public_transaction::Message::try_new(program_id, account_ids, vec![], ()).unwrap();
         let witness_set = public_transaction::WitnessSet::for_message(&message, &[]);
         let tx = PublicTransaction::new(message, witness_set);
 
@@ -572,11 +572,11 @@ pub mod tests {
 
     #[test]
     fn test_program_should_fail_if_modifies_program_owner_with_only_non_default_program_owner() {
-        let initial_data = [(Address::new([1; 32]), 0)];
+        let initial_data = [(AccountId::new([1; 32]), 0)];
         let mut state =
             V02State::new_with_genesis_accounts(&initial_data, &[]).with_test_programs();
-        let address = Address::new([1; 32]);
+        let account_id = AccountId::new([1; 32]);
-        let account = state.get_account_by_address(&address);
+        let account = state.get_account_by_id(&account_id);
         // Assert the target account only differs from the default account in the program owner field
         assert_ne!(account.program_owner, Account::default().program_owner);
         assert_eq!(account.balance, Account::default().balance);
@@ -584,7 +584,7 @@ pub mod tests {
         assert_eq!(account.data, Account::default().data);
         let program_id = Program::program_owner_changer().id();
         let message =
-            public_transaction::Message::try_new(program_id, vec![address], vec![], ()).unwrap();
+            public_transaction::Message::try_new(program_id, vec![account_id], vec![], ()).unwrap();
         let witness_set = public_transaction::WitnessSet::for_message(&message, &[]);
         let tx = PublicTransaction::new(message, witness_set);
 
@@ -599,8 +599,8 @@ pub mod tests {
         let mut state = V02State::new_with_genesis_accounts(&initial_data, &[])
             .with_test_programs()
             .with_non_default_accounts_but_default_program_owners();
-        let address = Address::new([255; 32]);
+        let account_id = AccountId::new([255; 32]);
-        let account = state.get_account_by_address(&address);
+        let account = state.get_account_by_id(&account_id);
         // Assert the target account only differs from the default account in balance field
         assert_eq!(account.program_owner, Account::default().program_owner);
         assert_ne!(account.balance, Account::default().balance);
@@ -608,7 +608,7 @@ pub mod tests {
         assert_eq!(account.data, Account::default().data);
         let program_id = Program::program_owner_changer().id();
         let message =
-            public_transaction::Message::try_new(program_id, vec![address], vec![], ()).unwrap();
+            public_transaction::Message::try_new(program_id, vec![account_id], vec![], ()).unwrap();
         let witness_set = public_transaction::WitnessSet::for_message(&message, &[]);
         let tx = PublicTransaction::new(message, witness_set);
 
@@ -623,8 +623,8 @@ pub mod tests {
         let mut state = V02State::new_with_genesis_accounts(&initial_data, &[])
             .with_test_programs()
             .with_non_default_accounts_but_default_program_owners();
-        let address = Address::new([254; 32]);
+        let account_id = AccountId::new([254; 32]);
-        let account = state.get_account_by_address(&address);
+        let account = state.get_account_by_id(&account_id);
         // Assert the target account only differs from the default account in nonce field
         assert_eq!(account.program_owner, Account::default().program_owner);
         assert_eq!(account.balance, Account::default().balance);
@@ -632,7 +632,7 @@ pub mod tests {
         assert_eq!(account.data, Account::default().data);
         let program_id = Program::program_owner_changer().id();
         let message =
-            public_transaction::Message::try_new(program_id, vec![address], vec![], ()).unwrap();
+            public_transaction::Message::try_new(program_id, vec![account_id], vec![], ()).unwrap();
         let witness_set = public_transaction::WitnessSet::for_message(&message, &[]);
         let tx = PublicTransaction::new(message, witness_set);
 
@@ -647,8 +647,8 @@ pub mod tests {
         let mut state = V02State::new_with_genesis_accounts(&initial_data, &[])
             .with_test_programs()
             .with_non_default_accounts_but_default_program_owners();
-        let address = Address::new([253; 32]);
+        let account_id = AccountId::new([253; 32]);
-        let account = state.get_account_by_address(&address);
+        let account = state.get_account_by_id(&account_id);
         // Assert the target account only differs from the default account in data field
         assert_eq!(account.program_owner, Account::default().program_owner);
         assert_eq!(account.balance, Account::default().balance);
@@ -656,7 +656,7 @@ pub mod tests {
         assert_ne!(account.data, Account::default().data);
         let program_id = Program::program_owner_changer().id();
         let message =
-            public_transaction::Message::try_new(program_id, vec![address], vec![], ()).unwrap();
+            public_transaction::Message::try_new(program_id, vec![account_id], vec![], ()).unwrap();
         let witness_set = public_transaction::WitnessSet::for_message(&message, &[]);
         let tx = PublicTransaction::new(message, witness_set);
 
@@ -667,20 +667,20 @@ pub mod tests {
 
     #[test]
     fn test_program_should_fail_if_transfers_balance_from_non_owned_account() {
-        let initial_data = [(Address::new([1; 32]), 100)];
+        let initial_data = [(AccountId::new([1; 32]), 100)];
         let mut state =
             V02State::new_with_genesis_accounts(&initial_data, &[]).with_test_programs();
-        let sender_address = Address::new([1; 32]);
+        let sender_account_id = AccountId::new([1; 32]);
-        let receiver_address = Address::new([2; 32]);
+        let receiver_account_id = AccountId::new([2; 32]);
         let balance_to_move: u128 = 1;
         let program_id = Program::simple_balance_transfer().id();
         assert_ne!(
-            state.get_account_by_address(&sender_address).program_owner,
+            state.get_account_by_id(&sender_account_id).program_owner,
             program_id
         );
         let message = public_transaction::Message::try_new(
             program_id,
-            vec![sender_address, receiver_address],
+            vec![sender_account_id, receiver_account_id],
             vec![],
             balance_to_move,
         )
@@ -699,16 +699,16 @@ pub mod tests {
         let mut state = V02State::new_with_genesis_accounts(&initial_data, &[])
             .with_test_programs()
             .with_non_default_accounts_but_default_program_owners();
-        let address = Address::new([255; 32]);
+        let account_id = AccountId::new([255; 32]);
         let program_id = Program::data_changer().id();
 
-        assert_ne!(state.get_account_by_address(&address), Account::default());
+        assert_ne!(state.get_account_by_id(&account_id), Account::default());
         assert_ne!(
-            state.get_account_by_address(&address).program_owner,
+            state.get_account_by_id(&account_id).program_owner,
             program_id
         );
         let message =
-            public_transaction::Message::try_new(program_id, vec![address], vec![], ()).unwrap();
+            public_transaction::Message::try_new(program_id, vec![account_id], vec![], ()).unwrap();
         let witness_set = public_transaction::WitnessSet::for_message(&message, &[]);
         let tx = PublicTransaction::new(message, witness_set);
 
@@ -722,11 +722,11 @@ pub mod tests {
         let initial_data = [];
         let mut state =
             V02State::new_with_genesis_accounts(&initial_data, &[]).with_test_programs();
-        let address = Address::new([1; 32]);
+        let account_id = AccountId::new([1; 32]);
         let program_id = Program::minter().id();
 
         let message =
-            public_transaction::Message::try_new(program_id, vec![address], vec![], ()).unwrap();
+            public_transaction::Message::try_new(program_id, vec![account_id], vec![], ()).unwrap();
         let witness_set = public_transaction::WitnessSet::for_message(&message, &[]);
         let tx = PublicTransaction::new(message, witness_set);
 
@@ -742,17 +742,17 @@ pub mod tests {
             .with_test_programs()
             .with_account_owned_by_burner_program();
         let program_id = Program::burner().id();
-        let address = Address::new([252; 32]);
+        let account_id = AccountId::new([252; 32]);
         assert_eq!(
-            state.get_account_by_address(&address).program_owner,
+            state.get_account_by_id(&account_id).program_owner,
             program_id
         );
         let balance_to_burn: u128 = 1;
-        assert!(state.get_account_by_address(&address).balance > balance_to_burn);
+        assert!(state.get_account_by_id(&account_id).balance > balance_to_burn);
 
         let message = public_transaction::Message::try_new(
             program_id,
-            vec![address],
+            vec![account_id],
             vec![],
             balance_to_burn,
         )
@@ -769,8 +769,8 @@ pub mod tests {
     }
 
     impl TestPublicKeys {
-        pub fn address(&self) -> Address {
+        pub fn account_id(&self) -> AccountId {
-            Address::from(&PublicKey::new_from_private_key(&self.signing_key))
+            AccountId::from(&PublicKey::new_from_private_key(&self.signing_key))
         }
     }
 
@@ -816,9 +816,9 @@ pub mod tests {
         state: &V02State,
     ) -> PrivacyPreservingTransaction {
         let sender = AccountWithMetadata::new(
-            state.get_account_by_address(&sender_keys.address()),
+            state.get_account_by_id(&sender_keys.account_id()),
             true,
-            sender_keys.address(),
+            sender_keys.account_id(),
         );
 
         let sender_nonce = sender.account.nonce;
@@ -841,7 +841,7 @@ pub mod tests {
         .unwrap();
 
         let message = Message::try_from_circuit_output(
-            vec![sender_keys.address()],
+            vec![sender_keys.account_id()],
             vec![sender_nonce],
             vec![(recipient_keys.npk(), recipient_keys.ivk(), epk)],
             output,
@@ -911,7 +911,7 @@ pub mod tests {
     fn deshielded_balance_transfer_for_tests(
         sender_keys: &TestPrivateKeys,
         sender_private_account: &Account,
-        recipient_address: &Address,
+        recipient_account_id: &AccountId,
         balance_to_move: u128,
         new_nonce: Nonce,
         state: &V02State,
@@ -921,9 +921,9 @@ pub mod tests {
         let sender_pre =
             AccountWithMetadata::new(sender_private_account.clone(), true, &sender_keys.npk());
         let recipient_pre = AccountWithMetadata::new(
-            state.get_account_by_address(recipient_address),
+            state.get_account_by_id(recipient_account_id),
             false,
-            *recipient_address,
+            *recipient_account_id,
         );
 
         let esk = [3; 32];
@@ -945,7 +945,7 @@ pub mod tests {
         .unwrap();
 
         let message = Message::try_from_circuit_output(
-            vec![*recipient_address],
+            vec![*recipient_account_id],
             vec![],
             vec![(sender_keys.npk(), sender_keys.ivk(), epk)],
             output,
@@ -962,7 +962,8 @@ pub mod tests {
         let sender_keys = test_public_account_keys_1();
         let recipient_keys = test_private_account_keys_1();
 
-        let mut state = V02State::new_with_genesis_accounts(&[(sender_keys.address(), 200)], &[]);
+        let mut state =
+            V02State::new_with_genesis_accounts(&[(sender_keys.account_id(), 200)], &[]);
 
         let balance_to_move = 37;
 
@@ -974,7 +975,7 @@ pub mod tests {
         );
 
         let expected_sender_post = {
-            let mut this = state.get_account_by_address(&sender_keys.address());
+            let mut this = state.get_account_by_id(&sender_keys.account_id());
             this.balance -= balance_to_move;
             this.nonce += 1;
             this
@@ -987,12 +988,12 @@ pub mod tests {
             .transition_from_privacy_preserving_transaction(&tx)
             .unwrap();
 
-        let sender_post = state.get_account_by_address(&sender_keys.address());
+        let sender_post = state.get_account_by_id(&sender_keys.account_id());
         assert_eq!(sender_post, expected_sender_post);
         assert!(state.private_state.0.contains(&expected_new_commitment));
 
         assert_eq!(
-            state.get_account_by_address(&sender_keys.address()).balance,
+            state.get_account_by_id(&sender_keys.account_id()).balance,
             200 - balance_to_move
         );
     }
@@ -1075,7 +1076,7 @@ pub mod tests {
         let recipient_keys = test_public_account_keys_1();
         let recipient_initial_balance = 400;
         let mut state = V02State::new_with_genesis_accounts(
-            &[(recipient_keys.address(), recipient_initial_balance)],
+            &[(recipient_keys.account_id(), recipient_initial_balance)],
             &[],
         )
         .with_private_account(&sender_keys, &sender_private_account);
@@ -1083,7 +1084,7 @@ pub mod tests {
         let balance_to_move = 37;
 
         let expected_recipient_post = {
-            let mut this = state.get_account_by_address(&recipient_keys.address());
+            let mut this = state.get_account_by_id(&recipient_keys.account_id());
             this.balance += balance_to_move;
             this
         };
@@ -1091,7 +1092,7 @@ pub mod tests {
         let tx = deshielded_balance_transfer_for_tests(
             &sender_keys,
             &sender_private_account,
-            &recipient_keys.address(),
+            &recipient_keys.account_id(),
             balance_to_move,
             0xcafecafe,
             &state,
@@ -1119,14 +1120,14 @@ pub mod tests {
             .transition_from_privacy_preserving_transaction(&tx)
             .unwrap();
 
-        let recipient_post = state.get_account_by_address(&recipient_keys.address());
+        let recipient_post = state.get_account_by_id(&recipient_keys.account_id());
         assert_eq!(recipient_post, expected_recipient_post);
         assert!(state.private_state.0.contains(&sender_pre_commitment));
         assert!(state.private_state.0.contains(&expected_new_commitment));
         assert!(state.private_state.1.contains(&expected_new_nullifier));
         assert_eq!(
             state
-                .get_account_by_address(&recipient_keys.address())
+                .get_account_by_id(&recipient_keys.account_id())
                 .balance,
             recipient_initial_balance + balance_to_move
         );
@@ -2046,18 +2047,18 @@ pub mod tests {
     fn test_claiming_mechanism() {
         let program = Program::authenticated_transfer_program();
         let key = PrivateKey::try_new([1; 32]).unwrap();
-        let address = Address::from(&PublicKey::new_from_private_key(&key));
+        let account_id = AccountId::from(&PublicKey::new_from_private_key(&key));
         let initial_balance = 100;
-        let initial_data = [(address, initial_balance)];
+        let initial_data = [(account_id, initial_balance)];
         let mut state =
             V02State::new_with_genesis_accounts(&initial_data, &[]).with_test_programs();
-        let from = address;
+        let from = account_id;
         let from_key = key;
-        let to = Address::new([2; 32]);
+        let to = AccountId::new([2; 32]);
         let amount: u128 = 37;
 
         // Check the recipient is an uninitialized account
-        assert_eq!(state.get_account_by_address(&to), Account::default());
+        assert_eq!(state.get_account_by_id(&to), Account::default());
 
         let expected_recipient_post = Account {
             program_owner: program.id(),
@@ -2073,7 +2074,7 @@ pub mod tests {
 
         state.transition_from_public_transaction(&tx).unwrap();
 
-        let recipient_post = state.get_account_by_address(&to);
+        let recipient_post = state.get_account_by_id(&to);
 
         assert_eq!(recipient_post, expected_recipient_post);
     }
@@ -2082,14 +2083,14 @@ pub mod tests {
     fn test_chained_call() {
         let program = Program::chain_caller();
         let key = PrivateKey::try_new([1; 32]).unwrap();
-        let address = Address::from(&PublicKey::new_from_private_key(&key));
+        let account_id = AccountId::from(&PublicKey::new_from_private_key(&key));
         let initial_balance = 100;
-        let initial_data = [(address, initial_balance)];
+        let initial_data = [(account_id, initial_balance)];
         let mut state =
             V02State::new_with_genesis_accounts(&initial_data, &[]).with_test_programs();
-        let from = address;
+        let from = account_id;
         let from_key = key;
-        let to = Address::new([2; 32]);
+        let to = AccountId::new([2; 32]);
         let amount: u128 = 37;
         let instruction: (u128, ProgramId) =
             (amount, Program::authenticated_transfer_program().id());
@@ -2112,8 +2113,8 @@ pub mod tests {
 
         state.transition_from_public_transaction(&tx).unwrap();
 
-        let from_post = state.get_account_by_address(&from);
+        let from_post = state.get_account_by_id(&from);
-        let to_post = state.get_account_by_address(&to);
+        let to_post = state.get_account_by_id(&to);
         assert_eq!(from_post.balance, initial_balance - amount);
         assert_eq!(to_post, expected_to_post);
     }

sequencer_core/Cargo.toml

@@ -28,3 +28,7 @@ path = "../nssa"
 [features]
 default = []
 testnet = []
+
+[dev-dependencies]
+tokio = { workspace = true, features = ["rt-multi-thread", "macros"] }
+futures.workspace = true

sequencer_core/src/block_store.rs

@@ -4,15 +4,15 @@ use anyhow::Result;
 use common::{HashType, block::Block, transaction::EncodedTransaction};
 use storage::RocksDBIO;
 
-pub struct SequecerBlockStore {
+pub struct SequencerBlockStore {
     dbio: RocksDBIO,
     // TODO: Consider adding the hashmap to the database for faster recovery.
-    pub tx_hash_to_block_map: HashMap<HashType, u64>,
+    tx_hash_to_block_map: HashMap<HashType, u64>,
-    pub genesis_id: u64,
+    genesis_id: u64,
-    pub signing_key: nssa::PrivateKey,
+    signing_key: nssa::PrivateKey,
 }
 
-impl SequecerBlockStore {
+impl SequencerBlockStore {
     ///Starting database at the start of new chain.
     /// Creates files if necessary.
     ///
@@ -42,7 +42,7 @@ impl SequecerBlockStore {
 
     ///Reopening existing database
     pub fn open_db_restart(location: &Path, signing_key: nssa::PrivateKey) -> Result<Self> {
-        SequecerBlockStore::open_db_with_genesis(location, None, signing_key)
+        SequencerBlockStore::open_db_with_genesis(location, None, signing_key)
     }
 
     pub fn get_block_at_id(&self, id: u64) -> Result<Block> {
@@ -69,6 +69,18 @@ impl SequecerBlockStore {
         }
         None
     }
+
+    pub fn insert(&mut self, tx: &EncodedTransaction, block_id: u64) {
+        self.tx_hash_to_block_map.insert(tx.hash(), block_id);
+    }
+
+    pub fn genesis_id(&self) -> u64 {
+        self.genesis_id
+    }
+
+    pub fn signing_key(&self) -> &nssa::PrivateKey {
+        &self.signing_key
+    }
 }
 
 pub(crate) fn block_to_transactions_map(block: &Block) -> HashMap<HashType, u64> {
@@ -104,7 +116,7 @@ mod tests {
         let genesis_block = genesis_block_hashable_data.into_block(&signing_key);
         // Start an empty node store
         let mut node_store =
-            SequecerBlockStore::open_db_with_genesis(path, Some(genesis_block), signing_key)
+            SequencerBlockStore::open_db_with_genesis(path, Some(genesis_block), signing_key)
                 .unwrap();
 
         let tx = common::test_utils::produce_dummy_empty_transaction();

sequencer_core/src/config.rs

@@ -4,18 +4,19 @@ use std::path::PathBuf;
 #[derive(Debug, Serialize, Deserialize, Clone)]
 ///Helperstruct for account serialization
 pub struct AccountInitialData {
-    ///Hex encoded `AccountAddress`
+    /// Hex encoded account id
-    pub addr: String,
+    pub account_id: String,
     pub balance: u128,
 }
 
 #[derive(Debug, Serialize, Deserialize, Clone)]
-///Helperstruct to initialize commitments
+/// Helperstruct to initialize commitments
 pub struct CommitmentsInitialData {
     pub npk: nssa_core::NullifierPublicKey,
     pub account: nssa_core::account::Account,
 }
 
+// TODO: Provide default values
 #[derive(Clone, Serialize, Deserialize)]
 pub struct SequencerConfig {
     ///Home dir of sequencer storage

sequencer_core/src/lib.rs

@@ -10,25 +10,24 @@ use common::{
 };
 use config::SequencerConfig;
 use log::warn;
-use mempool::MemPool;
+use mempool::{MemPool, MemPoolHandle};
 use serde::{Deserialize, Serialize};
 
-use crate::block_store::SequecerBlockStore;
+use crate::block_store::SequencerBlockStore;
 
 pub mod block_store;
 pub mod config;
 
 pub struct SequencerCore {
-    pub state: nssa::V02State,
+    state: nssa::V02State,
-    pub block_store: SequecerBlockStore,
+    block_store: SequencerBlockStore,
-    pub mempool: MemPool<EncodedTransaction>,
+    mempool: MemPool<EncodedTransaction>,
-    pub sequencer_config: SequencerConfig,
+    sequencer_config: SequencerConfig,
-    pub chain_height: u64,
+    chain_height: u64,
 }
 
 #[derive(Debug, Clone, Serialize, Deserialize, PartialEq)]
 pub enum TransactionMalformationError {
-    MempoolFullForRound,
     InvalidSignature,
     FailedToDecode { tx: HashType },
 }
@@ -42,7 +41,8 @@ impl Display for TransactionMalformationError {
 impl std::error::Error for TransactionMalformationError {}
 
 impl SequencerCore {
-    pub fn start_from_config(config: SequencerConfig) -> Self {
+    /// Start Sequencer from configuration and construct transaction sender
+    pub fn start_from_config(config: SequencerConfig) -> (Self, MemPoolHandle<EncodedTransaction>) {
         let hashable_data = HashableBlockData {
             block_id: config.genesis_id,
             transactions: vec![],
@@ -55,7 +55,7 @@ impl SequencerCore {
 
         //Sequencer should panic if unable to open db,
         //as fixing this issue may require actions non-native to program scope
-        let block_store = SequecerBlockStore::open_db_with_genesis(
+        let block_store = SequencerBlockStore::open_db_with_genesis(
             &config.home.join("rocksdb"),
             Some(genesis_block),
             signing_key,
@@ -75,10 +75,10 @@ impl SequencerCore {
             initial_commitments.push(comm);
         }
 
-        let init_accs: Vec<(nssa::Address, u128)> = config
+        let init_accs: Vec<(nssa::AccountId, u128)> = config
             .initial_accounts
             .iter()
-            .map(|acc_data| (acc_data.addr.parse().unwrap(), acc_data.balance))
+            .map(|acc_data| (acc_data.account_id.parse().unwrap(), acc_data.balance))
             .collect();
 
         let mut state = nssa::V02State::new_with_genesis_accounts(&init_accs, &initial_commitments);
@@ -86,17 +86,18 @@ impl SequencerCore {
         #[cfg(feature = "testnet")]
         state.add_pinata_program(PINATA_BASE58.parse().unwrap());
 
+        let (mempool, mempool_handle) = MemPool::new(config.mempool_max_size);
         let mut this = Self {
             state,
             block_store,
-            mempool: MemPool::default(),
+            mempool,
             chain_height: config.genesis_id,
             sequencer_config: config,
         };
 
         this.sync_state_with_stored_blocks();
 
-        this
+        (this, mempool_handle)
     }
 
     /// If there are stored blocks ahead of the current height, this method will load and process all transaction
@@ -110,108 +111,50 @@ impl SequencerCore {
                 self.execute_check_transaction_on_state(transaction)
                     .unwrap();
                 // Update the tx hash to block id map.
-                self.block_store
+                self.block_store.insert(&encoded_transaction, next_block_id);
-                    .tx_hash_to_block_map
-                    .insert(encoded_transaction.hash(), next_block_id);
             }
             self.chain_height = next_block_id;
             next_block_id += 1;
         }
     }
 
-    pub fn transaction_pre_check(
-        &mut self,
-        tx: NSSATransaction,
-    ) -> Result<NSSATransaction, TransactionMalformationError> {
-        // Stateless checks here
-        match tx {
-            NSSATransaction::Public(tx) => {
-                if tx.witness_set().is_valid_for(tx.message()) {
-                    Ok(NSSATransaction::Public(tx))
-                } else {
-                    Err(TransactionMalformationError::InvalidSignature)
-                }
-            }
-            NSSATransaction::PrivacyPreserving(tx) => {
-                if tx.witness_set().signatures_are_valid_for(tx.message()) {
-                    Ok(NSSATransaction::PrivacyPreserving(tx))
-                } else {
-                    Err(TransactionMalformationError::InvalidSignature)
-                }
-            }
-            NSSATransaction::ProgramDeployment(tx) => Ok(NSSATransaction::ProgramDeployment(tx)),
-        }
-    }
-
-    pub fn push_tx_into_mempool_pre_check(
-        &mut self,
-        transaction: EncodedTransaction,
-    ) -> Result<(), TransactionMalformationError> {
-        let transaction = NSSATransaction::try_from(&transaction).map_err(|_| {
-            TransactionMalformationError::FailedToDecode {
-                tx: transaction.hash(),
-            }
-        })?;
-
-        let mempool_size = self.mempool.len();
-        if mempool_size >= self.sequencer_config.mempool_max_size {
-            return Err(TransactionMalformationError::MempoolFullForRound);
-        }
-
-        let authenticated_tx = self
-            .transaction_pre_check(transaction)
-            .inspect_err(|err| warn!("Error at pre_check {err:#?}"))?;
-
-        self.mempool.push_item(authenticated_tx.into());
-
-        Ok(())
-    }
-
     fn execute_check_transaction_on_state(
         &mut self,
         tx: NSSATransaction,
     ) -> Result<NSSATransaction, nssa::error::NssaError> {
         match &tx {
-            NSSATransaction::Public(tx) => {
+            NSSATransaction::Public(tx) => self.state.transition_from_public_transaction(tx),
-                self.state
+            NSSATransaction::PrivacyPreserving(tx) => self
-                    .transition_from_public_transaction(tx)
+                .state
-                    .inspect_err(|err| warn!("Error at transition {err:#?}"))?;
+                .transition_from_privacy_preserving_transaction(tx),
-            }
+            NSSATransaction::ProgramDeployment(tx) => self
-            NSSATransaction::PrivacyPreserving(tx) => {
+                .state
-                self.state
+                .transition_from_program_deployment_transaction(tx),
-                    .transition_from_privacy_preserving_transaction(tx)
-                    .inspect_err(|err| warn!("Error at transition {err:#?}"))?;
-            }
-            NSSATransaction::ProgramDeployment(tx) => {
-                self.state
-                    .transition_from_program_deployment_transaction(tx)
-                    .inspect_err(|err| warn!("Error at transition {err:#?}"))?;
-            }
         }
+        .inspect_err(|err| warn!("Error at transition {err:#?}"))?;
 
         Ok(tx)
     }
 
-    ///Produces new block from transactions in mempool
+    /// Produces new block from transactions in mempool
     pub fn produce_new_block_with_mempool_transactions(&mut self) -> Result<u64> {
         let now = Instant::now();
         let new_block_height = self.chain_height + 1;
 
-        let mut num_valid_transactions_in_block = 0;
         let mut valid_transactions = vec![];
 
-        while let Some(tx) = self.mempool.pop_last() {
+        while let Some(tx) = self.mempool.pop() {
             let nssa_transaction = NSSATransaction::try_from(&tx)
                 .map_err(|_| TransactionMalformationError::FailedToDecode { tx: tx.hash() })?;
 
             if let Ok(valid_tx) = self.execute_check_transaction_on_state(nssa_transaction) {
                 valid_transactions.push(valid_tx.into());
 
-                num_valid_transactions_in_block += 1;
+                if valid_transactions.len() >= self.sequencer_config.max_num_tx_in_block {
-
-                if num_valid_transactions_in_block >= self.sequencer_config.max_num_tx_in_block {
                     break;
                 }
+            } else {
+                // Probably need to handle unsuccessful transaction execution?
             }
         }
 
@@ -232,12 +175,17 @@ impl SequencerCore {
             timestamp: curr_time,
         };
 
-        let block = hashable_data.into_block(&self.block_store.signing_key);
+        let block = hashable_data.into_block(self.block_store.signing_key());
 
         self.block_store.put_block_at_id(block)?;
 
         self.chain_height = new_block_height;
 
+        // TODO: Consider switching to `tracing` crate to have more structured and consistent logs e.g.
+        //
+        // ```
+        // info!(num_txs = num_txs_in_block, time = now.elapsed(), "Created block");
+        // ```
         log::info!(
             "Created block with {} transactions in {} seconds",
             num_txs_in_block,
@@ -246,10 +194,52 @@ impl SequencerCore {
 
         Ok(self.chain_height)
     }
+
+    pub fn state(&self) -> &nssa::V02State {
+        &self.state
+    }
+
+    pub fn block_store(&self) -> &SequencerBlockStore {
+        &self.block_store
+    }
+
+    pub fn chain_height(&self) -> u64 {
+        self.chain_height
+    }
+
+    pub fn sequencer_config(&self) -> &SequencerConfig {
+        &self.sequencer_config
+    }
+}
+
+// TODO: Introduce type-safe wrapper around checked transaction, e.g. AuthenticatedTransaction
+pub fn transaction_pre_check(
+    tx: NSSATransaction,
+) -> Result<NSSATransaction, TransactionMalformationError> {
+    // Stateless checks here
+    match tx {
+        NSSATransaction::Public(tx) => {
+            if tx.witness_set().is_valid_for(tx.message()) {
+                Ok(NSSATransaction::Public(tx))
+            } else {
+                Err(TransactionMalformationError::InvalidSignature)
+            }
+        }
+        NSSATransaction::PrivacyPreserving(tx) => {
+            if tx.witness_set().signatures_are_valid_for(tx.message()) {
+                Ok(NSSATransaction::PrivacyPreserving(tx))
+            } else {
+                Err(TransactionMalformationError::InvalidSignature)
+            }
+        }
+        NSSATransaction::ProgramDeployment(tx) => Ok(NSSATransaction::ProgramDeployment(tx)),
+    }
 }
 
 #[cfg(test)]
 mod tests {
+    use std::pin::pin;
+
     use base58::{FromBase58, ToBase58};
     use common::test_utils::sequencer_sign_key_for_testing;
     use nssa::PrivateKey;
@@ -286,23 +276,23 @@ mod tests {
     }
 
     fn setup_sequencer_config() -> SequencerConfig {
-        let acc1_addr: Vec<u8> = vec![
+        let acc1_account_id: Vec<u8> = vec![
             208, 122, 210, 232, 75, 39, 250, 0, 194, 98, 240, 161, 238, 160, 255, 53, 202, 9, 115,
             84, 126, 106, 16, 111, 114, 241, 147, 194, 220, 131, 139, 68,
         ];
 
-        let acc2_addr: Vec<u8> = vec![
+        let acc2_account_id: Vec<u8> = vec![
             231, 174, 119, 197, 239, 26, 5, 153, 147, 68, 175, 73, 159, 199, 138, 23, 5, 57, 141,
             98, 237, 6, 207, 46, 20, 121, 246, 222, 248, 154, 57, 188,
         ];
 
         let initial_acc1 = AccountInitialData {
-            addr: acc1_addr.to_base58(),
+            account_id: acc1_account_id.to_base58(),
             balance: 10000,
         };
 
         let initial_acc2 = AccountInitialData {
-            addr: acc2_addr.to_base58(),
+            account_id: acc2_account_id.to_base58(),
             balance: 20000,
         };
 
@@ -319,33 +309,44 @@ mod tests {
         nssa::PrivateKey::try_new([2; 32]).unwrap()
     }
 
-    fn common_setup(sequencer: &mut SequencerCore) {
+    async fn common_setup() -> (SequencerCore, MemPoolHandle<EncodedTransaction>) {
+        let config = setup_sequencer_config();
+        common_setup_with_config(config).await
+    }
+
+    async fn common_setup_with_config(
+        config: SequencerConfig,
+    ) -> (SequencerCore, MemPoolHandle<EncodedTransaction>) {
+        let (mut sequencer, mempool_handle) = SequencerCore::start_from_config(config);
+
         let tx = common::test_utils::produce_dummy_empty_transaction();
-        sequencer.mempool.push_item(tx);
+        mempool_handle.push(tx).await.unwrap();
 
         sequencer
             .produce_new_block_with_mempool_transactions()
             .unwrap();
+
+        (sequencer, mempool_handle)
     }
 
     #[test]
     fn test_start_from_config() {
         let config = setup_sequencer_config();
-        let sequencer = SequencerCore::start_from_config(config.clone());
+        let (sequencer, _mempool_handle) = SequencerCore::start_from_config(config.clone());
 
         assert_eq!(sequencer.chain_height, config.genesis_id);
         assert_eq!(sequencer.sequencer_config.max_num_tx_in_block, 10);
         assert_eq!(sequencer.sequencer_config.port, 8080);
 
-        let acc1_addr = config.initial_accounts[0]
+        let acc1_account_id = config.initial_accounts[0]
-            .addr
+            .account_id
             .clone()
             .from_base58()
             .unwrap()
             .try_into()
             .unwrap();
-        let acc2_addr = config.initial_accounts[1]
+        let acc2_account_id = config.initial_accounts[1]
-            .addr
+            .account_id
             .clone()
             .from_base58()
             .unwrap()
@@ -354,11 +355,11 @@ mod tests {
 
         let balance_acc_1 = sequencer
             .state
-            .get_account_by_address(&nssa::Address::new(acc1_addr))
+            .get_account_by_id(&nssa::AccountId::new(acc1_account_id))
             .balance;
         let balance_acc_2 = sequencer
             .state
-            .get_account_by_address(&nssa::Address::new(acc2_addr))
+            .get_account_by_id(&nssa::AccountId::new(acc2_account_id))
             .balance;
 
         assert_eq!(10000, balance_acc_1);
@@ -367,40 +368,40 @@ mod tests {
 
     #[test]
     fn test_start_different_intial_accounts_balances() {
-        let acc1_addr: Vec<u8> = vec![
+        let acc1_account_id: Vec<u8> = vec![
             27, 132, 197, 86, 123, 18, 100, 64, 153, 93, 62, 213, 170, 186, 5, 101, 215, 30, 24,
             52, 96, 72, 25, 255, 156, 23, 245, 233, 213, 221, 7, 143,
         ];
 
-        let acc2_addr: Vec<u8> = vec![
+        let acc2_account_id: Vec<u8> = vec![
             77, 75, 108, 209, 54, 16, 50, 202, 155, 210, 174, 185, 217, 0, 170, 77, 69, 217, 234,
             216, 10, 201, 66, 51, 116, 196, 81, 167, 37, 77, 7, 102,
         ];
 
         let initial_acc1 = AccountInitialData {
-            addr: acc1_addr.to_base58(),
+            account_id: acc1_account_id.to_base58(),
             balance: 10000,
         };
 
         let initial_acc2 = AccountInitialData {
-            addr: acc2_addr.to_base58(),
+            account_id: acc2_account_id.to_base58(),
             balance: 20000,
         };
 
         let initial_accounts = vec![initial_acc1, initial_acc2];
 
         let config = setup_sequencer_config_variable_initial_accounts(initial_accounts);
-        let sequencer = SequencerCore::start_from_config(config.clone());
+        let (sequencer, _mempool_handle) = SequencerCore::start_from_config(config.clone());
 
-        let acc1_addr = config.initial_accounts[0]
+        let acc1_account_id = config.initial_accounts[0]
-            .addr
+            .account_id
             .clone()
             .from_base58()
             .unwrap()
             .try_into()
             .unwrap();
-        let acc2_addr = config.initial_accounts[1]
+        let acc2_account_id = config.initial_accounts[1]
-            .addr
+            .account_id
             .clone()
             .from_base58()
             .unwrap()
@@ -411,47 +412,39 @@ mod tests {
             10000,
             sequencer
                 .state
-                .get_account_by_address(&nssa::Address::new(acc1_addr))
+                .get_account_by_id(&nssa::AccountId::new(acc1_account_id))
                 .balance
         );
         assert_eq!(
             20000,
             sequencer
                 .state
-                .get_account_by_address(&nssa::Address::new(acc2_addr))
+                .get_account_by_id(&nssa::AccountId::new(acc2_account_id))
                 .balance
         );
     }
 
     #[test]
     fn test_transaction_pre_check_pass() {
-        let config = setup_sequencer_config();
-        let mut sequencer = SequencerCore::start_from_config(config);
-
-        common_setup(&mut sequencer);
-
         let tx = common::test_utils::produce_dummy_empty_transaction();
-        let result = sequencer.transaction_pre_check(parse_unwrap_tx_body_into_nssa_tx(tx));
+        let result = transaction_pre_check(parse_unwrap_tx_body_into_nssa_tx(tx));
 
         assert!(result.is_ok());
     }
 
-    #[test]
+    #[tokio::test]
-    fn test_transaction_pre_check_native_transfer_valid() {
+    async fn test_transaction_pre_check_native_transfer_valid() {
-        let config = setup_sequencer_config();
+        let (sequencer, _mempool_handle) = common_setup().await;
-        let mut sequencer = SequencerCore::start_from_config(config);
-
-        common_setup(&mut sequencer);
 
         let acc1 = sequencer.sequencer_config.initial_accounts[0]
-            .addr
+            .account_id
             .clone()
             .from_base58()
             .unwrap()
             .try_into()
             .unwrap();
         let acc2 = sequencer.sequencer_config.initial_accounts[1]
-            .addr
+            .account_id
             .clone()
             .from_base58()
             .unwrap()
@@ -463,27 +456,24 @@ mod tests {
         let tx = common::test_utils::create_transaction_native_token_transfer(
             acc1, 0, acc2, 10, sign_key1,
         );
-        let result = sequencer.transaction_pre_check(parse_unwrap_tx_body_into_nssa_tx(tx));
+        let result = transaction_pre_check(parse_unwrap_tx_body_into_nssa_tx(tx));
 
         assert!(result.is_ok());
     }
 
-    #[test]
+    #[tokio::test]
-    fn test_transaction_pre_check_native_transfer_other_signature() {
+    async fn test_transaction_pre_check_native_transfer_other_signature() {
-        let config = setup_sequencer_config();
+        let (mut sequencer, _mempool_handle) = common_setup().await;
-        let mut sequencer = SequencerCore::start_from_config(config);
-
-        common_setup(&mut sequencer);
 
         let acc1 = sequencer.sequencer_config.initial_accounts[0]
-            .addr
+            .account_id
             .clone()
             .from_base58()
             .unwrap()
             .try_into()
             .unwrap();
         let acc2 = sequencer.sequencer_config.initial_accounts[1]
-            .addr
+            .account_id
             .clone()
             .from_base58()
             .unwrap()
@@ -497,9 +487,7 @@ mod tests {
         );
 
         // Signature is valid, stateless check pass
-        let tx = sequencer
+        let tx = transaction_pre_check(parse_unwrap_tx_body_into_nssa_tx(tx)).unwrap();
-            .transaction_pre_check(parse_unwrap_tx_body_into_nssa_tx(tx))
-            .unwrap();
 
         // Signature is not from sender. Execution fails
         let result = sequencer.execute_check_transaction_on_state(tx);
@@ -510,22 +498,19 @@ mod tests {
         ));
     }
 
-    #[test]
+    #[tokio::test]
-    fn test_transaction_pre_check_native_transfer_sent_too_much() {
+    async fn test_transaction_pre_check_native_transfer_sent_too_much() {
-        let config = setup_sequencer_config();
+        let (mut sequencer, _mempool_handle) = common_setup().await;
-        let mut sequencer = SequencerCore::start_from_config(config);
-
-        common_setup(&mut sequencer);
 
         let acc1 = sequencer.sequencer_config.initial_accounts[0]
-            .addr
+            .account_id
             .clone()
             .from_base58()
             .unwrap()
             .try_into()
             .unwrap();
         let acc2 = sequencer.sequencer_config.initial_accounts[1]
-            .addr
+            .account_id
             .clone()
             .from_base58()
             .unwrap()
@@ -538,9 +523,9 @@ mod tests {
             acc1, 0, acc2, 10000000, sign_key1,
         );
 
-        let result = sequencer.transaction_pre_check(parse_unwrap_tx_body_into_nssa_tx(tx));
+        let result = transaction_pre_check(parse_unwrap_tx_body_into_nssa_tx(tx));
 
-        //Passed pre-check
+        // Passed pre-check
         assert!(result.is_ok());
 
         let result = sequencer.execute_check_transaction_on_state(result.unwrap());
@@ -552,22 +537,19 @@ mod tests {
         assert!(is_failed_at_balance_mismatch);
     }
 
-    #[test]
+    #[tokio::test]
-    fn test_transaction_execute_native_transfer() {
+    async fn test_transaction_execute_native_transfer() {
-        let config = setup_sequencer_config();
+        let (mut sequencer, _mempool_handle) = common_setup().await;
-        let mut sequencer = SequencerCore::start_from_config(config);
-
-        common_setup(&mut sequencer);
 
         let acc1 = sequencer.sequencer_config.initial_accounts[0]
-            .addr
+            .account_id
             .clone()
             .from_base58()
             .unwrap()
             .try_into()
             .unwrap();
         let acc2 = sequencer.sequencer_config.initial_accounts[1]
-            .addr
+            .account_id
             .clone()
             .from_base58()
             .unwrap()
@@ -586,84 +568,70 @@ mod tests {
 
         let bal_from = sequencer
             .state
-            .get_account_by_address(&nssa::Address::new(acc1))
+            .get_account_by_id(&nssa::AccountId::new(acc1))
             .balance;
         let bal_to = sequencer
             .state
-            .get_account_by_address(&nssa::Address::new(acc2))
+            .get_account_by_id(&nssa::AccountId::new(acc2))
             .balance;
 
         assert_eq!(bal_from, 9900);
         assert_eq!(bal_to, 20100);
     }
 
-    #[test]
+    #[tokio::test]
-    fn test_push_tx_into_mempool_fails_mempool_full() {
+    async fn test_push_tx_into_mempool_blocks_until_mempool_is_full() {
         let config = SequencerConfig {
             mempool_max_size: 1,
             ..setup_sequencer_config()
         };
-        let mut sequencer = SequencerCore::start_from_config(config);
+        let (mut sequencer, mempool_handle) = common_setup_with_config(config).await;
-
-        common_setup(&mut sequencer);
 
         let tx = common::test_utils::produce_dummy_empty_transaction();
 
         // Fill the mempool
-        sequencer.mempool.push_item(tx.clone());
+        mempool_handle.push(tx.clone()).await.unwrap();
 
-        let result = sequencer.push_tx_into_mempool_pre_check(tx);
+        // Check that pushing another transaction will block
+        let mut push_fut = pin!(mempool_handle.push(tx.clone()));
+        let poll = futures::poll!(push_fut.as_mut());
+        assert!(poll.is_pending());
 
-        assert!(matches!(
+        // Empty the mempool by producing a block
-            result,
+        sequencer
-            Err(TransactionMalformationError::MempoolFullForRound)
+            .produce_new_block_with_mempool_transactions()
-        ));
+            .unwrap();
+
+        // Resolve the pending push
+        assert!(push_fut.await.is_ok());
     }
 
-    #[test]
+    #[tokio::test]
-    fn test_push_tx_into_mempool_pre_check() {
+    async fn test_produce_new_block_with_mempool_transactions() {
-        let config = setup_sequencer_config();
+        let (mut sequencer, mempool_handle) = common_setup().await;
-        let mut sequencer = SequencerCore::start_from_config(config);
-
-        common_setup(&mut sequencer);
-
-        let tx = common::test_utils::produce_dummy_empty_transaction();
-
-        let result = sequencer.push_tx_into_mempool_pre_check(tx);
-        assert!(result.is_ok());
-        assert_eq!(sequencer.mempool.len(), 1);
-    }
-
-    #[test]
-    fn test_produce_new_block_with_mempool_transactions() {
-        let config = setup_sequencer_config();
-        let mut sequencer = SequencerCore::start_from_config(config);
         let genesis_height = sequencer.chain_height;
 
         let tx = common::test_utils::produce_dummy_empty_transaction();
-        sequencer.mempool.push_item(tx);
+        mempool_handle.push(tx).await.unwrap();
 
         let block_id = sequencer.produce_new_block_with_mempool_transactions();
         assert!(block_id.is_ok());
         assert_eq!(block_id.unwrap(), genesis_height + 1);
     }
 
-    #[test]
+    #[tokio::test]
-    fn test_replay_transactions_are_rejected_in_the_same_block() {
+    async fn test_replay_transactions_are_rejected_in_the_same_block() {
-        let config = setup_sequencer_config();
+        let (mut sequencer, mempool_handle) = common_setup().await;
-        let mut sequencer = SequencerCore::start_from_config(config);
-
-        common_setup(&mut sequencer);
 
         let acc1 = sequencer.sequencer_config.initial_accounts[0]
-            .addr
+            .account_id
             .clone()
             .from_base58()
             .unwrap()
             .try_into()
             .unwrap();
         let acc2 = sequencer.sequencer_config.initial_accounts[1]
-            .addr
+            .account_id
             .clone()
             .from_base58()
             .unwrap()
@@ -679,8 +647,8 @@ mod tests {
         let tx_original = tx.clone();
         let tx_replay = tx.clone();
         // Pushing two copies of the same tx to the mempool
-        sequencer.mempool.push_item(tx_original);
+        mempool_handle.push(tx_original).await.unwrap();
-        sequencer.mempool.push_item(tx_replay);
+        mempool_handle.push(tx_replay).await.unwrap();
 
         // Create block
         let current_height = sequencer
@@ -695,22 +663,19 @@ mod tests {
         assert_eq!(block.body.transactions, vec![tx.clone()]);
     }
 
-    #[test]
+    #[tokio::test]
-    fn test_replay_transactions_are_rejected_in_different_blocks() {
+    async fn test_replay_transactions_are_rejected_in_different_blocks() {
-        let config = setup_sequencer_config();
+        let (mut sequencer, mempool_handle) = common_setup().await;
-        let mut sequencer = SequencerCore::start_from_config(config);
-
-        common_setup(&mut sequencer);
 
         let acc1 = sequencer.sequencer_config.initial_accounts[0]
-            .addr
+            .account_id
             .clone()
             .from_base58()
             .unwrap()
             .try_into()
             .unwrap();
         let acc2 = sequencer.sequencer_config.initial_accounts[1]
-            .addr
+            .account_id
             .clone()
             .from_base58()
             .unwrap()
@@ -724,7 +689,7 @@ mod tests {
         );
 
         // The transaction should be included the first time
-        sequencer.mempool.push_item(tx.clone());
+        mempool_handle.push(tx.clone()).await.unwrap();
         let current_height = sequencer
             .produce_new_block_with_mempool_transactions()
             .unwrap();
@@ -735,7 +700,7 @@ mod tests {
         assert_eq!(block.body.transactions, vec![tx.clone()]);
 
         // Add same transaction should fail
-        sequencer.mempool.push_item(tx);
+        mempool_handle.push(tx.clone()).await.unwrap();
         let current_height = sequencer
             .produce_new_block_with_mempool_transactions()
             .unwrap();
@@ -746,29 +711,31 @@ mod tests {
         assert!(block.body.transactions.is_empty());
     }
 
-    #[test]
+    #[tokio::test]
-    fn test_restart_from_storage() {
+    async fn test_restart_from_storage() {
         let config = setup_sequencer_config();
-        let acc1_addr: nssa::Address = config.initial_accounts[0].addr.parse().unwrap();
+        let acc1_account_id: nssa::AccountId =
-        let acc2_addr: nssa::Address = config.initial_accounts[1].addr.parse().unwrap();
+            config.initial_accounts[0].account_id.parse().unwrap();
+        let acc2_account_id: nssa::AccountId =
+            config.initial_accounts[1].account_id.parse().unwrap();
         let balance_to_move = 13;
 
         // In the following code block a transaction will be processed that moves `balance_to_move`
         // from `acc_1` to `acc_2`. The block created with that transaction will be kept stored in
         // the temporary directory for the block storage of this test.
         {
-            let mut sequencer = SequencerCore::start_from_config(config.clone());
+            let (mut sequencer, mempool_handle) = SequencerCore::start_from_config(config.clone());
             let signing_key = PrivateKey::try_new([1; 32]).unwrap();
 
             let tx = common::test_utils::create_transaction_native_token_transfer(
-                *acc1_addr.value(),
+                *acc1_account_id.value(),
                 0,
-                *acc2_addr.value(),
+                *acc2_account_id.value(),
                 balance_to_move,
                 signing_key,
             );
 
-            sequencer.mempool.push_item(tx.clone());
+            mempool_handle.push(tx.clone()).await.unwrap();
             let current_height = sequencer
                 .produce_new_block_with_mempool_transactions()
                 .unwrap();
@@ -781,9 +748,9 @@ mod tests {
 
         // Instantiating a new sequencer from the same config. This should load the existing block
         // with the above transaction and update the state to reflect that.
-        let sequencer = SequencerCore::start_from_config(config.clone());
+        let (sequencer, _mempool_handle) = SequencerCore::start_from_config(config.clone());
-        let balance_acc_1 = sequencer.state.get_account_by_address(&acc1_addr).balance;
+        let balance_acc_1 = sequencer.state.get_account_by_id(&acc1_account_id).balance;
-        let balance_acc_2 = sequencer.state.get_account_by_address(&acc2_addr).balance;
+        let balance_acc_2 = sequencer.state.get_account_by_id(&acc2_account_id).balance;
 
         // Balances should be consistent with the stored block
         assert_eq!(

sequencer_core/src/sequencer_store/mod.rs

@@ -1,74 +0,0 @@
-use std::path::Path;
-
-use block_store::SequecerBlockStore;
-use common::block::HashableBlockData;
-use nssa::{self, Address};
-use rand::{RngCore, rngs::OsRng};
-
-use crate::config::AccountInitialData;
-
-pub mod block_store;
-
-pub struct SequecerChainStore {
-    pub state: nssa::V02State,
-    pub block_store: SequecerBlockStore,
-}
-
-impl SequecerChainStore {
-    pub fn new_with_genesis(
-        home_dir: &Path,
-        genesis_id: u64,
-        is_genesis_random: bool,
-        initial_accounts: &[AccountInitialData],
-        initial_commitments: &[nssa_core::Commitment],
-        signing_key: nssa::PrivateKey,
-    ) -> Self {
-        let init_accs: Vec<(Address, u128)> = initial_accounts
-            .iter()
-            .map(|acc_data| (acc_data.addr.parse().unwrap(), acc_data.balance))
-            .collect();
-
-        #[cfg(not(feature = "testnet"))]
-        let state = nssa::V02State::new_with_genesis_accounts(&init_accs, initial_commitments);
-
-        #[cfg(feature = "testnet")]
-        let state = {
-            use common::PINATA_BASE58;
-
-            let mut this =
-                nssa::V02State::new_with_genesis_accounts(&init_accs, initial_commitments);
-            this.add_pinata_program(PINATA_BASE58.parse().unwrap());
-            this
-        };
-
-        let mut data = [0; 32];
-        let mut prev_block_hash = [0; 32];
-
-        if is_genesis_random {
-            OsRng.fill_bytes(&mut data);
-            OsRng.fill_bytes(&mut prev_block_hash);
-        }
-
-        let curr_time = chrono::Utc::now().timestamp_millis() as u64;
-
-        let hashable_data = HashableBlockData {
-            block_id: genesis_id,
-            transactions: vec![],
-            prev_block_hash,
-            timestamp: curr_time,
-        };
-
-        let genesis_block = hashable_data.into_block(&signing_key);
-
-        //Sequencer should panic if unable to open db,
-        //as fixing this issue may require actions non-native to program scope
-        let block_store = SequecerBlockStore::open_db_with_genesis(
-            &home_dir.join("rocksdb"),
-            Some(genesis_block),
-            signing_key,
-        )
-        .unwrap();
-
-        Self { state, block_store }
-    }
-}

sequencer_rpc/Cargo.toml

@@ -19,6 +19,8 @@ actix-web.workspace = true
 tokio.workspace = true
 borsh.workspace = true
 
+# TODO: Move to workspace
+
 [dependencies.sequencer_core]
 path = "../sequencer_core"
 
@@ -27,3 +29,6 @@ path = "../common"
 
 [dependencies.nssa]
 path = "../nssa"
+
+[dependencies.mempool]
+path = "../mempool"

sequencer_rpc/src/lib.rs

@@ -4,10 +4,11 @@ pub mod types;
 
 use std::sync::Arc;
 
-use common::rpc_primitives::{
+use common::{
-    RpcPollingConfig,
+    rpc_primitives::errors::{RpcError, RpcErrorKind},
-    errors::{RpcError, RpcErrorKind},
+    transaction::EncodedTransaction,
 };
+use mempool::MemPoolHandle;
 use sequencer_core::SequencerCore;
 use serde::Serialize;
 use serde_json::Value;
@@ -19,8 +20,8 @@ use self::types::err_rpc::RpcErr;
 
 //ToDo: Add necessary fields
 pub struct JsonHandler {
-    pub polling_config: RpcPollingConfig,
+    sequencer_state: Arc<Mutex<SequencerCore>>,
-    pub sequencer_state: Arc<Mutex<SequencerCore>>,
+    mempool_handle: MemPoolHandle<EncodedTransaction>,
 }
 
 fn respond<T: Serialize>(val: T) -> Result<Value, RpcErr> {

sequencer_rpc/src/net_utils.rs

@@ -3,12 +3,14 @@ use std::sync::Arc;
 
 use actix_cors::Cors;
 use actix_web::{App, Error as HttpError, HttpResponse, HttpServer, http, middleware, web};
+use common::transaction::EncodedTransaction;
 use futures::Future;
 use futures::FutureExt;
 use log::info;
 
 use common::rpc_primitives::RpcConfig;
 use common::rpc_primitives::message::Message;
+use mempool::MemPoolHandle;
 use sequencer_core::SequencerCore;
 use tokio::sync::Mutex;
 
@@ -46,17 +48,17 @@ fn get_cors(cors_allowed_origins: &[String]) -> Cors {
 pub fn new_http_server(
     config: RpcConfig,
     seuquencer_core: Arc<Mutex<SequencerCore>>,
+    mempool_handle: MemPoolHandle<EncodedTransaction>,
 ) -> io::Result<actix_web::dev::Server> {
     let RpcConfig {
         addr,
         cors_allowed_origins,
-        polling_config,
         limits_config,
     } = config;
     info!(target:NETWORK, "Starting http server at {addr}");
     let handler = web::Data::new(JsonHandler {
-        polling_config,
         sequencer_state: seuquencer_core.clone(),
+        mempool_handle,
     });
 
     // HTTP server

sequencer_rpc/src/process.rs

@@ -3,8 +3,9 @@ use std::collections::HashMap;
 use actix_web::Error as HttpError;
 use base58::FromBase58;
 use base64::{Engine, engine::general_purpose};
+use log::warn;
 use nssa::{self, program::Program};
-use sequencer_core::config::AccountInitialData;
+use sequencer_core::{TransactionMalformationError, config::AccountInitialData};
 use serde_json::Value;
 
 use common::{
@@ -22,7 +23,7 @@ use common::{
             GetTransactionByHashRequest, GetTransactionByHashResponse,
         },
     },
-    transaction::EncodedTransaction,
+    transaction::{EncodedTransaction, NSSATransaction},
 };
 
 use common::rpc_primitives::requests::{
@@ -67,16 +68,16 @@ impl JsonHandler {
         }
     }
 
+    /// Example of request processing
     #[allow(clippy::unused_async)]
-    ///Example of request processing
     async fn process_temp_hello(&self, request: Request) -> Result<Value, RpcErr> {
         let _hello_request = HelloRequest::parse(Some(request.params))?;
 
-        let helperstruct = HelloResponse {
+        let response = HelloResponse {
             greeting: HELLO_FROM_SEQUENCER.to_string(),
         };
 
-        respond(helperstruct)
+        respond(response)
     }
 
     async fn process_send_tx(&self, request: Request) -> Result<Value, RpcErr> {
@@ -84,18 +85,24 @@ impl JsonHandler {
         let tx = borsh::from_slice::<EncodedTransaction>(&send_tx_req.transaction).unwrap();
         let tx_hash = hex::encode(tx.hash());
 
-        {
+        let transaction = NSSATransaction::try_from(&tx)
-            let mut state = self.sequencer_state.lock().await;
+            .map_err(|_| TransactionMalformationError::FailedToDecode { tx: tx.hash() })?;
 
-            state.push_tx_into_mempool_pre_check(tx)?;
+        let authenticated_tx = sequencer_core::transaction_pre_check(transaction)
-        }
+            .inspect_err(|err| warn!("Error at pre_check {err:#?}"))?;
 
-        let helperstruct = SendTxResponse {
+        // TODO: Do we need a timeout here? It will be usable if we have too many transactions to process
+        self.mempool_handle
+            .push(authenticated_tx.into())
+            .await
+            .expect("Mempool is closed, this is a bug");
+
+        let response = SendTxResponse {
             status: TRANSACTION_SUBMITTED.to_string(),
             tx_hash,
         };
 
-        respond(helperstruct)
+        respond(response)
     }
 
     async fn process_get_block_data(&self, request: Request) -> Result<Value, RpcErr> {
@@ -104,14 +111,16 @@ impl JsonHandler {
         let block = {
             let state = self.sequencer_state.lock().await;
 
-            state.block_store.get_block_at_id(get_block_req.block_id)?
+            state
+                .block_store()
+                .get_block_at_id(get_block_req.block_id)?
         };
 
-        let helperstruct = GetBlockDataResponse {
+        let response = GetBlockDataResponse {
             block: borsh::to_vec(&HashableBlockData::from(block)).unwrap(),
         };
 
-        respond(helperstruct)
+        respond(response)
     }
 
     async fn process_get_genesis(&self, request: Request) -> Result<Value, RpcErr> {
@@ -120,12 +129,12 @@ impl JsonHandler {
         let genesis_id = {
             let state = self.sequencer_state.lock().await;
 
-            state.block_store.genesis_id
+            state.block_store().genesis_id()
         };
 
-        let helperstruct = GetGenesisIdResponse { genesis_id };
+        let response = GetGenesisIdResponse { genesis_id };
 
-        respond(helperstruct)
+        respond(response)
     }
 
     async fn process_get_last_block(&self, request: Request) -> Result<Value, RpcErr> {
@@ -134,12 +143,12 @@ impl JsonHandler {
         let last_block = {
             let state = self.sequencer_state.lock().await;
 
-            state.chain_height
+            state.chain_height()
         };
 
-        let helperstruct = GetLastBlockResponse { last_block };
+        let response = GetLastBlockResponse { last_block };
 
-        respond(helperstruct)
+        respond(response)
     }
 
     /// Returns the initial accounts for testnet
@@ -151,83 +160,83 @@ impl JsonHandler {
         let initial_accounts: Vec<AccountInitialData> = {
             let state = self.sequencer_state.lock().await;
 
-            state.sequencer_config.initial_accounts.clone()
+            state.sequencer_config().initial_accounts.clone()
         };
 
         respond(initial_accounts)
     }
 
-    /// Returns the balance of the account at the given address.
+    /// Returns the balance of the account at the given account_id.
-    /// The address must be a valid hex string of the correct length.
+    /// The account_id must be a valid hex string of the correct length.
     async fn process_get_account_balance(&self, request: Request) -> Result<Value, RpcErr> {
         let get_account_req = GetAccountBalanceRequest::parse(Some(request.params))?;
-        let address_bytes = get_account_req
+        let account_id_bytes = get_account_req
-            .address
+            .account_id
             .from_base58()
             .map_err(|_| RpcError::invalid_params("invalid base58".to_string()))?;
-        let address = nssa::Address::new(
+        let account_id = nssa::AccountId::new(
-            address_bytes
+            account_id_bytes
                 .try_into()
                 .map_err(|_| RpcError::invalid_params("invalid length".to_string()))?,
         );
 
         let balance = {
             let state = self.sequencer_state.lock().await;
-            let account = state.state.get_account_by_address(&address);
+            let account = state.state().get_account_by_id(&account_id);
             account.balance
         };
 
-        let helperstruct = GetAccountBalanceResponse { balance };
+        let response = GetAccountBalanceResponse { balance };
 
-        respond(helperstruct)
+        respond(response)
     }
 
-    /// Returns the nonces of the accounts at the given addresses.
+    /// Returns the nonces of the accounts at the given account_ids.
-    /// Each address must be a valid hex string of the correct length.
+    /// Each account_id must be a valid hex string of the correct length.
     async fn process_get_accounts_nonces(&self, request: Request) -> Result<Value, RpcErr> {
         let get_account_nonces_req = GetAccountsNoncesRequest::parse(Some(request.params))?;
-        let mut addresses = vec![];
+        let mut account_ids = vec![];
-        for address_raw in get_account_nonces_req.addresses {
+        for account_id_raw in get_account_nonces_req.account_ids {
-            let address = address_raw
+            let account_id = account_id_raw
-                .parse::<nssa::Address>()
+                .parse::<nssa::AccountId>()
                 .map_err(|e| RpcError::invalid_params(e.to_string()))?;
 
-            addresses.push(address);
+            account_ids.push(account_id);
         }
 
         let nonces = {
             let state = self.sequencer_state.lock().await;
 
-            addresses
+            account_ids
                 .into_iter()
-                .map(|addr| state.state.get_account_by_address(&addr).nonce)
+                .map(|account_id| state.state().get_account_by_id(&account_id).nonce)
                 .collect()
         };
 
-        let helperstruct = GetAccountsNoncesResponse { nonces };
+        let response = GetAccountsNoncesResponse { nonces };
 
-        respond(helperstruct)
+        respond(response)
     }
 
-    /// Returns account struct for given address.
+    /// Returns account struct for given account_id.
-    /// Address must be a valid hex string of the correct length.
+    /// AccountId must be a valid hex string of the correct length.
     async fn process_get_account(&self, request: Request) -> Result<Value, RpcErr> {
         let get_account_nonces_req = GetAccountRequest::parse(Some(request.params))?;
 
-        let address = get_account_nonces_req
+        let account_id = get_account_nonces_req
-            .address
+            .account_id
-            .parse::<nssa::Address>()
+            .parse::<nssa::AccountId>()
             .map_err(|e| RpcError::invalid_params(e.to_string()))?;
 
         let account = {
             let state = self.sequencer_state.lock().await;
 
-            state.state.get_account_by_address(&address)
+            state.state().get_account_by_id(&account_id)
         };
 
-        let helperstruct = GetAccountResponse { account };
+        let response = GetAccountResponse { account };
 
-        respond(helperstruct)
+        respond(response)
     }
 
     /// Returns the transaction corresponding to the given hash, if it exists in the blockchain.
@@ -243,15 +252,15 @@ impl JsonHandler {
         let transaction = {
             let state = self.sequencer_state.lock().await;
             state
-                .block_store
+                .block_store()
                 .get_transaction_by_hash(hash)
                 .map(|tx| borsh::to_vec(&tx).unwrap())
         };
         let base64_encoded = transaction.map(|tx| general_purpose::STANDARD.encode(tx));
-        let helperstruct = GetTransactionByHashResponse {
+        let response = GetTransactionByHashResponse {
             transaction: base64_encoded,
         };
-        respond(helperstruct)
+        respond(response)
     }
 
     /// Returns the commitment proof, corresponding to commitment
@@ -261,11 +270,11 @@ impl JsonHandler {
         let membership_proof = {
             let state = self.sequencer_state.lock().await;
             state
-                .state
+                .state()
                 .get_proof_for_commitment(&get_proof_req.commitment)
         };
-        let helperstruct = GetProofForCommitmentResponse { membership_proof };
+        let response = GetProofForCommitmentResponse { membership_proof };
-        respond(helperstruct)
+        respond(response)
     }
 
     async fn process_get_program_ids(&self, request: Request) -> Result<Value, RpcErr> {
@@ -282,8 +291,8 @@ impl JsonHandler {
             "privacy_preserving_circuit".to_string(),
             nssa::PRIVACY_PRESERVING_CIRCUIT_ID,
         );
-        let helperstruct = GetProgramIdsResponse { program_ids };
+        let response = GetProgramIdsResponse { program_ids };
-        respond(helperstruct)
+        respond(response)
     }
 
     pub async fn process_request_internal(&self, request: Request) -> Result<Value, RpcErr> {
@@ -312,10 +321,7 @@ mod tests {
     use crate::{JsonHandler, rpc_handler};
     use base58::ToBase58;
     use base64::{Engine, engine::general_purpose};
-    use common::{
+    use common::{test_utils::sequencer_sign_key_for_testing, transaction::EncodedTransaction};
-        rpc_primitives::RpcPollingConfig, test_utils::sequencer_sign_key_for_testing,
-        transaction::EncodedTransaction,
-    };
 
     use sequencer_core::{
         SequencerCore,
@@ -328,23 +334,23 @@ mod tests {
     fn sequencer_config_for_tests() -> SequencerConfig {
         let tempdir = tempdir().unwrap();
         let home = tempdir.path().to_path_buf();
-        let acc1_addr: Vec<u8> = vec![
+        let acc1_id: Vec<u8> = vec![
             208, 122, 210, 232, 75, 39, 250, 0, 194, 98, 240, 161, 238, 160, 255, 53, 202, 9, 115,
             84, 126, 106, 16, 111, 114, 241, 147, 194, 220, 131, 139, 68,
         ];
 
-        let acc2_addr: Vec<u8> = vec![
+        let acc2_id: Vec<u8> = vec![
             231, 174, 119, 197, 239, 26, 5, 153, 147, 68, 175, 73, 159, 199, 138, 23, 5, 57, 141,
             98, 237, 6, 207, 46, 20, 121, 246, 222, 248, 154, 57, 188,
         ];
 
         let initial_acc1 = AccountInitialData {
-            addr: acc1_addr.to_base58(),
+            account_id: acc1_id.to_base58(),
             balance: 10000,
         };
 
         let initial_acc2 = AccountInitialData {
-            addr: acc2_addr.to_base58(),
+            account_id: acc2_id.to_base58(),
             balance: 20000,
         };
 
@@ -365,10 +371,10 @@ mod tests {
         }
     }
 
-    fn components_for_tests() -> (JsonHandler, Vec<AccountInitialData>, EncodedTransaction) {
+    async fn components_for_tests() -> (JsonHandler, Vec<AccountInitialData>, EncodedTransaction) {
         let config = sequencer_config_for_tests();
-        let mut sequencer_core = SequencerCore::start_from_config(config);
+        let (mut sequencer_core, mempool_handle) = SequencerCore::start_from_config(config);
-        let initial_accounts = sequencer_core.sequencer_config.initial_accounts.clone();
+        let initial_accounts = sequencer_core.sequencer_config().initial_accounts.clone();
 
         let signing_key = nssa::PrivateKey::try_new([1; 32]).unwrap();
         let balance_to_move = 10;
@@ -383,9 +389,10 @@ mod tests {
             signing_key,
         );
 
-        sequencer_core
+        mempool_handle
-            .push_tx_into_mempool_pre_check(tx.clone())
+            .push(tx.clone())
-            .unwrap();
+            .await
+            .expect("Mempool is closed, this is a bug");
 
         sequencer_core
             .produce_new_block_with_mempool_transactions()
@@ -395,8 +402,8 @@ mod tests {
 
         (
             JsonHandler {
-                polling_config: RpcPollingConfig::default(),
                 sequencer_state: sequencer_core,
+                mempool_handle,
             },
             initial_accounts,
             tx,
@@ -426,11 +433,11 @@ mod tests {
 
     #[actix_web::test]
     async fn test_get_account_balance_for_non_existent_account() {
-        let (json_handler, _, _) = components_for_tests();
+        let (json_handler, _, _) = components_for_tests().await;
         let request = serde_json::json!({
             "jsonrpc": "2.0",
             "method": "get_account_balance",
-            "params": { "address": "11".repeat(16) },
+            "params": { "account_id": "11".repeat(16) },
             "id": 1
         });
         let expected_response = serde_json::json!({
@@ -448,11 +455,11 @@ mod tests {
 
     #[actix_web::test]
     async fn test_get_account_balance_for_invalid_base58() {
-        let (json_handler, _, _) = components_for_tests();
+        let (json_handler, _, _) = components_for_tests().await;
         let request = serde_json::json!({
             "jsonrpc": "2.0",
             "method": "get_account_balance",
-            "params": { "address": "not_a_valid_base58" },
+            "params": { "account_id": "not_a_valid_base58" },
             "id": 1
         });
         let expected_response = serde_json::json!({
@@ -471,11 +478,11 @@ mod tests {
 
     #[actix_web::test]
     async fn test_get_account_balance_for_invalid_length() {
-        let (json_handler, _, _) = components_for_tests();
+        let (json_handler, _, _) = components_for_tests().await;
         let request = serde_json::json!({
             "jsonrpc": "2.0",
             "method": "get_account_balance",
-            "params": { "address": "cafecafe" },
+            "params": { "account_id": "cafecafe" },
             "id": 1
         });
         let expected_response = serde_json::json!({
@@ -494,14 +501,14 @@ mod tests {
 
     #[actix_web::test]
     async fn test_get_account_balance_for_existing_account() {
-        let (json_handler, initial_accounts, _) = components_for_tests();
+        let (json_handler, initial_accounts, _) = components_for_tests().await;
 
-        let acc1_addr = initial_accounts[0].addr.clone();
+        let acc1_id = initial_accounts[0].account_id.clone();
 
         let request = serde_json::json!({
             "jsonrpc": "2.0",
             "method": "get_account_balance",
-            "params": { "address": acc1_addr },
+            "params": { "account_id": acc1_id },
             "id": 1
         });
         let expected_response = serde_json::json!({
@@ -519,11 +526,11 @@ mod tests {
 
     #[actix_web::test]
     async fn test_get_accounts_nonces_for_non_existent_account() {
-        let (json_handler, _, _) = components_for_tests();
+        let (json_handler, _, _) = components_for_tests().await;
         let request = serde_json::json!({
             "jsonrpc": "2.0",
             "method": "get_accounts_nonces",
-            "params": { "addresses": ["11".repeat(16)] },
+            "params": { "account_ids": ["11".repeat(16)] },
             "id": 1
         });
         let expected_response = serde_json::json!({
@@ -541,15 +548,15 @@ mod tests {
 
     #[actix_web::test]
     async fn test_get_accounts_nonces_for_existent_account() {
-        let (json_handler, initial_accounts, _) = components_for_tests();
+        let (json_handler, initial_accounts, _) = components_for_tests().await;
 
-        let acc_1_addr = initial_accounts[0].addr.clone();
+        let acc1_id = initial_accounts[0].account_id.clone();
-        let acc_2_addr = initial_accounts[1].addr.clone();
+        let acc2_id = initial_accounts[1].account_id.clone();
 
         let request = serde_json::json!({
             "jsonrpc": "2.0",
             "method": "get_accounts_nonces",
-            "params": { "addresses": [acc_1_addr, acc_2_addr] },
+            "params": { "account_ids": [acc1_id, acc2_id] },
             "id": 1
         });
         let expected_response = serde_json::json!({
@@ -567,11 +574,11 @@ mod tests {
 
     #[actix_web::test]
     async fn test_get_account_data_for_non_existent_account() {
-        let (json_handler, _, _) = components_for_tests();
+        let (json_handler, _, _) = components_for_tests().await;
         let request = serde_json::json!({
             "jsonrpc": "2.0",
             "method": "get_account",
-            "params": { "address": "11".repeat(16) },
+            "params": { "account_id": "11".repeat(16) },
             "id": 1
         });
         let expected_response = serde_json::json!({
@@ -594,7 +601,7 @@ mod tests {
 
     #[actix_web::test]
     async fn test_get_transaction_by_hash_for_non_existent_hash() {
-        let (json_handler, _, _) = components_for_tests();
+        let (json_handler, _, _) = components_for_tests().await;
         let request = serde_json::json!({
             "jsonrpc": "2.0",
             "method": "get_transaction_by_hash",
@@ -616,7 +623,7 @@ mod tests {
 
     #[actix_web::test]
     async fn test_get_transaction_by_hash_for_invalid_hex() {
-        let (json_handler, _, _) = components_for_tests();
+        let (json_handler, _, _) = components_for_tests().await;
         let request = serde_json::json!({
             "jsonrpc": "2.0",
             "method": "get_transaction_by_hash",
@@ -640,7 +647,7 @@ mod tests {
 
     #[actix_web::test]
     async fn test_get_transaction_by_hash_for_invalid_length() {
-        let (json_handler, _, _) = components_for_tests();
+        let (json_handler, _, _) = components_for_tests().await;
         let request = serde_json::json!({
             "jsonrpc": "2.0",
             "method": "get_transaction_by_hash",
@@ -664,7 +671,7 @@ mod tests {
 
     #[actix_web::test]
     async fn test_get_transaction_by_hash_for_existing_transaction() {
-        let (json_handler, _, tx) = components_for_tests();
+        let (json_handler, _, tx) = components_for_tests().await;
         let tx_hash_hex = hex::encode(tx.hash());
         let expected_base64_encoded = general_purpose::STANDARD.encode(borsh::to_vec(&tx).unwrap());
 

sequencer_runner/configs/debug/sequencer_config.json

@@ -9,11 +9,11 @@
     "port": 3040,
     "initial_accounts": [
         {
-            "addr": "BLgCRDXYdQPMMWVHYRFGQZbgeHx9frkipa8GtpG2Syqy",
+            "account_id": "BLgCRDXYdQPMMWVHYRFGQZbgeHx9frkipa8GtpG2Syqy",
             "balance": 10000
         },
         {
-            "addr": "Gj1mJy5W7J5pfmLRujmQaLfLMWidNxQ6uwnhb666ZwHw",
+            "account_id": "Gj1mJy5W7J5pfmLRujmQaLfLMWidNxQ6uwnhb666ZwHw",
             "balance": 20000
         }
     ],

sequencer_runner/src/lib.rs

@@ -26,13 +26,17 @@ pub async fn startup_sequencer(
     let block_timeout = app_config.block_create_timeout_millis;
     let port = app_config.port;
 
-    let sequencer_core = SequencerCore::start_from_config(app_config);
+    let (sequencer_core, mempool_handle) = SequencerCore::start_from_config(app_config);
 
     info!("Sequencer core set up");
 
     let seq_core_wrapped = Arc::new(Mutex::new(sequencer_core));
 
-    let http_server = new_http_server(RpcConfig::with_port(port), seq_core_wrapped.clone())?;
+    let http_server = new_http_server(
+        RpcConfig::with_port(port),
+        Arc::clone(&seq_core_wrapped),
+        mempool_handle,
+    )?;
     info!("HTTP server started");
     let http_server_handle = http_server.handle();
     tokio::spawn(http_server);

sequencer_runner/src/main.rs

@@ -4,6 +4,7 @@ use sequencer_runner::main_runner;
 
 pub const NUM_THREADS: usize = 4;
 
+// TODO: Why it requires config as a directory and not as a file?
 fn main() -> Result<()> {
     actix::System::with_tokio_rt(|| {
         tokio::runtime::Builder::new_multi_thread()

wallet/src/chain_storage/mod.rs

@@ -19,7 +19,7 @@ impl WalletChainStore {
         for init_acc_data in config.initial_accounts.clone() {
             match init_acc_data {
                 InitialAccountData::Public(data) => {
-                    public_init_acc_map.insert(data.address.parse()?, data.pub_sign_key);
+                    public_init_acc_map.insert(data.account_id.parse()?, data.pub_sign_key);
                 }
                 InitialAccountData::Private(data) => {
                     let mut account = data.account;
@@ -27,7 +27,8 @@ impl WalletChainStore {
                     // the config. Therefore we overwrite it here on startup. Fix this when program
                     // id can be fetched from the node and queried from the wallet.
                     account.program_owner = Program::authenticated_transfer_program().id();
-                    private_init_acc_map.insert(data.address.parse()?, (data.key_chain, account));
+                    private_init_acc_map
+                        .insert(data.account_id.parse()?, (data.key_chain, account));
                 }
             }
         }
@@ -40,13 +41,16 @@ impl WalletChainStore {
 
     pub fn insert_private_account_data(
         &mut self,
-        addr: nssa::Address,
+        account_id: nssa::AccountId,
         account: nssa_core::account::Account,
     ) {
-        println!("inserting at addres {}, this account {:?}", addr, account);
+        println!(
+            "inserting at addres {}, this account {:?}",
+            account_id, account
+        );
         self.user_data
             .user_private_accounts
-            .entry(addr)
+            .entry(account_id)
             .and_modify(|(_, acc)| *acc = account);
     }
 
@@ -55,12 +59,12 @@ impl WalletChainStore {
             PersistentAccountData::Public(acc_data) => {
                 self.user_data
                     .pub_account_signing_keys
-                    .insert(acc_data.address, acc_data.pub_sign_key);
+                    .insert(acc_data.account_id, acc_data.pub_sign_key);
             }
             PersistentAccountData::Private(acc_data) => {
                 self.user_data
                     .user_private_accounts
-                    .insert(acc_data.address, (acc_data.key_chain, acc_data.account));
+                    .insert(acc_data.account_id, (acc_data.key_chain, acc_data.account));
             }
         }
     }
@@ -76,7 +80,7 @@ mod tests {
         let initial_acc1 = serde_json::from_str(
             r#"{
             "Public": {
-                "address": "BLgCRDXYdQPMMWVHYRFGQZbgeHx9frkipa8GtpG2Syqy",
+                "account_id": "BLgCRDXYdQPMMWVHYRFGQZbgeHx9frkipa8GtpG2Syqy",
                 "pub_sign_key": [
                     16,
                     162,
@@ -119,7 +123,7 @@ mod tests {
         let initial_acc2 = serde_json::from_str(
             r#"{
             "Public": {
-                "address": "Gj1mJy5W7J5pfmLRujmQaLfLMWidNxQ6uwnhb666ZwHw",
+                "account_id": "Gj1mJy5W7J5pfmLRujmQaLfLMWidNxQ6uwnhb666ZwHw",
                 "pub_sign_key": [
                     113,
                     121,

wallet/src/cli/account.rs

@@ -1,13 +1,13 @@
 use anyhow::Result;
 use base58::ToBase58;
 use clap::Subcommand;
-use nssa::{Account, Address, program::Program};
+use nssa::{Account, AccountId, program::Program};
 use serde::Serialize;
 
 use crate::{
     SubcommandReturnValue, WalletCore,
     cli::WalletSubcommand,
-    helperfunctions::{AddressPrivacyKind, HumanReadableAccount, parse_addr_with_privacy_prefix},
+    helperfunctions::{AccountPrivacyKind, HumanReadableAccount, parse_addr_with_privacy_prefix},
     parse_block_range,
 };
 
@@ -27,7 +27,7 @@ struct TokenDefinition {
 struct TokenHolding {
     #[allow(unused)]
     account_type: u8,
-    definition_id: Address,
+    definition_id: AccountId,
     balance: u128,
 }
 
@@ -55,7 +55,7 @@ impl TokenHolding {
             None
         } else {
             let account_type = data[0];
-            let definition_id = Address::new(data[1..33].try_into().unwrap());
+            let definition_id = AccountId::new(data[1..33].try_into().unwrap());
             let balance = u128::from_le_bytes(data[33..].try_into().unwrap());
             Some(Self {
                 definition_id,
@@ -76,9 +76,9 @@ pub enum AccountSubcommand {
         raw: bool,
         ///Valid 32 byte base58 string with privacy prefix
         #[arg(short, long)]
-        addr: String,
+        account_id: String,
     },
-    ///Produce new public or private account  
+    ///Produce new public or private account
     #[command(subcommand)]
     New(NewSubcommand),
     ///Sync private accounts
@@ -101,28 +101,28 @@ impl WalletSubcommand for NewSubcommand {
     ) -> Result<SubcommandReturnValue> {
         match self {
             NewSubcommand::Public {} => {
-                let addr = wallet_core.create_new_account_public();
+                let account_id = wallet_core.create_new_account_public();
 
-                println!("Generated new account with addr Public/{addr}");
+                println!("Generated new account with account_id Public/{account_id}");
 
                 let path = wallet_core.store_persistent_data().await?;
 
                 println!("Stored persistent accounts at {path:#?}");
 
-                Ok(SubcommandReturnValue::RegisterAccount { addr })
+                Ok(SubcommandReturnValue::RegisterAccount { account_id })
             }
             NewSubcommand::Private {} => {
-                let addr = wallet_core.create_new_account_private();
+                let account_id = wallet_core.create_new_account_private();
 
                 let (key, _) = wallet_core
                     .storage
                     .user_data
-                    .get_private_account(&addr)
+                    .get_private_account(&account_id)
                     .unwrap();
 
                 println!(
-                    "Generated new account with addr Private/{}",
+                    "Generated new account with account_id Private/{}",
-                    addr.to_bytes().to_base58()
+                    account_id.to_bytes().to_base58()
                 );
                 println!("With npk {}", hex::encode(key.nullifer_public_key.0));
                 println!(
@@ -134,7 +134,7 @@ impl WalletSubcommand for NewSubcommand {
 
                 println!("Stored persistent accounts at {path:#?}");
 
-                Ok(SubcommandReturnValue::RegisterAccount { addr })
+                Ok(SubcommandReturnValue::RegisterAccount { account_id })
             }
         }
     }
@@ -193,15 +193,17 @@ impl WalletSubcommand for AccountSubcommand {
         wallet_core: &mut WalletCore,
     ) -> Result<SubcommandReturnValue> {
         match self {
-            AccountSubcommand::Get { raw, addr } => {
+            AccountSubcommand::Get { raw, account_id } => {
-                let (addr, addr_kind) = parse_addr_with_privacy_prefix(&addr)?;
+                let (account_id, addr_kind) = parse_addr_with_privacy_prefix(&account_id)?;
 
-                let addr = addr.parse()?;
+                let account_id = account_id.parse()?;
 
                 let account = match addr_kind {
-                    AddressPrivacyKind::Public => wallet_core.get_account_public(addr).await?,
+                    AccountPrivacyKind::Public => {
-                    AddressPrivacyKind::Private => wallet_core
+                        wallet_core.get_account_public(account_id).await?
-                        .get_account_private(&addr)
+                    }
+                    AccountPrivacyKind::Private => wallet_core
+                        .get_account_private(&account_id)
                         .ok_or(anyhow::anyhow!("Private account not found in storage"))?,
                 };
 
@@ -243,7 +245,9 @@ impl WalletSubcommand for AccountSubcommand {
 
                             serde_json::to_string(&acc_view)?
                         } else {
-                            anyhow::bail!("Invalid data for account {addr:#?} with token program");
+                            anyhow::bail!(
+                                "Invalid data for account {account_id:#?} with token program"
+                            );
                         }
                     }
                     _ => {

wallet/src/cli/config.rs

@@ -115,7 +115,7 @@ impl WalletSubcommand for ConfigSubcommand {
                     println!("Value of variable RUST_LOG to override, affects logging");
                 }
                 "sequencer_addr" => {
-                    println!("HTTP V4 address of sequencer");
+                    println!("HTTP V4 account_id of sequencer");
                 }
                 "seq_poll_timeout_millis" => {
                     println!(

wallet/src/cli/native_token_transfer_program.rs

@@ -1,12 +1,12 @@
 use anyhow::Result;
 use clap::Subcommand;
 use common::transaction::NSSATransaction;
-use nssa::Address;
+use nssa::AccountId;
 
 use crate::{
     SubcommandReturnValue, WalletCore,
     cli::WalletSubcommand,
-    helperfunctions::{AddressPrivacyKind, parse_addr_with_privacy_prefix},
+    helperfunctions::{AccountPrivacyKind, parse_addr_with_privacy_prefix},
 };
 
 ///Represents generic CLI subcommand for a wallet working with native token transfer program
@@ -14,9 +14,9 @@ use crate::{
 pub enum AuthTransferSubcommand {
     ///Initialize account under authenticated transfer program
     Init {
-        ///addr - valid 32 byte base58 string with privacy prefix
+        ///account_id - valid 32 byte base58 string with privacy prefix
         #[arg(long)]
-        addr: String,
+        account_id: String,
     },
     ///Send native tokens from one account to another with variable privacy
     ///
@@ -48,15 +48,15 @@ impl WalletSubcommand for AuthTransferSubcommand {
         wallet_core: &mut WalletCore,
     ) -> Result<SubcommandReturnValue> {
         match self {
-            AuthTransferSubcommand::Init { addr } => {
+            AuthTransferSubcommand::Init { account_id } => {
-                let (addr, addr_privacy) = parse_addr_with_privacy_prefix(&addr)?;
+                let (account_id, addr_privacy) = parse_addr_with_privacy_prefix(&account_id)?;
 
                 match addr_privacy {
-                    AddressPrivacyKind::Public => {
+                    AccountPrivacyKind::Public => {
-                        let addr = addr.parse()?;
+                        let account_id = account_id.parse()?;
 
                         let res = wallet_core
-                            .register_account_under_authenticated_transfers_programs(addr)
+                            .register_account_under_authenticated_transfers_programs(account_id)
                             .await?;
 
                         println!("Results of tx send is {res:#?}");
@@ -70,11 +70,13 @@ impl WalletSubcommand for AuthTransferSubcommand {
 
                         println!("Stored persistent accounts at {path:#?}");
                     }
-                    AddressPrivacyKind::Private => {
+                    AccountPrivacyKind::Private => {
-                        let addr = addr.parse()?;
+                        let account_id = account_id.parse()?;
 
                         let (res, [secret]) = wallet_core
-                            .register_account_under_authenticated_transfers_programs_private(addr)
+                            .register_account_under_authenticated_transfers_programs_private(
+                                account_id,
+                            )
                             .await?;
 
                         println!("Results of tx send is {res:#?}");
@@ -85,7 +87,7 @@ impl WalletSubcommand for AuthTransferSubcommand {
                             .await?;
 
                         if let NSSATransaction::PrivacyPreserving(tx) = transfer_tx {
-                            let acc_decode_data = vec![(secret, addr)];
+                            let acc_decode_data = vec![(secret, account_id)];
 
                             wallet_core.decode_insert_privacy_preserving_transaction_results(
                                 tx,
@@ -111,12 +113,12 @@ impl WalletSubcommand for AuthTransferSubcommand {
                 let underlying_subcommand = match (to, to_npk, to_ipk) {
                     (None, None, None) => {
                         anyhow::bail!(
-                            "Provide either account address of receiver or their public keys"
+                            "Provide either account account_id of receiver or their public keys"
                         );
                     }
                     (Some(_), Some(_), Some(_)) => {
                         anyhow::bail!(
-                            "Provide only one variant: either account address of receiver or their public keys"
+                            "Provide only one variant: either account account_id of receiver or their public keys"
                         );
                     }
                     (_, Some(_), None) | (_, None, Some(_)) => {
@@ -127,10 +129,10 @@ impl WalletSubcommand for AuthTransferSubcommand {
                         let (to, to_privacy) = parse_addr_with_privacy_prefix(&to)?;
 
                         match (from_privacy, to_privacy) {
-                            (AddressPrivacyKind::Public, AddressPrivacyKind::Public) => {
+                            (AccountPrivacyKind::Public, AccountPrivacyKind::Public) => {
                                 NativeTokenTransferProgramSubcommand::Public { from, to, amount }
                             }
-                            (AddressPrivacyKind::Private, AddressPrivacyKind::Private) => {
+                            (AccountPrivacyKind::Private, AccountPrivacyKind::Private) => {
                                 NativeTokenTransferProgramSubcommand::Private(
                                     NativeTokenTransferProgramSubcommandPrivate::PrivateOwned {
                                         from,
@@ -139,14 +141,14 @@ impl WalletSubcommand for AuthTransferSubcommand {
                                     },
                                 )
                             }
-                            (AddressPrivacyKind::Private, AddressPrivacyKind::Public) => {
+                            (AccountPrivacyKind::Private, AccountPrivacyKind::Public) => {
                                 NativeTokenTransferProgramSubcommand::Deshielded {
                                     from,
                                     to,
                                     amount,
                                 }
                             }
-                            (AddressPrivacyKind::Public, AddressPrivacyKind::Private) => {
+                            (AccountPrivacyKind::Public, AccountPrivacyKind::Private) => {
                                 NativeTokenTransferProgramSubcommand::Shielded(
                                     NativeTokenTransferProgramSubcommandShielded::ShieldedOwned {
                                         from,
@@ -161,7 +163,7 @@ impl WalletSubcommand for AuthTransferSubcommand {
                         let (from, from_privacy) = parse_addr_with_privacy_prefix(&from)?;
 
                         match from_privacy {
-                            AddressPrivacyKind::Private => {
+                            AccountPrivacyKind::Private => {
                                 NativeTokenTransferProgramSubcommand::Private(
                                     NativeTokenTransferProgramSubcommandPrivate::PrivateForeign {
                                         from,
@@ -171,7 +173,7 @@ impl WalletSubcommand for AuthTransferSubcommand {
                                     },
                                 )
                             }
-                            AddressPrivacyKind::Public => {
+                            AccountPrivacyKind::Public => {
                                 NativeTokenTransferProgramSubcommand::Shielded(
                                     NativeTokenTransferProgramSubcommandShielded::ShieldedForeign {
                                         from,
@@ -309,8 +311,8 @@ impl WalletSubcommand for NativeTokenTransferProgramSubcommandPrivate {
     ) -> Result<SubcommandReturnValue> {
         match self {
             NativeTokenTransferProgramSubcommandPrivate::PrivateOwned { from, to, amount } => {
-                let from: Address = from.parse().unwrap();
+                let from: AccountId = from.parse().unwrap();
-                let to: Address = to.parse().unwrap();
+                let to: AccountId = to.parse().unwrap();
 
                 let to_initialization = wallet_core.check_private_account_initialized(&to).await?;
 
@@ -356,7 +358,7 @@ impl WalletSubcommand for NativeTokenTransferProgramSubcommandPrivate {
                 to_ipk,
                 amount,
             } => {
-                let from: Address = from.parse().unwrap();
+                let from: AccountId = from.parse().unwrap();
                 let to_npk_res = hex::decode(to_npk)?;
                 let mut to_npk = [0; 32];
                 to_npk.copy_from_slice(&to_npk_res);
@@ -405,8 +407,8 @@ impl WalletSubcommand for NativeTokenTransferProgramSubcommandShielded {
     ) -> Result<SubcommandReturnValue> {
         match self {
             NativeTokenTransferProgramSubcommandShielded::ShieldedOwned { from, to, amount } => {
-                let from: Address = from.parse().unwrap();
+                let from: AccountId = from.parse().unwrap();
-                let to: Address = to.parse().unwrap();
+                let to: AccountId = to.parse().unwrap();
 
                 let to_initialization = wallet_core.check_private_account_initialized(&to).await?;
 
@@ -450,7 +452,7 @@ impl WalletSubcommand for NativeTokenTransferProgramSubcommandShielded {
                 to_ipk,
                 amount,
             } => {
-                let from: Address = from.parse().unwrap();
+                let from: AccountId = from.parse().unwrap();
 
                 let to_npk_res = hex::decode(to_npk)?;
                 let mut to_npk = [0; 32];
@@ -494,8 +496,8 @@ impl WalletSubcommand for NativeTokenTransferProgramSubcommand {
                 shielded_subcommand.handle_subcommand(wallet_core).await
             }
             NativeTokenTransferProgramSubcommand::Deshielded { from, to, amount } => {
-                let from: Address = from.parse().unwrap();
+                let from: AccountId = from.parse().unwrap();
-                let to: Address = to.parse().unwrap();
+                let to: AccountId = to.parse().unwrap();
 
                 let (res, [secret]) = wallet_core
                     .send_deshielded_native_token_transfer(from, to, amount)
@@ -524,8 +526,8 @@ impl WalletSubcommand for NativeTokenTransferProgramSubcommand {
                 Ok(SubcommandReturnValue::PrivacyPreservingTransfer { tx_hash })
             }
             NativeTokenTransferProgramSubcommand::Public { from, to, amount } => {
-                let from: Address = from.parse().unwrap();
+                let from: AccountId = from.parse().unwrap();
-                let to: Address = to.parse().unwrap();
+                let to: AccountId = to.parse().unwrap();
 
                 let res = wallet_core
                     .send_public_native_token_transfer(from, to, amount)

wallet/src/cli/pinata_program.rs

@@ -6,7 +6,7 @@ use log::info;
 use crate::{
     SubcommandReturnValue, WalletCore,
     cli::WalletSubcommand,
-    helperfunctions::{AddressPrivacyKind, parse_addr_with_privacy_prefix},
+    helperfunctions::{AccountPrivacyKind, parse_addr_with_privacy_prefix},
 };
 
 ///Represents generic CLI subcommand for a wallet working with pinata program
@@ -14,9 +14,9 @@ use crate::{
 pub enum PinataProgramAgnosticSubcommand {
     ///Claim pinata
     Claim {
-        ///to_addr - valid 32 byte base58 string with privacy prefix
+        ///to_account_id - valid 32 byte base58 string with privacy prefix
         #[arg(long)]
-        to_addr: String,
+        to_account_id: String,
         ///solution - solution to pinata challenge
         #[arg(long)]
         solution: u128,
@@ -29,21 +29,25 @@ impl WalletSubcommand for PinataProgramAgnosticSubcommand {
         wallet_core: &mut WalletCore,
     ) -> Result<SubcommandReturnValue> {
         let underlying_subcommand = match self {
-            PinataProgramAgnosticSubcommand::Claim { to_addr, solution } => {
+            PinataProgramAgnosticSubcommand::Claim {
-                let (to_addr, to_addr_privacy) = parse_addr_with_privacy_prefix(&to_addr)?;
+                to_account_id,
+                solution,
+            } => {
+                let (to_account_id, to_addr_privacy) =
+                    parse_addr_with_privacy_prefix(&to_account_id)?;
 
                 match to_addr_privacy {
-                    AddressPrivacyKind::Public => {
+                    AccountPrivacyKind::Public => {
                         PinataProgramSubcommand::Public(PinataProgramSubcommandPublic::Claim {
-                            pinata_addr: PINATA_BASE58.to_string(),
+                            pinata_account_id: PINATA_BASE58.to_string(),
-                            winner_addr: to_addr,
+                            winner_account_id: to_account_id,
                             solution,
                         })
                     }
-                    AddressPrivacyKind::Private => PinataProgramSubcommand::Private(
+                    AccountPrivacyKind::Private => PinataProgramSubcommand::Private(
                         PinataProgramSubcommandPrivate::ClaimPrivateOwned {
-                            pinata_addr: PINATA_BASE58.to_string(),
+                            pinata_account_id: PINATA_BASE58.to_string(),
-                            winner_addr: to_addr,
+                            winner_account_id: to_account_id,
                             solution,
                         },
                     ),
@@ -72,12 +76,12 @@ pub enum PinataProgramSubcommandPublic {
     // TODO: Testnet only. Refactor to prevent compilation on mainnet.
     // Claim piñata prize
     Claim {
-        ///pinata_addr - valid 32 byte hex string
+        ///pinata_account_id - valid 32 byte hex string
         #[arg(long)]
-        pinata_addr: String,
+        pinata_account_id: String,
-        ///winner_addr - valid 32 byte hex string
+        ///winner_account_id - valid 32 byte hex string
         #[arg(long)]
-        winner_addr: String,
+        winner_account_id: String,
         ///solution - solution to pinata challenge
         #[arg(long)]
         solution: u128,
@@ -90,12 +94,12 @@ pub enum PinataProgramSubcommandPrivate {
     // TODO: Testnet only. Refactor to prevent compilation on mainnet.
     // Claim piñata prize
     ClaimPrivateOwned {
-        ///pinata_addr - valid 32 byte hex string
+        ///pinata_account_id - valid 32 byte hex string
         #[arg(long)]
-        pinata_addr: String,
+        pinata_account_id: String,
-        ///winner_addr - valid 32 byte hex string
+        ///winner_account_id - valid 32 byte hex string
         #[arg(long)]
-        winner_addr: String,
+        winner_account_id: String,
         ///solution - solution to pinata challenge
         #[arg(long)]
         solution: u128,
@@ -109,14 +113,14 @@ impl WalletSubcommand for PinataProgramSubcommandPublic {
     ) -> Result<SubcommandReturnValue> {
         match self {
             PinataProgramSubcommandPublic::Claim {
-                pinata_addr,
+                pinata_account_id,
-                winner_addr,
+                winner_account_id,
                 solution,
             } => {
                 let res = wallet_core
                     .claim_pinata(
-                        pinata_addr.parse().unwrap(),
+                        pinata_account_id.parse().unwrap(),
-                        winner_addr.parse().unwrap(),
+                        winner_account_id.parse().unwrap(),
                         solution,
                     )
                     .await?;
@@ -135,22 +139,22 @@ impl WalletSubcommand for PinataProgramSubcommandPrivate {
     ) -> Result<SubcommandReturnValue> {
         match self {
             PinataProgramSubcommandPrivate::ClaimPrivateOwned {
-                pinata_addr,
+                pinata_account_id,
-                winner_addr,
+                winner_account_id,
                 solution,
             } => {
-                let pinata_addr = pinata_addr.parse().unwrap();
+                let pinata_account_id = pinata_account_id.parse().unwrap();
-                let winner_addr = winner_addr.parse().unwrap();
+                let winner_account_id = winner_account_id.parse().unwrap();
 
                 let winner_initialization = wallet_core
-                    .check_private_account_initialized(&winner_addr)
+                    .check_private_account_initialized(&winner_account_id)
                     .await?;
 
                 let (res, [secret_winner]) = if let Some(winner_proof) = winner_initialization {
                     wallet_core
                         .claim_pinata_private_owned_account_already_initialized(
-                            pinata_addr,
+                            pinata_account_id,
-                            winner_addr,
+                            winner_account_id,
                             solution,
                             winner_proof,
                         )
@@ -158,8 +162,8 @@ impl WalletSubcommand for PinataProgramSubcommandPrivate {
                 } else {
                     wallet_core
                         .claim_pinata_private_owned_account_not_initialized(
-                            pinata_addr,
+                            pinata_account_id,
-                            winner_addr,
+                            winner_account_id,
                             solution,
                         )
                         .await?
@@ -173,7 +177,7 @@ impl WalletSubcommand for PinataProgramSubcommandPrivate {
                     .await?;
 
                 if let NSSATransaction::PrivacyPreserving(tx) = transfer_tx {
-                    let acc_decode_data = vec![(secret_winner, winner_addr)];
+                    let acc_decode_data = vec![(secret_winner, winner_account_id)];
 
                     wallet_core.decode_insert_privacy_preserving_transaction_results(
                         tx,

wallet/src/cli/token_program.rs

@@ -1,12 +1,12 @@
 use anyhow::Result;
 use clap::Subcommand;
 use common::transaction::NSSATransaction;
-use nssa::Address;
+use nssa::AccountId;
 
 use crate::{
     SubcommandReturnValue, WalletCore,
     cli::WalletSubcommand,
-    helperfunctions::{AddressPrivacyKind, parse_addr_with_privacy_prefix},
+    helperfunctions::{AccountPrivacyKind, parse_addr_with_privacy_prefix},
 };
 
 ///Represents generic CLI subcommand for a wallet working with token program
@@ -16,12 +16,12 @@ pub enum TokenProgramAgnosticSubcommand {
     ///
     ///Currently the only supported privacy options is for public definition
     New {
-        ///definition_addr - valid 32 byte base58 string with privacy prefix
+        ///definition_account_id - valid 32 byte base58 string with privacy prefix
         #[arg(long)]
-        definition_addr: String,
+        definition_account_id: String,
-        ///supply_addr - valid 32 byte base58 string with privacy prefix
+        ///supply_account_id - valid 32 byte base58 string with privacy prefix
         #[arg(long)]
-        supply_addr: String,
+        supply_account_id: String,
         #[arg(short, long)]
         name: String,
         #[arg(short, long)]
@@ -58,42 +58,42 @@ impl WalletSubcommand for TokenProgramAgnosticSubcommand {
     ) -> Result<SubcommandReturnValue> {
         match self {
             TokenProgramAgnosticSubcommand::New {
-                definition_addr,
+                definition_account_id,
-                supply_addr,
+                supply_account_id,
                 name,
                 total_supply,
             } => {
-                let (definition_addr, definition_addr_privacy) =
+                let (definition_account_id, definition_addr_privacy) =
-                    parse_addr_with_privacy_prefix(&definition_addr)?;
+                    parse_addr_with_privacy_prefix(&definition_account_id)?;
-                let (supply_addr, supply_addr_privacy) =
+                let (supply_account_id, supply_addr_privacy) =
-                    parse_addr_with_privacy_prefix(&supply_addr)?;
+                    parse_addr_with_privacy_prefix(&supply_account_id)?;
 
                 let underlying_subcommand = match (definition_addr_privacy, supply_addr_privacy) {
-                    (AddressPrivacyKind::Public, AddressPrivacyKind::Public) => {
+                    (AccountPrivacyKind::Public, AccountPrivacyKind::Public) => {
                         TokenProgramSubcommand::Public(
                             TokenProgramSubcommandPublic::CreateNewToken {
-                                definition_addr,
+                                definition_account_id,
-                                supply_addr,
+                                supply_account_id,
                                 name,
                                 total_supply,
                             },
                         )
                     }
-                    (AddressPrivacyKind::Public, AddressPrivacyKind::Private) => {
+                    (AccountPrivacyKind::Public, AccountPrivacyKind::Private) => {
                         TokenProgramSubcommand::Private(
                             TokenProgramSubcommandPrivate::CreateNewTokenPrivateOwned {
-                                definition_addr,
+                                definition_account_id,
-                                supply_addr,
+                                supply_account_id,
                                 name,
                                 total_supply,
                             },
                         )
                     }
-                    (AddressPrivacyKind::Private, AddressPrivacyKind::Private) => {
+                    (AccountPrivacyKind::Private, AccountPrivacyKind::Private) => {
                         //ToDo: maybe implement this one. It is not immediately clear why definition should be private.
                         anyhow::bail!("Unavailable privacy pairing")
                     }
-                    (AddressPrivacyKind::Private, AddressPrivacyKind::Public) => {
+                    (AccountPrivacyKind::Private, AccountPrivacyKind::Public) => {
                         //ToDo: Probably valid. If definition is not public, but supply is it is very suspicious.
                         anyhow::bail!("Unavailable privacy pairing")
                     }
@@ -111,12 +111,12 @@ impl WalletSubcommand for TokenProgramAgnosticSubcommand {
                 let underlying_subcommand = match (to, to_npk, to_ipk) {
                     (None, None, None) => {
                         anyhow::bail!(
-                            "Provide either account address of receiver or their public keys"
+                            "Provide either account account_id of receiver or their public keys"
                         );
                     }
                     (Some(_), Some(_), Some(_)) => {
                         anyhow::bail!(
-                            "Provide only one variant: either account address of receiver or their public keys"
+                            "Provide only one variant: either account account_id of receiver or their public keys"
                         );
                     }
                     (_, Some(_), None) | (_, None, Some(_)) => {
@@ -127,38 +127,38 @@ impl WalletSubcommand for TokenProgramAgnosticSubcommand {
                         let (to, to_privacy) = parse_addr_with_privacy_prefix(&to)?;
 
                         match (from_privacy, to_privacy) {
-                            (AddressPrivacyKind::Public, AddressPrivacyKind::Public) => {
+                            (AccountPrivacyKind::Public, AccountPrivacyKind::Public) => {
                                 TokenProgramSubcommand::Public(
                                     TokenProgramSubcommandPublic::TransferToken {
-                                        sender_addr: from,
+                                        sender_account_id: from,
-                                        recipient_addr: to,
+                                        recipient_account_id: to,
                                         balance_to_move: amount,
                                     },
                                 )
                             }
-                            (AddressPrivacyKind::Private, AddressPrivacyKind::Private) => {
+                            (AccountPrivacyKind::Private, AccountPrivacyKind::Private) => {
                                 TokenProgramSubcommand::Private(
                                     TokenProgramSubcommandPrivate::TransferTokenPrivateOwned {
-                                        sender_addr: from,
+                                        sender_account_id: from,
-                                        recipient_addr: to,
+                                        recipient_account_id: to,
                                         balance_to_move: amount,
                                     },
                                 )
                             }
-                            (AddressPrivacyKind::Private, AddressPrivacyKind::Public) => {
+                            (AccountPrivacyKind::Private, AccountPrivacyKind::Public) => {
                                 TokenProgramSubcommand::Deshielded(
                                     TokenProgramSubcommandDeshielded::TransferTokenDeshielded {
-                                        sender_addr: from,
+                                        sender_account_id: from,
-                                        recipient_addr: to,
+                                        recipient_account_id: to,
                                         balance_to_move: amount,
                                     },
                                 )
                             }
-                            (AddressPrivacyKind::Public, AddressPrivacyKind::Private) => {
+                            (AccountPrivacyKind::Public, AccountPrivacyKind::Private) => {
                                 TokenProgramSubcommand::Shielded(
                                     TokenProgramSubcommandShielded::TransferTokenShieldedOwned {
-                                        sender_addr: from,
+                                        sender_account_id: from,
-                                        recipient_addr: to,
+                                        recipient_account_id: to,
                                         balance_to_move: amount,
                                     },
                                 )
@@ -169,17 +169,17 @@ impl WalletSubcommand for TokenProgramAgnosticSubcommand {
                         let (from, from_privacy) = parse_addr_with_privacy_prefix(&from)?;
 
                         match from_privacy {
-                            AddressPrivacyKind::Private => TokenProgramSubcommand::Private(
+                            AccountPrivacyKind::Private => TokenProgramSubcommand::Private(
                                 TokenProgramSubcommandPrivate::TransferTokenPrivateForeign {
-                                    sender_addr: from,
+                                    sender_account_id: from,
                                     recipient_npk: to_npk,
                                     recipient_ipk: to_ipk,
                                     balance_to_move: amount,
                                 },
                             ),
-                            AddressPrivacyKind::Public => TokenProgramSubcommand::Shielded(
+                            AccountPrivacyKind::Public => TokenProgramSubcommand::Shielded(
                                 TokenProgramSubcommandShielded::TransferTokenShieldedForeign {
-                                    sender_addr: from,
+                                    sender_account_id: from,
                                     recipient_npk: to_npk,
                                     recipient_ipk: to_ipk,
                                     balance_to_move: amount,
@@ -218,9 +218,9 @@ pub enum TokenProgramSubcommandPublic {
     //Create a new token using the token program
     CreateNewToken {
         #[arg(short, long)]
-        definition_addr: String,
+        definition_account_id: String,
         #[arg(short, long)]
-        supply_addr: String,
+        supply_account_id: String,
         #[arg(short, long)]
         name: String,
         #[arg(short, long)]
@@ -229,9 +229,9 @@ pub enum TokenProgramSubcommandPublic {
     //Transfer tokens using the token program
     TransferToken {
         #[arg(short, long)]
-        sender_addr: String,
+        sender_account_id: String,
         #[arg(short, long)]
-        recipient_addr: String,
+        recipient_account_id: String,
         #[arg(short, long)]
         balance_to_move: u128,
     },
@@ -243,9 +243,9 @@ pub enum TokenProgramSubcommandPrivate {
     //Create a new token using the token program
     CreateNewTokenPrivateOwned {
         #[arg(short, long)]
-        definition_addr: String,
+        definition_account_id: String,
         #[arg(short, long)]
-        supply_addr: String,
+        supply_account_id: String,
         #[arg(short, long)]
         name: String,
         #[arg(short, long)]
@@ -254,16 +254,16 @@ pub enum TokenProgramSubcommandPrivate {
     //Transfer tokens using the token program
     TransferTokenPrivateOwned {
         #[arg(short, long)]
-        sender_addr: String,
+        sender_account_id: String,
         #[arg(short, long)]
-        recipient_addr: String,
+        recipient_account_id: String,
         #[arg(short, long)]
         balance_to_move: u128,
     },
     //Transfer tokens using the token program
     TransferTokenPrivateForeign {
         #[arg(short, long)]
-        sender_addr: String,
+        sender_account_id: String,
         ///recipient_npk - valid 32 byte hex string
         #[arg(long)]
         recipient_npk: String,
@@ -281,9 +281,9 @@ pub enum TokenProgramSubcommandDeshielded {
     //Transfer tokens using the token program
     TransferTokenDeshielded {
         #[arg(short, long)]
-        sender_addr: String,
+        sender_account_id: String,
         #[arg(short, long)]
-        recipient_addr: String,
+        recipient_account_id: String,
         #[arg(short, long)]
         balance_to_move: u128,
     },
@@ -295,16 +295,16 @@ pub enum TokenProgramSubcommandShielded {
     //Transfer tokens using the token program
     TransferTokenShieldedOwned {
         #[arg(short, long)]
-        sender_addr: String,
+        sender_account_id: String,
         #[arg(short, long)]
-        recipient_addr: String,
+        recipient_account_id: String,
         #[arg(short, long)]
         balance_to_move: u128,
     },
     //Transfer tokens using the token program
     TransferTokenShieldedForeign {
         #[arg(short, long)]
-        sender_addr: String,
+        sender_account_id: String,
         ///recipient_npk - valid 32 byte hex string
         #[arg(long)]
         recipient_npk: String,
@@ -323,8 +323,8 @@ impl WalletSubcommand for TokenProgramSubcommandPublic {
     ) -> Result<SubcommandReturnValue> {
         match self {
             TokenProgramSubcommandPublic::CreateNewToken {
-                definition_addr,
+                definition_account_id,
-                supply_addr,
+                supply_account_id,
                 name,
                 total_supply,
             } => {
@@ -337,8 +337,8 @@ impl WalletSubcommand for TokenProgramSubcommandPublic {
                 name_bytes[..name.len()].copy_from_slice(name);
                 wallet_core
                     .send_new_token_definition(
-                        definition_addr.parse().unwrap(),
+                        definition_account_id.parse().unwrap(),
-                        supply_addr.parse().unwrap(),
+                        supply_account_id.parse().unwrap(),
                         name_bytes,
                         total_supply,
                     )
@@ -346,14 +346,14 @@ impl WalletSubcommand for TokenProgramSubcommandPublic {
                 Ok(SubcommandReturnValue::Empty)
             }
             TokenProgramSubcommandPublic::TransferToken {
-                sender_addr,
+                sender_account_id,
-                recipient_addr,
+                recipient_account_id,
                 balance_to_move,
             } => {
                 wallet_core
                     .send_transfer_token_transaction(
-                        sender_addr.parse().unwrap(),
+                        sender_account_id.parse().unwrap(),
-                        recipient_addr.parse().unwrap(),
+                        recipient_account_id.parse().unwrap(),
                         balance_to_move,
                     )
                     .await?;
@@ -370,8 +370,8 @@ impl WalletSubcommand for TokenProgramSubcommandPrivate {
     ) -> Result<SubcommandReturnValue> {
         match self {
             TokenProgramSubcommandPrivate::CreateNewTokenPrivateOwned {
-                definition_addr,
+                definition_account_id,
-                supply_addr,
+                supply_account_id,
                 name,
                 total_supply,
             } => {
@@ -383,13 +383,13 @@ impl WalletSubcommand for TokenProgramSubcommandPrivate {
                 let mut name_bytes = [0; 6];
                 name_bytes[..name.len()].copy_from_slice(name);
 
-                let definition_addr: Address = definition_addr.parse().unwrap();
+                let definition_account_id: AccountId = definition_account_id.parse().unwrap();
-                let supply_addr: Address = supply_addr.parse().unwrap();
+                let supply_account_id: AccountId = supply_account_id.parse().unwrap();
 
                 let (res, [secret_supply]) = wallet_core
                     .send_new_token_definition_private_owned(
-                        definition_addr,
+                        definition_account_id,
-                        supply_addr,
+                        supply_account_id,
                         name_bytes,
                         total_supply,
                     )
@@ -403,7 +403,7 @@ impl WalletSubcommand for TokenProgramSubcommandPrivate {
                     .await?;
 
                 if let NSSATransaction::PrivacyPreserving(tx) = transfer_tx {
-                    let acc_decode_data = vec![(secret_supply, supply_addr)];
+                    let acc_decode_data = vec![(secret_supply, supply_account_id)];
 
                     wallet_core.decode_insert_privacy_preserving_transaction_results(
                         tx,
@@ -418,23 +418,23 @@ impl WalletSubcommand for TokenProgramSubcommandPrivate {
                 Ok(SubcommandReturnValue::PrivacyPreservingTransfer { tx_hash })
             }
             TokenProgramSubcommandPrivate::TransferTokenPrivateOwned {
-                sender_addr,
+                sender_account_id,
-                recipient_addr,
+                recipient_account_id,
                 balance_to_move,
             } => {
-                let sender_addr: Address = sender_addr.parse().unwrap();
+                let sender_account_id: AccountId = sender_account_id.parse().unwrap();
-                let recipient_addr: Address = recipient_addr.parse().unwrap();
+                let recipient_account_id: AccountId = recipient_account_id.parse().unwrap();
 
                 let recipient_initialization = wallet_core
-                    .check_private_account_initialized(&recipient_addr)
+                    .check_private_account_initialized(&recipient_account_id)
                     .await?;
 
                 let (res, [secret_sender, secret_recipient]) =
                     if let Some(recipient_proof) = recipient_initialization {
                         wallet_core
                         .send_transfer_token_transaction_private_owned_account_already_initialized(
-                            sender_addr,
+                            sender_account_id,
-                            recipient_addr,
+                            recipient_account_id,
                             balance_to_move,
                             recipient_proof,
                         )
@@ -442,8 +442,8 @@ impl WalletSubcommand for TokenProgramSubcommandPrivate {
                     } else {
                         wallet_core
                             .send_transfer_token_transaction_private_owned_account_not_initialized(
-                                sender_addr,
+                                sender_account_id,
-                                recipient_addr,
+                                recipient_account_id,
                                 balance_to_move,
                             )
                             .await?
@@ -458,8 +458,8 @@ impl WalletSubcommand for TokenProgramSubcommandPrivate {
 
                 if let NSSATransaction::PrivacyPreserving(tx) = transfer_tx {
                     let acc_decode_data = vec![
-                        (secret_sender, sender_addr),
+                        (secret_sender, sender_account_id),
-                        (secret_recipient, recipient_addr),
+                        (secret_recipient, recipient_account_id),
                     ];
 
                     wallet_core.decode_insert_privacy_preserving_transaction_results(
@@ -475,12 +475,12 @@ impl WalletSubcommand for TokenProgramSubcommandPrivate {
                 Ok(SubcommandReturnValue::PrivacyPreservingTransfer { tx_hash })
             }
             TokenProgramSubcommandPrivate::TransferTokenPrivateForeign {
-                sender_addr,
+                sender_account_id,
                 recipient_npk,
                 recipient_ipk,
                 balance_to_move,
             } => {
-                let sender_addr: Address = sender_addr.parse().unwrap();
+                let sender_account_id: AccountId = sender_account_id.parse().unwrap();
                 let recipient_npk_res = hex::decode(recipient_npk)?;
                 let mut recipient_npk = [0; 32];
                 recipient_npk.copy_from_slice(&recipient_npk_res);
@@ -495,7 +495,7 @@ impl WalletSubcommand for TokenProgramSubcommandPrivate {
 
                 let (res, [secret_sender, _]) = wallet_core
                     .send_transfer_token_transaction_private_foreign_account(
-                        sender_addr,
+                        sender_account_id,
                         recipient_npk,
                         recipient_ipk,
                         balance_to_move,
@@ -510,7 +510,7 @@ impl WalletSubcommand for TokenProgramSubcommandPrivate {
                     .await?;
 
                 if let NSSATransaction::PrivacyPreserving(tx) = transfer_tx {
-                    let acc_decode_data = vec![(secret_sender, sender_addr)];
+                    let acc_decode_data = vec![(secret_sender, sender_account_id)];
 
                     wallet_core.decode_insert_privacy_preserving_transaction_results(
                         tx,
@@ -535,17 +535,17 @@ impl WalletSubcommand for TokenProgramSubcommandDeshielded {
     ) -> Result<SubcommandReturnValue> {
         match self {
             TokenProgramSubcommandDeshielded::TransferTokenDeshielded {
-                sender_addr,
+                sender_account_id,
-                recipient_addr,
+                recipient_account_id,
                 balance_to_move,
             } => {
-                let sender_addr: Address = sender_addr.parse().unwrap();
+                let sender_account_id: AccountId = sender_account_id.parse().unwrap();
-                let recipient_addr: Address = recipient_addr.parse().unwrap();
+                let recipient_account_id: AccountId = recipient_account_id.parse().unwrap();
 
                 let (res, [secret_sender]) = wallet_core
                     .send_transfer_token_transaction_deshielded(
-                        sender_addr,
+                        sender_account_id,
-                        recipient_addr,
+                        recipient_account_id,
                         balance_to_move,
                     )
                     .await?;
@@ -558,7 +558,7 @@ impl WalletSubcommand for TokenProgramSubcommandDeshielded {
                     .await?;
 
                 if let NSSATransaction::PrivacyPreserving(tx) = transfer_tx {
-                    let acc_decode_data = vec![(secret_sender, sender_addr)];
+                    let acc_decode_data = vec![(secret_sender, sender_account_id)];
 
                     wallet_core.decode_insert_privacy_preserving_transaction_results(
                         tx,
@@ -583,12 +583,12 @@ impl WalletSubcommand for TokenProgramSubcommandShielded {
     ) -> Result<SubcommandReturnValue> {
         match self {
             TokenProgramSubcommandShielded::TransferTokenShieldedForeign {
-                sender_addr,
+                sender_account_id,
                 recipient_npk,
                 recipient_ipk,
                 balance_to_move,
             } => {
-                let sender_addr: Address = sender_addr.parse().unwrap();
+                let sender_account_id: AccountId = sender_account_id.parse().unwrap();
                 let recipient_npk_res = hex::decode(recipient_npk)?;
                 let mut recipient_npk = [0; 32];
                 recipient_npk.copy_from_slice(&recipient_npk_res);
@@ -603,7 +603,7 @@ impl WalletSubcommand for TokenProgramSubcommandShielded {
 
                 let res = wallet_core
                     .send_transfer_token_transaction_shielded_foreign_account(
-                        sender_addr,
+                        sender_account_id,
                         recipient_npk,
                         recipient_ipk,
                         balance_to_move,
@@ -628,23 +628,23 @@ impl WalletSubcommand for TokenProgramSubcommandShielded {
                 Ok(SubcommandReturnValue::PrivacyPreservingTransfer { tx_hash })
             }
             TokenProgramSubcommandShielded::TransferTokenShieldedOwned {
-                sender_addr,
+                sender_account_id,
-                recipient_addr,
+                recipient_account_id,
                 balance_to_move,
             } => {
-                let sender_addr: Address = sender_addr.parse().unwrap();
+                let sender_account_id: AccountId = sender_account_id.parse().unwrap();
-                let recipient_addr: Address = recipient_addr.parse().unwrap();
+                let recipient_account_id: AccountId = recipient_account_id.parse().unwrap();
 
                 let recipient_initialization = wallet_core
-                    .check_private_account_initialized(&recipient_addr)
+                    .check_private_account_initialized(&recipient_account_id)
                     .await?;
 
                 let (res, [secret_recipient]) =
                     if let Some(recipient_proof) = recipient_initialization {
                         wallet_core
                         .send_transfer_token_transaction_shielded_owned_account_already_initialized(
-                            sender_addr,
+                            sender_account_id,
-                            recipient_addr,
+                            recipient_account_id,
                             balance_to_move,
                             recipient_proof,
                         )
@@ -652,8 +652,8 @@ impl WalletSubcommand for TokenProgramSubcommandShielded {
                     } else {
                         wallet_core
                             .send_transfer_token_transaction_shielded_owned_account_not_initialized(
-                                sender_addr,
+                                sender_account_id,
-                                recipient_addr,
+                                recipient_account_id,
                                 balance_to_move,
                             )
                             .await?
@@ -667,7 +667,7 @@ impl WalletSubcommand for TokenProgramSubcommandShielded {
                     .await?;
 
                 if let NSSATransaction::PrivacyPreserving(tx) = transfer_tx {
-                    let acc_decode_data = vec![(secret_recipient, recipient_addr)];
+                    let acc_decode_data = vec![(secret_recipient, recipient_account_id)];
 
                     wallet_core.decode_insert_privacy_preserving_transaction_results(
                         tx,

wallet/src/config.rs

@@ -3,26 +3,26 @@ use serde::{Deserialize, Serialize};
 
 #[derive(Debug, Clone, Serialize, Deserialize)]
 pub struct InitialAccountDataPublic {
-    pub address: String,
+    pub account_id: String,
     pub pub_sign_key: nssa::PrivateKey,
 }
 
 #[derive(Debug, Clone, Serialize, Deserialize)]
 pub struct PersistentAccountDataPublic {
-    pub address: nssa::Address,
+    pub account_id: nssa::AccountId,
     pub pub_sign_key: nssa::PrivateKey,
 }
 
 #[derive(Debug, Clone, Serialize, Deserialize)]
 pub struct InitialAccountDataPrivate {
-    pub address: String,
+    pub account_id: String,
     pub account: nssa_core::account::Account,
     pub key_chain: KeyChain,
 }
 
 #[derive(Debug, Clone, Serialize, Deserialize)]
 pub struct PersistentAccountDataPrivate {
-    pub address: nssa::Address,
+    pub account_id: nssa::AccountId,
     pub account: nssa_core::account::Account,
     pub key_chain: KeyChain,
 }
@@ -52,19 +52,19 @@ pub struct PersistentStorage {
 }
 
 impl InitialAccountData {
-    pub fn address(&self) -> nssa::Address {
+    pub fn account_id(&self) -> nssa::AccountId {
         match &self {
-            Self::Public(acc) => acc.address.parse().unwrap(),
+            Self::Public(acc) => acc.account_id.parse().unwrap(),
-            Self::Private(acc) => acc.address.parse().unwrap(),
+            Self::Private(acc) => acc.account_id.parse().unwrap(),
         }
     }
 }
 
 impl PersistentAccountData {
-    pub fn address(&self) -> nssa::Address {
+    pub fn account_id(&self) -> nssa::AccountId {
         match &self {
-            Self::Public(acc) => acc.address,
+            Self::Public(acc) => acc.account_id,
-            Self::Private(acc) => acc.address,
+            Self::Private(acc) => acc.account_id,
         }
     }
 }
@@ -143,7 +143,7 @@ impl Default for WalletConfig {
                 [
         {
             "Public": {
-                "address": "BLgCRDXYdQPMMWVHYRFGQZbgeHx9frkipa8GtpG2Syqy",
+                "account_id": "BLgCRDXYdQPMMWVHYRFGQZbgeHx9frkipa8GtpG2Syqy",
                 "pub_sign_key": [
                     16,
                     162,
@@ -182,7 +182,7 @@ impl Default for WalletConfig {
         },
         {
             "Public": {
-                "address": "Gj1mJy5W7J5pfmLRujmQaLfLMWidNxQ6uwnhb666ZwHw",
+                "account_id": "Gj1mJy5W7J5pfmLRujmQaLfLMWidNxQ6uwnhb666ZwHw",
                 "pub_sign_key": [
                     113,
                     121,
@@ -221,7 +221,7 @@ impl Default for WalletConfig {
         },
         {
             "Private": {
-                "address": "3oCG8gqdKLMegw4rRfyaMQvuPHpcASt7xwttsmnZLSkw",
+                "account_id": "3oCG8gqdKLMegw4rRfyaMQvuPHpcASt7xwttsmnZLSkw",
                 "account": {
                     "program_owner": [
                         0,
@@ -450,7 +450,7 @@ impl Default for WalletConfig {
         },
         {
             "Private": {
-                "address": "AKTcXgJ1xoynta1Ec7y6Jso1z1JQtHqd7aPQ1h9er6xX",
+                "account_id": "AKTcXgJ1xoynta1Ec7y6Jso1z1JQtHqd7aPQ1h9er6xX",
                 "account": {
                     "program_owner": [
                         0,

wallet/src/helperfunctions.rs

@@ -120,20 +120,20 @@ pub fn produce_data_for_storage(
 ) -> PersistentStorage {
     let mut vec_for_storage = vec![];
 
-    for (addr, key) in &user_data.pub_account_signing_keys {
+    for (account_id, key) in &user_data.pub_account_signing_keys {
         vec_for_storage.push(
             PersistentAccountDataPublic {
-                address: *addr,
+                account_id: *account_id,
                 pub_sign_key: key.clone(),
             }
             .into(),
         );
     }
 
-    for (addr, (key, acc)) in &user_data.user_private_accounts {
+    for (account_id, (key, acc)) in &user_data.user_private_accounts {
         vec_for_storage.push(
             PersistentAccountDataPrivate {
-                address: *addr,
+                account_id: *account_id,
                 account: acc.clone(),
                 key_chain: key.clone(),
             }
@@ -154,23 +154,23 @@ pub(crate) fn produce_random_nonces(size: usize) -> Vec<Nonce> {
 }
 
 #[derive(Debug, Clone, Copy, PartialEq, Eq)]
-pub enum AddressPrivacyKind {
+pub enum AccountPrivacyKind {
     Public,
     Private,
 }
 
 pub(crate) fn parse_addr_with_privacy_prefix(
-    addr_base58: &str,
+    account_base58: &str,
-) -> Result<(String, AddressPrivacyKind)> {
+) -> Result<(String, AccountPrivacyKind)> {
-    if addr_base58.starts_with("Public/") {
+    if account_base58.starts_with("Public/") {
         Ok((
-            addr_base58.strip_prefix("Public/").unwrap().to_string(),
+            account_base58.strip_prefix("Public/").unwrap().to_string(),
-            AddressPrivacyKind::Public,
+            AccountPrivacyKind::Public,
         ))
-    } else if addr_base58.starts_with("Private/") {
+    } else if account_base58.starts_with("Private/") {
         Ok((
-            addr_base58.strip_prefix("Private/").unwrap().to_string(),
+            account_base58.strip_prefix("Private/").unwrap().to_string(),
-            AddressPrivacyKind::Private,
+            AccountPrivacyKind::Private,
         ))
     } else {
         anyhow::bail!("Unsupported privacy kind, available variants is Public/ and Private/");
@@ -223,12 +223,12 @@ mod tests {
         let addr_base58 = "Public/BLgCRDXYdQPMMWVHYRFGQZbgeHx9frkipa8GtpG2Syqy";
         let (_, addr_kind) = parse_addr_with_privacy_prefix(addr_base58).unwrap();
 
-        assert_eq!(addr_kind, AddressPrivacyKind::Public);
+        assert_eq!(addr_kind, AccountPrivacyKind::Public);
 
         let addr_base58 = "Private/BLgCRDXYdQPMMWVHYRFGQZbgeHx9frkipa8GtpG2Syqy";
         let (_, addr_kind) = parse_addr_with_privacy_prefix(addr_base58).unwrap();
 
-        assert_eq!(addr_kind, AddressPrivacyKind::Private);
+        assert_eq!(addr_kind, AccountPrivacyKind::Private);
 
         let addr_base58 = "asdsada/BLgCRDXYdQPMMWVHYRFGQZbgeHx9frkipa8GtpG2Syqy";
         assert!(parse_addr_with_privacy_prefix(addr_base58).is_err());

wallet/src/lib.rs

@@ -12,7 +12,7 @@ use chain_storage::WalletChainStore;
 use config::WalletConfig;
 use log::info;
 use nssa::{
-    Account, Address, privacy_preserving_transaction::message::EncryptedAccountData,
+    Account, AccountId, privacy_preserving_transaction::message::EncryptedAccountData,
     program::Program,
 };
 
@@ -107,20 +107,20 @@ impl WalletCore {
         Ok(config_path)
     }
 
-    pub fn create_new_account_public(&mut self) -> Address {
+    pub fn create_new_account_public(&mut self) -> AccountId {
         self.storage
             .user_data
             .generate_new_public_transaction_private_key()
     }
 
-    pub fn create_new_account_private(&mut self) -> Address {
+    pub fn create_new_account_private(&mut self) -> AccountId {
         self.storage
             .user_data
             .generate_new_privacy_preserving_transaction_key_chain()
     }
 
     ///Get account balance
-    pub async fn get_account_balance(&self, acc: Address) -> Result<u128> {
+    pub async fn get_account_balance(&self, acc: AccountId) -> Result<u128> {
         Ok(self
             .sequencer_client
             .get_account_balance(acc.to_string())
@@ -129,7 +129,7 @@ impl WalletCore {
     }
 
     ///Get accounts nonces
-    pub async fn get_accounts_nonces(&self, accs: Vec<Address>) -> Result<Vec<u128>> {
+    pub async fn get_accounts_nonces(&self, accs: Vec<AccountId>) -> Result<Vec<u128>> {
         Ok(self
             .sequencer_client
             .get_accounts_nonces(accs.into_iter().map(|acc| acc.to_string()).collect())
@@ -138,21 +138,28 @@ impl WalletCore {
     }
 
     ///Get account
-    pub async fn get_account_public(&self, addr: Address) -> Result<Account> {
+    pub async fn get_account_public(&self, account_id: AccountId) -> Result<Account> {
-        let response = self.sequencer_client.get_account(addr.to_string()).await?;
+        let response = self
+            .sequencer_client
+            .get_account(account_id.to_string())
+            .await?;
         Ok(response.account)
     }
 
-    pub fn get_account_private(&self, addr: &Address) -> Option<Account> {
+    pub fn get_account_private(&self, account_id: &AccountId) -> Option<Account> {
         self.storage
             .user_data
             .user_private_accounts
-            .get(addr)
+            .get(account_id)
             .map(|value| value.1.clone())
     }
 
-    pub fn get_private_account_commitment(&self, addr: &Address) -> Option<Commitment> {
+    pub fn get_private_account_commitment(&self, account_id: &AccountId) -> Option<Commitment> {
-        let (keys, account) = self.storage.user_data.user_private_accounts.get(addr)?;
+        let (keys, account) = self
+            .storage
+            .user_data
+            .user_private_accounts
+            .get(account_id)?;
         Some(Commitment::new(&keys.nullifer_public_key, account))
     }
 
@@ -167,9 +174,9 @@ impl WalletCore {
 
     pub async fn check_private_account_initialized(
         &self,
-        addr: &Address,
+        account_id: &AccountId,
     ) -> Result<Option<MembershipProof>> {
-        if let Some(acc_comm) = self.get_private_account_commitment(addr) {
+        if let Some(acc_comm) = self.get_private_account_commitment(account_id) {
             self.sequencer_client
                 .get_proof_for_commitment(acc_comm)
                 .await
@@ -182,9 +189,9 @@ impl WalletCore {
     pub fn decode_insert_privacy_preserving_transaction_results(
         &mut self,
         tx: nssa::privacy_preserving_transaction::PrivacyPreservingTransaction,
-        acc_decode_data: &[(nssa_core::SharedSecretKey, Address)],
+        acc_decode_data: &[(nssa_core::SharedSecretKey, AccountId)],
     ) -> Result<()> {
-        for (output_index, (secret, acc_address)) in acc_decode_data.iter().enumerate() {
+        for (output_index, (secret, acc_account_id)) in acc_decode_data.iter().enumerate() {
             let acc_ead = tx.message.encrypted_private_post_states[output_index].clone();
             let acc_comm = tx.message.new_commitments[output_index].clone();
 
@@ -199,7 +206,7 @@ impl WalletCore {
             println!("Received new acc {res_acc:#?}");
 
             self.storage
-                .insert_private_account_data(*acc_address, res_acc);
+                .insert_private_account_data(*acc_account_id, res_acc);
         }
 
         println!("Transaction data is {:?}", tx.message);
@@ -239,7 +246,7 @@ pub enum Command {
 ///
 /// All account adresses must be valid 32 byte base58 strings.
 ///
-/// All account addresses must be provided as {privacy_prefix}/{addr},
+/// All account account_ids must be provided as {privacy_prefix}/{account_id},
 /// where valid options for `privacy_prefix` is `Public` and `Private`
 #[derive(Parser, Debug)]
 #[clap(version, about)]
@@ -255,7 +262,7 @@ pub struct Args {
 #[derive(Debug, Clone)]
 pub enum SubcommandReturnValue {
     PrivacyPreservingTransfer { tx_hash: String },
-    RegisterAccount { addr: nssa::Address },
+    RegisterAccount { account_id: nssa::AccountId },
     Account(nssa::Account),
     Empty,
     SyncedToBlock(u64),
@@ -343,7 +350,7 @@ pub async fn parse_block_range(
             if let NSSATransaction::PrivacyPreserving(tx) = nssa_tx {
                 let mut affected_accounts = vec![];
 
-                for (acc_addr, (key_chain, _)) in
+                for (acc_account_id, (key_chain, _)) in
                     &wallet_core.storage.user_data.user_private_accounts
                 {
                     let view_tag = EncryptedAccountData::compute_view_tag(
@@ -372,19 +379,19 @@ pub async fn parse_block_range(
 
                             if let Some(res_acc) = res_acc {
                                 println!(
-                                    "Received new account for addr {acc_addr:#?} with account object {res_acc:#?}"
+                                    "Received new account for account_id {acc_account_id:#?} with account object {res_acc:#?}"
                                 );
 
-                                affected_accounts.push((*acc_addr, res_acc));
+                                affected_accounts.push((*acc_account_id, res_acc));
                             }
                         }
                     }
                 }
 
-                for (affected_addr, new_acc) in affected_accounts {
+                for (affected_account_id, new_acc) in affected_accounts {
                     wallet_core
                         .storage
-                        .insert_private_account_data(affected_addr, new_acc);
+                        .insert_private_account_data(affected_account_id, new_acc);
                 }
             }
         }

wallet/src/main.rs

@@ -5,6 +5,10 @@ use wallet::{Args, execute_continious_run, execute_subcommand};
 
 pub const NUM_THREADS: usize = 2;
 
+// TODO #169: We have sample configs for sequencer, but not for wallet
+// TODO #168: Why it requires config as a directory? Maybe better to deduce directory from config file path?
+// TODO #172: Why it requires config as env var while sequencer_runner accepts as argument?
+// TODO #171: Running pinata doesn't give output about transaction hash and etc.
 fn main() -> Result<()> {
     let runtime = Builder::new_multi_thread()
         .worker_threads(NUM_THREADS)
@@ -18,6 +22,7 @@ fn main() -> Result<()> {
 
     runtime.block_on(async move {
         if let Some(command) = args.command {
+            // TODO: It should return error, not panic
             execute_subcommand(command).await.unwrap();
         } else if args.continious_run {
             execute_continious_run().await.unwrap();

wallet/src/pinata_interactions.rs

@@ -1,6 +1,6 @@
 use common::{error::ExecutionFailureKind, sequencer_client::json::SendTxResponse};
 use key_protocol::key_management::ephemeral_key_holder::EphemeralKeyHolder;
-use nssa::{Address, privacy_preserving_transaction::circuit};
+use nssa::{AccountId, privacy_preserving_transaction::circuit};
 use nssa_core::{MembershipProof, SharedSecretKey, account::AccountWithMetadata};
 
 use crate::{
@@ -10,14 +10,14 @@ use crate::{
 impl WalletCore {
     pub async fn claim_pinata(
         &self,
-        pinata_addr: Address,
+        pinata_account_id: AccountId,
-        winner_addr: Address,
+        winner_account_id: AccountId,
         solution: u128,
     ) -> Result<SendTxResponse, ExecutionFailureKind> {
-        let addresses = vec![pinata_addr, winner_addr];
+        let account_ids = vec![pinata_account_id, winner_account_id];
         let program_id = nssa::program::Program::pinata().id();
         let message =
-            nssa::public_transaction::Message::try_new(program_id, addresses, vec![], solution)
+            nssa::public_transaction::Message::try_new(program_id, account_ids, vec![], solution)
                 .unwrap();
 
         let witness_set = nssa::public_transaction::WitnessSet::for_message(&message, &[]);
@@ -28,8 +28,8 @@ impl WalletCore {
 
     pub async fn claim_pinata_private_owned_account_already_initialized(
         &self,
-        pinata_addr: Address,
+        pinata_account_id: AccountId,
-        winner_addr: Address,
+        winner_account_id: AccountId,
         solution: u128,
         winner_proof: MembershipProof,
     ) -> Result<(SendTxResponse, [SharedSecretKey; 1]), ExecutionFailureKind> {
@@ -40,14 +40,14 @@ impl WalletCore {
             auth_acc: winner_pre,
             proof: _,
         } = self
-            .private_acc_preparation(winner_addr, true, false)
+            .private_acc_preparation(winner_account_id, true, false)
             .await?;
 
-        let pinata_acc = self.get_account_public(pinata_addr).await.unwrap();
+        let pinata_acc = self.get_account_public(pinata_account_id).await.unwrap();
 
         let program = nssa::program::Program::pinata();
 
-        let pinata_pre = AccountWithMetadata::new(pinata_acc.clone(), false, pinata_addr);
+        let pinata_pre = AccountWithMetadata::new(pinata_acc.clone(), false, pinata_account_id);
 
         let eph_holder_winner = EphemeralKeyHolder::new(&winner_npk);
         let shared_secret_winner = eph_holder_winner.calculate_shared_secret_sender(&winner_ipk);
@@ -65,7 +65,7 @@ impl WalletCore {
 
         let message =
             nssa::privacy_preserving_transaction::message::Message::try_from_circuit_output(
-                vec![pinata_addr],
+                vec![pinata_account_id],
                 vec![],
                 vec![(
                     winner_npk.clone(),
@@ -95,8 +95,8 @@ impl WalletCore {
 
     pub async fn claim_pinata_private_owned_account_not_initialized(
         &self,
-        pinata_addr: Address,
+        pinata_account_id: AccountId,
-        winner_addr: Address,
+        winner_account_id: AccountId,
         solution: u128,
     ) -> Result<(SendTxResponse, [SharedSecretKey; 1]), ExecutionFailureKind> {
         let AccountPreparedData {
@@ -106,14 +106,14 @@ impl WalletCore {
             auth_acc: winner_pre,
             proof: _,
         } = self
-            .private_acc_preparation(winner_addr, false, false)
+            .private_acc_preparation(winner_account_id, false, false)
             .await?;
 
-        let pinata_acc = self.get_account_public(pinata_addr).await.unwrap();
+        let pinata_acc = self.get_account_public(pinata_account_id).await.unwrap();
 
         let program = nssa::program::Program::pinata();
 
-        let pinata_pre = AccountWithMetadata::new(pinata_acc.clone(), false, pinata_addr);
+        let pinata_pre = AccountWithMetadata::new(pinata_acc.clone(), false, pinata_account_id);
 
         let eph_holder_winner = EphemeralKeyHolder::new(&winner_npk);
         let shared_secret_winner = eph_holder_winner.calculate_shared_secret_sender(&winner_ipk);
@@ -131,7 +131,7 @@ impl WalletCore {
 
         let message =
             nssa::privacy_preserving_transaction::message::Message::try_from_circuit_output(
-                vec![pinata_addr],
+                vec![pinata_account_id],
                 vec![],
                 vec![(
                     winner_npk.clone(),

wallet/src/poller.rs

@@ -11,6 +11,7 @@ use crate::config::WalletConfig;
 pub struct TxPoller {
     pub polling_max_blocks_to_query: usize,
     pub polling_max_error_attempts: u64,
+    // TODO: This should be Duration
     pub polling_error_delay_millis: u64,
     pub polling_delay_millis: u64,
     pub client: Arc<SequencerClient>,

wallet/src/token_program_interactions.rs

@@ -1,5 +1,5 @@
 use common::{error::ExecutionFailureKind, sequencer_client::json::SendTxResponse};
-use nssa::{Account, Address, program::Program};
+use nssa::{Account, AccountId, program::Program};
 use nssa_core::{
     MembershipProof, NullifierPublicKey, SharedSecretKey, encryption::IncomingViewingPublicKey,
     program::InstructionData,
@@ -47,20 +47,24 @@ impl WalletCore {
 
     pub async fn send_new_token_definition(
         &self,
-        definition_address: Address,
+        definition_account_id: AccountId,
-        supply_address: Address,
+        supply_account_id: AccountId,
         name: [u8; 6],
         total_supply: u128,
     ) -> Result<SendTxResponse, ExecutionFailureKind> {
-        let addresses = vec![definition_address, supply_address];
+        let account_ids = vec![definition_account_id, supply_account_id];
         let program_id = nssa::program::Program::token().id();
         // Instruction must be: [0x00 || total_supply (little-endian 16 bytes) || name (6 bytes)]
         let mut instruction = [0; 23];
         instruction[1..17].copy_from_slice(&total_supply.to_le_bytes());
         instruction[17..].copy_from_slice(&name);
-        let message =
+        let message = nssa::public_transaction::Message::try_new(
-            nssa::public_transaction::Message::try_new(program_id, addresses, vec![], instruction)
+            program_id,
-                .unwrap();
+            account_ids,
+            vec![],
+            instruction,
+        )
+        .unwrap();
 
         let witness_set = nssa::public_transaction::WitnessSet::for_message(&message, &[]);
 
@@ -71,8 +75,8 @@ impl WalletCore {
 
     pub async fn send_new_token_definition_private_owned(
         &self,
-        definition_addr: Address,
+        definition_account_id: AccountId,
-        supply_addr: Address,
+        supply_account_id: AccountId,
         name: [u8; 6],
         total_supply: u128,
     ) -> Result<(SendTxResponse, [SharedSecretKey; 1]), ExecutionFailureKind> {
@@ -82,8 +86,8 @@ impl WalletCore {
         // Kind of non-obvious naming
         // Basically this funtion is called because authentication mask is [0, 2]
         self.shielded_two_accs_receiver_uninit(
-            definition_addr,
+            definition_account_id,
-            supply_addr,
+            supply_account_id,
             instruction_data,
             tx_pre_check,
             program,
@@ -93,27 +97,31 @@ impl WalletCore {
 
     pub async fn send_transfer_token_transaction(
         &self,
-        sender_address: Address,
+        sender_account_id: AccountId,
-        recipient_address: Address,
+        recipient_account_id: AccountId,
         amount: u128,
     ) -> Result<SendTxResponse, ExecutionFailureKind> {
-        let addresses = vec![sender_address, recipient_address];
+        let account_ids = vec![sender_account_id, recipient_account_id];
         let program_id = nssa::program::Program::token().id();
         // Instruction must be: [0x01 || amount (little-endian 16 bytes) || 0x00 || 0x00 || 0x00 || 0x00 || 0x00 || 0x00].
         let mut instruction = [0; 23];
         instruction[0] = 0x01;
         instruction[1..17].copy_from_slice(&amount.to_le_bytes());
-        let Ok(nonces) = self.get_accounts_nonces(vec![sender_address]).await else {
+        let Ok(nonces) = self.get_accounts_nonces(vec![sender_account_id]).await else {
             return Err(ExecutionFailureKind::SequencerError);
         };
-        let message =
+        let message = nssa::public_transaction::Message::try_new(
-            nssa::public_transaction::Message::try_new(program_id, addresses, nonces, instruction)
+            program_id,
-                .unwrap();
+            account_ids,
+            nonces,
+            instruction,
+        )
+        .unwrap();
 
         let Some(signing_key) = self
             .storage
             .user_data
-            .get_pub_account_signing_key(&sender_address)
+            .get_pub_account_signing_key(&sender_account_id)
         else {
             return Err(ExecutionFailureKind::KeyNotFoundError);
         };
@@ -127,8 +135,8 @@ impl WalletCore {
 
     pub async fn send_transfer_token_transaction_private_owned_account_already_initialized(
         &self,
-        sender_address: Address,
+        sender_account_id: AccountId,
-        recipient_address: Address,
+        recipient_account_id: AccountId,
         amount: u128,
         recipient_proof: MembershipProof,
     ) -> Result<(SendTxResponse, [SharedSecretKey; 2]), ExecutionFailureKind> {
@@ -136,8 +144,8 @@ impl WalletCore {
             WalletCore::token_program_preparation_transfer(amount);
 
         self.private_tx_two_accs_all_init(
-            sender_address,
+            sender_account_id,
-            recipient_address,
+            recipient_account_id,
             instruction_data,
             tx_pre_check,
             program,
@@ -148,16 +156,16 @@ impl WalletCore {
 
     pub async fn send_transfer_token_transaction_private_owned_account_not_initialized(
         &self,
-        sender_address: Address,
+        sender_account_id: AccountId,
-        recipient_address: Address,
+        recipient_account_id: AccountId,
         amount: u128,
     ) -> Result<(SendTxResponse, [SharedSecretKey; 2]), ExecutionFailureKind> {
         let (instruction_data, program, tx_pre_check) =
             WalletCore::token_program_preparation_transfer(amount);
 
         self.private_tx_two_accs_receiver_uninit(
-            sender_address,
+            sender_account_id,
-            recipient_address,
+            recipient_account_id,
             instruction_data,
             tx_pre_check,
             program,
@@ -167,7 +175,7 @@ impl WalletCore {
 
     pub async fn send_transfer_token_transaction_private_foreign_account(
         &self,
-        sender_address: Address,
+        sender_account_id: AccountId,
         recipient_npk: NullifierPublicKey,
         recipient_ipk: IncomingViewingPublicKey,
         amount: u128,
@@ -176,7 +184,7 @@ impl WalletCore {
             WalletCore::token_program_preparation_transfer(amount);
 
         self.private_tx_two_accs_receiver_outer(
-            sender_address,
+            sender_account_id,
             recipient_npk,
             recipient_ipk,
             instruction_data,
@@ -188,16 +196,16 @@ impl WalletCore {
 
     pub async fn send_transfer_token_transaction_deshielded(
         &self,
-        sender_address: Address,
+        sender_account_id: AccountId,
-        recipient_address: Address,
+        recipient_account_id: AccountId,
         amount: u128,
     ) -> Result<(SendTxResponse, [SharedSecretKey; 1]), ExecutionFailureKind> {
         let (instruction_data, program, tx_pre_check) =
             WalletCore::token_program_preparation_transfer(amount);
 
         self.deshielded_tx_two_accs(
-            sender_address,
+            sender_account_id,
-            recipient_address,
+            recipient_account_id,
             instruction_data,
             tx_pre_check,
             program,
@@ -207,8 +215,8 @@ impl WalletCore {
 
     pub async fn send_transfer_token_transaction_shielded_owned_account_already_initialized(
         &self,
-        sender_address: Address,
+        sender_account_id: AccountId,
-        recipient_address: Address,
+        recipient_account_id: AccountId,
         amount: u128,
         recipient_proof: MembershipProof,
     ) -> Result<(SendTxResponse, [SharedSecretKey; 1]), ExecutionFailureKind> {
@@ -216,8 +224,8 @@ impl WalletCore {
             WalletCore::token_program_preparation_transfer(amount);
 
         self.shielded_two_accs_all_init(
-            sender_address,
+            sender_account_id,
-            recipient_address,
+            recipient_account_id,
             instruction_data,
             tx_pre_check,
             program,
@@ -228,16 +236,16 @@ impl WalletCore {
 
     pub async fn send_transfer_token_transaction_shielded_owned_account_not_initialized(
         &self,
-        sender_address: Address,
+        sender_account_id: AccountId,
-        recipient_address: Address,
+        recipient_account_id: AccountId,
         amount: u128,
     ) -> Result<(SendTxResponse, [SharedSecretKey; 1]), ExecutionFailureKind> {
         let (instruction_data, program, tx_pre_check) =
             WalletCore::token_program_preparation_transfer(amount);
 
         self.shielded_two_accs_receiver_uninit(
-            sender_address,
+            sender_account_id,
-            recipient_address,
+            recipient_account_id,
             instruction_data,
             tx_pre_check,
             program,
@@ -247,7 +255,7 @@ impl WalletCore {
 
     pub async fn send_transfer_token_transaction_shielded_foreign_account(
         &self,
-        sender_address: Address,
+        sender_account_id: AccountId,
         recipient_npk: NullifierPublicKey,
         recipient_ipk: IncomingViewingPublicKey,
         amount: u128,
@@ -256,7 +264,7 @@ impl WalletCore {
             WalletCore::token_program_preparation_transfer(amount);
 
         self.shielded_two_accs_receiver_outer(
-            sender_address,
+            sender_account_id,
             recipient_npk,
             recipient_ipk,
             instruction_data,

wallet/src/token_transfers/deshielded.rs

@@ -1,13 +1,13 @@
 use common::{error::ExecutionFailureKind, sequencer_client::json::SendTxResponse};
-use nssa::Address;
+use nssa::AccountId;
 
 use crate::WalletCore;
 
 impl WalletCore {
     pub async fn send_deshielded_native_token_transfer(
         &self,
-        from: Address,
+        from: AccountId,
-        to: Address,
+        to: AccountId,
         balance_to_move: u128,
     ) -> Result<(SendTxResponse, [nssa_core::SharedSecretKey; 1]), ExecutionFailureKind> {
         let (instruction_data, program, tx_pre_check) =

wallet/src/token_transfers/private.rs

@@ -1,5 +1,5 @@
 use common::{error::ExecutionFailureKind, sequencer_client::json::SendTxResponse};
-use nssa::Address;
+use nssa::AccountId;
 use nssa_core::{
     MembershipProof, NullifierPublicKey, SharedSecretKey, encryption::IncomingViewingPublicKey,
 };
@@ -9,7 +9,7 @@ use crate::WalletCore;
 impl WalletCore {
     pub async fn send_private_native_token_transfer_outer_account(
         &self,
-        from: Address,
+        from: AccountId,
         to_npk: NullifierPublicKey,
         to_ipk: IncomingViewingPublicKey,
         balance_to_move: u128,
@@ -30,8 +30,8 @@ impl WalletCore {
 
     pub async fn send_private_native_token_transfer_owned_account_not_initialized(
         &self,
-        from: Address,
+        from: AccountId,
-        to: Address,
+        to: AccountId,
         balance_to_move: u128,
     ) -> Result<(SendTxResponse, [SharedSecretKey; 2]), ExecutionFailureKind> {
         let (instruction_data, program, tx_pre_check) =
@@ -43,8 +43,8 @@ impl WalletCore {
 
     pub async fn send_private_native_token_transfer_owned_account_already_initialized(
         &self,
-        from: Address,
+        from: AccountId,
-        to: Address,
+        to: AccountId,
         balance_to_move: u128,
         to_proof: MembershipProof,
     ) -> Result<(SendTxResponse, [SharedSecretKey; 2]), ExecutionFailureKind> {

wallet/src/token_transfers/public.rs

@@ -1,6 +1,6 @@
 use common::{error::ExecutionFailureKind, sequencer_client::json::SendTxResponse};
 use nssa::{
-    Address, PublicTransaction,
+    AccountId, PublicTransaction,
     program::Program,
     public_transaction::{Message, WitnessSet},
 };
@@ -10,8 +10,8 @@ use crate::WalletCore;
 impl WalletCore {
     pub async fn send_public_native_token_transfer(
         &self,
-        from: Address,
+        from: AccountId,
-        to: Address,
+        to: AccountId,
         balance_to_move: u128,
     ) -> Result<SendTxResponse, ExecutionFailureKind> {
         let Ok(balance) = self.get_account_balance(from).await else {
@@ -23,9 +23,10 @@ impl WalletCore {
                 return Err(ExecutionFailureKind::SequencerError);
             };
 
-            let addresses = vec![from, to];
+            let account_ids = vec![from, to];
             let program_id = Program::authenticated_transfer_program().id();
-            let message = Message::try_new(program_id, addresses, nonces, balance_to_move).unwrap();
+            let message =
+                Message::try_new(program_id, account_ids, nonces, balance_to_move).unwrap();
 
             let signing_key = self.storage.user_data.get_pub_account_signing_key(&from);
 
@@ -45,16 +46,16 @@ impl WalletCore {
 
     pub async fn register_account_under_authenticated_transfers_programs(
         &self,
-        from: Address,
+        from: AccountId,
     ) -> Result<SendTxResponse, ExecutionFailureKind> {
         let Ok(nonces) = self.get_accounts_nonces(vec![from]).await else {
             return Err(ExecutionFailureKind::SequencerError);
         };
 
         let instruction: u128 = 0;
-        let addresses = vec![from];
+        let account_ids = vec![from];
         let program_id = Program::authenticated_transfer_program().id();
-        let message = Message::try_new(program_id, addresses, nonces, instruction).unwrap();
+        let message = Message::try_new(program_id, account_ids, nonces, instruction).unwrap();
 
         let signing_key = self.storage.user_data.get_pub_account_signing_key(&from);
 

wallet/src/token_transfers/shielded.rs

@@ -1,5 +1,5 @@
 use common::{error::ExecutionFailureKind, sequencer_client::json::SendTxResponse};
-use nssa::Address;
+use nssa::AccountId;
 use nssa_core::{
     MembershipProof, NullifierPublicKey, SharedSecretKey, encryption::IncomingViewingPublicKey,
 };
@@ -9,8 +9,8 @@ use crate::WalletCore;
 impl WalletCore {
     pub async fn send_shielded_native_token_transfer_already_initialized(
         &self,
-        from: Address,
+        from: AccountId,
-        to: Address,
+        to: AccountId,
         balance_to_move: u128,
         to_proof: MembershipProof,
     ) -> Result<(SendTxResponse, [SharedSecretKey; 1]), ExecutionFailureKind> {
@@ -23,8 +23,8 @@ impl WalletCore {
 
     pub async fn send_shielded_native_token_transfer_not_initialized(
         &self,
-        from: Address,
+        from: AccountId,
-        to: Address,
+        to: AccountId,
         balance_to_move: u128,
     ) -> Result<(SendTxResponse, [SharedSecretKey; 1]), ExecutionFailureKind> {
         let (instruction_data, program, tx_pre_check) =
@@ -36,7 +36,7 @@ impl WalletCore {
 
     pub async fn send_shielded_native_token_transfer_outer_account(
         &self,
-        from: Address,
+        from: AccountId,
         to_npk: NullifierPublicKey,
         to_ipk: IncomingViewingPublicKey,
         balance_to_move: u128,

wallet/src/transaction_utils.rs

@@ -1,7 +1,7 @@
 use common::{error::ExecutionFailureKind, sequencer_client::json::SendTxResponse};
 use key_protocol::key_management::ephemeral_key_holder::EphemeralKeyHolder;
 use nssa::{
-    Account, Address, PrivacyPreservingTransaction,
+    Account, AccountId, PrivacyPreservingTransaction,
     privacy_preserving_transaction::{circuit, message::Message, witness_set::WitnessSet},
     program::Program,
 };
@@ -23,12 +23,15 @@ pub(crate) struct AccountPreparedData {
 impl WalletCore {
     pub(crate) async fn private_acc_preparation(
         &self,
-        addr: Address,
+        account_id: AccountId,
         is_authorized: bool,
         needs_proof: bool,
     ) -> Result<AccountPreparedData, ExecutionFailureKind> {
-        let Some((from_keys, from_acc)) =
+        let Some((from_keys, from_acc)) = self
-            self.storage.user_data.get_private_account(&addr).cloned()
+            .storage
+            .user_data
+            .get_private_account(&account_id)
+            .cloned()
         else {
             return Err(ExecutionFailureKind::KeyNotFoundError);
         };
@@ -66,8 +69,8 @@ impl WalletCore {
 
     pub(crate) async fn private_tx_two_accs_all_init(
         &self,
-        from: Address,
+        from: AccountId,
-        to: Address,
+        to: AccountId,
         instruction_data: InstructionData,
         tx_pre_check: impl FnOnce(&Account, &Account) -> Result<(), ExecutionFailureKind>,
         program: Program,
@@ -144,8 +147,8 @@ impl WalletCore {
 
     pub(crate) async fn private_tx_two_accs_receiver_uninit(
         &self,
-        from: Address,
+        from: AccountId,
-        to: Address,
+        to: AccountId,
         instruction_data: InstructionData,
         tx_pre_check: impl FnOnce(&Account, &Account) -> Result<(), ExecutionFailureKind>,
         program: Program,
@@ -218,7 +221,7 @@ impl WalletCore {
 
     pub(crate) async fn private_tx_two_accs_receiver_outer(
         &self,
-        from: Address,
+        from: AccountId,
         to_npk: NullifierPublicKey,
         to_ipk: IncomingViewingPublicKey,
         instruction_data: InstructionData,
@@ -289,8 +292,8 @@ impl WalletCore {
 
     pub(crate) async fn deshielded_tx_two_accs(
         &self,
-        from: Address,
+        from: AccountId,
-        to: Address,
+        to: AccountId,
         instruction_data: InstructionData,
         tx_pre_check: impl FnOnce(&Account, &Account) -> Result<(), ExecutionFailureKind>,
         program: Program,
@@ -349,8 +352,8 @@ impl WalletCore {
 
     pub(crate) async fn shielded_two_accs_all_init(
         &self,
-        from: Address,
+        from: AccountId,
-        to: Address,
+        to: AccountId,
         instruction_data: InstructionData,
         tx_pre_check: impl FnOnce(&Account, &Account) -> Result<(), ExecutionFailureKind>,
         program: Program,
@@ -416,8 +419,8 @@ impl WalletCore {
 
     pub(crate) async fn shielded_two_accs_receiver_uninit(
         &self,
-        from: Address,
+        from: AccountId,
-        to: Address,
+        to: AccountId,
         instruction_data: InstructionData,
         tx_pre_check: impl FnOnce(&Account, &Account) -> Result<(), ExecutionFailureKind>,
         program: Program,
@@ -482,7 +485,7 @@ impl WalletCore {
 
     pub(crate) async fn shielded_two_accs_receiver_outer(
         &self,
-        from: Address,
+        from: AccountId,
         to_npk: NullifierPublicKey,
         to_ipk: IncomingViewingPublicKey,
         instruction_data: InstructionData,
@@ -540,7 +543,7 @@ impl WalletCore {
 
     pub async fn register_account_under_authenticated_transfers_programs_private(
         &self,
-        from: Address,
+        from: AccountId,
     ) -> Result<(SendTxResponse, [SharedSecretKey; 1]), ExecutionFailureKind> {
         let AccountPreparedData {
             nsk: _,