Struct MerkleizedBatch 

pub struct MerkleizedBatch<F: Family, D: Digest, Item: Send + Sync, S: Strategy> { /* private fields */ }

A speculative batch whose root digest has been computed, in contrast to UnmerkleizedBatch.

Implementations

impl<F: Family, D: Digest, Item: Send + Sync, S: Strategy> MerkleizedBatch<F, D, Item, S>

pub fn root( &self, base: &Mem<F, D>, hasher: &impl Hasher<F, Digest = D>, inactive_peaks: usize, ) -> Result<D, Error<F>>

Compute the root digest after this batch is applied using inactive_peaks and the bagging carried by hasher.

This recomputes the root rather than reading a cache.

pub fn proof( &self, hasher: &impl Hasher<F, Digest = D>, loc: Location<F>, inactive_peaks: usize, ) -> Result<Proof<F, D>, Error<F>>

Inclusion proof for the element at loc.

pub fn range_proof( &self, hasher: &impl Hasher<F, Digest = D>, range: Range<Location<F>>, inactive_peaks: usize, ) -> Result<Proof<F, D>, Error<F>>

Inclusion proof for all elements in range.

pub fn new_batch<H: Hasher<Digest = D>>( self: &Arc<Self>, ) -> UnmerkleizedBatch<F, H, Item, S>

where Item: Encode,

Create a new speculative batch of operations with this batch as its parent.

The batch becomes invalid if any ancestor is dropped before being applied, or a sibling fork has been applied.

Trait Implementations

impl<F: Clone + Family, D: Clone + Digest, Item: Clone + Send + Sync, S: Clone + Strategy> Clone for MerkleizedBatch<F, D, Item, S>

fn clone(&self) -> MerkleizedBatch<F, D, Item, S>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug + Family, D: Debug + Digest, Item: Debug + Send + Sync, S: Debug + Strategy> Debug for MerkleizedBatch<F, D, Item, S>

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

Formats the value using the given formatter.

impl<F: Family, D: Digest, Item: Send + Sync, S: Strategy> Readable for MerkleizedBatch<F, D, Item, S>

type Family = F

The Merkle family implemented by this structure.

type Digest = D

The digest type used by this structure.

type Error = Error<F>

The error type returned by structural reads.

fn size(&self) -> Position<F>

Total number of nodes (retained + pruned).

fn get_node(&self, pos: Position<F>) -> Option<D>

Digest of the node at pos, or None if pruned / out of bounds.

fn pruning_boundary(&self) -> Location<F>

Leaf location up to which pruning has been performed, or 0 if never pruned.

fn leaves(&self) -> Location<Self::Family>

Total number of leaves.

fn bounds(&self) -> Range<Location<Self::Family>>

[start, end) range of retained leaf locations.