miden_node_proto/domain/

account.rs

use std::collections::HashSet;
use std::fmt::{Debug, Formatter};

use miden_node_utils::limiter::{QueryParamLimiter, QueryParamStorageMapKeyTotalLimit};
use miden_protobuf::{ConversionResultExt, DecodeMessage, Decoded, RequiredField, Verify, decode};
use miden_protocol::Word;
#[cfg(test)]
use miden_protocol::account::StorageSlotHeader;
use miden_protocol::account::{
    Account,
    AccountCode,
    AccountHeader,
    AccountId,
    AccountStorageHeader,
    StorageMap,
    StorageMapKey,
    StorageSlotName,
    StorageSlotType,
};
use miden_protocol::asset::Asset;
use miden_protocol::block::BlockNumber;
use miden_protocol::block::account_tree::AccountWitness;
use miden_protocol::crypto::merkle::MerkleError;
use miden_protocol::crypto::merkle::smt::{PartialSmt, SmtProof};

use crate::errors::ConversionError;
use crate::generated::{self as proto};

#[cfg(test)]
mod tests;

// ACCOUNT UPDATE
// ================================================================================================

#[derive(Debug, PartialEq)]
pub struct AccountSummary {
    pub account_id: AccountId,
    pub account_commitment: Word,
    pub block_num: BlockNumber,
}

#[derive(Debug, PartialEq)]
pub struct AccountInfo {
    pub summary: AccountSummary,
    pub details: Option<Account>,
}

// REGISTER ACCOUNT REQUEST
// ================================================================================================

impl Debug for proto::miden::node::v1::RegisterAccountRequest {
    fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
        f.debug_struct("RegisterAccountRequest")
            .field("account_id", &self.account_id)
            .finish_non_exhaustive()
    }
}

/// Decoded registration fields. The invitation code remains unvalidated.
#[must_use = "decoded fields have not been verified"]
pub struct DecodedRegisterAccountRequest {
    pub invitation_code: String,
    pub account_id: Decoded<proto::account::AccountId>,
}

impl Debug for DecodedRegisterAccountRequest {
    fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
        f.debug_struct("DecodedRegisterAccountRequest")
            .field("account_id", &self.account_id)
            .finish_non_exhaustive()
    }
}

impl DecodeMessage for proto::miden::node::v1::RegisterAccountRequest {
    type Decoded = DecodedRegisterAccountRequest;
}

impl TryFrom<proto::miden::node::v1::RegisterAccountRequest> for DecodedRegisterAccountRequest {
    type Error = ConversionError;

    fn try_from(
        request: proto::miden::node::v1::RegisterAccountRequest,
    ) -> Result<Self, Self::Error> {
        Ok(Self {
            invitation_code: request.invitation_code,
            account_id: decode(
                RequiredField::<proto::miden::node::v1::RegisterAccountRequest, _>::new(
                    "account_id",
                    request.account_id,
                ),
            )?,
        })
    }
}

/// A registration request with a verified account ID. The invitation code remains unvalidated.
pub struct RegisterAccountRequest {
    pub invitation_code: String,
    pub account_id: AccountId,
}

impl Debug for RegisterAccountRequest {
    fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
        f.debug_struct("RegisterAccountRequest")
            .field("account_id", &self.account_id)
            .finish_non_exhaustive()
    }
}

impl Verify for DecodedRegisterAccountRequest {
    type Verified = RegisterAccountRequest;
    type Error = ConversionError;

    fn verify(self) -> Result<Self::Verified, Self::Error> {
        Ok(RegisterAccountRequest {
            invitation_code: self.invitation_code,
            account_id: self.account_id.verify().context("account_id")?,
        })
    }
}

impl Verify for proto::miden::node::v1::DecodedIsAccountAllowedRequest {
    type Verified = AccountId;
    type Error = ConversionError;

    fn verify(self) -> Result<Self::Verified, Self::Error> {
        self.account_id.verify().context("account_id")
    }
}

