Struct SegmentProof

pub struct SegmentProof { /* private fields */ }

Merkle proof of a segment

Implementations

impl SegmentProof

pub fn size(&self) -> usize

Size of the proof in hashes.

pub fn reconstruct_root( &self, last_pos: u64, segment_first_pos0: u64, segment_last_pos0: u64, segment_root: Hash, segment_unpruned_pos: u64, ) -> Result<Hash, SegmentError>

Reconstruct PMMR root using this proof

pub fn validate( &self, last_pos: u64, mmr_root: Hash, segment_first_pos: u64, segment_last_pos: u64, segment_root: Hash, segment_unpruned_pos: u64, ) -> Result<(), SegmentError>

Check validity of the proof by equating the reconstructed root with the actual root

pub fn validate_with( &self, last_pos: u64, mmr_root: Hash, segment_first_pos: u64, segment_last_pos: u64, segment_root: Hash, segment_unpruned_pos: u64, hash_last_pos: u64, other_root: Hash, other_is_left: bool, ) -> Result<(), SegmentError>

Check validity of the proof by equating the reconstructed root with the actual root This function assumes a final hashing step together with other_root

Trait Implementations

impl Clone for SegmentProof

fn clone(&self) -> SegmentProof

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SegmentProof

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

Formats the value using the given formatter.

impl PartialEq for SegmentProof

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

fn read<R: Reader>(reader: &mut R) -> Result<Self, Error>

Reads the data necessary to this Readable from the provided reader

impl Writeable for SegmentProof

fn write<W: Writer>(&self, writer: &mut W) -> Result<(), Error>

Write the data held by this Writeable to the provided writer

impl Eq for SegmentProof

impl StructuralPartialEq for SegmentProof