Enum VerifyError 

pub enum VerifyError {
    Length {
        expected: u64,
        actual: u64,
    },
    Metadata(String),
    Alignment(String),
    Root,
    MissingMetadata(String),
}

Why a fetched range or a reassembled resource failed integrity — the checks of L7 §9 “per-range integrity”. A VerifyError on a range marks its source suspect + re-fetches.

Variants

Length

A returned range’s byte length did not match the sum of the chunk_lens for the chunk(s) it was supposed to cover — the cheapest, per-range detection of a bad/truncated source.

Fields

expected: u64

The length the chunk_lens say the range should be.

actual: u64

The length actually delivered.

Metadata(String)

A range’s first-frame metadata was inconsistent with the resource commitment already established (a differing chunk_lens, total_length, or generation root) — a source serving a different/forged generation.

Alignment(String)

A range was not aligned to whole chunk boundaries (offset/length did not start/end on a chunk edge per chunk_lens), so it cannot be a verifiable unit.

Root

The reassembled whole resource’s resource_leaf (= SHA-256 of its concatenated chunk ciphertexts) was not committed under the chain-anchored generation root — the on-chain integrity check. Either the assembled bytes are corrupt or the inclusion proof does not verify.

MissingMetadata(String)

The first frame of a range was missing the verification metadata (total_length / chunk_lens / root) required to establish or check the commitment.

Trait Implementations

impl Clone for VerifyError

fn clone(&self) -> VerifyError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyError

Debug sanitizes the wrapped text the same way DownloadError::Verify’s Display does, rather than printing the derived struct fields verbatim.

Metadata / Alignment / MissingMetadata carry peer-reported text (a first-frame root, a declared length) — the same untrusted-text class DownloadError’s own manual Debug guards. DownloadError::Verify’s Display already sanitizes a WRAPPED VerifyError, but a bare one reaches {:?} too (an unwrap/expect panic, a raw tracing::error!(?e)) — this closes that second door with the same sanitize_untrusted_text the wrapping site uses.

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

Formats the value using the given formatter.

impl Display for VerifyError

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

Formats the value using the given formatter.

impl Eq for VerifyError

impl Error for VerifyError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl From<VerifyError> for DownloadError

fn from(source: VerifyError) -> Self

Converts to this type from the input type.

impl PartialEq for VerifyError

fn eq(&self, other: &VerifyError) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for VerifyError