Struct MerkleTreeState 

pub struct MerkleTreeState { /* private fields */ }

Per-file Merkle tree verification state for BEP 52 downloads.

Tracks which blocks have been verified against the file’s Merkle tree. Handles the case where block data arrives before piece-layer hashes (deferred verification via SetBlockResult::Unknown).

Implementations

impl MerkleTreeState

pub fn new(root: Id32, num_blocks: u32, num_pieces: u32) -> Self

Create a new empty tree state for a file.

pub fn root(&self) -> Id32

The file’s Merkle root hash.

pub fn num_pieces(&self) -> u32

Total number of pieces.

pub fn num_blocks(&self) -> u32

Total number of blocks.

pub fn has_piece_hash(&self, piece_index: u32) -> bool

Whether the piece-layer hash is available for a given piece.

pub fn set_piece_hashes(&mut self, hashes: Vec<Id32>)

Set piece-layer hashes (from hash response).

pub fn set_piece_hashes_and_verify( &mut self, hashes: Vec<Id32>, blocks_per_piece: u32, ) -> Vec<u32>

Set piece-layer hashes and retroactively verify any stored block hashes.

Returns a list of piece indices that were fully verified by this operation.

pub fn set_block_hash(&mut self, block_index: u32, hash: Id32) -> SetBlockResult

Record a computed block hash. Returns the verification result.

• Ok: all blocks in the piece verified against piece-layer hash.
• Unknown: piece-layer hash unavailable, or not all sibling blocks present yet.
• HashFailed: block hash doesn’t match the Merkle tree.

pub fn is_block_verified(&self, block_index: u32) -> bool

Check if a specific block has been verified.

pub fn piece_verified(&self, piece_index: u32, blocks_per_piece: u32) -> bool

Check if all blocks in a piece have been verified.

pub fn piece_hashes(&self) -> Option<&[Id32]>

Get a reference to the piece hashes, if available.