Struct ConsistencyProof 

pub struct ConsistencyProof<D, V>
where
    D: SupportedDigest,
    V: VisitBytes,
{
    pub old_length: usize,
    pub new_length: usize,
    /* private fields */
}

A proof of the consistency between two points in the logs history.

Fields

old_length: usize

The older of the two points

new_length: usize

The newer of the two points

Implementations

impl<D, V> ConsistencyProof<D, V>

where D: SupportedDigest, V: VisitBytes,

pub fn evaluate( &self, hashes: &impl LogData<D, V>, ) -> Result<(Hash<D>, Hash<D>), ConsistencyProofError>

Evaluate an inclusion proof. Callers should verify that the returned root matches their expectation.

Walks the inclusion proof, hashes each layer, returns the root hash.

pub fn inclusions( &self, ) -> Result<Vec<InclusionProof<D, V>>, ConsistencyProofError>

Convert the consistency proof into a sequence of inclusion proofs. Each inclusion proof verifies that one of the balanced roots of the old tree is present in the root of the new tree.

Trait Implementations

impl<D, V> Clone for ConsistencyProof<D, V>

where D: SupportedDigest + Clone, V: VisitBytes + Clone,

fn clone(&self) -> ConsistencyProof<D, V>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<D, V> Debug for ConsistencyProof<D, V>

where D: SupportedDigest + Debug, V: VisitBytes + Debug,

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

Formats the value using the given formatter.

impl<D, V> PartialEq for ConsistencyProof<D, V>

where D: SupportedDigest + PartialEq, V: VisitBytes + PartialEq,

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

where D: SupportedDigest + Copy, V: VisitBytes + Copy,

impl<D, V> StructuralPartialEq for ConsistencyProof<D, V>

where D: SupportedDigest, V: VisitBytes,