Struct RangeProof 

pub struct RangeProof<D: Digest> {
    pub proof: Proof<D>,
    pub partial_chunk_digest: Option<D>,
}

A proof that a range of operations exist in the database.

Fields

proof: Proof<D>

The MMR digest material required to verify the proof.

partial_chunk_digest: Option<D>

The partial chunk digest from the status bitmap at the time of proof generation, if any.

Implementations

impl<D: Digest> RangeProof<D>

pub async fn new<H: CHasher<Digest = D>, S: Storage<D>, const N: usize>( hasher: &mut H, status: &CleanBitMap<D, N>, grafting_height: u32, mmr: &S, range: Range<Location>, ) -> Result<Self, Error>

Create a new range proof for the provided range of operations.

pub async fn new_with_ops<E: RStorage + Clock + Metrics, H: CHasher<Digest = D>, C: Contiguous, const N: usize>( hasher: &mut H, status: &CleanBitMap<D, N>, height: u32, mmr: &Mmr<E, D, Clean<D>>, log: &C, start_loc: Location, max_ops: NonZeroU64, ) -> Result<(Self, Vec<C::Item>, Vec<[u8; N]>), Error>

Returns a proof that the specified range of operations are part of the database, along with the operations from the range and their activity status chunks. A truncated range (from hitting the max) can be detected by looking at the length of the returned operations vector.

Errors

Returns crate::mmr::Error::LocationOverflow if start_loc > crate::mmr::MAX_LOCATION. Returns crate::mmr::Error::RangeOutOfBounds if start_loc >= number of leaves in the MMR.

pub fn verify<H: CHasher<Digest = D>, O: Codec, const N: usize>( &self, hasher: &mut H, grafting_height: u32, start_loc: Location, ops: &[O], chunks: &[[u8; N]], root: &H::Digest, ) -> bool

Return true if the given sequence of ops were applied starting at location start_loc in the db with the provided root, and having the activity status described by chunks.

Trait Implementations

impl<D: Clone + Digest> Clone for RangeProof<D>

fn clone(&self) -> RangeProof<D>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<D: Debug + Digest> Debug for RangeProof<D>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<D: PartialEq + Digest> PartialEq for RangeProof<D>

fn eq(&self, other: &RangeProof<D>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<D: Eq + Digest> Eq for RangeProof<D>

impl<D: Digest> StructuralPartialEq for RangeProof<D>