Expand description
Defines the inclusion Proof structure, functions for generating them from any MMR implementing the Storage trait, and functions for verifying them against a root digest.
§Historical Proof Generation
This module provides both current and historical proof generation capabilities:
- Proof::range_proof generates proofs against the current MMR state
- Proof::historical_range_proof generates proofs against historical MMR states
Historical proofs are essential for sync operations where we need to prove elements against a past state of the MMR rather than its current state.
Structs§
- Proof
- Contains the information necessary for proving the inclusion of an element, or some range of elements, in the MMR from its root digest.
- Proof
Store - A store derived from a Proof that can be used to generate proofs over any sub-range of the original range.