// IS INVITATION CODE VALID REQUEST
// ================================================================================================

impl Debug for proto::miden::node::v1::IsInvitationCodeValidRequest {
    fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
        f.debug_struct("IsInvitationCodeValidRequest").finish_non_exhaustive()
    }
}

/// Decoded invitation check fields. The invitation code remains unvalidated.
#[must_use = "decoded fields have not been verified"]
pub struct DecodedIsInvitationCodeValidRequest {
    pub invitation_code: String,
}

impl Debug for DecodedIsInvitationCodeValidRequest {
    fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
        f.debug_struct("DecodedIsInvitationCodeValidRequest").finish_non_exhaustive()
    }
}

impl DecodeMessage for proto::miden::node::v1::IsInvitationCodeValidRequest {
    type Decoded = DecodedIsInvitationCodeValidRequest;
}

impl TryFrom<proto::miden::node::v1::IsInvitationCodeValidRequest>
    for DecodedIsInvitationCodeValidRequest
{
    type Error = ConversionError;

    fn try_from(
        request: proto::miden::node::v1::IsInvitationCodeValidRequest,
    ) -> Result<Self, Self::Error> {
        Ok(Self { invitation_code: request.invitation_code })
    }
}

/// Returns the raw invitation code. The handler validates the code because an empty code is
/// accepted when allowlist enforcement is disabled.
impl Verify for DecodedIsInvitationCodeValidRequest {
    type Verified = String;
    type Error = ConversionError;

    fn verify(self) -> Result<Self::Verified, Self::Error> {
        Ok(self.invitation_code)
    }
}

// ACCOUNT REQUEST
// ================================================================================================

/// Represents a request for an account proof.
#[derive(Debug)]
pub struct GetAccountRequest {
    pub account_id: AccountId,
    // If not present, the latest account proof references the latest available
    pub block_num: Option<BlockNumber>,
    pub details: Option<AccountDetailRequest>,
}

impl Verify for proto::miden::node::v1::DecodedGetAccountRequest {
    type Verified = GetAccountRequest;
    type Error = ConversionError;

    fn verify(self) -> Result<Self::Verified, Self::Error> {
        let Self { account_id, block_num, details } = self;

        let account_id = account_id.verify().context("account_id")?;
        let block_num = block_num.verify()?;

        let details = details.verify()?;

        Ok(GetAccountRequest { account_id, block_num, details })
    }
}

/// Represents a request for account details alongside specific storage data.
#[derive(Debug)]
pub struct AccountDetailRequest {
    pub code_commitment: Option<Word>,
    pub asset_vault_commitment: Option<Word>,
    pub storage_request: AccountStorageRequest,
}

#[derive(Debug, Clone, PartialEq, Eq)]
pub enum AccountStorageRequest {
    None,
    AllStorageMaps,
    Explicit(Vec<StorageMapRequest>),
}

impl Verify for proto::miden::node::v1::get_account_request::DecodedAccountDetailRequest {
    type Verified = AccountDetailRequest;
    type Error = ConversionError;

    fn verify(self) -> Result<Self::Verified, Self::Error> {
        use proto::miden::node::v1::get_account_request::account_detail_request::DecodedStorageRequest as ProtoStorageRequest;

        let Self {
            code_commitment,
            asset_vault_commitment,
            storage_request,
        } = self;

        let storage_request = match storage_request.into_inner() {
            None => AccountStorageRequest::None,
            Some(ProtoStorageRequest::AllStorageMaps(true)) => {
                AccountStorageRequest::AllStorageMaps
            },
            Some(ProtoStorageRequest::AllStorageMaps(false)) => {
                return Err(ConversionError::message("all_storage_maps must be true when set"));
            },
            Some(ProtoStorageRequest::StorageMaps(requests)) => {
                let requests =
                    requests.storage_maps.verify().context("storage_request.storage_maps")?;
                AccountStorageRequest::Explicit(requests)
            },
        };

        Ok(AccountDetailRequest {
            code_commitment: code_commitment.into_inner(),
            asset_vault_commitment: asset_vault_commitment.into_inner(),
            storage_request,
        })
    }
}

