Expand description
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§
- Range
Proof Error - Error returned when a trie range proof is invalid.
Functions§
- verify_
range_ proof - Verifies a consecutive leaf range against
root, fromoriginthroughlimit.