Struct ConsistencyProof 

pub struct ConsistencyProof {
    pub boundary_hash: Vec<u8>,
    pub peak_path: Vec<ProofStep>,
    pub new_peaks: Vec<Vec<u8>>,
    pub split_index: usize,
}

Consistency proof: proves tree at old_size is a prefix of tree at new_size.

MMR-native (increment-proof) shape: the old tree’s rightmost peak is included at one slot of the new tree’s frontier, and the new frontier peaks bag to the new root. Both authenticated roots are reconstructed from these fields plus the trusted (old_size, new_size, arity), reusing the same inclusion and peak-bag primitives durability proves — no bespoke bisection trace, no coordinate map.

Fields

boundary_hash: Vec<u8>

The old tree’s rightmost frontier node — its last (smallest) peak.

peak_path: Vec<ProofStep>

Inclusion path lifting boundary_hash to new_peaks[split_index], the new frontier mountain that absorbed it. Its left-siblings are the older peaks that merged into that mountain; its right-siblings are the appended cells.

new_peaks: Vec<Vec<u8>>

The new tree’s frontier peaks, left to right (frontier_for_size order).

split_index: usize

The slot of the boundary peak’s mountain in new_peaks.

Trait Implementations

impl Clone for ConsistencyProof

fn clone(&self) -> ConsistencyProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConsistencyProof

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

Formats the value using the given formatter.

impl Eq for ConsistencyProof

impl PartialEq for ConsistencyProof

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