#[derive(Debug, Clone, PartialEq, Eq)]
pub struct StorageMapRequest {
    pub slot_name: StorageSlotName,
    pub slot_data: SlotData,
}

impl Verify
    for proto::miden::node::v1::get_account_request::account_detail_request::DecodedStorageMapDetailRequest
{
    type Verified = StorageMapRequest;
    type Error = ConversionError;

    fn verify(self) -> Result<Self::Verified, Self::Error> {
        let Self { slot_name, slot_data } = self;

        let slot_name = StorageSlotName::new(slot_name).context("slot_name")?;
        let slot_data = slot_data.verify().context("slot_data")?;

        Ok(StorageMapRequest { slot_name, slot_data })
    }
}

/// Request of slot data values.
#[derive(Debug, Clone, PartialEq, Eq)]
pub enum SlotData {
    All,
    MapKeys(Vec<StorageMapKey>),
}

impl Verify for proto::miden::node::v1::get_account_request::account_detail_request::storage_map_detail_request::DecodedSlotData {
    type Verified = SlotData;
    type Error = ConversionError;

    fn verify(self) -> Result<Self::Verified, Self::Error> {
        use proto::miden::node::v1::get_account_request::account_detail_request::storage_map_detail_request::DecodedSlotData as ProtoSlotData;

        Ok(match self {
            ProtoSlotData::AllEntries(true) => SlotData::All,
            ProtoSlotData::AllEntries(false) => {
                return Err(ConversionError::message("enum variant discriminant out of range"));
            },
            ProtoSlotData::MapKeys(keys) => {
                let keys = keys
                    .map_keys
                    .map(StorageMapKey::new);
                if has_duplicate_storage_map_keys(&keys) {
                    return Err(ConversionError::message(
                        "storage map key request contains duplicate keys",
                    ));
                }
                SlotData::MapKeys(keys)
            },
        })
    }
}

fn has_duplicate_storage_map_keys(keys: &[StorageMapKey]) -> bool {
    let mut seen = HashSet::with_capacity(keys.len());
    keys.iter().any(|key| !seen.insert(key))
}

// ACCOUNT VAULT DETAILS
//================================================================================================

/// Account vault details
///
/// When an account contains a large number of assets (>
/// [`AccountVaultDetails::MAX_RETURN_ENTRIES`]), including all assets in a single RPC response
/// creates performance issues. In such cases, the `LimitExceeded` variant indicates to the client
/// to use the `SyncAccountVault` endpoint instead.
#[derive(Debug, Clone, PartialEq, Eq)]
pub enum AccountVaultDetails {
    /// The vault has too many assets to return inline. Clients must use `SyncAccountVault` endpoint
    /// instead.
    LimitExceeded,

    /// The assets in the vault (up to `MAX_RETURN_ENTRIES`).
    Assets(Vec<Asset>),
}

impl AccountVaultDetails {
    /// Maximum number of vault entries that can be returned in a single response. Accounts with
    /// more assets will have `LimitExceeded` variant.
    pub const MAX_RETURN_ENTRIES: usize = 1000;

    pub fn empty() -> Self {
        Self::Assets(Vec::new())
    }

    /// Creates `AccountVaultDetails` from a list of assets.
    pub fn from_assets(assets: Vec<Asset>) -> Self {
        if assets.len() > Self::MAX_RETURN_ENTRIES {
            Self::LimitExceeded
        } else {
            Self::Assets(assets)
        }
    }
}

impl Verify for proto::miden::node::v1::DecodedAccountVaultDetails {
    type Verified = AccountVaultDetails;
    type Error = ConversionError;

