Struct CommitProof

pub struct CommitProof {
    pub root: CommitHash,
    pub proof: MerkleProof<Sha256>,
    pub length: usize,
    pub indices: Vec<usize>,
}

Represents a root hash and a proof of certain nodes.

Fields

root: CommitHash

Root hash.

proof: MerkleProof<Sha256>

The merkle proof.

length: usize

The length of the tree.

indices: Vec<usize>

Indices to prove.

Implementations

impl CommitProof

pub fn root(&self) -> &CommitHash

Root hash for the proof.

pub fn len(&self) -> usize

Number of leaves in the commit tree.

pub fn is_empty(&self) -> bool

Determine if this proof is empty.

pub fn verify_leaves(&self, leaves: &[TreeHash]) -> (bool, Vec<TreeHash>)

Verify the indices of this proof using a slice of leaves.

Trait Implementations

impl Clone for CommitProof

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CommitProof

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

Formats the value using the given formatter.

impl Default for CommitProof

fn default() -> Self

Returns the “default value” for a type.

impl From<CommitProof> for (CommitHash, usize)

fn from(value: CommitProof) -> Self

Converts to this type from the input type.

impl From<CommitProof> for CommitHash

fn from(value: CommitProof) -> Self

Converts to this type from the input type.

impl Hash for CommitProof

fn hash<H: StdHasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for CommitProof

fn eq(&self, other: &Self) -> 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 Eq for CommitProof