Struct ReadSizedMerkleVerifier 

pub struct ReadSizedMerkleVerifier { /* private fields */ }

Verifies reads against a merkle tree.

MerkleVerifier verifies data at a granularity of BLOCK_SIZE. Consequently, it stores one hash (of size HASH_SIZE) for each data block. This hash storage consumes memory equal to 1/256th of the original data size.

ReadSizedMerkleVerifier optimizes memory usage when reads are always aligned and are guaranteed to be a multiple of the BLOCK_SIZE. Instead of storing a hash for every BLOCK_SIZE blocks like MerkleVerifier, it stores only one hash for each read sized chunk. For example, 128KiB aligned reads would require storing 1/16th the number of hashes.

Implementations

impl ReadSizedMerkleVerifier

pub fn new(verifier: MerkleVerifier, read_size: usize) -> Result<Self, Status>

Constructs a ReadSizedMerkleVerifier from an existing MerkleVerifier and a read_size.

Returns an error if read_size is not a multiple of BLOCK_SIZE.

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 the configured read size granularity.
• The length of data must be a multiple of the read size, except if data represents the final chunk of the original data source (in which case it can be shorter).

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 ReadSizedMerkleVerifier

fn clone(&self) -> ReadSizedMerkleVerifier

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReadSizedMerkleVerifier

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

Formats the value using the given formatter.