Struct AccountHeader

pub struct AccountHeader { /* private fields */ }

A header of an account which contains information that succinctly describes the state of the components of the account.

The AccountHeader is composed of:

• id: the account ID (AccountId) of the account.
• nonce: the nonce of the account.
• vault_root: a commitment to the account’s vault (super::AssetVault).
• storage_commitment: a commitment to the account’s storage (super::AccountStorage).
• code_commitment: a commitment to the account’s code (super::AccountCode).

Implementations

impl AccountHeader

pub fn new( id: AccountId, nonce: BaseElement, vault_root: RpoDigest, storage_commitment: RpoDigest, code_commitment: RpoDigest, ) -> AccountHeader

Creates a new AccountHeader.

pub fn hash(&self) -> RpoDigest

Returns hash of this account.

Hash of an account is computed as hash(id, nonce, vault_root, storage_commitment, code_commitment). Computing the account hash requires 2 permutations of the hash function.

pub fn id(&self) -> AccountId

Returns the id of this account.

pub fn nonce(&self) -> BaseElement

Returns the nonce of this account.

pub fn vault_root(&self) -> RpoDigest

Returns the vault root of this account.

pub fn storage_commitment(&self) -> RpoDigest

Returns the storage commitment of this account.

pub fn code_commitment(&self) -> RpoDigest

Returns the code commitment of this account.

pub fn as_elements(&self) -> Vec<BaseElement>

Converts the account header into a vector of field elements.

This is done by first converting the account header data into an array of Words as follows:

[
    [account_id_suffix, account_id_prefix, 0, account_nonce]
    [VAULT_COMMITMENT]
    [STORAGE_COMMITMENT]
    [CODE_COMMITMENT]
]

And then concatenating the resulting elements into a single vector.

Trait Implementations

impl Clone for AccountHeader

fn clone(&self) -> AccountHeader

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AccountHeader

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

Formats the value using the given formatter.

impl Deserializable for AccountHeader

fn read_from<R>(source: &mut R) -> Result<AccountHeader, DeserializationError>

where R: ByteReader,

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into Self, and returns the result.

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result.

impl From<&Account> for AccountHeader

fn from(account: &Account) -> AccountHeader

Converts to this type from the input type.

impl From<Account> for AccountHeader

fn from(account: Account) -> AccountHeader

Converts to this type from the input type.

impl PartialEq for AccountHeader

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

fn write_into<W>(&self, target: &mut W)

where W: ByteWriter,

Serializes self into bytes and writes these bytes into the target.

fn to_bytes(&self) -> Vec<u8>

Serializes self into a vector of bytes.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl Eq for AccountHeader

impl StructuralPartialEq for AccountHeader