Struct AccountSmtForest 

pub struct AccountSmtForest { /* private fields */ }

Thin wrapper around SmtForest for account vault/storage proofs and updates.

Tracks current SMT roots per account with reference counting to safely pop roots from the underlying forest when no account references them anymore. Supports staged updates for transaction rollback via a pending roots stack.

Implementations

impl AccountSmtForest

pub fn new() -> AccountSmtForest

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

Returns the current roots for an account.

pub fn get_asset_and_witness( &self, vault_root: Word, vault_key: AssetVaultKey, ) -> Result<(Asset, AssetWitness), StoreError>

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

pub fn get_storage_map_item_witness( &self, map_root: Word, key: StorageMapKey, ) -> Result<StorageMapWitness, StoreError>

Retrieves the storage map witness for a specific map item.

pub fn stage_roots(&mut self, account_id: AccountId, new_roots: Vec<Word>)

Stages new roots for an account, saving old roots for potential rollback.

The old roots are pushed onto a pending stack and their refcounts are preserved. Call Self::commit_roots to release old roots or Self::discard_roots to restore them.

pub fn commit_roots(&mut self, account_id: AccountId)

Commits staged changes: releases all pending old roots for the account.

pub fn discard_roots(&mut self, account_id: AccountId)

Discards the most recent staged change: restores old roots and releases new roots.

If there are old roots to restore, the current roots are replaced with them. If there are no old roots (i.e., the account was first staged without prior state), the current roots are simply removed.

pub fn replace_roots(&mut self, account_id: AccountId, new_roots: Vec<Word>)

Replaces roots atomically: sets new roots and immediately releases old roots.

Use this when no rollback is needed (e.g., initial insert, network updates).

Panics

Panics if there are pending staged changes for the account. Use Self::commit_roots or Self::discard_roots first.

pub fn update_asset_nodes( &mut self, root: Word, new_assets: impl Iterator<Item = Asset>, removed_vault_keys: impl Iterator<Item = AssetVaultKey>, ) -> Result<Word, StoreError>

Updates the SMT forest with the new asset values.

pub fn update_storage_map_nodes( &mut self, root: Word, entries: impl Iterator<Item = (StorageMapKey, Word)>, ) -> Result<Word, StoreError>

Updates the SMT forest with the new storage map values.

pub fn insert_asset_nodes( &mut self, vault: &AssetVault, ) -> Result<(), StoreError>

Inserts the asset vault SMT nodes to the SMT forest.

pub fn insert_storage_map_nodes( &mut self, storage: &AccountStorage, ) -> Result<(), StoreError>

Inserts all storage map SMT nodes to the SMT forest.

pub fn insert_account_state( &mut self, vault: &AssetVault, storage: &AccountStorage, ) -> Result<(), StoreError>

Inserts the SMT nodes for an account’s vault and storage maps into the forest, without tracking roots for the account.

pub fn insert_and_register_account_state( &mut self, account_id: AccountId, vault: &AssetVault, storage: &AccountStorage, ) -> Result<(), StoreError>

Inserts all SMT nodes for an account’s vault and storage, then replaces the account’s tracked roots atomically.

pub fn insert_storage_map_nodes_for_map( &mut self, map: &StorageMap, ) -> Result<(), StoreError>

Trait Implementations

impl Clone for AccountSmtForest

fn clone(&self) -> AccountSmtForest

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AccountSmtForest

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Default for AccountSmtForest

fn default() -> AccountSmtForest

Returns the “default value” for a type.

impl PartialEq for AccountSmtForest

fn eq(&self, other: &AccountSmtForest) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for AccountSmtForest

impl StructuralPartialEq for AccountSmtForest