Struct RangeProof 

pub struct RangeProof<H: Hasher> {
    pub siblings: Vec<Bounds<H::Digest>>,
}

A Merkle range proof for a contiguous set of leaves in a Binary Merkle Tree.

Fields

siblings: Vec<Bounds<H::Digest>>

The sibling digests needed to prove all elements in the range.

Organized by level, from leaves to root. Each level can have at most 2 siblings (one on the left boundary and one on the right boundary).

Implementations

impl<H: Hasher> RangeProof<H>

pub fn verify( &self, hasher: &mut H, position: u32, leaves: &[H::Digest], root: &H::Digest, ) -> Result<(), Error>

Verifies that a given range of leaves starting at position are included in a Binary Merkle Tree with root using the provided hasher.

The proof contains the set of sibling digests needed to reconstruct the root for all elements in the range.

Trait Implementations

impl<H: Clone + Hasher> Clone for RangeProof<H>

where H::Digest: Clone,

fn clone(&self) -> RangeProof<H>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<H: Debug + Hasher> Debug for RangeProof<H>

where H::Digest: Debug,

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

Formats the value using the given formatter.

impl<H: Hasher> Default for RangeProof<H>

fn default() -> Self

Returns the “default value” for a type.

impl<H: Hasher> EncodeSize for RangeProof<H>

fn encode_size(&self) -> usize

Returns the encoded size of this value (in bytes).

impl<H: Hasher> PartialEq for RangeProof<H>

where H::Digest: PartialEq,

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<H: Hasher> Read for RangeProof<H>

type Cfg = ()

The Cfg type parameter allows passing configuration during the read process. This is crucial for safely decoding untrusted data, for example, by providing size limits for collections or strings.

fn read_cfg(reader: &mut impl Buf, _: &Self::Cfg) -> Result<Self, Error>

Reads a value from the buffer using the provided configuration cfg.

impl<H: Hasher> Write for RangeProof<H>

fn write(&self, writer: &mut impl BufMut)

Writes the binary representation of self to the provided buffer buf.

impl<H: Eq + Hasher> Eq for RangeProof<H>

where H::Digest: Eq,