Struct MerkleProof 

#[non_exhaustive]
pub struct MerkleProof {
    pub index: u32,
    pub digests: Vec<Digest>,
}

Available on non-target_os="zkvm" and crate feature prove only.

An inclusion proof for the MerkleGroup. Used to verify inclusion of a given recursion program in the committed set.

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.

index: u32

Index of the leaf for which inclusion is being proven.

digests: Vec<Digest>

Sibling digests on the path from the root to the leaf. Does not include the root of the leaf.

Implementations

impl MerkleProof

pub fn verify( &self, leaf: &Digest, root: &Digest, hashfn: &dyn HashFn<BabyBear>, ) -> Result<()>

Verify the Merkle inclusion proof against the given leaf and root.

pub fn root(&self, leaf: &Digest, hashfn: &dyn HashFn<BabyBear>) -> Digest

Calculate the root of this branch by iteratively hashing, starting from the leaf.

Trait Implementations

impl BorshDeserialize for MerkleProof

fn deserialize_reader<__R: Read>(reader: &mut __R) -> Result<Self, Error>

fn deserialize(buf: &mut &[u8]) -> Result<Self, Error>

Deserializes this instance from a given slice of bytes. Updates the buffer to point at the remaining bytes.

fn try_from_slice(v: &[u8]) -> Result<Self, Error>

Deserialize this instance from a slice of bytes.

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

where R: Read,

impl BorshSerialize for MerkleProof

fn serialize<__W: Write>(&self, writer: &mut __W) -> Result<(), Error>

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<'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 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 StructuralPartialEq for MerkleProof