Struct BlocklistStorage 

pub struct BlocklistStorage { /* private fields */ }

Storage backing the per-faucet blocklist.

BlocklistStorage exposes the slot name and schema for the blocked_accounts map plus an optional initial set of blocked accounts. It is not an installable account component on its own — the policy component that installs the storage map (typically super::BasicBlocklist) reads the slot name and the initial entries from here.

The low-level block_account / unblock_account / is_blocked / assert_not_blocked procedures live in the standards library at miden::standards::faucets::policies::transfer::blocklist as Invocation: exec helpers — they perform no authorization and must be wrapped by an auth-checking admin component (see BlocklistOwnerControlled) before being exposed on a faucet.

Storage

• Self::blocked_accounts_slot(): storage map keyed by account ID (word layout [0, 0, account_id_suffix, account_id_prefix]). An account is considered blocked when its entry is the word [1, 0, 0, 0]; the zero word (including the default for unset entries) means not blocked.

Implementations

impl BlocklistStorage

pub fn new() -> BlocklistStorage

Creates a BlocklistStorage with no initially blocked accounts.

pub fn with_blocked_accounts( blocked_accounts: impl IntoIterator<Item = AccountId>, ) -> BlocklistStorage

Creates a BlocklistStorage with the given blocked accounts.

Duplicate account IDs are deduplicated by the underlying set.

pub fn blocked_accounts(&self) -> &BTreeSet<AccountId>

Returns the initial blocked accounts captured in this storage.

pub fn blocked_accounts_slot() -> &'static StorageSlotName

Storage slot name for the blocked-accounts map.

pub fn blocked_accounts_slot_schema() -> (StorageSlotName, StorageSlotSchema)

Schema entry for the blocked-accounts map slot (documentation / tooling).

pub fn build_storage_map(&self) -> StorageMap

Builds the initial blocked_accounts StorageMap from the captured set, marking each account ID’s map entry with the [1, 0, 0, 0] blocked-flag word.

pub fn into_slot(self) -> StorageSlot

Consumes the storage and returns the StorageSlot it contributes to an account component. The blocked_accounts map populated with the initial entries.

Trait Implementations

impl Clone for BlocklistStorage

fn clone(&self) -> BlocklistStorage

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BlocklistStorage

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

Formats the value using the given formatter.

impl Default for BlocklistStorage

fn default() -> BlocklistStorage

Returns the “default value” for a type.