[][src]Module storage_proofs::piece_inclusion_proof

Structs

PieceInclusionProof

Based on the alignment information (and sector size, provided during verification), the algorithm deterministically consumes the elements.

PieceSpec

position, length are in H::Domain units

Functions

generate_piece_commitment_bytes_from_source

Generate comm_p from a source and return it as bytes.

piece_inclusion_proofs
piece_is_aligned