Struct MerkleProof 

pub struct MerkleProof {
    pub leaf_hash: Hash,
    pub leaf_id: String,
    pub path: Vec<ProofStep>,
    pub root_hash: Hash,
}

A Merkle inclusion proof (RFC 6962 compatible) Allows proving that a leaf is part of a tree without revealing other leaves

Fields

leaf_hash: Hash

The leaf hash being proven

leaf_id: String

The leaf’s data ID

path: Vec<ProofStep>

The path from leaf to root (bottom to top)

root_hash: Hash

The expected root hash

Implementations

impl MerkleProof

pub const MAX_PROOF_JSON_SIZE: usize

Default maximum size for proof JSON (1 MB) This limits the number of proof steps to prevent DoS

pub fn verify(&self, expected_root: &Hash) -> bool

Verify this proof against a root hash

pub fn to_json(&self) -> Result<String, Error>

Export proof as a compact JSON string for transmission

pub fn from_json_with_limit(json: &str, max_size: usize) -> Result<Self, String>

Import proof from JSON string with size limit (MEDIUM-2 fix)

Arguments

• json - The JSON string to parse
• max_size - Maximum allowed size in bytes (prevents DoS)

Errors

Returns error if JSON exceeds max_size or is invalid

pub fn from_json(json: &str) -> Result<Self, String>

Import proof from JSON string with default 1MB limit

For custom limits, use from_json_with_limit().

Trait Implementations

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 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.