Struct BlockProof 

pub struct BlockProof {
    pub index: usize,
    pub path: Vec<(DocumentId, bool)>,
    pub root_hash: DocumentId,
    pub algorithm: HashAlgorithm,
}

A Merkle proof for a specific block.

This proof allows verification that a block is part of a document without revealing the entire document content.

Fields

index: usize

Index of the block in the document.

path: Vec<(DocumentId, bool)>

Path from leaf to root: (sibling_hash, is_right_sibling).

root_hash: DocumentId

Expected root hash.

algorithm: HashAlgorithm

Hash algorithm used.

Implementations

impl BlockProof

pub fn verify(&self, block_hash: &DocumentId) -> bool

Verify that a block hash is part of the document.

Arguments

• block_hash - The hash of the block to verify

Returns

true if the proof is valid, false otherwise.

pub fn verify_detailed(&self, block_hash: &DocumentId) -> ProofVerification

Create a verification result with details.

Trait Implementations

impl Clone for BlockProof

fn clone(&self) -> BlockProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BlockProof

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for BlockProof

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for BlockProof

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for BlockProof

impl StructuralPartialEq for BlockProof