    fn verify(self) -> Result<Self::Verified, Self::Error> {
        let Self { too_many_assets, assets } = self;

        if too_many_assets {
            Ok(AccountVaultDetails::LimitExceeded)
        } else {
            let parsed_assets = assets.verify()?;
            Ok(AccountVaultDetails::Assets(parsed_assets))
        }
    }
}

impl From<AccountVaultDetails> for proto::miden::node::v1::AccountVaultDetails {
    fn from(value: AccountVaultDetails) -> Self {
        match value {
            AccountVaultDetails::LimitExceeded => Self {
                too_many_assets: true,
                assets: Vec::new(),
            },
            AccountVaultDetails::Assets(assets) => Self {
                too_many_assets: false,
                assets: assets.into_iter().map(proto::asset::Asset::from).collect::<Vec<_>>(),
            },
        }
    }
}

// ACCOUNT STORAGE MAP DETAILS
//================================================================================================

/// Details about an account storage map slot.
#[derive(Debug, Clone, PartialEq, Eq)]
pub struct AccountStorageMapDetails {
    pub slot_name: StorageSlotName,
    pub entries: StorageMapEntries,
}

/// Storage map entries for an account storage slot.
///
/// When a storage map contains many entries (> [`AccountStorageMapDetails::MAX_RETURN_ENTRIES`]),
/// returning all entries in a single RPC response creates performance issues. In such cases,
/// the `LimitExceeded` variant indicates to the client to use the `SyncAccountStorageMaps` endpoint
/// instead.
#[derive(Debug, Clone, PartialEq, Eq)]
pub enum StorageMapEntries {
    /// The map has too many entries to return inline. Clients must use `SyncAccountStorageMaps`
    /// endpoint instead.
    LimitExceeded,

    /// All storage map entries (key-value pairs) without proofs. Used when all entries are
    /// requested for small maps.
    AllEntries(Vec<(StorageMapKey, Word)>),

    /// Specific raw map keys covered by a single partial SMT. Used when specific keys are requested
    /// from the storage map.
    PartialMap {
        map_keys: Vec<StorageMapKey>,
        partial_smt: PartialSmt,
    },
}

impl AccountStorageMapDetails {
    /// Maximum number of storage map entries that can be returned in a single response.
    pub const MAX_RETURN_ENTRIES: usize = 1000;

    /// Maximum number of SMT proofs that can be returned in a single response.
    ///
    /// This limit is more restrictive than [`Self::MAX_RETURN_ENTRIES`] because SMT proofs
    /// are larger (up to 64 inner nodes each) and more CPU-intensive to generate.
    ///
    /// This is defined by [`QueryParamStorageMapKeyTotalLimit::LIMIT`] and used both in RPC
    /// validation and store-level enforcement to ensure consistent limits.
    pub const MAX_SMT_PROOF_ENTRIES: usize = QueryParamStorageMapKeyTotalLimit::LIMIT;

    /// Creates storage map details with all entries from the storage map.
    ///
    /// If the storage map has too many entries (> `MAX_RETURN_ENTRIES`),
    /// returns `LimitExceeded` variant.
    pub fn from_all_entries(slot_name: StorageSlotName, storage_map: &StorageMap) -> Self {
        if storage_map.num_entries() > Self::MAX_RETURN_ENTRIES {
            Self {
                slot_name,
                entries: StorageMapEntries::LimitExceeded,
            }
        } else {
            let entries = storage_map.entries().map(|(k, v)| (*k, *v)).collect::<Vec<_>>();
            Self {
                slot_name,
                entries: StorageMapEntries::AllEntries(entries),
            }
        }
    }

    /// Creates storage map details from forest-queried entries.
    ///
    /// Returns `LimitExceeded` if too many entries.
    pub fn from_forest_entries(
        slot_name: StorageSlotName,
        entries: Vec<(StorageMapKey, Word)>,
    ) -> Self {
        if entries.len() > Self::MAX_RETURN_ENTRIES {
            Self {
                slot_name,
                entries: StorageMapEntries::LimitExceeded,
            }
        } else {
            Self {
                slot_name,
                entries: StorageMapEntries::AllEntries(entries),
            }
        }
    }

