Struct AccountWitness

pub struct AccountWitness { /* private fields */ }

A specialized version of an SmtProof for use in AccountTree and PartialAccountTree. It proves the inclusion of an account ID at a certain state (i.e. Account::commitment) in the AccountTree.

By construction the witness can only represent the equivalent of an SmtLeaf with zero or one entries, which guarantees that the account ID prefix it represents is unique in the tree.

Guarantees

This type guarantees that:

• its MerklePath is of depth SMT_DEPTH.
• converting this type into an SmtProof results in a leaf with zero or one entries, i.e. the account ID prefix is unique.

Implementations

impl AccountWitness

pub fn new( account_id: AccountId, commitment: Digest, path: MerklePath, ) -> Result<Self, AccountTreeError>

Constructs a new AccountWitness from the provided parts.

Errors

Returns an error if:

• the merkle path’s depth is not AccountTree::DEPTH.

pub fn id(&self) -> AccountId

Returns the underlying AccountId that this witness proves inclusion for.

pub fn state_commitment(&self) -> Digest

Returns the state commitment of the account witness.

pub fn path(&self) -> &MerklePath

Returns the MerklePath of the account witness.

pub fn leaf(&self) -> SmtLeaf

Returns the SmtLeaf of the account witness.

pub fn into_proof(self) -> SmtProof

Consumes self and returns the inner proof.

pub fn inner_nodes(&self) -> impl Iterator<Item = InnerNodeInfo> + '_

Returns an iterator over every inner node of this witness’ merkle path.

Trait Implementations

impl Clone for AccountWitness

fn clone(&self) -> AccountWitness

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AccountWitness

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

Formats the value using the given formatter.

impl Deserializable for AccountWitness

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

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<AccountWitness> for SmtProof

fn from(witness: AccountWitness) -> Self

Converts to this type from the input type.

impl PartialEq for AccountWitness

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

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

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 AccountWitness

impl StructuralPartialEq for AccountWitness