Struct MerkleProof 

#[non_exhaustive]
pub struct MerkleProof {
    pub path: Vec<MerkleNode>,
}

Available on crate feature unstable only.

An inclusion proof for a leaf in a Blake2b256 Merkle tree.

The proof carries the sibling node hashes on the path from the leaf up to the root, leaf-side first. To verify, hash the leaf bytes with the 0x00 leaf prefix, then walk path upward and compute each parent as BLAKE2b-256(0x01 || left || right). The final computed hash must equal the tree root.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

path: Vec<MerkleNode>

Sibling node hashes, leaf-side first.

Implementations

impl MerkleProof

pub const PATH_FIELD: &'static MessageField

impl MerkleProof

pub fn path_builder() -> MerkleProofFieldPathBuilder

impl MerkleProof

pub const fn const_default() -> Self

pub fn path(&self) -> &[MerkleNode]

Returns the value of path, or the default value if path is unset.

pub fn path_mut(&mut self) -> &mut Vec<MerkleNode>

Returns a mutable reference to path. If the field is unset, it is first initialized with the default value.

pub fn set_path(&mut self, field: Vec<MerkleNode>)

Sets path with the provided value.

pub fn with_path(self, field: Vec<MerkleNode>) -> Self

Sets path with the provided value.

Trait Implementations

impl Clone for MerkleProof

fn clone(&self) -> MerkleProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MerkleProof

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

Formats the value using the given formatter.

impl Default for MerkleProof

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for MerkleProof

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<&MerkleProof> for MerkleProof

fn from(value: &MerkleProof) -> Self

Converts to this type from the input type.

impl From<MerkleProof> for MerkleProof

fn from(value: MerkleProof) -> Self

Converts to this type from the input type.

impl Message for MerkleProof

fn encoded_len(&self) -> usize

Returns the encoded length of the message without a length delimiter.

fn clear(&mut self)

Clears the message, resetting all fields to their default.

fn encode(&self, buf: &mut impl BufMut) -> Result<(), EncodeError>

where Self: Sized,

Encodes the message to a buffer.

fn encode_to_vec(&self) -> Vec<u8>

where Self: Sized,

Encodes the message to a newly allocated buffer.

fn encode_length_delimited( &self, buf: &mut impl BufMut, ) -> Result<(), EncodeError>

where Self: Sized,

Encodes the message with a length-delimiter to a buffer.

fn encode_length_delimited_to_vec(&self) -> Vec<u8>

where Self: Sized,

Encodes the message with a length-delimiter to a newly allocated buffer.

fn decode(buf: impl Buf) -> Result<Self, DecodeError>

where Self: Default,

Decodes an instance of the message from a buffer.

fn decode_length_delimited(buf: impl Buf) -> Result<Self, DecodeError>

where Self: Default,

Decodes a length-delimited instance of the message from the buffer.

fn merge(&mut self, buf: impl Buf) -> Result<(), DecodeError>

where Self: Sized,

Decodes an instance of the message from a buffer, and merges it into self.

fn merge_length_delimited(&mut self, buf: impl Buf) -> Result<(), DecodeError>

where Self: Sized,

Decodes a length-delimited instance of the message from buffer, and merges it into self.

impl MessageFields for MerkleProof

const FIELDS: &'static [&'static MessageField]

impl PartialEq for MerkleProof

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

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

impl TryFrom<&MerkleProof> for MerkleProof

type Error = TryFromProtoError

The type returned in the event of a conversion error.

fn try_from(value: &MerkleProof) -> Result<Self, Self::Error>

Performs the conversion.

impl StructuralPartialEq for MerkleProof