Struct AccountSmtForest 

pub struct AccountSmtForest<B>
where
    B: BackendReader,
{ /* private fields */ }

Account-oriented wrapper around LargeSmtForest.

Account SMTs are tracked as lineages, one per account vault and one per storage map slot, with identifiers derived deterministically from the account ID (and slot name). Each lineage evolves through strictly increasing versions supplied by the caller.

Lineage identifiers are an implementation detail: callers address trees by account ID and slot name, so no store can construct a lineage that diverges from the one this wrapper derives.

The wrapper is generic over the forest storage BackendReader, so read-only backends can serve roots and witnesses. Applying updates additionally requires Backend. Construction loads the backend’s tree metadata.

Implementations

impl<B> AccountSmtForest<B>

where B: BackendReader,

pub fn new(backend: B) -> Result<AccountSmtForest<B>, StoreError>

Creates a forest over the provided backend, loading tree metadata from it.

pub fn vault_root(&self, account_id: AccountId) -> Option<Word>

Returns the latest root of the account’s asset vault SMT, or None if the forest does not track the account.

pub fn map_root( &self, account_id: AccountId, slot_name: &StorageSlotName, ) -> Option<Word>

Returns the latest root of the account’s storage map SMT in the given slot, or None if the forest does not track that slot.

pub fn get_asset_and_witness( &self, account_id: AccountId, expected_vault_root: Word, asset_id: AssetId, ) -> Result<(Asset, AssetWitness), StoreError>

Retrieves the vault asset and its witness for a specific vault key.

The proof is opened against the latest tree of the account’s vault lineage, after verifying that its root matches expected_vault_root (the root recorded in the account tables). A mismatch means forest and account state are out of sync and is reported as a conflicting-roots error.

pub fn open_vault_asset_witnesses( &self, account_id: AccountId, expected_vault_root: Word, asset_ids: impl IntoIterator<Item = AssetId>, ) -> Result<Vec<AssetWitness>, StoreError>

Retrieves vault asset witnesses for the given vault keys.

Unlike Self::get_asset_and_witness, keys absent from the vault are served too: their witness is an emptiness proof, which the executor needs when an asset is being added to the vault.

The proofs are opened against the latest tree of the account’s vault lineage, after verifying that its root matches expected_vault_root.

pub fn get_storage_map_item_witness( &self, account_id: AccountId, slot_name: &StorageSlotName, expected_map_root: Word, key: StorageMapKey, ) -> Result<StorageMapWitness, StoreError>

Retrieves the storage map witness for a specific map item.

The proof is opened against the latest tree of the map’s lineage, after verifying that its root matches expected_map_root (the root recorded in the account tables).

impl<B> AccountSmtForest<B>

where B: Backend,

pub fn apply( &mut self, new_version: u64, update: AccountUpdate, ) -> Result<(), StoreError>

Applies a recorded update at the given version.

Lineages unknown to the forest are created from the empty tree; known lineages are updated from their latest tree. new_version must be strictly greater than the latest version of every updated lineage. Resulting roots are read back with Self::vault_root and Self::map_root.

Any root recorded on the update is verified against the computed mutations before they are applied, so a mismatch is rejected without modifying the forest.