    /// Creates storage map details from pre-computed SMT proofs.
    ///
    /// Use this when the caller has already obtained the proofs from an `SmtForest`.
    /// Returns `LimitExceeded` if too many proofs are provided.
    pub fn from_proofs(
        slot_name: StorageSlotName,
        map_root: Word,
        map_keys: Vec<StorageMapKey>,
        proofs: Vec<SmtProof>,
    ) -> Result<Self, MerkleError> {
        if map_keys.len() != proofs.len() {
            return Err(MerkleError::InternalError(format!(
                "storage map key count {} does not match proof count {}",
                map_keys.len(),
                proofs.len()
            )));
        }
        if has_duplicate_storage_map_keys(&map_keys) {
            return Err(MerkleError::InternalError(
                "storage map key list contains duplicate keys".into(),
            ));
        }

        if map_keys.len() > Self::MAX_SMT_PROOF_ENTRIES {
            return Ok(Self {
                slot_name,
                entries: StorageMapEntries::LimitExceeded,
            });
        }

        let partial_smt = if proofs.is_empty() {
            PartialSmt::new(map_root)
        } else {
            PartialSmt::from_proofs(proofs)?
        };

        if partial_smt.root() != map_root {
            return Err(MerkleError::ConflictingRoots {
                expected_root: map_root,
                actual_root: partial_smt.root(),
            });
        }

        for map_key in &map_keys {
            partial_smt.get_value(&map_key.hash().as_word())?;
        }

        Ok(Self {
            slot_name,
            entries: StorageMapEntries::PartialMap { map_keys, partial_smt },
        })
    }

    /// Creates storage map details indicating the limit was exceeded.
    pub fn limit_exceeded(slot_name: StorageSlotName) -> Self {
        Self {
            slot_name,
            entries: StorageMapEntries::LimitExceeded,
        }
    }
}

impl Verify for proto::miden::node::v1::account_storage_details::DecodedAccountStorageMapDetails {
    type Verified = AccountStorageMapDetails;
    type Error = ConversionError;

    fn verify(self) -> Result<Self::Verified, Self::Error> {
        use proto::miden::node::v1::account_storage_details::account_storage_map_details::{
            DecodedAllMapEntries,
            DecodedPartialStorageMap,
            DecodedResult as ProtoResult,
        };

        let Self { slot_name, result } = self;

        let slot_name = StorageSlotName::new(slot_name).context("slot_name")?;

        let entries = match result {
            ProtoResult::TooManyEntries(true) => StorageMapEntries::LimitExceeded,
            ProtoResult::TooManyEntries(false) => {
                return Err(ConversionError::message("too_many_entries must be true when set"));
            },
            ProtoResult::AllEntries(DecodedAllMapEntries { entries }) => {
                let entries = entries.map(|entry| (StorageMapKey::new(entry.key), entry.value));
                StorageMapEntries::AllEntries(entries)
            },
            ProtoResult::PartialMap(DecodedPartialStorageMap { map_keys, partial_smt }) => {
                let map_keys = map_keys.into_inner();
                if map_keys.len() > AccountStorageMapDetails::MAX_SMT_PROOF_ENTRIES {
                    return Err(ConversionError::message(format!(
                        "partial storage map contains {} keys, exceeding the limit of {}",
                        map_keys.len(),
                        AccountStorageMapDetails::MAX_SMT_PROOF_ENTRIES
                    )));
                }
                let map_keys = map_keys.into_iter().map(StorageMapKey::new).collect::<Vec<_>>();
                if has_duplicate_storage_map_keys(&map_keys) {
                    return Err(ConversionError::message(
                        "partial storage map contains duplicate keys",
                    ));
                }
                let partial_smt: PartialSmt = partial_smt.verify().context("partial_smt")?;
                for map_key in &map_keys {
                    partial_smt.get_value(&map_key.hash().as_word()).context("map_keys")?;
                }
                StorageMapEntries::PartialMap { map_keys, partial_smt }
            },
        };

        Ok(Self::Verified { slot_name, entries })
    }
}

