Module reconstruct

Structs§

ObtainedPayload: A block’s payload in hand, with what the node needs to file it.
VidReconstructError: A failed reconstruction attempt for one view and claimed commitment.
VidReconstructor
VidShareAccumulator 🔒

decode_and_recommit 🔒: Decode shares and return the payload bytes only if they re-commit to payload_commitment. Recovery alone does not bind the decoded bytes to the commitment: a Byzantine disperser can commit to a non-codeword, and a bad share poisons the erasure decoding.
matches_commitment 🔒: Whether payload is what payload_commitment commits to, sliced by the header’s namespace table ns_table.
reconstruct 🔒: Decode the shares and accept the result only if it re-commits to payload_commitment. On failure, report the shares that fail verification against the commitment (each share is self-authenticating via its merkle proofs) so they can be weeded out. If every share verifies, the payload is unrecoverable: the shares cover the recovery threshold with disjoint ranges, so the disperser committed to a non-codeword and no share subset can ever succeed.
share_verifies 🔒: Whether share verifies against a common already known to be hash-bound to the commitment (a verify_with_verified_common success).