Enum ProofError 

pub enum ProofError {
    Io(Error),
    Document(DocumentError),
    Snapshot {
        source: Box<SnapshotError>,
    },
    Query {
        source: Box<QueryError>,
    },
    Invalid {
        reason: &'static str,
    },
    UnsupportedVersion {
        found: u16,
        supported: u16,
    },
    ProofLimitExceeded {
        actual: u64,
        maximum: u64,
    },
    LengthOverflow,
    ChecksumMismatch,
    DigestMismatch,
    AnchorMismatch,
    SnapshotAnchorMismatch,
    OperationResultMismatch,
    ReexecutionMismatch,
    TimedOut,
}

Failure while encoding, reading, or verifying a result proof.

Variants

Io(Error)

Proof file I/O failed.

Document(DocumentError)

Canonical structured document verification failed.

Snapshot

Snapshot witness verification failed.

Fields

source: Box<SnapshotError>

Underlying snapshot failure.

Query

Structured query reexecution failed.

Fields

source: Box<QueryError>

Underlying deterministic query failure.

Invalid

Proof bytes violate the canonical format.

Fields

reason: &'static str

Stable diagnostic reason.

UnsupportedVersion

Proof format is newer than this verifier.

Fields

found: u16

Version found in proof bytes.

supported: u16

Highest supported version.

ProofLimitExceeded

Proof file exceeds caller policy.

Fields

actual: u64

Observed proof bytes.

maximum: u64

Configured maximum.

LengthOverflow

A canonical length or count cannot be represented safely.

ChecksumMismatch

Fast accidental-corruption check failed.

DigestMismatch

Canonical proof content digest failed.

AnchorMismatch

Proof anchor did not match caller-pinned trust state.

SnapshotAnchorMismatch

Snapshot metadata does not match the proof anchor.

OperationResultMismatch

Embedded operation and result variants disagree.

ReexecutionMismatch

Deterministic replay did not reproduce the embedded result.

TimedOut

End-to-end cooperative verification deadline expired.

Trait Implementations

impl Debug for ProofError

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

Formats the value using the given formatter.

impl Display for ProofError

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

Formats the value using the given formatter.

impl Error for ProofError

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<DocumentError> for ProofError

fn from(source: DocumentError) -> Self

Converts to this type from the input type.

impl From<Error> for ProofError

fn from(source: Error) -> Self

Converts to this type from the input type.

impl From<ProofError> for EngineError

fn from(source: ProofError) -> Self

Converts to this type from the input type.

impl From<QueryError> for ProofError

fn from(source: QueryError) -> Self

Converts to this type from the input type.

impl From<SnapshotError> for ProofError

fn from(source: SnapshotError) -> Self

Converts to this type from the input type.