Struct storage_proofs::piece_inclusion_proof::PieceSpec

pub struct PieceSpec {
    pub comm_p: Fr32Ary,
    pub position: usize,
    pub number_of_leaves: usize,
}

position, length are in H::Domain units

Fields

comm_p: Fr32Ary

position: usize

number_of_leaves: usize

Methods

impl PieceSpec

pub fn compute_packing(
    &self,
    tree_len: usize
) -> Result<(Vec<(usize, usize)>, usize)>

compute_packing returns a packing list and a proof size. A packing list is a pair of (start, length) pairs, relative to the beginning of the piece, in leaf units. Proof size is a number of elements (size same as one leaf) provided in the variable part of a PieceInclusionProof.

pub fn is_aligned(&self, tree_len: usize) -> bool

Trait Implementations

impl Clone for PieceSpec

fn clone(&self) -> PieceSpec

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PieceSpec

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

Formats the value using the given formatter.