Trait mithril_common::crypto_helper::MKMapValue

pub trait MKMapValue<K: MKMapKey>:
    Clone
    + TryInto<MKTreeNode>
    + TryFrom<MKTreeNode> {
    // Required methods
    fn compute_root(&self) -> StdResult<MKTreeNode>;
    fn contains<T: Into<MKTreeNode> + Clone>(&self, leaf: &T) -> bool;
    fn can_compute_proof(&self) -> bool;
    fn compute_proof<T: Into<MKTreeNode> + Clone>(
        &self,
        leaves: &[T],
    ) -> StdResult<Option<MKMapProof<K>>>;
}

The trait implemented by the values of a MKMap

Required Methods

fn compute_root(&self) -> StdResult<MKTreeNode>

Get the root of the merkelized map value

fn contains<T: Into<MKTreeNode> + Clone>(&self, leaf: &T) -> bool

Check if the merkelized map value contains a leaf

fn can_compute_proof(&self) -> bool

Can the merkelized map value compute a proof

fn compute_proof<T: Into<MKTreeNode> + Clone>( &self, leaves: &[T], ) -> StdResult<Option<MKMapProof<K>>>

Compute the proof for a set of values of the merkelized map

Object Safety

This trait is not object safe.

Implementors

impl<K: MKMapKey, S: MKTreeStorer> MKMapValue<K> for MKMapNode<K, S>