impl From<AccountStorageMapDetails>
    for proto::miden::node::v1::account_storage_details::AccountStorageMapDetails
{
    fn from(value: AccountStorageMapDetails) -> Self {
        use proto::miden::node::v1::account_storage_details::account_storage_map_details::{
            AllMapEntries,
            PartialStorageMap,
            Result as ProtoResult,
        };

        let AccountStorageMapDetails { slot_name, entries } = value;

        let result = match entries {
            StorageMapEntries::LimitExceeded => ProtoResult::TooManyEntries(true),
            StorageMapEntries::AllEntries(entries) => {
                let all = AllMapEntries {
                    entries: entries.into_iter().map(|(key, value)| {
                        proto::miden::node::v1::account_storage_details::account_storage_map_details::all_map_entries::StorageMapEntry {
                            key: Some(Word::from(key).into()),
                            value: Some(value.into()),
                        }
                    }).collect::<Vec<_>>(),
                };
                ProtoResult::AllEntries(all)
            },
            StorageMapEntries::PartialMap { map_keys, partial_smt } => {
                ProtoResult::PartialMap(PartialStorageMap {
                    map_keys: map_keys
                        .into_iter()
                        .map(|key| proto::primitives::Word::from(Word::from(key)))
                        .collect(),
                    partial_smt: Some(partial_smt.into()),
                })
            },
        };

        Self {
            slot_name: slot_name.to_string(),
            result: Some(result),
        }
    }
}

#[derive(Debug, Clone, PartialEq)]
pub struct AccountStorageDetails {
    pub header: AccountStorageHeader,
    pub map_details: Vec<AccountStorageMapDetails>,
}

impl AccountStorageDetails {
    /// Creates storage details where all map slots indicate limit exceeded.
    pub fn all_limits_exceeded(
        header: AccountStorageHeader,
        slot_names: impl IntoIterator<Item = StorageSlotName>,
    ) -> Self {
        Self {
            header,
            map_details: slot_names
                .into_iter()
                .map(AccountStorageMapDetails::limit_exceeded)
                .collect::<Vec<_>>(),
        }
    }
}

impl Verify for proto::miden::node::v1::DecodedAccountStorageDetails {
    type Verified = AccountStorageDetails;
    type Error = ConversionError;

    fn verify(self) -> Result<Self::Verified, Self::Error> {
        let Self { header, map_details } = self;

        let header: AccountStorageHeader = header.verify().context("header")?;

        let map_details = map_details.verify()?;

        for map_detail in &map_details {
            let StorageMapEntries::PartialMap { partial_smt, .. } = &map_detail.entries else {
                continue;
            };

            let slot = header.find_slot_header_by_name(&map_detail.slot_name).ok_or_else(|| {
                ConversionError::message(format!(
                    "partial storage map references unknown slot {}",
                    map_detail.slot_name
                ))
            })?;
            if slot.slot_type() != StorageSlotType::Map {
                return Err(ConversionError::message(format!(
                    "partial storage map references non-map slot {}",
                    map_detail.slot_name
                )));
            }
            if partial_smt.root() != slot.value() {
                return Err(ConversionError::message(format!(
                    "partial storage map root for slot {} does not match storage header",
                    map_detail.slot_name
                )));
            }
        }

        Ok(Self::Verified { header, map_details })
    }
}

impl From<AccountStorageDetails> for proto::miden::node::v1::AccountStorageDetails {
    fn from(value: AccountStorageDetails) -> Self {
        let AccountStorageDetails { header, map_details } = value;

        Self {
            header: Some(header.into()),
            map_details: map_details.into_iter().map(Into::into).collect(),
        }
    }
}

// ACCOUNT PROOF RESPONSE
//================================================================================================

