Struct Asset 

#[repr(transparent)]
pub struct Asset {
    pub inner: Word,
}

A fungible or a non-fungible asset.

All assets are encoded using a single word (4 elements) such that it is easy to determine the type of an asset both inside and outside Miden VM. Specifically:

Element 1 of the asset will be:

• ZERO for a fungible asset.
• non-ZERO for a non-fungible asset.

Element 3 of both asset types is the prefix of an AccountId, which can be used to distinguish assets.

The methodology for constructing fungible and non-fungible assets is described below.

Fungible assets

• A fungible asset’s data layout is: [amount, 0, faucet_id_suffix, faucet_id_prefix].

Non-fungible assets

• A non-fungible asset’s data layout is: [hash0, hash1, hash2, faucet_id_prefix].

The 4 elements of non-fungible assets are computed as follows:

• First the asset data is hashed. This compresses an asset of an arbitrary length to 4 field elements: [hash0, hash1, hash2, hash3].
• hash3 is then replaced with the prefix of the faucet ID (faucet_id_prefix) which issues the asset: [hash0, hash1, hash2, faucet_id_prefix].

Fields

inner: Word

Implementations

impl Asset

pub fn new(word: impl Into<Word>) -> Self

pub fn as_word(&self) -> &Word

Trait Implementations

impl AsRef<Word> for Asset

fn as_ref(&self) -> &Word

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for Asset

fn clone(&self) -> Asset

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Asset

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

Formats the value using the given formatter.

impl From<[Felt; 4]> for Asset

fn from(value: [Felt; 4]) -> Self

Converts to this type from the input type.

impl From<Asset> for Word

fn from(val: Asset) -> Self

Converts to this type from the input type.

impl From<Word> for Asset

fn from(value: Word) -> Self

Converts to this type from the input type.

impl PartialEq for Asset

fn eq(&self, other: &Asset) -> 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 Copy for Asset

impl Eq for Asset

impl StructuralPartialEq for Asset