commonware-storage 2026.10.0

Persist and retrieve data from an abstract store.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46

//! Re-exports of the generic verification module, specialized for the MMR [Family].

use crate::merkle::{
    hasher::Hasher,
    mmr::{Error, Family, Location, Proof},
    storage::Storage,
};
use core::ops::Range;

/// MMR-specialized [ProofStore](crate::merkle::verification::ProofStore).
pub type ProofStore<D> = crate::merkle::verification::ProofStore<Family, D>;

/// Return a range proof for the nodes corresponding to the given location range.
pub async fn range_proof<H: Hasher<Family>, S: Storage<Family, Digest = H::Digest>>(
    hasher: &H,
    mmr: &S,
    range: Range<Location>,
    inactive_peaks: usize,
) -> Result<Proof<H::Digest>, Error> {
    crate::merkle::verification::range_proof(hasher, mmr, range, inactive_peaks).await
}

/// Analogous to [range_proof] but for a previous database state.
pub async fn historical_range_proof<H: Hasher<Family>, S: Storage<Family, Digest = H::Digest>>(
    hasher: &H,
    mmr: &S,
    leaves: Location,
    range: Range<Location>,
    inactive_peaks: usize,
) -> Result<Proof<H::Digest>, Error> {
    crate::merkle::verification::historical_range_proof(hasher, mmr, leaves, range, inactive_peaks)
        .await
}

/// Return an inclusion proof for the elements at the specified locations.
///
/// Locations must be strictly ascending. The error names the first invalid location:
/// [Error::DuplicateLocation] if it repeats the location before it and [Error::UnsortedLocation]
/// if it precedes it.
pub async fn multi_proof<S: Storage<Family>>(
    mmr: &S,
    inactive_peaks: usize,
    locations: &[Location],
) -> Result<Proof<S::Digest>, Error> {
    crate::merkle::verification::multi_proof(mmr, inactive_peaks, locations).await
}