Struct ProofStep 

pub struct ProofStep {
    pub siblings: Vec<Vec<u8>>,
    pub position: usize,
}

A single level in a Merkle proof path.

Fields

siblings: Vec<Vec<u8>>

Sibling digests at this level (excluding the path node). Empty for promoted (lone-child) nodes.

position: usize

Position of the path node among all children (0-indexed).

Implementations

impl ProofStep

pub fn shape(&self) -> SkeletonStep

Project this step’s structural shape — position and sibling count — as a crate::topology::SkeletonStep. Used by verify_inclusion_path_structure to compare against the canonical skeleton without open-coding the field correspondence.

Trait Implementations

impl Clone for ProofStep

fn clone(&self) -> ProofStep

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofStep

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

Formats the value using the given formatter.

impl Eq for ProofStep

impl PartialEq for ProofStep

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