/// Represents the response to an account proof request.
pub struct GetAccountResponse {
    pub block_num: BlockNumber,
    pub witness: AccountWitness,
    pub details: Option<AccountDetails>,
}

impl Verify for proto::miden::node::v1::DecodedGetAccountResponse {
    type Verified = GetAccountResponse;
    type Error = ConversionError;

    /// Check that supplied details match the account witness. The caller must authenticate the
    /// witness root and block against trusted chain state.
    fn verify(self) -> Result<Self::Verified, Self::Error> {
        let Self { block_num, witness, details } = self;

        let block_num = block_num.verify().context("block_num")?;

        let witness = witness.verify().context("witness")?;

        let details = details.verify()?;

        if let Some(details) = &details {
            if details.account_header.id() != witness.id() {
                return Err(ConversionError::message("account ID does not match witness")
                    .context("details.header.account_id"));
            }
            if details.account_header.to_commitment() != witness.state_commitment() {
                return Err(ConversionError::message("account commitment does not match witness")
                    .context("details.header"));
            }
        }

        Ok(GetAccountResponse { block_num, witness, details })
    }
}

impl From<GetAccountResponse> for proto::miden::node::v1::GetAccountResponse {
    fn from(value: GetAccountResponse) -> Self {
        let GetAccountResponse { block_num, witness, details } = value;

        Self {
            witness: Some(witness.into()),
            details: details.map(Into::into),
            block_num: Some(block_num.into()),
        }
    }
}

// ACCOUNT DETAILS
//================================================================================================

/// Represents account details returned in response to an account proof request.
pub struct AccountDetails {
    pub account_header: AccountHeader,
    pub account_code: Option<AccountCode>,
    pub vault_details: AccountVaultDetails,
    pub storage_details: AccountStorageDetails,
}

impl AccountDetails {
    /// Creates account details where all storage map slots indicate limit exceeded.
    pub fn with_storage_limits_exceeded(
        account_header: AccountHeader,
        account_code: Option<AccountCode>,
        vault_details: AccountVaultDetails,
        storage_header: AccountStorageHeader,
        slot_names: impl IntoIterator<Item = StorageSlotName>,
    ) -> Self {
        Self {
            account_header,
            account_code,
            vault_details,
            storage_details: AccountStorageDetails::all_limits_exceeded(storage_header, slot_names),
        }
    }
}

impl Verify for proto::miden::node::v1::get_account_response::DecodedAccountDetails {
    type Verified = AccountDetails;
    type Error = ConversionError;

    /// Verify storage and supplied code commitments against the account header. This does not
    /// authenticate the header against trusted chain state.
    fn verify(self) -> Result<Self::Verified, Self::Error> {
        let Self {
            header,
            code,
            vault_details,
            storage_details,
        } = self;

        let account_header = header.verify().context("header")?;

        let storage_details = storage_details.verify().context("storage_details")?;
        if storage_details.header.to_commitment() != account_header.storage_commitment() {
            return Err(ConversionError::message(
                "storage commitment does not match account header",
            )
            .context("storage_details.header"));
        }

        let vault_details = vault_details.verify().context("vault_details")?;
        let account_code = code.verify()?;
        if let Some(code) = &account_code
            && code.commitment() != account_header.code_commitment()
        {
            return Err(ConversionError::message("code commitment does not match account header")
                .context("code"));
        }

        Ok(AccountDetails {
            account_header,
            account_code,
            vault_details,
            storage_details,
        })
    }
}

impl From<AccountDetails> for proto::miden::node::v1::get_account_response::AccountDetails {
    fn from(value: AccountDetails) -> Self {
        let AccountDetails {
            account_header,
            storage_details,
            account_code,
            vault_details,
        } = value;

        let header = Some(proto::account::AccountHeader::from(account_header));
        let storage_details = Some(storage_details.into());
        let code = account_code.map(Into::into);
        let vault_details = Some(vault_details.into());

        Self {
            header,
            storage_details,
            code,
            vault_details,
        }
    }
}