Enum exonum_merkledb::ListProof

pub enum ListProof<V> {
    Full(Box<ListProof<V>>, Box<ListProof<V>>),
    Left(Box<ListProof<V>>, Option<Hash>),
    Right(Hash, Box<ListProof<V>>),
    Leaf(V),
    Absent(ProofOfAbsence),
}

An enum that represents a proof of existence for a proof list elements.

Variants

Full(Box<ListProof<V>>, Box<ListProof<V>>)

A branch of proof in which both children contain requested elements.

Left(Box<ListProof<V>>, Option<Hash>)

A branch of proof in which only the left child contains requested elements.

Right(Hash, Box<ListProof<V>>)

A branch of proof in which only the right child contains requested elements.

Leaf(V)

A leaf of the proof with the requested element.

Absent(ProofOfAbsence)

Proof of absence of an element with the specified index.

Methods

impl<V> ListProof<V> where
    V: BinaryValue, 

pub fn validate(
    &self,
    expected_list_hash: Hash,
    len: u64
) -> Result<Vec<(u64, &V)>, ListProofError>

Verifies the correctness of the proof by the trusted list hash and the number of elements in the tree.

To validate the proof one needs to provide expected_list_hash calculated as follows:

h = sha-256( HashTag::List || len as u64 || merkle_root )

and length of the ProofListIndex.

If the proof is valid, a vector with indices and references to elements is returned. Otherwise, Err is returned.

If the proof is the proof of absence, then empty vector will be returned.

Trait Implementations

impl<V: Clone> Clone for ListProof<V>

fn clone(&self) -> ListProof<V>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<V: PartialEq> PartialEq<ListProof<V>> for ListProof<V>

fn eq(&self, other: &ListProof<V>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &ListProof<V>) -> bool

This method tests for !=.

impl<V: Eq> Eq for ListProof<V>

impl<V: Debug> Debug for ListProof<V>

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

Formats the value using the given formatter.

impl<V: Serialize> Serialize for ListProof<V>

fn serialize<S>(&self, ser: S) -> Result<S::Ok, S::Error> where
    S: Serializer, 

Serialize this value into the given Serde serializer.

impl<'a, V> Deserialize<'a> for ListProof<V> where
    V: Deserialize<'de>, 

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error> where
    D: Deserializer<'a>, 

Deserialize this value from the given Serde deserializer.