Module range_proof 

Available on crate feature trie only.

Merkle Patricia trie range-proof verification. Merkle Patricia trie range-proof verification.

Reconstructs a trie root from consecutive hashed leaves and boundary proof nodes, rejecting altered or incomplete ranges and reporting where the trie continues past the range. Boundary paths are expanded, outside commitments are retained, and response leaves replace the covered interior before the reconstructed root is compared with the requested root.

Enums

RangeProofError

Error returned when a trie range proof is invalid.

Functions

verify_range_proof

Verifies a consecutive leaf range against root, from origin through limit.