Struct MerkleVerifier 

pub struct MerkleVerifier { /* private fields */ }

Verifies data against the leaf hashes of a merkle tree.

Implementations

impl MerkleVerifier

pub fn new(root: Hash, hashes: Box<[Hash]>) -> Result<Self, Status>

Constructs a MerkleVerifier from the root and leaf hashes of a merkle tree.

Returns IO_DATA_INTEGRITY if the leaf hashes are inconsistent with the root.

pub fn verify(&self, offset: usize, data: &[u8]) -> Result<(), Status>

Verifies a data slice against the Merkle tree, assuming it corresponds to original data starting at offset.

Requirements:

• The offset must be aligned to BLOCK_SIZE.
• The length of data must be a multiple of BLOCK_SIZE, except if data contains the final chunk of the original data source.

pub fn verify_aligned( &self, offset: usize, data: PtrByteSlice<'_>, unaligned_len: usize, ) -> Result<(), Status>

Verifies aligned, zero-padded data against the Merkle tree.

The buffer length (data.len()) must be a multiple of 4096 bytes. unaligned_len specifies the actual valid data length within the buffer (0 < unaligned_len <= data.len()). Any buffer bytes beyond unaligned_len up to data.len() MUST be zeroed for verification to pass.

Note: Does not support the null blob (empty 0-length blob, unaligned_len == 0).

Trait Implementations

impl Clone for MerkleVerifier

fn clone(&self) -> MerkleVerifier

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MerkleVerifier

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

Formats the value using the given formatter.